FME-IT公司 swMATH ID: 17107 软件作者： Ido B.Gattegno、Ziv Goldfeld、Haim H.Permuter 描述： 信息论不等式的Fourier-Motzkin消除软件。我们提供了在MATLAB中实现的开源软件，该软件执行Fourier-Motzkin消除（FME），并删除因Shannonton类型不等式（STI）而冗余的约束。FME通常用于信息论环境中，以简化速率区域，例如通过消除辅助速率。然而，有时过程会变得繁琐，这使得无错误的手写推导成为一项难以捉摸的任务。一些计算机软件通过利用自动FME过程规避了这一困难。然而，此类软件的输出通常包含由于信息论特性而不活跃的约束。通过引入STIs（一类可通过计算机程序证明的信息不等式）的概念，我们的算法消除了基于非负性、链式规则和概率质量函数分解的冗余约束。本新闻稿首先阐述了该计划的能力，然后回顾了STI对识别冗余约束的贡献。 主页： 网址：http://www.ee.bgu.ac.il/~fmeit公司/ 依赖项： Matlab公司 关键词： 傅立叶-莫兹金消去法；失效模式与后果；信息论不等式证明器；信息技术计划；FME包 引用于： 0个文档