基于可计算性逻辑的知识表示与推理

以可计算性逻辑的完备子集CL4为基础进行知识表示, 将知识分为简单知识与一般知识. 通过分析知识库系统的特点和需求, 给出了采用正反向混合推理方法的推理机设计, 并举例说明以CL4为基础的知识库系统, 具有能够表达和查询更细致的知识、 便于用户和系统交互的优点.     

基于集对分析的上下文感知不确定性的推理方法

在上下文感知计算应用中,需要对传感器获取的原始上下文数据进行推理、融合以获取高层上下文信息.利用集对分析(SPA)的思想,提出一种利用同异反向量夹角余弦来对不确定性上下文进行推理的方法.通过对智能空间场景中不确定上下文状态推理的实例分析、比较,表明该方法概念清晰、计算简明,具有较强的实用价值和较高的可靠性.     

ARSM方法的改进及其在冷机两器故障诊断中的应用

目前多数的近似推理都是基于Zadeh提出的模糊关系合成（CRI）的方法,但是CRI本身存在着缺陷．基于相似度度量的近似推理方法可以很好地弥补CRI推理的缺陷,因而目前受到广泛关注．在前人研究的基础上,对基于相似度度量的推理方法提出了改进,提出了对于不同的规则形式,采取不同的近似推理计算方法．故障诊断专家系统是目前研究的热点,以两个具体的推理案例为例说明了新计算方法在冷水机组蒸发器和冷凝器故障工况诊断过程的应用．通过给出的推理案例可知,此种改进的近似推理方法较CRI方法更易理解,且精度较高．     

黄河中下游河道生态需水研究

 根据黄河流域生态需水的特点,将研究重点放在中下游河道,选择黄河中下游及部分支流的主要控制断面研究黄河流域河道内生态需水。以河流水体存在（不断流或干涸）、水生生物完整性以及河流系统的水沙平衡为保护目标,分别计算河道最小生态流量、适宜生态流量和洪水期生态流量,将不同生态流量耦合时间特征计算了全过程生态需水。研究结果表明,黄河中下游河道适宜生态流量、洪水期生态流量和最小生态流量的相对值分别为18%～29%、156%～187%、9%～15%,对应于汛前期（4-6月）、汛期（7-8月）和汛后枯水期（9-3月）的河道生态需水,据此算得黄河中下游流域年生态需水总量占多年平均径流量的35%～43%。从河流生态需水时间特征出发提出的全过程生态需水计算成果,将为黄河流域的水资源合理调度和管理,生态系统保护和恢复提供科学依据。     

黑河中游不同土地利用类型下土壤有机碳时空分布

以野外样品采集、室内分析、GIS空间模拟和遥感等多种研究方法为基础,研究黑河中游不同土地利用类型下土壤有机碳的时空分布及其变化机制.结果显示:TOC,AOC,NOC的空间分布与土地利用类型之间有明显的相关性和差异性.土壤有机碳的极值区和区内土壤有机碳质量分数的分布与土地利用类型之间有很好的对应关系;随着深度的增加,三者的空间变化趋势发生了明显变化.剖面0～100 cm深度,不同土地利用类型下TOC,AOC,NOC的质量分数和分布差异性大.分析发现:土地利用类型变化后,剖面上TOC,AOC,NOC的质量分数发生了显著变化.其中:耕作使TOC,NOC的质量分数明显升高,但由于多次的灌溉淋溶,导致AOC的质量分数降低;而土地沙漠化的过程中伴随着大量土壤有机碳的流失.     

区域经济快速增长阶段生态环境可持续发展敏感性分析

