【摘 要】
：
基于区域法可以获得最佳的活性控制器，但由于要计算网的可达状态集而导致状态爆炸问题．提出一种应用二值决策图（BDD）计算安全Petri网事件分离状态的算法．用布尔代数对Petri网的结
【基金项目】
：
国家自然科学基金资助项目（60773001）,教育部高等学校博士点基金资助项目（20070701013）,国家高科技发展规划863计划资助项目（2008AA04Z109）
论文部分内容阅读
基于区域法可以获得最佳的活性控制器，但由于要计算网的可达状态集而导致状态爆炸问题．提出一种应用二值决策图（BDD）计算安全Petri网事件分离状态的算法．用布尔代数对Petri网的结构和行为进行描述，用BDD实现布尔代数运算．BDD共享的数据结构能以较小的空间表示较大可达集并能对其进行高效的运算，从而节省了存储空间，减少了运算时间．最后用著名的哲学家就餐问题的Petri网模型对该算法进行仿真．仿真结果说明，使用BDD计算复杂Petri网的合法状态集、危险节点、坏点和计算事件分离状态具有很高效率．
其他文献
介绍在北京地铁1、2号线线路消隐改造工程中生产调度指挥工作的组成，主要分为生产调度信息处理反馈、监控、联系协调和事故处理四个方面；并阐述了生产调度指挥工作的重点、难点
1938年12月8日，蒋介石于南岳军事会议召开之后，随即从桂林飞抵重庆。直到1946年4月30日还都离渝，他在陪都度过了“八年抗战”岁月。 在重庆，蒋介石居住处除了市区曾家岩官邸外，还有郊区的林园、小泉、黄山三处官邸。黄山官邸是蒋介石防空、避暑、办公的常住之所。 1941年8月8日至14日，日军空袭重庆，日机数百架次不分昼夜，以不到6小时的间隔，对陪都重庆施行7昼夜的“疲劳轰炸”。8月13日，
摘 要：在体育越来越受到重视的今天，学校体育活动也随机增多，学生也越来越喜欢体育运动，但常常因缺乏一定的运动卫生知识和出现运动损伤后的应急措施，受伤后往往造成不必要的痛苦，严重者甚至导致终生遗憾。所以研究如何预防运动损伤以及损伤后的治疗是极其有意义和必要的。本文采用文献资料、问卷调查、访谈与现场研究等方法探讨现在学校体育活动中运动损伤的预防与治疗的问题，介绍運动损伤的预防和治疗方法，并提出要加强预
黑龙江省由于优越的资源和地缘优势,与俄罗斯开展边境贸易已有300多年的历史,其中农产品贸易在边境贸易中占有重要的地位。由于俄罗斯气候条件、粗放式的生产方式和农业劳动
在桥梁抗震设计问题上，国内外的抗震设计目标是基本相同的，即结构能够经受小地震并且不会损坏，能够经受大地震并且损坏可以修复，但在具体规定上还有很多差别。对中国、欧盟、美国
教育研究的目的是找到使学生有效的接受教育的教学方法。有效教学与教师的课堂实践、教学研究密不可分，充分发挥教学与教学研究的互馈作用是提高教学质量的必要保证．也是实现教
贾植芳兄今年89周岁,按中国习惯,以虚龄办寿庆,应该祝贺他的九旬大庆。去年几个老朋友祝贺他的生日聚会时,便有人怂恿我作一篇为他90大庆的祝寿辞。这文章很难写,他这90年不
在南京紫金山北麓有一座航空烈士公墓,墓地牌坊石柱正面有一副对联,文曰:"英名万古付飞将;正气千秋壮国魂。"背面也有对联文曰:"捍国骋长空,伟绩光照青史册;凯旋埋忠骨,丰碑
框架断路器是电力系统中最重要的控制和保护设备之一,其保护功能直接影响着电力系统的安全运行,随着电力系统的发展框架断路器行业及其智能化水平也将随之发展。而智能脱扣器
上世纪蛋年代初，我高校毕业分到“中央文学研究所”继续学习。临行时，贾植芳先生特写了一封介绍信，介绍我与杨文娟和他的令兄贾芝相识。 贾芝先生是民间文艺的专家，又是李大钊同志的爱婿，在相晤后，贾芝坦然地谈了李大钊生平的一些趣闻轶事。 李大钊在“五四”运动前曾任教于北京女高师，1920年，他决定要排演一出反封建的话剧《孔雀东南飞》，使得更多的女同胞从中受到教育。那时的李大钊才30出头，风华正茂，干劲