干扰解耦的鲁棒性

本文基于系统的状态空间模型,对于利用动态输出反馈,完成干扰解耦的情形,给出了鲁棒干扰解耦的条件。     

事件驱动过程链在军事信息系统建模中的应用

要实现军事信息系统的合理设计必须进行有效的系统建模.通过分析事件驱动的过程链(EPC)和Petri网的特点,提出两者相结合的建模方法,着重研究了基于EPC的系统过程描述方法,在EPC模型中引入组织描述和数据流描述,并分析了控制流、数据流相结合的结构合理性验证方法.设计实现了系统建模工具,并通过实例介绍建模过程,验证方法...     

向时间自动机转换的军事电子信息系统性质验证

日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果.     

作战信息需求模型

研究了作战信息需求的概念、需求分析流程及描述方法,提出了作战信息需求的概念模型、逻辑模型和过程模型。概念模型界定了作战信息需求的相关概念及层次关系;逻辑模型描述了作战信息需求的内容;过程模型分析了作战信息需求的演化过程。     

一类参数激励与强迫激励并存的非线性振动系统的分叉

本文用Ｌｉａｐｕｎｏｖ—Ｓｃｈｍｉｄｔ方法研究了同时受参数激励与强迫激励作用的非线性振动系统的亚谐分叉问题,用奇异性理论确定了等价意义下的分叉方程的形式,导出了必需的分叉系数,求出并且分析了１／２—１／２亚谐共振分叉方程的普适开折,画出了各个结构稳定域及分叉集上的响应图。     

利用化学键能评估火箭推进剂的能量特性

本文介绍利用化学键能评估火箭推进剂的能量特性的方法     

可见光助Fenton体系降解芥子气机理研究

以联吡啶铁为催化剂,采用光助Fenton体系在可见光照射条件下（λ〉450nm）降解芥子气。考察了不同反应条件下的降解效果,通过EPR分析确定了反应过程中产生的高活性物种,利用GC—MS和NMR等方法分析了反应的产物,跟踪了反应过程中TOC的变化,并根据实验结果研究了芥子气光催化降解的反应机理。     

化学毒剂及相关化合物的色谱及质谱分析检测研究进展

介绍了当前对毒剂及相关化合物的色谱及质谱分析检测研究进展和发展趋势。仪器设备方面,气相色谱-质谱联用仪仍是主力仪器：但对热不稳定性及难挥发性化合物来说,用液相色谱-质谱来分析则更为合适;发展现场可用的、便携式鉴别技术和设备也是一个发展趋势。分析化合物方面,不能局限于附表化学品,应该积极开展对毒素及毒物与生物体加合物等复杂化合物的分析研究。样品基质方面,应该展开对新型消毒剂样品及生物样品的研究。     

OPCW第18次水平考试土壤样品的GC—MS分析

报道了OPCW第18次水平考试样品的处理方法和GC-MS分析检测结果．在土壤样品申检出3个化武公约核查化合物,检测结果与配样清单完全一致,并解释了目标化合物的质谱碎片．     

清末民初的军国民教育思潮的兴起及其衰落

军国民教育思潮,其实就是培养广大群众的尚武精神,提高其军事素质,以反抗外来的军事侵略和国内封建统治的镇压,尔后逐步发展为各级学堂(学校)的军事训练和体育运动。这一思潮的兴起,对于西方先进体育的传入中国,起了积极的推进作用。本文考察分析了这一思潮在清末民初兴衰的历史过程。