软件需求分析与问题域的说明方法

结合中国铁路调度自动化系统的研制、开发工作,阐述了一种计算机软件工程中软件需求分析与说明方法—以面向对象为基础的软件需求说明,并以实例展示了其在实际中的应用及重要性。     

联锁软件的Petri网形式化定义

用Petri网对联锁系统中的核心部分－联锁机中的联锁软件进行表式化定义和分析，以减少联锁系统中的不确定性因素，降低联锁软件的复杂性，保证联锁软件定义的正确性，并对该定义进行了形式化验证。同时以进程建立过程作为事例，说明了用Petri我形式化定义联锁软件的具体过程，采用分层模型化技术对联锁软件中的各个变迁（模块）进行逐级分解和验证，最终得到经过验证的，足够详细的联锁软件模型，利用该模型能对系统的一些重要性能（如安全性和实时性）进行分析和改进。     

开发自主潜器控制软件工具

介绍由美国电子设备公司等开发的软件包的操作功能，目的是帮助设计人员对未来的自主潜器在勘察任务中的性能进行评估，其中包括对其高精度定位和速度及高度稳定性的评估。描述系统主要循环功能、AUV构造、环境、导航传感器和有关筛选器、执行使命航迹、制导及控制规则。对上述各条进行定义后，运用数字模拟来评估执行任务的效率，并以某些成功的AUV操纵设计为例说明软件包的功能。     

118OTEU冷藏集装箱船主要外舾装设计介绍

本文描述了1180TEU冷藏集装箱船的锚设备、舵设备、系泊设备、克令吊托架、冷藏集装箱操作平台的设计     

海洋调查中水下目标的定位与描述

介绍在海洋调查中，采用差分GPS对水下目标进行定位的几种方式，并对水下目标定位的精度进行估计。在声纳图象中还对目标的位置、大小和高度进行了定量描述。     

从美国海军能力转型看舰船新装备发展

通过对美国海军能力转型的宏观描述和分析,凝聚了海军舰船装备的发展趋势,并着重讨论了新装备发展所采取的策略.     

ETCS中安全通信的研究与探讨

介绍了ETCS中安全通信的概念，讨论了安全层的业务定义、功能以及协议管理方面的内容，详细描述了实现安全功能的安全过程。     

水火弯板变形的描述方法

在分析了角变形、线变形描述法和位移场描述法的基础上，提出了水火弯板变形的整体描述法。实验及有限元计算表明，水火弯板的变形非常复杂，一般所用的角变形线变形描述过于简单，不能精确描述水火弯板的变形场。用位移场描述水火弯板的变形又因计算结果的复杂性而难以实现。如果从整体变形角度考虑，水火弯板的变形可以用变形后的上下表面形状、平面内的扭曲变形、沿板宽变化的横向收缩及沿板长变化的纵向收缩全面描述，并可进一步由计算结果得出合适的曲面方程及收缩变形函数。     

强震区隧道洞口段振动台模型试验研究

为了研究强震区隧道洞口段的抗震性能,对隧道结构进行了振动台模型试验.文章首先介绍了试验方案设计;接着对试验中测得的隧道结构的加速度反应和应变反应进行了分析,得出洞口段在地震动作用下的横截面的应变分布规律,以及沿纵向的加速度反应特征;最后,对试验中的地震裂缝和衬砌结构的破坏等震害现象进行了描述.