基于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负载的纯空气制动能力进行试验研究,将试验结果与仿真结果进行对比分析。结果表明所得到的仿真结果与试验测试结果基本吻合,并且都满足验收标准,说明仿真结果具有较高的可信度。     

DSME和GL推出首个LNG驱动的大型集装箱船解决方案

液化天然气（LNG）作为一种富有前景的替代性燃料，尚未用于集装箱船。大宇造船海洋株式会社（DSME）和德国劳氏（GL）最近完成了一个联合项目，证明了使用LNG驱动大型集装箱船的可行性．近日在韩国釜山召开的国际船舶及海事设备展期间，双方举行媒体发布会，     

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

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

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

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