String Diagrammatic Electrical Circuit Theory

String Diagrammatic Electrical Circuit Theory
复制标题

弦图电路理论

DOI:
10.4204/eptcs.372.13
复制
发表时间:
2021
期刊:
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
影响因子:
--
通讯作者:
Pawel Soboci'nski
Pawel Soboci'nski
中科院分区:
--
文献类型:
--
作者:
G. Boisseau;Pawel Soboci'nski

文献摘要

被引文献

相似文献

我们开发了一个全面的字符串图解处理电路。建立在以前的,有限的案例研究,我们引入受控源和仪表的元素,和阻抗演算,一个强大的工具箱,电路图上的图形推理。我们展示了我们的方法的力量,通过给出几个教科书的结果,包括叠加定理和Th'evenin定理的全面证明。
We develop a comprehensive string diagrammatic treatment of electrical circuits. Building on previous, limited case studies, we introduce controlled sources and meters as elements, and the impedance calculus , a powerful toolbox for diagrammatic reasoning on circuit diagrams. We demonstrate the power of our approach by giving comprehensive proofs of several textbook results, including the superposition theorem and Th´evenin’s theorem.