检索结果-南通市图书馆

台湾研究 2024年第1期 1-14页

作者： institute of Taiwan Studies, chinese {2. of Social {3. 中国社会科学院台湾研究所

2.2.年1月13.,台湾地区领导人和立法机构“二合一”选举落下幕。民进党籍候选人赖清德、萧美琴当选台湾地区正副领导人。台湾地区立法机构总额113.中,中国国民党获52.,民进党获51席,民众党获8席,无党籍及未经政党推荐者获2..

关键词：中国国民党民进党立法机构台湾地区民众党推荐者二合一候选人

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, Beijing {2., china 2. institute of computing technology, chinese academy of sciences, Beijing {2., china 3. institute of Software, chinese academy of sciences, Beijing {2., china 4. Graduate University of chinese academy of sciences, Beijing 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.

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 {2.,chinese academy of sciences,Beijing 100080,china 2.academy of Mathematics and Systems Science,chinese academy of sciences,Beijing 100080,china 3.Graduate University of chinese academy of sciences,Beijing 100080,china institute of computing {2. 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.

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

Modeling of elastic wave propagation on a curved free surface using an improved finite-difference algorithm

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2004年第5期47卷 633-648页

作者： WANG Xiuming1,3.& ZHANG Hailan2.1. CSIRO Petroleum, ARRC, PO BOX 113., technology Park, Bentley, WA 6102. Australia 2. institute of Acoustics,{2., Beijing 100080, china 3. Present address: institute of Acoustics,{2., Beijing 100080, china 1. CSIRO Petroleum ARRC Technology Park PO BOX 1130 6102 Bentley WA Australia 2. institute of Acoustics Chinese Academy of Sciences 100080 Beijing China

Based on existing direct and imaging methods of a staggered finite-difference scheme, an improved algorithm for staggered finite-difference is proposed to implement rugged topographic free boundary conditions. This method assumes that the free surface can be implemented with horizontal and vertical free surface segments and their corners; the free surface passes through the grid points of shear stress components, instead of the normal stress components. Imaging is carried out for stress components in both horizontal and vertical directions, thus increasing the accuracy. To update particle- velocities, imaging and updating are first performed in the horizontal direction, and then in the vertical direction. The numerical results for elastic flat horizontal free surface with the imaging method and those for flat free surfaces of various slope angles with the proposed method are compared, and are shown to be in good agreement. The advantage of the proposed method is that only the stresses are dealt with in implementing the free surface into the staggered algorithm, which improves computation efficiency.

关键词： elastic wave simulation, curved free surface, staggered finite-difference, algorithm stability.

MULTIVARIATE FOURIER SERIES OVER A CLASS OF NON TENSOR-PRODUCT PARTITION DOMAINS

在线全文

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2003年第1期21卷 53-62页

作者： Jiachang Sun(Parallel computing Division, institute of Software,{2., Beijing {3., china) Parallel computing Division Institute of Software Chinese Academy of Sciences 北京 100080

This paper finds a way to extend the well-known Fourier methods, to so-called n+1 directions partition domains in n-dimension. In particular, in 2.D and 3.D cases, we study Fourier methods over 3.direction parallel hexagon partitions and 4-direction parallel parallelogram dodecahedron partitions, respectively. It has pointed that, the most concepts and results of Fourier methods on tensor-product case, such as periodicity,orthogonality of Fourier basis system, partial sum of Fourier series and its approximation behavior, can be moved on the new non tensor-product partition case.

关键词： Multivariate Fourier methods Non tensor-product partitions Multivariate Fourier series

Formal Verification under Unknown Constraints

在线全文

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural sciences 2005年第1期10卷 43-46页

作者： LI Guang-hui 1,2.3., LI Xiao-wei 2.3.. School of Information Engineering, Zhejiang Forestry College, Hangzhou 3.13.0, Zhejiang, china {3.,{2., Beijing 100080, china 3. Graduate School of the{2., Beijing 10003., china School of Information Engineering Zhejiang Forestry College Hangzhou 311300 Zhejiang China

We present a formal method of verifying designs with unknown constraints (e.g., black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) ***,this method can avoid the potential memory explosion, which the binary decision diagram (BDD) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.

关键词： formal verification unknown constraints black box Boolean satisfiability Boolean comparison

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, {2. of Physics, chinese academy of sciences, Beijing 100080, china 3. BSRF, {2. of High Energy Physics, chinese academy of sciences, Beijing 10003., china 1. Key Laboratory of Metastable Materials Science and technology Yanshan University 066004 Qinhuangdao China 2. Center for Condensed Matter Physics Institute of Physics Chinese Academy of Sciences 100080 Beijing China 3. BSRF Institute of High Energy Physics Chinese Academy of Sciences 100039 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.

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,{3. {2. of sciences,Beijing 100080,china 2. institute of Chemistry,{3. {2. of sciences,Beijing 100080,china 3. Graduate University of{12.,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.

^(40)Ar/^(3.)Ar dating of shear deformation of the Xianshuihe fault zone in west Sichuan and its tectonic significance

在线全文

学校读者我要写书评

暂无评论

Science china Earth sciences 2004年第9期47卷 794-803页

作者： ZHANG Yueqiao1, CHEN Wen2. 3.& YANG Nong1 1. institute of Geomechanics, chinese {2. of Geological sciences, Beijing 100081, china 2. institute of Geology, chinese {2. of Geological sciences, Beijing 10003., china 3. institute of Geology and Geophysics,{13., Beijing 10002., china institute of Geomechanics Chinese Academy of Geological Sciences Beijing 100081 China institute of Geology Chinese Academy of Geological Sciences Beijing 100037 China institute of Geology and Geophysics Chinese Academy of Sciences Beijing 100029 China

Based on field geological survey, structural measurements and classical Ar/Ar dating of mica, biotite and K-feldspar, we obtain cooling ages for Miocene left-lateral shear along the Xianshuihe fault zone. The results document two thermal events during the sinistral shear. The early event (12.10 Ma) corresponds to rapid cooling of the Zheduoshan granitic massif from above 700℃ to below 3.0℃. The late event (5-3.5 Ma) corresponds to cooling of granites intruded along the eastern side of the fault zone. These dating results provide important thermochronological constraint on the timing of late Cenozoic eastward extrusion of the Chuan-Dian Block in the SE Tibetan margin.

关键词： Xianshuihe fault zone, Zheduoshan granitic massif, sinistral shear deformation, 40Ar/3.Ar dating, late Cenozoic.

Discovery of immune related factors in Fenneropenaeus chinensis by annotation of ESTs

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2004年第1期14卷 48-55页

作者： SHEN Yaoqing 1,2. , XIANG Jianhai 1*, WANG Bing 1,2. , LI Fuhua 1 and TONG Wei 3.1. Experimental Marine Biology Laboratory, institute of Oceanology,{3., Qingdao 2.6071,{2. 2. Graduate School of the{3., Beijing 10003., china 3. Genomics & Bioinformatics institute,{3., Beijing 1013.0, china) chinese Acad Sci Inst Oceanol Expt Marine Biol Lab Qingdao 266071 Peoples R China chinese Acad Sci Grad Sch Beijing 100039 Peoples R China chinese Acad Sci Geonom & Bioinformat Inst Beijing 101300 Peoples R China

A total of 10446 expressed sequence tags (ESTs) are obtained by a large scale sequencing of a cDNA library from cephalothorax of adult Fenneropenaeus chinensis . An EST analysis platform was built up based on local computers and bioinformatic techniques were used to annotate these ESTs in order to promptly find possible functional genes, especially for immune related factors. About 4% of the ESTs show similarity to the coding sequences of such factors, including lectin, serine protease, serpin, lysozyme, etc. These ESTs provide a partial profile of the immune system in F. chinensis and useful information for further study on these genes.

关键词： Fenneropenaeus chinensis bioinformatics ESTs immune factors