内含定理证明器的程序开发系统

提出了一个基于重写技术的程序开发系统,它提供了扩展的函数式语言和代数规约语言相结合的混合语言,该语言中引入了优化规则和测试等式说明机制．优化规则用于优化代码和满足某些特殊需求．运用测试等式说明机制可使程序员在程序中给出一些用于测试的等式,对程序进行测试,这些测试是在被开发系统形成前进行的．对优化规则和测试等式的证明,是由系统中的证明子系统（定理证明器）完成的．定理证明器的引入,提高了所开发系统的正确性,并且有利于缩短系统的开发周期．     

企业对专利工作的漠视情况严重

十年的企业专利工作,虽然企业专利申请呈明显增长,呈逐年上升趋势,但与国外发达国家的企业相比,我国企业专利技术工作总体存在的差距甚大,企业对专利工作的漠视情况严重。 (1)全国500家国有大中型企业专利综合情况的调查结果显示: 设有专利工作机构的占62％,有相当一部分未设立的占38％;在科研或新产品规划时,制定专利开发的仅占31％;设立专利开发基金的只占34％;引进国外技术的占79％;引进国外专利技术的占62％;比例较大。 (2)上海市专利法实施情况调查表: (3)目前,我国一年申请专利只有     

遗传算法在复杂结构离散优化中的应用

本文利用遗传算法ＧＡ处理离散非凸问的优势,提出将序列二次规划法,改进的外罚函数法与ＧＡ法结合,并提出了进行可行性调整的新策略,从而为复杂结构离散优化建立了一种新的方法。     

富SA牺牲型涂料的设计与研究

炼制具有适度活性的铝锌多元合金（ＳＡ）颜料,开展牺牲型涂料新品种的设计与研究,创造出颜料体积浓度不超过临界颜料体积浓度的性能优异的环氧富ＳＡ牺牲型涂料新品种。     

商品在线销售适合度的模糊聚类分析

针对判断何种商品适合于在线销售这种电子商务模式的问题，从经济性和搜索成本两个方面构建了定性理论评价指标，并采用模糊聚类分析方法将其转化为定量分析方法；然后选用了6种典型的商品以验证方法，实践分析的结果征明了方法的有效性；最后，进一步探讨了在线销售这种电子商务模式的创新问题，从而为发展网上销售这种电子商务模式子求科学依据和理论基础。     

乙烯一步氧化法制乙醛过程的实时优化方法

本文讨论了乙醛生产过程的实时优化,提出了以乙醛的收率作为优化目标,建立优化模型来调整操作参数以提高乙醛收率.优化模型基于2个软测量模型,它们被实时校正以准确反映实时过程状态.实践表明实时优化的有效性,在总体上提高了乙醛收率,带来了可观的经济效益.     

生态农业在克拉玛依农业开发中的应用分析

通过对克拉玛依3．33万hm^2生态农业开发项目的建设规模、项目建设方式和开发中重要环节进行详细分析，认为该项目因地制宜提出以林业为导向，贸、工、农、牧一体化，应用节水农业，保护和改善生态自然环境，大力发展养殖业，以经济效益为目标，兼顾生态效益和社会效益的生态农业发展方向，高起点、高标准，既继承了传统农业的精华，又吸收了现代科学技术，运用了生态经济学和系统工程方法，为今后发展高效生态农业基地，起到示范作用。     

基于约束规划的焊接车间多资源约束调度研究

为求解焊接车间多资源约束调度问题,以最大完工时间最小化为目标,根据该问题特性首先建立了该问题的混合整数规划(MIP)模型,然后提出了求解该问题的约束规划(CP)模型.在该CP模型中,以区间变量和顺序变量为决策变量,使用累计函数建立共用焊机约束以及峰值功率约束.通过使用CPLEX的CP引擎对具体实例进行求解,验证了该模型的可行性和有效性.试验结果表明:在最大完工时间变化不大的情况下,可以有效控制峰值功率.     

强冲击作用下金属界面物质喷射与混合问题数值模拟和理论研究

当强冲击波从金属自由面反射时通常会发生微喷射现象,气体环境下,喷射颗粒将与气体相互作用而形成物质混合.微喷射与混合是战略武器研究中的关键和难点问题,亦是冲击压缩科学与工程领域研究的前沿和热点问题之一.作者与合作者长期从事金属微喷射与混合问题理论和数值模拟研究,取得了一系列研究进展.本篇评述简要介绍我们围绕微喷射物理机制与影响因素、理论建模以及气粒混合问题开展的数值模拟和理论研究工作,以及取得的研究成果.主要包括以下几个方面:(1)微射流喷射数值模拟与理论建模;(2)微层裂破碎数值模拟与机理分析;(3)微喷混合数值模拟与动力学规律.     

基于随机有限元方法的机械结构可靠性评估

采用随机有限元方法研究复杂载荷条件下某机械结构组件的可靠性特性.考虑工作状态和运输状态,获取组件的载荷特性及其计算模型;利用Ansys软件建立组件有限元分析模型,分析不同工况下组件的静力学和动力学特性,包括应力应变、固有频率、振型、风载静响应以及随机振动响应分析等.基于拉丁超立方抽样的蒙特卡洛方法,将载荷和材料的屈服强度作为随机输入变量,利用随机有限元模型评估风载和路面载荷交互作用下组件的可靠度.在此基础上,分析影响结构可靠性的灵敏度参数.结果表明,该方法能够有效地评估动态工作环境下结构件的可靠性特性,为此类系统的可靠性设计提供理论依据.