Circuit design of 32 bit logarithmic skip adder (LSA) is introduced to implement high performance,low power addition.ELM carry lookahead adder is included into groups of carry skip adder and the hybrid structure cost...Circuit design of 32 bit logarithmic skip adder (LSA) is introduced to implement high performance,low power addition.ELM carry lookahead adder is included into groups of carry skip adder and the hybrid structure costs 30% less hardware than ELM.At circuit level,a carry incorporating structure to include the primary carry input in carry chain and an 'and xor' structure to implement final sum logic in 32 bit LSA are designed for better optimization.For 5V,1μm process,32 bit LSA has a critical delay of 5 9ns and costs an area of 0 62mm 2,power consumption of 23mW at 100MHz.For 2 5V,0 25μm process,critical delay of 0 8ns,power dissipation of 5 2mW at 100MHz is simulated.展开更多
Considering the problems of classical structure parameters that existed in the study of quantitative structure activity relationship (QSAR). Two new groups of autocorrelation topological indexes V(t), E(t), (P(t)) and...Considering the problems of classical structure parameters that existed in the study of quantitative structure activity relationship (QSAR). Two new groups of autocorrelation topological indexes V(t), E(t), (P(t)) and A(t), B(t), C(t), D(t) were developed on the basis of molecular topology and autocorrelation function in mathematics. The first group were obtained from Van der Waals volume, electronegativity and topological vertex degree;and the second group were obtained from the different combination of topological vertex degree.Corresponding softwares of ATIJP and ATITP have been developed for calculating these two new groups of indexes. Better results have been obtained from the application of these indexes in QSAR study.展开更多
A virtual reconfigurable architecture(VRA)-based evolvable hardware is proposed for automatic synthesis of combinational logic circuits at gate-level.The proposed VRA is implemented by a Celoxica RC1000 peripheral com...A virtual reconfigurable architecture(VRA)-based evolvable hardware is proposed for automatic synthesis of combinational logic circuits at gate-level.The proposed VRA is implemented by a Celoxica RC1000 peripheral component interconnect(PCI)board with an Xilinx Virtex xcv2000E field programmable gate array(FPGA).To improve the quality of the evolved circuits,the VRA works through a two-stage evolution: finding a functional circuit and minimizing the number of logic gates used in a feasible circuit.To optimize the algorithm performance in the two-stage evolutionary process and set free the user from the time-consuming process of mutation parameter tuning,a self-adaptive mutation rate control(SAMRC)scheme is introduced.In the evolutionary process,the mutation rate control parameters are encoded as additional genes in the chromosome and also undergo evolutionary operations.The efficiency of the proposed methodology is tested with the evolutions of a 4-bit even parity function,a 2-bit multiplier,and a 3-bit multiplier.The obtained results demonstrate that our scheme improves the evolutionary design of combinational logic circuits in terms of quality of the evolved circuit as well as the computational effort,when compared to the existing evolvable hardware approaches.展开更多
Jan Lukasiewicz acknowledged that Aristotle＇s syllogistic does not admit singular terms and presents syllogism as an implication. But he failed to recognize syllogistic necessity, reducing this necessity to ＂formal ...Jan Lukasiewicz acknowledged that Aristotle＇s syllogistic does not admit singular terms and presents syllogism as an implication. But he failed to recognize syllogistic necessity, reducing this necessity to ＂formal implication＂ as introduced by Russell, when Aristotle shows it as binding relations between three terms. On the contrary, Paul Lorenzen directly recognized syllogistic necessity as the typical example of his own logical implication. His reconstruction of syllogistic differs from the original by his interpretation of particular propositions as the determination of classes which are specified by predicates. The result is the representation of valid moods as the board of all multiplications of relations which are permitted. These relations are not only the Aristotelian ,4, E,I, O, but also the new converse asymmetrical relations of A and O： （a） and （o）.展开更多
This paper discusses the present state of Tra- ditional Chinese Medicine being divided into three leading lines of thought, namely, the Clinical line, the Integration of Western and Chinese Medicine line and the Devel...This paper discusses the present state of Tra- ditional Chinese Medicine being divided into three leading lines of thought, namely, the Clinical line, the Integration of Western and Chinese Medicine line and the Development of Traditional Chinese Medicine line. It also describes the position of Tra- ditional Chinese Medicine being a medical science rich in philosophy and wisdom and a culture centred upon medical science and technology. It outlines the basic characteristic of Traditional Chinese Medicine being rooted in the ’ Holistic Theory’ and ’ Syndrome Differentiation and Treatment ’ and pointed out various flaws in methodology in Integra- tion of Western and Chinese Medicine research. It also stresses that in order to make fruitful progress in the development of Traditional Chinese Medicine, multi-discipline research in Traditional Chinese Medicine should be made on a thoroughly under- standing of the basic methodology of Traditional Chi- nese Medicine and follow its established principles.展开更多
文摘Circuit design of 32 bit logarithmic skip adder (LSA) is introduced to implement high performance,low power addition.ELM carry lookahead adder is included into groups of carry skip adder and the hybrid structure costs 30% less hardware than ELM.At circuit level,a carry incorporating structure to include the primary carry input in carry chain and an 'and xor' structure to implement final sum logic in 32 bit LSA are designed for better optimization.For 5V,1μm process,32 bit LSA has a critical delay of 5 9ns and costs an area of 0 62mm 2,power consumption of 23mW at 100MHz.For 2 5V,0 25μm process,critical delay of 0 8ns,power dissipation of 5 2mW at 100MHz is simulated.
文摘Considering the problems of classical structure parameters that existed in the study of quantitative structure activity relationship (QSAR). Two new groups of autocorrelation topological indexes V(t), E(t), (P(t)) and A(t), B(t), C(t), D(t) were developed on the basis of molecular topology and autocorrelation function in mathematics. The first group were obtained from Van der Waals volume, electronegativity and topological vertex degree;and the second group were obtained from the different combination of topological vertex degree.Corresponding softwares of ATIJP and ATITP have been developed for calculating these two new groups of indexes. Better results have been obtained from the application of these indexes in QSAR study.
基金Projects(61203308,61309014)supported by the National Natural Science Foundation of China
文摘A virtual reconfigurable architecture(VRA)-based evolvable hardware is proposed for automatic synthesis of combinational logic circuits at gate-level.The proposed VRA is implemented by a Celoxica RC1000 peripheral component interconnect(PCI)board with an Xilinx Virtex xcv2000E field programmable gate array(FPGA).To improve the quality of the evolved circuits,the VRA works through a two-stage evolution: finding a functional circuit and minimizing the number of logic gates used in a feasible circuit.To optimize the algorithm performance in the two-stage evolutionary process and set free the user from the time-consuming process of mutation parameter tuning,a self-adaptive mutation rate control(SAMRC)scheme is introduced.In the evolutionary process,the mutation rate control parameters are encoded as additional genes in the chromosome and also undergo evolutionary operations.The efficiency of the proposed methodology is tested with the evolutions of a 4-bit even parity function,a 2-bit multiplier,and a 3-bit multiplier.The obtained results demonstrate that our scheme improves the evolutionary design of combinational logic circuits in terms of quality of the evolved circuit as well as the computational effort,when compared to the existing evolvable hardware approaches.
文摘Jan Lukasiewicz acknowledged that Aristotle＇s syllogistic does not admit singular terms and presents syllogism as an implication. But he failed to recognize syllogistic necessity, reducing this necessity to ＂formal implication＂ as introduced by Russell, when Aristotle shows it as binding relations between three terms. On the contrary, Paul Lorenzen directly recognized syllogistic necessity as the typical example of his own logical implication. His reconstruction of syllogistic differs from the original by his interpretation of particular propositions as the determination of classes which are specified by predicates. The result is the representation of valid moods as the board of all multiplications of relations which are permitted. These relations are not only the Aristotelian ,4, E,I, O, but also the new converse asymmetrical relations of A and O： （a） and （o）.
文摘This paper discusses the present state of Tra- ditional Chinese Medicine being divided into three leading lines of thought, namely, the Clinical line, the Integration of Western and Chinese Medicine line and the Development of Traditional Chinese Medicine line. It also describes the position of Tra- ditional Chinese Medicine being a medical science rich in philosophy and wisdom and a culture centred upon medical science and technology. It outlines the basic characteristic of Traditional Chinese Medicine being rooted in the ’ Holistic Theory’ and ’ Syndrome Differentiation and Treatment ’ and pointed out various flaws in methodology in Integra- tion of Western and Chinese Medicine research. It also stresses that in order to make fruitful progress in the development of Traditional Chinese Medicine, multi-discipline research in Traditional Chinese Medicine should be made on a thoroughly under- standing of the basic methodology of Traditional Chi- nese Medicine and follow its established principles.
