语义Web规则标记语言OWLRule+的设计与实现

语义Web是对未来Web体系结构的一个伟大设想 ,其研究分层次进行 目前足够成熟的最高层是以OWL语言为代表的ontology层 但它的语义仅限于描述逻辑 ,该逻辑主要表示对象和类的层次结构 ,而规则的表达能力弱 因此在其之上需要一种表达力更丰富的逻辑语言 设计了一种新的语义Web规则标记语言OWLRule+:其语法扩展了OWL ;语义基于CARIN ,一种结合描述逻辑和Horn规则的表示语言 ;实现基于Jess规则推理机 实例学习展示了它对目前的Webontology语言在规则表示和推理能力上的扩展

语义Web服务匹配与发现技术研究

在开放的互联网环境中，面向服务的计算（Service-Oriented Computing, SOC）和面向服务的体系架构（Service-Oriented Architecture, SOA）使得信息资源和软件系统的主要形态发生了巨大变化，并引领着互联网计算技术和软件系统新的发展方向。服务是SOC和SOA的核心思想，服务的平台独立、高可重用和松散耦合等特性使之成为复杂分布式应用可行的解决方案。Web服务的出现和发展为实施与部署SOC和SOA提供了最佳支撑技术。目前web服务发现机制在服务描述的全面性和服务匹配方法的有效性方面存在不足之处，难以保证服务发现的性能。特别是在服务数量剧增的情况下，用户亟需一种自动快速而准确的服务发现机制。语义web技术不仅为web的表示内容提供了一种语义标识方法，推动了web内容的自动化和智能化搜索，也为web服务的描述提供了增加语义层次内容的有效方法，两者的结合形成了一个新的研究领域——语义web服务。该领域通过借鉴语义web的相关技术来增加web服务的语义描述，进而为web服务的发现、组合、调用和监控等环节提供语义层次的支持，增强web服务的自动化和智能化水平。 本文的研究目的就是利用语义web的思想，基于SOC和SOA的理念以及现有的web服务发现机制对web服务信息进行语义描述、组织，探索语义web服务匹配与发现的关键问题，提出有效的解决方案。本文的研究工作和贡献主要在以下四个方面： 1. 针对语义近似度的度量和计算问题基于OWL（Web Ontology Language）提出了一个语义近似度计算SSM模型，该模型中所有概念及概念之间的关系、所有的概念属性及属性之间的关系都被抽象定义并建模，根据概念、属性及其语义关系模型，构建了基于概念关系的拓扑近似度计算函数和属性近似度计算函数，从而进一步构建语义近似度计算函数。该语义近似度计算函数以代表OWL本体概念上下级关系和等价关系的树状结构为基础，利用概念间的拓扑关系和属性关系进行语义近似度的度量和计算。语义近似度函数的返回值为一个介于0与1之间的数值，代表函数的两个输入概念之间的语义近似度值。 2. 提出了一个基于概念语义近似度的以OWL-S为顶层本体的web服务语义匹配PSM模型。该模型将服务的匹配项分为服务能力、服务质量、服务名称和服务参数四个部分。基于该模型，提出了相应的PSM服务匹配算法。PSM算法能够对服务内部的服务流程及流程的组合进行与服务请求的语义匹配，并且避免了服务流程中互斥接口参数参与匹配。而且PSM匹配算法实现了服务接口的单射匹配，进一步提高服务发现的性能。在服务质量匹配计算上，提出了服务质量匹配模型PSM-QoS，为服务的QoS匹配建立了计算基础。PSM算法使用语义近似度计算函数度量和计算服务属性概念的语义近似度值，从而能够返回细粒度的服务匹配度值。 3. 在语义服务匹配PSM模型的基础上提出一种语义web服务发现架构系统PSM-SD模型。该模型将OWL-S语义元素引入UDDI服务描述，从而在UDDI中保存语义信息。通过PSM算法提高web服务匹配性能，并通过数据映射机制保证模型对于当前的服务发现标准UDDI基础架构的兼容以及UDDI标准操作接口的透明性。模型使用本体概念的索引机制提高服务发现的效率。在建立和维护索引的过程或服务的匹配过程中，模型使用近似概念搜寻算法进一步提高本体概念搜寻和服务匹配的效率。 4. 设计并开发了基于语义web服务发现架构模型的原型系统。该系统将语义近似度计算模型、语义web服务匹配模型和语义web服务发现架构模型进行软件实现。本文在该原型系统平台上对语义web服务发现的方法进行了实验，验证了方法的有效性。

一种高效的RDF图模式匹配算法

