论文部分内容阅读
采用PAR方法通过功能归约变换，形式化推导出可读性好、效率高的递推的最小生成树算法，简化了算法程序设计和正确性证明的过程，有效提高了算法程序设计自动化、规范化的程度及其正确性。该文给出的相关算法在PAR平台通过自动转换系统转换成可执行语言程序并运行通过。
最小生成树算法的PAR方法形式化推导
【摘 要】
：
采用PAR方法通过功能归约变换，形式化推导出可读性好、效率高的递推的最小生成树算法，简化了算法程序设计和正确性证明的过程，有效提高了算法程序设计自动化、规范化的程度及其
【机 构】
：
江西师范大学计算机信息工程学院,井冈山学院计算机科学系
【出 处】
：
计算机工程
【发表日期】
：
2006年21期
【基金项目】
：
国家自然科学基金资助项目“基于PAR方法的算法设计形式化和自动化研究”（60273092）
其他文献
随着互联网时代的不断发展,信息技术能力作为新时期人才必备的一项技能越来越受到这个社会的重视。因此,在高中阶段培养学生信息技术素养非常关键,而且学好信息技术为之后学
随着油田开发时间的延长,地层性质发生了很大变化,当遇到地层滑移等因素时,往往会发生套管错断.目前采用的修复技术主要是原套管挤水泥技术和取换套管补接技术,但是这2种技术
1病例资料男,42岁。因背重物时突然出现右小腿肿胀、疼痛1h入院。患者于入院前1 h背重物上车时突感右小腿内撕裂感,随即发现右小腿迅速肿胀、疼痛。20年前右小腿曾受挤压,无
提出了一种全新的结合层次分布和功能分布的实现方法，所提方法通过有选择性地卸载某些链接层和线卡的接口操作，来减轻可扩展性和性能的瓶颈。并给出了该方法在一个具有128Gbps
作为初中物理老师,在教学中要帮助学生做好学习物理的心理准备,让学生从一接触物理就感受到物理知识的神奇,爱上物理。并能在学习的过程中始终充满求知的欲望,积极思考,带着
一髯口,又叫“口面”,意思是演员演出时戴在嘴上的“面具”,即剧中人物的胡须。胡须在表演艺术中的作用和审美价值常常被人忽视。然而,我们的前辈戏曲表演艺术家对此却十分重
食糖是国家认定的重要消费品和必备的战略物质,是人民生活的必需品和食品、医药、化工、造纸、生物工程等产业的原材料。糖业是三次产业有机结合、工农互促、城乡联动的产业,
当操作变电站设备时,为保证操作人员的安全性,需要对五防锁设置安全辅助装置。基于人脸识别算法,对五防安全辅助装置进行了深入研究,主控制器采用STM32F429芯片,集成高速DCMI接口可连接OV2640摄像头模组,可实现本地快速面部解锁功能。以特征分析为基础的方式,实际上是将不同人体面部基准点对比的概率参数和另外一些可以表示人体面部特征的形状参数,以及类别参数等一块组合成人体面部识别的特征向量,作为
研究了带度和延时约束的覆盖组播动态路由问题，提出了动态适应性覆盖组播路由协议OMP。给出了一个基于分布式触发重组的组播路由算法一动态覆盖组播路由算法（DDCOMR），最后对该算
1 病例资料【例1】男，75岁。因呕吐咖啡样物300ml 1小时为主诉收入消化科。既往有冠心病史，患者2天前无明显诱因出现头晕，视物旋转，伴恶心、呕吐，呕吐物为胃内容物。头颅CT示左基