基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。     

基于软件无线电的舰船信息中心建设

扩展频谱通信和软件无线电已广泛应用于舰船通信。本文将两者结合起来,研究一种应用于舰船信息中心的调制器,并且采用数字信号处理器等器件构成调制器的核心。根据舰船信息中心建设要求,给出整体的设计思路以及设计过程。在硬件的基础上,通过软件编程验证多种调制方式。     

应用VB软件提高高职院校单片机课程教学质量的探索

本文研究总结了多年以来任课教师们对于单片机课程的课堂教学和实验教学的改革和探索,并结合实践教学,分析了目前高职院校学生学习《单片机原理与应用》课程中存在的困难。提出了运用VB软件,编写可视化的教学辅助软件,帮助学生及时解决学习中遇到的问题,消除学习课程的障碍,使学生产生成就感,更喜欢该课程,取得更好教学效果。     

中望CAD/CAM软件携手铁建重工引领“中国智造”

近日,国内最大、最专业的CAD/CAM软件厂商中望软件与我国轨道装备和掘进机行业领先企业中国铁建重工集团有限公司正式签订了"信息化战略合作"协议。据了解,铁建重工集团全面采购了中望软件旗下的二维以及三维产品中望CAD和中望3D,不仅如此,中望软件还就铁建重工集团未来的发     

基于PLC与Win CC flexible动力定位报警监控系统的研究

动力定位系统具有定位准确、快速、操作方便等特点,拥有广阔的市场应用和发展前景。文章采用SIEMENS PLC S7-300与组态软件Win CC flexible相结合的方法,实现了动力定位报警监控系统的设计。系统上位机为西门子触摸屏,下位机为西门子S7-300系列PLC,触摸屏与PLC之间采用MPI网络实现通信。最后,运用PLCSIM与Win CC flexible Runtime仿真软件进行联合调试,模拟实现系统的报警监控功能。     

基于职业能力的高职会计实践教学体系的重构

文章通过分析高职会计专业构建实践教学体系的必要性入手，分析会计职业能力的内涵，从会计课程体系、实训项目体系、实训项目教学设计三个方面探索了现代高职会计实践教学体系的构建，拓展会计实践教学的实训资源，完善构建实践教学体系的机制。     

城市轨道交通车辆制动性能模拟仿真与试验研究

利用Matlab/Simulink软件对城轨车辆的制动系统进行建模,然后对AW2负载情况下的纯空气制动能力进行仿真分析,并借助苏州轨道交通2号线试验平台对AW2负载的纯空气制动能力进行试验研究,将试验结果与仿真结果进行对比分析。结果表明所得到的仿真结果与试验测试结果基本吻合,并且都满足验收标准,说明仿真结果具有较高的可信度。     

赤泥泉1号大桥结构设计与计算

本文针对大营至神池高速公路赤泥泉1号大桥结构设计．采用有限元软件MIDAS和桥梁通7．78对赤泥泉1号大桥上下部结构以及桥梁稳定性进行计算分析。     

钢箱梁桥地震响应的有限元分析

针对典型的工程实例,基于大型有限元软件,采用纤维模型模拟梁柱单元,建立了钢箱梁桥的三维有限元模型,合理选取了强震记录,进行了罕遇地震作用下桥梁结构的弹塑性时程分析,为桥梁结构抗震设计和提高抗震安全性提供了科学依据和重要参考.     

六五式铁路军用桥墩模拟拼装系统研制与开发

为了满足六五式铁路军用桥墩拼装演练的要求,介绍了“六五式铁路军用桥墩模拟拼装系统”的研制与开发工作。该系统不仅可以解决实际拼装作业的标准化和规范化问题,探索出安全、经济、高效、规范的拼装技术作业程序;而且可以降低拼装演练的费用,提高拼装作业人员的拼装技术水平,减小拼装时间,提高拼装效率。对培训专业保障队伍和保障战时铁路运输的畅通,具有一定的作用。