It is well known that there exists a tight connection between nonmonotonic reasoning and conditional implication. Many researchers have investigated it from various angles. Among th em, C.Boutilier and P.Lamarre hav...It is well known that there exists a tight connection between nonmonotonic reasoning and conditional implication. Many researchers have investigated it from various angles. Among th em, C.Boutilier and P.Lamarre have shown that some conditional implication may b e regarded as the homology of different nonmonotonic consequence relations. In t his paper, based on the plausibility space introduced by Friedman and Halpern, w e characterize the condition logic in which conditional implication is nonmonoto nic, and this result characterizes the conditional implication which may be rega rded as the corresponding object in Meta language for nonmonotonic inference rel ations.展开更多
Edge detection is an image processing technique for finding the boundaries of objects within images. It is typically used to interpret gravity and magnetic data, and find the horizontal boundaries of geological bodies...Edge detection is an image processing technique for finding the boundaries of objects within images. It is typically used to interpret gravity and magnetic data, and find the horizontal boundaries of geological bodies. Large deviations between model and true edges are common because of the interference of depth and errors in computing the derivatives; thus, edge detection methods cannot provide information about the depth of the source. To simultaneously obtain the horizontal extent and depth of geophysical anomalies, we use normalized edge detection filters, which normalize the edge detection function at different depths, and the maxima that correspond to the location of the source. The errors between model and actual edges are minimized as the depth of the source decreases and the normalized edge detection method recognizes the extent of the source based on the maxima, allowing for reliable model results. We demonstrate the applicability of the normalized edge detection filters in defining the horizontal extent and depth using synthetic and actual aeromagnetic data.展开更多
Based on spatio-temporal correlativity analysis method, the automatic identification techniques for data anomaly monitoring of coal mining working face gas are presented. The asynchronous correlative characteristics o...Based on spatio-temporal correlativity analysis method, the automatic identification techniques for data anomaly monitoring of coal mining working face gas are presented. The asynchronous correlative characteristics of gas migration in working face airflow direction are qualitatively analyzed. The calculation method of asynchronous correlation delay step and the prediction and inversion formulas of gas concentration changing with time and space after gas emission in the air return roadway are provided. By calculating one hundred and fifty groups of gas sensors data series from a coal mine which have the theoretical correlativity, the correlative coefficient values range of eight kinds of data anomaly is obtained. Then the gas moni- toring data anomaly identification algorithm based on spatio-temporal correlativity analysis is accordingly presented. In order to improve the efficiency of analysis, the gas sensors code rules which can express the spatial topological relations are sug- gested. The experiments indicate that methods presented in this article can effectively compensate the defects of methods based on a single gas sensor monitoring data.展开更多
As an important geophysical tool,high density electrical technique infers the underground geological structures by processing and inverting the apparent resistivity data.Currently,the false anomalies have been frequen...As an important geophysical tool,high density electrical technique infers the underground geological structures by processing and inverting the apparent resistivity data.Currently,the false anomalies have been frequently occurred in the graph of apparent resistivity pseudo-section or inverted geoelectrical section obtained from high-density electrical technique,and are difficult to remove.In this study,the authors explain the mechanism of the false anomalies and put forward the horizontal differential field method to identify the false anomalies.Based on the analysis of modeling results,this method is applied in the surveying data in Xinlei Quarry of Jiuquan,and the results confirm the effectiveness of the horizontal differential field method.展开更多
The identification of fractures is of great importance in gravity and magnetic data processing and interpretation.In this study,four fracture identification methods are applied,and widely used in processing and analys...The identification of fractures is of great importance in gravity and magnetic data processing and interpretation.In this study,four fracture identification methods are applied,and widely used in processing and analysis of the gravity anomaly,including vertical second derivative method,tilt derivative method,theta map method and normalized differential method,for gravity data acquired in a given area in Heilongjiang.By comparing the distribution of the zero contour or maximum contour,we summarize the application effects,and both advantages and disadvantages of each method.It is found that tilt derivative method and normalized differential method provide better effects than other two methods:the narrower anomaly gradient belt and higher identification precision of fracture or geological boundary.The inferred fractures and geological boundaries have a great match with the results obtained from geologic map and remote sensing data interpretation.Those study results have definitely provided the theoretical foundation for identifying faults and the geological boundaries.展开更多
Sense-oriented reasoning （SOR） was analyzed by comparing the reasoning of tribal and modem societies on a specific subject, the conception and birth of a child. Tribal societies have beliefs, which are difficult to ...Sense-oriented reasoning （SOR） was analyzed by comparing the reasoning of tribal and modem societies on a specific subject, the conception and birth of a child. Tribal societies have beliefs, which are difficult to understand by modem societies. Their reasoning becomes understandable only when considering that their observations are limited to the macrocosm. Modem societies have access to the microcosm with a microscope, where different biological mechanisms for the conception of a child were discovered. Since the tribes＇ macroscopical observations were different, their conclusions became necessarily different. The inheritance problem can only be solved by genes at the microscopic level, to which tribal societies had no access. With observations limited to the macrocosm, tribes logically invoked invisible child-spirits of ancestors wanting to be reincarnated in children of the same tribe. Besides the different access to observation, the reasoning of both societies is similar and built around the investigation of a final sense. Reasoning progresses after a phase without any quest for sense through three progressive levels： （1） primary sense, （2） corrected sense, and （3） verified sense. In tribal societies, reasoning is interrupted at the primary sense level when it seems consistent with their general beliefs and traditions. This resembles coherentist theories of epistemic justification, in which justification is only a function of coherence between beliefs. Tribal societies realize the input problem of these theories, since they have no access to the microcosm and also illustrate the Gettier problem. Modem societies progress to the higher levels of corrected and verified sense reasoning, even if inconsistent with their prior beliefs. They initially imagined genes as a hypothetic missing link for inheritance, which relies on a start observation concerning the character of ancestors to the target observation, the similarity with the character of children. If the missing link is definitely verified, it shows a chain of justified beliefs between both observations, allowing the initially hypothetic missing link to be retrospectively considered as the real cause. The SOR of modem societies resembles the extemalist version of foundationalism of epistemic justification, in which the necessary non-inferential justification is represented by the target observation.展开更多
The overexploitation of underground water leads to the continuous drawdown of groundwater levels, change of water quality and dry-up in dynamic water level observation wells. Due to land subsidence, the well pipes upl...The overexploitation of underground water leads to the continuous drawdown of groundwater levels, change of water quality and dry-up in dynamic water level observation wells. Due to land subsidence, the well pipes uplift and the observation piping systems are damaged. These environmental geology problems can present serious difficulties for the identification of earthquake anomalies by groundwater level observation. Basied on hydrogeological theories and methods, the paper analyzes the relations of the water balance state of aquifers with stress-strain conditions and the water level regime, and then discusses preliminarily the theory and method for identifying well water level anomalies in a groundwater overdraft area. The result shows that we can accurately judge the nature of the anomaly according to the diffusion character of the drawdown funnel in the well area in combination with the aforementioned theory and method and multi-year variation patterns obtained from existing data. The results of the research are helpful for distinguishing the influence of single centralized water pumping from the long-term overdraft of water on the water level, correctly recognizing water level anomalies in the groundwater overdraft area and increasing the level of earthquake analysis and prediction.展开更多
Abnormal movement states for a mobile robot were identified by four multi-layer perceptron. In the presence ot abnormality, avoidance strategies were designed to guarantee the safety of the robot. Firstly, the kinemat...Abnormal movement states for a mobile robot were identified by four multi-layer perceptron. In the presence ot abnormality, avoidance strategies were designed to guarantee the safety of the robot. Firstly, the kinematics of the normal and abnormal movement states were exploited, 8 kinds of features were extracted. Secondly, 4 multi-layer pereeptrons were employed to classify the features for four 4-driving wheels into 4 kinds of states, i.e. normal, blocked, deadly blocked, and slipping. Finally, avoidance strategies were designed based on this. Experiment results show that the methods can identify most abnormal movement states and avoid the abnormality correctly and timely.展开更多
The neo-liberal re-positioning of the educational-explorative realm to a vocational market-confinement has already impacted quite heavily on the educational sector in England and Wales and is now being imposed on a Eu...The neo-liberal re-positioning of the educational-explorative realm to a vocational market-confinement has already impacted quite heavily on the educational sector in England and Wales and is now being imposed on a European wide scale. However, global as well as European students＇ protests illustrate that resistance to this ideology is gathering pace, and not only involves students and academics but also reaches wider parts of societies. This paper seeks to demonstrate the need for critical pedagogical practices that seek to sensitise students to the modes of current ＂conditions of domination＂. It further suggests critical criminologists to foster and engage in a process of public, intellectual, and intercultural exchange of ideas about education and educational institutions away from merely rationalistic, one-dimensional and profit-orientated ambitions toward a multitude of exchanges about meanings and purposes of such important socio-cultural and political institutions and processes that shape ＂subjectivities＂, inter-subjectivities and thus entire socio-cultural and political spheres. Such processes and active engagements are crucial to the agenda of critical criminologists, and perhaps most importantly, vital to the continued existence of a critical criminology that understands itself as proper ideology critique.展开更多
Despite the fact that progress in face recognition algorithms over the last decades has been made, changing lighting conditions and different face orientation still remain as a challenging problem. A standard face rec...Despite the fact that progress in face recognition algorithms over the last decades has been made, changing lighting conditions and different face orientation still remain as a challenging problem. A standard face recognition system identifies the person by comparing the input picture against pictures of all faces in a database and finding the best match. Usually face matching is carried out in two steps： during the first step detection of a face is done by finding exact position of it in a complex background （various lightning condition）, and in the second step face identification is performed using gathered databases. In reality detected faces can appear in different position and they can be rotated, so these disturbances reduce quality of the recognition algorithms dramatically. In this paper to increase the identification accuracy we propose original geometric normalization of the face, based on extracted facial feature position such as eyes. For the eyes localization lbllowing methods has been used： color based method, mean eye template and SVM （Support Vector Machine） technique. Experimental investigation has shown that the best results for eye center detection can be achieved using SVM technique. The recognition rate increases statistically by 28% using face orientation normalization based on the eyes position.展开更多
文摘It is well known that there exists a tight connection between nonmonotonic reasoning and conditional implication. Many researchers have investigated it from various angles. Among th em, C.Boutilier and P.Lamarre have shown that some conditional implication may b e regarded as the homology of different nonmonotonic consequence relations. In t his paper, based on the plausibility space introduced by Friedman and Halpern, w e characterize the condition logic in which conditional implication is nonmonoto nic, and this result characterizes the conditional implication which may be rega rded as the corresponding object in Meta language for nonmonotonic inference rel ations.
基金supported by the China Postdoctoral Science Foundation (No.2014M551188)the Deep Exploration in China Sinoprobe-09-01 (No.201011078)
文摘Edge detection is an image processing technique for finding the boundaries of objects within images. It is typically used to interpret gravity and magnetic data, and find the horizontal boundaries of geological bodies. Large deviations between model and true edges are common because of the interference of depth and errors in computing the derivatives; thus, edge detection methods cannot provide information about the depth of the source. To simultaneously obtain the horizontal extent and depth of geophysical anomalies, we use normalized edge detection filters, which normalize the edge detection function at different depths, and the maxima that correspond to the location of the source. The errors between model and actual edges are minimized as the depth of the source decreases and the normalized edge detection method recognizes the extent of the source based on the maxima, allowing for reliable model results. We demonstrate the applicability of the normalized edge detection filters in defining the horizontal extent and depth using synthetic and actual aeromagnetic data.
基金Supported by the National Natural Science Foundation of China （40971275, 50811120111）
文摘Based on spatio-temporal correlativity analysis method, the automatic identification techniques for data anomaly monitoring of coal mining working face gas are presented. The asynchronous correlative characteristics of gas migration in working face airflow direction are qualitatively analyzed. The calculation method of asynchronous correlation delay step and the prediction and inversion formulas of gas concentration changing with time and space after gas emission in the air return roadway are provided. By calculating one hundred and fifty groups of gas sensors data series from a coal mine which have the theoretical correlativity, the correlative coefficient values range of eight kinds of data anomaly is obtained. Then the gas moni- toring data anomaly identification algorithm based on spatio-temporal correlativity analysis is accordingly presented. In order to improve the efficiency of analysis, the gas sensors code rules which can express the spatial topological relations are sug- gested. The experiments indicate that methods presented in this article can effectively compensate the defects of methods based on a single gas sensor monitoring data.
文摘As an important geophysical tool,high density electrical technique infers the underground geological structures by processing and inverting the apparent resistivity data.Currently,the false anomalies have been frequently occurred in the graph of apparent resistivity pseudo-section or inverted geoelectrical section obtained from high-density electrical technique,and are difficult to remove.In this study,the authors explain the mechanism of the false anomalies and put forward the horizontal differential field method to identify the false anomalies.Based on the analysis of modeling results,this method is applied in the surveying data in Xinlei Quarry of Jiuquan,and the results confirm the effectiveness of the horizontal differential field method.
文摘The identification of fractures is of great importance in gravity and magnetic data processing and interpretation.In this study,four fracture identification methods are applied,and widely used in processing and analysis of the gravity anomaly,including vertical second derivative method,tilt derivative method,theta map method and normalized differential method,for gravity data acquired in a given area in Heilongjiang.By comparing the distribution of the zero contour or maximum contour,we summarize the application effects,and both advantages and disadvantages of each method.It is found that tilt derivative method and normalized differential method provide better effects than other two methods:the narrower anomaly gradient belt and higher identification precision of fracture or geological boundary.The inferred fractures and geological boundaries have a great match with the results obtained from geologic map and remote sensing data interpretation.Those study results have definitely provided the theoretical foundation for identifying faults and the geological boundaries.
文摘Sense-oriented reasoning （SOR） was analyzed by comparing the reasoning of tribal and modem societies on a specific subject, the conception and birth of a child. Tribal societies have beliefs, which are difficult to understand by modem societies. Their reasoning becomes understandable only when considering that their observations are limited to the macrocosm. Modem societies have access to the microcosm with a microscope, where different biological mechanisms for the conception of a child were discovered. Since the tribes＇ macroscopical observations were different, their conclusions became necessarily different. The inheritance problem can only be solved by genes at the microscopic level, to which tribal societies had no access. With observations limited to the macrocosm, tribes logically invoked invisible child-spirits of ancestors wanting to be reincarnated in children of the same tribe. Besides the different access to observation, the reasoning of both societies is similar and built around the investigation of a final sense. Reasoning progresses after a phase without any quest for sense through three progressive levels： （1） primary sense, （2） corrected sense, and （3） verified sense. In tribal societies, reasoning is interrupted at the primary sense level when it seems consistent with their general beliefs and traditions. This resembles coherentist theories of epistemic justification, in which justification is only a function of coherence between beliefs. Tribal societies realize the input problem of these theories, since they have no access to the microcosm and also illustrate the Gettier problem. Modem societies progress to the higher levels of corrected and verified sense reasoning, even if inconsistent with their prior beliefs. They initially imagined genes as a hypothetic missing link for inheritance, which relies on a start observation concerning the character of ancestors to the target observation, the similarity with the character of children. If the missing link is definitely verified, it shows a chain of justified beliefs between both observations, allowing the initially hypothetic missing link to be retrospectively considered as the real cause. The SOR of modem societies resembles the extemalist version of foundationalism of epistemic justification, in which the necessary non-inferential justification is represented by the target observation.
基金The research was funded by the National Science and Technology Support Programof China under Grant No2006BAC01B0203
文摘The overexploitation of underground water leads to the continuous drawdown of groundwater levels, change of water quality and dry-up in dynamic water level observation wells. Due to land subsidence, the well pipes uplift and the observation piping systems are damaged. These environmental geology problems can present serious difficulties for the identification of earthquake anomalies by groundwater level observation. Basied on hydrogeological theories and methods, the paper analyzes the relations of the water balance state of aquifers with stress-strain conditions and the water level regime, and then discusses preliminarily the theory and method for identifying well water level anomalies in a groundwater overdraft area. The result shows that we can accurately judge the nature of the anomaly according to the diffusion character of the drawdown funnel in the well area in combination with the aforementioned theory and method and multi-year variation patterns obtained from existing data. The results of the research are helpful for distinguishing the influence of single centralized water pumping from the long-term overdraft of water on the water level, correctly recognizing water level anomalies in the groundwater overdraft area and increasing the level of earthquake analysis and prediction.
基金Project (60234030) supported by the National Natural Science Foundation of China
文摘Abnormal movement states for a mobile robot were identified by four multi-layer perceptron. In the presence ot abnormality, avoidance strategies were designed to guarantee the safety of the robot. Firstly, the kinematics of the normal and abnormal movement states were exploited, 8 kinds of features were extracted. Secondly, 4 multi-layer pereeptrons were employed to classify the features for four 4-driving wheels into 4 kinds of states, i.e. normal, blocked, deadly blocked, and slipping. Finally, avoidance strategies were designed based on this. Experiment results show that the methods can identify most abnormal movement states and avoid the abnormality correctly and timely.
文摘The neo-liberal re-positioning of the educational-explorative realm to a vocational market-confinement has already impacted quite heavily on the educational sector in England and Wales and is now being imposed on a European wide scale. However, global as well as European students＇ protests illustrate that resistance to this ideology is gathering pace, and not only involves students and academics but also reaches wider parts of societies. This paper seeks to demonstrate the need for critical pedagogical practices that seek to sensitise students to the modes of current ＂conditions of domination＂. It further suggests critical criminologists to foster and engage in a process of public, intellectual, and intercultural exchange of ideas about education and educational institutions away from merely rationalistic, one-dimensional and profit-orientated ambitions toward a multitude of exchanges about meanings and purposes of such important socio-cultural and political institutions and processes that shape ＂subjectivities＂, inter-subjectivities and thus entire socio-cultural and political spheres. Such processes and active engagements are crucial to the agenda of critical criminologists, and perhaps most importantly, vital to the continued existence of a critical criminology that understands itself as proper ideology critique.
文摘Despite the fact that progress in face recognition algorithms over the last decades has been made, changing lighting conditions and different face orientation still remain as a challenging problem. A standard face recognition system identifies the person by comparing the input picture against pictures of all faces in a database and finding the best match. Usually face matching is carried out in two steps： during the first step detection of a face is done by finding exact position of it in a complex background （various lightning condition）, and in the second step face identification is performed using gathered databases. In reality detected faces can appear in different position and they can be rotated, so these disturbances reduce quality of the recognition algorithms dramatically. In this paper to increase the identification accuracy we propose original geometric normalization of the face, based on extracted facial feature position such as eyes. For the eyes localization lbllowing methods has been used： color based method, mean eye template and SVM （Support Vector Machine） technique. Experimental investigation has shown that the best results for eye center detection can be achieved using SVM technique. The recognition rate increases statistically by 28% using face orientation normalization based on the eyes position.
