利用改进的HBDE算法求解MAX-k-SAT问题

目前,利用进化算法求解组合优化问题已成为智能计算领域中的研究热点。本文基于二进制差分演化算法和动态变邻域搜索相结合提出了一种求解最大可满足问题(MAX-k-SAT)的改进算法(记为IBDE),通过与遗传算法和Johnson算法对一系列随机大规模MAX-k-SAT实例的求解比较表明:IBDE是一种求解MAX-k-SAT问题非常有效的新方法。     

富热厂锅炉燃用省内煤烟煤时安全经济性分析

本文针对富热厂670t/h锅炉,由燃用设计煤种扎来诺尔褐煤,简称西煤,改燃用黑龙江省内烟煤与西煤混烧时,对锅炉安全经济产生了很大的影响。出现燃烧不稳定、参数波动大等问题,通过实际调整燃烧,合理配煤,改变运行方式等方法,初步解决混烧问题。     

PMMA添加量对PVDF-HFP聚合物电解质结构及性能的影响

采用溶剂挥发法,以丙酮和DMF做混合溶剂制备PVDF-HFP/PMMA聚合物电解质,通过X射线衍射、热失重分析、交流阻抗、恒流充放电循环及倍率充放电等测试手段,考察了PMMA的添加量对聚合物电解质性能的影响.研究发现当PMMA的添加量为50%时,聚合物电解质表现出最佳性能,室温离子电导率从0.26 m S/cm提升到1.35 m S/cm,以Li Co O2作正极材料,锂片作负极材料组装的聚合物锂离子电池初始容量从80.1 m Ah/g提升到143.6 m Ah/g,在0.2 C倍率条件下,50个循环后容量保持率还能达到80%,表现出优异的锂离子电池性能.     

基于多重时间序列模型的城市固定资产投资与GDP的动态关系

针对固定资产投资与GDP动态关系的研究,首先采用Granger Causality Test确定固定资产投资与GDP存在因果关系,建立了固定资产投资与GDP的多重时间序列模型,并用Q统计量检验模型的适应性;对模型分析得出,固定资产投资会推动GDP增长,且具有4~5 a的正向滞后作用;最后,分别应用该模型和ARIMA模型预测厦门市2000—2008年GDP值,结果表明,该模型预测误差比ARIMA模型低8%左右.     

电视腹腔镜在胆囊切除术以外的临床应用125例报告

报告胆囊切除术以外的腹腔镜手术１９种１３７例次，治疗患１２５例，均痊愈，包括阑尾切除、胃穿孔修补、胃迷走神经切断、疝修补、胆道探查、肝囊肿开窗、肝部分切除、结肠部分切除等。中转开腹１例，无严重并发症发生，腹腔镜手术优点为损伤小、恢复快、瘢痕小等。对腹腔内多个病灶的治疗更加优越，应逐渐扩大腹腔镜手术种类，但应重视并发症的防治。     

基于IDEA算法的存贮加密系统

分析了计算机系统存贮信息的内部漏洞和外部威胁，针对存贮数据的范围和特点，结合分组密码的杰出代表IDEA设计了一个存贮加密系统，分析表明，此系统具有强大的安全性、可供选择的密钥管理、良好的实时性和可易实现性。     

弹载嵌入式系统设计技术

以红外图像处理系统为背景,应用协同设计技术对红外制导舱嵌入式系统进行了设计.整个设计过程从图像增强算法开始,直至软件的实现,展示了协调、可靠、高效的设计流程.通过应用基于模型的软件建模设计技术,使设计人员构建软件模型并仿真其工作过程,为弹载软件设计提供产品建模、模型管理、性能评估,并具有可重用、可扩展的标准化数字化环境,从而确保产品设计的安全性.     

液压混动系统泵排量控制研究

针对闭式液压回路中变量泵排量控制方法精度较低的问题展开研究,基于泵控系统中伺服阀的脉宽调制(PWM)控制,推导出占空比信号与变量泵排量的线性关系,在AMESim软件平台上搭建了泵控系统仿真模型,并基于试验测试数据对模型进行校核,基于泵控系统模型提出了PID反馈控制、前馈+反馈控制和三步法控制的泵排量控制方法,并进行测试对比分析.仿真结果表明,三步法控制在动态响应及快速稳定方面优于PID反馈控制,相比于前馈+反馈控制,采用三步法控制的泵排量动态响应误差减少了35.5%.     

非研发投入、知识积累与中国制造业绿色创新增长

基于最新发展的SBM-DDF模型,测度2008~2014年中国制造业绿色创新增长指数,并将制造业行业的知识积累异质门槛纳入非研发投入驱动绿色创新增长机理框架,运用改进的动态门槛回归方法,构建非线性动态门槛模型,考察行业不同知识积累门槛下非研发投入对绿色创新的异质影响。研究发现：当前制造业绿色创新增长整体水平较低,存在较大发展空间,且行业异质性显著;大多数制造业行业绿色创新水平在样本考察期内变化没有较大增长,甚至呈现一定幅度下降趋势;总体上,制造业非研发对绿色创新增长起到了显著有利促进效应。随着知识积累水平加强,非研发创新路径驱动机制存在差异,非研发投入对制造业绿色创新增长呈现出明显的门槛效应特征。当制造业知识积累水平位于7.736和9.313“临界规模”时,最有利于非研发路径进行绿色创新。研究为探索促进制造业绿色创新增长的动力来源、路径选择与政策设计提供了有效参考。     

着色Petri网的结构展开方法

为提升着色Petri网的设计分析与模型检验能力,讨论了着色Petri网的结构化展开技术.以着色Petri网的令牌单元和绑定单元为基元,通过对着色Petri网展开为普通Petri网的等价性证明,提出了基于着色Petri网关联矩阵和标准元语言的展开规则和规范化步骤.研究结果为着色Petri网到普通Petri网的自动转换过程和着色Petri网验证提供了有力支持.