首页    期刊浏览 2025年07月08日 星期二
登录注册

文章基本信息

  • 标题:Algorithm for estimating error of symbolic simplification
  • 本地全文:下载
  • 作者:Zdenek Kolka ; Viera Biolkova ; Josef Dobes
  • 期刊名称:MATEC Web of Conferences
  • 电子版ISSN:2261-236X
  • 出版年度:2021
  • 卷号:336
  • 页码:1-8
  • DOI:10.1051/matecconf/202133606023
  • 语种:English
  • 出版社:EDP Sciences
  • 摘要: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.
国家哲学社会科学文献中心版权所有