计算机联锁软件制式的安全性评价

计算机联锁软件是铁路信号计算机控制系统中复杂性最大、安全性要求最高的软件。根据制式测试结果颁发计算机联锁的生产许可证 ,是铁道部有关部门加强计算机联锁质量管理的重要措施。以制式测试为依据对联锁软件的安全性进行的评价 ,能够比较准确地获得软件开发方对于联锁安全性问题的理解和处理能力的完整信息 ,以补充“合格”或“不合格”两个评价结论过于粗略的不足。本文首先根据严重性和诱发可能性为每个安全性问题 (即软件缺陷 )定义了一个安全性指数 ,然后提出针对制式测试的安全性评价指标———联锁软件安全性问题处理完善性 ,用以反映联锁软件的开发水平。这部分包括评价模型和方法 ,特别是对安全性经验关系系统到数值关系系统的映射 ,进行了一致性的证明。文章最后介绍了对某些已经完成制式测试的软件进行安全性问题处理完善性的评价实例 ,并列表给出了结果     

协同设计软件及其面向对象实现架构

提出了一种基于计算机支持的协同工作(CSCW)的协同设计软件架构，用基于组员标识和面向对象的子场景对象数据来建立工作组整体场景和基于客户／服务器模式的分布式计算与处理机制的协同设计方法。建立了一个新的通信层次——协同层(Collaborative Layer)来代替传统的会话层与表示层用以实现群体(工作组)之间的通信和协作。     

摆线减速器计算机辅助绘图方法的研究

本文研究了摆线针轮行星减速器的装配图及零件图的计算机辅助绘图方法,提出了在AutoCAD 支持下实现设计、绘图一体化的实用方法,并对机械 CAD 的建库技术和 AutoLISP 语言的应用进行了探讨.     

“大洋一号”科学考察船海洋调查技术的提高与集成

介绍“大洋一号”科学考察船现代化改装前后海洋调查仪器、设备和技术状况。重点介绍“大洋一号”船舶计算机网络信息集成系统的建设和特点、海洋调查仪器、设备及系统海上调试和试验，以及发展海洋调查技术的方向。     

客运专线SEI系统联锁逻辑实现方式的研究

通过对我国秦沈客运专线引进的欧洲高速铁路SEI系统联锁逻辑实现方式的研究探索,并配以联锁流程图予以说明,介绍SEI系统特有的联锁逻辑方式。     

城轨交通安全与运营效率的探讨

就城市轨道交通车站联锁系统对行车安全和运营效率的影响中的一些技术细节进行了初步探讨，提出在城市轨道交通领域为了协调行车安全和运营效率的矛盾关系，应该对传统的联锁理念、技术要求和设计验收标准有所改变与拓展，并尽快出台适合城市轨道交通实际情况的、统一和具体的信号技术要求、验收标准以及维护规范，以促进城市轨道交通的快速健康发展。     

小型联锁块铺装力学计算分析

文章介绍了一种使用有限单元法计算小型联锁块铺装结构的计算模式，并对该方法进行了试验论证。结果表明通过将联锁块划分为矩形单元与三角形单元的组合，便可近似满足各种形状联锁块的计算需求。     

舰船蒸汽动力装置热线图通用程序的编制与计算

本文介绍了舰船蒸汽动力装置热线图的通用程序，称为SSHB程序，由主程序和包括水和水蒸汽热物性子程序在内的20余个子程序组成，能对不同的热线图方案，各种设计参数和运行工况进行数位模拟计算，有推广使用价值。     

TKCAD软件系统的运行管理

TKCAD 是在微机上开发的铁道客车计算机辅助设计软件系统,该系统要求多环境支持,并具有复杂的运行流程方式.本文实现了该软件系统的运行管理体制,并提出了内存中不留任何残余碎块的汉字操作系统的动态撤离技术.