FACTORIZATION ALGORITHM FOR SYMBOLIC CIRCUIT ANALYSIS

被引:1
|
作者
PETKOVIC, P
STOJILKOVIC, S
LITOVSKI, V
机构
关键词
CIRCUIT ANALYSIS COMPUTING; CIRCUIT THEORY AND DESIGN;
D O I
10.1049/el:19950723
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
The authors present a new algorithm for automatic symbolic factorisation of an algebraic expression that appears during the network function generation in a symbolic form. The factorisation reduces the number of mathematical operations and thus enables much faster symbolic calculation.
引用
收藏
页码:1026 / 1027
页数:2
相关论文
共 50 条
  • [41] A Symbolic Algorithm for the Analysis of Robust Timed Automata
    Kordy, Piotr
    Langerak, Rom
    Mauw, Sjouke
    Polderman, Jan Willem
    FM 2014: FORMAL METHODS, 2014, 8442 : 351 - 366
  • [42] A New Algorithm for Partitioned Symbolic Reachability Analysis
    Lampka, Kai
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 223 (0C) : 137 - 151
  • [43] AN IMPROVED ALGORITHM FOR SYMBOLIC RELIABILITY-ANALYSIS
    VEERARAGHAVAN, M
    TRIVEDI, KS
    IEEE TRANSACTIONS ON RELIABILITY, 1991, 40 (03) : 347 - 358
  • [44] NEW ALGORITHM FOR SYMBOLIC SYSTEM RELIABILITY ANALYSIS
    LIN, PM
    LEON, BJ
    HUANG, TC
    IEEE TRANSACTIONS ON RELIABILITY, 1976, 25 (01) : 2 - 15
  • [45] Supporting Algorithm Analysis with Symbolic Execution in Alk
    Lungu, Alexandru-Ioan
    Lucanu, Dorel
    THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2022, 2022, 13299 : 406 - 423
  • [46] Symbolic algorithm analysis of rectangular hybrid systems
    Zhang, Haibin
    Duan, Zhenhua
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2008, 4978 : 294 - 305
  • [47] INCREASE IN DECOMPOSITION ALGORITHM EFFICIENCY IN SYMBOLIC ANALYSIS
    YASTREBOV, NI
    IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII RADIOELEKTRONIKA, 1985, 28 (06): : 102 - 104
  • [48] Symbolic analysis. A new approach to linear circuit cad
    Electronic Product Design, 1993, 14 (02):
  • [49] A symbolic analysis method to ideal soft switching circuit system
    Mo, Jinhai
    He, Shaojia
    Zou, Yunping
    ICIEA 2007: 2ND IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS, VOLS 1-4, PROCEEDINGS, 2007, : 1956 - +
  • [50] Validation of Symbolic Expressions in Circuit Analysis E-Learning
    Weyten, Ludo
    Rombouts, Pieter
    Catteau, Benoit
    De Bock, Maarten
    IEEE TRANSACTIONS ON EDUCATION, 2011, 54 (04) : 564 - 568