A soitable data model and data structure make underground survey objects maintained and operated easier. This paper gives a formal definition for underground survey objects. By making use of the quotient topological s...A soitable data model and data structure make underground survey objects maintained and operated easier. This paper gives a formal definition for underground survey objects. By making use of the quotient topological space, the author studies the logical relations among underground survey objects, a partiallyordered space uuder some conditions. An example is given to show the data model’s possible applications.展开更多
In modern motoring, many factors are considered to realize driving convenience and achieving safety at a reasonable cost. A drive towards effective management of traffic and parking space allocation in urban centres u...In modern motoring, many factors are considered to realize driving convenience and achieving safety at a reasonable cost. A drive towards effective management of traffic and parking space allocation in urban centres using intelligent software applications is currently being developed and deployed as GPS enabled service to consumers in automobiles or smartphone applications for convenience, safety and economic benefits. Building a fuzzy logic inference for such applications may have numerous approaches such as algorithms in Pascal or C-languages and of course using an effective fuzzy logic toolbox. Referring to a case report based on IrisNet project analysis, in this paper Matlab fuzzy logic toolbox is used in developing an inference for managing traffic flow and parking allocation with generalized feature that is open for modification. Being that modifications can be done within any or all among the tool’s universe of discourse, increment in the number of membership functions and changing input and output variables etc, the work here is limited within changes at input and output variables and bases of universe of discourse. The process implications is shown as plotted by the toolbox in surface and rule views, implying that the inference is flexibly open for modifications to suit area of application within reasonable time frame no matter how complex. The travel time to the parking space being an output variable in the current inference is recommended to be substituted with distance to parking space as the former is believed to affect driving habits among motorist, whom may require the inference to as well cover other important locations such as nearest or cheapest gas station, hotels, hospitals etc.展开更多
Building a moderately prosperous society in all respects is a milestone in China’s human rights development.It clearly reflects the profound action logic of the CpC leading the Chinese people to fight for and realize...Building a moderately prosperous society in all respects is a milestone in China’s human rights development.It clearly reflects the profound action logic of the CpC leading the Chinese people to fight for and realize the protection of rights.At the level of values,the logic of rights for China’s human rights development is mainly manifested in four aspects:prioritizing the right to subsistence and the right to development in the rights system;importance given to citizenship and democracy by the goal of building a moderately prosperously society in all respects;advocating the right to unity and the right to participate in the common cause of the Chinese people;implementing the responsibility of leaders and managers to safeguard human rights.At the practical level,the protection logic of China’s human rights development mainly includes four links:firstly,gradual upgrading is a reliable procedure for the coordination of the human rights system;secondly,the rule of law is a solid foundation for the steady development of human rights;thirdly,the courage to explore is the important factor for the success of human rights practice;lastly,seeking common ground while shelving differences is the key consensus for mutual learning among human rights civilizations.In terms of time and space,China’s human rights development has achieved world-recognized success,laying a solid foundation for this endeavor to proceed,and providing experience and reference for people all over the world to pursue common human rights ideals.展开更多
We demonstrate the flaws of Mao's method, which is an augmentation ofprotocol idealization in BAN-like logics, and then offer some new idealization rules based on Mao'smethod. Furthermore, we give some theoret...We demonstrate the flaws of Mao's method, which is an augmentation ofprotocol idealization in BAN-like logics, and then offer some new idealization rules based on Mao'smethod. Furthermore, we give some theoretical analysis of our rules using the strand spaceformalism, and show the soundness of our idealization rules under strand spaces Some examples onusing the new rules to analyze security protocols are also concerned. Our idealization method ismore effective than Mao's method towards many protocol instances, and is supported by a formalmodel.展开更多
Every algorithm which can be executed on a computer can at least in principle be realized in hardware, i.e. by a discrete physical system. The problem is that up to now there is no programming language by which physic...Every algorithm which can be executed on a computer can at least in principle be realized in hardware, i.e. by a discrete physical system. The problem is that up to now there is no programming language by which physical systems can constructively be described. Such tool, however, is essential for the compact description and automatic production of complex systems. This paper introduces a programming language, called Akton-Algebra, which provides the foundation for the complete description of discrete physical systems. The approach originates from the finding that every discrete physical system reduces to a spatiotemporal topological network of nodes, if the functional and metric properties are deleted. A next finding is that there exists a homeomorphism between the topological network and a sequence of symbols representing a program by which the original nodal network can be reconstructed. Providing Akton-Algebra with functionality turns it into a flow-controlled general data processing language, which by introducing clock control and addressing can be further transformed into a classical programming language. Providing Akton-Algebra with metrics, i.e. the shape and size of the components, turns it into a novel hardware system construction language.展开更多
Modern advances in pure mathematics and particularly in transfinite set theory have introduced into the fundamentals of theoretical physics many novel concepts and devices such as fractal quasi manifolds with non-inte...Modern advances in pure mathematics and particularly in transfinite set theory have introduced into the fundamentals of theoretical physics many novel concepts and devices such as fractal quasi manifolds with non-integer (Hausdorff) dimension for its geometry as well as infinite dimensional wild topology and non classical fuzzy logic. In the present work transfinite fractal sets and fuzzy logic are combined to enable the introduction of a new theory termed fractal logic to the foundation of high energy particle physics. This leads naturally to a new look at quantum gravity. In particular we will show that to understand and develop quantum gravity we have to bring various fields together, particularly fractals and nonlinear dynamics as well as sphere packing, fuzzy set theory, number theory and quantum entanglement and irrationally q-deformed algebra.展开更多
文摘A soitable data model and data structure make underground survey objects maintained and operated easier. This paper gives a formal definition for underground survey objects. By making use of the quotient topological space, the author studies the logical relations among underground survey objects, a partiallyordered space uuder some conditions. An example is given to show the data model’s possible applications.
文摘In modern motoring, many factors are considered to realize driving convenience and achieving safety at a reasonable cost. A drive towards effective management of traffic and parking space allocation in urban centres using intelligent software applications is currently being developed and deployed as GPS enabled service to consumers in automobiles or smartphone applications for convenience, safety and economic benefits. Building a fuzzy logic inference for such applications may have numerous approaches such as algorithms in Pascal or C-languages and of course using an effective fuzzy logic toolbox. Referring to a case report based on IrisNet project analysis, in this paper Matlab fuzzy logic toolbox is used in developing an inference for managing traffic flow and parking allocation with generalized feature that is open for modification. Being that modifications can be done within any or all among the tool’s universe of discourse, increment in the number of membership functions and changing input and output variables etc, the work here is limited within changes at input and output variables and bases of universe of discourse. The process implications is shown as plotted by the toolbox in surface and rule views, implying that the inference is flexibly open for modifications to suit area of application within reasonable time frame no matter how complex. The travel time to the parking space being an output variable in the current inference is recommended to be substituted with distance to parking space as the former is believed to affect driving habits among motorist, whom may require the inference to as well cover other important locations such as nearest or cheapest gas station, hotels, hospitals etc.
基金the key project“Research on the Mechanism of Enhancing China’s Right of Speech in International Law Oriented by of National Image”of The National Social Science Fund of China(19AFX024)
文摘Building a moderately prosperous society in all respects is a milestone in China’s human rights development.It clearly reflects the profound action logic of the CpC leading the Chinese people to fight for and realize the protection of rights.At the level of values,the logic of rights for China’s human rights development is mainly manifested in four aspects:prioritizing the right to subsistence and the right to development in the rights system;importance given to citizenship and democracy by the goal of building a moderately prosperously society in all respects;advocating the right to unity and the right to participate in the common cause of the Chinese people;implementing the responsibility of leaders and managers to safeguard human rights.At the practical level,the protection logic of China’s human rights development mainly includes four links:firstly,gradual upgrading is a reliable procedure for the coordination of the human rights system;secondly,the rule of law is a solid foundation for the steady development of human rights;thirdly,the courage to explore is the important factor for the success of human rights practice;lastly,seeking common ground while shelving differences is the key consensus for mutual learning among human rights civilizations.In terms of time and space,China’s human rights development has achieved world-recognized success,laying a solid foundation for this endeavor to proceed,and providing experience and reference for people all over the world to pursue common human rights ideals.
文摘We demonstrate the flaws of Mao's method, which is an augmentation ofprotocol idealization in BAN-like logics, and then offer some new idealization rules based on Mao'smethod. Furthermore, we give some theoretical analysis of our rules using the strand spaceformalism, and show the soundness of our idealization rules under strand spaces Some examples onusing the new rules to analyze security protocols are also concerned. Our idealization method ismore effective than Mao's method towards many protocol instances, and is supported by a formalmodel.
文摘Every algorithm which can be executed on a computer can at least in principle be realized in hardware, i.e. by a discrete physical system. The problem is that up to now there is no programming language by which physical systems can constructively be described. Such tool, however, is essential for the compact description and automatic production of complex systems. This paper introduces a programming language, called Akton-Algebra, which provides the foundation for the complete description of discrete physical systems. The approach originates from the finding that every discrete physical system reduces to a spatiotemporal topological network of nodes, if the functional and metric properties are deleted. A next finding is that there exists a homeomorphism between the topological network and a sequence of symbols representing a program by which the original nodal network can be reconstructed. Providing Akton-Algebra with functionality turns it into a flow-controlled general data processing language, which by introducing clock control and addressing can be further transformed into a classical programming language. Providing Akton-Algebra with metrics, i.e. the shape and size of the components, turns it into a novel hardware system construction language.
文摘Modern advances in pure mathematics and particularly in transfinite set theory have introduced into the fundamentals of theoretical physics many novel concepts and devices such as fractal quasi manifolds with non-integer (Hausdorff) dimension for its geometry as well as infinite dimensional wild topology and non classical fuzzy logic. In the present work transfinite fractal sets and fuzzy logic are combined to enable the introduction of a new theory termed fractal logic to the foundation of high energy particle physics. This leads naturally to a new look at quantum gravity. In particular we will show that to understand and develop quantum gravity we have to bring various fields together, particularly fractals and nonlinear dynamics as well as sphere packing, fuzzy set theory, number theory and quantum entanglement and irrationally q-deformed algebra.
