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

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

基于有限精度时间自动机模型,实现了一种新的数据结构———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)标准。该发明既可以处置铜选厂尾矿使铜矿企业达到尾矿零排放目的，又可以回收尾矿用作建筑材料，达到回收利用尾矿的目的。本发明具有原料易得、成本低、效果稳定、操作程序简单等优点

一种回收酸性矿山废水中铁/铜资源的分步沉淀工艺

本发明公开了一种回收酸性矿山废水中铁/铜资源的分步沉淀工艺，本方法可用于酸性矿山废水重金属去除和废水中铁和铜的资源化回收。分三步沉淀处理酸性矿山废水，第一步调节废水pH至3.8，第二步选择性沉淀废水中的铜，第三步调节废水pH至8.5，处理后出水中重金属含量满足《污水综合排放标准》和《铜、钴、镍工业污染物排放标准》。分步沉淀产生三种具有回收价值的沉淀渣即：铁质量分数为46％-51％的含铁沉淀渣、铜质量分数为11％-13％的含铜渣和锰、锌质量分数分别为6.4％和8.7％的混合沉淀渣