论文部分内容阅读
进路搜索是计算机联锁软件中的重要部分。本文采用Petri网方法，通过对进路搜索Petri网模型的建立、分析、应用以及其可达性的验证，确保了联锁软件可靠性动态行为的正确性，提出了一些改进措施，有利于进一步分析和改进整个联锁系统的可靠性。
计算机联锁的进路搜索Petri网模型分析
【摘 要】
：
进路搜索是计算机联锁软件中的重要部分。本文采用Petri网方法，通过对进路搜索Petri网模型的建立、分析、应用以及其可达性的验证，确保了联锁软件可靠性动态行为的正确性，提出了
【机 构】
：
兰州交通大学电子与信息工程学院
【出 处】
：
科技咨询导报
【发表日期】
：
2007年7期
其他文献
我科自2000年1月至2001年1月应用纳络酮治宁镇静催眠类药物中毒83例,99年1月至99年12月常规治疗镇痛催眠类药物中毒78例作对照组,观察纳洛酮对镇静催眠药急性中毒的催醒时间
企业年金作为我国养老保险制度改革体系中的重要组成部分,与基本养老保险及个人商业养老保险共同构成养老保障的三大支柱,有利于增强企业凝聚力和竞争力,有利于增进企业员工
本文研究的是制度与交易方式的关系，论证交易费用对现实条件下的交易方式起主要的决定作用。而通过我国中小企业对人格化交易方式依赖的例证，分析了制度不完备对于经济绩效的影
现行建筑评估体系不适合我国住宅建设项目的评估,不符合我国可持续发展战略的要求。本文基于可持续发展视角,重点阐述住宅建设项目应该从住宅产业化和住宅性能两方面进行综合