运动目标轨迹分类与识别

运动目标轨迹识别是运动分析中的基本问题,其目的是解释所监视场景中发生的事件,对所监视场景中运动目标轨迹的行为模式进行分析与识别,智能地做出自动分类.对轨迹有效性判断后采用K均值聚类,引入改进的隐马尔可夫模型算法,针对轨迹的复杂程度对各个轨迹模式类建立相应的隐马尔可夫模型,利用训练样本训练模型得到可靠的模型参数,计算测试样本对于各个模型的最大似然概率,选取最大概率值对应的轨迹模式类作为轨迹识别的结果,对两种场景中聚类后的轨迹进行训练与识别,平均识别率较高,实验结果表明该方法是有效的.     

正畸力作用下微种植体支抗的应力分析

通过建立直径为1.4,1.6,1.8 mm,长度为6,8,10 mm,螺纹深度为0.2 mm,螺纹间距0.5 mm的Ti质微种植体支抗与颌骨有限元模型,研究在常用载荷1.96 N正畸力与微种植体长轴呈45°,60°和75°三种角度时的Ti质微种植体应力分布和大小。分析得出,应力主要集中在微种植体颈部1 mm内,在其颈部1.2 mm的范围内应力值的衰减都很明显,在颈部1.2 mm的范围内曲线较陡。在设定的加载条件下,不同直径的微种植体应力值呈规则的变化趋势,直径1.8 mm,45°时微种植体的各应力值极值最小。微种植体长度对应力的影响不大,位移变化均较小。     

中国国防支出对经济增长影响评估——三部门模型的推导与分析

文章将国民经济部门分为国防部门、非国防公共部门和私人部门,选择1984年~2001年和1992年~2001年两个时间段进行实证分析,结果显示:国防支出对非国防公共部门产出存在着负效应,表明要进一步加强国防部门对于非国防公共部门的技术渗透、人才流动、精神激励;国防支出对私人部门产出也存在负效应,但随着国防部门逐步扩大非核心、非保密性技术的市场准入,国防支出对私人部门的间接拉动和技术推动作用正在逐步显现。     

基于BOM的HLA仿真系统可信性研究

可信性是系统仿真的关键要素.基于BOM的HIA仿真系统可以从仿真模型层次上提高系统的重用性和互操作性.为了确保该类仿真系统的可信性,在建模与仿真全生命周期中开展VV&A研究,十分必要.介绍了基于BOM的HLA仿真系统的FEDEP模型,并简要提出其VV&A过程,重点对用户模型、仿真模型组件及联邦成员的V&V展开研究,最后将这些研究应用于×××反舰导弹突防联邦仿真中.结果表明:提出的VV&A过程切实可行,保障了系统的可信性.     

基于投资效益和竞争优化的军事装备投资模型分析

随着资源配置的逐步市场化。军事装备建设过程中逐渐确立了以军方为主导的投资机制。从投资效益的角度看，这种投资方式比多方拥有平等投资地位的方式效益更高；从竞争优化和安全性等角度看，这种投资方式具有必然性。     

工控机简易飞机模拟座舱设计与实现

基于工控机的简易飞机模拟座舱是针对现在综合模拟座舱造价高而飞行员和空地勤人员必须熟悉航电设备的要求而设计的一种模拟设备.首先介绍了简易模拟座舱的硬件、软件组成、功能、工作原理和实现过程,同时重点介绍了操纵杆和方向舵的传递模型.     

大规模代谢网络分解的生物信息学研究

随着大规模分子相互作用数据的不断涌现,生物学网络方面的研究正日益得到重视.代谢网络处于生物体的功能执行阶段,其结构组成方式不仅反映了生物体的功能构成,也直接影响代谢工程中的途径分析和研究.作为代谢网络研究的重要环节,实现网络的合理分解不仅对于基因组范围内分子网络的结构和功能研究具有重要意义,也是代谢工程的途径分析和优化得以顺利进行的前提之一.在回顾代谢网络宏观结构和拓扑特征研究成果的基础上,通过对现有分解方法的深入分析,指出缺乏合理且有针对性的模型评估准则是目前网络分解研究中亟待解决的问题之一.今后的研究趋势在于如何整合更多的信息和发展更先进的分析方法,建立更合理的模型,并进一步拓展网络分解的应用范围.     

基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

陆军战术级合成作战指挥控制系统的仿真

对陆军战术级合成作战指挥控制系统的组成、信息交互模型、指挥控制系统虚拟样机进行简单介绍,并介绍了陆军战术级合成作战指挥控制虚拟试验系统的系统组成和应用方向.以装甲合成营为例,研究了6类指挥控制系统(战斗车辆;连、排长车;营长车;营技术观察车;迫击炮连长车;高炮连长车)的具体组成与功能.     

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.