F~C~H的博客

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

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

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 ...

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

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

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

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

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

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

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

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

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

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

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

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

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...

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