| 模板依赖集的闭包计算与求最小覆盖集的算法 |
| |
| 引用本文： | 郝忠孝. 模板依赖集的闭包计算与求最小覆盖集的算法[J]. 燕山大学学报, 1991, 0(1) |
| |
| 作者姓名： | 郝忠孝 |
| |
| 作者单位： | 东北重型机械学院自动控制系 |
| |
| 摘 要： | 本文详细研究了模板依赖的公理系统,完成了有效性和完备性证明,提出了模板依赖集的闭包计算、求最小覆盖集的算法。
|
| 关 键 词： | 模板 算法 覆盖集 闭包计算 |
Calculating of Closure and Algorithm of Finding the Minimal Cover Set of Template Dependancy Set |
| |
| HAO Zhongxiao. Calculating of Closure and Algorithm of Finding the Minimal Cover Set of Template Dependancy Set[J]. Journal of Yanshan University, 1991, 0(1) |
| |
| Authors: | HAO Zhongxiao |
| |
| Affiliation: | HAO Zhongxiao |
| |
| Abstract: | In this paper, we, reserch the axiom systemtemplate dependancy, finish the proof of its effectiveness andcompletness. We also reserch the tracking algorithm oftemplate dependancy. The calculating of closure of templatedependancy is given out and the algorithm of the minimalcover set is found. |
| |
| Keywords: | template algorithm cover set calculating of closure |
| 本文献已被 CNKI 等数据库收录！ |
|
