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

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

捷联惯导系统快速自对准误差模型的建立

通过对惯性制导系统两个基本方程的研究,求出了各状态矢量在各坐标系下的微分方程,然后以ψ角法所确立的平台为基准,分别推导得出惯性制导系统各主要状态的微分方程,从而建立了捷联惯性制导系统的误差模型.最后根据静基座捷联惯导系统初始对准的特点对其进行简化,得到了静基座捷联惯导系统快速自对准的误差模型.     

海战场时空查询及索引机制研究

针对目前海战场信息系统的不足,引入时空数据技术对战场数据建模,并支持设计了海战场时空数据库原型系统.对系统要求的时空查询问题进行归纳,结合海战场数据特性加以分析,为后续的索引建立提供了依据.3D R-tree相较现有的其他时空索引更适用于海战场的环境,并通过扩充部分的弥补了其检索效率的不足.     

基于DSP+FPGA的导航计算机数据采集与处理硬件设计

根据捷联惯导系统中数据采集和运算处理的要求,提出了以高性能DSP为核心,由FPGA构成主要外部输入输出接口的导航计算机硬件设计方案;设计了I/F转换电路;给出了各电路的硬件结构框图和各器件的特性、选择与应用。从硬件方面分别讲述了FPGA和DSP的工作过程和功能。利用本方案,对实现军事和工程领域中导航系统微小型化、降低系统成本和体积具有重要意义。     

自行火炮发动机振动仿真研究

针对某型自行火炮柴油发动机系统,采用Matlab软件的Simulink 工具,建立了整个系统的动力学仿真模型。分别对该模型进行正弦、白噪声信号扰动下的仿真,从系统输出转矩和转速的曲线结果分析,证明了该模型具有较好的可信度。该模型的建立为今后深入开展发动机仿真研究提供了基础。     

变结构控制器的仿真模型研究

变结构控制器集中了非线性控制与线性控制的优点,既保证了系统的快速性,又具有良好的跟踪精度。运用控制理论及牛顿运动规律,阐述了变结构控制器的建模机理,重点研究在MATLAB/SIMULINK动态系统仿真环境下,利用已有模块搭建变结构控制器的仿真模型。该仿真模型已被成功地应用于某型自行高炮随动系统的仿真研究中。     

一类装甲车辆对不平路面的激励响应模型

研究内容为(轮式、履带)车辆在不平路面行驶和通过障碍时的平顺性问题。利用状态方程法建立了包括随机和确定路面轮廓、3维车体等较为通用的车辆行驶平顺性模型。并针对行驶振动中车轮与悬架的碰撞建立了专门模型。对某型装甲车辆进行了计算机仿真和验证,对模型的精度和有效性进行检验和评估。结果表明所建立的车辆-地面系统模型是有效的。该模型和建模采用的方法为装甲车辆的系统设计和动力学分析提供了一条途径。     

铅酸蓄电池等效电路模型研究

随着电动汽车等技术不断发展,铅酸蓄电池的应用领域不断扩大。数学模型是铅酸蓄电池 研制和应用中重要的研究工具。概括总结了铅酸蓄电池建模方面所取得的一些成果,并着重讨论了等效 电路模型。同时,也在铅酸蓄电池等效电路模型的研究方向和研究方法上作了一些探索。     

Spalart-Allmaras湍流模型在高超声速气动加热计算中的应用

将AUSM+格式与LU SGS隐式迭代相结合,采用一方程的Spalart Allmaras湍流模型和二阶迎风MUSCL格式,研究了火星"探路者号"实验模型在10马赫来流条件下的气动热问题。采用量热完全和热完全两种气体模型的计算结果与实验数据进行了比较。热完全气体模型模拟的热流分布规律与实验吻合较好,但是对分离区的热流估计过高。在网格合理划分,尤其是满足近壁面的网格分辨率要求的前提下,该方法能够合理反映高超声速流场除分离区以外的气动热特性。     

基于对象Petri网(OPN)的C3I系统仿真建模

首先介绍了OPN的特点和利用OPN建立C3I系统仿真模型的一般步骤,然后用一个简单的实例说明了该方法的使用情况,并总结了该方法在建立C3I系统仿真模型中的优缺点.