基于状态方面的Web服务动态替换

随着面向服务计算技术的成熟,服务复合已成为Internet上开发企业间业务协作的一种新模式,WS-BPEL是服务复合事实上的标准.但是由于复合服务所依赖的第三方伙伴服务的分布、自治和松散耦合等特性,在执行过程中易受到伙伴服务失效的影响,可靠性无法得到保证,因此需要支持在运行时对伙伴服务进行动态替换.目前的BPEL规范只提供有限的服务替换功能,当与伙伴服务的交互涉及到一系列有状态的会话操作时,服务替换就更加复杂.通过对面向方面的研究,提出面向BPEL语言的状态方面扩展.通过状态方面,记录与伙伴服务交互过程中的会话信息.在伙伴服务失效时,通过透明地替换伙伴服务,使得与当前伙伴服务的会话信息传播到功能等价的另一个伙伴服务上,以保证流程的正常执行.通过该方法,使得BPEL流程具有一定的自愈能力,增强了流程执行的可靠性.

基于BPEL的Web Service组合的数据流分析测试方法

随着Web Service组合变得越来越复杂,通过测试来保证服务质量和可靠性也变得越来越重要.将传统数据流分析方法扩展用于Web Service组合测试,提出了一种基于BPEL的Web Service组合的数据流分析测试方法.该方法基于一个测试模型:Web Service组合测试模型WSCTM,该测试模型可以捕获Web Service组合的数据流接口.采用基于服务的模型WSCTM,数据流可以从3个视点来分析:服务间、服务内和服务实现构件间.从而,Web Service组合的数据流测试可以在三层上得到实现.基于以上方法,可得到Web Service组合的定义-使用链,最终可产生满足既定测试标准以获得需求Web服务组合质量要求的测试路径.

CO2浓度升高和氮肥管理对土壤线虫群落的影响

大气CO2浓度升高能够对农田生态系统产生一系列的影响。土壤线虫在农田生态系统腐屑食物网中占有重要的地位，能够对外界环境变化作出较迅速的响应。本文利用江苏省江都市小记镇的稻-麦轮作FACE系统研究平台，在2007-2008年小麦生长季，研究了大气CO2浓度升高和不同氮肥处理（高N和低N）对农田土壤线虫群落的影响。 研究结果表明：高氮肥施用情况下, CO2浓度升高显著降低了麦田土壤铵态氮和硝态氮含量。不同氮肥处理中CO2浓度升高条件下土壤可溶性碳的含量显著低于对照，而土壤总有机碳和微生物量碳含量高于对照。 大气CO2浓度升高条件下，麦田土壤线虫群落组成和多样性与对照相比表现出显著差异。CO2浓度升高显著增加了麦田土壤线虫总数、食细菌线虫、食真菌线虫和植物寄生线虫数量。在小麦拔节期和成熟期，低N和高N施用条件下，FACE处理中土壤线虫多样性指数（H’）、成熟度指数（MI和PPI）均低于对照处理，而结构指数（SI）高于对照处理。线虫生态指数的结果表明，大气CO2浓度升高条件下，土壤线虫群落多样性降低，土壤环境受到一定的干扰，食物网趋于结构化。

Reduction-Based Model Updating of a Scaled Offshore Platform Structure

This paper attempts to develop a reduction-based model updating technique for jacket offshore platform structure. A reduced model is used instead of the direct finite-element model of the real structure in order to circumvent such difficulties as huge degrees of freedom and incomplete experimental data that are usually civil engineers' trouble during the model updating. The whole process consists of three steps: reduction of FE model, the first model updating to minimize the reduction error, and the second model updating to minimize the modeling error of the reduced model and the real structure. According to the performance of jacket platforms, a local-rigidity assumption is employed to obtain the reduced model. The technique is applied in a downscale model of a four-legged offshore platform where its effectiveness is well proven. Furthermore, a comparison between the real structure and its numerical models in the following model validation shows that the updated models have good approximation to the real structure. Besides, some difficulties in the field of model updating are also discussed.

A high charge state all-permanent magnet ECR ion source for the IMP 320 kV HV platform

A 320 kV high voltage (HV) platform has been constructed at Institute of Modern Physics (IMP) to satisfy the increasing requirements of experimental studies in some heavy ion associated directions. A high charge state all-permanent magnet ECRIS-LAPECR2 has been designed and fabricated to provide intense multiple charge state ion beams (such as 1000 e mu A O6+, 16.7 e mu A Ar14+, 24 e mu A Xe27+, etc.) for the HV platform. LAPECR2 has a dimension of 0 650 mm x 560 mm. The powerful 3D magnetic confinement to the ECR plasma and the optimum designed magnetic field for the operation at 14.5 GHz makes it possible to obtain very good performances from this source. After a brief introduction of the ECRIS and accelerator development at IMP, the conceptual design of LAPECR2 source is presented. The first test results of this all-permanent magnet ECRIS are given in this paper.

Commissioning test of LAPECR2 source on the 320kV HV platform

