搜索到151篇“ PAR方法“的相关文章
- 基于虚拟现实与智能语音交互的PAR方法算法程序设计教学系统研究
- 近年来,随着计算机新技术的进步,教育领域也在向着数字化、智能化、虚拟化和网络化发展,教育智能化要求也越来越迫切。目前传统的算法程序教学内容和在线教学系统存在:(一)算法执行过程难理解;(二)教学模式单一且内容枯燥;(三)...
- 胡洪文
- 关键词：PAR方法虚拟现实智能语音在线教学系统
- 基于Web Service和多媒体数据库技术的PAR方法在线自学系统的设计与实现被引量：3
- 2018年
- 设计并实现了一个PAR方法的在线自学系统.利用Web服务(Web Service)和多媒体数据库技术,将使用PAR方法开发算法程序设计的基本概念、算法设计语言Radl、抽象程序设计语言Apla以及设计和推导算法程序的方法学形象生动地呈现给学习者.最后介绍了利用算法程序设计支撑平台生成可执行算法程序的过程,以及该算法程序运行产生的结果.
- 熊小舟薛锦云
- 关键词：PAR方法PAR平台WEB服务多媒体数据库技术
- 基于Web Service和多媒体数据库技术的PAR方法自学系统的研究
- 随着大数据、云计算时代的到来以及软件开发行业的高速发展，如何便捷地开发软件和如何高效地进行算法程序设计一直是计算机业的研究热点。由早期的面授教学发展到如今的网络在线教学（慕课、Alice、GreenFoot等），算法程序...
- 熊小舟
- 关键词：多媒体数据库
- 基于web服务的par方法辅助教学系统的研发
- PAR方法是一种简单实用的算法设计方法和能证明程序正确性的软件形式化方法，越来越多的软件使用PAR方法来开发关键的可靠性部件。PAR方法的教育普及也变得越发重要。但是传统的课堂教学存在一定的条件限制。已有的传统教学中普遍...
- 吴莫海
- 关键词：辅助教学系统WEB服务PAR方法软件设计
- 文献传递
- 形式化PAR方法及其算法程序规约精化机理被引量：1
- 2014年
- 用形式化方法开发软件是提高软件生产效率和可靠性的革命性途径,是实现软件自动化的决定性关键。文章介绍了一种新的支持作为软件开发核心的算法设计的形式化方法PAR,分析了其理论基础及算法程序规约精化机理,并结合一个经典实例开发展示了PAR的具体使用,给出PAR的实际应用项目,最后对PAR进行了评述。
- 苏昭
- 基于PAR方法的分形算法开发研究
- 分形理论在通信、现代医学、流体力学、纺织科学、工业设计、文化艺术、计算机科学等学科也得到广泛的应用。形式化方法是一种基于数学方法的规约，技术和验证系统的工具。它不仅使用在系统验证方面，而且在算法的形式开发推导方面也起到重...
- 朱威
- 关键词：PAR方法循环不变式
- 文献传递
- 小波变换与PAR方法在负荷短期预测中的应用被引量：2
- 2011年
- 小波变换具有很多良好的性质,它能任意提取负荷序列的细节。针对负荷序列以天、周、年为周期的变化特点,引用小波变换算法对负荷进行了不同频段上的分解,然后利用能够准确描述数据周期性变化的PAR模型对负荷进行短期预测,建立了基于小波变换的PAR模型。实验证明,这种预测方法非常有效。
- 于帆董敏
- 关键词：小波变换
- 降低基于PSWF的非正弦调制信号PAR方法被引量：4
- 2011年
- 针对基于椭圆球面波的非正弦调制信号峰均功率比大的问题,提出了降低峰均功率比方法。该方法根据基于椭圆球面波的非正弦调制符号时域特性,通过选择峰均功率比小于期望值的调制符号进行传输,从而达到降低调制信号峰均功率比的目的。理论分析和仿真结果表明,该方法不仅有效降低了调制信号的峰均功率比,而且不会降低通信系统的误码性能,也不会导致调制信号功率谱展宽和功率谱集中度变差。
- 舒根春王红星
- 关键词：峰均功率比
- Isabelle定理证明器的剖析及其在PAR方法//PAR平台中的应用
- 形式化方法可以对系统进行严格的规约,并可以从不同的角度验证开发的系统是否具有所期望的性质,在高可信软件的开发中越来越受重视。定理证明是计算机领域中形式化验证的重要研究课题,对保证软件的正确性和可靠性具有十分重要的意义。
...
- 游珍
- 关键词：高可信软件定理证明高阶逻辑PAR方法PAR平台
- 文献传递
- PAR方法和循环不变式的范畴语义被引量：3
- 2009年
- 范畴论对理解程序规约及程序设计和正确性证明十分有用。PAR方法则是建立在严格的数学基础之上的一种统一的算法程序设计方法。循环不变式在循环算法程序的设计中至关重要。使用格理论和范畴论作为工具对PAR方法建立一个理论框架,并对其用范畴论的概念加以解释,从而使得PAR有更强的理论基础。在此基础上引入不动点原理深入刻划循环不变式的含义,循环不变式可以表示为谓词泛函的最小不动点,并从范畴论的角度解释该过程。
- 屈文建薛锦云
- 关键词：循环不变式范畴论PAR方法
相关作者
- 薛锦云
- 作品数：137被引量：557H指数：13
- 供职机构：江西师范大学
- 研究主题：PAR方法 程序设计 形式化方法 循环不变式 PAR
- 石海鹤
- 作品数：38被引量：87H指数：6
- 供职机构：江西师范大学
- 研究主题：形式化方法 PAR PAR方法 形式化开发 循环不变式
- 游珍
- 作品数：16被引量：48H指数：5
- 供职机构：江西师范大学
- 研究主题：PAR方法 循环不变式 形式化验证 非递归算法 ISABELLE
- 揭安全
- 作品数：44被引量：120H指数：6
- 供职机构：江西师范大学计算机信息工程学院
- 研究主题：教学改革 并发 APLA-JAVA 可重用部件库 PAR方法
- 杨晨
- 作品数：8被引量：9H指数：2
- 供职机构：江西师范大学
- 研究主题：PAR方法 PAR平台 形式化推导 PAR 形式化方法
