复杂作业模式下车间生产调度的建模与优化

针对某航天制造企业的实际生产环境,分析和讨论了复杂作业模式下车间生产的调度问题,并根据实际的业务流程建立了数学模型,通过自动调度与人工调度相结合的方法对其进行优化,最后采用实例对调度结果进行了验证.事实证明,这种调度机制可以同时增强系统的灵活性和稳定性,对提高车间生产效率和管理水平有很大帮助.     

矩阵组织在民用飞机批生产联络工程管理中的应用研究

阐述了组织行为学中关于组织结构与组织结构变革的概念,介绍了职能型组织结构、项目型组织结构和矩阵型组织结构及其优劣势。基于民用飞机批生产阶段的生产属性与要求,提出了对联络工程组织架构提出优化的需求,通过系统梳理联络工程专业职能,建议突出批生产飞机按照"架次"组织生产制造的特点,强化架次管理构建矩阵型组织结构,以提高民用飞机批生产过程中联络工程对生产制造现场工程技术问题的响应能力和效率,保障生产活动按计划开展。     

SEVERAL PROBLEMS IN DESIGNING DBS SYSTEMS FOR AIRBORNE PULSE DOPPLER RADAR

ＳＥＶＥＲＡＬＰＲＯＢＬＥＭＳＩＮＤＥＳＩＧＮＩＮＧＤＢＳＳＹＳＴＥＭＳＦＯＲＡＩＲＢＯＲＮＥＰＵＬＳＥＤＯＰＰＬＥＲＲＡＤＡＲＹＡＮＧＪｉａｎｈａｎｇ（杨建航）（ＤｅｐａｒｔｍｅｎｔｏｆＡｅｒｏ－ＥｌｅｃｔｒｏｎｉｃＥｎｇｉｎｅｒｉｎｇ,ＡｉｒＦｏ...     

单发引气防冰构型的适航影响分析

适航条款要求"必须通过分析确认,飞机在各种运行形态下其各种部件的防冰是足够的",这就要求民机试飞中必须验证单发引气防冰时的飞机防冰能力。简要介绍了引气防冰的基本工作原理,通过对某民机两种单发引气防冰构型的研究,分析了试飞过程中可能出现的问题,并着重从适航验证角度对两种构型的差异进行了剖析。结果显示在不同防冰构型下,单发引气防冰的引气需求有较大差异,这也说明在飞机初始设计阶段就应充分考虑适航条款对单发引气防冰功能的需求。     

K-L问题的解决

复杂性研究中的一个重点问题是非一致复杂类的测度问题.Aldman已经证明了BPPP/poly,而Kannan证明了EXPSPACEP/poly.本文提出逼近接受的概念,用来讨论K-团问题的非一致复杂性.本文中使用了模型论的方法,证明了K-团问题P/poly,co-NPP/poly和NPP/poly.因此,本文解决了Karp和Lipton(K-L)提出的开问题:"NPP/poly吗?"     

作业车间动态调度研究

系统地研究了动态环境中受多种资源制约的多目标作业车间批量调度问题,提出了一种新调度算法。该算法采用基于周期和事件驱动的调度策略将动态调度过程分成多个连续静态调度区间,然后在各区间内采用多目标的遗传算法优化调度方案。本文讨论了再调度周期的确定方法、待加工工件的选取原则、批量生产的处理方法等。针对研究的调度问题设计了包含工序及其加工机床、工人、运输小车信息的染色体编码,并对染色体的解码方法、选择方法、交叉方法和变异方法进行了研究。仿真结果表明,该算法可行,优越性明显。     

基于支持向量机的武器装备批量生产经济性分析

对常规熟练曲线建模方法和支持向量机模型用于某型武器装备的批量生产经济性分析进行研究,着重分析了应用支持向量机进行批量生产经济性分析的具体形式以及方法特点,并给出了应用实例,结果令人满意。     

运载火箭增压输送系统用电爆管特性及验收方法改进

对运载火箭增压输送系统用电爆管的主要特性及参数进行介绍,通过一系列摸底试验,逐步完善出一套电爆管验收方法,并结合进几次批产验收经验,提出后续批产验收建议。     

思想教育接受论

接受是思想教育的关键、最终目的和归宿，思想教育接受主体的内在结构是动力因素、能力因素和调控因素的有机统一。思想教育接受机制的创建是思想教育的关键。思想教育要取得实效，必须遵循思想教育接受的规律。     

抗代间污染攻击的网络编码签名方案

为适应实时应用的需求,网络编码中引入了代的概念.针对网络编码易受代间污染攻击导致消息发生串扰的问题,提出了基于代标识符的网络编码签名方案.首先,方案中设置了依据代标识符生成的两级私钥,包括代私钥以及在此基础扩展成的消息私钥,以便节点判断消息的代属性来决定是否对它继续进行编码;其次,利用双线性对构造了具有同态性质的签名算法,通过分离两级私钥进行批验证,节点可同时验证同一代的所有消息.最后,通过随机预言模型分析,证明了该方案在适应性选择消息攻击下是安全的.通过开销分析表明方案能有效减少验证开销,提高系统性能.