The high charge state all permanent Electron Cyclotron Resonance Ion Source (ECRIS) LAPECR2 (Lanzhou All Permanent magnet ECR ion source No.2) has been successfully put on the 320kV HV platform at IMP and also has been connected with the successive LEBT system. This source is the largest and heaviest all permanent magnet ECRIS in the world. The maximum mirror field is 1.28T (without iron plug) and the effective plasma chamber volume is as large as circle divide 67mm x 255mm. It was designed to be operated at 14.5GHz and aimed to produce medium charge state and high charge state gaseous and also metallic ion beams. The source has already successfully delivered some intense gaseous ion beams to successive experimental terminals. This paper will give a brief overview of the basic features of this permanent magnet ECRIS. Then commissioning results of this source on the platform, the design of the extraction system together with the successive LEBT system will be presented.

CSR Web站点与网络数据库建设

本文介绍计算机网络、数据库系统、网络安全和Intranet的基本原理与相关的理论知识：并阐述在此基础上建立CSR系统的站点，CSR web数据库建立过程。相关的工作包括web数据库，文件上传，动态文章新闻更新管理系统、web文件管理系统。本文着生阐述了网站建设的技术细节，web数据库在CSR系统中的应用，文件上传及在线管理。

基于网络环境的地理信息系统-WebGIS

Web GIS作为一门新兴的技术学科 ,依托互联网的环境和 Internet实用技术 ,成为地理信息系统理论研究和技术创新的增长点。随着网络技术和应用市场的不断发展和扩大 ,将促进 GIS新兴信息产业的形成。本文结合工作实践 ,论述了 Web GIS的技术背景与发展 ,以及系统功能等基础理论 ,重点讨论了 Web GIS的体系结构、实现策略和技术方法

基于语义的Web服务匹配及其框架模型研究

随着Internet上异构应用系统的大量增加和SOA技术的空前发展，Web服务技术变得越来越重要，已经成为了学术界和工业界关注的热点。在Web服务技术中，服务发现为Web服务消费者调用Web服务提供者提供的服务提供了桥梁，起到非常重要的承接作用，成为了Web服务技术中的重点。目前的Web服务发现机制主要有两种，第一种是传统的Web服务发现方式，主要基于UDDI（Universal Description， Discovery and Integration）的纯粹关键字查找；第二种是基于Web服务的语义信息，进行Web服务间的语义匹配。 第一种方法的基础UDDI是国际标准，而且应用也最为广泛，但UDDI中对于Web服务的描述是基于语法的，而且缺乏Web服务所特有的I/O属性和服务质量属性等信息。第二种方法基于Web服务的语义信息，包括Web服务所特有的I/O属性，但因为缺乏灵活有效的Web服务匹配方法和与之对应的Web服务匹配框架，限制了其应用。 基于此，本文在对当前语义Web服务匹配技术分析和研究的基础上，对当前的语义Web服务匹配方法进行了改进，同时提出了基于过滤器（filter）的语义Web服务匹配框架模型。本文的主要工作有： 1）对目前的语义Web服务匹配技术进行了较为全面深入的探讨和综述。 2）对当前的语义Web服务匹配的各个阶段进行了详细的分析，对其中的匹配方法进行了改进。提出了基于向量空间模型(VSM)和TF-IDF(Term Frequency–Inverse Document Frequency)思想的本体权重的计算方法，本体层次关系图中边的权重的计算方法和本体之间相似度的计算方法。 3）提出了基于web服务黑盒属性的语义。 4）语义Web服务匹配框架方面，本文提出了基于filter的语义Web服务匹配框架，并将其延伸到非语义Web服务系统中。

AIS—基于文本挖掘的增强型Web信息处理技术

回顾了中文和英文语言环境下的Web文本挖掘现状,阐明了其现阶段的特点和技术瓶颈.之后提出了一种基于Web文本挖掘的网页内容挖掘技术:AIS(Augmented information support),介绍了相关实现所涉及的基础技术和功能.最后将AIS技术应用于香山科学会议网站,开发了AIS4XSSC文本挖掘系统并展示了现阶段其主要功能.实践表明AIS技术能够从大量的Web文本中有效提炼信息,提高用户检索效率并向用户推送有价值的信息.

IBC模型在Web安全体系中的应用研究

针对目前基于公钥证书的PKI体系所固有的网络开销大,证书往来过于频繁等缺点,提出并分析了基于身份加密体系(IBC体系)的认证架构和互动模型,说明了IBC模型相对于PKI体系结构的优缺点。针对XML签名和XML加密这两个Web-Security核心协议,比较了使用X.509公钥证书体系和IBC无证书方式在SOAP协议中的实现方式。证明了在保证信息安全的同时,使用IBC模型可以大幅降低网络传输内容,提高了SOA体系的效率和可扩展性。

基于OSGi的Web容器重构

The OSGi component architecture for software development can better meet the requirements of current Internet environment in scalability, readability and reusability. This paper presents an approach to refactor legacy softwares towards service-oriented systems using the OSGi as the foundation framework. A case study on reconstructing our Web container system is also involved to validate the approach.