Benefiting from advances in feature technology for design and manufacture can not be expected before a formal methodology is established. This paper makes attempt to establish a definition formalism of machining featu...Benefiting from advances in feature technology for design and manufacture can not be expected before a formal methodology is established. This paper makes attempt to establish a definition formalism of machining features in design for manufacturability from two aspects: formal definition and manufacturability analysis. Some definitions for machining feature based upon the selection and sequencing of material removal operations for component in accordance with the design geometry are presented and a framework of feature based design for manufacturability is outlined correspondingly. The proposed scheme contributes to several aspects of feature based CAD/CAM integration, especially to encourage potentially a more generic approach to the automation of design.展开更多
A real-world localization system for wireless sensor networks that adapts for mobility and irregular radio propagation model is considered. The traditional range-based techniques and recent range-free localization sch...A real-world localization system for wireless sensor networks that adapts for mobility and irregular radio propagation model is considered. The traditional range-based techniques and recent range-free localization schemes are not well competent for localization in mobile sensor networks, while the probabilistic approach of Bayesian filtering with particle-based density representations provides a comprehensive solution to such localization problem. Monte Carlo localization is a Bayesian filtering method that approximates the mobile node's location by a set of weighted particles. In this paper, an enhanced Monte Carlo localization algorithm-Extended Monte Carlo Localization (Ext-MCL) is proposed, i.e., the traditional Monte Carlo localization algorithm is improved and extended to make it suitable for the practical wireless network environment where the radio propagation model is irregular. Simulation results show the proposal gets better localization accuracy and higher localizable node number than previously proposed Monte Carlo localization schemes not only for ideal radio model, but also for irregular one.展开更多
Whitney＇s theorem is a famous theorem in the local singularity theory. In this paper, as an application of Malgrange preparation theorem, a generalized form of Whitney＇s theorem will be derived.
This paper is born from the intimate belief that solutions for the future are to be found in the past. No transformation is irreversible enough to destroy the experiences of the past, unified as a core in tradition. T...This paper is born from the intimate belief that solutions for the future are to be found in the past. No transformation is irreversible enough to destroy the experiences of the past, unified as a core in tradition. Those come into light whenever the proper conditions are created. From the point of view of architecture, representation is the basis for the transmission of knowledge, ideas, feelings, etc. The method of the paper is to put in antithesis two concepts which define the present world of representation： real （associated to transcendent revelation） and virtual （understood as result of human imagination）. An itinerary through the philosophy of Plato and Plotin, ancient Greek, Byzantine, Gothic architecture, etc., is proposed, until encountering the moment of the death of revelation and the birth of the arbitrary, which is connected to the supremacy of the image. This journey through aesthetic conceptions brought major changes in art and society during the centuries. Recuperation of the involvement of all human senses into perception of space and understanding of the built environment of life as revelation, and not as a simple interface of images, may lead now to a revolution of urban spirit, based on a relationship with the city inspired from the values promoted by Socrates and later developed into Christianity, that proved their permanence across the millenniums.展开更多
We investigate the nonlocality of Schmidt-correlated （SC） states, and present analytical expressions of the maximum violation value of Bell inequalities. It is shown that the violation of Clauser-Horne-Shimony-Holt ...We investigate the nonlocality of Schmidt-correlated （SC） states, and present analytical expressions of the maximum violation value of Bell inequalities. It is shown that the violation of Clauser-Horne-Shimony-Holt （CHSH） inequality is necessary and sufficient for the nonlocality of two-qubit SC states, whereas the violation of the Svetlichny inequaJity is only a sumcient condition for the genuine nonlocality of three-qubit SC states. Furthermore, the relations among the maximum violation values, concurrence, and relative entropy entanglement are discussed.展开更多
This paper offeres an exact study on the robust stability of a kind of combined integrating control system, and the robust stability belongs to the analysis of a kind of quasi-polynomial with two independent time dela...This paper offeres an exact study on the robust stability of a kind of combined integrating control system, and the robust stability belongs to the analysis of a kind of quasi-polynomial with two independent time delays. The parameters of stable space under time delay uncertainty are fixed after Rekasius transformation, and then a new cluster treatment of characteristic roots (CTCR) procedure is adopted to determine the stable space. By this strategy we find that the unstable space is not continuous and both Karitonov vertices theory and Edge theory are unable to be extended to quasi-polynomial under time delay uncertainty.展开更多
This study was based on self-report of a MOOC school-based college English classroom teaching practice flip. Firstly, it is based on the analysis of the typical characteristics of MOOC leveraging MOOC college English ...This study was based on self-report of a MOOC school-based college English classroom teaching practice flip. Firstly, it is based on the analysis of the typical characteristics of MOOC leveraging MOOC college English courses on the basis of the next report on the concrete practice of school-based college English MOOC construction and flipped classroom teaching. Quantitative and qualitative data on learner feedback in the survey analysis shows that based MOOC flip mode is suitable for classroom teaching college English teaching, MOOC and flipped classroom have been highly recognized by students, which gives full play to both collaborative IT and foreign language teaching the depth of integration of blended learning potential.展开更多
In this paper, an error is firstly pointed out in the proof of the main theorems (Theorem 4 and Theorem 6) in [1]. Then the error is corrected and the right proof is given.
Cheng-type inequality, Cheeger-type inequality and Faber-Krahn-type inequality are generalized to Finsler manifolds. For a compact Finsler manifold with the weighted Ricci curvature bounded from below by a negative co...Cheng-type inequality, Cheeger-type inequality and Faber-Krahn-type inequality are generalized to Finsler manifolds. For a compact Finsler manifold with the weighted Ricci curvature bounded from below by a negative constant, Li-Yau's estimation of the first eigenvalue is also given.展开更多
A novel distributed optical fiber vibration sensing system based on polarization detection is proposed and demonstrated. A Faraday rotator mirror is employed at the end of the system, which eliminates the slow polariz...A novel distributed optical fiber vibration sensing system based on polarization detection is proposed and demonstrated. A Faraday rotator mirror is employed at the end of the system, which eliminates the slow polarization variation of signal light and only responses to rapid polarization change caused by external vibration interference. Based on the sensing signal characteristics, the location of polarization disturbance point can be detected accurately. Experiments on polarization controller simulation and actual vibration detection show that a higher localization accuracy better than 1% is successfully obtained in 13.8 kin, 21.2 km and 35.8 km sensing fibers systems.展开更多
We define the total energy-momenta for(4+1)-dimensional asymptotically anti-de Sitter spacetimes,which comes from the boundary terms at infinity in the integral form of the Weitzenbck formula.Then we prove the positiv...We define the total energy-momenta for(4+1)-dimensional asymptotically anti-de Sitter spacetimes,which comes from the boundary terms at infinity in the integral form of the Weitzenbck formula.Then we prove the positive energy theorem for such spacetimes,following Witten’s original argumentsfor the positive energy theorem in asymptotically flat spacetimes.展开更多
文摘Benefiting from advances in feature technology for design and manufacture can not be expected before a formal methodology is established. This paper makes attempt to establish a definition formalism of machining features in design for manufacturability from two aspects: formal definition and manufacturability analysis. Some definitions for machining feature based upon the selection and sequencing of material removal operations for component in accordance with the design geometry are presented and a framework of feature based design for manufacturability is outlined correspondingly. The proposed scheme contributes to several aspects of feature based CAD/CAM integration, especially to encourage potentially a more generic approach to the automation of design.
基金the National Natural Science Foundation of China (No.60671033)the Research Fund for the Doctoral Program of Higher Education (No.20060614015).
文摘A real-world localization system for wireless sensor networks that adapts for mobility and irregular radio propagation model is considered. The traditional range-based techniques and recent range-free localization schemes are not well competent for localization in mobile sensor networks, while the probabilistic approach of Bayesian filtering with particle-based density representations provides a comprehensive solution to such localization problem. Monte Carlo localization is a Bayesian filtering method that approximates the mobile node's location by a set of weighted particles. In this paper, an enhanced Monte Carlo localization algorithm-Extended Monte Carlo Localization (Ext-MCL) is proposed, i.e., the traditional Monte Carlo localization algorithm is improved and extended to make it suitable for the practical wireless network environment where the radio propagation model is irregular. Simulation results show the proposal gets better localization accuracy and higher localizable node number than previously proposed Monte Carlo localization schemes not only for ideal radio model, but also for irregular one.
文摘Whitney＇s theorem is a famous theorem in the local singularity theory. In this paper, as an application of Malgrange preparation theorem, a generalized form of Whitney＇s theorem will be derived.
文摘This paper is born from the intimate belief that solutions for the future are to be found in the past. No transformation is irreversible enough to destroy the experiences of the past, unified as a core in tradition. Those come into light whenever the proper conditions are created. From the point of view of architecture, representation is the basis for the transmission of knowledge, ideas, feelings, etc. The method of the paper is to put in antithesis two concepts which define the present world of representation： real （associated to transcendent revelation） and virtual （understood as result of human imagination）. An itinerary through the philosophy of Plato and Plotin, ancient Greek, Byzantine, Gothic architecture, etc., is proposed, until encountering the moment of the death of revelation and the birth of the arbitrary, which is connected to the supremacy of the image. This journey through aesthetic conceptions brought major changes in art and society during the centuries. Recuperation of the involvement of all human senses into perception of space and understanding of the built environment of life as revelation, and not as a simple interface of images, may lead now to a revolution of urban spirit, based on a relationship with the city inspired from the values promoted by Socrates and later developed into Christianity, that proved their permanence across the millenniums.
基金Supported by National Natural Science Foundation of China under Grant Nos. 10875081, 10871227, KZ200810028013,PHR201007107NSF of Beijing 1092008
文摘We investigate the nonlocality of Schmidt-correlated （SC） states, and present analytical expressions of the maximum violation value of Bell inequalities. It is shown that the violation of Clauser-Horne-Shimony-Holt （CHSH） inequality is necessary and sufficient for the nonlocality of two-qubit SC states, whereas the violation of the Svetlichny inequaJity is only a sumcient condition for the genuine nonlocality of three-qubit SC states. Furthermore, the relations among the maximum violation values, concurrence, and relative entropy entanglement are discussed.
基金National Natural Science Foundation of China (No.60674088)
文摘This paper offeres an exact study on the robust stability of a kind of combined integrating control system, and the robust stability belongs to the analysis of a kind of quasi-polynomial with two independent time delays. The parameters of stable space under time delay uncertainty are fixed after Rekasius transformation, and then a new cluster treatment of characteristic roots (CTCR) procedure is adopted to determine the stable space. By this strategy we find that the unstable space is not continuous and both Karitonov vertices theory and Edge theory are unable to be extended to quasi-polynomial under time delay uncertainty.
文摘This study was based on self-report of a MOOC school-based college English classroom teaching practice flip. Firstly, it is based on the analysis of the typical characteristics of MOOC leveraging MOOC college English courses on the basis of the next report on the concrete practice of school-based college English MOOC construction and flipped classroom teaching. Quantitative and qualitative data on learner feedback in the survey analysis shows that based MOOC flip mode is suitable for classroom teaching college English teaching, MOOC and flipped classroom have been highly recognized by students, which gives full play to both collaborative IT and foreign language teaching the depth of integration of blended learning potential.
基金Supported by the Natural Scientific Research Foundation of Yunnan Province(2000A0001-1M)the Scientific Foundations of Education Commisison of Yunnan Province(9911126)
文摘In this paper, an error is firstly pointed out in the proof of the main theorems (Theorem 4 and Theorem 6) in [1]. Then the error is corrected and the right proof is given.
基金supported by the National Natural Science Foundation of China(Nos.11471246,11171253)the Natural Science Foundation of the Anhui Higher Education Institutions(No.KJ2014A257)
文摘Cheng-type inequality, Cheeger-type inequality and Faber-Krahn-type inequality are generalized to Finsler manifolds. For a compact Finsler manifold with the weighted Ricci curvature bounded from below by a negative constant, Li-Yau's estimation of the first eigenvalue is also given.
基金supported by the Natioral Natural Suience Foundation of China (No.60736035)the National Basic Research Program of China (No.2010CB327603)
文摘A novel distributed optical fiber vibration sensing system based on polarization detection is proposed and demonstrated. A Faraday rotator mirror is employed at the end of the system, which eliminates the slow polarization variation of signal light and only responses to rapid polarization change caused by external vibration interference. Based on the sensing signal characteristics, the location of polarization disturbance point can be detected accurately. Experiments on polarization controller simulation and actual vibration detection show that a higher localization accuracy better than 1% is successfully obtained in 13.8 kin, 21.2 km and 35.8 km sensing fibers systems.
基金supported by National Natural Science Foundation of China(Grant No.11171328)Fundamental Research Funds for the Central Universities of China(Grant No.210274087)
文摘We define the total energy-momenta for(4+1)-dimensional asymptotically anti-de Sitter spacetimes,which comes from the boundary terms at infinity in the integral form of the Weitzenbck formula.Then we prove the positive energy theorem for such spacetimes,following Witten’s original argumentsfor the positive energy theorem in asymptotically flat spacetimes.
