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

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

指挥实体建模与仿真研究

对国内外较为典型的指挥实体建模与仿真应用情况进行了介绍.对指挥实体建模与仿真的三个主要内容-任务规划、指挥控制和作战行动协同所采用的各关键技术手段和方法进行了较为深入的分析.指出了指挥实体建模与仿真在应用和技术手段上的发展趋势.     

控制棒及其传动装置模拟的误差分析

从建立数学模型入手 ,对控制棒及其传动装置模拟环节所产生的误差情况进行了定量的理论分析 ,并对误差产生的原因、处理的方法提出了意见     

柴油机燃油喷射系统故障的数值模拟计算

采用数值模拟的方法对燃油喷射系统的工作过程作了简要的理论分析 .以典型的 135型柴油机燃油喷射系统为研究对象 ,在合理假设的基础上 ,建立了燃油喷射系统的数学模型 ,并应用特征线法和改进欧拉法 ,对其工作过程进行了初步的数值求解计算 ,模拟了燃油喷射系统部分常见故障时的工况     

营房实力综合数据分析技术

在营房系统中,营房实力主要包括个人基本情况及住房情况、家属住房情况两大类的知识。营房住房标准分为:按标准住房、超标准住房、未达标准住房、无住房。结合营房实力数据的基本特点,充分利用了先进的数据仓库技术,在数据挖掘和商业智能服务等方面作了深入的探讨,通过营房实力知识对数据进行归类统计,提出了基于知识的统计系统,建立了营房住用多维数据模型和个人住房情况多维数据模型,实现了对营房住用情况和个人住房情况等营房数据的多维分析。     

测量TOA和DOA的单站无源定位跟踪可观测条件

单站无源定位跟踪技术中,可观测性分析是一个关键问题,但是由于TOA测量方程的非线性程度太高,直接通过计算Jacobin矩阵得到的可观测矩阵形式非常复杂,很难得出明确的分析结果。采用新的思路推导了一种TOA测量方程的线性化方程,分析了测量TOA和DOA单站无源定位的可观测条件。最后给出了计算机仿真结果。     

基于单基地嵌套MIMO雷达的联合角度和多普勒频率参数估计

为了提升单基地MIMO雷达中角度和多普勒频率的二维参数估计性能,通过在单基地MIMO雷达的接收端和发射端进行嵌套阵列设计来实现阵列自由度的提升.通过利用隐含在目标结构中的时延特性来实现对多普勒频率旋转不变关系的构建.通过构建三阶张量模型来实现对阵列接收数据空时特性的充分利用.最后,通过利用三线性迭代最小二乘平行因子算法...     

利用软件仿真的方法研究信号完整性问题

通过软件仿真的方法研究了信号完整性问题中的信号反射。以实例的形式给出了一种利用仿真估计电路临界频率的方法。在设计开发的早期,利用软件仿真可以得到非常有价值的信息。     

非磁性建筑物空间磁场预测技术

提出了一种预测非磁性建筑物空间磁场分布的新技术.基于等效宏观磁导率和磁化率的概念,利用静磁场积分方程法的正演计算和反演计算技术,找出了试验模块磁场测量值与非磁性建筑物空间整体磁场之间的关系.通过试验模块测量和数学模型仿真相结合的手段,达到了预测低磁钢筋混凝土结构非磁性建筑物空间磁场分布的目的.     

振动矩形机翼非线性绕流数值研究

发展了可用于模拟包含运动边界的非定常流动的数值方法。该方法采用非结构动网格技术并构造了一种MUSCL类型有限体积格式,求解考虑了动网格效应的三维非定常Euler方程。非结构网格的变形运动由弹簧近似技术实现。用上述方法计算了作正弦振动的矩形机翼非线性绕流,计算结果与实验结果吻合,得到了流体运动与固体运动耦合的非线性流动特性。计算表明,该数值方法具有较好的精度和可靠性,完全可用于气动弹性或其他流固耦合问题的数值模拟。