时间Petri网在即时检验流程建模中的应用

来源 :计算机应用 | 被引量 : 0次 | 上传用户:hangcheng8351
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对即时检验系统的设计与开发建模问题,提出一种基于时间Petri网的并发系统建模分析方法,为即时检验流程设计建立较为准确的信息化模型。通过将活动持续时间概念引入Petri网模型中,提出了适用于即时检验系统建模的时间Petri网建模方法,并设计了嵌入Petri网模型中的调度仿真器协助分析、优化即时检验控制过程。仿真实验结果表明所提出的时间Petri网建模方法在可达节点和运行时间等方面能够满足并行多类别即时检验调度与控制系统的流程建模实际需要,为流程仿真和分析提供有力工具,从而辅助系统设计者对即时检验系
其他文献
“我国现行标准下农村贫困人口实现脱贫,贫困县全部摘帽,解决区域性整体贫困。”这是在中国仍有7000多万农村贫困人口的背景下,中共十八届五中全会提出的“十三五”目标之一。这
针对基于训练模型或用户交互的Web数据质量评估方法不能在线响应,也不能获取内容事实内涵的问题,提出一种基于模拟退火(SA)的在线Web文档内容数据质量评估(QASA)方法。首先,通过在Web上搜集主题相关文档,构建目标文档的相关空间,进一步采用开放式信息抽取技术抽取文档内容的事实;然后,采用SA技术在线构建两个最重要的数据质量维度即准确性和完整性的参照;最后,通过比对目标文档和维度参照的事实来量化
本文采用一阶导数光谱法测定醋酸可的松眼药水的含量,方法简便,快速,消除了基质干扰,结果满意。
人际交往问题是影响大学生心理和日常生活的主要问题之一,人际交往能力是大学生综合能力的重要方面.大学生成功进行人际交往,能增进心理健康,正确认识自我、完善自我,丰富阅
深入开展平安建设,是党中央、国务院对社会治安综合治理工作提出的明确要求,这是关系改革发展稳定大局和国家长治久安的重大战略举措,是构建和谐社会的必然要求。平安与和谐是互
【正】 氢麦角硂(Dihydroergotoxine 海特琴)为α-受体阻滞剂,有舒张血管、降低血压、减慢心率及中枢神经镇静作用,可直接兴奋多巴胺和5-羟色胺受体、促进脑细胞能量代谢、激
江泽民同志在党的十六大报告中指出:"党要承担起推动中国社会进步的历史责任,必须始终紧紧抓住发展这个执政兴国的第-要务."学习、理解和实践这个重要思想,对于加快铁路多元
1984年5月1日接管运营的青藏铁路一期工程西宁至格尔木段,迄今为止仍然是全国铁路既有线里最艰苦的一条线路.17年来,青藏线万名职工不畏艰难,在严酷恶劣的自然环境中,扎根高
新编高中<语文>教科书第一册,文言文注释需作修正改进处,本文讨论了二十一条,供编著者采择、语文老师参考.
日本战国时期有一位类似中国曹操的枭雄人物—织田信长,在同样生逢动乱、群雄并起的时代,信长与曹操一样具有勇猛残暴的性格,过人的政治智谋和卓越的军事才能,肩负着结束动乱使国