一组基于PAR的高可靠查找算法程序开发  

Development of a Set of Reliable Searching Algorithmic Programs Based on PAR

作　　者：石海鹤[1,2,3] 薛锦云[1,2] 

机构地区：[1]计算机科学国家重点实验室(中国科学院软件研究所),北京100190 [2]江西师范大学省高性能计算技术重点实验室,南昌330022 [3]中国科学院研究生院,北京100049

出　　处：《计算机研究与发展》2010年第S1期204-208,共5页Journal of Computer Research and Development

基　　金：国家自然科学基金项目(60573080;60773054);科技部国际科技合作计划项目(2008DFA11940)

摘　　要：使用形式化方法PAR,从查找问题的形式化规约出发,使用量词的性质等作为规则,分别施行不同的等价规约变换,开发了一组查找算法程序,并借助PAR平台进一步将其转换成可执行程序,这清晰展示了各算法程序间存在的关系,保证了结果程序的正确性和可靠性,使得算法程序的设计效率得到提高.使用形式化方法PAR,从查找问题的形式化规约出发,使用量词的性质等作为规则,分别施行不同的等价规约变换,开发了一组查找算法程序,并借助PAR平台进一步将其转换成可执行程序,这清晰展示了各算法程序间存在的关系,保证了结果程序的正确性和可靠性,使得算法程序的设计效率得到提高.

关 键 词：查找算法程序 形式化方法PAR 可靠性 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]