Owing to the variability of mine surfaces, it is difficult to obtain the deformation monitoring data of the observation stations by traditional leveling technique. GPS RTK (Real-Time Kinematic) technique was employe...Owing to the variability of mine surfaces, it is difficult to obtain the deformation monitoring data of the observation stations by traditional leveling technique. GPS RTK (Real-Time Kinematic) technique was employed to the subsidence observation in this paper, and its main sources of errors including rover pole deflection of the vertical, un-modeled systematic errors (gross error, multipath delay etc.) and the height transformation error, were analyzed systematically. Based on the fundamental theories of spherical fit- ting and Empirical Mode Decomposition (EMD), the error reduction models were studied exhaustively. And two experiments were done in different environment to test the proposed models. The results show that the proposed methods can achieve a fourth-grade leveling accuracy, with (Root-Mean-Square) RMS in three orthogonal directions (N, E and H) of 4.1, 3.3 and 3.1 ram, respectively, by 3-5 rain continuous shaking of the observation GPS antenna, fully satisfying for mine surface subsidence deformation monitoring.展开更多
The Trusted Platform Module (TPM) is a dedicated hardware chip designed to provide a higher level of security for computing platform. All TPM functionalities are implemented in TPM corntrends to achieve specific sec...The Trusted Platform Module (TPM) is a dedicated hardware chip designed to provide a higher level of security for computing platform. All TPM functionalities are implemented in TPM corntrends to achieve specific security goals. We attempt to analyze the security properties of these commands, especially the key management API. Our study utilizes applied pi calculus to forrmlize the commands and determine how their security properties affect TPM key rmnagement. The attacker is assumed to call TPM comrmnds without bounds and without knowing the TPM root key, expecting to obtain or replace the user key. The analysis goal in our study is to guarantee the corre- sponding property of API execution and the integrity of API data. We analyze the security properties of TPM commands with a process reduction method, identify the key-handle hijack attack on a TPM newly created key, and propose reasonable solutions to solve the problem. Then, we conduct an experiment involving a key-handle attack, which suc- cessfully replaces a user key with an attacker's key using lmlicious TPM software. This paper discloses the weakness of the relationship between the key handle and the key object. After the TPM software stack is compromised, the attacker can hunch a keyhandle attack to obtain the user key and even break into the whole storage tree of user keys.展开更多
Using a Barkley model as an example, we study spirM waves and spiral tips in a gradient excitable medium. The gradient distribution of parameters is introduced to depict the inhomogeneous medium. It is found that the ...Using a Barkley model as an example, we study spirM waves and spiral tips in a gradient excitable medium. The gradient distribution of parameters is introduced to depict the inhomogeneous medium. It is found that the parameter fluctuations play an important role in the morphology of spiral pattern and the movements of spiral tips. For varied gradient parameters, it is observed that there exist three kinds of spiral behaviors, stable rotation, rebound of spiral tip from the boundary, and spiral breakup.展开更多
This paper proposed a novel fast fractional pixel search algorithm based on polynomial model. With the analysis of distribution characteristics of motion compensation error surface inside tractional pixel searching wi...This paper proposed a novel fast fractional pixel search algorithm based on polynomial model. With the analysis of distribution characteristics of motion compensation error surface inside tractional pixel searching window, the matching error is fitted with parabola along horizontal and vertical direction respectively. The proposcd searching strategy needs to check only 6 points rather than 16 or 24 points, which are used in the l lierarchical Fractional Pel Search algorithm (HFPS) for 1/4-pel and 1/8-pel Motion Estimation (ME). The experimental results show that the proposed algorithm shows very good capability in keeping the rate distortion performance while reduces computation load to a large extent compared with HFPS algorithm.展开更多
In order to study the rules of distribution in a plastic zone of rocks, surrounding a roadway, affected by tectonic stress, we first analyzed the mechanics of a roadway affected by tectonic stress and derived a theore...In order to study the rules of distribution in a plastic zone of rocks, surrounding a roadway, affected by tectonic stress, we first analyzed the mechanics of a roadway affected by tectonic stress and derived a theoretical formula for the plastic zone of rocks surrounding a roadway. We also analyzed the distribution characteristics of the plastic zone under different levels of tectonic stress, vertical pressure, cohesion and friction angle of the surrounding rock. Secondly, we used numerical simulation to analyze the range and shape features of the plastic zone of rocks surrounding the roadway, given different tectonic stress levels. Finally we used a rock drilling detector to carry out field measurements on the broken state of rock surrounding the roadway at the –700 substation and channels in the Xinzhuang mine of the Shenhuo mining area. Given the measured ground stress, we analyzed the relationship between tectonic stress and the distribution of this plastic zone. Our results show that the range of the plastic zone at the top and bottom of the roadway increases with an increase in tectonic stress and this increase is especially obvious at the roadway corner.展开更多
As a growing number of countries, including both developed and developing countries, have in recent yearstaken environmental regulation at different levels, a question of great concern has been raised: can the regulat...As a growing number of countries, including both developed and developing countries, have in recent yearstaken environmental regulation at different levels, a question of great concern has been raised: can the regulation alterthe existing trade volume and trade pattern, and ultimately drive pollution-intensive industries to countries with low-levelregulations or even those without regulations at all? Starting from the three different propositions concerning therelationship between environmental regulation and trade pattern, this paper applies cointegration analysis and errorcorrection model to empirically testing the relationship between environmental regulation and trade in China during theperiod of 1985-2005. Our empirical results indicate that in the short run the collection of pollution discharge fees bearsa positive impact on the export share of clean products of total exports. Thus, higher pollution discharge fees raise theratio of clean products exports to total exports. This further indicates that more stringent environmental regulationpromotes the exports of clean products. In the long run pollution discharge fees are positively correlated with the exportshare of clean products but negatively associated with their import share. Such correlations imply that environmentalregulation tends to facilitate the international specialization in line with comparative advantages.展开更多
Jacquard image segmentation is one of the primary steps in image analysis for jacquard pattern identification. The main aim is to recognize homogeneous regions within a jacquard image as distinct, which belongs to dif...Jacquard image segmentation is one of the primary steps in image analysis for jacquard pattern identification. The main aim is to recognize homogeneous regions within a jacquard image as distinct, which belongs to different patterns. Active contour models have become popular for finding the contours of a pattern with a complex shape. However, the performance of active contour models is often inadequate under noisy environment. In this paper, a robust algorithm based on the Mumford-Shah model is proposed for the segmentation of noisy jacquard images. First, the Mumford-Shah model is discretized on piecewise linear finite element spaces to yield greater stability. Then, an iterative relaxation algorithm for numerically solving the discrete version of the model is presented. In this algorithm, an adaptive triangular mesh is refined to generate Delaunay type triangular mesh defined on structured triangulations, and then a quasi-Newton numerical method is applied to find the absolute minimum of the discrete model. Experimental results on noisy jacquard images demonstrated the efficacy of the proposed algorithm.展开更多
This paper examines the assumptions of the Rational Man (RM) model familiar in social and political studies. It is observed that the model is too restrictive in its explaining events and behavior in social and polit...This paper examines the assumptions of the Rational Man (RM) model familiar in social and political studies. It is observed that the model is too restrictive in its explaining events and behavior in social and political situations. It is suggested that the assumptions of RM model should be relaxed using the familiar methods and techniques of elementary formal logic. The concept of relevance is then introduced to take account of a "weaker" formal requirement in an attempt to explain events and processes in human action and/or behavior. The concept of "justification by reasons" is then introduced as a necessary though not sufficient requirement of explaining events and processes in social and political studies展开更多
A large number of studies have been conducted to find a better fit for city rank-size distributions in different countries. Many theoretical curves have been proposed, but no consensus has been reached. This study arg...A large number of studies have been conducted to find a better fit for city rank-size distributions in different countries. Many theoretical curves have been proposed, but no consensus has been reached. This study argues for the importance of examining city rank-size distribution across different city size scales. In addition to focusing on macro patterns, this study examines the micro patterns of city rank-size distributions in China. A moving window method is developed to detect rank-size distributions of cities in different sizes incrementally. The results show that micro patterns of the actual city rank-size distributions in China are much more complex than those suggested by the three theoretical distributions examined(Pareto, quadratic, and q-exponential distributions). City size distributions present persistent discontinuities. Large cities are more evenly distributed than small cities and than that predicted by Zipf′s law. In addition, the trend is becoming more pronounced over time. Medium-sized cities became evenly distributed first and then unevenly distributed thereafter. The rank-size distributions of small cities are relatively consistent. While the three theoretical distributions examined in this study all have the ability to detect the overall dynamics of city rank-size distributions, the actual macro distribution may be composed of a combination of the three theoretical distributions.展开更多
Each nationality has formed unique ethnic culture in the long history. Ethnic culture is spatially reflected byethnic distribution. The distribution of nationalities is influenced by ethnic history, culture, society a...Each nationality has formed unique ethnic culture in the long history. Ethnic culture is spatially reflected byethnic distribution. The distribution of nationalities is influenced by ethnic history, culture, society and religion, alsoaffected by regional physical setting. This paper analyzes the relationship between ethnic distribution pattern and naturalsetting with contrast analytical method. The digital elevation model (DEM) is established on basis of contour map on ascale of 1:250,000 in the Nujiang River basin, Yunnan Province by ArcGIS, a Geographic Information System (GIS)software. Based on DEM, the spatial analysis and statistical function of GIS, the landscape patterns of populationdistribution of the selected minorities is described, and 4 sub-regions are divided in the Nujiang River basin of YunnanProvince while the features and disparity of landscape pattern and its forming mechanism are discussed, along withhistorical and archaeological data. The conclusions are as follow: (1) The ethnic distribution is mosaic in the matrix ofother racial distribution, and have a distinct spatial correlation. (2) For the difference in cultivation between differentnationalities, certain nationality lived in the area suitable for production mode of its own and coincident with appropriategeographical setting. (3) The spatial distribution of settlement spots of the minorities is controlled by the convenience ofwater supply. The landscape pattern of ethnic distribution is closely relative to natural environment.展开更多
To meet the increasing research demand for deep space exploration,especially for the second libration point (L2) conditional periodic orbit (Halo orbit) in the Sun-Earth system,the methods to get analytical Halo orbit...To meet the increasing research demand for deep space exploration,especially for the second libration point (L2) conditional periodic orbit (Halo orbit) in the Sun-Earth system,the methods to get analytical Halo orbit and differential-correction Halo orbit were described firstly,and the corresponding orbits accuracy was analyzed.Then,based on the results of third-order and differential-correction Halo orbits,the formation form was studied.Analysis was carried out to discuss the influence of system amplitude,initial phase,and phase difference on the formation form,as well as that of initial orbit values on form accuracy.Finally,some simulation results demonstrate the validity of the proposed methods.展开更多
Taking the Huaihe to the Nvshanhu segment of the Tanlu( Tancheng-Lujiang) fault zone as the main research target to explore whether there has been new activity since the late Quaternary,and based on the interpretation...Taking the Huaihe to the Nvshanhu segment of the Tanlu( Tancheng-Lujiang) fault zone as the main research target to explore whether there has been new activity since the late Quaternary,and based on the interpretation of remote sensing images and repeated surface investigations,we excavated trenches at the sections where the tectonic landform is significant,identified and recorded the deformation patterns of the fault and analyzed the activity behavior. Samples of new activity and deformation were collected and oriented slices were ground based on the samples ' original state to make the micro structural analysis and demonstration. All of the above research shows very clear linear tectonic geomorphology along the fault,three trenches across the fault zone all revealed new deformation traces since late Quaternary. The latest stratum dislocated by the fault is the late Quaternary and Holocene. The main slip mode is stick slip,as represented typically by fault scarps,wedge accumulation,the faults and the filled cracks and so on. In general,it shows the characteristics of brittle high-speed deformation and belongs to the prehistoric earthquake ruins. The above understanding was confirmed partially by microscopic analysis. In addition,the similarities and differences and the possible reasons for the characteristics of the latest activities of the Tancheng-Lujiang fault zone in the north and south of the Huaihe River regions are also discussed in this paper.展开更多
基金sponsored by the National Natural Science Foundation of China (Nos.41074010, 41104005 and 40904004)the Scientific Research Foundation of Key Laboratory for Land Environment and Disaster Monitoring of SBSM (Nos.LEDM2010B12 and LEDM2009A01) the Jiangsu Qinglan Project
文摘Owing to the variability of mine surfaces, it is difficult to obtain the deformation monitoring data of the observation stations by traditional leveling technique. GPS RTK (Real-Time Kinematic) technique was employed to the subsidence observation in this paper, and its main sources of errors including rover pole deflection of the vertical, un-modeled systematic errors (gross error, multipath delay etc.) and the height transformation error, were analyzed systematically. Based on the fundamental theories of spherical fit- ting and Empirical Mode Decomposition (EMD), the error reduction models were studied exhaustively. And two experiments were done in different environment to test the proposed models. The results show that the proposed methods can achieve a fourth-grade leveling accuracy, with (Root-Mean-Square) RMS in three orthogonal directions (N, E and H) of 4.1, 3.3 and 3.1 ram, respectively, by 3-5 rain continuous shaking of the observation GPS antenna, fully satisfying for mine surface subsidence deformation monitoring.
基金This paper was supported by the National Natural Science Foundation of China under Grants No.91118006, No. 61202414 the Knowledge Innovation Project of Chinese Academy of Science under Grant No. ISCAS2009-DR14.
文摘The Trusted Platform Module (TPM) is a dedicated hardware chip designed to provide a higher level of security for computing platform. All TPM functionalities are implemented in TPM corntrends to achieve specific security goals. We attempt to analyze the security properties of these commands, especially the key management API. Our study utilizes applied pi calculus to forrmlize the commands and determine how their security properties affect TPM key rmnagement. The attacker is assumed to call TPM comrmnds without bounds and without knowing the TPM root key, expecting to obtain or replace the user key. The analysis goal in our study is to guarantee the corre- sponding property of API execution and the integrity of API data. We analyze the security properties of TPM commands with a process reduction method, identify the key-handle hijack attack on a TPM newly created key, and propose reasonable solutions to solve the problem. Then, we conduct an experiment involving a key-handle attack, which suc- cessfully replaces a user key with an attacker's key using lmlicious TPM software. This paper discloses the weakness of the relationship between the key handle and the key object. After the TPM software stack is compromised, the attacker can hunch a keyhandle attack to obtain the user key and even break into the whole storage tree of user keys.
基金Supported by National Natural Science Foundation of China under Grant No.10305005the Fundamental Research Fund for Physics and Mathematic of Lanzhou University
文摘Using a Barkley model as an example, we study spirM waves and spiral tips in a gradient excitable medium. The gradient distribution of parameters is introduced to depict the inhomogeneous medium. It is found that the parameter fluctuations play an important role in the morphology of spiral pattern and the movements of spiral tips. For varied gradient parameters, it is observed that there exist three kinds of spiral behaviors, stable rotation, rebound of spiral tip from the boundary, and spiral breakup.
基金Supported by the Doctoral Foundation of Ministry of Education of China (No.20040699015).
文摘This paper proposed a novel fast fractional pixel search algorithm based on polynomial model. With the analysis of distribution characteristics of motion compensation error surface inside tractional pixel searching window, the matching error is fitted with parabola along horizontal and vertical direction respectively. The proposcd searching strategy needs to check only 6 points rather than 16 or 24 points, which are used in the l lierarchical Fractional Pel Search algorithm (HFPS) for 1/4-pel and 1/8-pel Motion Estimation (ME). The experimental results show that the proposed algorithm shows very good capability in keeping the rate distortion performance while reduces computation load to a large extent compared with HFPS algorithm.
基金Financial support for this work, provided by the research fund of the State Key Laboratory of Coal Resources and Mine Safety of the China University of Mining & Technology (No.08kf11) is gratefully ac-knowledged
文摘In order to study the rules of distribution in a plastic zone of rocks, surrounding a roadway, affected by tectonic stress, we first analyzed the mechanics of a roadway affected by tectonic stress and derived a theoretical formula for the plastic zone of rocks surrounding a roadway. We also analyzed the distribution characteristics of the plastic zone under different levels of tectonic stress, vertical pressure, cohesion and friction angle of the surrounding rock. Secondly, we used numerical simulation to analyze the range and shape features of the plastic zone of rocks surrounding the roadway, given different tectonic stress levels. Finally we used a rock drilling detector to carry out field measurements on the broken state of rock surrounding the roadway at the –700 substation and channels in the Xinzhuang mine of the Shenhuo mining area. Given the measured ground stress, we analyzed the relationship between tectonic stress and the distribution of this plastic zone. Our results show that the range of the plastic zone at the top and bottom of the roadway increases with an increase in tectonic stress and this increase is especially obvious at the roadway corner.
文摘As a growing number of countries, including both developed and developing countries, have in recent yearstaken environmental regulation at different levels, a question of great concern has been raised: can the regulation alterthe existing trade volume and trade pattern, and ultimately drive pollution-intensive industries to countries with low-levelregulations or even those without regulations at all? Starting from the three different propositions concerning therelationship between environmental regulation and trade pattern, this paper applies cointegration analysis and errorcorrection model to empirically testing the relationship between environmental regulation and trade in China during theperiod of 1985-2005. Our empirical results indicate that in the short run the collection of pollution discharge fees bearsa positive impact on the export share of clean products of total exports. Thus, higher pollution discharge fees raise theratio of clean products exports to total exports. This further indicates that more stringent environmental regulationpromotes the exports of clean products. In the long run pollution discharge fees are positively correlated with the exportshare of clean products but negatively associated with their import share. Such correlations imply that environmentalregulation tends to facilitate the international specialization in line with comparative advantages.
基金Project (No. 2003AA411021) supported by the Hi-Tech Research andDevelopment Program (863) of China
文摘Jacquard image segmentation is one of the primary steps in image analysis for jacquard pattern identification. The main aim is to recognize homogeneous regions within a jacquard image as distinct, which belongs to different patterns. Active contour models have become popular for finding the contours of a pattern with a complex shape. However, the performance of active contour models is often inadequate under noisy environment. In this paper, a robust algorithm based on the Mumford-Shah model is proposed for the segmentation of noisy jacquard images. First, the Mumford-Shah model is discretized on piecewise linear finite element spaces to yield greater stability. Then, an iterative relaxation algorithm for numerically solving the discrete version of the model is presented. In this algorithm, an adaptive triangular mesh is refined to generate Delaunay type triangular mesh defined on structured triangulations, and then a quasi-Newton numerical method is applied to find the absolute minimum of the discrete model. Experimental results on noisy jacquard images demonstrated the efficacy of the proposed algorithm.
文摘This paper examines the assumptions of the Rational Man (RM) model familiar in social and political studies. It is observed that the model is too restrictive in its explaining events and behavior in social and political situations. It is suggested that the assumptions of RM model should be relaxed using the familiar methods and techniques of elementary formal logic. The concept of relevance is then introduced to take account of a "weaker" formal requirement in an attempt to explain events and processes in human action and/or behavior. The concept of "justification by reasons" is then introduced as a necessary though not sufficient requirement of explaining events and processes in social and political studies
基金Under the auspices of Utah Agricultural Experiment Station,Utah State University(No.UTAO 1106)
文摘A large number of studies have been conducted to find a better fit for city rank-size distributions in different countries. Many theoretical curves have been proposed, but no consensus has been reached. This study argues for the importance of examining city rank-size distribution across different city size scales. In addition to focusing on macro patterns, this study examines the micro patterns of city rank-size distributions in China. A moving window method is developed to detect rank-size distributions of cities in different sizes incrementally. The results show that micro patterns of the actual city rank-size distributions in China are much more complex than those suggested by the three theoretical distributions examined(Pareto, quadratic, and q-exponential distributions). City size distributions present persistent discontinuities. Large cities are more evenly distributed than small cities and than that predicted by Zipf′s law. In addition, the trend is becoming more pronounced over time. Medium-sized cities became evenly distributed first and then unevenly distributed thereafter. The rank-size distributions of small cities are relatively consistent. While the three theoretical distributions examined in this study all have the ability to detect the overall dynamics of city rank-size distributions, the actual macro distribution may be composed of a combination of the three theoretical distributions.
文摘Each nationality has formed unique ethnic culture in the long history. Ethnic culture is spatially reflected byethnic distribution. The distribution of nationalities is influenced by ethnic history, culture, society and religion, alsoaffected by regional physical setting. This paper analyzes the relationship between ethnic distribution pattern and naturalsetting with contrast analytical method. The digital elevation model (DEM) is established on basis of contour map on ascale of 1:250,000 in the Nujiang River basin, Yunnan Province by ArcGIS, a Geographic Information System (GIS)software. Based on DEM, the spatial analysis and statistical function of GIS, the landscape patterns of populationdistribution of the selected minorities is described, and 4 sub-regions are divided in the Nujiang River basin of YunnanProvince while the features and disparity of landscape pattern and its forming mechanism are discussed, along withhistorical and archaeological data. The conclusions are as follow: (1) The ethnic distribution is mosaic in the matrix ofother racial distribution, and have a distinct spatial correlation. (2) For the difference in cultivation between differentnationalities, certain nationality lived in the area suitable for production mode of its own and coincident with appropriategeographical setting. (3) The spatial distribution of settlement spots of the minorities is controlled by the convenience ofwater supply. The landscape pattern of ethnic distribution is closely relative to natural environment.
文摘To meet the increasing research demand for deep space exploration,especially for the second libration point (L2) conditional periodic orbit (Halo orbit) in the Sun-Earth system,the methods to get analytical Halo orbit and differential-correction Halo orbit were described firstly,and the corresponding orbits accuracy was analyzed.Then,based on the results of third-order and differential-correction Halo orbits,the formation form was studied.Analysis was carried out to discuss the influence of system amplitude,initial phase,and phase difference on the formation form,as well as that of initial orbit values on form accuracy.Finally,some simulation results demonstrate the validity of the proposed methods.
基金jointly funded by the Anhui provincial geological public-welfare project“New Activities of Quaternary and Medium Velocity Structure Exploration and Evaluation for Key Sections of the Tan-Lu Fault Zone(the Anhui segment)”(2015-g-25)the project of“3-D Seismic Section Model and Earthquake Prediction Research in the Tanlu Fault Zone”,China Earthquake Administration(TYZ20160101)
文摘Taking the Huaihe to the Nvshanhu segment of the Tanlu( Tancheng-Lujiang) fault zone as the main research target to explore whether there has been new activity since the late Quaternary,and based on the interpretation of remote sensing images and repeated surface investigations,we excavated trenches at the sections where the tectonic landform is significant,identified and recorded the deformation patterns of the fault and analyzed the activity behavior. Samples of new activity and deformation were collected and oriented slices were ground based on the samples ' original state to make the micro structural analysis and demonstration. All of the above research shows very clear linear tectonic geomorphology along the fault,three trenches across the fault zone all revealed new deformation traces since late Quaternary. The latest stratum dislocated by the fault is the late Quaternary and Holocene. The main slip mode is stick slip,as represented typically by fault scarps,wedge accumulation,the faults and the filled cracks and so on. In general,it shows the characteristics of brittle high-speed deformation and belongs to the prehistoric earthquake ruins. The above understanding was confirmed partially by microscopic analysis. In addition,the similarities and differences and the possible reasons for the characteristics of the latest activities of the Tancheng-Lujiang fault zone in the north and south of the Huaihe River regions are also discussed in this paper.