06 2012 档案

摘要：Prefuse网址:http://prefuse.org/GraphML网址：http://graphml.graphdrawing.org/ 阅读全文

posted @ 2012-06-08 11:13 小小cfo 阅读(291) 评论(0) 推荐(0)

摘要：FDR是CSP的验证工具，有学术版的FDR可供科研使用，解压FDR工具之后，进入bin目录中可以看到有两个可执行文件，运行./fdr2会告知FDRHOME没有指向FDR的目录。这是由于没有设置环境变量的缘故。设置环境变量有三种方式：1、直接在命令行输入：FDRHOME=/xxx/xxx/xxx/FDRdirectory ./fdr2 直接可以运行2、在用户自己的.bashrc或者profile（具体名字再查）中添加环境变量 export FDRHOME="/xxx/xxx/xxx/FDRdirectory", 然后在命令行输入 exec bash , 然后可以在命令行查看自阅读全文

posted @ 2012-06-07 15:33 小小cfo 阅读(387) 评论(0) 推荐(0)

公告