Deriving all minimal consistency-based diagnosis sets using SAT solvers

In this paper, a novel method is proposed for judging whether a component set is a consistency-based diagnostic set, using SAT solvers. Firstly, the model of the system to be diagnosed and all the observations are described with conjunctive normal forms (CNF). Then, all the related clauses in the CNF files to the components other than the considered ones are extracted, to be used for satisfiability checking by SAT solvers. Next, all the minimal consistency-based diagnostic sets are derived by the CSSE-tree or by other similar algorithms. We have implemented four related algorithms, by calling the gold medal SAT solver in SAT07 competition – RSAT. Experimental results show that all the minimal consistency-based diagnostic sets can be quickly computed. Especially our CSSE-tree has the best efficiency for the single- or double-fault diagnosis.     

CO2驱不同阶段采出气分离工艺模拟研究及回注效果评价

CO2-EOR（enhanced oil recovery）采出气目前多采用回注或管输的方式进行处理,而由于CO2含量较高且不同阶段波动较大,往往不满足管输的要求。本文基于Aspen HYSYS软件设计并优化了混合胺溶液法和低温分离法的CO2分离工艺流程,针对现场实例优选了工艺参数并对CO2分离效果进行了评价,另外对比了不同采出气成分的回注效果。结果表明：对于CO2驱开发早期采出气（CO2含量30%左右）,醇胺吸收法具有良好的分离效果;而随着开发中后期采出气中CO2含量增加,结合低温分离法是更为经济有效的分离方式。此外,提纯后的CO2回注的混相效果明显优于采出气直接回注。     

地方特色在餐饮空间的体现——大椰丰饭中华广场店的餐厅设计

作为主题餐厅,应运用各种手段来凸显所表现的主题,建筑设计与内部装饰是其重要组成部分.文章主要阐述了"大椰丰饭"中华广场店的餐厅设计.     

信息技术课程教学初探

掌握信息技术是对现代学生的一种基本要求。学生通过对计算机的学习了解信息技术及具有运用信息技术解决实际问题的意识与能力,是我们信息技术教学工作的重中之重。本文从激发学生学习信息技术的兴趣,采用适当的教学方法,强调教学内容的合理性及合理安排实践教学这四个方面探讨如何上好信息技术课,培养学生的信息素质,提高教学质量。     

挡板改善KR法脱硫搅拌效果的数值分析

为了改善KR法脱硫搅拌效果,本文在铁水罐内添加控流装置,并应用Fluent软件,采用VOF模型对罐内的搅拌流场进行了数值分析,研究了挡板的布置方式、数量与宽度对流场特性的影响。结果表明,铁水罐内设置挡板能够抑制中心漩涡的形成,扩大脱硫剂颗粒在罐内的分散区域;布置4块高度为铁水罐高度1/2、宽度为铁水罐直径1/10的短挡板时,罐内的强制涡流区基本消除,铁水罐底部仍保持较快的流场速度,搅拌效果最佳。     

杭州市排水系统改制工程规划设计原则的探讨

本文陈述了合流排水管道系统分流化的重要意义和实现分流化的困难。作者认为,我国城市如果按照原有排水系统的设计原则进行排水系统的现代化建设,是有可能把原有的合流系统改变为分流系统的。杭州市的具体情况说明这一设想是可行的。     

TGS 中的一种逻辑电路模型及预处理

讨论了逻辑电路测试生成系统（简称ＴＧＳ）中使用的一种模型数据及预处理方法．用简单的表格描述了电路的网络结构，给出了测试生成所需要的数据．并通过对数据进行预处理，加速了测试生成过程，提高了整个系统的效率     

Study on the reaction of carbon disulfide with hydroxyl radical in aqueous solution

Carbon disulfide is an important sulfur-containing compound in the environment, and its oxidation produces about 30% of the atmospheric COS[1]. In situ measure- ments show that CS2 is widespread in the sea surface wa- ters[2―4], and more recently, the continental water seems to be especially rich sources of CS2 due to industrial waste- water effluents. It is generally accepted that the ocean is an important source for atm. CS2, and Xie et al.[5] found that marine photochemical reaction of…     

汕头大学有线广播的几项新功能

本文主要论述汕大有线广播创新并使用的几项新功能的电气原理．其中有自动节目转换系统，防火播音系统，广播钟信号控制系统，远距离信号传输和自动控制．这些新功能使有线广播更加严密，更加完善，使用效率大大提高，形成一个有机信号网络和广播网．在汕头大学使用中已经取得良好效果，可在新建高校中推广并可作老高校广播站改造的参考．     

微机地图印前处理实验研究与分析

通过微机地图印前处理实验，阐述了计算机辅助设计地图制版的基本原理与方法。