一种基于Petri网模型的系统动态安全性分析方法

针对目前安全分析方法通常只能给出导致系统失效的事件发生序列,而对系统运行过程中的一些时序、动态等因素考虑不足等问题,提出了基于Petri网模型的系统安全性动态分析方法,并结合系统状态可达树,建立了系统动态安全性分析模型,得出导致系统失效的所有可能事件的序列及其发生概率.最后,以实例验证了该方法的可靠性和有效性.     

AHP在大型船舶动力系统总体性能分析中的应用研究

针对大型船舶动力系统总体性能各指标重要度排序的问题,提出了一种通过建立层次分析模型以构造二元对比判断矩阵的分析方法,可以将大型船舶总体性能各指标间原本错综复杂的模糊关系相对明确地表示出来,且对各指标的相对重要程度进行了较为准确的排序.并以实例介绍了该方法的应用.     

电磁信息泄漏研究及进展

分析了电磁信息泄漏的机理,介绍了电磁信息泄漏的发展历史和趋势,阐述了电磁信息泄漏的基本概念和主要研究内容。针对P89C668单片机实现的DES密码系统,采用差分电磁分析的方法对其进行密码破译实验,获得了DES第16轮48 bit子密钥。     

某弹药通用规范军用标准编写的研究

本文重点针对某弹药通用规范国家军用标准（以下简称标准）的论证和编制问题做了一些探讨。     

基于振动烈度的柴油机供油系统断油故障检测方法

研究了振动烈度的相关方法和理论,以WD615柴油机供油系断油故障诊断为例,通过各缸断油时振动烈度值与正常状态下振动烈度值的比较分析,验证了利用振动烈度进行发动机供油系统故障诊断方法的正确性。     

发动机配气机构振动信号时域分析

对康明斯6BT5.9型柴油发动机配气机构产生的振动信号进行了时域分析,采用振动加速度峰峰值作为判定发动机配气机构技术状态的特征量,并采用多通道信息融合技术实现配气机构的故障诊断。     

自适应权值的嵌套式轮循调度算法

服务质量是目前网络应用研究的一个热点.采取何种队列调度算法则是确保服务质量的关键因素之一.针对NDRR算法不能很好地满足实时业务队列突发情况下的延迟性需求,提出了自适应权值的嵌套式轮循调度算法.当实时业务队列处于突发情况时,能够实现动态增加其权重.理论分析表明该算法有较好的公平性,并能降低实时业务队列的延迟上界,且算法的复杂度为O(1).仿真结果表明,该算法明显改善了突发状态下实时业务队列的延迟性能.     

新型含N杂环化合物用作润滑油添加剂的多效性能

考察了一种新型含N杂环化合物用作润滑油添加荆时的多效性能.合成了该新型含N杂环化合物,利用元素分析、傅立叶红外光谱和核磁共振波谱对该化合物结构进行了表征,又通过热重试验、四球试验、抗氧化试验以及铜片腐蚀试验考察了其热稳定性及作为润滑油添加剂对润滑油的抗磨及抗氧抗腐性能的影响.结果表明:加入1%的该添加剂后磨斑直径较基础油降低30%～50%,高温氧化的热失重温度较T202提高约20～25℃,且具有较好的抗腐蚀性能.因此,该新型含N杂环化合物用作润滑油添加剂时具有高热稳定性、抗磨、抗氧及抗腐等多效性能.     

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

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

基于虚拟仪器的航空电子设备检测系统设计

设计了一种基于虚拟仪器技术的航空电子设备自动化检测系统。详细介绍了系统软硬件的结构和功能。说明了通过程序、配置文件管理系统硬件,实现软件的仪器无关性的方法。并讨论了用数据库和文本文件定义被测设备的数学模型,从而实现检测系统与被测设备分离的方法。由于从检测系统和被测设备两方面实现了检测的通用性,对检测系统的升级换代和扩展检测新型机载设备具有重要意义。