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

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

新款绅宝Saab 9-5轿车

来自瑞典的新款绅宝Saab 9-5轿车,在秉承了传统的斯堪的纳维亚设计风格的基础上,又增添了众多现代轿车的典型元素,使其更具现代气息,更具魅力,更具动感.新款Saab 9-5轿车进行了1000多项改进,表现出更杰出的豪华性、运动性和安全性,使其成为新一代精英人士的上佳选择,并大大巩固了Saab在高档豪华轿车市场中的领导者地位.     

船舶主机功率的测量与调整

船舶主机功率的发挥，涉及至船舶的安全性及经济性，本文从分析影响主机功率发挥的主要因素入手，探讨主机功率的测量方法及主机运行管理中的注意事项。     

轻重车辆混编对列车脱轨安全性的影响分析

应用列车－轨道时变系统空间振动随机分析理论，详细计算分析了不同的轻重车辆混编对脱轨系数及轮重减载率的影响，尝试用改善轻重车辆编组的方法提高列车脱轨安全性的可行性。     

Polo轿车电控液压动力转向系统

汽车转向器是汽车主动安全性的重要安全件。20世纪70年代在轿车和轻型车上开始推广使用且不断改进的齿轮齿条式转向器,至今在国外轿车和轻型车上仍是应用最多的转向系统。到2000年美国轿车全部采用了动力转向系统,日本78％大、中型汽车和59％微型和小型轿车采用了动力转向系统。动力转向系统和机械式转向系统是目前汽车所用的两种主要的转向系统。 表1 为汽车转向系统的分类 目前,在汽车上广泛采用的机械式转向器有循环球式和齿轮齿条式两种,其中循环球式转向器具有承载能力大、操纵方便、使用寿命长等优点,广泛应     

公开密钥协议的可靠性研究

公开钥密码体制在网络通信安全中的作用越来越受到广泛的重视，但是一个设计不完善的通信协议可使得一个“主动”的入侵者不需击皮密码体制就可明文或进行破坏。论文首先给出协议的形式化描述，然后讨论了协议的安全性，可鉴别性和可验证性。     

未来教育、高校改革和教师素质

德国哲学家雅斯贝尔斯把人类的教育分为三类：一类是师徒制，学生只能重复教师的言行，老师怎么说，学生就怎么做；第二类是课程制，教育者把对学生的要求具体化为各种课程，当学生学完一定的课程并通过了考试后，便万事大吉；第三类是苏格拉底方式，