Computational complexity is concerned with the complexity of solving problems and computing functions and not with the complexity of verifying circuit designs. The importance of formal circuit veriication is evident. Therefore, a framework of a complexity theory for formal circuit veriication with binary decision diagrams is developed. This theory is based on read-once projections. For many pro...

We demonstrate a technique by which the quality factor of a magnetically-actuated mechanical resonator is controlled by an external electrical circuit. Modulation of this parameter is achieved by local variation of the electrical impedance presented to the resonator at its resonance frequency. We describe a theory that explains this result as arising from eddy currents in the external electrica...

In this work we applied a quantum circuit treatment to describe the nuclear spin relaxation. From the Redfield theory, we were able to describe the quadrupolar relaxation as a computational process in the case of spin 3/2 systems, through a model in which the environment is comprised by five qubits and three different quantum noise channels. The interaction between the environment and the spin ...

A switch, mechanical or electrical, is a fundamental building element of digital systems. The theory of switching networks, or simply circuits, dates back to Shannon’s thesis (1937), where he employed Boolean algebra for reasoning about the functionality of switching networks, and graph theory for describing and manipulating their structure. Following this classic approach, one can deduce funct...

ワイヤレス給電システムの一般的ブロック構成を示し，各ブロックの設計開発に役立つ基本理論を紹介する．結合系の最大電力伝送効率を支配するkQ 理論を述べる．一般化kQ 式を用いることで，電界や磁界など様々な結合方式の設計が可能になる．インピーダンスと反射率の関係を直感的に捉えることができる複素数平面を示す．この平面上でインピーダンスを頂点とする三角形の二辺の長さの比が反射率である．反射率と定在波比の関係を視覚的に捉えるための教材として考案されたゴムひもモデルを示す．このゴムひもモデルを使えば，数式も電卓も用いることなく，計算尺のような感覚で定在波比の振舞いを習得できる．結合系において，入力ポートと出力ポート両方で同時に整合をとることの重要性を述べる．電圧定在波比を二乗した電力定在波比の導入で，従来のスミス図表の中心付近が拡大される．インピーダンス平面上の2 点間を結ぶ曲線の長さを回路設計...

A conventional high power DC power supply systems consist of a three-phase diode rectifier followed by a high frequency converter to supply loads at regulated DC voltage. These rectifiers draw significant harmonic currents from the utility, resulting in poor input power factor. In this paper, a DC power supply based on dual-bridge matrix converter (DBMC) with reduced number of switches is p...