随着越来越多的信息被表示为RDF格式，如何高效地对RDF信息进行分发和过滤成为一个重要的问题．在语义Web环境下的信息分发系统中，输入的RDF信息需要和大量的用户订阅条件进行匹配，而用户的订阅条件可以被表示为RDF图模式．根据RDF图的特点，并对其增加了一些约束．设计了一种新的RDF图模式匹配算法．实验结果表明，该算法的匹配效率远远高于传统的图模式匹配算法．

语义Web中描述逻辑本体的可伸缩推理和非一致处理

随着Web信息的与日俱增，使用机器处理这种信息成为一种必然的趋势。语义Web应运而生，成为当前研究的热点之一。它以本体为核心，为不同领域提供共享的词汇，以便机器处理Web信息。表达本体的标准语言OWL以描述逻辑为基础。OWL本体的推理可伸缩性差，难以适应规模较大的本体应用，因此推理可伸缩性问题是一个重要的实际问题。此外，OWL本体是一个逻辑系统，在生成、维护和集成等过程中，都很容易出现非一致现象，导致标准的推理机制不能正常运作。因此本体非一致问题是另一个重要的实际问题。针对上述两个实际问题，本文分别在实现可伸缩推理、修复非一致本体、以及进行非一致容忍推理三个方面提出了解决办法。 [可伸缩推理方面] 本文提出了一种本体断言公理集的划分方法，使本体推理能够在独立的划分子集中进行，以此提高本体推理的可伸缩性。 [本体修复方面] 本文提出了一种计算具有最小删除代价的本体子集的方法；通过删除这种本体子集，可以恢复本体的一致性。该方法将计算上述本体子集的问题归约为在命题逻辑程序中计算某种最优模型的问题，以调用现有的可满足性问题求解器来解决。 [非一致容忍推理方面] 本文将命题逻辑中字典序推理方法应用到描述逻辑中，以提供针对非一致本体的查询机制。本文还提出了一种在描述逻辑本体中进行字典序推理的方法。该方法将字典序结论的判定问题归约为命题可满足性判定问题，以调用现有的可满足性问题求解器来解决。

流化床中RDF焚烧时CO、SO_2和HCl的生成

垃圾衍生燃料 (Refuse-Derived Fuels-RDF)具有热值高、易燃烧的优点。RDF的一个潜在应用是与煤进行混烧，替代一部分锅炉燃烧用煤。由于RDF挥发份相当高，因此燃烧时的污染物排放不易控制。本文在非均匀布风流化床中进行了RDF与煤的混烧试验，测量了H_2O、CO、CO_2、NO、N_2O、HCl、SO_2等污染物质的排放特性。结果表明与单纯燃烧RDF相比，混烧时的CO生成量大大下降；SO2生成浓度较低，而HCl的生成量比单纯烧煤时明显增加。

Release of Sulfur and Chlorine during Cofiring RDF and Coal in an Internally Circulating Fluidized Bed

An internally circulating fluidized bed (ICFB) was applied to investigate the behavior of chlorine and sulfur during cofiring RDF and coal. The pollutant emissions in the flue gas were measured by Fourier transform infrared (FTIR) spectrometry (Gasmet DX-3000). In the tests, the concentrations of the species CO, CO2, HCl, and SO2 were measured online. Results indicated when cofiring RDF and char, due to the higher content of chlorine in RDF, the formation of HCl significantly increases. The concentration of SO2 is relatively low because alkaline metal in the fuel ash can absorb SO2. The concentration of CO emission during firing pure RDF is relatively higher and fluctuates sharply. With the CaO addition, the sulfur absorption by calcium quickly increases, and the desulfuration ratio is bigger than the dechlorination ratio. The chemical equilibrium method is applied to predict the behavior of chlorine. Results show that gaseous HCl emission increases with increasing RDF fraction, and gaseous KCl and NaCl formation might occur.

Release of Sulfur and Chlorine During Cofiring Rdf and Coal In An Internally Circulating Fluidized Bed

An internally circulating fluidized bed (ICFB) was applied to investigate the behavior of chlorine and sulfur during cofiring RDF and coal. The pollutant emissions in the flue gas were measured by Fourier transform infrared (FTIR) spectrometry (Gasmet DX-3000). In the tests, the concentrations of the species CO, CO2, HCl, and SO2 were measured online. Results indicated when cofiring RDF and char, due to the higher content of chlorine in RDF, the formation of HCl significantly increases. The concentration Of SO2 is relatively low because alkaline metal in the fuel ash can absorb SO2. The concentration of CO emission during firing pure RDF is relatively higher and fluctuates sharply. With the CaO addition, the sulfur absorption by calcium quickly increases, and the desulfuration ratio is bigger than the dechlorination ratio. The chemical equilibrium method is applied to predict the behavior of chlorine. Results show that gaseous HCl emission increases with increasing RDF fraction, and gaseous KCl and NaCl formation might occur.

