论文部分内容阅读
铁路信号计算机联锁系统是一个安全－关键系统，运用Petri网模型化了该系统中的软件部分，包括上位机，联锁机和采集／驱动部分，该模型将有助于检测系统定义的一致性，完整性和精确性，有助于提高系统的安全性和实时性能。
联锁软件的Petri网模型化
【摘 要】
：
铁路信号计算机联锁系统是一个安全－关键系统，运用Petri网模型化了该系统中的软件部分，包括上位机，联锁机和采集／驱动部分，该模型将有助于检测系统定义的一致性，完整性和精确性，有助
【机 构】
：
铁道科学研究院,兰州铁道学院信息与电气工程学院
【出 处】
：
兰州铁道学院学报
【发表日期】
：
2002年1期
其他文献
<正> 我院自1991年2月以来共收治手骨不稳定性骨折50例,其中30例采用骨牵引治疗,其疗效满意,现报告如下。 1 临床资料 1.1 一般资料:本组30例,男性20例,女性10例;最小年龄17
目的:观察亚低温对大鼠脑缺血后血管生成及血管内皮生长因子(VEGF)表达的影响,探讨亚低温治疗缺血性脑病的可行性。方法:66只大鼠随机分为假手术组、常温组和亚低温组。栓线
目的:分析55岁以上人血清未结合胆红素(UCB)升高的原因、临床特点,探讨苯巴比妥治疗高UCB血症机制。方法:连续收集本院≥55岁无其它肝胆及溶血性疾病的高UCB血症患者54例(87
<正> 例1、男,67岁。头痛眩晕10年,渐记忆力减退。因言语不清,左侧肢体力弱,吞咽困难5天入院。查体:神清,运动性失语,左鼻唇沟浅,咽反射迟钝,左侧肌力3级,右侧肌力5级。双掌
目的:比较克氏针内固定与锁骨钩钢板内固定治疗锁骨远端骨折的疗效。方法:手术治疗锁骨远端骨折患者96例,其中克氏针内固定37例,锁骨钩钢板内固定59例,比较两种治疗方法在手
Western culture emphasizes on individualism,individual freedom and personal choice,while Chinese people put more emphasis on collectivism.Collectivism-Individua
目的:探讨急性胆囊炎腹腔镜治疗的方法及总结术中胆管损伤的常见因素。方法:回顾分析腹腔镜胆囊切除术126例的临床资料。结果:腹腔镜手术方法可用于急性胆囊炎治疗,但术中需
结合某钢管混凝土叠合系杆拱桥的施工方案。对叠舍系杆拱桥的单片拱肋，通过与同跨度的哑铃型拱比较，分析了两种形式拱肋的面内、外稳定情况及其影响因素；同时又对该体系在成桥状
浸润性膀胱癌和前列腺癌常需行根治性切除，尿流改道，一部分丧失手术机会，只能行化疗、放疗、免疫内分泌等治疗。而全身性放、化疗毒副作用大，疗效不理想。我院于1999-2007年对32
目的:研究非酒精性脂肪肝(NAFLD)患者抵抗素、脂联素水平与肝纤维化指标的关系。方法:采用ELASA法检测NAFLD患者和正常对照组的抵抗素、脂联素水平及Ⅲ型前胶原(PCⅢ)、透明