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

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

海洋实时监测数据库管理方法研究

海洋实时监测数据库为海洋环境预测部门提供了数据支持,本文根据海洋观察站数据库的要求,研究如何设计和实现海洋实时监测数据库管理系统。本文根据海洋监测元素的不同特点,设计并生成具体的海洋数据库表存储结构。利用国家海洋环境预报中心提供的原始监测数据作为数据来源,针对我国海洋实时监测数据库管理的具体需求,设计并实现了高速和全自动化的数据仓储系统。实验与模拟结果表明,该数据库管理方法能够满足用户对于数据快速更新和查询的要求。     

海洋钻修机模块结构完整性评估技术研究与实践

文章以渤海某海洋钻修机模块为对象,阐述了完整性评估工作的实施步骤,以及每个实施步骤所使用的技术方法,包括有限元法、层次分析法等。最终,通过风险评估给出综合性结论,作为制定风险管控策略的重要依据。     

跨河水准测量的方法

介绍了跨河水准测量的方法,即水准仪倾斜螺旋法、经纬仪倾角法和光学测微法。     

遭遇“船长自查”

自3月1日广东海事局"中小海轮专项整治活动"启动以来,惠州海事局结合该局的实际情况,首创了辅以"电子巡航"和"突击检查"的"船长自查"模式,该办法不仅节约了大量的人力、物力和财力,将优先的资源投放到需要重点监控的地方,还提高了检查效率,保障了船舶航行安全。"船长自查"模式究竟为何物?为了揭开其面纱,现以首航惠州港的"海洋石油362"船为例,摘录亲身经历"船长自查"的该船船长王秀高的"船长日记",以飨读者。     

简讯

"海洋运输绿色与安全技术协同创新中心"成立2012年7月19日,由大连海事大学牵头,19家行业特色高校、科研院所和骨干企业联合组建的"海洋运输绿色与安全技术协同创新中心"在大连海事大学成立。创新中心将围绕"航行安     

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

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

基于ZigBee网络的船舶周围环境信息采集系统

为获得理想的船舶周围环境信息采集结果,提出基于ZigBee网络的船舶周围环境信息采集系统。该系统包括了ZigBee网络模块、传感器模块、AD模块、信号处理模块以及输出接口模块等,采用ZigBee网进行信息测量和搜集,采用VXI总线技术实现船舶周围环境信息的总线测量和时钟采样,对各个功能模块进行电路设计,仿真测试结果表明,该系统能准确测量船舶周围环境信息,能达到满意的信息采集效果,具有较强的抗干扰能力。     

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

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

海洋核动力平台电力系统设计概要

中国正在进行的海洋核动力平台国家示范工程项目,其电力系统设计存在着新的问题。本文以海洋核动力平台的需求为立足点,充分兼顾核电站的设计要求以及船舶入级的要求,归纳了适用于海洋核动力平台电力系统设计的要点,对海洋核动力平台的工程设计和新标准规范的制定具有较强的参考意义。