新扩展强化非对称选择网的有界性与单调性

根据Petri网结构理论，讨论非对称选择网(AC)的一个子类：新扩展强化非对称选择网(NESAC)的有界性与活性单调性，判定NESAC网N结构有界的充分必要条件是，N被极小死锁簇覆盖，每个非空极小死锁H一定是个陷阱且满足|t^*∩|=|t^*∩H|=1，NESAC网仍然具有ESAC活性单调性的特征。     

高墩大箱室梁墩顶0号段托架的设计与施工技术

介绍了高墩大箱室箱梁墩顶0号段悬托架的设计与施工方法,通过直接在墩身预埋牛腿,在牛腿上安放工字钢大梁和贝雷架分配梁以作为托架支撑,经计算后满足施工需要,从而优化施工方案。     

反舰导弹末制导参数对箔条冲淡干扰效果影响分析

箔条冲淡干扰是水面舰艇对抗雷达末制导反舰导弹的重要手段之一,冲淡干扰效果受多方面因素的制约.分析了方位搜索角和距离搜索波门等末制导雷达参数对箔条冲淡干扰效果可能造成的影响,通过计算机仿真进行了验证,并提出了消除影响的初步思路.     

碰撞危险局面下VTS值班员交通组织及值班用语规范初探

文中以一起典型的VTS覆盖水域船舶碰撞危险事件为例,论述了碰撞危险局面下VTS值班员交通组织的依据、措施建议和值班用语规范,为规范VTS值班员的交通组织标准提供思路.     

基于随机Petri网的指挥流程性能指标分析

Petri网是一种很有效的模型描述语言,适用于描述含有并行成分的系统。文章运用随机Petri网同构马尔可夫链的原理,对海上编队作战准备阶段的指挥流程性能指标进行分析。     

用MSC.Patran的PCL二次开发用户界面

在对MSC.Patran进行二次开发时，通常要自己编写自定义的图形界面，以实现开发者所需的一些特殊功能，结合某些用户界面，说明利用PCL语言进行二次开发用户界面的过程和应注意的问题。     

深海钛合金压力容器在静水压力作用下的弹塑性分析

利用MSC.Marc Mentat 2005通用有限元软件对深海探测用压力容器受静水压力作用时的弹塑性失稳问题进行了计算与分析,弹性失稳数值计算的结果与用现有规范计算公式所得结果一致,均大于塑性失稳数值分析时的临界载荷。由此得出结论,对于厚壁且形状复杂的压力容器的失稳计算,用理论公式或仅用厚壳单元的弹性失稳分析是不够的,应该用3维立体单元的弹塑性失稳计算才能给出比较精确的强度预测。MSC.Marc Mentat2005强大的计算和仿真功能有效地模拟了深海精密探测容器受静水压力作用时的弹塑性失稳问题,为深海精密探测容器在材料、外观等方面做进一步的设计改进提供了可靠的工具。     

ADO.NET 2.0在数据库访问中的应用

数据库访问技术一直是web应用程序和数据管理系统开发的重点和难点,ADO.NET 2.0为数据库开发提供了强大的理论和技术支持。介绍了ADO.NET 2.0的数据模型,研究了数据库的控件访问及编程访问方法和原理,阐述了ADO.NET 2.0的新增数据访问功能和机制并给出了DataTable的新增功能的应用实例。     

基于模糊综合评判的舰艇编队网络效能评估

在分析舰艇编队作战系统网络的复杂性基础上,从信息支援能力、信息进攻能力、信息防御能力三个角度对网络效能进行评估,建立了相应的评估模型,并通过实例分析了该方法的可行性。     

基于贝叶斯网的反潜直升机对潜艇的识别模型

快速准确地对潜艇进行的识别在航空反潜作战中是进行战场态势评估和战场决策的基础。通过搜索潜艇中提取搜索的特征信息,结合贝叶斯网络,使用了“两步”对潜艇目标进行识别,在此基础上进行了实例验证,其结果与事实相一致,显示了该方法的正确性和有效性。