semantic oriented ontology cohesion metrics for ontology-based systems

Ontologies play a core role to provide shared knowledge models to semantic-driven applications targeted by Semantic Web. Ontology metrics become an important area because they can help ontology engineers to assess ontology and better control project management and development of ontology based systems, and therefore reduce the risk of project failures. In this paper, we propose a set of ontology cohesion metrics which focuses on measuring (possibly inconsistent) ontologies in the context of dynamic and changing Web. They are: Number of Ontology Partitions (NOP), Number of Minimally Inconsistent Subsets (NMIS) and Average Value of Axiom Inconsistencies (AVAI). These ontology metrics are used to measure ontological semantics rather than ontological structure. They are theoretically validated for ensuring their theoretical soundness, and further empirically validated by a standard test set of debugging ontologies. The related algorithms to compute these ontology metrics also are discussed. These metrics proposed in this paper can be used as a very useful complementarity of existing ontology cohesion metrics.

基于时序逻辑证明编译优化程序变换的保义性

基于时序逻辑CTL(computation tree logic)的一种扩展CTL-FV对优化编译中的语句交换和变量替换这两种常见变换的保义性条件给出了形式刻画,采用含条件重写规则定义了保义语句交换Texch和保义变量替换Tsub,并基于一种归纳证明框架对它们的保义性进行了证明.此外,基于变换Texch对程序基本块内保依赖语句重排的保义性也给出了一种构造性的证明.

含空值关系数据库中关系代数的实现

本文从空值的完全语义出发,依据空值环境下信息等价和信息相容的含义,全面定义了空值环境下运算结果完备的关系代数运算,并对空值环境下关系代数运算的有效性和完备性进行了讨论。

含有空值关系数据库的查询处理

本文在深刻理解空值语义的基础上，给出一种处理占位型空值的方法。讨论了空值环境下关系数据库的查询策略，定义了含三种查询操作的关系代数最小完备集中的关系代数运算，并对查询计算的有效性和完备性进行了分析。

广西合山固体废弃物制备地质聚合物胶凝材料

Geopolymer gelatinous material was prepared by ferroalloy slag (signed with NKT in laboratory) and circulating fluidization bed slag (CFB slag, signed with NM in laboratory) produced from Heshan city, Guangxi zhuang autonomous region, China. The mechanical properties of the geopolymer made of high content ferroalloy slag can reach the standard of 42.5# portland blastfurnace-slag cement, and it’s processing technology is more simple and not need of mill and burn and will not produce harmful gas. By means of chemical and XRD analyses, it is concluded that NKT is a kind of acidity water-granulated slag with better activation and fit to be activated by alkali activators. Low-cost industrial gypsum (signed with NG in laboratory), analytic reagent oxide(signed with NH in laboratory) and sulfate(signed with NS in laboratory) were selected as alkali activation in the experiment. The results showed NH is a good alkali activator for NKT. Both NH and NG can activate ferroally slag’s activities, but NS can’t alone. The activation effect of superimposing activation of NH and NG excel by separateness. Based on those experiments, optimization compounds were carried out: (1) NKT: NH: NG = 80: 10: 10 and (2) NM: NKT: NS: NG: NH = 10: 70: 2: 8: 10。. The soundness of the test blocks is good by boiling examination. Through XRD, SEM, IR, NMR analyses of geopolymer, the reaction mechanism of geopolymer prepared by alkalescent activating in solid wastes was discussed in the thesis first. It is point out, there is difference in reaction mechanism between traditional geopolymer preparation and the preparation of alkalescent activating solid wastes because NG is a industry product. There is the similar process of depolymerization and reunion of Si-O bond. The latter preparation process generate new subtance but the former doesn’t. In the experiment, we found a performance of NKT that the water requirement of normal consistency of geopolymer reduces with increasing content of NKT. The result shows NKT has some ability to reduce water requirement. The performance is worthy of further research and utilization. Making use of solid wastes to prepare geopolymer, not only can settle environment problem caused by a great deal of dump of NKT, but also settle the shortage of natural resources. Moreover it could take economic, environmental and social benefits and settle thoroughly contradiction in the environment protection and regional economy development and promote circulation economy development.