目的。研究陕西省经济快速增长阶段生态环境可持续能力的总体变化态势,以求为制定政策服务。方法。借用气候突变原理．采用Mann—Kendall方法判定陕西省经济快速增长阶段;从生态环境生产潜力、人类活动影响、生态环境效应和社会响应4个主题出发,构建了包含37个指标的陕西省生态环境可持续发展评价指标体系。在主题层内部采用权重积（WP）方法构建了生态环境生产潜力指数等4个主题子指数,然后采用主成分分析方法和相关分析方法对影响各子指数变化的主导因素进行分析,最后采用欧式距离法计算研究区1989—2006年的综合环境生态指数并对其变化态势进行分析。结果。1989。1997年研究区综合可持续发展能力总体保持稳定,略有下降;1997～2006年综合可持续发展能力得到显著提高,特别是2000年西部大开发以来呈现出跨越式的进步,这主要归功于加大社会响应、减小人类活动影响,从而降低了生态环境效应、增强了生态环境生产潜力。结论。区域经济快速发展阶段经济发展对生态环境造成巨大压力,但通过加大社会响应、资源的循环利用,可以实现资源环境的可持续发展。图10,参22。     

Trend of China land water storage redistribution at medi- and large-spatial scales in recent five years by satellite gravity observations

The GRACE (Gravity Recovery and Climate Experiment) satellite gravity mission has provided a new method to study land water mass redistribution at medi- and long-spatial scales in recent years. We estimate continental water mass redistribution in China using GRACE observations during 2003 to 2007. The results show some large regions with increase or decrease of land water mass storage in the central northern region, Tibetan Plateau, the Three Gorges region, the place where Qinghai, Sichuan and Gansu provinces meet, and the Altun Mountains region in the Xinjiang Uygur Autonomous Region. In the first two regions, it is obvious that water (ice) mass storages are decreasing. Water mass in the central northern region decreases at a linear rate of 2.4 cm/a equivalent water height, equal to 5.2 billion cubic meters per year during the five years’ period, and water mass depletion in Hebei Province is ∼ 4.5 billion cubic meters per year in the same period, which is consistent with the average water mass depletion of 4.0 billion cubic meters per year of overused underground water in the recent 30 years estimated by Hebei Province Water Resources Bureau. Furthermore, GRACE can detect the water mass accumulation of ∼ 5 cm equivalent water height within the region spreading over about 0.12 million square kilometers due to the Three Gorges dam construction in June 2003. We also find a water mass gain of ∼ 1.1 cm/a in the areas where Qinghai, Sichuan and Gansu provinces meet. This indicates that the climate of these regions has been becoming gradually humid in recent years. Supported by Knowledge Innovation Program of the Chinese Academy of Sciences (Grant No. KZCX2-YW-202), National Natural Science Foundation of China (Grant No. 40674038), and Program of Key Laboratory of Space Environment and Geodesy of Ministry of Education of China     

Validating global hydrological models by ground and space gravimetry

The long-term continuous gravity observations obtained by the superconducting gravimeters (SG) at seven globally-distributed stations are comprehensively analyzed. After removing the signals related to the Earth’s tides and variations in the Earth’s rotation, the gravity residuals are used to describe the seasonal fluctuations in gravity field. Meanwhile, the gravity changes due to the air pressure loading are theoretically modeled from the measurements of the local air pressure, and those due to land water...     

时态逻辑与并发程序

分别阐述了基于Ｍａｎｎａ－Ｐｎｕｅｌｉ框架的命题线性时态逻辑ＰＬＴＬ和基于共享变量方式的并发程序（转换图）模型,并给出该模型与转换系统之间的对应关系;将时态逻辑与公平转移系统ＦＴＳ相结合来描述并发程序及其性质（公平性、安全性及活性）;指出了时态逻辑具备其它形式化方法（ＦＳＭ、Ｐｅｔｒｉ网）所没有的一些优势。     

自传体记忆中时间标记研究述评

阐释了自传体记忆中与时间标记有关的几个概念 ;简要总结了 3种作为时间标记的事件 ;对时间标记在自传体记忆中贮存和编码的证据作了分析 ;并讨论了时间标记对确定日期的影响 ;最后指出了以往研究中的不足及未来的研究方向