基于黑箱测试及风险度量的联锁软件安全性评估

根据软件安全性理论及技术的发展，以独立性评估组织为背景，结合铁路信号安全控制及防护系统对软件安全性评估理论及方法的实际需要，研究适合于我国铁路现状的车站计算机联锁软件的安全性评估理论和方法，并加以应用。     

一起清洗工急性四氯化碳中毒报告

一起清洗工急性四氯化碳中毒报告唐山市职业病防治院（０６３０００）许子勇，宋杰，李玉平唐山市丰南市防疫站董士丽唐山开平市防疫站易忠利，周开芹，吴会林，陈忠民唐山某氧气厂在１９９３年１２月４日发生了一起１１人急性四氯化碳（ＣＣＩ４）中毒，中毒者均为男性，...     

第34次国际海事组织船员培训和值班标准分委会会议情况报告

20 0 3年 2月 2 4日至 2 8日 ,国际海事组织(IMO)船员培训和值班标准分委会第 34次会议在英国伦敦IMO总部召开。由中国海事局、广东、天津海事局、大连海事大学和武汉理工大学代表组成的代表团在我驻英使馆海事处的领导下参加了会议。本次会议共有 67个缔约国、香港 (中国 )和法罗群岛 (FAROEISLANDS)两个联系会员以及 2 2个政府或非政府组织的代表出席。联合国系统的国际劳工组织也派员出席了会议。IMO秘书长奥尼尔先生出席了会议的开幕式并发表了讲话。为期 5天的会议由本次分委会副主席牙买加海事局局长彼德·布莱迪海军少将主…     

TYJL_ECC容错计算机联锁系统的可靠性评估

TYJL—ECC计算机联锁控制系统主要包括非故障-安全要求的操作表示、维修接口层以及有严格故障-安全要求的逻辑运算层、采集驱动层。其中逻辑运算层和采集驱动层的可靠性决定了整个系统的可靠性,对其进行系统的故障树分析。基于故障树对系统可靠性评估的一般步骤,依照本系统的典型配置和实际工作过程,定义系统的故障模式。依据相关标准对构成本系统的最基本的功能模块进行可靠性预测。根据故障模式和可靠性预测建立系统的故障树。根据马尔可夫过程的特性,对与门、或门及三取二逻辑进行定量计算。从而可计算出整个系统的失效率和平均修复时间。经计算所得系统的平均故障间隔时间符合铁道部规定。研究表明,TYJL—ECC容错计算机联锁系统具有很高的可靠性和安全性。     

港工钢筋混凝土结构耐久性及其修复研究进展

论述了港工混凝土结构耐久性破损机理、破损因素和破损类型，介绍了港工混凝土结构修复理论的发展状况，归纳了港工混凝土结构的维修方法，综述了港工混凝土结构的修复材料。     

联锁图表软件设计的实现技术与结构

就车站信号联锁设计，着重研究了站场形状模拟和其后的进路选择、进路联锁的设计过程。联锁图表软件作为车站信号工程设计的重要组成部分，提出了在不改变车站数据信息情况下，自适应于站场形状的联锁图表软件的设计方法。实现了车站信号联锁图表设计的系统化和标准化。     

通用电码化CAD软件及数据库的设计方法

本介绍了电码化CAD软件通用化的设计思想、软件和数据库的设计方案及应用实例。