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

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

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

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

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

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

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

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

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

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

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

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

截击机作战起飞规划分析

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

小波阈值技术在图像降噪中的应用研究

通过对图像的小波变换系数进行阈值操作，可以有效降低噪声，同时又较好地保持图像细节。在文章中详细讨论了这种小波阈值降噪技术，并给出了在此种降噪方法中阈值选取的几种方法。由实验结果可以知道此种小波阈值方法是一种有效的图像降噪方法。     

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

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

A metaheuristic scheduling procedure for resource-constrained projects with cash flows

Resource-constrained project scheduling problems with cash flows (RCPSPCF) are complex, combinatorial optimization problems. Many heuristics have been reported in the literature that produce reasonable schedules in limited project environments. However, the lack of a heuristic that dominates under differing project conditions can lead to a suboptimal choice of an appropriate heuristic for scheduling any given project. This may result in poor schedules and monetary losses. This paper reports on the application of the tabu search metaheuristic procedure for the RCPSPCF. Strategies for neighborhood generation and candidate selection that exploit the special features of the problem are combined with a simple multiheuristic start procedure. Extensive experimentation, with multiple data sets and comparison with an upper bound, indicates a significant improvement, both in project Net Present Value (NPV) as well as the number of projects, where the metaheuristic outperforms the best known heuristics in the literature. More specifically, this procedure produces the best schedules in over 85% of the projects tested, in contrast to the best single-pass heuristics which have been shown to dominate in at most 20% of the same cases. This iterative, general purpose heuristic is able to adapt significantly better to the complex interactions of the many critical parameters of the RCPSPCF than single-pass heuristics that use more specific information about each project environment. © 1999 John Wiley & Sons, Inc. Naval Research Logistics 46: 912–927, 1999