Energy‐efficient scheduling for sustainable manufacturing systems with renewable energy resources

Environmentally friendly energy resources open a new opportunity to tackle the problem of energy security and climate change arising from wide use of fossil fuels. This paper focuses on optimizing the allocation of the energy generated by the renewable energy system to minimize the total electricity cost for sustainable manufacturing systems under time‐of‐use tariff by clipping the peak demand. A rolling horizon approach is adopted to handle the uncertainty caused by the weather change. A nonlinear mathematical programming model is established for each decision epoch based on the predicted energy generation and the probability distribution of power demand in the manufacturing plant. The objective function of the model is shown to be convex, Lipchitz‐continuous, and subdifferentiable. A generalized benders decomposition method based on the primal‐dual subgradient descent algorithm is proposed to solve the model. A series of numerical experiments is conducted to show the effectiveness of the solution approach and the significant benefits of using the renewable energy resources.     

New inequalities for finite and infinite group problems from approximate lifting

In this paper, we derive new families of facet‐defining inequalities for the finite group problem and extreme inequalities for the infinite group problem using approximate lifting. The new valid inequalities for the finite group problem include two‐ and three‐slope facet‐defining inequalities as well as the first family of four‐slope facet‐defining inequalities. The new valid inequalities for the infinite group problem include families of two‐ and three‐slope extreme inequalities. These new inequalities not only illustrate the diversity of strong inequalities for the finite and infinite group problems, but also provide a large variety of new cutting planes for solving integer and mixed‐integer programming problems. © 2008 Wiley Periodicals, Inc. Naval Research Logistics, 2008     

大椭圆停泊轨道月球探测器发射窗口运动学约束特性分析及转移轨道快速设计方法

通过分析大椭圆停泊轨道月球探测器发射窗口的运动学约束特性,给出了转移轨道运动学约束对发射窗口的影响规律,进一步明确了在该种情况下月球探测器的发射机会和增加窗口的可能性.并结合发射窗口运动学约束特性,提出了一种基于大椭圆停泊轨道的地月转移轨道快速设计方法.仿真结果验证了大椭圆停泊轨道下探测器发射窗口运动学约束特性分析的正确性,以及转移轨道设计方法的有效性.     

一种改进的事件驱动系统框架

在给出事件驱动系统安全漏洞的基础上,指出了产生漏洞的根本原因是:系统忽视了输入系统的事件序列之间存在的相关性;系统无条件信任任何事件源产生的事件.针对这两个原因,相应提出了事件序列形式安全分析模型及基于事件源的可信度评估模型,依据这两个模型,构建了一种改进的事件驱动系统框架.     

冲压增程弹进气道设计方法与性能分析

以冲压增程弹为应用背景进行了进气道设计.结合增程弹的特点,讨论了轴对称进气道中心锥参数、喉道参数、外罩参数的选择.特别对进气道唇口处参数、扩张段角度设计方法进行了分析.设计了单锥混压式、单锥外压式以及双锥混压式三种进气道,并进行了数值模拟.分析了进气道主要设计参数对其性能的影响.数值结果表明,就增程弹的性能要求而言,双锥混压式进气道的性能较高.     

二代战机加改装超视距武器系统的效能评定

针对二代战机加改装超视距武器系统的效能评定问题,通过对现代空战典型过程的分析,结合Lanchester方程,探讨了加改装超视距武器系统后,超视距作战效能和近距格斗效能的变化及其对战机整体作战效能影响的评估方法,提出了兵力增益的概念并推导了相应公式,仿真算例说明了该方法的实现过程.公式简洁易用,对该项工作的效能评定有一定指导意义,对研究其他武器装备加改装效能的评定方法也有一定参考价值.     

压制武器火控系统信息化流程设计思想

火控系统是压制武器信息化的关键组成部分,根据信息化战场的特点和需求,探讨了压制武器火控系统的流程设计思想,提出了火控系统的设计宜采用"消息-响应"机制和离散的服务型使用流程的思想,以及以指挥层次划分成员分工,并在人机界面设计上贯彻离散服务型流程的观点.根据信息化流程的设计思想,提出了对火控系统的基本使用要求.     

多架战机协同作战信息融合系统的设计

简要介绍了CEC的发展背景,给出了一种基于CEC技术的多架战机协同作战多传感器信息融合系统的设计,较系统地阐述了信息融合硬件模型结构及功能,并分析了多机协同作战面临的主要问题,多机协同作战的关键技术以及将来可能的应用,指出了多机协同作战的研究方向,为空军多机协同作战的进一步深入研究提供参考.     

攻防对抗的无人作战飞机效能评估系统

高技术条件下的战争,是武器装备体系之间的对抗,而针对单一武器对抗的仿真或试验无法用来描述其在高技术战争中的实际对抗效果,因此需要开发多种战术综合运用的武器体系对抗仿真环境.对基于攻防对抗的无人作战飞机系统效能评估系统进行了系统结构分析,然后对主要仿真分析系统详细分析与建模,最后给出了一个SEAD仿真实例的部分效能分析结果,对仿真系统进行验证.     

基于混合遗传算法的拦截弹道优化方法

传统的遗传算法中,交叉和变异样本的选择直接影响算法的收敛.通常根据工程实际需求调整交叉和变异样本的选择概率来提高遗传算法运行的有效性和防止早熟现象的发生.将传统的单纯形搜索算法与遗传算法相结合,提出了一种混合遗传算法,并在算法中增加了加速循环操作,提高遗传算法在求解优化问题特别是工程应用中的有效性,以便优化拦截弹道.数学仿真结果表明该方法能够有效地解决迎面拦截弹道问题.