Results 211 to 220 of about 72,141 (255)

Certifying circuits in Type Theory

Formal Aspects of Computing, 2004
Abstract We investigate how to take advantage of the particular features of the calculus of inductive constructions in the framework of hardware verification. First, we emphasize in a short case study the use of dependent types and of the constructive aspect of the logic for specifying and synthesizing combinatorial circuits.
Solange Coupet-Grimal, Line Jakubiec
openaire   +1 more source

Toward a Circuit Theory of Communication

IEEE Transactions on Circuits and Systems I: Regular Papers, 2009
Electromagnetic field theory provides the physics of radio communications, while information theory approaches the problem from a purely mathematical point of view. While there is a law of conservation of energy in physics, there is no such law in information theory.
Michel T. Ivrlac, Josef A. Nossek
openaire   +1 more source

Theory of three circuit transformers

Journal of the A.I.E.E., 1924
The characteristics of three-circuit transformers, the literature of which is very meager, are discussed here in considerable detail. The features of the scheme of treatment are as follows: 1. The scope and general aspects of the problems of three-circuit transformers are reviewed. 2.
openaire   +1 more source

Circuit Theory

1957
Contains reports on one research project.
Granlund, John, Ospina, A.
  +9 more sources

Circuit Theory of Andreev Conductance

Physical Review Letters, 1994
Conductance of small normal metal structures adjacent to a superconductor is determined by coherent Andreev reflection. We show that under certain limitations the conductance can be found by means of an extended circuit theory. The theory deals with two types of elements: tunnel junctions and diffusive conductors and provides the basis for practical ...
openaire   +3 more sources

Circuit Theory

1958
Contains research objectives and reports on four research projects.
Zimmermann, Henry J., Stockham, T. G., Jr., Mason, Samuel J., Andreika, J. T., Leon, B. J., Thornton, R. D., Granlund, John   +6 more
  +6 more sources

Circuit Theory

1959
Contains reports on two research projects. ; Lincoln Laboratory, Purchase Order DDL-B222 ; U.S.
Leeson, D. B., Weinreb, S., Sussenguth, E. H.   +2 more
  +6 more sources

On Applications of Fractional Derivatives in Circuit Theory

2020 27th International Conference on Mixed Design of Integrated Circuits and System (MIXDES), 2020
In this paper, concepts of fractional-order (FO) derivatives are discussed from the point of view of applications in the circuit theory. The properties of FO derivatives required for the circuit-level modelling are formulated. Potential problems related to the generalization of transmission line equations with the use of FO derivatives are presented ...
Jacek Gulgowski, Tomasz P. Stefański, Damian Trofimowicz   +2 more
openaire   +2 more sources

A useful identity in circuit theory

Journal of the Franklin Institute, 1993
A useful identity for circuit theory is obtained. The authors considered the linear system \(AX= B\), where \(A\) is a square matrix and \(X\) and \(B\) are column matrices. If \(B\) remains the same but an element of \(A\), say \(a_{ij}\), is modified, then it is asked to find the derivative of the perturbed solution \(X'\) with respect to the ...
Zhu, Yi-Sheng, Chen, Wai-Kai
openaire   +2 more sources

From Circuit Theory to System Theory

2007
exaly   +2 more sources