基于有色Petri网的综电系统总线建模

针对运用解析法对战车电子系统总线进行建模和分析困难这一问题,运用CPN Tools工具构建了基于有色Petri网的综合电子系统总线模型,建立了总线性能仿真平台,对某型战车总线性能进行了分析。结果验证了基于CPN的战车综合电子系统总线建模的正确性与可行性。     

SET协议的可追究性分析与改进

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.     

防空火力单元射击有利度计算方法研究

针对现代防空作战火力分配的实际需要,在确定防空火力单元可射击系数的基础上,对影响防空火力单元射击有利度的指标进行分析,结合防空作战的实际情况,介绍了计算射击有利度的一般步骤。该算法有效克服了传统射击有利度算法的不足,较好地实现了射击有利度的计算。     

基于贝叶斯方法的舰船辐射噪声估计

对于潜艇战和反潜战来说,目标的噪声特点和噪声等级是进行声纳作用距离估计的一个重要参数。为了对不确定水声战场环境中的舰船辐射噪声进行有效估计,运用贝叶斯方法分别对正态分布和均匀分布的辐射噪声作了最小均方误差估计和最大后验概率估计,对不同情况下的舰船辐射噪声的估计提供了一种可靠的方法。通过这种方法得出舰船辐射噪声一定的统计规律,为指挥员的精确决策提供信息基础。     

基于模糊C-划分和3D小波变换的视频编码方法

在传统矢量量化的基础上,引入噪声模型的影响,结合模糊数学理论,提出了一种基于模糊C-划分的混合噪声模型的矢量量化方法,并将其应用到视频编码中。文中视频编码方法采用了运动补偿与3D小波变换相结合。主要对基于模糊C-划分的混合噪声模型的矢量量化进行了分析。实验结果表明,该方法在视频压缩中具有良好的效果。     

作战飞机型号研制投资效果评价指标体系研究

在分析投入和产出两方面指标选取原则的基础上,建立了适合我国国情的作战飞机型号研制投资效果评价的指标体系结构.根据总的研制目标要求,通过对总体效果进行分解,得到了研制效果评价指标体系,并探讨了各指标的量化方法,为客观系统地评价复杂装备的研制投资效果提供了依据.     

武器-目标分配问题的贪心模拟退火算法

针对已有算法解决WTA问题时存在的缺点,提出将贪心机制应用于模拟退火算法解决该问题的思路,即贪心模拟退火算法;通过合理设置模拟退火算法中冷却进度表的各项参数,提高最优解的质量和求解效率。通过在计算机上仿真运行多个战例取得了良好的分配效果,结果表明该算法运算速度较快,结果精度较高,可为作战指挥自动化决策提供科学、有效的支持。     

作战文书自动生成系统中内容规划的设计

作战文书拟制是 C3I系统中的重要工作 ,利用自然语言生成理论实现作战文书的自动生成可大大提高文书拟制的效率。通过对大量作战文书文本的仔细分析 ,构造出各类作战文书的 Schem a库 ,并以扩充转移网络图表示。遍历该网络图 ,利用 Schema上的修辞谓词从知识抽取相应的知识 ,便可构造出文书内容。     

管道主动消声的次级声源设计

针对柴油机排气的特点,结合有源噪声控制工程应用,提出了两种次级声源的设计方案,经过分析计算,给出了实验用次级声源．     

基于振动信号提取柴油机低频排气噪声特征研究

针对柴油机低频排气噪声的频率与强度很难准确地用理论计算等困难 ,试验研究了柴油机排气管内低频排气噪声信号与排气管壁上振动信号的相互关系 .结果表明 ,低频范围内 ,振动信号与噪声信号几乎呈现周期性的完全相干 ,在相干频率处振动信号能反映排气噪声的类周期性 .