基于体系结构物理交换规范的作战活动可执行模型构建方法

作战活动是体系结构的核心数据,保证作战活动的正确性是提高体系结构质量的关键。基于DoDAF2.0提出的体系结构数据物理交换规范,定义了作战活动模型和作战规则模型的数据模型;对基本Petri网交换规范进行扩展,形成扩展Petri网的数据交换规范;建立活动模型相关数据与扩展Petri网交换规范的映射规则,根据映射规则自动生成作战活动Petri网模型,并研制了可执行模型自动生成工具。最后,通过案例验证了方法的合理性。     

GTD—120程控交换机

本文对GTD——120作一总述,介绍了系统结构、公共控制设备和组群方式等,并作一些初步分析。有关各个部分的原理及功能特点,拟在今后陆续撰文介绍。 GTD——120为存贮程序控制(SPC)时分电子电话小交换机,是美国GTE公司在比利时的GTE ATEA工厂的产品。该机用Intel8080微处理器控制,内存32K,采用24路脉冲编码调制(PCM)交换。整机容量为120门本地用户(号盘话机或按钮话机,可分成10个服务等级),28条中继线(可分为8组)。由于采用SPC技术,故除了完成一般的交换功能外,还有多种特殊功能,如预占、回叫、咨询、会议、转移、拾取、搜索、热线,插入、系列呼叫和缩位拨号等等。本机还可以直接与PCM传输线路接口,作数字交换。     

后勤管理信息系统生成系统的设计与实现

本文论述了一个后勤管理信息系统生成系统(LMIS-GS)的设计与实现,本系统综合采用了数据库模式自动生成技术、软件可重用技术、操作对象、控制信息与程序相分离的模块编码技术,系统中通过引入部件的概念,把庞大复杂的LMIS系统划分为若干个可独立研制开发的部件实体。LMIS的生成就是部件的组装,部件的生成就是数据基的组装与填写。系统还提供了数据库生成的两种方式,即可自动生成3NF的关系数据库模式。     

从UML到FOM的转换方法研究

针对当前HLA存在的一些主要问题,将MDA的思想和开发方法引入到军事仿真系统开发中.针对HLA平台相关模型,提出了HLA的UML Profile.最后,基于XMI(XML metadata inter-change)规范开发了一个工具,能够很好地根据UML图自动生成OMT文件.     

炮控系统故障诊断树自动生成技术研究

针对人工建立故障诊断树可能存在建树不完全、建树过程费时费力的问题,对故障诊断树自动生成技术进行了研究,开拓了计算机辅助故障诊断的方法途径。首先详细论述了故障诊断树自动生成技术的4个关键步骤,分别是故障诊断信息建模、系统结构图的绘制、数据库的存储和故障诊断树的生成;然后基于Visio VBA软件和ACCESS数据库设计开发了炮控系统结构图绘制模块和故障诊断树生成模块;最后通过一个具体实例实现了故障诊断树的自动生成。结果表明:故障诊断树自动生成技术有助于提高建树的效率和准确率。     

作战指令自动生成的关键模块设计*

作战指令的自动化生成主要涉及到汉语分词技术、语法分析和代码生成。将作战文书归结为一个半结构化的自然语言信息抽取问题,采用数据融合方法实现词法分析,采用编译原理的技术实现语法分析,采用规则库最终实现了作战指令的自动化生成,作战指令的自动生成将提高指挥自动化的水平。     

菜单窗口软件的自动生成

本文提出了一个菜单窗口自动生成系统,能自动把用户以MWSL语言编写的菜单窗口程序编译生成Turbo C语言的菜单窗口软件,满足用户对多菜单多窗口的要求,具有很强的通用性.     

武警部队应急铁路输送方案自动生成系统

为了提高战备铁路输送方案的编制速度 ,本文研究开发了应急铁路运输方案自动生成系统 ,提出了列车梯队自动划分模型和梯队铁路装载计划生成模型 ,应用表明 ,两种模型是非常实用和有效的     

信息系统自动生成技术

在分析软件自动化、自动生成基础上提出实现信息系统自动生成的三个阶段,较为详细地论述了自动生成中领域构件库建立和应用程序集成的基本方法,其ＭＩＳ＝｛Ａ,Ｍ,Ｗ,Ｄ,Ｔ,Ｃ,Ｒ｝与构件库的自然映射把复杂的用户定义过程转换为二维关系表数据处理,不失为解决问题的一种好方法。     

基于VRML和Java的三维地形生成方法研究

三维地形是地理信息系统的重要组成部分.文中基于Internet,利用VRML、Java实现了三维地形自动生成系统,并介绍了该系统的工作流程、若干关键技术及三维山脉地形生成实例.     

SPC技术在导弹厚膜混合电路生产中的应用

