数据流方程组的公式解法 |
| |
作者姓名: | 李光汉 王国鸣 |
| |
作者单位: | 哈尔滨工业大学(李光汉),哈尔滨工业大学(王国鸣) |
| |
摘 要: | 数据流方程有许多解法,如J.Cocke和 F.E.Allen 等提出的区间法以及J.D.Ullman等提出的迭代法,这些方法的“对角线项”是求解中的主要困难。张鸣华证明了方程的最小解与“对角线项”无关,因此提出了一种直接解法。为了求解,要把数据流方程显式化,本文给出了求显式方程的算法,并且提出了一个公式,应用这个公式,可以直接把显式方程写出来。
|
本文献已被 CNKI 等数据库收录! |
|