Algorithm for estimating error of symbolic simplification

被引：0

作者：

Kolka, Zdenek ^{[1
]}

Biolkova, Viera ^{[1
]}

Dobes, Josef ^{[2
]}

Horak, Martin ^{[1
]}

机构：

[1] Brno Univ Technol, Dept Radio Elect, Brno, Czech Republic

[2] Czech Tech Univ, Dept Radioelect, Prague, Czech Republic

来源：

2020 2ND INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE COMMUNICATION AND NETWORK SECURITY (CSCNS2020) | 2021年 / 336卷

关键词：

D O I：

10.1051/matecconf/202133606023

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The paper deals with an improved algorithm for estimating errors during approximate symbolic analysis. A linear system can be solved symbolically. However, the size of the resulting formula grows exponentially with the matrix size. The approximate symbolic analysis omits insignificant terms of the exact formula to decrease its size, which, on the other hand, limits the validity of the approximate result. The proposed algorithm estimates, in a computationally feasible way, the approximation error over a region of system parameters. This makes it possible to maintain the validity of the results even if the tolerances of the system parameters are defined. The method is based on the first-order approximation of error functions. The algorithm is demonstrated using the SNAP symbolic analyzer, which has been developed by the authors.

引用

页数：8

共 50 条

[21] A New Algorithm for Cartographic Simplification of Streams and Lakes Using Deviation Angles and Error Bands [J].

Gokgoz, Turkay ;

Sen, Alper ;

Memduhoglu, Abdulkadir ;

Hacar, Muslum .

ISPRS INTERNATIONAL JOURNAL OF GEO-INFORMATION, 2015, 4 (04) :2185-2204

[22] Mesh Simplification Algorithm Based on Absolute Curvature-weighted Quadric Error Metrics [J].

Li, Long ;

He, Mingyi ;

Wang, Peng .

ICIEA 2010: PROCEEDINGS OF THE 5TH IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS, VOL 1, 2010, :426-430

[23] An evolutionary-based methodology for symbolic simplification of analog circuits using genetic algorithm and simulated annealing [J].

Shokouhifar, Mohammad ;

Jalali, Ali .

EXPERT SYSTEMS WITH APPLICATIONS, 2015, 42 (03) :1189-1201

[24] A SIMPLIFICATION OF THE JPDAM ALGORITHM [J].

CHANG, KC ;

BARSHALOM, Y .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1986, 31 (10) :989-991

[25] AN ALGORITHM FOR BOOLEAN SIMPLIFICATION [J].

ROTHMEIER, JJ .

COMMUNICATIONS OF THE ACM, 1963, 6 (07) :358-358

[26] Dual Error Bounded Trajectory Simplification [J].

Lin, Xuelian ;

Jiang, Jiahao ;

Zuo, Yimeng .

2017 DATA COMPRESSION CONFERENCE (DCC), 2017, :448-448

[27] Simplification of tetrahedral meshes with error bounds [J].

Trotts, IJ ;

Hamann, B ;

Joy, KI .

IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, 1999, 5 (03) :224-237

[28] Simplification of symbolic polynomials on non-commutative variables [J].

de Oliveira, Mauricio C. .

LINEAR ALGEBRA AND ITS APPLICATIONS, 2012, 437 (07) :1734-1748

[29] Circuit simplification for the symbolic analysis of analog integrated circuits [J].

Daems, W ;

Gielen, G ;

Sansen, W .

IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2002, 21 (04) :395-407

[30] A new algorithm for calculating ventilation network reliability based on truncation error theory and network simplification [J].

Jia Jin-zhang ;

Zang Guang-wei ;

Zhou Qian ;

Feng Xiao .

PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON MINING SCIENCE & TECHNOLOGY (ICMST2009), 2009, 1 (01) :169-172

← 1 2 3 4 5 →