ubuntu 16.04 docker下安装klee环境
摘要：
手动构建docker映象： 从github上获取klee源码 git clone https://github.com/klee/klee.git cd klee 使用存储库根目录中dockerfile的内容来构建docker映像 docker build -t klee/klee . 创建一个临时 阅读全文
docker下 klee第一个测试
摘要：
被测试的简单函数源文件位于 /klee_src/examples/get_sign 目录下 该源代码分为三个部分 第一个部分为被测试的函数 int get_sign(int x) { if (x == 0) return 0; if (x < 0) return -1; else return 1; 阅读全文
网系统中的容量函数 标识函数 权函数
摘要：
1.库所S和容量函数K的关系 每一个库所s代表一种物质资源，而它的容量K(s)则是代表其容纳此类资源的能力。换言之，容量K(s)也是一种资源，它是容纳s类资源的空间资源。 空间资源也是一种资源，但它与物资资源有着不同的性质。比如，车是一种物质资源，没有车就无法发生开车的行为；车位是一种空间资源，但一 阅读全文
网和网系统
摘要：
六元组构成网系统的条件是 N=（S,T;F）为有向网，称为的基网 N=（S,T;F）为有向网满足： K，W,依次称为N上的容量函数，权函数，标识。称为的初始标识（initial marking） W是网络的权函数，W(x,y)表示从x到y的弧(x,y)的权值 K是网络的容量函数，K(p)表示库所p的 阅读全文
eclipse 使用prolog编程
摘要：
第一步：在电脑上安装swi-prolog 相应环境下载地址http://www.swi-prolog.org/download/stable 第二步： eclipse-help-install new software-work with-add: name:PDTRepository Locati 阅读全文
eclispe中使用python库 pyswip 进行prolog编程
摘要：
首先需要对库pyswip进行安装 pip install pyswip 安装好之后 在eclipse中创建一个python工程 创建一个名为 test1.py的python文件 输入如下代码 测试是否可以使用库pyswip 进行prolog编程 输出结果为： 阅读全文
python Snakes 库安装
摘要：
SNAKES ： A A Flexible High-Level Petri Nets Library SNAKES是python一个可以用于Petri网的库 python2安装SNAKES库： 在cmd命令行中输入 pip install snakes （此处需要设置了全局变量才可以直接这样 否则 阅读全文
python学习笔记07-元组 字典
摘要：
元组： 元组里面的元素不可修改 创建后只可读 不可写 一个元素的时候 在后面加一个逗号 字典： 无序的 Python 中唯一的映射类型 采用键值对的形式存储数据 key必须是可哈希的 可哈希表示key是不可变的 键唯一 Dict()内置函数创建 >>>dict() # 创建空字典 {} >>> di 阅读全文
python学习笔记06-enumerate()
摘要：
enumerate() python 内置函数 枚举 列举的意思 对于一个可迭代的（iterable）/可遍历的对象（如列表、字符串），enumerate将其组成一个索引序列，利用它可以同时获得索引和值 enumerate多用于在for循环中得到计数 例子： list1 = ["这", "是", " 阅读全文
python学习笔记05-列表
摘要：
Python3已经不区分整型和长整型 列表： 查 用切片查 [n:n:n] A[1:2] 只能取出一个数 顾头不顾尾 存在步长 可以按步长1取 也可以按设置其他步长取 若要逆序取数 步长可以设置为负数 步长为正 从左往右 步长为负 从右往左 加 append(加入的元素) 默认插在最后一个位置 li 阅读全文