F~C~H的博客

转载 nohup命令--linux后台运行程序并实时查看输出

在启动linux服务器的weblogic时，一般是在bin 目录下面执行nohup ./startWeblogic& 那么它与普通的./startWeblogic有什么区别呢？先解释nohup这个命令以下是官方的解释： nohup 命令用途：不挂断地运行命令。语法：nohup Command [ Arg … ] [　& ]描述：nohup 命令运行由 Command 参数和任何相关的 Arg 参数指定的命令，忽略所有挂断（SIGHUP）信号。在注销后使用 nohup 命令运行后台中的程序。要运行后台中的 n

原创 Symbolicc++库

link:https://issc.uj.ac.za/symbolic/symbolic.html使用SymbolicC++3 3.35 gzipped tar ，这个是只包含header file的库，生成静态库的版本SymbolicC++3 3.35 with GNU autoconf有问题。

转载 C++ 创建unordered_map将vector作为key

unordered_map<vector<int>,int> hashtable;自定义哈希函数// cited from: // https://stackoverflow.com/questions/20511347/a-good-hash-function-for-a-vector// equivalent to : hash_combine() (from boost lib)struct HashFunc_t{ size_t operator() (cons

转载 【无标题】

一、cmake编译jsoncpp源码 （1）下载jsoncpp源码 源码地址：https://github.com/open-source-parsers/jsoncpp/tree/0.y.z （2）解压源码 unzip jsoncpp-0.y.z.zipcd jsoncpp-0.y.z （3）使用cmake编译 $ mkdir -p build/debug$ cd build/debug$ cmake ...

转载 Git Clone错误解决：GnuTLS recv error (-110): The TLS connection was non-properly terminated.

报错： fatal: unable to access 'https://github.com/libcheck/check.git/': GnuTLS recv error (-110): The TLS connection was non-properly ...

转载 Ubuntu16.04系统中创建新用户

转载：https://blog.csdn.net/timothy93bp/article/details/77679000 本文基于Linux的Ubuntu系统新建一个普通用户，linux系统的用户名为peng, 主机名为ubuntu 1. 新建用户2. 允许该用户以管理员身份执行指令1. 新建用户 1.1 新建只能在控制台下登录的用户 1) 切换为root用户为了获取创建用户的权限peng@ubun...

转载 GCC 编译使用动态链接库和静态链接库--及先后顺序----及环境变量设置总结

GCC 编译使用动态链接库和静态链接库 1 库的分类 根据链接时期的不同，库又有静态库和动态库之分。 静态库是在链接阶段被链接的（好像是废话，但事实就是这样），所以生成的可执行文件就不受库的影响了，即使库被删除了，程序依然可以成功运行。 有别于静态库，动态库的链接是在程序执行的时候被链接的。所以，即使程序编译完，库仍须保留在系统上，以供程序运行时调用。（TODO：链接动态库时链接阶段到底做了什么...

转载 linux gcc -l参数和-L参数用法含义

gcc -l参数和-L参数 -l参数就是用来指定程序要链接的库，-l参数紧接着就是库名，那么库名跟真正的库文件名有什么关系呢？就拿数学库来说，他的库名是m，他的库文件名是libm.so，很容易看出，把库文件名的头lib和尾.so去掉就是库名了   好了现在我们知道怎么得到库名，当我们自已要用到一个第三方提供的库名字libtest.so，那么我们只要把libtest.so拷贝到/usr/lib里，编译时加上-lte...

转载 Graphviz之DT：手把手教你使用可视化工具Graphviz将dot文件转为结构图的pdf文件

Graphviz之DT：手把手教你使用可视化工具Graphviz将dot文件转为结构图的pdf文件             目录 Graphviz软件的下载 Graphviz将dot文件转为结构图的pdf文件 输出结果               &...

转载 使用.dot文件生成流程图

网址如下：http://blog.csdn.net/ac_dao_di/article/details/57427609

转载 string、const char*、 char* 、char[]相互转换

原创 igraph 库学习1

