横风条件下重载货车直线区段运行安全性研究

针对直线区段横风载荷对重载货车动力学性能影响规律开展研究.基于车辆动力学理论,建立了考虑横风载荷的三连挂重载货车单元三维仿真模型,计算分析空载和满载两种状态下车辆运行速度与横风风速对轮轨相互作用的影响.研究结果表明:货车轮轨力和各项安全性指标均随车辆运行速度和风速的增大而增大,轮轨横向相互作用受横风载荷影响尤为显著;空载货车受强风载荷作用具有较高倾覆风险,满载货车在横风载荷作用下依旧满足车辆运行安全需求;列车开行通过多风区段应适当限速运行,强风区域设置挡风墙,以降低横风载荷对行车安全的威胁.     

Ti（C，N）基金属陶瓷的制备与性能研究

采用真空热压烧结工艺制备了Ti（C,N）基金属陶瓷复合材料。借助于SEM和XRD分别分析了其显微结构和组分,并测试了其力学性能和相对密度。实验结果表明：其晶粒较细、均匀,具有明显的黑芯-灰壳结构,气孔较少,致密度较高。断裂机理主要是沿晶断裂,部分为混合型断裂（穿晶断裂和沿晶断裂）。金属相存在着明显的撕裂棱。其维氏硬度22．74GPa,断裂韧性10．1MPa·m^1／2,抗弯强度1192．83MPa,相对密度达到了99．12％。     

车身曲面造型产品质量特性目标规划模型的研究

分析车身曲面造型的用户需求和技术特征,确定用户需求与技术特征之间的相关性和技术特征之间的自相关性,建立车身曲面造型质量屋。对质量屋进行决策时,采用模糊层次分析法确定用户需求权重,通过模糊综合评价法获取用户需求与技术特征之间的相关系数和技术特征之间的自相关系数。根据获得的质量屋参数建立多目标规划模型,使曲面造型质量最大程度的满足用户需求,并优化了曲面产品的造型周期和成本。将该方法应用于某车型前保险杠的曲面造型。     

面向安全关键内存管理系统分层验证方法

安全关键系统的失败会造成很严重的后果,确保其正确性非常重要.空间嵌入式操作系统是一个典型的安全关键系统,在其内存管理的设计上,必须保障其高效的分配与回收,同时对系统资源的占用降到最低.在传统的软件开发过程中,通常是在整个软件开发结束后再进行集中测试及验证,这样势必会造成开发进展的不确定性.因此,将形式化验证方法和软件工程领域内的“需求-设计-实现”的3层开发框架相结合,通过性质分层传递验证的方法,保证了各个层次间的一致性.首先,从需求层面的需求分析开始,引入形式化证明的思路,证明对需求层逻辑的正确性,从而可以更好地指导程序的设计.其次,在设计层面的验证可以极大地减少开发代码的错误率,证明设计算法和需要实现的函数之间调用逻辑的正确性.最后,在实现层,证明所实现代码与函数设计的一致性,并且证明代码实现的正确性.使用交互式定理证明辅助工具Coq,以某一国产空间嵌入式操作系统的内存管理模块为例,证明了其内存管理算法的正确性以及需求、设计、实现的一致性.     

对西门子PLC的电梯控制系统的探究

随着当前城市建设的不断发展,高层建筑也得到了长足的发展,电梯作为重要的运载工具也发挥了非常重要的作用。电梯作为一个复杂的人机交互系统,对运行的速度、安全保护、舒适度以及平层的精度都就具有非常高的要求。本文先对西门子PLC的电梯控制系统进行相关的概述,再对电梯控制系统的硬件设计进行了一定的分析,最后再对AS-Interface总线在电梯控制系统中的应用进行了相关的分析,希望对西门子PLC的电梯控制系统的研究。     

大体积建筑施工中楼板产生裂缝的原因与对策分析

随着我国经济水平的不断提升和建筑行业整体水平的持续进步,在大体积建筑施工中楼板裂缝问题得到了越来越多的重视。本文从阐述大体积建筑施工中楼板裂缝产生原因入手,对大体积建筑施工中楼板裂缝问题防治对策进行了分析。     

Ti(C,N)基金属陶瓷的显微结构和力学性能研究

采用真空热压烧结工艺制备三种不同掺杂的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%。     

基于案例竞赛促进计算机网络多元化教育教学的改革

案例竞赛是技术和专业知识的融合,是促进大学文化教育教学的改革。分享了案例竞赛作为计算机网络多元化 教育途径的过程和结果。详细介绍了案例竞赛的程序,学生的表现、收获以及反馈的问题。案例竞赛为学生提供了一个自我 展示的机会,让他们在一个公平、公开、公正的环境中围绕计算机网络多样性主题进行交流讨论,主要任务是为计算机网络课 程的相关问题提供解决方案。通过设计计算机网络案例竞赛对多元化教育教学有着潜移默化的影响,要求任课教师要不断更 新自己的综合知识,丰富自己的教学手段。要求学生对未来网络发展主题进行全面和创造性的思考,以产生基于证据的解决 方案。