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

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

基于逆向分层的工作流时间-费用优化方法

针对效用网格下基于优先级因子的工作流时间-费用优化问题,基于工作流的同步完成特征对任务进行分层并提出三种实时调度算法:基于逆向分层的sufferage(BLSuff)、基于逆向分层的min-min(BLMin)及基于逆向分层的min-max(BLMax)。算法设计基于优先级因子的衡量标准对时间与费用同时进行优化,并为任务设置期望完成时间以达到充分利用费用优化空间进行费用优化的目标。实验结果表明这三种算法在各种优先级因子下都能对工作流的执行时间与执行费用进行较好的优化。     

一种基于神经网络调整权值的雷达信号识别法

研究了一种基于神经网络训练修改权值的加权M距离法用于雷达信号的识别,通过仿真试验验证了此法的正确性和有效性,并对试验结果进行了分析和讨论。     

Co3O4/CeO2材料的制备及低温氧化CO反应研究

采用沉淀氧化法制备了Co3O4/CeO2催化剂,运用XRD,BET,TPR(程序升温还原)表征手段,考察了不同钴铈比及焙烧温度对钴铈复合氧化物物理及化学性能的影响,分别在干、湿条件下进行了一氧化碳氧化反应研究.结果表明,铈的加入使Co3O4的粒径变小,经723 K温度焙烧制得的钴铈比为91的复合氧化物中Co3O4的平均粒径为9.5 nm,BET比表面积为119.8 m2/g.干燥条件下,Co3O4的活性优于钴铈复合氧化物,而当反应气中存在湿气时,适当比例的铈的添加起到了抑制湿气的作用,较纯Co3O4活性更好.     

当前消防管理体系存在问题及对策

以调研为依据,分析了当前消防管理体系存在的问题。并从进一步建立和完善社会化消防管理体系、善消防力量体系、社会消防保障体系、消防宣传教育体系几个方面,提出了一系列健全和完善消防管理体系的方案。     

舰队CEC系统的对抗方法研究

CEC系统的使用使得舰队真正成为了一个整体,同时使得舰队的作战能力相比以前有了很大的提高.如何与舰队CEC系统进行对抗是未来作战的重要研究内容.在对CEC系统进行介绍的基础上,分析研究了美军舰队的作战方式和其CEC系统的结构特点.通过分析提出了对抗CEC系统的方法和手段.     

多转子-轴承系统虚拟样机建模及仿真

以LMS Virtual.Lab Motion为开发环境建立了某传动箱多转子-轴承系统虚拟样机,导入PRO/E模型文件进行简化,建立实体模型。针对目前所建立的齿轮传动系统虚拟样机过于简化的情况,建立了考虑时变啮合刚度的非线性扭转振动模型。通过组合副和用户自定义程序,实现了齿轮副和轴承端的耦合振动模型。仿真结果表明:通过虚拟样机仿真的方法获得载荷谱是可行的,其可用于深入研究传动箱的振动分析、强度校核和寿命预测。     

X射线衍射仪图谱的定量分析初探

在XD-2型X射线衍射仪分析软件的基础上,制作了Al2O3定量分析所用的内标曲线,并对混合物样品中的物相进行了定量分析,结果和配比值完全一致,说明这种定量分析方法均能运用于多相混合物中物相的定量分析     

截击机作战起飞规划分析

根据截击机在优化的目标分配形式下拦截效果的概率模型,导出了截击机在拦截多攻击机机群时的最优目标分配形式,研究了机场飞机起飞架数与机场战术、技术参数、机场飞机的战术、技术参数以及与攻击机的进攻态势之间的关系,确定了多机场飞机对多攻击机机群进行最优目标分配时所应满足的量化关系,给出的模型可对作战决策过程提供理论依据     

高速磁悬浮列车电磁场的模拟计算

采用有限元法研究了高速磁悬浮列车的悬浮和推进电磁场,重点研究了车辆在不同运行条件下悬浮力和推力的变化规律,并得出了经验公式。分析和计算结果表明,悬浮力和推力的大小与功角有关,并且由于定子齿槽和材料不连续的影响,悬浮力和推力都存在六倍频的波动。