具有正交(g,f)-因子分解的子图

设G是一个图 ,g (x)和f (x)是定义在V (G)上的整数值函数 ,且对任意的x∈V (G) ,设g (x)≤f (x) ,H是G的一个子图 ,F ={F1,F2 ,… ,Ft}是G的一个因子分解 ,如果对任意的 1≤i≤t,|E (H)∩E (Fi) |=1 ,则称F与H正交。闫桂英和潘教峰在文 [3]中提出如下猜想 :设G是一个 (mg+k,mf-k) -图 ,1≤k相似文献   

烧结助剂对碳纳米管增强氮化铝陶瓷结构与性能的影响

采用热压烧结工艺制备了碳纳米管增强氮化铝陶瓷,研究了烧结助剂种类、含量对碳纳米管增强氮化铝陶瓷性能及结构的影响.利用XRD、SEM和TEM等分析测试手段对其相组成,断口形貌和微观结构进行了分析.结果表明,烧结助剂Y2O3+CaF2较YE3+CaF2更能促进碳纳米管增强氮化铝陶瓷致密化,但随烧结助剂Y2O3+CaF2含量的增加,碳纳米管增强氮化铝陶瓷致密度提高,而力学、导热性能下降.     

基于HLA的空战仿真应用

HLA技术是当前仿真的趋势.给出了基于HLA的空战仿真的体系结构、仿真对象模型和联邦对象模型的设计,分析了应用的HLA接口规范.HLA应用于人在回路的仿真要求具有实时性,当前RTI软件却一般不能满足要求,需要以某种方式去解决,给出了一种解决手段.优化了三维显示盟员/数据记录盟员在HLA的应用方法.     

复杂对抗条件下反辐射无人机作战效能分析

在研究反辐射无人机对地攻击的各重要环节的基础上,建立了反辐射无人机作战效能评估模型,分析了火力对抗对反辐射无人机突防概率的影响,详细阐述了电子对抗的方式及作用原理,对实施电子对抗对反辐射无人机命中毁伤概率的影响进行了定量评估,得出了反辐射无人机的作战效能与火力和电子对抗的关系。算例分析表明,火力和电子对抗是降低反辐射无人机作战效能的重要因素,二者联合作用可使其作战效能迅速下降。     

系统与应用相结合 加强科学计算研究

科学计算是计算机学科和应用学科交叉融合的产物。文章阐述了科学计算的内涵和作用,论述了其科学基础和关键技术,及其对高性能计算机技术的挑战,提出了从科学计算应用基础研究和艾级计算机关键技术研究着手,加强科学计算交叉研究和复合型人才培养的思考。     

战时铁路运输油料抢收模拟优化

战时,铁路运输油料抢收是一个受到各种随机因素影响的复杂过程,很难采用数学方法建立模型求解。以运筹学的排队论为建模指导思想,采用GPSSW语言对这一动态过程进行模拟,并对模拟结果进行统计分析,结合实际情况采用优化技术对模拟结果作出改进,从而得到最佳的抢收方案。结果表明,该模拟方法适用于解决此类半结构化问题,可为战时铁路运输油料抢收提供有效的决策支持。     

某型高射机枪机匣校正产生破断的原因分析

某型高射机枪机匣经调质后,在校正时发生破断。采用化学分析和宏微观断口观察等方法,对破断件进行了分析。结果表明,破断件断口上有局部过烧区,且在晶界上形成疏松孔,并伴有严重的氧化。在外力作用下即发生沿晶界脆性破断。     

层次分析法在民用客机项目供应商选择中的应用

本文根据项目评价的一般原则,结合大飞机项目的特点,建立了大飞机项目的评价指标体系,确立了企业能力、服务程度、合作水平等三项指标,设计了大飞机项目供应商选择的程序和方法,并给出了应用范例。     

基于“任务/过程”的作战飞机寿命周期过程模型的建立

在介绍传统过程建模方法的基础上,提出了＂任务/过程＂的概念,详细分析了作战飞机寿命周期过程中任务、过程的具体含义。探讨了作战飞机＂任务/过程＂的图形化描述方法,并将其与IDEF0建模工具结合起来建立作战飞机寿命周期过程模型,详细分析了过程模型中信息的含义,有利于对作战飞机寿命周期费用进行更加有效的控制。     

Branch‐and‐price‐and‐cut for the manpower routing problem with synchronization constraints

In this article, we propose a branch‐and‐price‐and‐cut (BPC) algorithm to exactly solve the manpower routing problem with synchronization constraints (MRPSC). Compared with the classical vehicle routing problems (VRPs), the defining characteristic of the MRPSC is that multiple workers are required to work together and start at the same time to carry out a job, that is, the routes of the scheduling subjects are dependent. The incorporation of the synchronization constraints increases the difficulty of the MRPSC significantly and makes the existing VRP exact algorithm inapplicable. Although there are many types of valid inequalities for the VRP or its variants, so far we can only adapt the infeasible path elimination inequality and the weak clique inequality to handle the synchronization constraints in our BPC algorithm. The experimental results at the root node of the branch‐and‐bound tree show that the employed inequalities can effectively improve the lower bound of the problem. Compared with ILOG CPLEX, our BPC algorithm managed to find optimal solutions for more test instances within 1 hour. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 138–171, 2016