Detail publikace

Symbolic Analysis Based on Graph Transformations

Originální název

Symbolic Analysis Based on Graph Transformations

Anglický název

Symbolic Analysis Based on Graph Transformations

Jazyk

en

Originální abstrakt

The paper deals with implementation details of a method for approximate symbolic analysis of linear circuits based on nontrivial transformations of voltage and current graphs. The method is based on eliminating the low-voltage branches from "high-voltage" loops and the low-current branches from "high-current" cuts. This goes beyond the simple edge deletion or contraction used in previous methods. The paper describes a graph transformation for decreasing the number of spanning trees and its computer implementation.

Anglický abstrakt

The paper deals with implementation details of a method for approximate symbolic analysis of linear circuits based on nontrivial transformations of voltage and current graphs. The method is based on eliminating the low-voltage branches from "high-voltage" loops and the low-current branches from "high-current" cuts. This goes beyond the simple edge deletion or contraction used in previous methods. The paper describes a graph transformation for decreasing the number of spanning trees and its computer implementation.

BibTex


@inproceedings{BUT23241,
  author="Zdeněk {Kolka} and Martin {Vlk} and Dalibor {Biolek} and Viera {Biolková}",
  title="Symbolic Analysis Based on Graph Transformations",
  annote="The paper deals with implementation details of a method for approximate symbolic analysis of linear circuits based on nontrivial transformations of voltage and current graphs. The method is based on eliminating the low-voltage branches from "high-voltage" loops and the low-current branches from "high-current" cuts. This goes beyond the simple edge deletion or contraction used in previous methods. The paper describes a graph transformation for decreasing the number of spanning trees and its computer implementation.",
  address="IEEE",
  booktitle="Proceedings of the 14th IEEE International Conference on Electronics, Circuits and Systems ICECS 2007",
  chapter="23241",
  institution="IEEE",
  year="2007",
  month="december",
  pages="1139--1142",
  publisher="IEEE",
  type="conference paper"
}