基于本体的一体化辅助决策平台模型检索模式

随着决策模型种类和复杂度的不断增加,模型的描述和检索成为一体化辅助决策的重要问题。基于目录分类、关键字等的模型描述方法缺乏语义信息,因此无法较好地满足用户的检索请求。利用描述逻辑对模型进行形式化说明,在此基础上研究平台模型的检索方法,提出模型语义层的检索模式,并且对检索模式的有效性和应用性进行了分析。     

基于能力需求的武器装备体系结构描述方法研究

提出一种“基于能力需求”的武器装备体系结构描述方法,包括两种描述思路,分别是“从需求到体系”的描述思路和“从体系到能力”的描述思路;以定性描述和定量描述的形式,给出了武器装备体系结构描述的框架与流程。该方法能为武器装备体系的构建与优化提供基础与指导。     

基于XML的安全协议形式化描述方法

针对安全协议的设计与分析复杂且容易出错的问题,文章为编写一个自动验证工具提出一种基于XML(eXtensible Markup Language)语言的时间相关安全协议形式化描述方法。该方法将安全协议用树状结构表示,用XML语言进行描述,为简化安全协议的形式化分析提供了帮助。     

符号检验在空战对抗仿真试验数据分析中的应用

针对如何提高仿真试验数据分析的科学性和可靠性,增强仿真工作者试验设计和统计分析的能力,首先简要介绍了符号检验法的基本原理、使用方法和使用策略.再以两型装备开展作战效能对比评估为背景,借助某型战术空战仿真系统,设计和进行了人在回路战术空战仿真试验,通过对仿真试验数据的分析,探讨了符号检验法的适用条件、应用方法和特点.最后通过算例证明,符号检验法是一种有效的对比型仿真试验数据的分析方法,具有较强的实用性和有效性.     

影响英语听力的障碍因素浅析

从影响英语听力学习中常见的三大障碍性因素 ,即语言关、背景知识关和心理关入手 ,阐述了它们三者之间互为依存的内在关系。从根本上揭示了听力是一项综合技能 ,既要从不同方面的小处着手 ,更要把英语听力的学习提高放在英语学习的整体框架中 ;听力技能既是对语言总体能力的补充 ,又是对其整体能力的反映。     

空间救援发射窗口分析

从发射窗口的基本特性出发,推导了空间救援任务发射窗口的解析求解方法.将空间救援发射窗口问题分解为平面窗口问题和相位窗口问题,分别建立了平面窗口与相位窗口的解析求解模型,最后获得了发射窗口解析解.用直观曲线描述了同一经度的不同纬度所有发射点对应的发射窗口,为空间救援任务发射窗口的分析和快速计算提供了基础.     

指挥信息系统需求描述框架研究

本文根据实践经验,提出了指挥信息系统的需求描述框架,将指挥信息系统需求分为军事需求和系统需求两个层次,同时又将军事需求分为使命任务需求、作战需求和装备保障需求三个层次,本文详细地绘出了使命任务、作战需求和系统需求的内容体系。最后还提出了指挥信息系统需求的一般开发过程。     

专武干部符号莫乱戴

近日,笔者回乡探亲参加朋友婚礼时,看到某婚庆公司乐队成员,身穿专武干部服装,佩戴专武干部符号。吹吹打打、招摇过市。5月上旬,笔者又看到某校举行运动会,有一个代表队穿迷彩服,佩戴专武干部符号,笔者上前问道:你们佩戴的是什么符号,是谁批准的?答案是:不知道什么符号,戴这种符号不要批准,市场上多得是,哪里都买得到。     

我国网络语言研究综述

随着我国网络的普及及发展,网络语言也逐步形成并发展起来,对网络语言的研究也取得了一定的成果。网络语言的研究主要集中在网络语言的本体研究、文化解析及规范方面。我国网络语言的研究存在着一些不足,如重复研究多、方法单一、角度不多、研究不够深入等。今后应该多进行跨学科的研究及加强对网民的研究。     

舵机伺服阀非线性特性对稳定回路设计的影响分析

针对舵机伺服阀死区非线性特性,采用描述函数法和数学仿真相结合的方法分析了死区非线性对稳定回路设计影响.结果表明,死区非线性会导致系统有0.5～3 Hz的低频振荡,通过合理设计控制参数和减小死区方法,可减轻系统振荡现象,有利于系统稳定,而且系统振荡幅值和频率与输入信号的大小没有关系.