加入WTO对水利发展的影响及对策思考

加入WTO，对我国水利发展的影响主要表现在对政府行为和行业管理、水利投融资体制、水利基础设施建设、水利工程建筑市场、供水和水电市场、水利企业及工程管理单位的影响。为应对WTO的机遇与挑战，我们要积极研究对策，加快水利事业的发展。     

沙蚕毒系农药复合制剂研究及前景

从本世纪四十年代初使用有机杀虫剂以来,昆虫的抗药性发展速度十分惊人,即使是杀虫作用机制不同的新杀虫剂也难避免害虫的抗药性。人们通过多年使用化学药剂发现重复使用单一杀虫剂,害虫繁殖十至十二代后就会明显地表现出抗性。同时,同一种单一杀虫剂在同一地区连续使用三至五年,最多到十年左右该地区就会出现害虫的抗药性品系。为了对付自然界有害生物对化学药剂的严重挑战,人们纷纷研究对策,其中重要决策之一就是把单一杀虫剂开发成为复合制     

延长预焙阳极使用周期的研究与应用

通过分析延长预焙阳极使用周期的途径、阳极消耗的影响因素以及预焙阳极生产工艺状况，确定通过提高预焙阳极的质量来延长其使用周期，研究制定并详细论述了改善预焙阳极质量的具体工艺改进措施。阐述了改进预焙阳极工艺后取得的效果、预焙阳极的质量状况以及为企业创造的经济效益和社会效益。     

基于Mining-SEC方法的电路等价性验证

针对时序电路的等价性验证难题,提出基于Mining-SEC的定界等价性验证方法。将待验证时序电路按时间帧展开为多项式符号代数表示的电路集合,利用时间序列数据挖掘方法挖掘其中的不变量和相应的全局约束,不变量可以是任意多项式。此外还可挖掘电路中的不合法约束和复杂的多项式关系,通过以上方法可以明显降低求解空间。使用基于SMT的验证引擎检验电路等价性。实验结果表明,该方法可以快速地实现验证收敛,得到平均1~2个量级的验证加速,并且可以有效消除虚假验证。     

有限域上基于Grbner基的高级综合优化方法

提出了基于多项式符号代数的高级综合方法,并使用元件库中的元件构建多项式符号代数所表示的数据通路,计算出其Grbner基.利用Grbner基对多项式进行一些基本操作,例如,多变元多项式分解、最大公因式提取、库单元映射等,从而实现了有限域上的数据通路优化.最后进行了算法复杂性分析和实验,实验在SUN工作站上通过调用Maple10来完成,实验结果证实了本方法的有效性.     

小型农田水利工程产权制度改革研究——改革思路及总体框架

<正>党的十八届三中全会明确提出:"完善产权保护制度""鼓励承包经营权在公开市场上向专业大户、家庭农场、农民合作社、农业企业流转,发展多种形式规模经营""允许财政项目资金直接投向符合条件的合作社,允许财政补助形成的资产转交合作社持有和管护"。这些改革精神既对深化小型农田水利工程(以下简称小农水工程)产权制度改革提出了更高要求,也为开展小农水工程产权制度改革创造了良好机遇。针对小农水工程     

水利对粮食生产贡献率的认识与思考

针对目前很多人对农业科技进步贡献率和水利对粮食生产贡献率的不同认识,从发展历程、概念内涵、测算思路方法等方面,剖析了二者差异,认为二者在测算范围上存在大口径与小口径的差异,在测算对象上存在增量与总量的差异,在测算指标上存在产值与产量的差异,在测算方法上存在余值法与有无对比法的差异,为正确认识这两个指标提供了参考。     

100吨电炉自动控制系统设计及改进

本文介绍了安钢100吨电炉两级自动控制系统的设计方案，详细阐述了一级、二级自动控制系统的配置和功能，对于系统运行中出现的问题，提出了改进方案。     

SF_6气体绝缘变压器三维温度场的数值分析

本文详细推导了变压器内三维温度场的数学模型。用该模型对一台SF_6气体绝缘原型变压器进行了温度分布计算。计算结果和实测值吻合较好。用这个数学模型对影响最热点温升与平均温升之比的各种参数进行了计算。结果发现,绕组高度是影响绕组最热点温升与平均温升之比的最重要参数,而层间绝缘厚度,两冷却气道之间的层数只有很小影响。在设计SF_6气体绝缘变压器时必须充分考虑这一点。