检索结果-南通市图书馆

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, {3. 100080, china 2. Institute of Computing Technology, chinese academy of Sciences, {3. 100080, china 3. Institute of Software, chinese academy of Sciences, {3. 100080, china 4. Graduate University of chinese academy of Sciences, {3. 100049, china 1. academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing 100080 China 3. Institute of Software Chinese Academy of Sciences Beijing 100080 China 2. Institute of Computing Technology Chinese Academy of Sciences Bejing 100080 China 4. Graduate University of chinese academy of Sciences Beijing 100049 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.

SYNTHESIS AND CHARACTERIZATION OF NEW STABILIZERS WITH OPTIMAL MOLECULAR WEIGHT

在线全文

学校读者我要写书评

暂无评论

chinese Journal of Polymer Science 2001年第4期19卷 341-350页

作者： Jiang-qing Pan Institute of Chemistry chinese academy of Sciences, beijing {3. china chinese Acad Sci Inst Chem Beijing 100080 Peoples R China

Over 2 x 10(8) tons of polymers are produced every year, and a large portion of polymers faces the degradation problem. There are many effective methods to protect polymers against degradation and the addition of stabilizers to polymer remains the most convenient and effective way of enhancing polymer life and performance. In this article, a series of effective stabilizers with optimal molecular weight (MW), including common, monomeric and polymeric stabilizers (antioxidant and light stabilizer) were synthesized using isocyanation, controlled isocyanation, hydrosilylation, epoxide addition, macroreaction of stabilizing functional compounds and polymerization of monomeric stabilizers. The structure and performance of these new stabilizers were characterized by using IR, NMR, MS, UV-spectra, XPS and elemental analysis. The current development of stabilizer synthesis was also reviewed.

关键词： preparation of stabilizer antioxidant hindered amine light stabilizer isocyanation hydrosilylation

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 academy of Sciences,beijing {3.,china 2 academy of Mathematics and Systems Science,chinese academy of Sciences,beijing {3.,china 3.Graduate University of chinese academy of Sciences,beijing {3.,china Institute of Computing Technology Chinese Academy of Sciences Beijing 100080 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.

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

Transformations and non-degenerate maps

在线全文

学校读者我要写书评

暂无评论

Science china Mathematics 2005年第z1期48卷 195-205页

作者： LI Baokui & WANG Yuefei Institute of Mathematics, academy of Mathematics and System Sciences, chinese academy of Sciences, {3. 100080, china Graduate School, chinese academy of Sciences, {3. 100080, china 1. Institute of Mathematics Academy of Mathematics and System Sciences Chinese Academy of Sciences 100080 Beijing China 2. Graduate School Chinese Academy of Sciences 100080 Beijing China

We shall prove the equivalences of a non-degenerate circle-preserving map and a M(o)bius transformation in ^Rn, of a non-degenerate geodesic-preserving map and an isometry in Hn of a non-degenerate line-preserving map and an affine transformation in Rn. That a map is non-degenerate means that the image of the whole space under the map is not a circle, or geodesic or line respectively. These results hold without either injective or surjective, or even continuous assumptions, which are new and of a fundamental nature in geometry.

关键词： M(o)bius transformation, circle-preserving map, non-degenerate map.

Integrated precise orbit determination of Shenzhou IV unmanned spacecraft

在线全文

学校读者我要写书评

暂无评论

Science china(Technological Sciences) 2004年第5期47卷 518-525页

作者： L Congmin1,2, GU Yidong3. LIN Baojun3.& GUO Jiong3.1. Center for Space Science and Applied Research, chinese academy of Sciences, beijing {3., china 2. Graduate School of the chinese academy of Sciences, beijing 10003., china 3. General Establishment of Space Science and Application, chinese academy of Sciences, beijing {3., china Correspondence should be addressed to L Congmin 1. Center for Space Science and Applied Research Chinese Academy of Sciences 100080 Beijing China 2. Graduate School of the chinese academy of Sciences 100039 Beijing China 3. General Establishment of Space Science and Application Chinese Academy of Sciences 100080 Beijing China

Considering the characteristic orbit of Shenzhou IV spacecraft and the advantages and disadvantages of several types of domestic orbit measurements, a scheme of IPOD is determined, which uses GPS, SLR and USB observation data jointly plus precise ionosphere corrections to GPS observation data. IPOD system and mathematic models of OD are introduced. The results of different joint OD are analyzed using true observation data, and show that radial accuracy is better than 2 m.

关键词： Shenzhou IV unmanned spacecraft integrated precise orbit determination GPS SLR USB.

GENERALIZED GAUSSIAN QUADRATURE FORMULASWITH CHEBYSHEV NODES

在线全文

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 1999年第2期17卷 171-178页

作者： Ying-guang Shi(ICMSEC, chinese academy of Sciences, beijing {3., china) 中科院计算数学与科学工程计算所北京

Explicit expressions of the Cotes numbers of the generalized Gaussian quadrature formulas for the Chebyshev nodes (of the first kind and the second kind) and their asymptotic behavior are given.

关键词： quadrature formula Chebyshev polynomials

A note on the tree decompositions of graphs

在线全文

学校读者我要写书评

暂无评论

chinese Science Bulletin 1997年第23期42卷 1948-1952页

作者： SHI MinyongInstitute of Software, chinese academy of Sciences, beijing {3., china Institute of Software Chinese Academy of Sciences Beijing China

IN this note all graphs are undirected, finite and simple. For a subgraph H of G,ε（H） andμ（H） denote the number of edges in H and the number of cycles in H respectively. H[X]denotes the subgraph of H induced by X. Given two disjoint subsets X and Y of V（G）, wewrite EG（X, Y）={xy∈E（G）|x∈X, y∈Y}. Sometimes EG（H, Y）=EG（V（H）,Y） is used for a subgraph H of G-Y. If T is a tree of G and e=uv∈G-E（T）with{u,v}V（T）, then T + e contains a unique cycle, denoted by C（T, e）.A tree-decomposition {T1, T2, …, Tk} of a graph G is a partition of E （G）, say,E（G）=E1 U E2 U…U Ek, such that for each i with 1≤i≤k, Ti=G[Ei] is a tree.

关键词： tree decomposition singular vertex maximal planar bipartite graph.

ON DISCRETE PROJECTION AND NUMERICAL BOUNDARY CONDITIONS FOR THE NUMERICAL SOLUTION OF THE UNSTEADY INCOMPRESSIBLE NAVIER-STOKESEQUATIONS

在线全文

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2002年第1期20卷 35-56页

作者： Lan Chieh Huang (ICMSEC, academy of Mathematics and System Sciences, chinese academy of Sciences, {3. 100080, china) ICMSEC Academy of Mathematics and System Sciences Chinese Academy of Sciences 北京 100080

Focuses on a study on the fully implicit Crank Nicholson (CN) schemes and three projection methods for approximate preservation of component-consistency under projection. Transformation from incompressible Navier-Stokes equations to differential algebraic equations CN schemes; Local errors of CN projection methods; Numerical boundary conditions.

关键词： differential algebraic equations discrete projection numerical boundary conditions

A mixed method for measuring low-frequency acoustic properties of macromolecular materials

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2006年第6期49卷 729-739页

作者： LIU Hongwei1,YAO Lei1,3.ZHAO Hong1,3.ZHANG Jichuan2,3.& XUE Zhaohong2 1. National Key Laboratory of Acoustics,Institute of Acoustics,chinese academy of Sciences,beijing {3.,china 2. Institute of Chemistry,chinese academy of Sciences,beijing {3.,china 3. Graduate University of chinese academy of Sciences,beijing 100049,china National Key Laboratory of Acoustics Institute of Acoustics Chinese Academy of Sciences Beijing 100080 China Institute of Chemistry Chinese Academy of Sciences Beijing 100080 China Graduate University of chinese academy of Sciences Beijing 100049 China

A mixed method for measuring low-frequency acoustic properties of macro-molecular materials is presented. The dynamic mechanical parameters of materials are first measured by using Dynamic Mechanical Thermal Apparatus(DMTA) at low frequen-cies,usually less than 100 Hz; then based on the Principles of Time-Temperature Super-position (TTS),these parameters are extended to the frequency range that acousticians are concerned about,usually from hundreds to thousands of hertz; finally the extended dynamic mechanical parameters are transformed into acoustic parameters with the help of acoustic measurement and inverse analysis. To test the feasibility and accuracy,we measure a kind of rubber sample in DMTA and acquire the basic acoustic parameters of the sample by using this method. While applying the basic parameters to calculating characteristics of the sample in acoustic pipe,a reasonable agreement of sound absorp-tion coefficients is obtained between the calculations and measurements in the acoustic pipe.

关键词： low-frequency acoustic properties,dynamic mechanical properties,Principles of Time-Temperature Superposition,acoustic pipe,sound absorption coefficient.