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

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

关于加强河流生态流量管控的思考

在分析生态流量内涵的基础上,提出了生态流量管控概念内涵;从生态流量管控层次和管控要素两个方面来分析生态流量管控需求:提出了生态流量管控指标体系和需要建立的生态流量管控制度.     

推进河湖强监管的认识与思考

我国河湖问题突出,长期积累,解决难度大。以河长制湖长制为抓手,强化河湖监管,调整人的不当行为,从根子上解决河湖突出问题,是水利行业强监管的突破口,也是打赢河湖管理攻坚战的根本举措。分析了强监管是维护河湖健康的现实需要,提出利用河长制湖长制平台强化河湖监管,并对确保河湖治理取得实效提出具体建议。     

制度创新是实施国家节水行动的关键

针对近年我国节水制度建设取得的进展,对照党的十九大提出的新要求,提出实施国家节水行动必须强化节水制度的约束力,加快推进节水立法,加强节水统一管理,强化用水主体节水责任和义务,用严格的法律制度规范全社会节水行为;创新节水激励机制,形成促进高效用水的制度体系,用科学合理的激励机制促进节水,不断增强全社会节约用水的内生动力。     

液压挖掘机闭式回转制动的研究

主要研究国内挖掘机设计回转制动系统中,由开式系统如何设计改进为闭式系统,从而提高挖掘机生产率和回转制动各零部件寿命。     

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

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

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

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

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

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

慢性粒细胞白血病树突状细胞对T细胞增殖作用的研究

目的　体外诱导慢性粒细胞白血病 (CML)患者外周血单个核细胞 (PBMCs)为树突状细胞 (DCs) ,并对其形态、表型及对T细胞刺激增殖作用进行研究。方法　利用GM CSF、IL 4、TNF α体外定向诱导生成树突状细胞 ,对所诱生的细胞进行细胞表型及形态检测 ,用D FISH方法检测所诱生DCs的白血病源性 ,应用MTT法检测所诱生的DCs刺激T细胞增殖的能力。结果　CML患者PBMCs在体外可诱导生成bcr/abl融合基因阳性的DCs(CMLDCs)。CMLDCs对自体T细胞有明显刺激增殖作用 ,而CML细胞无此作用。CMLDCs刺激同一异体T细胞增殖能力弱于正常DCs,但当培养体系中加入 30 0U/ml干扰素 α(IFN α)时可使其刺激能力接近正常DCs。结论　CMLDCs具有刺激自体及异体T细胞增殖的能力 ,但对异体T细胞的刺激作用弱于正常DCs,IFN α可提高CMLDCs刺激T细胞增殖能力     

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

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