An asymmetry power clock,4 phase power clock supplying the power to the DSCRL(dual swing charge recovery logic) adiabatic circuit is presented.It is much simpler than the 6 phase power clock,symmetry power clock,us...An asymmetry power clock,4 phase power clock supplying the power to the DSCRL(dual swing charge recovery logic) adiabatic circuit is presented.It is much simpler than the 6 phase power clock,symmetry power clock,used in the DSCRL adiabatic circuit.Although the 4 phase power clock is simpler,the DSCRL adiabatic circuit still shows good performance and high efficiency of energy transfer and recovery.This conclusion has been proved by the result of the HSPICE simulation using the 0 6μm CMOS technology.展开更多
This paper presents an optimized SRAM that is repairable and dissipates less power. To improve the yield of SRAMs per wafer,redundancy logic and an E-FUSE box are added to the SRAM and an SR SRAM is set up. In order t...This paper presents an optimized SRAM that is repairable and dissipates less power. To improve the yield of SRAMs per wafer,redundancy logic and an E-FUSE box are added to the SRAM and an SR SRAM is set up. In order to reduce power dissipation,power on/off states and isolation logic are introduced into the SR SRAM and an LPSR SRAM is constructed. The optimized LPSR SRAM64K × 32 is used in SoC and the testing method of the LPSR SRAM64K × 32 is also discussed. The SoC design is successfully implemented in the Chartered 90nm CMOS process. The SoC chip occupies 5. 6mm× 5. 6ram of die area and the power dissipation is 1997mW. The test results indicate that LPSR SRAM64K ×32 obtains 17. 301% power savings and the yield of the LPSR SRAM64K × 32s per wafer is improved by 13. 255%.展开更多
To solve the extended fuzzy description logic with qualifying number restriction （EFALCQ） reasoning problems, EFALCQ is discretely simulated by description logic with qualifying number restriction （ALCQ）, and ALCQ...To solve the extended fuzzy description logic with qualifying number restriction （EFALCQ） reasoning problems, EFALCQ is discretely simulated by description logic with qualifying number restriction （ALCQ）, and ALCQ reasoning results are reused to prove the complexity of EFALCQ reasoning problems. The ALCQ simulation method for the consistency of EFALCQ is proposed. This method reduces EFALCQ satisfiability into EFALCQ consistency, and uses EFALCQ satisfiability to discretely simulate EFALCQ satdomain. It is proved that the reasoning complexity for EFALCQ satisfiability, consistency and sat-domain is PSPACE-complete.展开更多
In this paper,starting with the well known U(1)Chern-Simons Lagrangian and the covariant derivative ofa complex scalar matter field,we give a detailed discussion of some topological properties of anyons.We show that t...In this paper,starting with the well known U(1)Chern-Simons Lagrangian and the covariant derivative ofa complex scalar matter field,we give a detailed discussion of some topological properties of anyons.We show that the'basic'charge carried by anyons has an inner structure and can be decomposed in terms of the Chern-Simons couplingand the gauge coupling constants of the theory.Also some incorrect results obtained in the literature are revised.展开更多
In March 2017, Narendra Modi led his Bharatiya Janata Party(BJP) to victory in state elections, among which he gained parliamentary election of Uttar Pradesh(state in northern India), known as the weather vane of Indi...In March 2017, Narendra Modi led his Bharatiya Janata Party(BJP) to victory in state elections, among which he gained parliamentary election of Uttar Pradesh(state in northern India), known as the weather vane of Indian elections. Back in 2014, the BJP had already won a simple majority in Lok Sabha(the lower house of parliament), bringing an end to more than 30 years of coalition government. Now, the BJP is exhibiting stronger presence as a one-party-rule at both federal and local levels, with no counter-balance from the Indian National Congress, local parties, or left wing parties now or in the foreseeable future. This increases the likelihood of Modi's re-election as prime minister in 2019. Obviously,Indian political development is characterized by complexity, accidental factors and intrinsic logic, which will definitely exert great influence on the future of India.展开更多
Analyzes the shortcomings of the classic capital market theories based on EMH and discloses the complexity essence of the capital market. Considering the capital market a complicated, interactive and adaptable dynamic...Analyzes the shortcomings of the classic capital market theories based on EMH and discloses the complexity essence of the capital market. Considering the capital market a complicated, interactive and adaptable dynamic system, with complexity science as the method for researching the operation law of the capital market, this paper constructs a nonlinear logical model to analyze the applied realm, focal point and interrelationship of such theories as dissipative structure theory, chaos theory, fractal theory, synergetics theory, catastrophe theory and scale theory, and summarizes and discusses the achievements and problems of each theory. Based on the research, the paper foretells the developing direction of eomplexity science in a capital market.展开更多
Sensorial information is very difficult to elicit, to represent and to manage because of its complexity. Fuzzy logic provides an interesting means to deal with such information, since it allows us to represent impreci...Sensorial information is very difficult to elicit, to represent and to manage because of its complexity. Fuzzy logic provides an interesting means to deal with such information, since it allows us to represent imprecise, vague or incomplete descriptions, which are very common in the management of subjective information. Aggregation methods proposed by fuzzy logic are further useful to combine the characteristics of the various components of sensorial information.展开更多
We propose a fuzzy logic-based image retrieval system, in which the image similarity can be inferred in a nonlinear manner as human thinking. In the fuzzy inference process, weight assignments of multi-image features ...We propose a fuzzy logic-based image retrieval system, in which the image similarity can be inferred in a nonlinear manner as human thinking. In the fuzzy inference process, weight assignments of multi-image features were resolved impliedly. Each fuzzy rule was embedded into the subjectivity of human perception of image contents. A color histogram called the average area histogram is proposed to represent the color features. Experimental results show the efficiency and feasibility of the proposed algorithms.展开更多
The readout integrated circuit (ROIC) technology is one of the critical technologies in the research of an infrared focal plane array (IRFPA). Based on the virtual instrument technology, a system for parameter test of...The readout integrated circuit (ROIC) technology is one of the critical technologies in the research of an infrared focal plane array (IRFPA). Based on the virtual instrument technology, a system for parameter test of ROIC is developed for IRFPA. The complex programmable logic device (CPLD) is applied into the system to increase its flexibility. With high reliability and precision, along with the integrated software and hardware environment, the system can test all kinds of ROICs.展开更多
High precise, high voltage pulse generator made up of high-power IGBT and pulse transformers controlled by a computer are described. A simple main circuit topology employed in this pulse generator can reduce the cost ...High precise, high voltage pulse generator made up of high-power IGBT and pulse transformers controlled by a computer are described. A simple main circuit topology employed in this pulse generator can reduce the cost meanwhile it still meets special requirements for pulsed electric fields (PEFs) in food process. The pulse generator utilizes a complex programmable logic device (CPLD) to generate trigger signals. Pulse-frequency, pulse-width and pulse-number are controlled via RS232 bus by a computer. The high voltage pulse generator well suits to the application for fluid food non-thermal effect in pulsed electric fields, for it can increase and decrease by the step length 1.展开更多
A new passive wheel type of leg-wheeled mobile robot based on rolling principle was introduced. To enhance the stability and maintain vertical to the ground of wheels, four passive wheels were installed at the end of ...A new passive wheel type of leg-wheeled mobile robot based on rolling principle was introduced. To enhance the stability and maintain vertical to the ground of wheels, four passive wheels were installed at the end of four legs respectively and parallel mechanisms were used as legs. And an inertia coordinate system and a robot coordinate system were established, the related kinematic equation of the robot was gotten according to some assumptions after the configuration or the posture of wheels and legs was analyzed. At the same time, the turning conditions of the robot were also obtained. Based on the motion principle, the VSS-based logic control system was designed and the skating straight experiments and the turning experiments were conducted. And some conclusions were drawn.展开更多
Although CRISPR/Cas9 has been widely used to generate knockout mice, two major limitations remain:the founders usually carry a mixture of genotypes, and mosaicism harboring multiple genotypes.Therefore, it takes a lon...Although CRISPR/Cas9 has been widely used to generate knockout mice, two major limitations remain:the founders usually carry a mixture of genotypes, and mosaicism harboring multiple genotypes.Therefore, it takes a long time to get homozygous mutants. Recently developed base editing(BE) system,which introduces C-to-T conversion without double strand DNA cleavage, has been used to introduce artificial stop codons(i-STOP) to prematurely terminate translation, providing a cleaner strategy for genome engineering. Using this strategy, we generated CD160 KO and VISTA/CD160 double KO mice by microinjection of a single sg RNA targeting CD160 and a mixture of sg RNAs targeting VISTA and CD160,respectively. The BE system induced STOP efficiently in mouse embryos and consequently in founder mice without detectable off-target. Most interestingly, the majority of the mutants harbor same genetic modifications, indicating we generated isogenic single and multiplex gene mutant mice by BE-induced STOP. We also obtained homozygous mutant mouse in F1 mice, demonstrating the accelerated strategy in generating animal models.展开更多
In the present paper, Charpy impact resistance of aluminum-epoxy laminated composites in both crack divider and crack ar-rester configurations has been investigated. In both configurations, an analytical investigation...In the present paper, Charpy impact resistance of aluminum-epoxy laminated composites in both crack divider and crack ar-rester configurations has been investigated. In both configurations, an analytical investigation has been carried out to evaluate the effects of layers thickness on impact resistance of the specimens. A model based on fuzzy logic for predicting impact re-sistance of the specimens has been presented. For purpose of building the model, training and testing using experimental re-sults from 126 specimens produced from two basic composites were conducted. The data used for the input data in fuzzy logic models are arranged in a format of 7 input parameters that cover the thickness of layers, the number of layers, the adhesive type, the crack tip configuration, the content of SiC particles, the content of methacrylated butadiene-styrene particles and the number of test trial. According to these input parameters, in the fuzzy logic model, the impact resistance of each specimen was predicted. The training and testing results in the fuzzy logic model have shown a strong potential for predicting impact resis-tance of aluminum-epoxy laminated composites.展开更多
Neurons with complex-valued weights have stronger capability because of their multi-valued threshold logic. Neurons with such features may be suitable for solution of different kinds of problems including associative ...Neurons with complex-valued weights have stronger capability because of their multi-valued threshold logic. Neurons with such features may be suitable for solution of different kinds of problems including associative memory,image recognition and digital logical mapping. In this paper,robustness or tolerance is introduced and newly defined for this kind of neuron ac-cording to both their mathematical model and the perceptron neuron's definition of robustness. Also,the most robust design for basic digital logics of multiple variables is proposed based on these robust neurons. Our proof procedure shows that,in robust design each weight only takes the value of i or -i,while the value of threshold is with respect to the number of variables. The results demonstrate the validity and simplicity of using robust neurons for realizing arbitrary digital logical functions.展开更多
This paper is a complement and extension of the theory of generalized tautology which was first proposed by Wang Guojun in revised Kleene system, Some interesting results are obtained: (i) accessibleα +-tautology and...This paper is a complement and extension of the theory of generalized tautology which was first proposed by Wang Guojun in revised Kleene system, Some interesting results are obtained: (i) accessibleα +-tautology and generalized contradiction which are dual theory to generalized tautology have been introduced; (ii) congruence partition about—has been given in logic system $\bar W$ ,W k ; (iii) in logic systemW k , tautologies can be obtained by employing the upgrade algorithm at most $\left[ {\frac{{k + 1}}{2}} \right]$ times to an arbitrary formula; (iv) in logic system $\bar W(W)$ , tautologies cannot be obtained by employing upgrade algorithm to non-tautologies within finitely many times; (v) the deduction rule $\left( {\left[ {\left( {\frac{1}{2}} \right)^ + } \right] - MP} \right)$ holds in logic system $\bar W(W)$ .展开更多
文摘An asymmetry power clock,4 phase power clock supplying the power to the DSCRL(dual swing charge recovery logic) adiabatic circuit is presented.It is much simpler than the 6 phase power clock,symmetry power clock,used in the DSCRL adiabatic circuit.Although the 4 phase power clock is simpler,the DSCRL adiabatic circuit still shows good performance and high efficiency of energy transfer and recovery.This conclusion has been proved by the result of the HSPICE simulation using the 0 6μm CMOS technology.
文摘This paper presents an optimized SRAM that is repairable and dissipates less power. To improve the yield of SRAMs per wafer,redundancy logic and an E-FUSE box are added to the SRAM and an SR SRAM is set up. In order to reduce power dissipation,power on/off states and isolation logic are introduced into the SR SRAM and an LPSR SRAM is constructed. The optimized LPSR SRAM64K × 32 is used in SoC and the testing method of the LPSR SRAM64K × 32 is also discussed. The SoC design is successfully implemented in the Chartered 90nm CMOS process. The SoC chip occupies 5. 6mm× 5. 6ram of die area and the power dissipation is 1997mW. The test results indicate that LPSR SRAM64K ×32 obtains 17. 301% power savings and the yield of the LPSR SRAM64K × 32s per wafer is improved by 13. 255%.
基金The National Natural Science Foundation of China(No60403016)the Weaponry Equipment Foundation of PLA Equip-ment Ministry (No51406020105JB8103)
文摘To solve the extended fuzzy description logic with qualifying number restriction （EFALCQ） reasoning problems, EFALCQ is discretely simulated by description logic with qualifying number restriction （ALCQ）, and ALCQ reasoning results are reused to prove the complexity of EFALCQ reasoning problems. The ALCQ simulation method for the consistency of EFALCQ is proposed. This method reduces EFALCQ satisfiability into EFALCQ consistency, and uses EFALCQ satisfiability to discretely simulate EFALCQ satdomain. It is proved that the reasoning complexity for EFALCQ satisfiability, consistency and sat-domain is PSPACE-complete.
基金supported by National Natural Science Foundation of China and the Doctoral Education Fund of the Ministry of Education of China
文摘In this paper,starting with the well known U(1)Chern-Simons Lagrangian and the covariant derivative ofa complex scalar matter field,we give a detailed discussion of some topological properties of anyons.We show that the'basic'charge carried by anyons has an inner structure and can be decomposed in terms of the Chern-Simons couplingand the gauge coupling constants of the theory.Also some incorrect results obtained in the literature are revised.
文摘In March 2017, Narendra Modi led his Bharatiya Janata Party(BJP) to victory in state elections, among which he gained parliamentary election of Uttar Pradesh(state in northern India), known as the weather vane of Indian elections. Back in 2014, the BJP had already won a simple majority in Lok Sabha(the lower house of parliament), bringing an end to more than 30 years of coalition government. Now, the BJP is exhibiting stronger presence as a one-party-rule at both federal and local levels, with no counter-balance from the Indian National Congress, local parties, or left wing parties now or in the foreseeable future. This increases the likelihood of Modi's re-election as prime minister in 2019. Obviously,Indian political development is characterized by complexity, accidental factors and intrinsic logic, which will definitely exert great influence on the future of India.
文摘Analyzes the shortcomings of the classic capital market theories based on EMH and discloses the complexity essence of the capital market. Considering the capital market a complicated, interactive and adaptable dynamic system, with complexity science as the method for researching the operation law of the capital market, this paper constructs a nonlinear logical model to analyze the applied realm, focal point and interrelationship of such theories as dissipative structure theory, chaos theory, fractal theory, synergetics theory, catastrophe theory and scale theory, and summarizes and discusses the achievements and problems of each theory. Based on the research, the paper foretells the developing direction of eomplexity science in a capital market.
文摘Sensorial information is very difficult to elicit, to represent and to manage because of its complexity. Fuzzy logic provides an interesting means to deal with such information, since it allows us to represent imprecise, vague or incomplete descriptions, which are very common in the management of subjective information. Aggregation methods proposed by fuzzy logic are further useful to combine the characteristics of the various components of sensorial information.
基金the National High Technology Research &Development Program of China (863 Program) (Grant No. 2002AA413420)the Program of the Shanghai Education Commission(Grant No.06QZ003)the Found Program of the Shanghai College Select and Cultivate Excellent Young Teacher(Grant No.27007).
文摘We propose a fuzzy logic-based image retrieval system, in which the image similarity can be inferred in a nonlinear manner as human thinking. In the fuzzy inference process, weight assignments of multi-image features were resolved impliedly. Each fuzzy rule was embedded into the subjectivity of human perception of image contents. A color histogram called the average area histogram is proposed to represent the color features. Experimental results show the efficiency and feasibility of the proposed algorithms.
文摘The readout integrated circuit (ROIC) technology is one of the critical technologies in the research of an infrared focal plane array (IRFPA). Based on the virtual instrument technology, a system for parameter test of ROIC is developed for IRFPA. The complex programmable logic device (CPLD) is applied into the system to increase its flexibility. With high reliability and precision, along with the integrated software and hardware environment, the system can test all kinds of ROICs.
文摘High precise, high voltage pulse generator made up of high-power IGBT and pulse transformers controlled by a computer are described. A simple main circuit topology employed in this pulse generator can reduce the cost meanwhile it still meets special requirements for pulsed electric fields (PEFs) in food process. The pulse generator utilizes a complex programmable logic device (CPLD) to generate trigger signals. Pulse-frequency, pulse-width and pulse-number are controlled via RS232 bus by a computer. The high voltage pulse generator well suits to the application for fluid food non-thermal effect in pulsed electric fields, for it can increase and decrease by the step length 1.
文摘A new passive wheel type of leg-wheeled mobile robot based on rolling principle was introduced. To enhance the stability and maintain vertical to the ground of wheels, four passive wheels were installed at the end of four legs respectively and parallel mechanisms were used as legs. And an inertia coordinate system and a robot coordinate system were established, the related kinematic equation of the robot was gotten according to some assumptions after the configuration or the posture of wheels and legs was analyzed. At the same time, the turning conditions of the robot were also obtained. Based on the motion principle, the VSS-based logic control system was designed and the skating straight experiments and the turning experiments were conducted. And some conclusions were drawn.
基金supported by the National Key R&D Program(2016YFC0905901 to X.H.,2016YFA0503300 to X.G.)the NSFC(81771641 to X.G.)+1 种基金Fok Ying Tung Education Foundation(161037 to X.G.)Local Grants(17JC1420103 to X.H.,SKLRM-K201502 to X.G.)
文摘Although CRISPR/Cas9 has been widely used to generate knockout mice, two major limitations remain:the founders usually carry a mixture of genotypes, and mosaicism harboring multiple genotypes.Therefore, it takes a long time to get homozygous mutants. Recently developed base editing(BE) system,which introduces C-to-T conversion without double strand DNA cleavage, has been used to introduce artificial stop codons(i-STOP) to prematurely terminate translation, providing a cleaner strategy for genome engineering. Using this strategy, we generated CD160 KO and VISTA/CD160 double KO mice by microinjection of a single sg RNA targeting CD160 and a mixture of sg RNAs targeting VISTA and CD160,respectively. The BE system induced STOP efficiently in mouse embryos and consequently in founder mice without detectable off-target. Most interestingly, the majority of the mutants harbor same genetic modifications, indicating we generated isogenic single and multiplex gene mutant mice by BE-induced STOP. We also obtained homozygous mutant mouse in F1 mice, demonstrating the accelerated strategy in generating animal models.
文摘In the present paper, Charpy impact resistance of aluminum-epoxy laminated composites in both crack divider and crack ar-rester configurations has been investigated. In both configurations, an analytical investigation has been carried out to evaluate the effects of layers thickness on impact resistance of the specimens. A model based on fuzzy logic for predicting impact re-sistance of the specimens has been presented. For purpose of building the model, training and testing using experimental re-sults from 126 specimens produced from two basic composites were conducted. The data used for the input data in fuzzy logic models are arranged in a format of 7 input parameters that cover the thickness of layers, the number of layers, the adhesive type, the crack tip configuration, the content of SiC particles, the content of methacrylated butadiene-styrene particles and the number of test trial. According to these input parameters, in the fuzzy logic model, the impact resistance of each specimen was predicted. The training and testing results in the fuzzy logic model have shown a strong potential for predicting impact resis-tance of aluminum-epoxy laminated composites.
文摘Neurons with complex-valued weights have stronger capability because of their multi-valued threshold logic. Neurons with such features may be suitable for solution of different kinds of problems including associative memory,image recognition and digital logical mapping. In this paper,robustness or tolerance is introduced and newly defined for this kind of neuron ac-cording to both their mathematical model and the perceptron neuron's definition of robustness. Also,the most robust design for basic digital logics of multiple variables is proposed based on these robust neurons. Our proof procedure shows that,in robust design each weight only takes the value of i or -i,while the value of threshold is with respect to the number of variables. The results demonstrate the validity and simplicity of using robust neurons for realizing arbitrary digital logical functions.
文摘This paper is a complement and extension of the theory of generalized tautology which was first proposed by Wang Guojun in revised Kleene system, Some interesting results are obtained: (i) accessibleα +-tautology and generalized contradiction which are dual theory to generalized tautology have been introduced; (ii) congruence partition about—has been given in logic system $\bar W$ ,W k ; (iii) in logic systemW k , tautologies can be obtained by employing the upgrade algorithm at most $\left[ {\frac{{k + 1}}{2}} \right]$ times to an arbitrary formula; (iv) in logic system $\bar W(W)$ , tautologies cannot be obtained by employing upgrade algorithm to non-tautologies within finitely many times; (v) the deduction rule $\left( {\left[ {\left( {\frac{1}{2}} \right)^ + } \right] - MP} \right)$ holds in logic system $\bar W(W)$ .
