A one-to-one and onto mapping between the set of conjunctive normal forms and a subset of the potential functions of static electric fields is given; it has been further proved that a conjunctive normal form is satisf...A one-to-one and onto mapping between the set of conjunctive normal forms and a subset of the potential functions of static electric fields is given; it has been further proved that a conjunctive normal form is satisfiable if and only if there exists a zero point for its corresponding potential function. A particle is always moving in the direction of gradient descent in the field which is the fastest decreasing direction of potential of the particle. Thus, if a conjunctive normal form is satisfiable, the gradient method for its corresponding potential function becomes a fast algorithm to solve its satisfiability problem.展开更多
The space charge effect (SCE) of static induction transistor (SIT) that occurs in high current region is systematically studied.The I V equations are deduced and well agree with experimental results.Two kinds of ...The space charge effect (SCE) of static induction transistor (SIT) that occurs in high current region is systematically studied.The I V equations are deduced and well agree with experimental results.Two kinds of barriers are presented in SIT,corresponding to channel voltage barrier control (CVBC) mechanism and space charge limited control (SCLC) mechanism respectively.With the increase of drain voltage,the gradual transferring of operational mechanism from CVBC to SCLC is demonstrated.It points out that CVBC mechanism and its contest relationship with space charge barrier makes the SIT distinctly differentiated from JFET and triode devices,etc.The contest relationship of the two potential barriers also results in three different working regions,which are distinctly marked and analyzed.Furthermore,the extreme importance of grid voltage on SCE is illustrated.展开更多
基金Project supported by the Chinese High-Tech Programme and the National Natural Science Foundation of China.
文摘A one-to-one and onto mapping between the set of conjunctive normal forms and a subset of the potential functions of static electric fields is given; it has been further proved that a conjunctive normal form is satisfiable if and only if there exists a zero point for its corresponding potential function. A particle is always moving in the direction of gradient descent in the field which is the fastest decreasing direction of potential of the particle. Thus, if a conjunctive normal form is satisfiable, the gradient method for its corresponding potential function becomes a fast algorithm to solve its satisfiability problem.
文摘The space charge effect (SCE) of static induction transistor (SIT) that occurs in high current region is systematically studied.The I V equations are deduced and well agree with experimental results.Two kinds of barriers are presented in SIT,corresponding to channel voltage barrier control (CVBC) mechanism and space charge limited control (SCLC) mechanism respectively.With the increase of drain voltage,the gradual transferring of operational mechanism from CVBC to SCLC is demonstrated.It points out that CVBC mechanism and its contest relationship with space charge barrier makes the SIT distinctly differentiated from JFET and triode devices,etc.The contest relationship of the two potential barriers also results in three different working regions,which are distinctly marked and analyzed.Furthermore,the extreme importance of grid voltage on SCE is illustrated.
