基于净室技术和HNC理论的自动程序设计体系的研究

被引量 : 0次 | 上传用户:fantong518
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
自动程序设计是软件工程师的梦想。随着人工智能、认知科学的理论研究发展,以及人们在软件生产领域的实践,许多特定领域的、自动、半自动程序设计系统已经出现。自动程序设计系统是对人们在各相关领域研究与实践成果的综合运用和系统总结,是软件生产的重要发展方向。自动程序设计是人工智能的一个重要分支,是人工智能各个研究领域中最为复杂的一个。它的复杂性源于它的综合性:它涉及了人工智能中几乎所有领域的研究,是这些研究领域成果的综合运用。因此,自动程序设计系统研究的发展主要表现在相关领域研究的发展和集成体系结构的研究上。当前实用的研究思路往往都是对实际应用中的软件生产过程的自动化研究,考虑提高其自动化水平。净室技术是IBM公司实际应用的软件生产技术,1996年由卡内基-梅隆大学软件工程研究所进行了系统总结和研究,提出了净室软件工程参考模型(CRM)。CRM的特点是它的规范化的生产管理技术和设计方法,这种特点使它十分适于作为软件生产自动化过程的基础蓝本。从自然语言表述的需求和解法到计算机可以理解的程序设计语言代码,它们之间的本质联系在于其共同的语义内涵,它们是分别从不同的角度、用不同的方式对同一语义内涵的描述。从这个意义上说,语义研究是自动程序设计系统研究的本质性问题。概念层次网络(HNC)理论,是关于自然语言理解处理的一个理论体系,HNC理论的研究已经从最初针对汉语语义的研究中得到了一个通用的、无语种区分的语义理解理论体系,具有重要的参考价值。本文综合了上述两个方面的研究,对自动程序设计系统的体系结构作了初步探索,提出了一个基本框架,力求使它成为一个具有灵活性的系统集成平台,在它上面运用多种知识表示、存储方式,允许根据知识类型选择合适的组织方式,并对其底层进行了程序实现的实验研究。
其他文献
冈仓天心(1862-1913),原名觉三,是近代日本天才式的思想家、美术教育家。他出生于日本最早的开埠港横滨的一个贵族家庭。冈仓天心的一生和日本明治维新运动的时间大致相当,他
介绍了改进后的沈阳区域气象中心中尺度数值预报业务系统的产品和运行情况。沈阳区域气象中心中尺度数值预报业务系统于 1997年投入业务运行 ,目前已从最初的仅提供降水预报
随着就业教育改革的不断深化,针对传统就业教育体系存在的与市场发展融合度较低的问题,通过采用增加就业教育宣传渠道、建设专业化教师就业辅助团队、增设校园就业咨询窗口、
掌握多年冻土地区路基工后沉降变形特点,是解决多年冻土地区路基长期稳定性问题的基础,本研究以中俄原油管道漠大线林区伴行路为依托工程,选取公路沿线多年冻土区典型路基断
进行资源勘探开发的前提条件是依法取得相应的区块。非常规的页岩油气的勘探开发需要大批企业和大量资金投入,因此迫切需要获得可供工作的区块。但长期以来,中国可供油气勘探
塑性收缩裂缝是混凝土早期裂缝的重要组成部分,大量早期原生裂纹的存在,直接为外部侵蚀性介质向混凝土基体渗透、迁移提供了通道,从而导致了混凝土长期耐久性的降低并加速了
学位
非线性系统是一种最为普遍的系统,许多非线性系统都能在数学上用非线性常微分方程加以描述,仿射非线性系统是其中的一类。针对不同类型的非线性系统已有了很多种控制方法,其中针
当前信息系统对数据安全的要求不断增加,其数据存储系统愈加重要,国产化尤其是国产处理器势在必行。这几年,国内CPU自主研发进展也较快,如申威、龙芯、飞腾等CPU器件,在性能
本教案来源于上海自然博物馆"开放式环境下的互动诠释——飞鸟探秘系列"教育项目。该项目依托常设展览中与小学科学课程有关的鸟类展品,重点诠释"鸟巢的结构与功能、鸟类的筑