三峡枢纽通航船模试验系统软件开发

JGⅡ V3 0船模试验通用软件在船模姿态判断、航行要素计算、系统抗干扰、误差校正、编程及界面等方面都有其独到之处 .它支持CMZ 3B船模自动试验系统实现了对船模水平运动进行非接触快速连续遥测和实时控制 ,并作到了Z形试验全过程的自动化 ,具有较强的数据处理及绘图、显示能力 ,大大提高了试验效率和精度 ,为通航船模试验提供了一种有力的手段 ,在三峡工程通航船模试验中发挥了重要作用     

赤湾突堤延长工程潮流数学模型研究

使用TK-2D软件建立了基于不规则三角形网格的伶仃洋整体二维潮流数学模型和赤湾附近局部二维潮流数学模型,根据现场实测资料对模型进行了验证。在验证的基础上,对赤湾突堤延长工程实施后造成的流场变化进行了模拟研究。研究结果表明:赤湾突堤延长工程实施后,流场变化仅限于工程附近;9#～13#泊位的涨落潮流速和流向基本不变;延长段堤头东南侧涨落潮流速呈减小趋势,延长段堤头西南侧涨落潮流速呈增加趋势;赤湾内涨落潮潮量不会变化;从对周围潮流场的影响角度考虑,赤湾突堤延长工程是可行的。     

用于可靠性评估的软件架构描述语言研究

软件架构的设计正确与否直接影响着最终软件产品的质量,而软件架构描述语言(ADL)是设计软件架构的基础.通过对已有的ADL的研究,本文提出了一种用于可靠性评估的架构描述语言,该语言具备大多数ADL描述软件系统高层结构的能力,还支持便于可靠性评估的架构分割.     

软件模拟SCI在MC68HC908EY16上的实现

介绍了一种在单片机中实现软件模拟SCI的方法,该方法使用一个输入捕获、2个定时器、2个数字输入输出的功能．用普通IO口通过软件编程来实现SCI通信。该方法已在FreeScale的MC68HC908EY16上实现,并用于汽车Lin网络的主节点。取得了良好的效果,具有一定的推广价值。     

UML状态图映射为Petri网模型的方法研究

UML广泛应用于软件建模,然而UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证。状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题。Petri网作为一种图形化建模工具,具有严格的形式化语法语义,而且有很多成熟的分析方法。本文提出了将UML状态图映射为Petri网模型的方法,并结合实例对映射后的模型进行分析,验证了模型的一系列正确性。     

仿真技术在汽车电子设计中的应用

为了缩短汽车电子系统的开发周期、降低开发试验成本,仿真技术被引入汽车电子的设计之中。本文结合实例介绍如何利用SABER软件对电子产品及系统建立数学模型、进行仿真和分析,以及如何利用仿真结果对原设计进行验证和完善。     

盗版软件生产的博弈分析

针对近几年发生在我国较为频繁的软件盗版事件,通过建立博弈模型,对盗版事件的两方博弈主体,即软件初始制造者和软件盗版者之间的利益关系开展了博弈分析．在理论分析的基础上,提出了应对我国软件盗版事件频发的建议．     

抑制异步牵引电机启动峰值电流的控制策略研究

针对直接转矩控制(Direct Torque Control,简称DTC)模式下异步牵引电动机启动峰值电流过大的问题,提出了一种抑制异步牵引电机启动峰值电流的转矩和磁链同步控制策略。根据两相静止αβ坐标系下异步电机的数学模型,利用Matlab/Simulink软件包中的S函数模块和基本模块,构建出交流异步电动机直接转矩控制系统的仿真模型,对其在转矩和磁链不同控制策略下的启动过程进行了动态仿真。仿真结果与目前牵引电机运行的数据接近,证明了该仿真模型的合理性和有效性。这表明,采用转矩和磁链同步控制策略至少可以降低2/3的启动峰值电流。     

避免管理信息系统（MIS）建设失败的途径

在概述国内ＭＩＳ建设失败的类型，分析导致ＭＩＳ失败的原因基础上，提出了若干避免ＭＩＳ建设失败的技术性和非技术性途径。     

基于"网络中心战"的作战软件支撑技术

“网络中心战”理论是美军21世纪军事革命的重要组成部分。从“网络中心战”的基本原理入手，探讨了实施“网络中心战”的基本功能模块，进一步分析了作战软件运行环境的特点和要求，在此基础上对其支撑技术进行了较详细探讨。