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吗?"     

隐性教育在理工科院校人文素质教育中的作用浅析

隐性教育的生活实践性与非预期性，决定了它必定会在理工科院校的人文素质教育中发挥无法替代的作用。笔者认为，理工科院校应当以健康向上的富有特色的校园文化为依托，以高素质的教育者为核心，以高校自身的发展与社会的发展同步为背景，利用多种途径和形式构建以学生接受为根本的隐性人文素质教育体系，切实提高人文素质教育的实效性。     

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

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

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

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

SEVERAL PROBLEMS IN DESIGNING DBS SYSTEMS FOR AIRBORNE PULSE DOPPLER RADAR

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

作业车间动态调度研究

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

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

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

思想教育接受论

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

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

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

统一外包过程控制的方法与途径探讨

文章阐述了统一单机产品技术状态,明确单机产品责任人和组批外包方案,将研制任务书和产品数据包以及过程控制等产品保证要求同时提供给供方,为供方批量生产、一次就把工作做好提供基础。通过采用过程验证和现场验收相结合的方式对产品质量进行把关等方面,研究探讨对外包过程控制的方法和途径,以保证产品满足要求。