收藏本站
《江西师范大学》 2003年
收藏 | 手机打开
二维码
手机客户端打开本文

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

张少平  
【摘要】: 形式化方法是克服“软件危机”,实现软件自动化的关键技术,算法设计的软件设计的灵魂。薛锦云教授对算法程序进行深入地研究,提出了一种基于分划和递推关系的算法程序设计形式化方法——PAR方法。用形式化方法进行软件开发,第一步就是要给出问题的精确定义,即问题的规约。然而,为了避免自然语言表示的二义性,现有的形式化方法都是用数学方法来描述规约,要求使用它的人要熟练地掌握相关领域的数学知识,因此也就在一定的程度上限制了形式化方法的应用和推广,这是本文的研究动机所在。 本文对算法规约和自然语言进行了深入的研究,提出了一种基于结构化自然语言(Structured Natural Language,简称为SNL语言)的算法规约描述方法,取得了如下成果: 1.针对算法规约的描述问题,本文提出了一种以自然语言为基础、辅助于初等数学公式、基本量词运算和抽象数据类型的SNL语言,并定义了SNL语言的语法结构。用SNL语言来描述算法规约,就不需要掌握很深的数学理论,只是熟练掌握SNL语言就可以了。 2.针对自然语言表示的多样性问题,本文收集了用自然语言描述算法规约的相关词语,创建了一个自然语言-算法规约双语语料库。 3.算法规约中的断言比较复杂时,就难以用一个式子表示出来。针对这一问题,本文提出了在SNL语言中用与子句形式来描述算法规约中的断言。用与子句来描述断言,更接近于人的思维习惯,又简单直观。 4.本文在SNL语言中定义了一个算法语料库,这样可以把已有的库函数加入进来,利用现有算法可以构造更复杂的算法程序的规范。 5.采用面向对象分析和设计技术,利用Java语言实现了把SNL语言表示的算法规约到RADL语言算法规约的转换系统。
【学位授予单位】:江西师范大学
【学位级别】:硕士
【学位授予年份】:2003
【分类号】:TP311

