论文部分内容阅读
论文以求河内塔(Hanoi Tower)问题的并行解为例，介绍了并行程序设计的一般方法和步骤。一种行之有效的方法是，先将复杂的问题和复杂的并行环境分离，仔细分析用户需求并进行形式化规格，求得正确的解，然后逐步求精，并保证在逐步求精的过程中不失去正确性，最后阶段再得到可以运行的并行程序。
用形式化技术求河内塔的并行解
【摘 要】
：
论文以求河内塔(Hanoi Tower)问题的并行解为例，介绍了并行程序设计的一般方法和步骤。一种行之有效的方法是，先将复杂的问题和复杂的并行环境分离，仔细分析用户需求并进行形式
【机 构】
：
桂林电子工业学院,桂林航天工业高等专科学校
【出 处】
：
桂林航天工业高等专科学校学报
【发表日期】
：
2005年1期
其他文献
C20 UP生产系统传承了德国Hermle公刮创新的龙门式5轴加工技术，是一种高生产率5轴龙门加工中心。该机床可配备4托盘的PW160托盘交换装置，ICS装置和ZM43刀库。
在日本,生产销售五轴加工机床企业在不断扩大.市场销售五轴加工机床和相关设备的企业共计22个,其中,销售五轴加工机床的企业19个,销售托盘系统和CAM软件等与五轴加工机床相关
基于故障树分析法的基本原理,根据校园网网络通信系统的特点,建立了校园网网络通信系统的失效模型,采用最小割集分析法进行了定性分析,确定影响校园网通信系统失效的主要因素,依据网络拓扑结构定量计算其有效度。实践证明,这种分析方法可以提高诊断校园网络通信系统故障的快速性。