检索结果-南通市图书馆

Modeling and verifying Web services driven by requirements:An ontology-based approach

在线全文

学校读者我要写书评

暂无评论

Science in china(Series F) 2006年第6期49卷 792-820页

作者： HOU Lishan1,3,JIN ZHi1,2.& WU Budan1,4 1. academy of Mathematics and Systems Science, chinese academy of sciences,{2., china 2. institute of Computing Technology, chinese academy of sciences,{2., china 3. institute of Software, chinese academy of sciences,{2., china 4. Graduate University of chinese academy of sciences, beijing 100049, china academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing China institute of Software Chinese Academy of Sciences Beijing China institute of Computing Technology Chinese Academy of Sciences Bejing China Graduate University of chinese academy of sciences Beijing China

Automatic discovery and composition of Web services is an important research area in Web service technology, in which the specification of Web services is a key issue. This paper presents a Web service capability description framework based on the environment ontology. This framework depicts Web services capability in two aspects： the operable environment and the environment changes resulting from behaviors of the Web service. On the basis of the framework, a requirement-driven Web service composition model has been constructed. This paper brings forward the formalization of Web service interactions with π calculus. And an automatic mechanism converting conceptual capability description to the formal process expression has been built. This kind of formal specification assists in verifying whether the composite Web service model matches the requirement.

关键词： Web service environment ontology automatic composition π calculus formal verification.

A new approach of cascade utilization of the chemical energy of fuel

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2006年第5期16卷 518-523页

作者： HAN Wei, JIN Hongguang and LIN Rumou ( institute of Engineering Thermophysics,{2., beijing 100080, china Graduate School of the{2., beijing 100080, china) institute of Engineering Thermophysics Chinese Academy of Sciences Beijing 100080 China Graduate School of the chinese academy of sciences Beijing 100080 China

The indirect release of chemical energy of fuel is investigated, and a new mechanism is proposed to identify the cascade utilization of chemical energy of fuel more clearly. Based on the concept of energy level, the internal phenomenon of the indirect chemical energy release is disclosed, and the equations of energy level describing the utilization of chemical energy and thermal energy during the indirect chemical energy release process are obtained. From theoretical analysis, we find that the superiority of the indirect chemical energy release of fuel comes from the cascade utilization of the fuel's chemical energy. Moreover, the cascade utilization of chemical energy is verified by the investigation of CRGT (chemically recuperated gas turbine). As a result, the thermal exergy obtained from the chemical energy release of fuel increases by 2.% -3 % . The results obtained here may help a deeper understanding of indirect chemical energy release of fuel and provide a theoretical basis for the synthesis of innovative energy systems.

关键词： chemically recuperated gas turbine methane/steam reforming chemical energy level cascade utilization.

THERMALLY STIMULATED SHAPE MEMORY BEHAVIOR OF POLYMERS WITH PHYSICAL CROSSLINKS

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

chinese Journal of Polymer Science 1999年第3期17卷 203-213页

作者： Mao Xu Feng-kui Li Polymer physics Laboratory, institute of Chemistry,{2., beijing 100080, china 中科院化学所高分子物理及化学国家重点实验室北京 100080 中科院化学所高分子物理及化学国家重点实验室北京

The shape memory effect of polymers was investigated for the purpose of improving the processing conditions of their preparation and broadening the list of polymers for shape memory applications. Emphasis was put on the possibility of using polymers with physical crosslinks as shape memory materials and their structure-function relationships. Segmented block polyurethanes and polyethylene/nylon 6 graft copolymers were used as examples of polymers with physical crosslinks. It was found that these copolymers can really be used as thermally stimulated shape memory materials with large recoverable strain and high final recovery rate. The main advantage of using copolymers is their improved processing conditions as compared with polymers with chemical crosslinks. As only physical crosslinks are introduced, all conventional processing techniques for thermal plastics can be used, and the materials become easily reusable. The results indicate that the high crystallinity of these copolymers at room temperature and the formation of stable physical crosslinks are the two prerequisites for these polymers to exhibit shape memory effect. The successful use of block and graft copolymers imply the possibility of using polymers of various structure and properties as shape memory materials.

关键词： shape memory effect segmented polyurethanes polyethylene nylon graft copolymers

CHEMICAL STRUCTURE DEPENDENCE OF THE INTERNAL ENERGY CONTRIBUTION IN RUBBER ELASTICITY

在线全文

学校读者我要写书评

暂无评论

chinese Journal of Polymer Science 2001年第5期19卷 447-449页

作者： Juan Sun Xiao-zhen Yang Polymer physics Laboratory Center for Molecular sciences, {2. of Chemistry chinese academy of sciences beijing 100080 china 中科院化学所高分子物理及化学国家重点实验室北京

Conformational elasticity theory recently developed has been used to explore the internal energy contribution to the elastic force f(e)/f as a function of strain for poly(cis-1,4-isoprene) and poly(trans-1,4-isoprene). Calculated f(e)/f values are in good agreement with those obtained experimentally. Results show that behavior of f(e)/f is mainly contributed by chemical structure, or intramolecular interaction, supporting the experimental observations, and that the internal energy contribution is strain dependent.

关键词： conformational elasticity theory internal energy contribution poly(cis-1,4-isoprene) poly(trans-1,4-isoprene)

CONVERGENCE AND SUPERCONVERGENCE OF HERMITE BICUBIC ELEMENT FOR EIGENVALUE PROBLEM OF THE BIHARMONIC EQUATION

在线全文

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2001年第2期19卷 139-142页

作者： Dong-sheng Wu (institute of Systems Science, academy of Mathematics and Systems {2., chinese academy of sciences, beijing 100080, china ) 中科院系统科学所北京 100080

Provides information on a study which discussed the convergence and superconvergence for eigenvalue problem of the biharmonic equation using the Hermite bicubic element. Discussion on eigenvalue problem for biharmonic equation; Background on asymptotic error expansions and interpolation postprocessing; Superconvergence approximations to the eigenvalue and eigenfunction.

关键词： Hermite bicubic element biharmonic equation interpolation postprocessing eigenvalue problem

Review on the study of entanglement in quantum computation speedup

在线全文

学校读者我要写书评

暂无评论

chinese Science Bulletin 2007年第16期52卷 2161-2166页

作者： DING ShengChao1,3 & JIN Zhi1,2.1 institute of Computing Technology,chinese {2. of sciences,beijing 100080,china 2.{2. of Mathematics and Systems Science,chinese {2. of sciences,beijing 100080,china 3 Graduate University of chinese academy of sciences,beijing 100080,china institute of Computing Technology Chinese Academy of Sciences Beijing China Graduate University of chinese academy of sciences Beijing China academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing China

The role the quantum entanglement plays in quantum computation speedup has been widely disputed. Some believe that quantum computation's speedup over classical computation is impossible if entan-glement is absent,while others claim that the presence of entanglement is not a necessary condition for some quantum algorithms. This paper discusses this problem systematically. Simulating quantum computation with classical resources is analyzed and entanglement in known algorithms is reviewed. It is concluded that the presence of entanglement is a necessary but not sufficient condition in the pure state or pseudo-pure state quantum computation speedup. The case with the mixed state remains open. Further work on quantum computation will benefit from the presented results.

关键词：量子论量子纠缠量子计算加速模拟

Modeling on runoff concentration caused by rainfall on hillslopes and application in Maoping slope

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2006年第10期16卷 1056-1065页

作者： LIU Qingquan and LI Jiachun (institute of Mechanics, chinese academy of sciences,{2., china) institute of Mechanics Chinese Academy of Sciences Beijing 100080 China

Based on the fact that the concentration flowlines of overland flow depend on the surface landform of hillslope, a kinematic wave model was developed for simulating runoff generation and flow concentration caused by rainfall on hillslopes. The model-simulated results agree well with the experimental observations. Applying the model to the practical case of Maoping slope, we obtained the characteristics of runoff generation and infiltration on the slope. Especially, the simulated results adequately reflected the confluent pattern of surface runoff, which offers a scientific foundation for designing the drainage engineering on the Maoping slope.

关键词： complex hillslope rainfall infiltration overland flow runoff concentration Maoping slope.

An optimization approach to the similarity criteria of flows and its application

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2006年第3期16卷 241-247页

作者： ZHOU Jifu and LI Jiachun (institute of Mechanics, chinese academy of sciences,{2., china) institute of Mechanics Chinese Academy of Sciences Beijing 100080 China

In the present paper, we propose an optimization approach to investigate the similarity criteria of complex flows. With this approach, we may identify the dominant dimensionless variables governing complex flows by numerical sensitivity analysis. Firstly, we define the sensitivity factor and examine its dependence on the dimensionless variables. Then, we apply this approach to study the similarity criteria of porous media flow in a presumed oil reservoir. The similarity principle obtained from the numerical sensitivity analysis is in agreement with the theoretical law, thus demonstrating the feasibility of the proposed optimization approach. Further explanation is given by analyzing the deviation of pressure distribution in a model from its prototype. In addition, we examine the effects of flow parameter variation on the sensitivity factors and find that the dominant dimensionless variables may change from different sets of parameters.

关键词： similarity optimization sensitivity analysis complex flows model.

Software Engineering Technology for the 2.^(st) Century

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural sciences 2001年第Z1期6卷 152-158页

作者： Cheng Hu institute of Software, chinese academy of sciences{2., china institute of Software Chinese Academy of Sciences Beijing China

In this paper we will discuss the software engineering technology for the 2. st century. First we review development over the last half century, overview application requirement and environment, accept a challenge. Then we outline following software engineering techniques: 1) Process;2. Analysis;3) Design;4) UML;5) Component;6) Java +XML;7) Integrated;8) Quality(ISO9000&CMM).

关键词： software engineering object oriented component Java UML CMM ISO9000