CMP1协议的符号模型检验分析

提出采用模型检验方法研究电子商务协议的非否认性与公平性问题,建立了认证电子邮件协议CMP1的有限状态机模型,并用SMV检验工具对其非否认性与公平性进行了分析检验,经过分析发现了CMP1协议不满足公平性并对其进行了相应修改.结果表明,利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的.     

基于MIMO的信号检测技术在宽带数据链中的应用

分析了多输入多输出系统中空分复用和空时分组码的解码算法,提出了一种空分复用和空时分组码相结合的方案,探讨了这种方案的解码算法并对该算法进行了仿真验证.结果表明,这种方案的BER性能在高信噪比时要好于其它方案,因而可以应用到需要高传输速率以及高链路可靠性的宽带数据链中.     

用故障树分析法排除柴油机监控系统故障

对某型舰艇柴油机监控系统运行中发现的三个故障现象,应用故障树分析法,构筑相应故障树,在此基础上进行逐项测试检查,最终完成了故障定位,修理后成功地排除了所有故障.     

偏磷酸铝在Cf/AL 复合材料中的应用

以高模高强石墨纤维Ｍ４０Ｊ增强铝基复合材料为研究对象,研究了真空液相压渗工艺中,偏磷酸铝粘接剂对纤维预制件抗压性能及复合材料力学性能的影响。结果表明：偏磷酸铝的含量、Ａｌ／Ｐ原子比及处理温度对预制件的抗压性能均有显著影响,加入５％偏磷酸铝粘接剂溶液的预制件,经５００°Ｃ处理后的抗压性能满足压渗要求,纤维保持了较好的平直度及分布均匀性,所制备的复合材料抗拉强度大于５００ＭＰａ,抗弯强度大于８００ＭＰａ     

非匹配摄动系统协方差矩阵的定界估计

基于Ｌｙａｐｕｎｏｖ 稳定性理论,在系统矩阵及噪声输入矩阵均存在非匹配摄动的一般情形下,研究随机系统稳态状态协方差的定界估计问题,通过求解两个代数Ｒｉｃｃａｔｉ方程,给出了该协方差矩阵上下界的估计式,并提供了一个说明性算例     

舰船尾部振动分析整船混合有限元模型的集成方法研究

对舰船尾部振动分析中整船混合有限元模型的集成方法进行了研究．通过对现有的几种集成方法进行分析、比较,提出了一个较为简便、易于操作的集成方法,并用于对某型舰尾部振动的实例分析中,得出了满意的结果．本文结论可推广到采用整船混合有限元离散模型对舰船总体振动和局部振动的分析计算中．     

训练保障系统经费分配模型研究

讨论了影响训练保障费用分配的因素,明确了训练保障费用分配的原则,给出了训练保障费用分配的模型．     

常规潜艇柴油机排气系统集水箱功能探析

剖析了常规潜艇柴油机排气系统中的最新设备——多功能集水箱的作用、工作原理,进而对它的推广应用及发展前景作些展望．     

一种用AR模型参数自适应检测瞬态信号的新方法

本文研究AR 模型参数特征用于瞬态信号自适应检测的问题。本文依据AR 模型参数矢量长度为特征检测信号的思思,提出了一种具有良好地自适应抑制噪声扰动的参数估计方法,弥补了LS、SVDT 方法的不足。理论分析和实验结果均表明,本文的方法具有很好的AR 模型参数估计和瞬态信号检测性能。     

YFT77 向量语句的实现

本文提出了通过源语言到中间语言的变换进行语言扩充的方法。这种方法已用来在YFT77中扩充向量语句,实践证明,这是一种有效、可行的途径。