基于多视图的武器装备体系结构描述方法

提出了一种基于多视图的武器装备体系结构描述方法,在阐述武器装备体系结构描述的相关概念和概念模型的基础上,根据体系结构描述过程构建了一个武器装备体系结构描述框架。并通过对美军网络中心战精确打击体系的分析说明了体系视图部分的描述过程以及验证了方法的可行性。     

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

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

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

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

空间救援发射窗口分析

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

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

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

基于XML的诊断信息模型描述

利用XML语言对诊断信息模型进行描述，初步建立了诊断信息模型整体框架的XML Schema，并在专门开发工具XML Spy中得到实现，同时对基于XML的信息模型描述进行了简要的应用说明，验证了模型描述的有效性。     

数列极限常见题型及其解法

极限是整个现代数学中最重要的概念之一。以极限作为工具去解决和处理数学问题是一种极其重要的数学方法。极限思想的实质是以有限认识无限,以已知认识未知,以近似认识精确,以局部认识整体。数列极限是描述数列当项数无限增大时的变化趋势。从近两年的高考看,试题多以选择题、填空题形式出现,并与其他知识点结合在一起出现在解答题中,下面就其常见题型及解决介绍如下:一、形如limn→∞apnp ap-1np-1 … a1n a0bknk bk-1nk-1 …b1n b0其特点,分式呈“∞∞”型,αi、bi为与n无关的常数,p,k为自然数,且αp≠0,bk≠0其结果有如下规律:1若分子分…     

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

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

多尺度PCA-HOG遥感异源图像匹配算法

针对遥感异源图像匹配中非线性灰度畸变和强噪声干扰问题,提出一种基于主成分分析(Principal Components Analysis,PCA)和方向梯度直方图(Histogram of Oriented Gradients,HOG)的遥感异源图像匹配算法.该算法利用HOG提取图像间的几何结构共性特征,能有效克服异源...     

基于GA-SVDD的轴承性能退化评估

为解决因机械设备轴承损伤导致机械故障而无法正常工作的问题,提出了一种基于GA-SVDD的轴承性能退化定量评估方法。该方法采用遗传算法优化选择特征参量,并建立SVDD超球体模型,运用SVDD距离评估轴承的性能退化程度。实验分析表明：该方法能够有效地对轴承性能退化过程的细节进行描述,实现对待测样本退化程度的定量评估。