指挥控制的形式化描述与性质验证

在分析了IDEF0基本模型及其军用模型的基础上,结合面向对象的分析方法,提出了一个通用的指挥控制对象的概念模型,并采用形式化描述语言LOTOS(LanguageofTemporalOrderingSpecification)和基于动作的时序逻辑ACTL(ActionBasedTemporalLogical)对系统进行了形式化描述和性质验证。这为C4ISR系统的需求描述和验证提供了一种新的思路和方法。     

用随机仿真方法验证液体火箭发动机静特性数学模型

以某泵压式液体火箭发动机为研究对象，用试车数据对发动机静特性数学模型进行了验证，在验证模型时既考虑了外部干扰因素的实际测量误差范围和内部干扰因素的实际变化范围，又考虑了发动机参数实测量的误差范围，并且使用了随机仿真的方法。验证结果表明，发动机静特性的非线性数学模型是足够准确的，所用的计算方法是合理的。     

三维高超音速干扰流场数值模拟与实验验证

采用Osher Chakraverthy的TVD格式、Baldwin Lomax湍流模型和LU SSOR隐式方法求解了完全NS方程 ,数值模拟了三维高超音速绕流与横向喷流干扰流场。并在高超音速炮风洞中开展了喷流实验研究 ,对该喷流流场的数值计算结果进行实验验证     

能否不通过短信服务发送文本信息

声音和文本是作为比特流在手机和基站之间传送。短信息服务是一种协议,移动用户可利用它发送和接收文本。但是手机和个人数字助理(将计算机、手机、相机和音乐播放器合为一体)也可以通过GPRS(通用分组无线业务)来交换数据,例如 WAP     

DIS用于武器系统开发和验证评估

本文描述了分布交互仿真(DIS)在武器系统开发和验证与评估中的作用与方法。     

分布式交互仿真(DIS)系统管理体系的分析和设计

本文主要阐述了DIS系统的产生背景 ,DIS系统的管理与网络管理的区别和联系 ,以及DIS管理系统的设计原则。最后提出了一个实用的DIS管理系统的体系结构。     

关于战术导弹的储存可靠性问题

本文依据战术导弹储存可靠性的研究与实践,结合导弹的特点,论述了储存状态的界定,储存可靠性的有关基本概念和有关指标。探讨研究了导弹储存可靠性的储存条件与方式、试验验证与数据库等问题。     

HJ—90总线控制协议设计

总线控制协议是高速多路串行数据总线的关键,它决定了多路串行数据总线的实时响应能力以及在高负载和低负载情况下的串行数据总线的特性。本文介绍舰载实时分布式系统的总线控制协议,即HJ-90总线协议。实验结果表明,该总线控制协议不论在高负载还是在低负载情况下,均具有良好的实时响应能力,能够满足舰载分布式指控系统的要求。同时,该协议还具有简洁性,便于实现,有利于提高系统的可靠性。     

因特网安全策略

用户日益增多的因特网长期以来受到安全问题的困扰,本文分析了因特网协议栈中的安全隐患,介绍了一些使用密码安全策略改进因特网的措施。