多目标混合流水车间调度问题求解算法

针对多目标不相关并行机混合流水车间调度问题,建立以最小化最大完工时间、机器总能耗和机器加工成本为目标的多目标数学模型。提出一种改进的基于分解的多目标进化算法（Improved multi-objective evolution algorithm based on decomposition,IMOEAD）,采用均匀设计表生成初始权重向量,提高种群多样性,利用正态分布交叉并设计了自适应高斯变异来提高算法的全局搜索能力和局部搜索能力,在权重向量邻域中选择个体产生新解,运用非支配等级和拥挤距离更新外部档案。以反世代距离、世代距离和非支配解个数为性能指标,通过大量案例仿真,与非支配排序遗传算法Ⅱ和基于分解的多目标进化算法进行对比,结果验证了该算法的有效性。     

自动飞行模式转换逻辑的形式化建模与验证

自动飞行控制系统（Automatic flight control system,AFCS）是现代飞机中重要的安全关键系统之一,飞行引导控制系统（Flight guidance control system,FGCS）是其重要的组成部分。FGCS中的飞行模式有数十种,模式转换逻辑十分复杂,在各个模式间转换时易出现模式混淆等问题,难以对其安全性和正确性进行验证。而利用计算机科学中的形式化方法,通过对安全关键系统进行形式化建模和验证,可以提高系统的正确性和安全性。本文以典型FGCS中的自动飞行模式转换逻辑作为研究对象,采用自主研制的软件工具ART(Avionics requirement tool)对其进行形式化建模与验证,并与Matlab/Simulink中的Design Verifier工具进行了验证能力和效率的对比分析。实例研究结果表明,采用形式化方法对FGCS的自动飞行模式转换逻辑进行建模、验证可行,所研制的软件平台具有更完善的验证能力和更好的验证效率。     

我国重型火箭已完成深化论证

正全国政协委员、中国航天科技集团一院原党委书记梁小虹在全国"两会"期间接受采访透露,目前,我国的重型运载火箭已完成深化论证,如果一系列关键技术实现突破及相关工作进展顺利,15年内有望实现首飞。这将大幅提升我国自主进入空间的能力。在科研人员的蓝图中,重型运载火箭箭体直径近10米,全箭总长近百米,运载能力是现有火箭运载能力的5倍多,超过正     

那一段缭绕如烟的往事

能在书店书架上遇到《烟醉》这样的小说．我实在是有些惊喜交加。大环境中环保和健康观念的强势．使得我已经多年没见到对于烟的真切体验描述。中国有着3．5亿烟民．虽然拥有这么庞大的基数．但在烟的问题上却是个异常沉默的群体。绝大多数时候．我都只能在忍受家人唠叨的同时苦笑着怀念林语堂先生的句子：“独坐在沙发上抽烟．看烟头白灰之下露出红光,微微透露出暖气．心头的情绪便跟着那蓝烟缭绕而上．一样的轻松．一样的自由。转眼缭烟变成缕缕的细丝．慢慢不见了．而那霎时．心上的情绪也跟着消沉于大千世界……”     

飞机结构制造中质管质量的定量评估与监控技术探讨

在论述飞机制造过程中质量管理的质量对飞机结构耐久性影响与制约的基础上,提出采用紧固孔原始疲劳质量来描述质量管理的质量,形成了可供工程应用的评估与监控要求和方法.解决了如何定量评估和监控质量管理的质量难题,为确保交付服役的飞机结构拥有足够的耐久性提供了理论依据.     

CO2气体保护电弧点焊的应用

因受空间条件等原因限制无法采用电阻点焊而改用CO_2气体保护电弧点焊。这种电弧点焊要求采用较大的电弧电压,并把焊接电流控制在适当的范围内,焊接时间不宜太长,并有适当的回烧时间。将半自动保护焊机改装成全位置和电弧点焊两用机,并使控制部份能满足CO_2电弧点焊程序的自动控制。     

莱布尼兹定理的推广

对交错级数审敛法中的莱布尼兹定理进行了推广。     

tpd图形库在Auto CAD中的实现和应用

标准tpd图库采用特定的数据结构建立图形符号的数据文件 ,使每个图形能够迅速准确地以相应的图像显示于屏幕 ,有效地实现了AutoCAD中对大量图形符号的查找 ,并给用户提供一个图文并茂的友好的工作界面     

仪表着陆系统下滑信标台的场地保护——兼论《国家标准GB6364-86》的严密性

做好航空导航台站的电磁环境保护,是确保导航设备正常运行的一个重要手段,本文以仪表着陆系统的下滑信标台为例,论述了辐射信号的反射区、保护区场地平整及要求等。