军事信息系统的互操作性研究*

为了正确理解和准确评测军事信息系统的互操作性,分析比较了军事信息系统互操作性的不同定义和内涵,讨论了军事信息系统的互操作性分析方法,探讨了军事信息系统互操作性建模方法,分析了互操作性与系统安全脆弱性之间的关系,给出了军事信息系统互操作性研究的几点建议.     

二氧化硅气凝胶隔热复合材料的性能及其瞬态传热模拟

高马赫数、新型航天飞行器承载严重的气动加热环境,其隔热材料的性能与传热计算对飞行器热防护结构的优化和预测具有一定的指导意义.研究了二氧化硅气凝胶隔热复合材料的结构与性能,并进行了瞬态传热模拟.结果表明复合材料热导率仅为0.018W/m·K,瞬态传热模拟结果与考核测试值吻合,为预测和优化隔热材料提供了一定的依据.     

一种基于模型的系统设计方法

提出一种面向功能需求,基于模型的"V"型系统设计方法,通过图形化行为建模技术对系统功能进行分解,运用多种仿真和验证技术,在设计过程中实现对系统功能、行为以及与需求规范的一致性和完整性进行实时验证,及时发现并纠正错误,从而避免在产品的物理原型阶段或测试阶段才发现系统设计的错误.     

基于支持向量机的多分类军事目标识别应用

针对现代战场信息化程度的不断提高,电磁环境日趋复杂,侦查目标难以准确地识别情况,提出了运用支持向量机多分类器对军事侦查目标进行有效识别.结构风险最小化地支持向量机分类方法是小样本情况下统计机器学习的经典,具有速度快、泛化能力强等特点.用该算法建模军事目标的识别问题,达到了较高的识别准确率.所以应用在对侦查目标的识别上具有良好的效果,在军事应用上有较广阔的前景.     

纤维缠绕复合材料约束球形浮力芯材准静态压缩吸能机制

针对海洋工程平台的防护吸能和浮力储备需求,设计一种纤维缠绕复合材料约束球形浮力芯材吸能结构。为分析其变形损伤特征和能量耗散机理,通过ABAQUS有限元软件和万能材料试验机开展数值模拟分析和试验验证研究。通过力学响应特征和损伤破坏模式分析可知,结构吸能设计的关键在于表层和芯材的泊松比匹配。芯材主要通过塑性压缩损伤和剪切断裂破坏吸收能量,而表层吸能则主要通过环向的花瓣形拉伸断裂破坏。研究表明,该型结构单元压缩吸能特性优异,可实现海洋工程结构平台的防护吸能和浮力储备要求。     

基于程序状态变迁的ASLR机制脆弱性分析方法

地址随机化ASLR是一种针对控制流劫持漏洞的防御机制。已有的漏洞自动分析与利用技术缺少对地址随机化机制影响的分析,导致生成的测试用例在实际环境中的运行效果受到极大限制。针对地址随机化的缺陷及其绕过技术的特点,本文提出了一种地址随机化脆弱性分析方法。该方法使用有限状态机描述程序运行路径中各关键节点的状态;针对常见的内存泄漏与控制流劫持场景建立约束条件;通过求解内存泄露状态约束与控制流劫持状态约束的兼容性,分析地址随机化机制在特定场景下的脆弱性。实验结果显示,该方法可有效检测通过内存泄漏导致的地址随机化绕过及控制流劫持攻击,实现自动化的地址随机化脆弱性分析,提高针对软件安全性分析的效率。     

海水电场受物体电导率及其形状影响分析

海水中电场测量体会对目标电场产生影响,为了提高电场测量的准确度,利用有限元分析的方法研究了物体对海水电场分布的影响因素,并确定畸变电场的分布规律。仿真结果表明:海水电场畸变峰值大小及其畸变区域受物体的电导率及其形状影响,物体电导率小于或大于海水电导率时对电场分布的影响截然相反,物体形状的曲率越大,电场畸变的峰值越大,但畸变区域越小。     

Numerical simulation of dynamic large deformation and fracture damage for solid armature in electromagnetic railgun

The design of solid armature of railgun should take full account of its operating conditions and material properties because the armature is subjected to dynamic loading conditions and experiences a complicated electrical, thermal and mechanical process in the interior ballistic cycle. In this paper present, we first introduced a multi-physical field model of railgun, followed by several examples to investigate the launching process. Especially, we used the explicit finite element method, in which material nonlinearity and geometric nonlinearity were accounted, to investigate the deform behaviors of solid armature. The results show that the dynamic mechanical process of armature is dependent on the armature geometry, material and exciting electric current. By the numerical simulation, the understanding of the fracture mechanism of solid armature was deepened.     

A note on optimal pricing for finite capacity queueing systems with multiple customer classes

This article investigates optimal static prices for a finite capacity queueing system serving customers from different classes. We first show that the original multi‐class formulation in which the price for each class is a decision variable can be reformulated as a single dimensional problem with the total load as the decision variable. Using this alternative formulation, we prove an upper bound for the optimal arrival rates for a fairly large class of queueing systems and provide sufficient conditions that ensure the existence of a unique optimal arrival rate vector. We show that these conditions hold for M/M/1/m and M/G/s/s systems and prove structural results on the relationships between the optimal arrival rates and system capacity. © 2008 Wiley Periodicals, Inc. Naval Research Logistics, 2008     

装甲车辆火力性能仿真模型可信性与实时性

可信性与实时性是"人在回路"仿真系统研究的核心内容.在仿真过程中,通过对坦克火力系统物理模型分析,兼顾仿真精度与实时性要求,采用与实际武器装备一致的解算方法,拟合出方位角、瞄准角、最大弹道高与测距距离的函数关系,并据此构造出装甲车辆的外弹道曲线.通过对计算机机器时间物理模型的分析,采用读取CPU内部64位时间寄存器EDX:EAX方式,实现了仿真算法的纳秒级实时运算.通过提高可信性与实时性,增强了"虚拟战车"的沉浸感,为装甲武器装备的采办提供了必要的支持.