用形式化技术求河内塔的并行解

下载PDF

导出

摘要论文以求河内塔 (HanoiTower)问题的并行解为例 ,介绍了并行程序设计的一般方法和步骤。一种行之有效的方法是 ,先将复杂的问题和复杂的并行环境分离 ,仔细分析用户需求并进行形式化规格 ,求得正确的解 ,然后逐步求精 ,并保证在逐步求精的过程中不失去正确性 ,最后阶段再得到可以运行的并行程序。

作者谢春光陈胜权

机构地区桂林电子工业学院桂林航天工业高等专科学校

出处《桂林航天工业高等专科学校学报》 2005年第1期72-74,共3页 Journal of Guilin College of Areospace Technology

关键词河内塔问题形式化技术并行程序 UNITY NPI

分类号 O141.1 [理学—基础数学] TP311.1 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

参考文献1

1袁崇义,屈婉玲.从河内塔的并行解到UNITY程序设计[J].计算机学报,1998,21(S1):195-200. 被引量：3

共引文献2

1WAN Jian-yi LI Xiao-ying.Approach of generating parallel programs from parallelized algorithm design strategies[J].The Journal of China Universities of Posts and Telecommunications,2008,15(3):128-132. 被引量：4
2肖美华,薛锦云,化志章.UNITY与典型程序设计模型的比较[J].计算机工程与应用,2003,39(32):52-54.

1袁崇义,屈婉玲.从河内塔的并行解到UNITY程序设计[J].计算机学报,1998,21(S1):195-200. 被引量：3
2王群华.人工智能与人类智能在解决问题过程中的对比[J].计算机光盘软件与应用,2013,16(15):31-32. 被引量：2
3周学勇,郭自兰,师向云.二阶连续变量线性脉冲时滞差分方程的振动性[J].信阳师范学院学报（自然科学版）,2004,17(4):399-402.
4李成福,赵艳云.时滞偏差分方程的振动准则(英文)[J].湘潭大学自然科学学报,2007,29(1):10-12.
5周轩伟.一类非自治中立型方程非振动解的渐近性[J].成都理工大学学报（自然科学版）,2006,33(5):546-550.
6张长青,刘玉记.方程(Y(t)+(1/n)(sum from i=1 to n )P_i(t)y(t-τ_i))'+q(t)y(t-σ)=0的振动性[J].黑龙江大学自然科学学报,1997,14(1):1-4.
7刘秀连.河内塔问题解答模型的矩阵论析[J].吕梁学院学报,2012,2(2):24-26. 被引量：1
8梁文宝,徐立新,梅晓容,庄显义.一类非线性控制器 nPI 及其在扫描镜精密伺服系统中的应用[J].宇航学报,1998,19(4):86-89.
9棉布衬衫,SavEn（图）.2007年度大事聚焦[J].微型计算机,2007(12X):22-24.
10彭展.从类树形流程图到Z语言的形式化规格[J].微型电脑应用,2014(1):28-30.

桂林航天工业高等专科学校学报

2005年第1期

浏览历史

内容加载中请稍等...

用形式化技术求河内塔的并行解

参考文献1

共引文献2

相关作者

相关机构

相关主题

浏览历史