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

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

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

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

省军区抓好经济动员准备需要解决的问题

省军区抓好经济动员准备,应形成相对准确的军事需求数据和保障能力,解决好军事需求的“迷雾”问题;要建立长效机制,完善数据库建设,注重培育经济动员能力,解决好经济潜力的“黑箱”问题;要加大人才培养力度,搞好军地协调,解决好预案编制“粗略”的问题。     

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

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

解析结构模型在军队信息化建设中的应用

文章将军队信息化建设顶层结构中错综复杂的因素看作一个大系统及五个分系统,利用系统工程分析方法中的解析结构模型,分析了各系统中要素间的可达与邻接关系,划出多级递阶结构,进而描述了各要素之间的相互关系,找出影响军队信息化建设发展的根本要素,并对目前军队信息化建设面临的主要问题给出了相关的策略措施。     

军营文化经济学刍议

文章界定了军营文化的供给主体和需求主体,并用经济学的相关理论对影响军营文化供给和需求的相关因素进行了分析。     

军人保险供求平衡分析

供求矛盾是军人保险的基本矛盾。为实现军人保险的供求平衡,必须分别从军人保险总平衡、军人保险需求平衡与军人保险供给平衡三个方面寻求理论与现实路径。     

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

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

Ka频段卫星通信的信道特性及系统性能仿真

在Ka频段卫星通信系统中,大气、降雨、闪烁会引起地空链路信道质量的恶化.详尽分析了Ka频段卫星通信信道的电波传播特性,重点分析了降雨对减弱信号效率,增加接收系统噪声温度及改变信号极化方向等的影响,在此基础上建立了Ka频段卫星通信信道及Ka频段卫星通信信道模型仿真模型,并在Matlab环境下对Ka频段卫星通信信道模型的BER性能进行了仿真,为卫星通信链路分析及抗雨衰对策提供了理论依据.     

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

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