The idea that approximate exactness is the most we can and should expect scientific theories to yield underlies the formation and application of the multi-valued logic of approximation discussed in this paper. In this...The idea that approximate exactness is the most we can and should expect scientific theories to yield underlies the formation and application of the multi-valued logic of approximation discussed in this paper. In this logic, inexactness （measured by truth values） is controlled and minimized by means of uniquely designed deductions. We show how the notion of equality （including substitution of equals） is handled within this logic and we apply it to certain principles and interpretations of quantum theory.展开更多
We propose a method of controlling the dc-SQUID (superconducting quantum interference device) system by changing the gate voltages, which controls the amplitude of the fictitious magnetic fields B-z, and the externall...We propose a method of controlling the dc-SQUID (superconducting quantum interference device) system by changing the gate voltages, which controls the amplitude of the fictitious magnetic fields B-z, and the externally applied current that produces the piercing magnetic flux Phi(x) for the dc-SQUID system. We have also introduced a physical model for the dc-SQUID system. Using this physical model, one can obtain the non-adiabatic geometric phase gate for the single qubit and the non-adiabatic conditional geometric phase gate (controlled NOT gate) for the two qubits. It is shown that when the gate voltage and the externally applied current of the dc-SQUID system satisfies an appropriate constraint condition, the charge state evolution can be controlled exactly on a dynamic phase free path. The non-adiabatic evolution of the charge states is given as well.展开更多
The single fault and multiple fault detections for multiple-valued logic circuits are studied in this paper. Firstly, it is shown that the cardinality of optimal single fault test set for fanout-free m-valued circuits...The single fault and multiple fault detections for multiple-valued logic circuits are studied in this paper. Firstly, it is shown that the cardinality of optimal single fault test set for fanout-free m-valued circuits with n primary inputs is not more than n + 1, for linear tree circuits is two, and for multiplication modulo circuits is two if n is an odd number or if n is an even number and m ＞ 3, where the optimal test set of a circuit has minimal number of test vectors. Secondly,it is indicated that the cardinality of optimal multiple fault test set for linear tree circuits with n primary inputs is 1 + [n/(m - 1)], for multiplication modulo circuits is n+ 1, for fanout-free circuits that consist of 2-input linear tree circuits and 2-input multiplication modulo circuits is not greater than n+ 1, where [x] denotes the smallest integer greater than or equal to x. Finally,the single fault location approaches of linear tree circuits and multiplication modulo circuits are presented, and all faults in the two types of circuits can be located by using a test set with n + 1 vectors.展开更多
文摘The idea that approximate exactness is the most we can and should expect scientific theories to yield underlies the formation and application of the multi-valued logic of approximation discussed in this paper. In this logic, inexactness （measured by truth values） is controlled and minimized by means of uniquely designed deductions. We show how the notion of equality （including substitution of equals） is handled within this logic and we apply it to certain principles and interpretations of quantum theory.
文摘We propose a method of controlling the dc-SQUID (superconducting quantum interference device) system by changing the gate voltages, which controls the amplitude of the fictitious magnetic fields B-z, and the externally applied current that produces the piercing magnetic flux Phi(x) for the dc-SQUID system. We have also introduced a physical model for the dc-SQUID system. Using this physical model, one can obtain the non-adiabatic geometric phase gate for the single qubit and the non-adiabatic conditional geometric phase gate (controlled NOT gate) for the two qubits. It is shown that when the gate voltage and the externally applied current of the dc-SQUID system satisfies an appropriate constraint condition, the charge state evolution can be controlled exactly on a dynamic phase free path. The non-adiabatic evolution of the charge states is given as well.
基金Supported by the National Natural Science Foundation of China (No.60006002) Education Department of Guangdong Province of China (No. Z02019)
文摘The single fault and multiple fault detections for multiple-valued logic circuits are studied in this paper. Firstly, it is shown that the cardinality of optimal single fault test set for fanout-free m-valued circuits with n primary inputs is not more than n + 1, for linear tree circuits is two, and for multiplication modulo circuits is two if n is an odd number or if n is an even number and m ＞ 3, where the optimal test set of a circuit has minimal number of test vectors. Secondly,it is indicated that the cardinality of optimal multiple fault test set for linear tree circuits with n primary inputs is 1 + [n/(m - 1)], for multiplication modulo circuits is n+ 1, for fanout-free circuits that consist of 2-input linear tree circuits and 2-input multiplication modulo circuits is not greater than n+ 1, where [x] denotes the smallest integer greater than or equal to x. Finally,the single fault location approaches of linear tree circuits and multiplication modulo circuits are presented, and all faults in the two types of circuits can be located by using a test set with n + 1 vectors.
