检索结果-南通市图书馆

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 43.077, China 2. Key Laboratory of Dynamic Geodesy, Institute of Geodesy and Geophysics, chinese academy of sciences, Wuhan 43.077, China 3. graduate school of chinese academy of sciences, beijing 100049, China 4. Department of Surveying and Mapping, Taiyuan University of Technology, Taiyuan 03.024, China Institute of Geodesy and Geophysics Chinese Academy of Sciences Wuhan 430077 China Key Laboratory of Dynamic Geodesy Institute of Geodesy and Geophysics Chinese Academy of Sciences Wuhan 430077 China graduate school of chinese academy of sciences Beijing 100049 China Department of Surveying and Mapping Taiyuan University of Technology Taiyuan 030024 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

Representation of microscale ocean wavenumber spectrum correct to the second order

在线全文

学校读者我要写书评

暂无评论

Science China Earth sciences 2005年第4期48卷 549-554页

作者： YUAN Yeli2 & HUA Feng1,2,3.1. Institute of Oceanology, chinese academy of sciences, Qingdao 266071, China 2. Key Laboratory of Marine Science and Numerical Modeling, State Oceanic Administration, Qingdao 266061, China 3. graduate school of the chinese academy of sciences, {3. 10003.. China Key Laboratory of Marine Science and Numerical Modeling State Oceanic Administration Qingdao China Institute of Oceanology Chinese Academy of Sciences Qingdao China graduate school of the chinese academy of sciences Beijing China

In this paper, the analytical representations of four wave source functions in high-frequency spectrum range are given on the basis of ocean wave theory and dimensional analysis, and the perturbation method is used to solve the governing equations of ocean wave high-frequency spectrum on the basis of the temporally stationary and locally homogeneous scale relations of microscale wave. The microscale ocean wavenumber spectrum correct to the second order has an explicit structure, its first order part represents the equilibrium between dif- ferent source functions, and its second order part represents the contribution of microscale wave propagation.

关键词： temporally stationary and locally homogeneous, source function in high-frequency spectrum range, microscale ocean wavenumber spectrum.

Formal analysis and design of multi-party fair exchange protocols

在线全文

学校读者我要写书评

暂无评论

Science in China(Series F) 2006年第2期49卷 155-174页

作者： QING Sihan1,2,3.& LI Gaicheng1,3.1. Engineering Research Center for Information Security Technology, Institute of Software, chinese academy of sciences, beijing 100080, China 2. beijing Zhongke Ansheng Corporation of Information Technology, beijing 100080, China 3. graduate school of the chinese academy of sciences, beijing 10003.. China Engineering Research Center for Information Security Technology Institute of Software Chinese Academy of Sciences beijing Zhongke Ansheng Corporation of Information Technology graduate school of the chinese academy of sciences

Based on the origin of message items and channel combination between transacting parties, and events and relations among events, this paper presents a concise, precise, and hierarchical model for general fair exchange protocols, formally specifies various security requirements which are able to reflect inherent requirements for fair exchange protocols more rigorously, and partition these security requirements with fine granularity. This work helps analyze, debug, and design multi-party fair exchange protocols more effectively and elaborately,

关键词： fair exchange logical protocol formal model security requirement.

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 2. Institute of Computing Technology, chinese academy of sciences, beijing 100080, China {3. of the chinese academy of sciences, beijing 10003.. China school of Information Engineering Zhejiang Forestry College Hangzhou Zhejiang China Institute of Computing Technology Chinese Academy of Sciences Beijing China graduate school of the chinese academy of sciences Beijing 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

A tentative study for the prediction of the CME related geomagnetic storm intensity and its transit time

在线全文

学校读者我要写书评

暂无评论

Science China(Technological sciences) 2005年第6期48卷 648-668页

作者： ZHAO Xinhua1,2 & FENG Xueshang1,3.1. SIGMA Weather Group, Key Laboratory of Space Weather, Center for Space Science and Applied Re-search, chinese academy of sciences, beijing 100080, China 2. graduate {3. of the chinese academy of sciences, beijing 10003.. China 3. {3. of Geophysics and Geoinformation Systems, China University of Geosciences, beijing 100083. China SIGMA Weather Group Key Laboratory of Space Weather Center for Space Science and Applied Research Chinese Academy of Sciences Beijing China graduate school of the chinese academy of sciences Beijing China school of Geophysics and Geoinformation Systems China University of Geosciences Beijing China

Using 80 CME-ICME events during 1997.1―2002.9, based on the eruptive source locations of CMEs and solar magnetic field observation at the photosphere, a current sheet magnetic coordinate (CMC) system is established in order to study the propagation of CME and its geoeffectiveness. In context of this coordinate system, the effect of the eruptive source location and the form of heliospheric current sheet (HCS) at the eruptive time of CME on the geomagnetic storm intensity caused by CME and the CME’s transit time at the Earth is investigated in detail. Our preliminary conclusions are: 1) The geomagnetic disturbances caused by CMEs tend to have the so-called “same side-opposite side effect”, i.e. CMEs erupt from the same side of the HCS as the earth would be more likely to arrive at the earth and the geomagnetic disturbances associated with them tend to be of larger magnitude, while CMEs erupting from the opposite side would arrive at the earth with less probability and the corresponding geomagnetic disturbance magnitudes would be relatively weaker. 2) The angular separation between the earth and the HCS affect the corresponding disturbance intensity. That is, when our earth is located near the HCS, adverse space weather events occur most probably. 3. The erupting location of the CME and its nearby form of HCS will also affect its arrival time at the earth. According to these conclusions, in this context of CMC coordinate we arrive at new prediction method for estimating the geomagnetic storm intensity (Dstmin) caused by CMEs and their transit times. The application of the empirical model for 80 CME-ICME events shows that the relative error of Dst is within 3.% for 59% events with Dstmin≤?50 nT, while the averaged absolute error of transit time is lower than 10 h for all events.

关键词： coronal mass ejections, current sheet magnetic coordinate system, geomagnetic storm intensity, transit time, prediction method.

Cloning and expression of putative ethylene receptor genes in soybean plant

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2007年第10期17卷 1152-1160页

作者： Xie Zongming1,2,3. Lei Gang1,2, Wuriyanghan Hada1,2, Tian Aiguo1, Zhang Jinsong1 and Chen Shouyi1(1. National Key Laboratory of Plant Genomics, Institute of Genetics and Developmental Biology, chinese academy of sciences, beijing 100101, China 2. graduate {3. of chinese academy of sciences, beijing 10003.. China 3. Xinjiang academy of Agricultural and Reclamation Science, Shihezi 83.000, China) National Key Laboratory of Plant Genomics Institute of Genetics and Developmental Biology Chinese Academy of Sciences Beijing 100101 China graduate school of chinese academy of sciences Beijing 100039 China Xinjiang academy of Agricultural and Reclamation Science Shihezi 832000 China

Ethylene plays important roles in plant growth, development, and stress responses, and ethylene receptors have been identified and studied extensively in various plant species. Here we report the cloning of four ethylene receptor genes from soybean, i.e. GmETR1, GmERS1, GmETR2 and GmEIN4. Construction of the phylogenic tree showed that GmETR1 and GmERS1 belong to subfamily I whereas GmETR2 and GmEIN4 belong to subfamily II. The four ethylene receptor genes showed different tissue-specific expression patterns in roots, stems, leaves, cotyledons, flowers, pods and seeds of soybean. These genes were differentially regulated by various abiotic stresses and plant hormones. The possible roles of the four genes in soybean plant were also discussed.

关键词： abiotic stress expression analysis ethylene receptor plant hormone soybean.

Evaluation of Sustainable Land Management and Diagnosis of Obstacle at County Scale in Sichuan Basin:Taking Lezhi County as Example

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural sciences 2006年第4期11卷 1046-1051页

作者： CHEN Guangjian 1, 2, 3., LIU Qing 1 1. Chengdu Institute of Biology, chinese academy of sciences, Chengdu 610041, Sichuan,China 2. graduate University of chinese academy of sciences, {3. 100049, China 3. academy of Land Reconnaissance and Layout of Sichuan Province , Chengdu 61003., Sichuan, China Chengdu Institute of Biology Chinese Academy of Sciences Chengdu Sichuan China graduate University of chinese academy of sciences Beijing China academy of Land Reconnaissance and Layout of Sichuan Province Chengdu Sichuan China

This paper established sustainable land resources evaluating indicators fit for hilly area in Sichuan Basin, Southwest of China, and evaluated the case of sustainable land management of Lezhi County from 1990 to 2001. The result showed that the land resource sustainable utilization ability in Lezhi County is belong to Second level （better sustainable）. Secondly, this paper diagnosed some years obstacles of sustainable land management of Lezhi County from base period to goal period and compared the obstacles factors in the indicators system. There were 16 indexes orderly become major affect factor to land sustainable utilization of Lezhi county in indicator system, of which there are 8 obstacles indexes exist both in 1990 and 2001. The value of obstacles degree of five indicators exceeded 5 in 1990, but in 2001, only two indicators＇ values were more than 5.

关键词： land resources sustainable land management assessment indicators diagnosis of obstacle

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 100080, China 2. Institute of Computing Technology, chinese academy of sciences, beijing 100080, China 3. Institute of Software, chinese academy of sciences, beijing 100080, China 4. graduate University of chinese academy of sciences, beijing 100049, China academy of Mathematics and Systems Science Chinese Academy of Sciences Institute of Computing Technology Chinese Academy of Sciences Institute of Software Chinese Academy of Sciences graduate University of chinese academy of sciences

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.

Interannual variability of Antarctic Oscillation and its influence on East Asian climate during boreal winter and spring

在线全文

学校读者我要写书评

暂无评论

Science China Earth sciences 2006年第5期49卷 554-560页

作者： FAN Ke1,2,3.& WANG Huijun2 1. Nansen-Zhu International Research Center, Institute of Atmospheric Physics, chinese academy of sciences, beijing 100029, China 2. Department of Atmospheric Science, Yunnan University, Kunming 650091, China 3. graduate University of the chinese academy of sciences, beijing 100049, China Nansen-Zhu International Research Center Institute of Atmospheric Physics Chinese Academy of Sciences Beijing China Department of Atmospheric Science Yunnan University Kunming China graduate University of the chinese academy of sciences Beijing China

The interannual variability of Antarctic Oscillation (AAO) and its influence on East Asian climate during both boreal winter and spring are addressed. The results show that the positive AAO anomaly decreases the cold activity over East Asia during both boreal winter and spring. AAO-related barotropic meridional teleconnection from Antarctic to Arctic is found through analysis of mean me- ridional circulations. This meridional teleconnection is remarkable over Eurasia during boreal winter and over the Pacific Ocean during boreal spring. The results also show that zonal mean zonal wind at high latitudes in Southern Hemisphere has well positive correlation with that of Eurasia during boreal winter and has negative correlation with Pacific North American teleconnection (PNA) during boreal spring, which again display the meridional teleconnection. Thus, local meridional teleconnection is a possible linkage for interaction of circulations at mid-high latitudes between both hemispheres.

关键词： Antarctic Oscillation, Eurasian west wind, meridional teleconnection, mean meridional circulation.