Transfer, distribution and bioaccumulation of microcystins in the aquatic food web in Lake Taihu, China, with potential risks to human health

In this paper, accumulation and distribution of microcystins (MCs) was examined monthly in six species of fish with different trophic levels in Meiliang Bay, Lake Taihu, China, from June to November 2005, Microcystins were analyzed by liquid chromatography electrospray ionization mass spectrometry (LC-ESI-MS). Average recoveries of spiked fish samples were 67.7% for MC-RR, 85.3% for MC-YR, and 88.6% for MC-LR. The MCs (MC-RR+MC-YR+MC-LR) concentration in liver and gut content was highest in phytoplanktivorous fish, followed by omnivorous fish, and was lowest in carnivorous fish; while MCs concentration in muscle was highest in omnivorous fish, followed by phytoplanktivorous fish, and was lowest in carnivorous fish. This is the first study reporting MCs accumulation in the gonad of fish in field. The main uptake of MC-YR in fish seems to be through the gills from the dissolved MCs. The WHO limit for tolerable daily intake was exceeded only in common carp muscle. (C) 2008 Elsevier B.V. All rights reserved.

Food web of benthic macro invertebrates in a large Yangtze River-connected lake: the role of flood disturbance

This Study was conducted in Lake Dongtinghu, a large river-connected lake on the Yangtze River flood-plain, China. Our goal was to determine trophic relationships among benthic macroinvertebrates, as well as the effects of flood disturbance on the benthic food web of a river-connected lake. Macroinvertebrates in the lake fed mainly on detritus and plankton (both zooplankton and phytoplankton). Food web Structure in Lake Dongtinghu was characterized by molluscs as the dominant group, low connectance, high level of omnivory. based oil detritus and primary production, and most ingestion concentrating on a few links. Our analyses showed that flood disturbance is an important factor affecting the benthic food web in Lake Dongtinghu. The numbers of species and functional feeding groups (FFGs), and the density and biomass of macroinvertebrates decreased significantly during flooding. Connectance was higher during the flood season than in other seasons, indicating that floods have a strong effect on connectance in this Yangtze River-connected lake. Flood effects on the benthic web were also evident in the decrease of niche overlaps within and anion, FFGs. Our results provide useful information regarding biodiversity conservation on the Yangtze floodplain. Reconstructing and maintaining natural and regular flow regimes between Yangtze lakes and the river is essential for restoration of macroinvertebrates on the floodplain.

Food web of macroinvertebrate community in a Yangtze shallow lake: trophic basis and pathways

No detailed food web research on macroinvertebrate community of lacustrine ecosystem was reported in China. The present study is the first attempt on the subject in Lake Biandantang, a macrophytic lake in Hubei Province. Food webs of the macroinvertebrate community were compiled bimonthly from March, 2002 to March, 2003. Dietary information was obtained from gut analysis. Linkage strength was quantified by combining estimates of energy flow (secondary production) with data of gut analysis. The macroinvertebrate community of Lake Biandantang was based heavily on detritus. Quantitative food webs showed the total ingestion ranged from 6930 to 36,340 mg dry mass m(-2) bimonthly. The ingestion of macroinvertebrate community was higher in the months with optimum temperature than that in other periods with higher or lower temperature. Through comparison, many patterns in benthic food web of Lake Biandantang are consistent with other detritus-based webs, such as stream webs, but different greatly from those based on autochthonous primary production (e.g. pelagic systems). It suggests that the trophic basis of the web is essential in shaping food web structure.

Studies on the food web structure of Lake Donghu using stable carbon and nitrogen isotope ratios

Food web structure was studied by using carbon and nitrogen isotope ratios in a hypereutrophic subtropical Chinese lake, Lake Donghu. High external nutrient loading and the presence of abundant detritus from submersed macrophytes were responsible for the high sediment delta(15)N and delta(13)C, respectively. C-13 was significantly higher in submersed macrophytes than in other macrophytes. The similar delta(13)C values in phytoplankton, zooplankton, zoobenthos, and planktivorous fish indicate that phytoplankton was the major food source for the consumers. By using a delta(15)N mass balance model, we estimate that the contributions of zooplankton to the diet of silver carp and bighead carp were 54% and 74%, respectively, which is in agreement with previous microscopic observations on intestinal contents of these fishes.

