基于结构化自然语言的算法规约研究

来源 :江西师范大学 | 被引量 : 0次 | 上传用户:chen1052333209
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
形式化方法是克服“软件危机”,实现软件自动化的关键技术,算法设计的软件设计的灵魂。薛锦云教授对算法程序进行深入地研究,提出了一种基于分划和递推关系的算法程序设计形式化方法——PAR方法。用形式化方法进行软件开发,第一步就是要给出问题的精确定义,即问题的规约。然而,为了避免自然语言表示的二义性,现有的形式化方法都是用数学方法来描述规约,要求使用它的人要熟练地掌握相关领域的数学知识,因此也就在一定的程度上限制了形式化方法的应用和推广,这是本文的研究动机所在。 本文对算法规约和自然语言进行了深入的研究,提出了一种基于结构化自然语言(Structured Natural Language,简称为SNL语言)的算法规约描述方法,取得了如下成果: 1.针对算法规约的描述问题,本文提出了一种以自然语言为基础、辅助于初等数学公式、基本量词运算和抽象数据类型的SNL语言,并定义了SNL语言的语法结构。用SNL语言来描述算法规约,就不需要掌握很深的数学理论,只是熟练掌握SNL语言就可以了。 2.针对自然语言表示的多样性问题,本文收集了用自然语言描述算法规约的相关词语,创建了一个自然语言-算法规约双语语料库。 3.算法规约中的断言比较复杂时,就难以用一个式子表示出来。针对这一问题,本文提出了在SNL语言中用与子句形式来描述算法规约中的断言。用与子句来描述断言,更接近于人的思维习惯,又简单直观。 4.本文在SNL语言中定义了一个算法语料库,这样可以把已有的库函数加入进来,利用现有算法可以构造更复杂的算法程序的规范。 5.采用面向对象分析和设计技术,利用Java语言实现了把SNL语言表示的算法规约到RADL语言算法规约的转换系统。
其他文献
信息检索是一门有关信息表示、信息存储、信息组织、信息访问的学科.目前主要采用两个方面的技术,即自动查询扩展技术在线优化与基于用户日志分析的查询结果重新排序的离线优
几何约束求解技术是基于约束满足的参数化设计方法的核心技术之一,本文在对几何约束求解技术的图论方法和数值方法的分析研究基础上,针对经典方法的不足,从图论方法和数值方
认知无线网状网作为一种结合了认知无线电技术和无线网状网组网方式的新型网络,既继承了无线网状网容错能力强、易于架构及高带宽的优势,又具有解决频谱资源匮乏和授权频谱利
程序代码相似度检测在防止代码抄袭和软件版本鉴定等领域具有广泛的应用前景。一直以来,受到了相关产业和学术界的高度关注。然而目前的程序相似度检测系统只是单一的考虑程序
该文的研究内容是"视频数字信号处理芯片XY-VDSP的C编译器开发".首先,该文将分析XY-VDSP的软硬件结构特点和开发工具的工作原理.在此基础上,将二者有机结合,提出设计思路,并
该文结合中国移动通信话务网部省两级网管联网接口系统(下称部省接口系统或接口系统)的建设,首先从总体上阐述了部省接口系统建设的目的和意义,以及该系统在网管系统中的地位
交互语音应答(IVRInteractiveVoiceRespond)是计算机电话集成技术(CTI ComputerTelephonyIntegration)的一个重要应用.该文建立了一个由功能层、呼叫控制层和媒体通信层组成
Ad Hoc网络是一种多跳路由、自组织、无中心的无线网络,它在军事、国防、商业等领域都有广泛的应用前景。但是与传统网络相比,Ad Hoc网络具有拓扑动态变化、无线信道完全开放
索引问题是基于内容多媒体检索技术中一个关键的问题.各种索引方法都有自己的优势和不足,针对这个问题,该文在详细分析和比较各种索引结构性能的基础上,提出一种新的基于度量
随着网络业务量的增加,网络的拥塞控制越发成为迫切需要解决的难题。论文第一部分分析了网络拥塞产生的原因及近年来国内外科研工作者为提高网络性能、预防网络拥塞所作的努力