检索结果-南通市图书馆

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

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

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 {4., 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 10004., 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.

Some key technics of drop tower experiment device of National Microgravity Laboratory (China) (NMLC)

在线全文

学校读者我要写书评

暂无评论

Science China(Technological sciences) 2005年第3期48卷 305-316页

作者： ZHANG Xiaoqian 1 , YUAN Longgen 1 , WU Wendong 1 , TIAN Lanqiao 2.& YAO Kangzhuang 2.1. institute of Engineering Thermophysics, chinese academy of sciences, Beijing {2., China 2. institute of Mechanics, chinese academy of sciences, Beijing {2., China 1. institute of Engineering Thermophysics Chinese Academy of Sciences 100080 Beijing China 2. institute of Mechanics Chinese Academy of Sciences 100080 Beijing China

Drop tower is an important ground based facility for microgravity science experiment. The technical performances of the drop tower NMLC are advanced compared with similar facilities in the US, Germany and Japan. The main components such as drop capsule, deceleration devices, release mechanism present its advantages and creativities.

关键词： drop tower facility,drop capsule,deceleration devices,release mechanism.

Algebraically explicit analytical solu-tions for the unsteady non-Newtonian swirling flow in an annular pipe

在线全文

学校读者我要写书评

暂无评论

Science China(Physics,Mechanics & Astronomy) 2006年第4期49卷 396-400页

作者： CAI Ruixian1 & GOU Chenhua1,2.1. institute of Engineering Thermophysics, chinese academy of sciences, Beijing {2., China 2. Graduate School, chinese academy of sciences, Beijing {2., China 1. institute of Engineering Thermophysics Chinese Academy of Sciences Beijing 100080 China 2. Graduate School Chinese Academy of Sciences Beijing 100080 China

This paper presents two algebraically explicit analytical solutions for the incompressible unsteady rotational flow of Oldroyd-B type in an annular pipe. The first solution is derived with the common method of separation of variables. The second one is deduced with the method of separation of variables with addition developed in recent years. The first analytical solution is of clear physical meaning and both of them are fairly simple and valuable for the newly developing computational fluid dynamics. They can be used as the benchmark solutions to verify the applicability of the existing numerical computational methods and to inspire new differencing schemes, grid generation ways, etc. Moreover, a steady solution for the generalized second grade rheologic fluid flow is also presented. The correctness of these solutions can be easily proven by substituting them into the original governing equation.

关键词： analytical solution, Oldroyd-B type fluid, swirling flow, non-Newtonian.

Analysis and application of automatic deformation monitoring data for buildings and structures of mining area

在线全文

学校读者我要写书评

暂无评论

中国有色金属学会会刊：英文版 2011年第S3期21卷 516-522页

作者： XIAO Jie1, 2. 3, ZHANG Jin4.1. institute of Geodesy and Geophysics, chinese academy of sciences, Wuhan 4.0077, China 2. Key Laboratory of Dynamic Geodesy, institute of Geodesy and Geophysics, chinese academy of sciences, Wuhan 4.0077, China 3. Graduate School of chinese academy of sciences, Beijing 10004., China 4. Department of Surveying and Mapping, Taiyuan University of technology, Taiyuan 03002., China Taiyuan Univ Technol Dept Surveying & Mapping Taiyuan 030024 Peoples R China chinese Acad Sci Inst Geodesy & Geophys Key Lab Dynam Geodesy Wuhan 430077 Peoples R China chinese Acad Sci Grad Sch Beijing 100049 Peoples R China

The buildings and structures of mines were monitored automatically using modern surveying technology. Through the analysis of the monitoring data, the deformation characteristics were found out from three aspects containing points, lines and regions, which play an important role in understanding the stable state of buildings and structures. The stability and deformation of monitoring points were analysed, and time-series data of monitoring points were denoised with wavelet analysis and Kalman filtering, and exponent function and periodic function were used to get the ideal deformation trend model of monitoring points. Through calculating the monitoring data obtained, analyzing the deformation trend, and cognizing the deformation regularity, it can better service mine safety production and decision-making.

关键词： wavelet analysis Kalman filtering deformation monitoring data analysis mine

Explicit analytical solutions of the anisotropic Brinkman model for the natural convection in porous media(Ⅱ)

在线全文

学校读者我要写书评

暂无评论

Science China(Physics,Mechanics & Astronomy) 2005年第4期48卷 422-430页

作者： CAI Ruixian1, GOU Chenhua1, 2.& ZHANG Na1 1. institute of Engineering Thermophysics, chinese academy of sciences, Beijing {2., China 2. Graduate School, chinese academy of sciences, Beijing {2., China 1. institute of Engineering Thermophysics Chinese Academy of Sciences 100080 Beijing China 2. Graduate School Chinese Academy of Sciences 10080 Beijing China

Some algebraically explicit analytical solutions are derived for the anisotropic Brinkman model―an improved Darcy model―describing the natural convection in porous media. Besides their important theoretical meaning (for example, in analyzing the non-Darcy and anisotropic effects on the convection), such analytical solutions can be the benchmark solutions that can promote the development of computational heat and mass transfer. Some solutions considering the anisotropic effect of permeability have been given previously by the authors, and this paper gives solutions including the anisotropic effect of thermal conductivity and the effect of heat sources.

关键词： explicit analytical solution, porous medium, natural convection, Brinkman model, anisotropic.

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.,{4. {4. of sciences,Beijing 100080,China 2.{4. of Mathematics and Systems Science,{4. {4. of sciences,Beijing 100080,China 3 Graduate University of{12.,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.

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

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,{2., 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.

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 1130, technology Park, Bentley, WA 6102. Australia 2. {4. of Acoustics,{2., Beijing 100080, China 3. Present address: {4. 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.

Magnetic properties of Jiaxian red clay sequences from northern chinese Loess Plateau and its paleoclimatic significance

在线全文

学校读者我要写书评

暂无评论

Science China Earth sciences 2005年第8期48卷 1234-1245页

作者： QIANG Xiaoke, AN Zhisheng, LI Huamei, CHANG Hong & SONG Yougui 1. SKLLQG, institute of Earth Environment, chinese academy of sciences, Xi’an 710075, China 2. Guangzhou institute of Geochemistry, chinese academy of sciences, Guangzhou 51064., China 1. chinese academy of sciences SKLLQG Institute of Earth Environment 710075 Xi’an China 2. chinese academy of sciences Guangzhou Institute of Geochemistry 510640 Guangzhou China

Detailed rock magnetism investigation of the Jiaxian red clay sequences indicated that there are common magnetic mineralogy properties in red clay and loess-paleosol sequences from the chinese Loess Plateau as well as the marked properties of themselves, magnetic min-erals mainly with magnetite, maghemite, hematite, and possibly limonite/goethite contributing to the magnetic behavior. Meanwhile, it is found that the strong paleosol in red clay sequences has a lower coercivity and higher content of ultra-fine ferrimagnetic grains than that of the weak pa-leosol, which is similar to loess and paleosol in upper Wucheng Loess sequences, and indicates that humid conditions and relatively strong pedogenesis play a significant role in the increase of ultra-fine magnetic minerals and transformation of the magnetic minerals. This suggests that, like Quaternary loess-paleosols, the change of characteristics of paleoclimatic conditions of the late Tertiary red clay deposits is fluctuant. In addition, the results of magnetic hysteresis properties show that the applied saturated field for samples from the Jiaxian red clay sequences is higher than that of the samples from eastern and southern chinese Loess Plateau. It is obviously shown that there exist more hard magnetic minerals and relatively weak biochemical processes in the Jiaxian red clay sequences on northern chinese Loess Plateau. We conclude that the paleocli-matic environment is different between northern and eastern/southern chinese Loess Plateau, and it should be more arid in northern chinese Loess Plateau.

关键词： northern chinese Loess Plateau, red clay, magnetic property, paleoclimatic significance.