Basic ModelData structureManipulate on graphint igraph_add_edges(igraph_t *graph, const igraph_vector_tedges,void attr);edges: a vector of vertices with even numberint igraph_create(igraph_t *graph, const igraph_vector_t *edges,igraph_integer_t n, igr

原创 Benders Decomposition

Benders分解由Jacques F. Benders在1962年提出[1]. 它是一种把线性规划问题分解为小规模子问题的技巧. 通过迭代求解主问题和子问题, 从而逼近原问题的最优解. 适合应用在混合整数规划问题中，将原问题分解成两个只包含连续变量和整数变量的子问题. 本文介绍的内容基于 Georrion和Graves[2].（注：本文内容参考另外一篇博客[3]）问题描述给定如下的一个混合整数规划问题P(x,y)P(x,y)P(x,y)：min:cTx+f(y)   

原创 NPN class(Negation Permutation Negation)

NPN Class布尔函数f(x)f(x)f(x)，它的NPN class定义为[f][f][f]，另外一个布尔函数g(x)g(x)g(x)在，fff和ggg是NPN等价，当且仅当[f]=[g][f]=[g][f]=[g]。[f][f][f]的 NPN class representative定义为 r(f)r(f)r(f)（r(f)≤lexgr(f)\le_{lex} gr(f)≤lex​g for ∀g∈[f]\forall g \in[f]∀g∈[f]）。Examplef(X)=x1∨x2f

原创 Formal Evaluation

DefinitionFormal verification (形式验证) ： 根据某个或某些形式规范，利用数学的方法证明其正确性或非正确性；(Formal verification methods make use of mathematical techniques to insure the integrity of a design with respect to some desired characteristics)Metrics For Approximate ComputingWo

原创 安装minisat

以下操作均需要在linux环境下执行。 首先到http://www.minisat.se/MiniSat.html下载minisat-2.2.0.tar.gz这个安装包，并解压缩，可以看到压缩包中有一个README，其中就包含了安装方法： 1.进入解压缩后的文件夹 2.export MROOT=文件夹所在路径    //这句的意义是声明一个环境变量保存文件夹路径，下面的make命令会调用这...

转载 解决VBE6EXT.OLB不能被加载问题

一般出现这个问题的话，就是配置有问题了，或者是你的VBE6EXT.OLB文件出了问题，看了网上一堆方法，试了很多都不管用，然后综合了一下，总结出了不能用的原因和解决方法： 第一种方法：将自己电脑内的VBA文件转移一下：路径是由 C:\Program Files (x86)\Common Files\microsoft ...

转载 隔板原理

理解隔板法【定义】隔板法就是在n个元素间的（n-1）个空中插入k个板，可以把n个元素分成k+1组的方法。　　应用隔板法必须满足3个条件： 　　 （1） 这n个元素必须互不相异； （2） 所分成的每一组至少分得1个元素； （3） 分成的组别彼此相异。&nbs...

原创 Protect the self: defense mechanisms in action

1）Repression 压抑2）Fantasy 幻想3）Denial of reality否认4）Regression 退化5）Reaction formation 反向6）Isolation 隔离7）Projection 投射8）Intellectualization 理智化9）Rationalization 合理化10）Displacement 转移11）Identifi...

转载 关于verilog中综合的过程，可综合与不可综合的理解

前言：1）：数字电路设计过程：        一：行为级：分析电路功能、性能以及其他兼容性问题，只验证设计功能，不考虑设计的...

转载 利用winscp建立起主机与虚拟机(ubuntu)之间的联系

1 网上下载winscp2 打开winscp,填写信息3 主机名为虚拟机ip地址，具体查询方法为：    打开terminal,输入ifconfig -a    即可查出ip地址4 端口号不用变5 用户名...

转载 linux—centos7 系统登录密码忘记了怎么办呢？

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声...

转载 有向无环图VS树

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。 ...

转载 堆、栈、程序区、静态数据区、字符常量区的介绍与区别

自己总结一下关于内存分区的基础知识：        先上图：    在VS测试中发现，字符常量区（只读...

转载 深度强化学习系列之(12): 深入浅出理解TRPO算法原理及Tensorflow实现

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。 ...

转载 NFA转DFA及最优化

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。 ...

转载 正则到NFA的转换

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。 ...

转载 NFA到DFA的转换及DFA的简化

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。 ...

原创 Compare Dynamic programming with Recursion

参考StackOverflow：https://stackoverflow.com/questions/12133754/whats-the-difference-between-recursion-memoization-dynamic-programming

转载 动态规划与递归

 递归算法就是通过解决同一问题的一个或多个更小的实例来最终解决一个大问题的算法。为了在C语言中实现递归算法，常...

转载 跟我一起写Makefile（整理版）

跟我一起写Makefile陈皓（博客地址：http://blog.csdn.net/haoel/article/deta...

转载 malloc内存分配与free内存释放

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。 ...

原创 C语言中关于动态分配内存的一些思考

利用malloc()函数分配得到的一个内存空间，在使用free()释放内存后，相当于把申明得到的变量与这块内存之间的联系消除了，但是这个变量其中仍然存储着这块内存的地址，并且仍然可以利用这个free()后的变量去读写这块内存中的内容，但是此时这种操作是违法的，此时这个指针就是一个野指针。网上看过一种说法很有意思：你利用malloc函数在heap中申请了一段内存，就相当于你租了一个房子，此时你可...

转载 腾讯面试真题：证明为什么哈希表除m取余法的被除数为什么用素数比较好

...

原创 关于C++中临时对象的讨论

https://www.cnblogs.com/littleant/archive/2012/08/01/2618846.htmlhttps://www.cnblogs.com/xkfz007/articles/2506022.htmlhttp://qiusuoge.com/9048.第二篇关于为什么非常数型引用(ref-to-no-const)无法产生一个临时对象：由于临时对象都是con...

转载 如何利用matlab求解方程

版权声明：本文为博主原创文章，遵循 CC 4.0 by-sa 版权协议，转载请附上原文出处链接和本声明。 ...

转载 正则表达式中 .* 与 .*? 的区别

...

转载 GPL协议-通用性公开许可证(General Public License，简称GPL)

原文链接：https://my.oschina.net/u/3358860/blog/3024972 ...

转载 斯特林公式 ——Stirling公式（取N阶乘近似值）

版权声明：本文为博主原创文章，遵循 CC 4.0 by-sa 版权协议，转载请附上原文出处链接和本声明。 ...

转载 C++ 获取文件夹下的所有文件名

C++ 获取文件夹下的所有文件名 获取文件夹下所有的文件名是常用的功能，今天再一次有这样的需求，所有就在网上查找了很多，并记下以供后用。原文：http://blog.csdn.NET/cxf7394373/article/details/7195661原文：http://qiaoxinwang.blog.16...