Aiming at the problem of abstract and polytype information modeling in product conceptual design, a method of conceptual modeling based on logical expression and evolvement is presented. Based on the logic expressions...Aiming at the problem of abstract and polytype information modeling in product conceptual design, a method of conceptual modeling based on logical expression and evolvement is presented. Based on the logic expressions of the product conceptual design information, a fimction/logic/strucmre mapping model is set up. First, the fimction semantics is transformed into logical expressions through fimction/logic mapping. Second, the methods of logical evolvement are utilized to describe the fimction analysis, fimction/strucmre mapping and structure combination. Last, the logical structure scheme is transformed into geometrical sketch through logic/structure mapping. The conceptual design information and modeling process are described uniformly with logical methods in the model, and an effective method for computer aided conceptual design based on the model is implemented.展开更多
What laws do the universe naturally operate according to?What should be the logical foundation of the human real world?This is a foundational and fundamental issue that humans have always wanted to clarify.From Thales...What laws do the universe naturally operate according to?What should be the logical foundation of the human real world?This is a foundational and fundamental issue that humans have always wanted to clarify.From Thales to philosophers such as Socrates,Plato,and Aristotle,ancient Greece achieved the origin and development of philosophy;Later,Descartes,Hume,Kant,Hegel,Nietzsche,and others explored new fields and concepts;Philosophers such as Husserl,Sartre,Russell,Wittgenstein,and Derrida left a profound mark in the 20th century.The emergence of a worldview emerged in the ancient Indian Vedas,and later in the religious and philosophical work The Upanishads,there was a discourse on the entities of"Brahma"and"I",which gave rise to the idea of"Advaita"in later generations.The Book of Changes was born in ancient China,along with major academic schools such as Taoism,Confucianism,Legalism,and Mohism.Later,Buddhist thought was integrated;With the Eastern ideas of yin and yang,the Doctrine of the Mean,harmony,and the ultimate goodness,I have integrated Eastern and Western historical philosophies,modern physics,and classical logic theories in my thinking on the principle of cosmic paradox,proposing a new perspective of understanding the essence of the universe and its natural logical relationship structure using the principle of paradox as the law of cosmic operation.The theoretical exploration and discussion of the dual nature relationship of"non-contradiction"and"contradiction"in the"first contradiction"relationship of things in the universe,that is,the identity of the universe is a self-contradictory overall transformation process;Attempting to reveal the paradoxical relationship of the universe from a new perspective in modern science,philosophy,and logic,striving to have a beneficial impact on the exploration and practical application of sustainable human survival and development models in the future.展开更多
This paper presents an analytical model to study the scaling trends in energy recovery logic.The energy performance of conventional CMOS and energy recovery logic are compared with scaling the design and technology pa...This paper presents an analytical model to study the scaling trends in energy recovery logic.The energy performance of conventional CMOS and energy recovery logic are compared with scaling the design and technology parameters such as supply voltage,device threshold voltage and gate oxide thickness.The proposed analytical model is validated with simulation results at 90 nm and 65 nm CMOS technology nodes and predicts the scaling behavior accurately that help us to design an energy-efficient CMOS digital circuit design at the nanoscale.This research work shows the adiabatic switching as an ultra-low-power circuit technique for sub-100 nm digital CMOS circuit applications.展开更多
This paper presents a method to define a set of mutuaJly recursive inductive types, and develops a higherorder unilication algorithm for Anz extended with inductive types. The algorithm is an extension of Eiliott'...This paper presents a method to define a set of mutuaJly recursive inductive types, and develops a higherorder unilication algorithm for Anz extended with inductive types. The algorithm is an extension of Eiliott's algoritbJn for λ∑.The notation of normal forms plays a vital role in higher-order unification.The weak head normal forms in the extended troe theory is defined to reveal the ultimate 'top level structures' of the fully normalized terms and types. Unification transformation rules are designed to deal with inductive types, a recursive operator and its reduction rule. The algoritlun can construct recuxsive functions automatically.展开更多
基金This project is supported by National Natural Science Foundation of China (No. 50405037)Provincial Natural Science Foundation of Zhejiang, China (No. Y105256)Specialized Research Fund for the Doctoral Program of Higher Education, China (No. 20040335060)
文摘Aiming at the problem of abstract and polytype information modeling in product conceptual design, a method of conceptual modeling based on logical expression and evolvement is presented. Based on the logic expressions of the product conceptual design information, a fimction/logic/strucmre mapping model is set up. First, the fimction semantics is transformed into logical expressions through fimction/logic mapping. Second, the methods of logical evolvement are utilized to describe the fimction analysis, fimction/strucmre mapping and structure combination. Last, the logical structure scheme is transformed into geometrical sketch through logic/structure mapping. The conceptual design information and modeling process are described uniformly with logical methods in the model, and an effective method for computer aided conceptual design based on the model is implemented.
文摘What laws do the universe naturally operate according to?What should be the logical foundation of the human real world?This is a foundational and fundamental issue that humans have always wanted to clarify.From Thales to philosophers such as Socrates,Plato,and Aristotle,ancient Greece achieved the origin and development of philosophy;Later,Descartes,Hume,Kant,Hegel,Nietzsche,and others explored new fields and concepts;Philosophers such as Husserl,Sartre,Russell,Wittgenstein,and Derrida left a profound mark in the 20th century.The emergence of a worldview emerged in the ancient Indian Vedas,and later in the religious and philosophical work The Upanishads,there was a discourse on the entities of"Brahma"and"I",which gave rise to the idea of"Advaita"in later generations.The Book of Changes was born in ancient China,along with major academic schools such as Taoism,Confucianism,Legalism,and Mohism.Later,Buddhist thought was integrated;With the Eastern ideas of yin and yang,the Doctrine of the Mean,harmony,and the ultimate goodness,I have integrated Eastern and Western historical philosophies,modern physics,and classical logic theories in my thinking on the principle of cosmic paradox,proposing a new perspective of understanding the essence of the universe and its natural logical relationship structure using the principle of paradox as the law of cosmic operation.The theoretical exploration and discussion of the dual nature relationship of"non-contradiction"and"contradiction"in the"first contradiction"relationship of things in the universe,that is,the identity of the universe is a self-contradictory overall transformation process;Attempting to reveal the paradoxical relationship of the universe from a new perspective in modern science,philosophy,and logic,striving to have a beneficial impact on the exploration and practical application of sustainable human survival and development models in the future.
基金supported by the Project SMDP-II,MCIT,Govt.of India
文摘This paper presents an analytical model to study the scaling trends in energy recovery logic.The energy performance of conventional CMOS and energy recovery logic are compared with scaling the design and technology parameters such as supply voltage,device threshold voltage and gate oxide thickness.The proposed analytical model is validated with simulation results at 90 nm and 65 nm CMOS technology nodes and predicts the scaling behavior accurately that help us to design an energy-efficient CMOS digital circuit design at the nanoscale.This research work shows the adiabatic switching as an ultra-low-power circuit technique for sub-100 nm digital CMOS circuit applications.
文摘This paper presents a method to define a set of mutuaJly recursive inductive types, and develops a higherorder unilication algorithm for Anz extended with inductive types. The algorithm is an extension of Eiliott's algoritbJn for λ∑.The notation of normal forms plays a vital role in higher-order unification.The weak head normal forms in the extended troe theory is defined to reveal the ultimate 'top level structures' of the fully normalized terms and types. Unification transformation rules are designed to deal with inductive types, a recursive operator and its reduction rule. The algoritlun can construct recuxsive functions automatically.
