基于循环子空间理论的线性系统测试矩阵优化

研究了线性定常系统在循环指数大于1(即其约当标准形不同的约当块有重根)的情况下测试矩阵的优化方法.以循环子空间相关定理的证明为基础,根据根向量链的相关特性,得到了测试向量的线性和与系统观测性的直接关系,给出了在保证系统可观测性的同时,使得测试代价最小的测试矩阵优化方法.算例表明,提出的方法简单直观,对配置测试向量具有良好的工程价值.     

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

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

价值与成本:军队组织文化的一种经济学分析范式

文章运用经济学研究的核心范式——成本收益理论对军队组织文化进行了深入细致的分析,揭示了军队组织文化的价值收益,提出军队组织文化成本约束假说。认为,军队选择特定的军队组织文化是在军队组织文化成本这一约束条件下实现其最大收益的结果。     

关于军事通信系统顽存性及最低限度通信能力若干问题的研究

本文根据现代高技术战争信息动广泛的特点和规律,阐述了军事通信系统关键性系统特性的概念,重点探讨了系统顽存在,最低通信能力和最低限度通信能力的基本含义,在此基础上,围绕“打赢”和“三打三防”,分析了对军事通信系统生存能力的需求,最后提出了最低限度通信能力的评估方法。     

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

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

新型聚合物水泥砂浆的研制

为解决地下坑道、海港码头及建筑工程的防腐、防水、防盐碱等防护问题,通过对成品乳液进行改性,使乳液在水泥中极易分散,能有效地使聚合物与水泥水化产物及砂、石形成有机整体。以此保证聚合物水泥砂浆具有较高的抗渗性及粘结强度。其结果证明了这种方法的有效性和实用性。     

一种计算相控阵天线阵元间距的方法

通过建立机会约束规划模型来确定相控阵天线的阵元间距,并利用遗传算法对规划模型进行求解,结果表明能够满足仿真的要求。     

装备互用性若干问题研究

互用性是联合作战的基础,是装备系统构成体系的纽带或黏结剂,随着信息化的发展互用性问题已经成为制约部队联合作战能力的关键因素。尽管互用性是两个或两个以上装备之间的一个关系特性,但有互用关系的单个装备本身要具有互用的能力。实现互用性的模式基本上分为点对点的方式和以网络基础设施为基础的方式。互用性的论证分为两个层次的论证,一个是体系级的论证,一个是系统级论证,系统级互用性要求来自于体系级互用性要求。加强对装备互用性研究对于提高部队联合作战能力具有重要现实意义。     

边界扫描测试仪软件系统开发

边界扫描是一种正在被人们普遍接受的可测试性设计技术 ,在电子设备测试和故障诊断中发挥着越来越重要的作用。本文介绍了开发的边界扫描测试仪样机的工作原理 ,并着重论述了其软件开发的几个重要问题。     

二维时变电磁场第一边值初值问题广义解的存在与唯一性

在频率为１０１０以下的情况下,给出了由正弦交变电流引起的二维时变电磁场所对应的偏微分方程,并用非线性算子半群理论及单调算子理论证明了相应偏微分方程第一边值初值问题广义解的存在与唯一性．