排序方式: 共有55条查询结果,搜索用时 250 毫秒
31.
针对直线区段横风载荷对重载货车动力学性能影响规律开展研究.基于车辆动力学理论,建立了考虑横风载荷的三连挂重载货车单元三维仿真模型,计算分析空载和满载两种状态下车辆运行速度与横风风速对轮轨相互作用的影响.研究结果表明:货车轮轨力和各项安全性指标均随车辆运行速度和风速的增大而增大,轮轨横向相互作用受横风载荷影响尤为显著;空载货车受强风载荷作用具有较高倾覆风险,满载货车在横风载荷作用下依旧满足车辆运行安全需求;列车开行通过多风区段应适当限速运行,强风区域设置挡风墙,以降低横风载荷对行车安全的威胁. 相似文献
32.
34.
35.
安全关键系统的失败会造成很严重的后果,确保其正确性非常重要.空间嵌入式操作系统是一个典型的安全关键系统,在其内存管理的设计上,必须保障其高效的分配与回收,同时对系统资源的占用降到最低.在传统的软件开发过程中,通常是在整个软件开发结束后再进行集中测试及验证,这样势必会造成开发进展的不确定性.因此,将形式化验证方法和软件工程领域内的“需求-设计-实现”的3层开发框架相结合,通过性质分层传递验证的方法,保证了各个层次间的一致性.首先,从需求层面的需求分析开始,引入形式化证明的思路,证明对需求层逻辑的正确性,从而可以更好地指导程序的设计.其次,在设计层面的验证可以极大地减少开发代码的错误率,证明设计算法和需要实现的函数之间调用逻辑的正确性.最后,在实现层,证明所实现代码与函数设计的一致性,并且证明代码实现的正确性.使用交互式定理证明辅助工具Coq,以某一国产空间嵌入式操作系统的内存管理模块为例,证明了其内存管理算法的正确性以及需求、设计、实现的一致性. 相似文献
36.
采用真空热压烧结工艺制备三种不同掺杂的Ti(C,N)基金属陶瓷。借助于SEM分析了其显微结构,并测试了其力学性能和相对密度。实验结果表明:配方41.2wt%TiC-10wt%TiN-14wt%(Ni+Co)-12wt%Mo2C-15wt%WC-6wt%TaC-0.8wt%Cr2C3-1wt%C的金属陶瓷综合性能最好,晶粒较细、均匀,具有明显的黑芯-灰壳结构;气孔较少,致密度较高。断裂机理主要是沿晶断裂,部分为混合型断裂(穿晶断裂和沿晶断裂)。金属相存在着明显的撕裂棱。其维氏硬度为12.5GPa,断裂韧性为8.9MPa·m1/2,抗弯强度为1286MPa,相对密度达到了99.2%。 相似文献
37.
随着当前城市建设的不断发展,高层建筑也得到了长足的发展,电梯作为重要的运载工具也发挥了非常重要的作用。电梯作为一个复杂的人机交互系统,对运行的速度、安全保护、舒适度以及平层的精度都就具有非常高的要求。本文先对西门子PLC的电梯控制系统进行相关的概述,再对电梯控制系统的硬件设计进行了一定的分析,最后再对AS-Interface总线在电梯控制系统中的应用进行了相关的分析,希望对西门子PLC的电梯控制系统的研究。 相似文献
38.
39.
40.
随着我国经济水平的不断提升和建筑行业整体水平的持续进步,在大体积建筑施工中楼板裂缝问题得到了越来越多的重视。本文从阐述大体积建筑施工中楼板裂缝产生原因入手,对大体积建筑施工中楼板裂缝问题防治对策进行了分析。 相似文献