装备保障计划本体的建立和分析

基于本体论方法形式化地探讨装备保障计划本体的建立和分析,具体介绍了机械化步兵师装备保障计划本体的建立方法、本体元素的描述、本体的一致性等方面的内容。给出两个判断类间关系一致性的算法并分析其性质,探讨了基于公理化的知识的一致性。     

基于表面电荷法的像管静电场计算

与传统的有限差分法和有限元法相比,表面电荷法可降低单元剖分难度并能处理开放边界,更适于计算静电透镜的静电场。针对轴对称及非轴对称两类结构,采用样条函数及奇异形状函数改进电极表面的电荷密度估计,讨论了二维及三维表面电荷法的实现。与具有解析解的单位圆盘进行比较,分析了表面电荷法的电位计算精度,并用于轴对称及非轴对称像管计算。结果表明：对轴对称系统,在文中给定步长下,二维及三维表面电荷法与有限差分法计算相对误差不超过10^-3,且二维方法精度整体高于三维方法,二维、三维表面电荷法对3种像面位置的计算结果与有限差分法结果相比,最大误差不超过0.6mm;对非轴对称系统,3种方案下轴外电子运行轨迹的差异明显,非对称因素所产生的干涉场影响是不可忽略的。     

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

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

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

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

基于子孔径图像的低频SAR多通道均衡方法

利用多通道SAR系统进行运动目标指示时,通道间的幅相失配严重影响了运动目标检测以及参数估计的性能。针对多通道低频SAR/GMTI系统,提出了一种基于子孔径SAR图像的多通道均衡方法。该方法利用相同视角的多通道子孔径图像,估计该角度对应的幅相误差,在达到较高幅相误差估计精度的同时,也能适应误差随视角的变化。基于车载低频多通道SAR/GMTI实测数据的实验结果表明:该方法能有效地补偿不同通道之间的幅相误差,提高运动目标的检测和参数估计性能。     

太阳能足球

台湾太阳能电池板定制商缘霖光电近日研发出了全球首款太阳能足球。缘霖光电此次使用独家的太阳能电池板形状定制技术,将传统足球中的黑色五边形球皮换成了同形状的太阳能电池板。该太阳能足球内置动作感应器和音频设备.     

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

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

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

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

非自治时滞抛物方程的pullback吸引子

研究一类具有平移指数增长函数的非自治时滞抛物型偏微分方程,证明了由方程解生成的非自治无穷维动力系统在L2(Ω)×C([-r,0];L2(Ω))空间中存在pullback吸引子.     

空间救援发射窗口分析

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