Based on the analysis of the properties of Γ-conclusion by means of deduction theorems, completeness theorems and the theory of truth degree of formulas, the present papers introduces the concept of the membership de...Based on the analysis of the properties of Γ-conclusion by means of deduction theorems, completeness theorems and the theory of truth degree of formulas, the present papers introduces the concept of the membership degree of formulas A is a consequence of Γ (or Γ-conclusion) in Lukasiewicz n-valued propositional logic systems, Godel n-valued propositional logic system and the R0 n-valued propositional logic systems. The condition and related calculations of formulas A being Γ-conclusion were discussed by extent method. At the same time, some properties of membership degree of formulas A is a Γ-conclusion were given. We provide its algorithm of the membership degree of formulas A is a Γ-conclusion by the constructions of theory root.展开更多
The main purpose of this paper is devoted to generalizing the results of Browder[1,2]This paper consists of four parts. In the first part, we introduce the concepts of multivalued (S) and (S), type mappings and the co...The main purpose of this paper is devoted to generalizing the results of Browder[1,2]This paper consists of four parts. In the first part, we introduce the concepts of multivalued (S) and (S), type mappings and the concepts of the limits of multivalued (S) and (S) + type mappings. These kinds of mappings contain many monotone type mappings, such as maximal monotone mapping, bounded pseudo-monotone mapping and bounded generalized pseudo-monotone mapping, as its special cases. In the second part we define the pseudo-degree for (S) type mapping and the degree for (S)+ type mapping. These two kinds of degrees are all the generalizations of the degree defined by Browder[1,2] As applications, we utilize the degree theory presented in part 2 to study the existence of solutions for the multivalued operator equations (see part 3) and to obtain some new fixed point theorems in part 4.展开更多
Based on analyzing actual cases and referring to other discourses, this discourse analyzes the happiness of teachers in non-governmental funded universities from three perspectives: the subjectivity of "happiness",...Based on analyzing actual cases and referring to other discourses, this discourse analyzes the happiness of teachers in non-governmental funded universities from three perspectives: the subjectivity of "happiness", psychological condition and the influence of career. As a result, this discourse can find tools for evaluating happiness and use them to evaluate the degree of happiness in non-governmental funded universities.展开更多
This study presents a numerical analysis of three-dimensional steady laminar flow in a rectangular channel with a 180-degree sharp turn. The Navier-Stokes equations are solved by using finite difference method for Re ...This study presents a numerical analysis of three-dimensional steady laminar flow in a rectangular channel with a 180-degree sharp turn. The Navier-Stokes equations are solved by using finite difference method for Re = 900. Three-dimensional streamlines and limiting streamlines on wall surface are used to analyze the three-dimensional flow characteristics. Topological theory is applied to limiting streamlines on inner walls of the channel and two-dimensional streamlines at several cross sections. It is also shown that the flow impinges on the end wall of turn and the secondary flow is induced by the curvature in the sharp turn.展开更多
The characteristics of novel cone-generated cylindrical worm and the machining princi- ple of using a grinding wheel with two degree-of-freedom motions are described. A systematic study is made on the first enveloping...The characteristics of novel cone-generated cylindrical worm and the machining princi- ple of using a grinding wheel with two degree-of-freedom motions are described. A systematic study is made on the first enveloping process of the grinding wheel forming a worm and the second enveloping process of the worm forming a worm wheel with the meshing theory of kinematic method. Some numerical calculation formulas and important conclusions are obtained.展开更多
Based on a recently formulated unified theory of coherence and polarization, a method is described to study turbulence-induced changes in the polarization, the coherence and the spectrum of partially coherent electrom...Based on a recently formulated unified theory of coherence and polarization, a method is described to study turbulence-induced changes in the polarization, the coherence and the spectrum of partially coherent electromagnetic beams on propagation. The electromagnetic Gaussian Schell-model beam is taken as a typical example of partially coherent electromagnetic beams, and the closed-form expressions for the degree of polarization, the degree of coherence and the spectrum of electromagnetic Gaussian Schell-model beams propagating through atmospheric turbulence are derived in the quadratic approximation of Rytov's phase structure function. Some interesting results are obtained, which are illustrated by numerical examples and are explained in physics.展开更多
Taking the Hexi Corridor in western China as an example, this paper studies the interactive intimate i relation between urbanization and the environment in add areas based on the grey system theory. The results show t...Taking the Hexi Corridor in western China as an example, this paper studies the interactive intimate i relation between urbanization and the environment in add areas based on the grey system theory. The results show that the grey relational degree between urbanization and the environment is low in the agriculture-oriented cities, modest in the tourism-oriented cities and great in the industry-oriented cities. The changing trend of coupling degree between urbanization and the environment does not entirely agree with that of urbanization or the environment. It showed fluctuating trends, which reflects the compactness and properties of the different stages of the coupling states between urbanization and the environment. In order to achieve a harmonious development with the environment in add areas, traditional development ideas about urbanization should be revised and more attention should be paid to the effect of restriction of water resources and the ecological environment on the development of the economy and society.展开更多
It is a hot issue in communication research field to select the best network for Heterogeneous Wireless Networks(HWNs),and it is also a difficult problem to reduce the handoff number of vertical handoff.In order to so...It is a hot issue in communication research field to select the best network for Heterogeneous Wireless Networks(HWNs),and it is also a difficult problem to reduce the handoff number of vertical handoff.In order to solve this problem,the paper proposes a multiple attribute network selection algorithm based on Analytic Hierarchy Process(AHP)and synergetic theory.The algorithm applies synergetics to network selection,considering the candidate network as a compound system composed of multiple attribute subsystems,and combines the subsystem order degree with AHP weight to obtain entropy of the compound system,which is opposite the synergy degree of a network system.The greater the synergy degree,the better the network performance.The algorithm takes not only the coordination of objective attributes but also Quality of Service(QoS)requirements into consideration,ensuring that users select the network with overall good performance.The simulation results show that the proposed algorithm can effectively reduce the handoff number and provide uses with satisfactory QoS according to different services.展开更多
A novel cooperative sensing method is proposed in this paper. The proposed scheme adopts sensing creditability degree to characterize the impact of the distance and the channel parameters on the sensing result,and con...A novel cooperative sensing method is proposed in this paper. The proposed scheme adopts sensing creditability degree to characterize the impact of the distance and the channel parameters on the sensing result,and considers that each user has different average SNR and different decision threshold,by using General Nash Bargaining Solution (GNBS) strategy in Cooperative Game Theory (CGT),the detection performance for two-user case are derived. For multi-user case,the sensing performance is obtained with Hungarian method. Compared with the traditional schemes such as Nash Bargaining Solution (NBS) and AND,the proposed scheme covers all the factors mentioned above,and enhances the sensing rationality and reliability. Simulation results show that the proposed scheme can further improve the sensing performance and creditability.展开更多
The close-in weapon system(CIWS)is a combat system that faces a complex environment full of dynamic and unknown challenges,whose construction and planning require a systematic design method.Multiliving agent(MLA)theor...The close-in weapon system(CIWS)is a combat system that faces a complex environment full of dynamic and unknown challenges,whose construction and planning require a systematic design method.Multiliving agent(MLA)theory is a methodology for the combat system design,which uses the livelihood degree to evaluate the multi-dimensional long-term operational effectiveness of the system;whereas,there is still no uniform quantization framework for the livelihood degree,and the adjustment methods of livelihood degree need to be further improved.In this paper,we propose the uniform quantization framework for the livelihood degree and detailed discuss the methods of livelihood adjustment.Based on the MLA theory,the multi-dimensional operational effectiveness of the missile-gun integrated weapon system(MGIWS)is analyzed,and the long-term combat effectiveness against the saturation attack is assessed.Furthermore,the planning problem of the equipment deployment and configuration is investigated.Two objectives,including the overall livelihood degree and cost-effectiveness(CE),are proposed,and the optimization method based on genetic algorithm(GA)is studied for the planning problem.展开更多
The parameters that describe the complex degree of a certain casting are of some uncertainty. Therefore, a new method based on the fuzzy theory to classify the complex degree of castings has been presented in this pap...The parameters that describe the complex degree of a certain casting are of some uncertainty. Therefore, a new method based on the fuzzy theory to classify the complex degree of castings has been presented in this paper. The feasibility of fuzzy theory in describing the complex degree of castings has been discussed and the procedure of this method has been specified by analyzing the complex degrees of some typical castings. The element factors that influence the casting complexity, have been summarized, which include the wall-thickness and the number of transition surface, etc. The results show that it is reasonable and practicable to classify the complex degree of castings with the fuzzy theory.展开更多
In order to avoid the discretization in the classical rough set theory, a generlization rough set theory is proposed. At first, the degree of general importance of an attribute and attribute subsets are presented. The...In order to avoid the discretization in the classical rough set theory, a generlization rough set theory is proposed. At first, the degree of general importance of an attribute and attribute subsets are presented. Then, depending on the degree of general importance of attribute, the space distance can be measured with weighted method. At last, a generalization rough set theory based on the general near neighborhood relation is proposed. The proposed theory partitions the universe into the tolerant modules, and forms lower approximation and upper approximation of the set under general near neighborhood relationship, which avoids the discretization in Pawlak's rough set theory.展开更多
The principles of the third theory of quantification were discussed. The concept and calculation method of reaction degree were put forward, which have extended the applying range and scientificalness of the primary r...The principles of the third theory of quantification were discussed. The concept and calculation method of reaction degree were put forward, which have extended the applying range and scientificalness of the primary reaction. Taking the Zhongmacun mine as an example, the geological factors affecting coal and gas outburst were researched. Eight sensitive factors for the outburst of coal and gas were screened out from 11 geological factors using the method of unit classification and the third theory of quantification. On the basis of this, the Zhongmacun coal mine was classified into several divisions. The practice shows that it is feasible to apply the third theory of quantification to gas geology, which offers a new thought to screen the sensitive geological factors of gas outburst forecast.展开更多
The essential principles of the third theory of quantification are discussed, the concept and calculated method of reaction degree are put forward which extend the ap- plying range and scientificalness of the primary ...The essential principles of the third theory of quantification are discussed, the concept and calculated method of reaction degree are put forward which extend the ap- plying range and scientificalness of the primary reaction. Taking the Zhongmacun Mine as example, on the base of analyzing the rules of gas geology synthetically and travers- ing the geological factors infecting coal and gas outburst, the paper adopts the method of combining carving up statistical units with the third theory of quantification, screens out 8 sensitive geological factors from 11 geological indexes and carries through the work of gas geology regionalism to the exploited area of Zhongmacun according to the researching result. The practice shows that it is feasible to apply the third theory of quantification to gas geology, which offers a new thought to screen the sensitive geo- logical factors of gas outburst forecast.展开更多
文摘Based on the analysis of the properties of Γ-conclusion by means of deduction theorems, completeness theorems and the theory of truth degree of formulas, the present papers introduces the concept of the membership degree of formulas A is a consequence of Γ (or Γ-conclusion) in Lukasiewicz n-valued propositional logic systems, Godel n-valued propositional logic system and the R0 n-valued propositional logic systems. The condition and related calculations of formulas A being Γ-conclusion were discussed by extent method. At the same time, some properties of membership degree of formulas A is a Γ-conclusion were given. We provide its algorithm of the membership degree of formulas A is a Γ-conclusion by the constructions of theory root.
文摘The main purpose of this paper is devoted to generalizing the results of Browder[1,2]This paper consists of four parts. In the first part, we introduce the concepts of multivalued (S) and (S), type mappings and the concepts of the limits of multivalued (S) and (S) + type mappings. These kinds of mappings contain many monotone type mappings, such as maximal monotone mapping, bounded pseudo-monotone mapping and bounded generalized pseudo-monotone mapping, as its special cases. In the second part we define the pseudo-degree for (S) type mapping and the degree for (S)+ type mapping. These two kinds of degrees are all the generalizations of the degree defined by Browder[1,2] As applications, we utilize the degree theory presented in part 2 to study the existence of solutions for the multivalued operator equations (see part 3) and to obtain some new fixed point theorems in part 4.
文摘Based on analyzing actual cases and referring to other discourses, this discourse analyzes the happiness of teachers in non-governmental funded universities from three perspectives: the subjectivity of "happiness", psychological condition and the influence of career. As a result, this discourse can find tools for evaluating happiness and use them to evaluate the degree of happiness in non-governmental funded universities.
文摘This study presents a numerical analysis of three-dimensional steady laminar flow in a rectangular channel with a 180-degree sharp turn. The Navier-Stokes equations are solved by using finite difference method for Re = 900. Three-dimensional streamlines and limiting streamlines on wall surface are used to analyze the three-dimensional flow characteristics. Topological theory is applied to limiting streamlines on inner walls of the channel and two-dimensional streamlines at several cross sections. It is also shown that the flow impinges on the end wall of turn and the secondary flow is induced by the curvature in the sharp turn.
文摘The characteristics of novel cone-generated cylindrical worm and the machining princi- ple of using a grinding wheel with two degree-of-freedom motions are described. A systematic study is made on the first enveloping process of the grinding wheel forming a worm and the second enveloping process of the worm forming a worm wheel with the meshing theory of kinematic method. Some numerical calculation formulas and important conclusions are obtained.
基金supported by the National Natural Science Foundation of China (Grant No. 60778048)
文摘Based on a recently formulated unified theory of coherence and polarization, a method is described to study turbulence-induced changes in the polarization, the coherence and the spectrum of partially coherent electromagnetic beams on propagation. The electromagnetic Gaussian Schell-model beam is taken as a typical example of partially coherent electromagnetic beams, and the closed-form expressions for the degree of polarization, the degree of coherence and the spectrum of electromagnetic Gaussian Schell-model beams propagating through atmospheric turbulence are derived in the quadratic approximation of Rytov's phase structure function. Some interesting results are obtained, which are illustrated by numerical examples and are explained in physics.
基金Project 40335049 supported by the National Natural Science Emphases Foundation Item of China
文摘Taking the Hexi Corridor in western China as an example, this paper studies the interactive intimate i relation between urbanization and the environment in add areas based on the grey system theory. The results show that the grey relational degree between urbanization and the environment is low in the agriculture-oriented cities, modest in the tourism-oriented cities and great in the industry-oriented cities. The changing trend of coupling degree between urbanization and the environment does not entirely agree with that of urbanization or the environment. It showed fluctuating trends, which reflects the compactness and properties of the different stages of the coupling states between urbanization and the environment. In order to achieve a harmonious development with the environment in add areas, traditional development ideas about urbanization should be revised and more attention should be paid to the effect of restriction of water resources and the ecological environment on the development of the economy and society.
基金Supported by the Major State Basic Research Development Program of China(973 Program)(No.2013CB329005)the National Natural Science Foundation of China(No.61171094)+1 种基金the National Science & Technology Key Project(No.2011ZX03001-006-02.No.2011ZX03005004-03)the Key Project of Jiangsu Provincial Natural Science Foundation(No.BK2011027)
文摘It is a hot issue in communication research field to select the best network for Heterogeneous Wireless Networks(HWNs),and it is also a difficult problem to reduce the handoff number of vertical handoff.In order to solve this problem,the paper proposes a multiple attribute network selection algorithm based on Analytic Hierarchy Process(AHP)and synergetic theory.The algorithm applies synergetics to network selection,considering the candidate network as a compound system composed of multiple attribute subsystems,and combines the subsystem order degree with AHP weight to obtain entropy of the compound system,which is opposite the synergy degree of a network system.The greater the synergy degree,the better the network performance.The algorithm takes not only the coordination of objective attributes but also Quality of Service(QoS)requirements into consideration,ensuring that users select the network with overall good performance.The simulation results show that the proposed algorithm can effectively reduce the handoff number and provide uses with satisfactory QoS according to different services.
基金Supported by the National High Technology Research and Development Program of China (863 Program,No.2009AA01-Z241)the National Natural Science Foundation of China (No.60772062)
文摘A novel cooperative sensing method is proposed in this paper. The proposed scheme adopts sensing creditability degree to characterize the impact of the distance and the channel parameters on the sensing result,and considers that each user has different average SNR and different decision threshold,by using General Nash Bargaining Solution (GNBS) strategy in Cooperative Game Theory (CGT),the detection performance for two-user case are derived. For multi-user case,the sensing performance is obtained with Hungarian method. Compared with the traditional schemes such as Nash Bargaining Solution (NBS) and AND,the proposed scheme covers all the factors mentioned above,and enhances the sensing rationality and reliability. Simulation results show that the proposed scheme can further improve the sensing performance and creditability.
基金the Beijing Natural Science Foundation under contract number L191004the National Natural Science Foundation of China under contract number U1833203.
文摘The close-in weapon system(CIWS)is a combat system that faces a complex environment full of dynamic and unknown challenges,whose construction and planning require a systematic design method.Multiliving agent(MLA)theory is a methodology for the combat system design,which uses the livelihood degree to evaluate the multi-dimensional long-term operational effectiveness of the system;whereas,there is still no uniform quantization framework for the livelihood degree,and the adjustment methods of livelihood degree need to be further improved.In this paper,we propose the uniform quantization framework for the livelihood degree and detailed discuss the methods of livelihood adjustment.Based on the MLA theory,the multi-dimensional operational effectiveness of the missile-gun integrated weapon system(MGIWS)is analyzed,and the long-term combat effectiveness against the saturation attack is assessed.Furthermore,the planning problem of the equipment deployment and configuration is investigated.Two objectives,including the overall livelihood degree and cost-effectiveness(CE),are proposed,and the optimization method based on genetic algorithm(GA)is studied for the planning problem.
基金Sponsored by the National Natural Science Foundation of China(Grant No.50775050)the State Key Laboratory of Solidification Processing in NWPU(Grant No.200702)
文摘The parameters that describe the complex degree of a certain casting are of some uncertainty. Therefore, a new method based on the fuzzy theory to classify the complex degree of castings has been presented in this paper. The feasibility of fuzzy theory in describing the complex degree of castings has been discussed and the procedure of this method has been specified by analyzing the complex degrees of some typical castings. The element factors that influence the casting complexity, have been summarized, which include the wall-thickness and the number of transition surface, etc. The results show that it is reasonable and practicable to classify the complex degree of castings with the fuzzy theory.
基金Natural Science Foundation of Jiangsu Province of China ( No.BK2006176)High-Tech Key Laboratory of Jiangsu,China (No.BM2007201)
文摘In order to avoid the discretization in the classical rough set theory, a generlization rough set theory is proposed. At first, the degree of general importance of an attribute and attribute subsets are presented. Then, depending on the degree of general importance of attribute, the space distance can be measured with weighted method. At last, a generalization rough set theory based on the general near neighborhood relation is proposed. The proposed theory partitions the universe into the tolerant modules, and forms lower approximation and upper approximation of the set under general near neighborhood relationship, which avoids the discretization in Pawlak's rough set theory.
文摘The principles of the third theory of quantification were discussed. The concept and calculation method of reaction degree were put forward, which have extended the applying range and scientificalness of the primary reaction. Taking the Zhongmacun mine as an example, the geological factors affecting coal and gas outburst were researched. Eight sensitive factors for the outburst of coal and gas were screened out from 11 geological factors using the method of unit classification and the third theory of quantification. On the basis of this, the Zhongmacun coal mine was classified into several divisions. The practice shows that it is feasible to apply the third theory of quantification to gas geology, which offers a new thought to screen the sensitive geological factors of gas outburst forecast.
基金Supported by"973"Key Foundation of China (2002CB211704).
文摘The essential principles of the third theory of quantification are discussed, the concept and calculated method of reaction degree are put forward which extend the ap- plying range and scientificalness of the primary reaction. Taking the Zhongmacun Mine as example, on the base of analyzing the rules of gas geology synthetically and travers- ing the geological factors infecting coal and gas outburst, the paper adopts the method of combining carving up statistical units with the third theory of quantification, screens out 8 sensitive geological factors from 11 geological indexes and carries through the work of gas geology regionalism to the exploited area of Zhongmacun according to the researching result. The practice shows that it is feasible to apply the third theory of quantification to gas geology, which offers a new thought to screen the sensitive geo- logical factors of gas outburst forecast.