论文部分内容阅读
质的代数学的方程是质的模拟的基础，它被用来表示不变的连续过程的动态行为。当质的变量的价值和操作被重新定义时，质的代数学的方程能被转变成签署的直接的图，它经常被用来预言动态变化的趋势。然而，基于人工的尝试使用传统的质的代数学方法为动态趋势解决一个复杂问题是困难的。现代质的代数学的一个重要方面是为复杂系统建模并且描绘与相应电脑辅助的自动推理。在这研究，一个质的爱方程基于多重条件被建议，它使签署的直接的图能更好描述复杂系统并且改进差错诊断分辨率。到一个工业盒子的申请证明方法表现很好。