Web Services Workflows—Composition, Co-Ordination, and Transactions in Service-Oriented Computing

Web services can be seen as a newly emerging research area for Service-oriented Computing and their implementation in Service-oriented Architectures. Web services are self-contained, self-describing modular applications or components providing services. Web services may be dynamically aggregated, composed, and enacted as Web services Workflows. This requires frameworks and interaction protocols for their co-ordination and transaction support. In a Service-oriented Computing setting, transactions are more complex, involve multiple parties (roles), span many organizations, and may be long-running, consisting of a highly decentralized service partner and performed by autonomous entities. A Service-oriented Transaction Model has to provide comprehensive support for long-running propositions including negotiations, conversations, commitments, contracts, tracking, payments, and exception handling. Current transaction models and mechanisms including their protocols and primitives do not sufficiently cater for quality-aware and long running transactions comprising loosely-coupled (federated) service partners and resources. Web services transactions require co-ordination behavior provided by a traditional transaction mechanism to control the operations and outcome of an application. Furthermore, Web services transactions require the capability to handle the co-ordination of processing outcomes or results from multiple services in a more flexible manner. This requires more relaxed forms of transactions—those that do not strictly have to abide by the ACID properties—such as loosely-coupled collaboration and workflows. Furthermore, there is a need to group Web services into applications that require some form of correlation, but do not necessarily require transactional behavior. The purpose of this paper is to provide a state-of-the-art review and overview of some proposed standards surrounding Web services composition, co-ordination, and transaction. In particular the Business Process Execution Language for Web services (BPEL4WS), its co-ordination, and transaction frameworks (WS-Co-ordination and WS-Transaction) are discussed.

一种基于SSL／TLS的Web安全代理的设计与实现

SSL Web代理能有效保护Internet上数据传输和存有敏感信息的Web服务器的安全。但是SSL协议中大量的数据处理带来的性能瓶须和协议实现中受到的安全威胁将严亚影响SSL Web代理的效用。该文在分析SSL/TLS协议性能和安全的基础上，设计并实现了一种高效的、安全的SSL-TLS Web代理。

NP难问题的算法和实验性研究

NP难是计算机科学中的一个重要概念和核心问题，自从它的提出到现在， 人们已经得到了很多重要的理论结果。直观上讲，一个问题一旦被证明是NP难 的就意味着我们很难找到该问题的一个多项式时间的有效算法。但从实用的角 度讲，对于应用中遇到的问题，单单是证明它很难（是NP难的）是不够的，如何 在合理的时间内求解实际问题也是必须解决的现实问题。本文主要侧重于NP难 问题的算法和实验性研究，研究对象主要是可满足性问题、图的顶点染色、图 的子图匹配等NP难问题，以及可满足性模理论的解空间计算和体积估算等扩展 问题。 围绕几个著名的问题，本文的主要工作如下： 针对图染色问题，日本研究人员提出了一种通过组合小图单元得到大的难 实例的方法。他们通过试错的方式手工找到了7个小图单元。我们提出了一种新 的构造算法来系统地生成这类小图单元，用我们的算法生成的难图染色实例， 主流的图染色工具需要指数时间才能求解；在一些专门求解色数比较小的图的 图染色工具上我们的算法生成的实例更难求解。针对皇后图染色问题，我们利 用模型查找工具SEM来对这类问题进行求解，在求解过程中提出了新的变量选 择策略，发现比简单地使用可满足性问题工具和图染色工具效果要好。 针对语义Web推理中的关键问题RDF蕴含关系的判定问题，我们利用从子 图同构问题到可满足性问题的编码方案，把它转化为命题逻辑公式的可满足性 判定问题，并采用了启发式的方法对编码过程进行必要的化简得到较少的布尔 公式，然后再利用高效的可满足性问题工具来求解。这种转化为可满足性问题 的方法，是跟RDF简单蕴含的模型论语义结合比较自然的一个方法。在小规模 实例上，这种方法的效果也很好。 针对布尔和数值混合约束的公式，即可满足性模理论（线性理论）公式的 体积计算这一新问题，我们首先给出一个直接计算体积的方法，然后提出一个 改进的算法，并研究了如何通过引入可满足性模理论中的技术来尝试对该算法 进一步地改进。我们实现了工具并做了实验。在一个实际的程序实例上，我们 还就“热门路径”问题做了实例研究和探讨。 体积计算是一个有广泛应用背景的经典难题（#P难的），但以前的方法要 么只能处理线性约束，要么只具有理论价值（不够实用）；针对含非线性约束的 体积计算问题我们提出了实用的算法，并设计了相应的工具，在低维实例有很 好的逼近效果。