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