| 用形式化技术求河内塔的并行解 |
| |
| 引用本文： | 谢春光,陈胜权.用形式化技术求河内塔的并行解[J].桂林航天工业高等专科学校学报,2005,10(1):72-74. |
| |
| 作者姓名： | 谢春光 陈胜权 |
| |
| 作者单位： | 1. 桂林电子工业学院,广西桂林,541004
2. 桂林航天工业高等专科学校,广西桂林,541004 |
| |
| 摘 要： | 论文以求河内塔(Hanoi Tower)问题的并行解为例，介绍了并行程序设计的一般方法和步骤。一种行之有效的方法是，先将复杂的问题和复杂的并行环境分离，仔细分析用户需求并进行形式化规格，求得正确的解，然后逐步求精，并保证在逐步求精的过程中不失去正确性，最后阶段再得到可以运行的并行程序。
|
| 关 键 词： | 河内塔问题 形式化技术 并行程序 UNITY，NPI |
Parallel Solution of Hanoi Tower Obtained by Using Formal Method |
| |
| Xie Chunguang,Chen Shengquan.Parallel Solution of Hanoi Tower Obtained by Using Formal Method[J].Journal of Guilin College of Areospace Technology,2005,10(1):72-74. |
| |
| Authors: | Xie Chunguang Chen Shengquan |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