SPC(统计过程控制)作为一种先进的质量管理方法,在国外企业被广泛采用,目前国内也有众多企业开始推行.分析了实施SPC的重要性,根据SPC技术在推广应用中的主要工作内容,给出了导弹厚膜混合电路生产中SPC技术的应用方法,包括关键工序节点和工艺参数的确定、工艺参数数据的采集、控制图的使用、工序能力评价以及所采用的控制技术等实际应用方面的内容.     

基于能力的武器装备体系需求生成框架研究

在界定基于能力的武器装备体系需求生成相关概念的基础上,对需求生成模式进行了总体分析,对需求生成过程按照作战任务分解描述、能力体系需求分析和装备体系需求生成进行了详细描述,初步形成了武器装备体系需求生成研究的基本框架。     

Variables inspection for SPC‐quarantined production

When a control chart signals an out‐of‐control condition for a production process, it may be desirable to “quarantine” all units produced since the last in‐control SPC sample. This paper presents an efficient procedure for variables inspection of such “SPC quarantined” product. A Bayesian sequential inspection procedure is developed which determines whether the out of control production is of acceptable quality. By inspecting the units in reverse of the order in which they were produced, the procedure is also capable of detecting the point at which the process went out of control, thus eliminating the need to inspect units produced prior to the onset of the out of control condition. Numerical examples are presented, and the performance characteristics of the procedure are demonstrated using Monte Carlo simulation. © 2001 John Wiley & Sons, Inc. Naval Research Logistics 48: 159–171, 2001     

对第四代战斗机综合航电系统的构想

通过对战斗机综合航电系统的回顾,分析了第四代战斗机及其航电系统的主要特征和关键技术,并对我国新一代综合航电系统的能力、功能等进行了展望.为提高我国航空电子技术的水平,要充分研究国外先进技术,对第四代战斗机综合航电系统进行分析和预先研究.     

陆军武器装备体系需求生成支撑平台建设

分析了装备需求论证中存在的问题,探讨了武器装备体系需求生成的目标。借鉴外军武器装备需求生成的成功经验,以"需求驱动、架构主导"的系统工程思想和方法为指导,提出陆军武器装备体系需求生成支撑平台的要求、任务和组成,并结合具体工具给出支撑平台设计框架示例。     

新型水陆坦克系统效能评估模型研究

在提出一种新型水陆坦克的基础上,研究了其作战任务剖面,提出其作战使用性能要求,建立了一套科学评估的方法体系——综合效能多指标评价法,将各种评价方法——层次分析法、灰色评估法、模糊综合评判、Delphi法等融为一体,建立了新型水陆坦克系统效能评估的递阶层次分析模型,对新型水陆坦克和六三式水陆坦克的综合效能分别进行了系统评价,为高层领导对武器装备决策提供了科学的依据。     

电力市场环境下发电厂机组检修计划

分析了传统的统一调度下和电力市场环境下发电厂机组检修计划的不同,在此基础上提出不同于以往的检修计划方法。以检修费用、电价收益损失和违约金之和最小为目标函数,然后采用0-1整数规划的直接枚举法求解。最后通过算例论证了该方法的可行性。     

面向协作式网络化的作战计划生成过程模型

传统的指挥控制系统中作战计划生成过程网络化程度低,各个软件模块间难以进行协作。针对战术作战计划生成问题,参照工作流元模型,对计划生成流程进行分析,提出了计划生成过程模型。重点针对作战计划生成过程中的网络化协作问题,在现有模型的基础上,提出了适用于战术作战计划生成的轻量级工作流引擎的设计思想,最后结合工作流技术,设计了辅助作战计划生成的流程组织工具,通过该工具手动或自动地进行作战计划生成过程,验证了该模型的有效性。     

基于遗传算法的嵌入式软件测试用例生成系统研究

综合考虑了嵌入式软件的特点,将遗传算法应用于搜索全面覆盖软件特殊路径的测试用例生成的问题,合理构建了嵌入式软件测试用例自动生成系统,给出了系统流程图,改进了部分算子,使搜索效果得以加强,并分析了交叉率、变异率等参数的取值范围,通过改变不同的参数值得到对比图,以确定适合该系统的最佳参数值,并针对实际汇编语言编写的嵌入式软件指定路径进行仿真测试,从理论和实践上证明了该思路的正确性和可行性。     

线性调频基带数字产生的关键技术研究

介绍超宽带线性调频信号基带的数字产生方法及其实现技术。首先对线性调频信号的两种主要数字产生方法进行了简要阐述和比较，然后根据波形存储直读法提出了一种超宽带线性调频信号产生方案，分析了基带数字产生的主要关键技术，并进行了系统实现和测试。测试结果表明本文所提出的方法是可行的。