sriting

2016年3月25日

摘要： prism model check 目前只支持32位的windows，当然linux和OS是32和64位都可以。下载地址：http://www.prismmodelchecker.org/download.php 所以想要在64位的系统下运行prism就必须设置32位的java环境。 1. ... 阅读全文

posted @ 2016-03-25 23:32 sriting 阅读(362) 评论(0) 推荐(0)

2016年3月13日

PRISM概率模型检测器初使用（2）--嵌入式控制系统模型

摘要： PRISM—probabilistic model checker概率模型检测器嵌入式控制系统模型 Theembedded control system http://www.prismmodelchecker.org/casestudies/embedded.php 与连续时... 阅读全文

posted @ 2016-03-13 22:34 sriting 阅读(833) 评论(0) 推荐(0)

2016年3月12日

PRISM概率模型检测器初使用--骰子模型

摘要： PRISM—probabilistic model checker概率模型检测器骰子模型 The dieexample http://www.prismmodelchecker.org/tutorial/die.php 与马尔科夫链有关 PRISM code： dt... 阅读全文

posted @ 2016-03-12 21:43 sriting 阅读(478) 评论(0) 推荐(0)

2016年2月16日

Day2 CSE101 L2

摘要： Lecture 2 Input-Process-Output Model ：Input data --> Process -->Output data 1. Thiswas an essential scheme of the von Neumann model. 2. Thre... 阅读全文

posted @ 2016-02-16 13:54 sriting 阅读(116) 评论(0) 推荐(0)

2016年2月15日

Day1 CSE101 L1

摘要： CSE101 computer system architecture Lecture 1 processors [prɔ:'sesəz]n. [计] 处理器 controller [kən'trəʊlə]n. 控制器 peripherals [pə'rifərəls] n. 周边设备；[计... 阅读全文

posted @ 2016-02-15 12:19 sriting 阅读(171) 评论(0) 推荐(0)

公告