By applying switch-signal theory, the interaction between MOS transmission switch-ing transistor and current signal in current-mode CMOS circuits is analyzed, and the theory oftransmission current-switches which is su...By applying switch-signal theory, the interaction between MOS transmission switch-ing transistor and current signal in current-mode CMOS circuits is analyzed, and the theory oftransmission current-switches which is suitable to current-mode CMOS circuits is proposed. Thecircuits, such as ternary full-adder etc., designed by using this theory have simpler circuit struc-tures and correct logic functions. It is confirmed that this theory is efficient in guiding the logicdesign of current-mode CMOS circuits at switch level.展开更多
In this paper, a new concept of selection operators on hyperspaces (subsets spaces) is introduced, and the existence theorems for several kinds of selection operators are proved. Using the methods of selection operato...In this paper, a new concept of selection operators on hyperspaces (subsets spaces) is introduced, and the existence theorems for several kinds of selection operators are proved. Using the methods of selection operators, we give a selection characterization of identically distributed multivalued random variables and completely solve the vector-valued selection problem for sequences of multivalued random variables converging in distribution. The regular selections and Markov selections for multivalued stochastic processes are studied, and a discretization theorem for multivalued Markov processes is established. A theorem on the asymptotic martingale selections for compact and convex multivalued asymptotic martingale is proved.展开更多
In the present paper, some new almost fixed point theorems and fixed point theorems for lower semicontinuous type multivalued mappings are obtained in metrizable H-spaces.
In this paper, we prove local uniqueness for multivalued stochastic differential equations with Poisson jumps. Then existence and uniqueness of global solutions is obtained under the conditions that the coefficients s...In this paper, we prove local uniqueness for multivalued stochastic differential equations with Poisson jumps. Then existence and uniqueness of global solutions is obtained under the conditions that the coefficients satisfy locally Lipschitz continuity and one-sided linear growth of b. Moreover, we also prove the Markov property of the solution and the existence of invariant measures for the corresponding transition semigroup.展开更多
The iterative solution for a class of multivalued monotone operator equations just like A(u)∈-B(u) is discussed, where A is a positive definite linear single valued operator, B is a bounded and m...The iterative solution for a class of multivalued monotone operator equations just like A(u)∈-B(u) is discussed, where A is a positive definite linear single valued operator, B is a bounded and monotone multivalued operator. The existence and convergence of approximate solutions are proved. The method of numerical realization is demonstrated in some examples.展开更多
This paper proposes a mapping method simplifying the Reed-Muller expansion(“RM expansion”)of a ternary function under fixed polarities and the transformation of the RM expansion coefficients with different fixed pol...This paper proposes a mapping method simplifying the Reed-Muller expansion(“RM expansion”)of a ternary function under fixed polarities and the transformation of the RM expansion coefficients with different fixed polarities.展开更多
The transmission function theory is proposed, the quaternary and logic variables are distinguished, and three kinds of new operations (i.e. the threshold comparison operation, transmission operation and union operatio...The transmission function theory is proposed, the quaternary and logic variables are distinguished, and three kinds of new operations (i.e. the threshold comparison operation, transmission operation and union operation) are introduced. Since these operations describe the action principle of metal-oxide semiconductor (MOS) transistors, the transmission functions expressed by using them and logic operations can direct the realization of quaternary complementary metal-oxide semiconductor (CMOS) circuits. In this paper the design of CMOS circuits for some basic transmission functions is proposed. The computer simulation has confirmed that these circuits have correct logic and desirable DC transfer characteristics. Furthermore, the synthesis technique for a quaternary CMOS transmission network is also proposed here.展开更多
The approximation solvability of the abstract differential inclusion du/dt∈f(t,u) is presented. The convergence of the approximation solution and the existence of the solution for abstract evolution multivalued probl...The approximation solvability of the abstract differential inclusion du/dt∈f(t,u) is presented. The convergence of the approximation solution and the existence of the solution for abstract evolution multivalued problem are discussed.展开更多
This paper discusses the definition and properties of multivalued symmetric functions, points out that a multivalued symmetric function can be decomposed according to the value of the function j. The subfunction Lj co...This paper discusses the definition and properties of multivalued symmetric functions, points out that a multivalued symmetric function can be decomposed according to the value of the function j. The subfunction Lj corresponding to j must be a symmetric function, and it may be expressed as the sum of products form of degenerated multivalued fundamental symmetric functions. Based on this consideration, the circuit realization for the multivalued symmetric functions based on full adders is proposed.展开更多
A proximal iterative algorithm for the mulitivalue operator equation 0 ∈ T(x) is presented, where T is a maximal monotone operator. It is an improvement of the proximal point algorithm as well know. The convergence o...A proximal iterative algorithm for the mulitivalue operator equation 0 ∈ T(x) is presented, where T is a maximal monotone operator. It is an improvement of the proximal point algorithm as well know. The convergence of the algorithm is discussed and all example is given.展开更多
The purpose is to introduce and study a class of more general multivalued quasi variational inclusions in Banach spaces. By using the resolvent operator technique some existence theorem of solutions and iterative appr...The purpose is to introduce and study a class of more general multivalued quasi variational inclusions in Banach spaces. By using the resolvent operator technique some existence theorem of solutions and iterative approximation for solving this kind of multivalued quasi variational inclusions are established. The results generalize, improve and unify a number of Noor's and others' recent results.展开更多
Based on transmission function theory,the synthesis technique for multivaluedCMOS circuits is discussed.By comparing the CMOS circuits based on transmission functiontheory with the T gate,it is shown that their action...Based on transmission function theory,the synthesis technique for multivaluedCMOS circuits is discussed.By comparing the CMOS circuits based on transmission functiontheory with the T gate,it is shown that their action principles are identical.Based on it,thesynthesis method for multivalued CMOS circuits with many variables by using function decom-position is proposed.展开更多
In recent years effort has been made in overcorning an obstacle for multivalued logic to be practically used — the lack of suitable storage elements. Refs. [1—3] proposed the design of master-slave JKL type, T type,...In recent years effort has been made in overcorning an obstacle for multivalued logic to be practically used — the lack of suitable storage elements. Refs. [1—3] proposed the design of master-slave JKL type, T type, D type tri-flops and edge-triggered D type, T展开更多
In this paper, we posed a random iterative algorithm for generalized multivalued random variational like inclusions. We define the random relaxed Lipschitz and relaxed monotone mappings and prove the existence and con...In this paper, we posed a random iterative algorithm for generalized multivalued random variational like inclusions. We define the random relaxed Lipschitz and relaxed monotone mappings and prove the existence and convergence of solutions of the random iterative sequences generated by a random iterative algorithm.展开更多
Ⅰ. INTRODUCTIONIn digital circuits, the state of a switch transistor is determined by the comparison between two input signals or between the input signal and a fixed voltage. Thus, introducing comparison operations ...Ⅰ. INTRODUCTIONIn digital circuits, the state of a switch transistor is determined by the comparison between two input signals or between the input signal and a fixed voltage. Thus, introducing comparison operations into an algebraic system will not only bring the physical function of switch elements into full play, but also improve the capability for processing functions.展开更多
This article is concerned with the weak convergence of invariant measures asso- ciated with multivalued stochastic differential equations in the finite dimensional space.
This paper proposes a simplification method for realization of current-mode multivalued CMOS circuits. The key of this method is to find a cover on the K-map for a given multivalued function, which fits to the realiza...This paper proposes a simplification method for realization of current-mode multivalued CMOS circuits. The key of this method is to find a cover on the K-map for a given multivalued function, which fits to the realization of current-mode CMOS circuits. The design example shows that the design presented in this paper is better than the design proposed by G. W. Dueck et al. (1987).展开更多
We introduce a k-strictly pseudononspreading multivalued in Hilbert spaces more general than the class of nonspreading multivalued. We establish some weak convergence theorems of the sequences generated by our iterati...We introduce a k-strictly pseudononspreading multivalued in Hilbert spaces more general than the class of nonspreading multivalued. We establish some weak convergence theorems of the sequences generated by our iterative process. Some new iterative sequences for finding a common element of the set of solutions for equilibrium problem was introduced. The results improve and extend the corresponding results of Osilike Isiogugu [1] (Nonlinear Anal.74 (2011)) and others.展开更多
In this paper, several kinds of multivalued logic for relational database and their developing process are presented on the basis of null value's semantics. A new 5 valued logic is led into relational database con...In this paper, several kinds of multivalued logic for relational database and their developing process are presented on the basis of null value's semantics. A new 5 valued logic is led into relational database containing null talue. The feasibility and necessity of using 5 valued logic are expounded. Comparative calculation and logical calculation under 5 valued logic are defined at the end of the paper.展开更多
Ⅰ. INTRODUCTIONIn recent years efforts have been made in overcoming one of the obstacles for multivalued logic to be practically used-the lack of suitable multivalued flip-flops. Various new type ternary flip-flops (...Ⅰ. INTRODUCTIONIn recent years efforts have been made in overcoming one of the obstacles for multivalued logic to be practically used-the lack of suitable multivalued flip-flops. Various new type ternary flip-flops ('tri-flops') corresponding to binary ones are proposed, thus forming a complete series of tri-flops. It laid the foundation for and promoted the展开更多
基金Supported by National Natural Science Foundation of China
文摘By applying switch-signal theory, the interaction between MOS transmission switch-ing transistor and current signal in current-mode CMOS circuits is analyzed, and the theory oftransmission current-switches which is suitable to current-mode CMOS circuits is proposed. Thecircuits, such as ternary full-adder etc., designed by using this theory have simpler circuit struc-tures and correct logic functions. It is confirmed that this theory is efficient in guiding the logicdesign of current-mode CMOS circuits at switch level.
基金Project supported by the National Natural Science Foundation of China.
文摘In this paper, a new concept of selection operators on hyperspaces (subsets spaces) is introduced, and the existence theorems for several kinds of selection operators are proved. Using the methods of selection operators, we give a selection characterization of identically distributed multivalued random variables and completely solve the vector-valued selection problem for sequences of multivalued random variables converging in distribution. The regular selections and Markov selections for multivalued stochastic processes are studied, and a discretization theorem for multivalued Markov processes is established. A theorem on the asymptotic martingale selections for compact and convex multivalued asymptotic martingale is proved.
基金This work is supported by National Natural Science Foundation of China and Natural Science Foundation of the Yunnan Province of China
文摘In the present paper, some new almost fixed point theorems and fixed point theorems for lower semicontinuous type multivalued mappings are obtained in metrizable H-spaces.
基金Supported by China Postdoctoral Science Foundation(Grant No.2012M521637)National Natural Science Foundation of China(Grant No.11171358)Doctor Fund of Ministry of Education(Grant No.20100171110038)
文摘In this paper, we prove local uniqueness for multivalued stochastic differential equations with Poisson jumps. Then existence and uniqueness of global solutions is obtained under the conditions that the coefficients satisfy locally Lipschitz continuity and one-sided linear growth of b. Moreover, we also prove the Markov property of the solution and the existence of invariant measures for the corresponding transition semigroup.
文摘The iterative solution for a class of multivalued monotone operator equations just like A(u)∈-B(u) is discussed, where A is a positive definite linear single valued operator, B is a bounded and monotone multivalued operator. The existence and convergence of approximate solutions are proved. The method of numerical realization is demonstrated in some examples.
文摘This paper proposes a mapping method simplifying the Reed-Muller expansion(“RM expansion”)of a ternary function under fixed polarities and the transformation of the RM expansion coefficients with different fixed polarities.
基金Project supported by the National Natural Science Foundation of China.
文摘The transmission function theory is proposed, the quaternary and logic variables are distinguished, and three kinds of new operations (i.e. the threshold comparison operation, transmission operation and union operation) are introduced. Since these operations describe the action principle of metal-oxide semiconductor (MOS) transistors, the transmission functions expressed by using them and logic operations can direct the realization of quaternary complementary metal-oxide semiconductor (CMOS) circuits. In this paper the design of CMOS circuits for some basic transmission functions is proposed. The computer simulation has confirmed that these circuits have correct logic and desirable DC transfer characteristics. Furthermore, the synthesis technique for a quaternary CMOS transmission network is also proposed here.
基金the National Natural Science Foundation of China(No.197710 62 )
文摘The approximation solvability of the abstract differential inclusion du/dt∈f(t,u) is presented. The convergence of the approximation solution and the existence of the solution for abstract evolution multivalued problem are discussed.
文摘This paper discusses the definition and properties of multivalued symmetric functions, points out that a multivalued symmetric function can be decomposed according to the value of the function j. The subfunction Lj corresponding to j must be a symmetric function, and it may be expressed as the sum of products form of degenerated multivalued fundamental symmetric functions. Based on this consideration, the circuit realization for the multivalued symmetric functions based on full adders is proposed.
基金Supported by the National Natural Science Foundation of China
文摘A proximal iterative algorithm for the mulitivalue operator equation 0 ∈ T(x) is presented, where T is a maximal monotone operator. It is an improvement of the proximal point algorithm as well know. The convergence of the algorithm is discussed and all example is given.
文摘The purpose is to introduce and study a class of more general multivalued quasi variational inclusions in Banach spaces. By using the resolvent operator technique some existence theorem of solutions and iterative approximation for solving this kind of multivalued quasi variational inclusions are established. The results generalize, improve and unify a number of Noor's and others' recent results.
基金Project supported by the National Natural Science Fund of China
文摘Based on transmission function theory,the synthesis technique for multivaluedCMOS circuits is discussed.By comparing the CMOS circuits based on transmission functiontheory with the T gate,it is shown that their action principles are identical.Based on it,thesynthesis method for multivalued CMOS circuits with many variables by using function decom-position is proposed.
基金Project supported by the National Natural Science Foundation of China
文摘In recent years effort has been made in overcorning an obstacle for multivalued logic to be practically used — the lack of suitable storage elements. Refs. [1—3] proposed the design of master-slave JKL type, T type, D type tri-flops and edge-triggered D type, T
文摘In this paper, we posed a random iterative algorithm for generalized multivalued random variational like inclusions. We define the random relaxed Lipschitz and relaxed monotone mappings and prove the existence and convergence of solutions of the random iterative sequences generated by a random iterative algorithm.
基金Project supported by Natural Science Foundation of Zhejiang Province, PRC.
文摘Ⅰ. INTRODUCTIONIn digital circuits, the state of a switch transistor is determined by the comparison between two input signals or between the input signal and a fixed voltage. Thus, introducing comparison operations into an algebraic system will not only bring the physical function of switch elements into full play, but also improve the capability for processing functions.
基金supported by NSFs of China(11471340 and 11461028)
文摘This article is concerned with the weak convergence of invariant measures asso- ciated with multivalued stochastic differential equations in the finite dimensional space.
基金Supported by the National Natural Science Foundation of China
文摘This paper proposes a simplification method for realization of current-mode multivalued CMOS circuits. The key of this method is to find a cover on the K-map for a given multivalued function, which fits to the realization of current-mode CMOS circuits. The design example shows that the design presented in this paper is better than the design proposed by G. W. Dueck et al. (1987).
文摘We introduce a k-strictly pseudononspreading multivalued in Hilbert spaces more general than the class of nonspreading multivalued. We establish some weak convergence theorems of the sequences generated by our iterative process. Some new iterative sequences for finding a common element of the set of solutions for equilibrium problem was introduced. The results improve and extend the corresponding results of Osilike Isiogugu [1] (Nonlinear Anal.74 (2011)) and others.
文摘In this paper, several kinds of multivalued logic for relational database and their developing process are presented on the basis of null value's semantics. A new 5 valued logic is led into relational database containing null talue. The feasibility and necessity of using 5 valued logic are expounded. Comparative calculation and logical calculation under 5 valued logic are defined at the end of the paper.
基金Project supported by the National Natural Science Foundation of Zhejiang Province China
文摘Ⅰ. INTRODUCTIONIn recent years efforts have been made in overcoming one of the obstacles for multivalued logic to be practically used-the lack of suitable multivalued flip-flops. Various new type ternary flip-flops ('tri-flops') corresponding to binary ones are proposed, thus forming a complete series of tri-flops. It laid the foundation for and promoted the
