期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
PAR平台从规约出发的算法推导与自动生成 被引量:5
1
作者 王昌晶 薛锦云 《计算机工程与应用》 CSCD 北大核心 2007年第2期41-42,59,共3页
简要介绍PAR方法及其支撑平台,使用PAR方法及其平台从规约出发形式化推导并生成了两个典型的算法程序。PAR方法及其平台使用一阶谓词逻辑表示功能规约,分划与递推来进行算法形式推导,各种转换系统来自动生成算法程序。这显著地提高了算... 简要介绍PAR方法及其支撑平台,使用PAR方法及其平台从规约出发形式化推导并生成了两个典型的算法程序。PAR方法及其平台使用一阶谓词逻辑表示功能规约,分划与递推来进行算法形式推导,各种转换系统来自动生成算法程序。这显著地提高了算法程序的正确性和开发效率,也有助于深刻地理解算法设计思想。 展开更多
关键词 par方法 par平台 规约 形式推导
下载PDF
一种高效的算法程序设计方法—PAR方法 被引量:4
2
作者 杨庆红 肖燕娟 《计算机与现代化》 2000年第6期1-5,共5页
利用在长期的算法研究中提出的分划递推法 (简称 PAR方法 )开发了三个问题的算法程序 ,说明 PAR方法不仅为算法设计提供了统一而有效的途径 ,也为开发循环不变式奠定了基础。
关键词 par方法 循环不变式 递推关系
下载PDF
PAR在数学算法中的应用 被引量:3
3
作者 杨晨 《电脑知识与技术》 2010年第3期1641-1644,共4页
针对算法走进高中课堂的现状,提出使用PAR作为高中学习算法开发的主要平台,通过PAR形式化推导实现多项式和素数两个经典数学问题,表明PAR具有良好的数学和程序设计语言透明性,得到算法简短易于理解的同时也可以同时保证算法的正确性,理... 针对算法走进高中课堂的现状,提出使用PAR作为高中学习算法开发的主要平台,通过PAR形式化推导实现多项式和素数两个经典数学问题,表明PAR具有良好的数学和程序设计语言透明性,得到算法简短易于理解的同时也可以同时保证算法的正确性,理论分析和试验表明,PAR是学习算法开发的一个有效平台。 展开更多
关键词 par方法 par平台 形式化推导 算法
下载PDF
三个经典数学问题的形式化开发 被引量:2
4
作者 杨晨 薛锦云 苏昭 《计算机与现代化》 2010年第8期1-4,共4页
计算机科学最高奖图灵奖获得者Knuth指出,算法是计算机科学的核心。算法的设计和理解对开发高效、正确的软件至关重要。本文选取平方数问题、几何级数求和问题和多项式求值这3个经典数学问题,使用支持算法程序形式化的PAR方法和PAR平台... 计算机科学最高奖图灵奖获得者Knuth指出,算法是计算机科学的核心。算法的设计和理解对开发高效、正确的软件至关重要。本文选取平方数问题、几何级数求和问题和多项式求值这3个经典数学问题,使用支持算法程序形式化的PAR方法和PAR平台,从待求解问题的精确功能描述出发,使用PAR方法和PAR平台的推理和变换规则,经过一系列等价变换,最后得到正确的算法程序。这一系列形式化推演的过程揭示了这3个经典数学问题的奥妙,事实说明PAR方法和PAR平台在算法程序设计过程中可以发挥更大的作用。 展开更多
关键词 par方法 par平台 形式化推导
下载PDF
算法及其时间复杂度可同步形式化推导的方法 被引量:3
5
作者 王昌晶 薛锦云 《计算机应用研究》 CSCD 北大核心 2008年第3期681-683,共3页
对在长期的算法研究中提出的PAR方法和PAR平台引入时间谓词加以扩展,不仅可以形式化推导出顺序查找和二分查找问题的算法程序,而且这两个问题关于时间复杂度的递归方程式也可同步且自然地推导得到。这为开发并验证高效率的算法开辟了一... 对在长期的算法研究中提出的PAR方法和PAR平台引入时间谓词加以扩展,不仅可以形式化推导出顺序查找和二分查找问题的算法程序,而且这两个问题关于时间复杂度的递归方程式也可同步且自然地推导得到。这为开发并验证高效率的算法开辟了一条新途径。 展开更多
关键词 分划递推方法 形式化推导 时间复杂度 递归方程式
下载PDF
教育研究中的田野研究:研究方法还是方法论 被引量:6
6
作者 段会冬 《四川师范大学学报(社会科学版)》 CSSCI 北大核心 2017年第4期28-35,共8页
田野研究到底算是一种研究方法,还是属于研究的方法论,不但在学生那里存在困惑,在研究者那里同样有着疑虑。研究方法强调的是资料收集与分析技术,并不会对整个研究的原则思之再三,且彼此间具有清晰的边界。而田野研究下辖多种研究方法,... 田野研究到底算是一种研究方法,还是属于研究的方法论,不但在学生那里存在困惑,在研究者那里同样有着疑虑。研究方法强调的是资料收集与分析技术,并不会对整个研究的原则思之再三,且彼此间具有清晰的边界。而田野研究下辖多种研究方法,而且它强调的不仅是技术,更强调遵循整体性、长期性等研究原则,因此田野研究与研究方法之间存在明显的区别。人类学研究从书斋走向田野的转变是在实证主义方法论框架下完成的,而20世纪60年代开始对田野研究科学性的反思又体现了田野研究的基础、开始了从实证主义方法论向人文主义方法论过渡,这两次转变都表明田野研究与方法论也不可等同。要给田野研究一个合理的定位,需要打破"研究方法-方法论"的二元认识结构。田野研究属于"研究方法"和"方法论"之外的"路径范式",这一定位可以帮助教育学研究逐渐形成"范式思维",当然前提是我们不能将田野研究太过"神化"。 展开更多
关键词 教育研究 田野研究 研究方法 方法论 路径范式
下载PDF
战国初期魏国的经济改革再探讨 被引量:3
7
作者 李亚光 《农业考古》 北大核心 2010年第1期41-44,共4页
in the Early Warring states period,"Jin-di-li-zhi-jiao"(Teaching of utilizing land capability to the utmost)and the approach of par purchase were an important content of Marquis Weiwen’s Reform in the initi... in the Early Warring states period,"Jin-di-li-zhi-jiao"(Teaching of utilizing land capability to the utmost)and the approach of par purchase were an important content of Marquis Weiwen’s Reform in the initial stage of the Warring States.This reform,as a matter of fact,was to push ahead with farming measures under the State’s direction,and meanwhile to practice a policy that protected the peasants’fundamental interests to stabilize the grain price. 展开更多
关键词 经济改革 春秋战国 春秋时期 学术界
下载PDF
基于ADSP-TS201的着陆雷达恒虚警电路实现
8
作者 王浩程 杨春燕 张豪 《电子设计工程》 2012年第21期151-152,155,共3页
恒虚警在着陆雷达系统中有着重要的作用和地位。恒虚警处理可以避免杂波变化影响检测阈值,提高雷达在各种干扰情况下的检测能力。文章首先介绍了恒虚警检测的原理,然后对几种典型方法进行了比较,选定单元平均选大恒虚警检测方法进行设计... 恒虚警在着陆雷达系统中有着重要的作用和地位。恒虚警处理可以避免杂波变化影响检测阈值,提高雷达在各种干扰情况下的检测能力。文章首先介绍了恒虚警检测的原理,然后对几种典型方法进行了比较,选定单元平均选大恒虚警检测方法进行设计,并且实现了基于ADSP-TS201的恒虚警处理,最后通过Visual DSP++进行了仿真验证。 展开更多
关键词 着陆雷达 恒虚警 ADSP—TS201 单元平均选大恒虚警
下载PDF
软件自动化的新途径 被引量:1
9
作者 杨淑群 余巍巍 《抚州师专学报》 2003年第3期97-101,共5页
目前软件自动化方法有演绎综合方法、程序转换方法、过程综合途径、归纳综合途径,各种方法都有其特点和缺点。文章给出一种利用PAR方法作理论基础的软件自动化新途径。
关键词 软件自动化 新途径 par方法
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部