论文部分内容阅读
使用形式化方法PAR,从查找问题的形式化规约出发,使用量词的性质等作为规则,分别施行不同的等价规约变换,开发了一组查找算法程序,并借助PAR平台进一步将其转换成可执行程序,这清晰展示了各算法程序间存在的关系,保证了结果程序的正确性和可靠性,使得算法程序的设计效率得到提高.
一组基于PAR的高可靠查找算法程序开发
【摘 要】
：
使用形式化方法PAR,从查找问题的形式化规约出发,使用量词的性质等作为规则,分别施行不同的等价规约变换,开发了一组查找算法程序,并借助PAR平台进一步将其转换成可执行程序,
【机 构】
：
计算机科学国家重点实验室（中国科学院软件研究所）,江西师范大学省高性能计算技术重点实验室,中国科学院研究生院
【出 处】
：
计算机研究与发展
【发表日期】
：
2010年S1期
【基金项目】
：
国家自然科学基金项目(60573080,60773054),科技部国际科技合作计划项目(2008DFA11940)
其他文献
在我国基础教育课程改革的大背景下，特殊教育同样有其内在的课程改革需求，特别是近年来培智学校的学生多为中、重度智障儿童或多重障碍儿童（智力障碍兼有孤独症或脑瘫）。就语文课
德国职业教育的双元制确属一流,因此,受到了我国职业教育界的普遍青睐,许多学校争相开办了双元制班。但也有许多人认为德国的双元制是"阳春白雪",就我国职业教育目前的条件来
互动教学是当今课堂上深受教员和学员欢迎的一种教学方法，文章从课堂教学实践出发，详细阐述了在互动教学的课堂上的提问技巧和如何引导学员发问，在“问”中学习，在“被问”中互动
本刊讯3月28日，江苏省南京市聋人学校与《现代特殊教育》编辑部联合举办的“聋教育1对1数字化学习国际研讨与分享活动”在南京举行，来自全国60多所高校、聋校的200多名代表出席
近期，由济南柴油机股份有限公司承担的国家“十五”重大技术装备研制项目“以气代油”双燃料发动机和高可靠性柴油机研制成功，并开始装备我国石油工业。
曾经听到过这样一个故事：全阑著名教师魏书生新接的一个初中班集体中。有一个学生说他不会写作文．魏老师就问他：“会不会写一句话？”他说：“这个行。”魏老师说：“那你的作文就写一
首先分析了实时协同工作系统中的事件关系，讨论了一致性模型及其收敛问题，然后以典型实时协同工作系统中操作转换算法的研究进展为线索，将算法中最核心的调度函数剥离出来，进行了
Jean Anyon(1941-2013)is a critical pedagogical researcher and social activist in the United States.All her life,she devoted herself to taking education as a bre