自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(12)
  • 资源 (2)
  • 收藏
  • 关注

原创 什么是完备性

Petri网中经常涉及到完备性的概念 之前未觉特别 今天搜索一下 居然是说Petri网中经典的同构的内容:————————————————————————————————————————      公理体系的完备性 意思就是:该体系中有足够个数的公理,以之为依据可推导出该体系的全部结论。亦即:从公理系统出发,能推出(或判定)该领域所有的命题。       设一个公理体系具有两个模型∑和∑',如果在∑和∑'的对象之间能建立这样的一一对应,使得∑中元素间的相互关系或命题,总与∑'中相应元素间的相互关系或命题相对

2010-11-29 13:56:00 7331

转载 CPN ML语言介绍(2)

2009-06-08 17:38:00 2029

转载 CPN ML语言介绍(1)

1. 单元颜色集:单元颜色集由简单元素组成,标号为();声明语法:color name = unit [with new_unit]:次序:不影响从句选项:重命名这个值,定义标识符表示(),新值的名称必须是一个标识符。声明示例:color U = unit;    color E = unit with e;2. 布尔颜色集:布尔值为真和假。   语法声明:color na

2009-06-08 17:36:00 3890 1

转载 八卦一下模型检验(三)

 准备八卦Edmund等人算法时才想起,人1986年成名作是讨论用CTL (Computational Tree Logic) 作规范语言的模型验证算法,而第一篇八卦失心疯只介绍了LTL。虽说也有算法对付Kripke结构上的LTL模型验证,但一来该算法的复杂度为P-SPACE,远不如在Kripke结构上玩儿CTL的算法复杂度来得震撼;二来经典的LTL模型验证方法是将LTL公式转换为Büchi

2009-05-13 22:04:00 1742 3

转载 八卦一下模型检验(二)

接着八卦前先回答老大们直指灵魂的问题。不就是系统状态遍历的问题么?干嘛非得用什么时序逻辑、模型一类的形式化手段啊?搞得比陈凯歌还深沉。做人不能这么无耻不是?找个真正的程序员,放出手里的蝴蝶不就搞定了?嗯,很多程序的确可以靠程序达人强大的自觉和天才的排错能力搞定。问题是,模型检验的对象是高并发复杂系统(比如说1020个状态),目标是绝对可靠地查出系统的错误,既不错杀三千,也不放过一个。这些系统失

2009-05-13 21:48:00 1308

转载 八卦一下模型检验(一)2007图灵奖和模型检验

不知道长达半年的疯狂加班是否损害了自己的心理健康。回顾过去几个月,似乎除了工作嘛都没干。人仿佛颓了,觉得时光了无意义地飞逝,过去半年的泰半记忆好像盛夏阳光里的冰块,蒸发得不剩一丝水汽。幸好不是全无亮点,比如看到好朋友幸福无比地结婚。中学好友到家里盘桓月余,也是一大快事。Steve McConnell在Rapid Development里的案例分析里提到death march之后程序员往往大批离开。

2009-05-13 21:36:00 2765

转载 SCADE介绍—模型检测在航空领域的应用

  SCADE是英文 Safety-Critical Application Development Environment的缩写,它是一个高安全性的应用开发环境。  法国爱斯特尔技术公司在开发SCADE软件时联合了航空电子、汽车电子、军用飞机以及核电站控制等领域的合作伙伴,如AIRBUS, Schneider Electric, Dassault Aviation和THALE

2009-03-20 11:31:00 6632

转载 CPNTools入门

这个页面有关于CPN Tools的中文介绍,和一些简单的操作流程。帮助文档的中文版。很有参考价值。http://www.daimi.au.dk/~wells/cpntools/HelpTranslation/getting_started_with_cpn_.htmlhttp://www.daimi.au.dk/~wells/cpntools/HelpTranslation/cpntool

2009-03-20 11:13:00 10124 15

转载 CPN tools中的图型如何输出到word文档里

问:我在CPNTOOLS中建立了一个模型,需要在论文中显示该模型。除了将模型图在屏幕上截图外,还有没有其他的方法可以将模型直接输出。答:打开cpntools软件,点开toolbox,看到Net,用鼠标左键按住不放,往右拖,放开,就会看见一个框,其中有两排,上面有四个,下面有三个,用鼠标左键点上面一排的第四个,在你的模型中点下,就会弹出一个对话框,要你选择文件的保存路径,文件格式是eps的。然后

2009-03-20 10:57:00 2543 4

转载 文献检索

 1.如何进行文献检索        我是学自然科学的,平时确实需要不少外文文献,对于自然科学来讲英文文献检索首推Elsevier,Springer等。虽然这些数据库里面文献已经不算少了。但是有时还会碰到查不到的文献,而这些文献的数据库我们所在研究所或大学又没有买,怎么办?我基本通过以下向个途径来得到文献。        1.首先在Google 学术搜索里进行搜索,里面一般会搜出来你要找的

2009-03-20 10:26:00 688

原创 如何在CPNTools中实现循环

 (1)对于不带循环设置的强制循环仿真问:一个很简单的非循环的petri网(例如,只有三个变迁发生后就没有变迁可以发生了),我想用cpntool对这样的petri网自动仿真100次,得到某些参数的平均值,怎样让它自动仿真100次呢?      换句话说,在play的属性里我可以设置仿真50步,在fsat forward里我可以快速仿真10000步。但是我的模型可能非常简单,仿真3步就没有变

2009-03-20 10:15:00 2373 2

转载 工程索引(Engineering Index, Ei)数据库中被《Ei Compendex》收录与被《Ei Pageone》收录数据的区别和识辨

        我们通常所称的工程索引(Engineering Index, Ei)数据库,目前主要有三个版本,即 “Ei Compendex”光盘数据库,“ Ei Compendex Web”数据库和 “Engineering Village 2”。        这三个版本中,其中的“Ei Compendex”光盘数据库,其内容与相应的国际联机数据库一致,即为Ei Compendex;而后

2009-01-09 10:20:00 5182

Assembly Language Workbook

written by Kip R. Irvine to serve as a supplement to Assembly Language for Intel- Based Computers (Prentice-Hall).

2011-08-26

群、置换、循环-课件

群、置换、循环 组合数学 课件 Burnside引理和Polya定理

2010-12-02

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除