过程蓝图逻辑层到实现层半自动生成转换技术的研究

来源 :北京信息科技大学 | 被引量 : 0次 | 上传用户:aweids
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
自动程序设计是人工智能领域研究的一个重要分支。它通过对一个问题求解的规格说明自动或半自动地生成可执行程序,它涉及到人工智能领域的各个方面,包括自然语言理解、机器翻译等各个方面。自动程序设计是一个综合性很强的课题。其中,半自动设计系统通过人机结合方式,充分发挥人机各自的特点,提高程序设计的自动化程度。对程序自动程序设计具有十分重要的现实意义。  过程蓝图建模理论是一种全新的程序设计理念,它通过对过程方法的建模弥补了现有工具中对过程建模的不足。在过程蓝图逻辑层是使用受限汉语表达的程序设计的语义,而实现层内容则主要是基于具体语言的代码表达。本文的主要任务是利用自动程序设计理论和基于受限汉语的机器翻译理论将逻辑层的受限汉语表达转换为包含代码语言的实现层构造块。  本文对过程蓝图领域涉及到的词汇、语法和语义等进行了详细的研究。在过程蓝图领域范围之内的受限汉语表达,对它的受限规范包括受限汉语词汇、语法、语义文法等方面进行了相关设计。结合过程蓝图领域受限汉语表达的特点和格语法理论,设计提出了以格理论为基础和以XML为表现形式的生成转换方法。初步研究了转换生成的基本框架,分别对基于蓝图表述的汉语的受限形式,基于格语义的分析,基于!V和(!V+!N)映射模型,基于XML的中间生成模型,以及最后实现层构造块代码的生成分别进行了论述,并且开发了实验工具,初步验证了技术的可行性。
其他文献
XML语言是W3C提出的一个Web上数据表示和数据交换的标准,XML文档在Web上的广泛应用使得基于XML文档的数据查询显得尤其重要。目前XML的标准查询语言XQuery不能满足用户提出的
随着智能手机和移动互联网的进步,移动平台上的恶意软件和病毒也在不断发展。据统计,手机安全公司网秦仅在2010年就截获了1700多个手机病毒,相比去年增长了193%。如何提高手
本文分析了对产品质量、食品安全方面的质检舆情监控的意义和必要性,介绍了垂直搜索、信息抽取、中文分词、文本相似度、文本聚类、信息检索等方面的技术现状。研究了信息检
近年来随着互联网技术的发展以及可拍照设备的普及,图像资源呈现爆炸式增长。如何有效组织海量的图像资源并从中挖掘出有价值的图像是一个具有挑战性的问题。由于图像模态信息
炼化企业能量消耗计算与评价方法是中石化依据近年来最新炼油技术发展成果和炼化企业实际情况,并参照了国际上炼油能耗评价方法的基础上制定的一套能量消耗计算与评价方法。该
随着互联网的迅猛发展,人们对数据传输系统的容量和性能提出了更高的要求。在全球电力资源日趋紧俏的今天,如何在满足用户不断激增的带宽需求同时,尽可能降低网络能量消耗已
传统集中式的电信网面临着集中式模式带来的问题。P2P技术可以充分利用网络资源,提高系统的伸缩性,解决传统模式中的“单点故障”、“性能瓶颈”等问题,目前在互联网领域得到
随着移动互联网的发展,企业移动化办公的需求日益突出,越来越多的企业开始将业务拓展到移动终端,力求走上全面信息化的道路。而信息移动发布平台可以使用户通过无线终端方便
随着互联网技术的发展与PKI技术的完善,UKey逐渐成为解决安全通信和身份认证问题的重要工具,在信息和系统安全领域都有较为广泛的应用。Windows的市场份额及其对PC/SC规范的制
电信运营商都拥有各自的运维支撑系统,随着时间的积累、通信系统规模的日益庞大,业务数据、用户数据都会不断积累增加,并且增长十分迅速。怎样从海量的数据中高效地获取我们