操作系统
文章平均质量分 79
sriting
这个作者很懒,什么都没留下…
展开
-
PRISM概率模型检测器初使用--骰子模型
PRISM—probabilistic model checker概率模型检测器骰子模型 The dieexamplehttp://www.prismmodelchecker.org/tutorial/die.php 与马尔科夫链有关PRISM code:dtmc moduledie原创 2016-03-12 21:43:46 · 4729 阅读 · 0 评论 -
prism model check 的环境安装设置
prism model check 目前只支持32位的windows,当然linux和OS是32和64位都可以。下载地址:http://www.prismmodelchecker.org/download.php 所以想要在64位的系统下运行prism就必须设置32位的java环境。1. 我先把prism下载下来,在装之前左键点击安装图标-->属性-->兼容性-->勾选“以兼容模式运行原创 2016-03-25 23:32:59 · 2248 阅读 · 0 评论 -
PRISM概率模型检测器初使用--骰子模型(改进版)
PRISM-probabilistic model checker概率模型检测器骰子模型 The dieexample 与马尔科夫链有关 -目录PRISM-probabilistic model checker概率模型检测器PRISM code代码解释操作解释- Exploring the model in PRISM 用PRISM探索模型- Model checking with原创 2016-06-23 14:27:07 · 1999 阅读 · 1 评论 -
PRISM概率模型检测器初使用(2)--嵌入式控制系统模型
PRISM—probabilistic model checker概率模型检测器嵌入式控制系统模型 Theembedded control system http://www.prismmodelchecker.org/casestudies/embedded.php 与连续时间马尔科夫链有关 模型说明系统说明:原创 2016-03-13 22:34:49 · 4212 阅读 · 2 评论