武器装备全寿命费用分析及管理措施研究

分析了现代武器装备全寿命费用 (L CC)分析研究现状 ,美军对现代武器装备进行 L CC管理过程 ,并与我国的武器装备管理作了对比 ,阐述了现代武器装备效能 -费用分析方法和 L CC分析方法 ,最后提出现代武器装备 L CC管理的三点措施     

高超声速风洞热化学非平衡流场辐射谱的数值计算

以轴对称的热化学非平衡N -S方程为控制方程 ,采用双温度 11组元反应气体模型 ,数值求解高超声速热化学非平衡流场。在此基础上 ,采用“线—线”精细辐射模型计算流场的辐射谱特性 ,在 0 15～ 2 μm区间计算了40 0 0 0个光谱分布点处的辐射发射、吸收系数 ,得到了高焓风洞实验条件下的流场辐射光谱分布及该条件下主要辐射组元NO的辐射光谱分布。计算表明 ,振动温度对辐射有重要影响     

关于半鞅向量随机积分的两个结果

首先利用半鞅Girsanov定理与闭图像定理证明了:若{Xn}是带滤基的完备概率空间(Ω,F,F,P)中的一列半鞅,其中滤基F=(Ft)t≥0满足通常条件,且{Xn}在关于P的Emery拓扑空间中收敛于X,则当概率测度Q相似文献   

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

布尔函数的Walsh谱绝对值分布及其性质研究

提出并研究了布尔函数的Walsh谱绝对值分布.指出布尔函数Walsh谱绝对值分布在仿射变换下的不变性,计算了n(n≤5)元布尔函数的Walsh谱绝对值分布,研究了Walsh谱绝对值分布与Walsh谱支撑和Walsh谱中非零取值个数以及其他一些密码学难题的联系,最后研究了布尔函数的Walsh谱绝对值分布的大小.     

一种快速有效的步进频率测速方法

步进频率信号由于存在距离-多普勒耦合现象,目标的径向运动将导致合成的目标径向一维距离像产生距离徙动和波形失真.提出步进频率共轭法测速,可以利用一个步进频率脉冲串实现超大范围的速度无模糊测量,避免了常规方法的速度模糊或模板数过多计算复杂的问题.这种方法可以利用快速傅里叶变换实现,计算量小,降低系统实现的复杂度,是一种实用有效的步进频率雷达测速方法.     

改进的SIR宽阻带微带带通滤波器设计

利用一种改进SIR谐振器设计交叉耦合微带带通滤波器,实现对滤波器谐波响应的进一步抑制。在此谐振器内部引入SIR谐波抑制结构,并给出了宽阻带滤波器的仿真结果。该滤波器具有较宽的阻带特性,从f0到2.8f0间的抑制约为30 dB以上;从2.8f0到5.3f0间的抑制约为20 dB以上。这种简单的谐波抑制结构既不改变原有滤波器的结构,又不需要更高精度的制作工艺,具有较强的实用性。     

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

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

基于构件的C4ISR系统体系结构设计环境

体系结构设计是C4ISR系统总体设计的重要组成部分,其设计内容包括一系列的基本产品和支持产品,这些产品以图形、文字、表格的方式提供给用户.提出了一种可定制和重组的体系结构设计环境,以满足不同的体系结构设计需求.     

ARM系统中对CAN控制扩展的实现方法

基于ARM技术的处理器已经普遍应用于工业控制、汽车电子等各个领域.CAN总线也已广泛应用于这些领域,但大多数常用的ARM9系列芯片还没有在片内集成CAN总线的控制器,使得不得不在板级进行扩展.选用飞利浦的SJA1000器件作为CAN总线控制器在ARM系统中进行扩展,给出了两种通过总线扩展的实现方法,即通过CPLD转换时序的方法和双周期读写模拟方法,并对后者的实现方法做了详细论述.最后对CAN总线Linux下的驱动移植做了简要介绍.