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.展开更多
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.
基金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.
