基于多目标模糊决策的混流装配线排序算法

在订单生产环境下的多品种混合装配线排序问题的基础上,建立了三种目标函数:最小化生产周期时间、最小化工作站闲置与超载时间以及最大化平均负荷率.引入了一种基于模糊决策模型的改进后的混合遗传禁忌搜索算法.在求解过程中,计算出所有个体的各个目标特征值的影响度、影响度因子以及相对隶属度,将目标特征值矩阵转化为相对隶属度矩阵,应用模糊层次分析法,计算多目标排序问题中各指标的权重值,用综合评判线性加权平均模型进行评价,构造出相对适应度函数.     

柠檬酸、EDTA、皂素对砷污染土壤的修复效果研究

砷污染已成为一个世界性的严重问题,土壤、大气和水体中的砷正威胁着作物生产和人类的健康,砷污染土壤修复已成为国内外研究热点。铜冶炼工艺中也存在砷污染问题,以江西省某冶炼厂周边一份砷污染严重的土壤为研究对象,通过实验室研究,探索了柠檬酸、乙二胺四乙酸(EDTA)、皂素各自的质量浓度、液土比、萃取时间对其萃取土壤中砷的影响,并进行了原因分析。结果表明:柠檬酸、EDTA、皂素的砷萃取率与其浓度、液土比和萃取时间具有相关性;综合去除能力从大到小依次为50g/L的柠檬酸、40g/L的皂素、30g/L的EDTA,三者分别在液土比为20mL/g、萃取时间为24h时,达到最高萃取率68.54%、61.94%、55.70%。本研究可为砷污染土壤修复提供技术参考。     

铝氧比对DNTF/AP/Al炸药水下能量输出结构的影响

通过水下爆炸实验测定了不同铝氧比炸药的水下爆炸参数和能量参数,分析了铝氧比对该炸药体系冲击波峰值压力、比冲击波能、比气泡能以及能量输出结构的影响,拟合了铝氧比与能量输出结构的关系。结果表明,随着铝氧比的增加,炸药的峰值超压逐渐减小,比冲击波能先增大后减小,铝氧比约为0.3时达最大,比气泡能和气泡脉动周期均一直增大;比冲击波能所占总能量的比例减小,比气泡能比例先增加后减小;控制铝氧比为0.6左右时,炸药的能量利用率最高。     

浅谈电源规范

过去儿年里，在摩尔定律的指挥之下，个人电脑的性能不断提升，功能愈加丰富，同时不断攀升的还有电脑的功耗。电脑功耗的大幅度攀升直接促使了散热系统和供电系统的飞速发展，其中供电系统的核心就是电源。目前市场上常见的有ATX2．03、ATX12V1．0／1．3／2．0等多种电源规范，它们有什么区别?大家购买时应该如何选择呢?     

浅析电源的转换效率

提起PC电源，大家都会想到几个关键词——最大(或额定)功率、电源标准、电源转换效率等等。大家一般对前两项关注颇多，而对电源的转换效率却不怎么在意。其实，转换效率是电源的一项重要技术性能指标。下面，就让我们来认识一下电源的转换效率。     

弹粘塑性模型参数对路堤沉降影响的非线性有限元分析

将广义宾汉姆模型与椭圆抛物线双屈服面模型结合起来,能够较好地反映江苏海相软土的粘、 弹、塑性特征。采用该模型编制非线性有限元程序对路堤沉降进行了分析,讨论了模型中各参数 对计算沉降量的影响。研究表明,c、KG、n是最敏感的3个参数。     

关于Linux的嵌入式操作系统的探讨

本文通过介绍嵌入式系统，linux操作系统，采用linux作为嵌入式系统的原因以及linux嵌入式操作系统的体系结构等几方面，对linux嵌入式系统进行了研究。在此基础上，结合我国国情，指出了在中国开发linux嵌入式系统的必要性。     

强化组合超滤技术处理污染水源水

针对受氨氮和有机物污染的水源水,开展了规模为1.2 m^3/h的在线混凝/生物接触氧化/超滤的强化组合工艺试验。结果表明,强化组合工艺在常温期和低温期时,生物处理池的水力停留时间(HRT)宜分别为70和110 min;当原水中氨氮浓度为1.22~3.38 mg/L时,出水氨氮浓度<0.5 mg/L,常温期和低温期时去除率分别为92%和89%;强化组合工艺对COD(Mn)也有良好的去除效果,进、出水浓度分别为2.88~5.58 mg/L和<2 mg/L;三维荧光光谱分析表明,强化组合工艺对荧光类溶解性有机物也有较好的去除效果。     

交通荷载对场道地基工后沉降的影响分析

基于软土地区民航枢纽机场跑道飞机荷载特点,结合上海浦东国际机场第一跑道6年多的沉降观测数据,定量分析交通荷载对场道地基工后沉降的影响.采用对数曲线模型描述场道地基在恒载条件下的工后沉降规律,并用跑道竣工后尚未通航期间的沉降数据标定模型参数,跑道运营期间的恒载沉降与实测沉降的差值可视为交通荷载作用下的场道地基工后沉降.分析表明,在该跑道通航第5年,交通荷载作用下的场道地基工后沉降占工后总沉降量的比例达 31%,且这一比例最终将超过50%.这说明今后应在场道软土地基设计中充分考虑交通荷载对工后沉降的影响.     

代码生成器形式化验证技术研究

代码生成器已经广泛应用于嵌入式控制软件的开发。对于安全攸关的软件系统,对软件可靠性有很高的要求,代码生成器作为工具软件被要求与所生成代码有相同的可靠性,形式化验证方法可有效保证代码生成器的可靠性。本文介绍了用于构建形式化验证代码生成器的方法,针对Lustre到C的代码生成器给出Lustre和C的抽象语法,并定义Lustre到C翻译过程的语义保持性。