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

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

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

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

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

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

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

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

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

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

空间救援发射窗口分析

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

一种具有容错能力的增量式正交译码 算法和基于模型的FPGA实现

针对磁栅或光栅形式的正交编码器译码过程中出现漏计数或错计数等问题,提出了一种具有较强容错能力的新型正交译码机制,并根据基于模型的设计思想将此机制在FPGA中实现,创新式地组合应用几种开发软件,通过Simulink?/Stateflow?/Xilinx?Systerm Generator等工具生成HDL文件、二进制比特流文件,建立了一套基于模型设计的自动化开发流程,相较于传统RTL级开发方式,不需要对硬件描述语言的熟练掌握,避免了人工编辑代码等繁冗复杂的工作。某型永磁同步直线电机控制系统的FPGA板卡测试,验证了该方法的有效性和实用性。     

基于多点空间直线拟合的调炮精度检测方法

针对火炮身管上标记两个点检测调炮精度受制于单个空间点坐标测量精度的问题,提出通过增加身管上标记点的冗余数量来提高调炮精度的检测方法。应用最小二乘原理对多个空间点进行直线拟合,并采用Monte Carlo方法对身管指向的测量精度进行分析。结果表明:标记4个点、5个点、6个点和7个点与标记2个点(传统方法)相比,其身管指向的测量精度分别提高了约6%、18%、19%和21%。该方法适用于对调炮精度检测要求较高的场合,综合考虑工作效率和测量精度这两个因素,推荐标记5个点测量身管指向。     

一种用于车载无人机弹射的直线感应电机设计

电磁弹射技术是一种高效可靠的加速驱动方式,将电磁弹射技术运用于车载无人机弹射上,具有机动灵活、通用性强等优点。首先,对车载无人机弹射的直线感应电机和端部效应进行了介绍;然后,根据无人机弹射加速指标要求,设计了一种用于车载无人机弹射用的双边直线感应电机;最后,使用有限元的方法进行了仿真,并对不同电流大小和频率下的加速过程进行了对比。仿真结果表明：该电机达到了无人机加速弹射指标要求。     

基于面向对象思想的作战单位形式化描述方法北大核心

为了使各军事仿真系统一致地理解作战单位的含义和能力,对作战单位的形式化描述方法进行了深入的研究,提出了一种基于面向对象思想的作战单位形式化描述方法。首先,分析作战单位的属性和构成,对其属性进行抽象和封装,得到作战单位类的静态属性,进而形成作战单位的描述规范;然后,为了使其可以在不同分辨率的系统平台上应用,在描述规范的基础上,采用聚合方法对作战单位之间的动态关系进行描述,得到作战单位类的动态方法,并给出了适用于该描述规范的作战单位聚合方法;最后在一体化仿真系统中应用了所提出的作战单位描述方法,证明了该描述方法的可用性和有效性。