基于XML的安全协议形式化描述方法

针对安全协议的设计与分析复杂且容易出错的问题,文章为编写一个自动验证工具提出一种基于XML(eXtensible Markup Language)语言的时间相关安全协议形式化描述方法。该方法将安全协议用树状结构表示,用XML语言进行描述,为简化安全协议的形式化分析提供了帮助。     

静电放电抗扰度试验中辐射场若干特性的试验研究

国际标准IEc61000-4—2中对静电放电抗扰度试验方法和试验布局进行了规定,但是对间接静电放电（ESD）产生的辐射场没有进行描述。根据标准IEc61000—4—2,首先对水平耦合板和垂直耦合板放电时垂直耦合板上的场分布进行了分析,然后对几种医疗设备进行静电放电抗扰度试验。试验得出：1）对两种耦合板放电时,水平耦合板上电场强度和磁场强度随测试距离的变化趋势不同;2）试验结果对ESD模拟器的种类有着依赖关系。这些结果为研究电子设备静电放电抗扰度试验新方法、新标准和新的试验平台及诊断评估方法提供了参考依据。     

模糊时滞系统控制器依赖于状态时滞的H∞控制

针对一类非线性时滞系统,研究了该系统基于T—S模糊模型的H∞控制器设计问题。采用线性矩阵不等式LMI的方法,设计一个依赖于状态时滞的模糊控制器,得到了系统存在模糊控制器的充分条件,此充分条件等价于一类线性矩阵不等式的可解性,最后通过仿真说明了控制器的有效性。     

装备维修性增长及其基本过程研究

为了解决当前装备的维修性问题,揭示维修性发展的一般规律,进行了维修性增长的研究。首先阐明了装备维修性形成与演变的一般规律,继而提出了维修性增长的概念,重点研究了维修性增长的内涵与增长的一般过程,最后对解决增长问题所需的模型进行了分类,为增长技术的深入研究奠定了基础。     

新型管压传感器的研制及应用

针对目前外卡式管压传感器存在的问题,设计制作了一种新型外卡式ICP（Integrated Circuit Piezoelectric）型管压传感器。利用该传感器采集了柴油机高压油管压力信号,通过对测试信号的无延时实时滤波、去趋势项和归一化处理,实现了柴油机转速的准确计算;通过时域波形的分析,提取了4个喷油特征点。研究结果表明：该传感器具有使用方便、性能可靠和测试准确的特点。     

非线性时滞系统模糊控制的一种新方法

针对一类状态变量具有时滞的非线性系统,研究了其模糊控制器的设计问题。采用线性矩阵不等式（LMI）的方法,设计了与状态变量导数有关的模糊控制器,得到了系统存在模糊控制器的充分条件,并利用线性矩阵不等式的解给出具体的形式,最后通过仿真说明了控制器的有效性。     

基于筹措供应中心的装备器材保障研究

将先进的物流理论和供应链管理思想应用于装备器材保障中,阐述了建立装备器材筹措供应中心的重要性,构建了基于筹措供应中心的装备器材保障体系,设计了基于筹措供应中心的器材保障物流网络和器材保障信息管理,探讨了该模式下装备器材保障体系的运作机制,从而实现了装备器材保障管理的系统性和集成性,提高了装备器材保障的时效性和敏捷性。     

基于人员素质差距的装备保障训练需求分析过程研究

针对目前新型装备缺乏系统规范的保障训练需求分析方法的问题,借鉴国内外训练和培训需求分析的理论和方法,基于人员素质差距,建立了我军装备保障训练需求分析过程模型,并结合案例对过程的实现步骤进行了说明,增强了训练需求的针对性和合理性。     

基于随机Petri网的装甲车辆综合电子系统可靠性研究

由于装甲车辆综合电子系统具有耦合性强、动态离散和复杂度高的特点,其难以采用静态故障树方法进行系统可靠性分析,针对这一难题,运用动态故障树方法对系统可靠性进行了分析判别,并运用随机Petri网建立了故障树的仿真模型。以某型车辆为例,通过仿真实验得出了综合电子系统的故障率和可用度指标的动态变化曲线,其分析结果为系统可靠性与测试性设计提供了理论参考。     

拥抱集体智慧的时代——为国防科技大学智库成立而作

人类文明进化的历史,是从对抗走向合作、从个体智慧走向集体智慧的历史。集体智慧呼唤智慧管理,智库应运而生。国防科大成立智库,旨在汇聚甄别智慧、激发加工智慧、推广应用智慧。因为人类各民族的贫富悬殊、强弱分化,关键不在智慧的盈和缺、多和少,而在智慧的用力处是否得当。