基于Event-B的计算机联锁安全规范描述与验证

本文结合具体的站场实例,基于Event-B方法对信号开放、道岔控制、进路解锁等联锁系统关键安全规范进行了形式化模型描述和验证分析,给出了严格的分析结果.工作表明,铁路信号联锁系统是具有复杂时序逻辑的控制系统,Event-B方法适合于该类系统的描述与验证.通过形式化的联锁安全规范描述与验证,可以在系统开发的早期及时发现设计错误或漏洞,有助于提高计算机联锁系统的软件开发质量.     

一种数字量的安全输入/输出模块的设计与实现

本文在分析可扩展安全计算机平台实时性和安全性要求的基础上,提出基于可编程逻辑器件(FPGA)和时钟级同步2取2结构的安全输入/输出(安全I/O)模块的设计方法.深入阐述了安全I/O模块的硬件设计原理和基于PSL语言的断言验证方案.功能仿真和形式化验证结果说明了设计的正确性,同时在EDA开发平台上长时间稳定性的测试结果也证明了安全I/O模块的正确性和安全性.     

浅水中低速斜航船舶水动力预报及验证与确认分析

浅水中的斜航船舶受到浅水阻塞效应和不对称流的综合影响。为预报该运动中的船舶水动力,文章采用基于定常雷诺平均纳维—斯托克斯方程的计算流体动力学方法,对浅水中做斜航运动的船舶粘性绕流场进行数值模拟。考虑低航速运动的特点,忽略航速影响下的自由面兴波,由数值计算得到水动力系数在漂角影响下的变化规律。针对计算精度问题,在数值模拟中从验证和确认角度分析和评估计算结果：通过网格收敛性分析分析数值误差与不确定度;结合试验数据考察计算模型的误差。此外,从计算区域尺度、湍流模型、边界条件、船体下沉和纵倾作用方面对模型误差的影响因素进行探讨,可为改进计算模型、提高数值模拟精度提供参考依据。     

基于三层C／S结构的在线签名认证系统的研究

随着计算机和网络的普及，安全问题越来越严重。基于生物特征的身份认证技术的发展提供了一种方便和可靠的解决方案。介绍了在线签名认证技术及其发展趋势，分析了三层客户机／服务器数据库应用程序的体系结构及其优势，并给出了在C＋＋ Builder下，利用COM／DCOM组件技术实现基于C／S结构的在线签名认证系统的实现方法。     

朝阳立交主跨现浇梁与挂梁方案的比较分析

1工程概况华南路三期工程位于广州市北部,介于北环路高速公路与北二环高速公路之间,是广州市北部对外交通的重要通道。朝阳立交工程为华南路三期工程的主要工点及控制工程之一,位于朝阳村,立交主线长为2.4km,其工程主要技术标准如下:(1)道路等级:城市快速路;(2)设计车速:主线80     

基于时间自动机的自主化ATP等级转换功能建模与验证

自主化ATP(列车自动保护)系统在国产化ATP系统的基础上,增加了一些新的功能需求。针对自主化ATP系统安全关键功能的安全性和正确性保障的问题,以自主化ATP系统中典型的C2等级转换C3等级的等级转换功能为研究对象,采用时间自动机形式化地分析等级转换功能的安全性、活性和实时性。研究时间自动机的数学理论基础,分析自主化ATP系统等级转换功能的逻辑和与其他系统的数据交互;采用时间自动机建模方法,从ATP、RBC(无线闭塞中心)和应答器3个方面,建立C2等级转换C3等级的时间自动机模型;研究自主化ATP系统等级转换功能需要满足的安全性、活性和实时性要求,利用UPPAAL软件验证等级转换功能的系统性质。结果表明,自主化ATP系统C2等级转换C3等级功能满足期望的系统需求。     

高速铁路无砟轨道拨轨换板技术

结合高速铁路天窗特点,通过方案比选分析拨轨更换无砟轨道板方案的可行性和优越性.为研究拨轨更换轨道板方案中钢轨的受力特性,建立有限元模型,计算分析扣件松开长度、施工作业温度和线路曲线半径对钢轨内部Mises等效应力的影响.结果表明,在扣件松开长度大于70 m的情况下,一般作业温度及曲线区段均具备开展拨轨更换轨道板作业的条件.利用轨道板更换一体化装备在试验线开展拨轨更换无砟轨道板施工,结果表明:装备性能可靠,作业衔接流畅,时间可控;施工过程中钢轨应力状态安全;拨轨更换轨道板能更好地满足高速铁路天窗内更换轨道板的需求.     

汽车设计质量检验方法的研究

文章阐述了在现代汽车设计开发的过程中,通过采用全面合理的设计质量检验方法防止出现外观质量缺陷的重要性。根据设计质量检验的研究内容,总结出虚拟检查和实物模型验证相结合的设计质量检验方法。在不同阶段针对不同成熟度的设计数据做相应检验,及时发现设计外观缺陷,保证汽车设计发布三维数据的质量,避免因设计数据质量问题对零件实际生产所产生的影响,同时提高汽车内外饰静态外观质量。     

乘员占位传感器开发设计解析

本文从零件工作原理、功能设计、硬件设计、试验验证4个方面,阐述乘员占位传感器如何开发设计。     

装备可靠性验证程序和方法研究

文章从装备产品可靠性工作的基本要求出发,阐述了装备可靠性验证的分类和验证程序,给出了装备可靠性验证和考核的基本方法,并结合实际的可靠性工作进行了综合分析和研究.提出应着力加强装备可靠性验证程序和方法的研究,采用各种验证方法,科学并实事求是地对装备产品进行可靠性综合验证和评定,从而达到经济性和军事性双佳的目的.