程序代数相关论文
该文提出了一种基于程度代数的形式化的软硬件划分方法,并给出了基于此方法的三种不同的划分框架.我们首先研究了以协规范语言L(Occ......
本文讨论了常量函数不一定相同的二元非线性冗余函数方程组的展开式解,其中针对未知函数的4种不同的位置分别进行了求解,得到了二元三......
本文将可约变换的结果推广至方程组,针对方程组至少有一个可约方程的情形得到其可约变换定理,并依此推导出一类非线性可约方程组的展......
本文举例说明了拟双线性方程展开算法中利用常数项逐次生成新的常数项,直至新的常数英不再增加为止的这一迭代过程有可能不终止,并提......
本文证明了在FP系统内,对于含单元元函数h,采为f=p→f。k;h。「f。i,j」、f=p→f。k;......