论文部分内容阅读
进路搜索是计算机联锁软件中的重要部分。本文采用Petri网方法，通过对进路搜索Petri网模型的建立、分析、应用以及其可达性的验证，确保了联锁软件可靠性动态行为的正确性，提出了一些改进措施，有利于进一步分析和改进整个联锁系统的可靠性。
计算机联锁的进路搜索Petri网模型分析
【摘 要】
：
进路搜索是计算机联锁软件中的重要部分。本文采用Petri网方法，通过对进路搜索Petri网模型的建立、分析、应用以及其可达性的验证，确保了联锁软件可靠性动态行为的正确性，提出了
【机 构】
：
兰州交通大学电子与信息工程学院
【出 处】
：
科技咨询导报
【发表日期】
：
2007年7期
其他文献
<正>井下电机车列车组成,一般按照(一)重列车上坡起动,(二)牵引电动机允许温升,(三)重列车下坡制动三个条件计算确定,并取其中的最小值作为列车组成的依据.对于井下架线式电
中国的企业要发展，就必须有新的创新。企业为了适应新的经济环境。只有接连不断地出现自主创新，才能保证企业持续不断地发展。这样，中国企业才能具有旺盛的生命力，才能经受起更大
福里斯特·惠特克在《末代独裁》中成功扮演了乌干达总统安迪·阿明,这是一位残暴君主,有着充血的眼睛、能把人捏碎的猛力拥抱和两种语调:低声传达指示或者愤怒的咆
我科自2000年1月至2001年1月应用纳络酮治宁镇静催眠类药物中毒83例,99年1月至99年12月常规治疗镇痛催眠类药物中毒78例作对照组,观察纳洛酮对镇静催眠药急性中毒的催醒时间
企业年金作为我国养老保险制度改革体系中的重要组成部分,与基本养老保险及个人商业养老保险共同构成养老保障的三大支柱,有利于增强企业凝聚力和竞争力,有利于增进企业员工
我们意识到这两个角色还活着,而且我们互相都很熟识,我经常会自然而然地设想他们此时的生活。重新和伊桑·霍克还有朱莉·德尔佩建立联络感觉怎么样?很是不可思议。
本文研究的是制度与交易方式的关系，论证交易费用对现实条件下的交易方式起主要的决定作用。而通过我国中小企业对人格化交易方式依赖的例证，分析了制度不完备对于经济绩效的影
现行建筑评估体系不适合我国住宅建设项目的评估,不符合我国可持续发展战略的要求。本文基于可持续发展视角,重点阐述住宅建设项目应该从住宅产业化和住宅性能两方面进行综合
米歇尔·威廉姆斯Michelle Williams当她做梦露状玉体横陈在工作台上时,那一刻的风情立刻亮化了光线,磁化了金属,羽化了旖旎,风化了道德,魔化了欲火。彪悍代表作:《蓝色