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

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

多约束条件下发射DBF自适应零点控制技术

深入研究了在主瓣约束、主副瓣同时约束以及主副瓣约束且有规定零点这三种情况下的均匀线阵发射DBF自适应零点控制原理与方法,推导了基于Lagrange乘子法和采样矩阵求逆法的最优权值计算方法.仿真结果表明,在不同约束条件下,给出的自适应零点控制方法是非常有效的.     

一类三角结构非线性系统状态参考反演变结构控制

针对一类三角结构非匹配不确定性非线性系统,结合参考状态、反演设计和变结构控制方法,研究了其在非匹配不确定性和未知干扰下的跟踪控制问题,提出了状态参考反演变结构控制策略,设计的状态参考反演变结构控制器实现鲁棒输出跟踪,闭环系统在有限时间进入滑动模态.仿真算例证实了理论研究成果的正确性和可行性.     

基于IMM的估计算法对机动目标跟踪的比较

机动目标跟踪一直是倍受关注的问题,而交互式多模型方法(IMM)是解决这类问题的经典方法.由于传感器的发展或受某种客观条件的限制等,产生了各种基于IMM的算法.为此,介绍了IMM及基于IMM的几种经典估计算法,对它们进行比较研究,并通过机动目标跟踪的仿真算例说明各算法的适用条件、原理、异同点、性能及复杂性,对机动目标跟踪估计器的选择有重要参考价值.     

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

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

基于本体的炮兵火力分配决策问题模型化方法

提出一种基于本体的炮兵火力分配决策问题的模型化方法,并详细描述了该方法求解框架中最重要组成部分:决策问题本体的构建过程.决策问题本体包括领域概念本体、任务本体和控制结构本体.通过本体的描述,能从语义上分析问题,分解问题,发掘决策问题的内在组成结构,将问题刻画成细粒度问题的组合,提高决策问题解决的灵活性和多样性.     

自抗扰控制在陆战平台电子信息中的建模与应用

火力控制系统是在陆战平台上重要的电子信息功能系统.自抗扰控制技术将非线性滤波与非线性控制技术融于一体,通过其中的扩张状态观测器对未知系统扰动进行估计,实现系统的自抗扰特性,并具有鲁棒性.提出了自抗扰控制技术在坦克炮控系统中的应用方案,可以实现提高火炮稳定精度、精密跟踪和高精度调炮等多项功能.     

灰色GM(1,1)模型在电子装备寿命预测中的应用

介绍了传统装备可靠性试验数据评估的不足,为此根据灰色预测的基本原理,用GM(1,1)模型并通过精度修正,给出了实际应用中的预测方法.最后通过具体实例,对电子装备未来可能发生故障的范围进行了预测,取得令人满意的结果,从而证明了该预测方法能为装备的维修保养提供重要的数据支持,对研究武器装备的可靠性具有重大现实意义.     

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

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

卫星制导炸弹控制系统计算机仿真

根据制导炸弹控制飞行过程与各个分系统的特性,描述了"惯性/卫星"制导炸弹的工作过程,建立了合理的数学模型,并且通过Matlab/Simulink中嵌入S函数法,设计了一种效率高、建模简单、实现方便的计算机仿真方法.最后,以某型制导炸弹的计算参数为例进行仿真,详细分析了制导炸弹飞行过程中控制系统的工作情况,检验了系统动静态特性,验证了制导炸弹控制器参数设计的合理性;并采用蒙特卡洛法,提出了一种置信度较高的全弹系统的精度打靶仿真方法,以配合小子样飞行试验对系统性能进行评定.为进一步的半实物仿真和全实物飞行试验提供了一些有价值的依据.