Fuzzy logic is an approach which deals with the incomplete information to handle the imperfect knowledge. In the present research paper we have proposed a new approach that can handle the imperfect knowledge, in a bro...Fuzzy logic is an approach which deals with the incomplete information to handle the imperfect knowledge. In the present research paper we have proposed a new approach that can handle the imperfect knowledge, in a broader way that we will consider the unfavourable case also as the intuitionistic fuzzy logic does. The mediative fuzzy logic is an extensive approach of intuitionistic fuzzy logic, which provides a solution, when there is a contradiction in the expert knowledge for favourable as well as unfavourable cases. The purpose of the present paper is to design a mediative fuzzy inference system based Sugeno-TSK model for the diagnosis of heart disease. Our proposed method is the extension of Sugeno-TSK fuzzy logic controller in the form of Sugeno-TSK mediative fuzzy logic controller.展开更多
The idea of replacing traditional silicon-based electronic components with the ones assembled by organic molecules to further scale down the electric circuits has been attracting extensive research focuses.Among the m...The idea of replacing traditional silicon-based electronic components with the ones assembled by organic molecules to further scale down the electric circuits has been attracting extensive research focuses.Among the molecularly assembled components,the design of molecular logic gates with simple structure and high Boolean computing speed remains a great challenge.Here,by using the state-of-the-art nonequilibrium Green’s function theory in conjugation with first-principles method,the spin transport properties of single-molecule junctions comprised of two serially connected transition metal dibenzotetraaza[14]annulenes(TM(DBTAA),TM=Fe,Co)sandwiched between two single-walled carbon nanotube electrodes are theoretically investigated.The numerical results show a close dependence of the spin-resolved current-voltage characteristics on spin configurations between the left and right molecular kernels and the kind of TM atom in TM(DBTAA)molecule.By taking advantage of spin degree of freedom of electrons,NOR or XNOR Boolean logic gates can be realized in Fe(DBTAA)and Co(DBTAA)junctions depending on the definitions of input and output signals.This work proposes a new kind of molecular logic gates and hence is helpful for further miniaturization of the electric circuits.展开更多
SOA is built upon and evolving from older concepts of distributed computing and modular programming, OWL-S plays a key role in describing behaviors of web services, which are the essential of the SOA software. Althoug...SOA is built upon and evolving from older concepts of distributed computing and modular programming, OWL-S plays a key role in describing behaviors of web services, which are the essential of the SOA software. Although OWL-S has given semantics to concepts by ontology technology, it gives no semantics to control-flow and data-flow. This paper presents a formal semantics framework for OWL-S sub-set, including its abstraction, syntax, static and dynamic seman-tics by rewrite logic. Details of a consistent transformation from OWL-S SOS of control-flow to corresponding rules and equations, and dataflow semantics including “Precondition”, “Result” and “Binding” etc. are explained. This paper provides a possibility for formal verification and reliability evaluation of software based on SOA.展开更多
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.展开更多
This article presents four (4) additions to a book on the brain’s OS published by SciRP in 2015 [1]. It is a kind of appendix to the book. Some familiarity with the earlier book is presupposed. The book itself propos...This article presents four (4) additions to a book on the brain’s OS published by SciRP in 2015 [1]. It is a kind of appendix to the book. Some familiarity with the earlier book is presupposed. The book itself proposes a complete physical and mathematical blueprint of the brain’s OS. A first addition to the book (see Chapters 5 to 10 below) concerns the relation between the afore-mentioned blueprint and the more than 2000-year-old so-called fundamental laws of thought of logic and philosophy, which came to be viewed as being three (3) in number, namely the laws of 1) Identity, 2) Contradiction, and 3) the Excluded Middle. The blueprint and the laws cannot both be the final foundation of the brain’s OS. The design of the present paper is to interpret the laws in strictly mathematical terms in light of the blueprint. This addition constitutes the bulk of the present article. Chapters 5 to 8 set the stage. Chapters 9 and 10 present a detailed mathematical analysis of the laws. A second addition to the book (Chapter 11) concerns the distinction between the laws and the axioms of the brain’s OS. Laws are part of physics. Axioms are part of mathematics. Since the theory of the brain’s OS involves both physics and mathematics, it exhibits both laws and axioms. A third addition (Chapter 12) to the book involves an additional flavor of digitality in the brain’s OS. In the book, there are five (5). But brain chemistry requires a sixth. It will be called Existence Digitality. A fourth addition (Chapter 13) concerns reflections on the role of imagination in theories of physics in light of the ignorance of deeper causes. Chapters 1 to 4 present preliminary matter, for the most part a brief survey of general concepts derived from what is in the book [1]. Some historical notes are gathered at the end in Chapter 14.展开更多
LSILogic近日向渠道发布了其半高SATAⅡ3Gb／s MegaRAID适配器。该半高适配器是MegaRAID家族中的最新产品，是那些对成本较敏感、存储环境空间较小的用户的理想之选。MegaRAID SATA 300—8XLP适配器提供一个133MHz的PCI-X主机接口，配有...LSILogic近日向渠道发布了其半高SATAⅡ3Gb／s MegaRAID适配器。该半高适配器是MegaRAID家族中的最新产品，是那些对成本较敏感、存储环境空间较小的用户的理想之选。MegaRAID SATA 300—8XLP适配器提供一个133MHz的PCI-X主机接口，配有8个SATAII的端口，板载128MB的DDRI缓冲存储器。该适配器可完全向后兼容所有的SATA Ⅰ 1．5Gb／s驱动器，并支持所有的SATA2．5修订版的规范。展开更多
文摘Fuzzy logic is an approach which deals with the incomplete information to handle the imperfect knowledge. In the present research paper we have proposed a new approach that can handle the imperfect knowledge, in a broader way that we will consider the unfavourable case also as the intuitionistic fuzzy logic does. The mediative fuzzy logic is an extensive approach of intuitionistic fuzzy logic, which provides a solution, when there is a contradiction in the expert knowledge for favourable as well as unfavourable cases. The purpose of the present paper is to design a mediative fuzzy inference system based Sugeno-TSK model for the diagnosis of heart disease. Our proposed method is the extension of Sugeno-TSK fuzzy logic controller in the form of Sugeno-TSK mediative fuzzy logic controller.
基金National Natural Science Foundation of China(Grant Nos.11874242,21933002,and 11704230)China Postdoctoral Science Foundation(Grant No.2017M612321)the Taishan Scholar Project of Shandong Province of China.
文摘The idea of replacing traditional silicon-based electronic components with the ones assembled by organic molecules to further scale down the electric circuits has been attracting extensive research focuses.Among the molecularly assembled components,the design of molecular logic gates with simple structure and high Boolean computing speed remains a great challenge.Here,by using the state-of-the-art nonequilibrium Green’s function theory in conjugation with first-principles method,the spin transport properties of single-molecule junctions comprised of two serially connected transition metal dibenzotetraaza[14]annulenes(TM(DBTAA),TM=Fe,Co)sandwiched between two single-walled carbon nanotube electrodes are theoretically investigated.The numerical results show a close dependence of the spin-resolved current-voltage characteristics on spin configurations between the left and right molecular kernels and the kind of TM atom in TM(DBTAA)molecule.By taking advantage of spin degree of freedom of electrons,NOR or XNOR Boolean logic gates can be realized in Fe(DBTAA)and Co(DBTAA)junctions depending on the definitions of input and output signals.This work proposes a new kind of molecular logic gates and hence is helpful for further miniaturization of the electric circuits.
文摘SOA is built upon and evolving from older concepts of distributed computing and modular programming, OWL-S plays a key role in describing behaviors of web services, which are the essential of the SOA software. Although OWL-S has given semantics to concepts by ontology technology, it gives no semantics to control-flow and data-flow. This paper presents a formal semantics framework for OWL-S sub-set, including its abstraction, syntax, static and dynamic seman-tics by rewrite logic. Details of a consistent transformation from OWL-S SOS of control-flow to corresponding rules and equations, and dataflow semantics including “Precondition”, “Result” and “Binding” etc. are explained. This paper provides a possibility for formal verification and reliability evaluation of software based on SOA.
基金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.
文摘This article presents four (4) additions to a book on the brain’s OS published by SciRP in 2015 [1]. It is a kind of appendix to the book. Some familiarity with the earlier book is presupposed. The book itself proposes a complete physical and mathematical blueprint of the brain’s OS. A first addition to the book (see Chapters 5 to 10 below) concerns the relation between the afore-mentioned blueprint and the more than 2000-year-old so-called fundamental laws of thought of logic and philosophy, which came to be viewed as being three (3) in number, namely the laws of 1) Identity, 2) Contradiction, and 3) the Excluded Middle. The blueprint and the laws cannot both be the final foundation of the brain’s OS. The design of the present paper is to interpret the laws in strictly mathematical terms in light of the blueprint. This addition constitutes the bulk of the present article. Chapters 5 to 8 set the stage. Chapters 9 and 10 present a detailed mathematical analysis of the laws. A second addition to the book (Chapter 11) concerns the distinction between the laws and the axioms of the brain’s OS. Laws are part of physics. Axioms are part of mathematics. Since the theory of the brain’s OS involves both physics and mathematics, it exhibits both laws and axioms. A third addition (Chapter 12) to the book involves an additional flavor of digitality in the brain’s OS. In the book, there are five (5). But brain chemistry requires a sixth. It will be called Existence Digitality. A fourth addition (Chapter 13) concerns reflections on the role of imagination in theories of physics in light of the ignorance of deeper causes. Chapters 1 to 4 present preliminary matter, for the most part a brief survey of general concepts derived from what is in the book [1]. Some historical notes are gathered at the end in Chapter 14.