手机知网App
【参考文献】
中国期刊全文数据库 前2条
1 亢世勇;计算机时代汉语语法研究的特点[J];术语标准化与信息技术;1999年02期
2 俞士汶;语法知识在语言信息处理研究中的作用[J];语言文字应用;1997年04期
【共引文献】
中国期刊全文数据库 前10条
1 薛宏伟;芜湖电厂给水控制和主汽温控制改造[J];安徽电气工程职业技术学院学报;2005年03期
2 张定;词和短语界限的模糊性[J];安徽教育学院学报;2003年01期
3 戚冬;刘克礼;张文盛;;词法分析程序的一种高效实现[J];安徽广播电视大学学报;2008年03期
4 张润梅,龚剑,章曙光;机器人足球队的结构设计研究[J];安徽建筑工业学院学报(自然科学版);2003年01期
5 龚剑;关于高校开展机器人足球比赛的思考[J];安徽建筑工业学院学报(自然科学版);2005年04期
6 高朋;黄世祥;;地区现代化水平BP人工神经网络评价方法初探[J];安徽农业大学学报(社会科学版);2006年03期
7 陈红琳;;基于MAS的农产品供应链可追溯系统研究[J];安徽农业科学;2011年35期
8 潘娣;;机器翻译的利弊以及发展前景[J];安徽文学(下半月);2008年09期
9 曹永涛 ,陈海清 ,周开基 ,郑生全;电磁兼容专家系统框架研究[J];安全与电磁兼容;2004年01期
10 王一宾;基于面向对象的编译原理实验的研究[J];安庆师范学院学报(自然科学版);2002年04期
中国重要会议论文全文数据库 前10条
1 张维勇;潘承锦;陆阳;;大坝安全监测系统结构设计及采样数据处理策略研究[A];2005年“数字安徽”博士科技论坛论文集[C];2005年
2 沈霖;吴蕙;张帆;张芸;;提高有限元网格自动剖分成功率的研究[A];首届中国CAE工程分析技术年会暨2005全国计算机辅助工程(CAE)技术与应用高级研讨会论文集[C];2005年
3 鲍林江;贾世发;;电网经济运行实时分析监测系统的研究[A];2003中国电机工程学会电力系统自动化专委会供用电管理自动化分专业委员会成立暨第一届学术交流会议论文集[C];2003年
4 张影;;基于Oracle的空间碎片减缓设计专家数据库系统[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
5 刘海芳;陈正军;潘小勇;张海荣;胡国林;;Al方法在梭式窑温度控制中的应用[A];中国硅酸盐学会陶瓷分会2009年年会论文集(一)[C];2009年
6 王惠;苏新春;;XHK基于语法知识的汉语词义描述[A];第六届汉语词汇语义学研讨会论文集[C];2005年
7 孙凌宇;冷明;;分划递推法在Hanoi塔问题上的应用[A];广西计算机学会2006年年会论文集[C];2006年
8 蔡启先;王智文;陈志成;;跨平台的汇编语言集成环境的设计与实现[A];广西计算机学会2008年年会论文集[C];2008年
9 索雪松;索雪峰;李阳;张曙光;;漏水声波数据可信度的模糊推理过程[A];2007年河北省电子学会、河北省计算机学会、河北省自动化学会、河北省人工智能学会、河北省计算机辅助设计研究会、河北省软件行业协会联合学术年会论文集[C];2007年
10 张普;;关于大规模真实文本语料库的几点理论思考[A];世纪之交的中国应用语言学研究——第二届全国语言文字应用学术研讨会论文集[C];1998年
中国博士学位论文全文数据库 前10条
1 陈韶斌;基于知识推理和视觉机理的遥感图像目标识别方法研究[D];华中科技大学;2010年
2 卢玉卿;文学作品中言外之意的翻译研究[D];南开大学;2010年
3 吴修国;面向目标的迁移工作流建模方法研究[D];山东大学;2010年
4 吴淑琼;基于汉语句法结构的语法转喻研究[D];西南大学;2011年
5 方清明;现代汉语名名复合形式的认知语义研究[D];暨南大学;2011年
6 张彩珍;太阳能级硅(SOG-Si)光伏电池中多孔硅吸杂工艺及其神经网络分析方法研究[D];兰州大学;2011年
7 王俊;现代汉语离合词研究[D];华中师范大学;2011年
8 舒江波;面向中文信息处理的复句关系词自动标识研究[D];华中师范大学;2011年
9 翟会锋;三官寨彝语参考语法[D];中央民族大学;2011年
10 陈佳林;柔性逻辑的健全性研究与应用[D];北京邮电大学;2011年
中国硕士学位论文全文数据库 前10条
1 王洋;基于潜在语义分析的智能搜索技术研究[D];哈尔滨工程大学;2010年
2 林华云;蒸汽发生器检修机械臂的视觉测量研究[D];哈尔滨工程大学;2010年
3 刘洋;基于本体的医保审计知识库构建研究[D];哈尔滨工程大学;2010年
4 王东阳;多智能体调度优化算法研究[D];哈尔滨工程大学;2010年
5 马稳;基于支持向量机的模拟电路故障诊断研究[D];大连理工大学;2010年
6 刘春燕;基于规则的C/C++代码静态检测方法研究[D];大连理工大学;2010年
7 杨旭;基于模糊控制的变频变压供水系统的研究与应用[D];辽宁工程技术大学;2009年
8 尹方园;“VA”动结式表层语义分析[D];湘潭大学;2010年
9 王玉丹;基于SVM的汉语依存句法分析研究[D];中国海洋大学;2010年
10 苏昭;关系代数→关系演算转换系统的研制[D];江西师范大学;2010年
【二级参考文献】
中国期刊全文数据库 前4条
1 张普;信息处理用现代汉语语义分析的理论与方法[J];中文信息学报;1991年03期
2 俞士汶,朱学锋,王惠,张芸芸;现代汉语语法信息词典规格说明书[J];中文信息学报;1996年02期
3 黄昌宁;计算语言学简介[J];语文建设;1992年02期
4 王凡;;“语言信息产业前途无量”——陈肇雄和他的智能型机器翻译研究[J];语文建设;1993年03期
【相似文献】
中国期刊全文数据库 前10条
1 洪秋兰;;知识管理要重视加强语言管理[J];图书馆工作与研究;2008年08期
2 毛曦;李琦;;基于本体的网络空间决策支持系统研究[J];计算机应用研究;2010年10期
3 徐成兵;情报检索中的受控语言和自然语言[J];情报杂志;1998年01期
4 王培铎;自然语言形式化研究中几个基本问题的再认识[J];武警学院学报;2002年06期
5 郭晓兰;信息时代的情报检索语言研究[J];哈尔滨学院学报;2003年06期
6 潘瑞冰;人工语言与自然语言融合理论的实施与应用[J];情报资料工作;2004年06期
7 张金凤,张燕飞,陈玉顺;受控语言与自然语言结合模式比较研究[J];图书情报知识;2005年04期
8 刘玉玲;孙星明;辛国江;;基于移位变换的句子层自然语言信息隐藏算法[J];控制与决策;2009年12期
9 赵启迪;自然语言中惯用法現象的数学解释[J];自然杂志;1985年05期
10 ;十、计算机程序语言[J];纺织器材;1985年04期
中国重要会议论文全文数据库 前10条
1 王柏鹤;;普通逻辑教学亟待加强自然语言的逻辑分析[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年
2 甘灿;孙星明;刘玉玲;向凌云;;一种改进的基于同义词替换的中文文本信息隐藏方法[A];第七届全国信息隐藏暨多媒体信息安全学术大会论文集[C];2007年
3 周劲松;;空间搜索引擎与城乡规划管理[A];城市规划和科学发展——2009中国城市规划年会论文集[C];2009年
4 陈魁;荣莉莉;;标准元搜索引擎——概念及其模型[A];管理科学与系统科学研究新进展——第7届全国青年管理科学与系统科学学术会议论文集[C];2003年
5 赵希顺;秦克云;庞善起;王雪生;;具有时态词的Fuzzy推理[A];模糊数学和系统成果会论文集[C];1991年
6 温雪茹;翟国平;李银罗;;将情报语言与自然语言一体化检索应用于地质资料检索系统[A];中国图书馆学会专业图书馆分会2009年学术年会论文集[C];2009年
7 徐阳春;;从汉语特点看中国古代逻辑[A];1995年逻辑研究专辑[C];1995年
8 邹崇理;;信息时代的自然语言逻辑研究特色[A];2000年逻辑研究专辑[C];2000年
9 张杨;薛铁鹰;;用数据结构描述自然语言——计算机理解自然语言的一种方法[A];加入WTO和中国科技与可持续发展——挑战与机遇、责任和对策(下册)[C];2002年
10 邹崇理;;逻辑研究自然语言的得失利弊[A];小康社会:创新与发展——2002·学术前沿论坛文集[C];2002年
中国重要报纸全文数据库 前10条
1 西文;互联网进入自然语言时代[N];中国经营报;2001年
2 吴超;从IP到DNS到自然语言[N];大众科技报;2003年
3 吴超;从IP到DNS到自然语言网络地址资源凸现本地化特色[N];中国企业报;2003年
4 L&H公司高级副总裁及亚太区总裁 胡国辉博士;自然语言技术支持新一代语音上网[N];中国计算机报;2000年
5 本报记者 操秀英;搜索引擎市场风云再起[N];科技日报;2007年
6 李文;自然语言搜索:Google、百度终结者?[N];中国民航报;2007年
7 王迎庆;爱情对于自然语言的超越[N];中国电影报;2005年
8 吴超;网络地址资源凸现本地化特色[N];中国消费者报;2003年
9 吴超;网络地址资源凸现本地化特色[N];中国旅游报;2003年
10 胥小红 本报记者  雅梓;下一代搜索轮廓初现Autonomy力挺中文搜索[N];大众科技报;2006年
中国博士学位论文全文数据库 前10条
1 胡志刚;基于协同的并行设计环境理论与方法研究[D];中南大学;2002年
2 刘晓红;关于企业人力资源评价信息处理系统的研究[D];西南交通大学;2004年
3 刘艳茹;语言的结构之思[D];吉林大学;2005年
4 于士涛;基于问答网络论坛知识体系的自动问答系统研究[D];南开大学;2009年
5 赵章界;短语结构制导的范畴表达式演算[D];中国科学院研究生院(计算技术研究所);2006年
6 傅昌萍;模糊化思维与翻译[D];上海外国语大学;2007年
7 姚红玉;基于教师专业化发展的虚拟导师系统设计[D];华东师范大学;2006年
8 方淼;语义单元自动获取研究[D];大连理工大学;2008年
9 高明霞;问答式OWL知识检索技术[D];北京工业大学;2008年
10 张炯;汉语量化结构的形式分析[D];浙江大学;2009年
中国硕士学位论文全文数据库 前10条
1 李海波;语言游戏论与自然语言量化结构[D];中国海洋大学;2004年
2 熊况;是革命还是夸大?[D];复旦大学;2008年
3 黄艳;面向数字化产品的自然语言查询技术的研究与开发[D];浙江大学;2002年
4 刘静;基于二叉树和自然语言的昆虫查询鉴定系统研究[D];昆明理工大学;2006年
5 饶萍;情境语义学的逻辑应用研究[D];河南大学;2009年
6 倪国强;广义量词理论对自然语言限定词的研究[D];内蒙古师范大学;2009年
7 顾锋强;蒙太格语法研究述评[D];西南大学;2006年
8 胡泽;格赖斯的会话含义理论研究[D];华南师范大学;2005年
9 张岚;初中生数学学习中自然语言与符号语言的相关性及转化策略[D];陕西师范大学;2008年
10 张鹭;当代流行歌曲歌词的语言艺术[D];华中师范大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026