检索结果-南通市图书馆

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 {2., {3. Academy of sciences, beijing 100080, China 2. Institute of Computing Technology, {3. Academy of sciences, beijing 100080, China 3. Institute of Software, {3. Academy of sciences, beijing 100080, China 4. Graduate University of {3. Academy of sciences, beijing 100049, China Academy of mathematics and systems {2. 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.

On some tests-based projection pursuit for elliptical symmetry of a high-dimensional distribution

在线全文

学校读者我要写书评

暂无评论

chinese science Bulletin 1998年第6期43卷 450-458页

作者： JING Ping 1 and ZHU Lixing 2.1. mathematics Lab, China University of Mining & Technology, beijing 100083. China 2. Probability Lab, Institute of Applied mathematics, {3. Academy of sciences, beijing 100080, China mathematics Lab China University of Mining & Technology Beijing China Probability Lab Institute of Applied Mathematics Chinese Academy of Sciences Beijing China

Some test statistics of Kolmogorov type and Cramér-von Mises type based on projection pursuit technique are proposed for the testing problem of sphericity of a high-dimensional distribution. The limiting distributions of the test statistics are derived under the null hypothesis and under any fixed alternative. The asymptotic properties of bootstrap approximation are investigated. Furthermore, for computational reasons, an approximation for the statistics, based on the number theoretic method, is suggested.

关键词： bootstrap approximation projection pursuit type statistic elliptical symmetry.

Compression behavior of Zr_(41)Ti_(14)Cu_(12.5)Ni_(10)Be_(2..5) bulk metallic glass up to 2. GPa

在线全文

学校读者我要写书评

暂无评论

science China(Physics,Mechanics & Astronomy) 2005年第3期48卷 319-324页

作者： LI Gong 1, 2., ZHAN Zaiji 2., LIU Jing 3., YUN Jinku 1 , SUN Liling 2., LIU Riping 1 , ZHANG Jun 2.& WANG Wenkui 1, 2.1. Key Laboratory of Metastable Materials science and Technology, Yanshan University, Qinhuangdao 066004, China 2. Center for Condensed Matter Physics, Institute of Physics, chinese Academy of {2., {3., China 3. BSRF, Institute of High Energy Physics, chinese Academy of {2., beijing 10003., China Key Laboratory of Metastable Materials science and Technology Yanshan University Qinhuangdao China Center for Condensed Matter Physics Institute of Physics Chinese Academy of Sciences Beijing China BSRF Institute of High Energy Physics Chinese Academy of Sciences Beijing China

The compression of a Zr41Ti14Cu12.5Ni10Be2..5 bulk metallic glass (BMG) is investigated at room temperature up to 2. GPa using in-situ high pressure energy dispersive X-ray diffraction with a synchrotron radiation source. The pressure-induced structural relaxation is exhibited. It is found that below about 8 GPa, the existence of excess free volume contributes to the rapid structural relaxation, which gives rise to the rapid volumetric change, and the structural relaxation results in the structural stiffness under higher pressure.

关键词： bulk metallic glass, high pressure, structural relaxation, synchrotron radiation.

Approximation of dense-n/2.subgraph and table compression problems

在线全文

学校读者我要写书评

暂无评论

science China mathematics 2005年第9期48卷 1223-1233页

作者： XU Dachuan~1 HAN Jiye~2.& DU Dongle~3.1. College of Applied sciences,beijing University of Technology,beijing 10002.,China 2. Institute of Applied {3.,Academy of {3. and systems science,chinese Academy of sciences,beijing 100080,China 3. Faculty of Administration,University of New Brunswick,P.O.Box 4400,Fredericton,NB E3. 5A3.Canada College of Applied sciences Beijing University of Technology Beijing 100022 China Institute of Applied mathematics Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing 100080 China Faculty of Administration University of New Brunswick P.O. Box 4400 Fredericton NB E3B 5A3 Canada

We develop improved approximation algorithms for two NP-hard problems: the dense-n/2.subgraph and table *** on SDP relaxation and advanced rounding techniques,we first propose 0. 5982.and 0. 5970-approximation algorithms respec- tively for the dense-n/2.subgraph problem (DSP) and the table compression problem (TCP). Then we improve these bounds to 0. 62.3.and 0. 6708 respectively for DSP and TCP by adding triangle inequalities to strengthen the SDP *** results for TCP beat the 0. 5 bound of a simple greedy algorithm on this problem,and hence answer an open question of Anderson in an affirmative way.

关键词： dense-n/2.subgraph problem(DSP) table compression problem(TCP) SDP approximation ratio

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 {2., {3., China 2. Graduate School of the chinese Academy of {2., beijing 10003., China 3. General Establishment of Space science and Application, chinese Academy of {2., {3., China Correspondence should be addressed to L Congmin Center for Space science and Applied Research Chinese Academy of Sciences Beijing China Graduate School of the chinese Academy of sciences Beijing China General Establishment of Space science and Application Chinese Academy of Sciences 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.

Pattern phenomena in an rf discharge dusty plasma system

在线全文

学校读者我要写书评

暂无评论

science China(Physics,Mechanics & Astronomy) 2006年第5期49卷 588-596页

作者： HUANG Feng1,2. YE Maofu2.& WANG Long2.1. College of {3., China Agricultural University, beijing 100083. China 2. Institute of Physics, {2. Academy of {3., beijing 100080, China College of science China Agricultural University Beijing China Institute of Physics Chinese Academy of Sciences Beijing China

Various dust patterns are observed in an rf discharge dusty plasma system. According to the dust growth process from small to large in size, the formation of different dust patterns can be divided into two stages: the small-particle stage (or dust cloud stage), and the large-particle stage (or dust crystal stage). The evolution relations between different dust patterns with gas pressure changing are investigated. Dust voids, dust acoustic waves and strong turbulence modes are presented at the small-particle stage. The self-organized dust lattices and dust clusters are investigated at the large-particle stage. The static structure of a dust lattice is characterized by means of the pair correlation function. Dust clusters formed by particles with different numbers and the regular evolution of the clusters with gas pressure are also investigated. The packing sequences of dust clusters are verified through two-dimensional confined molecular dynamics simulations.

关键词： dusty plasma dust patterns

Some properties on multivariate filter banks with a matrix factorization

在线全文

学校读者我要写书评

暂无评论

Progress in Natural science:Materials International 2005年第2期15卷 20-30页

作者： LIAN Qiaofang1, XIAO Hongying2. and CHEN Qiuhui3.1. Department of mathematics, beijing Jiaotong University, beijing 100044, China 2. Institute of mathematics, Academy of mathematics and System sciences, chinese Academy of sciences, beijing 100080, China 3. Department of Scientific Computing and Computer Applications, Zhongshan University, Guangzhou 5102.5, China) Dept. of mathematics Beijing Jiaotong Univ. Beijing 100044 China Inst. of mathematics Acad. of Math. and System Sci. Chinese Acad. of Sciences Beijing 100080 China Dept. of Scientific Computing Zhongshan Univ. Guangzhou 510275 China

A class of multivariate filter banks with a matrix factorization has been developed by Chen et al. The main purpose of this paper is to discuss some further properties of this kind of filter bank, such as the completeness, accuracy of the corresponding scaling functions and the relationships with Daubechies' wavelets and the multi-wavelets provided by Chui and Lian. Moreover, some examples are given to show that this kind of filter bank has a higher accuracy for the scaling functions.

关键词： filter banks completeness accuracy matrix factorization

A new DNA algorithm to solve graph coloring problem

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Progress in Natural science:Materials International 2007年第6期17卷 733-738页

作者： Jiang Xingpeng1, Li Yin2. Meng Ya3.and Meng Dazhi2.1. National Laboratory of Pattern Recognition,Institute of Automation, chinese Academy of {3., {2., China 2. College of Applied {3., beijing University of Technology, beijing 10002., China 3. School of science, beijing Institute of Technology, beijing 100081, China) National Laboratory of Pattern Recognition Institute of Automation Chinese Academy of Sciences Beijing 100080 China College of Applied sciences Beijing University of Technology Beijing 100022 China School of science Beijing Institute of Technology Beijing 100081 China

Using a small quantity of DNA molecules and little experimental time to solve complex problems successfully is a goal of DNA computing. Some NP-hard problems have been solved by DNA computing with lower time complexity than conventional computing. However, this advantage often brings higher space complexity and needs a large number of DNA encoding molecules. One example is graph coloring problem. Current DNA algorithms need exponentially increasing DNA encoding strands with the growing of problem size. Here we propose a new DNA algorithm of graph coloring problem based on the proof of four-color theorem. This algorithm has good properties of needing a relatively small number of operations in polynomial time and needing a small number of DNA encoding molecules (we need only 6R DNA encoding molecules if the number of regions in a graph is R).

关键词： DNA computing NP-hard problem graph coloring problem.

Effect of rock mass structure and block size on the slope stability——Physical modeling and discrete element simulation

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science China(Technological sciences) 2005年第Z1期48卷 1-17页

作者： LI Shihai1, LIAN Zhenzhong1,2.& J. G. Wang3.1. Institute of Mechanics, chinese Academy of sciences, {2., China 2. Graduate School, chinese Academy of sciences, beijing 100060, China 3. Tropical Marine science Institute, National University of Singapore, Singapore 1192.0 Institute of Mechanics Chinese Academy of Sciences Beijing 100080 China Graduate School Chinese Academy of Sciences Beijing 100060 China Tropical Marine science Institute National University of Singapore Singapore 119260 Singapore

This paper studies the stability of jointed rock slopes by using our improved three-dimensional discrete element methods (DEM) and physical modeling. Results show that the DEM can simulate all failure modes of rock slopes with different joint configurations. The stress in each rock block is not homogeneous and blocks rotate in failure development. Failure modes depend on the configuration of joints. Toppling failure is observed for the slope with straight joints and sliding failure is observed for the slope with staged joints. The DEM results are also compared with those of limit equilibrium method (LEM). Without considering the joints in rock masses, the LEM predicts much higher factor of safety than physical modeling and DEM. The failure mode and factor of safety predicted by the DEM are in good agreement with laboratory tests for any jointed rock slope.

关键词： rock masses, slope stability, DEM simulation, block size effect, joints configuration effect, limit equilibrium method.