Petri网系统的可达性分析

来源 :第十次全国Petri网学术年会暨形式化方法学术讨论会 | 被引量 : 0次 | 上传用户:zhaohuihuang8801
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对Petri网系统的可达性问题做了综合性的阐述和分析,提出了利用能量优化方法来解决可达性问题的方法,并在此基础上结合计算代数方法和神经计算模型对可达性问题做了进一步的研究.主要工作包括:1.给出了Petri网到线性空间的映射规则及其可达性的等价性定理;2.建立了能量优化模型,将可达性判断化为优化问题;3.用神经网络来求解能量优化模型;4.最后综合了计算代数方法和能量优化模型的优点给出一个基于计算代数和神经计算的方法.作者提出了一种利用基于硬件的大规模并行的神经计算来代替基于软件的串行的数字计算的可达性判断的解决方案。
其他文献
胎盘植入是一种产科严重并发症,是指子宫蜕膜发育不良等因素导致胎盘绒毛植入子宫肌层,用力剥离植入的胎盘往往引起大出血、休克和感染,最终造成子宫切除1,丧失生育功能,给患者造成严重的身心损害,严重时威胁产妇的生命。近些年,胎盘植入发生率呈逐年上升的趋势。我院于2009年1月~2010年6月共收治4。例胎盘植入患者,采用口服米非司酮保守治疗,取得较好的疗效,现报道如下。
摘 要:在新形势下,煤矿安全管理已经成为煤矿企业管理工作的重中之重。但是,煤矿企业常见组织错误会导致煤矿安全事故频发,组织错误不容易被人们所察觉,但是也是危险性最高的潜在错误。如今,我国煤矿安全事故的发生率不断提高,基本上每次煤矿安全事故都与组织错误有着密切联系。对此,煤矿企业必须认识到防控组织错误的重要性,规范企业人员的行为,提高煤矿安全管理水平。  关键词:煤矿安全管理 组织错误 防控措施  
在护理工作中,值夜班是护理工作的一部分,也是每一个临床护士无法逃避的。夜班成为许多护士工作中的身心应激源,由于长时间的睡眠剥夺而形成一种慢性刺激性应激,可引起一系列心理
通过引入Fork算子,建立了Petri网的一种新的合成操作-分享合成,分享合成操作与传统的共享合成操作相比更适合于描述信息系统的建模。在分享合成时,子网中任何与分享库所无关的变迁序列在合成后保持不变,分享合成对于子网内由分享库所引发的变迁序列也保持不变。分享合成实际上增加了分享库所引发变迁序列发生的机会,使得到达输出集的机会增加。最后介绍了Petri网分享合成操作在信息系统安全管理中的应用。
宫颈高度鳞状上皮内病变是指宫颈区域发生的各上皮内病变。育龄妇女宫颈病变患病率达50%左右。随细胞学检查的发展.电子阴道镜的普及和高频电波刀环形电切术(LEEP)等新技术的推广应用,宫颈病变得到越来越规范的诊断与治疗。我们为此也对122例病人进行了回顾性分析,现报道如下。
学习型医院和医院文化的建设是一脉相承的。每一所成功的医院都具有良好的学习风气和环境,通过建立学习型的医院文化,以培养职工的创造性思维。在环境快速发展的今天,医院在不断
教育E时代的来临,改变了传统的大学英语教学模式。本文以大学英语教师开发微课程为起点,对学生进行了课前知识输入,课堂知识深化的颠倒的课堂(翻转课堂)的探索,构建了以教师
在三种常规控制器的基础上,采用 BP 网络设计了三种神经网络控制器,即神经自校正控制器,神经网络 PID 控制器和神经模型参考自适应控制器,并都通过 BP 算法进行训练,针对三个仿真实例用 MATLAB 软件工具进行了仿真,仿真结果证明了方案的可行性。
1 临床资料    1.1 一般资料 病例选08年10月~09年10月一年内20位住院期间发现血小板低于50*10^9,同时合并重症肺部感染10例,败血症3例,其中脑外伤患者3例;重症ICU患者4例。
红细胞沉降率是指红细胞在一定条件下的沉降速度,简称血沉,是反映红细胞聚集性的一项常用指标。它以抗凝全血中红细胞的自然沉降速率表示结果。由于红细胞含蛋白质比血浆高,比重大于血浆,因此在离体抗凝血中能自然下沉。正常情况下,血液中的红细胞因细胞膜表面的唾液酸所具有的负电荷等因素而相互排斥,使细胞间距约为25nm,故彼此分散具有一定的悬浮稳定性而下沉缓慢,所以健康人血沉值波动于一个较狭窄范围内。血沉的检验