Theoretical Study on Novel Refrigerant Mixture R1270/R152a/R13I1

A new refrigerant mixture,R1270/R152a/R13I1,is proposed as a substitute for R22 in this paper.The thermophysical properties of this environment-friendly mixture and its refrigeration system performance are theoretically analyzed with the software Refprop 8.0.The results show that the COP and the unit volume refrigerating capacity of the system with the new refrigerant mixture is equivalent to those with R22 under the standard working condition.Under the variable working condition,the temperature glide of th..

Type system in programming language Gödel

中文摘要：Gödel 语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种 新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Gödel 语言的类型系统及其构造，对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。 英文摘要：Gödel is a declarative logic programming language. It is based on first order logic with a polymorphic many-sorted type system. Having a strong declarative semantic Gödel can be used to realize abstract data types and programming in modules. The type system was introduced and the function of the type system in a logic programming language was discussed

农村安全供水工程建设与管理

农村安全供水工程与农民群众的日常生活和生产联系十分紧密,为了推动新农村的建设和发展,相关部门需要重视农村安全供水管理工作,提升供水能力,还要加强对农村供水工程建设的关注,提升农民群众的生活质量。基于此,文章阐述了农村安全供水工程的相关内容,分析了农村供水工程建设中存在的问题,对农村安全供水工程的建设与管理进行了研究。</jats:p

一种基于有限精度时间自动机的模型检测工具

基于有限精度时间自动机模型,实现了一种新的数据结构&mdash;&mdash;&mdash;SDS,用SDS符号化表示状态空间的实时系统模型检测工具,并进行了初步的实验分析,取得了良好的效果

一种高盐度稀土湿法冶炼废水中有机污染物的电解处理工艺

本发明公开一种高盐度稀土湿法冶炼废水中有机污染物的电解处理工艺，其主要步骤为：(1)废水除油；(2)废水pH调节及混凝沉淀去除重金属；(3)废水的氯气预氧化处理；(4)废水的电解处理；(5)废水的还原与絮凝沉淀处理；(6)废水的活性炭过滤处理。本发明针对高盐度稀土湿法冶炼废水中有机物的难降解特性，通过电解作用及其产生的氯气的强氧化作用对其进行分解矿化，实现废水的达标排放

一种利用铜尾矿制备水泥的尾矿资源化处理方法

本发明公开了一种利用铜尾矿制备水泥的尾矿资源化处理方法，混合含水率为50％的铜浮选尾矿和固化剂，混合质量比为3∶7，固化剂由水泥熟料、硫酸钙和外加添加剂按质量比80～90∶3～12∶7～8混合，所用添加剂为硫酸铝、硫酸铁和高岭土按任意配比组成，机械混合尾矿和固化剂8～10min。混合后的固化块前体在养护湿度为95％，温度为25±1℃的条件下养护。制成的水泥块强度28d抗压强度大于42.5MPa，28d抗折强度大于6.5MPa，满足矿渣硅酸盐水泥42.5R级水泥强度要求；尾矿水泥安定性、凝结时间等水泥性能指标均符合《普通硅酸盐水泥标准》(GB175-2007)，养护形成的水泥块重金属浸出量满足《危险废物鉴别标准-浸出毒性鉴别》(GB5085.3-2007)标准。该发明既可以处置铜选厂尾矿使铜矿企业达到尾矿零排放目的，又可以回收尾矿用作建筑材料，达到回收利用尾矿的目的。本发明具有原料易得、成本低、效果稳定、操作程序简单等优点