基于PAR平台的APLA->Python自动生成系统研究

来源 :江西师范大学 | 被引量 : 1次 | 上传用户:baby_say
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
当前,Python语言在人工智能、数据挖掘、云计算等领域使用广泛,已成为计算机领域的研究热点。但随之而来的则是程序的复杂性增加,开发效率低下,程序质量难以保证。如何提高Python程序的开发效率成为亟待解决的问题。PAR方法是提高软件开发效率和可靠性的一种简单有效的形式化方法,该方法能够很好的解决软件开发效率低下的问题。本文针对提高Python程序开发效率这一问题,提出了基于PAR平台的APLA->Python程序自动生成方法并制作了自动生成工具,其研究目标就是在当前PAR平台的基础上,实现PAR方法指导下的APLA->Python程序的自动生成,提高Python程序的可靠性和开发效率。本文首先分析算法设计语言APLA与Python语言的特点,总结两种语言的区别与共性,提出了APLA->Python自动生成系统的总体设计,找出APLA语言与Python语言的语句对应规则。然后分析APLA语言和Python语言的数据类型,选择需要实现的基本组合数据类型。并且我们分析了APLA语言的抽象数据类型机制和JAVA、C#的泛型机制,结合Python语言的特点,解决了APLA语言自动生成Python语言时遇到的泛型问题。最后,我们使用C++语言编制自动生成系统的主程序,Python语言制作Python可重用部件库,并使用大量实例测试APLA->Python自动生成系统的运行效果。本系统共包含代码7千8百余行,该系统作为提高软件可靠性和开发效率的自动化工具,可以应用于Python编程领域,促进Python软件开发领域的发展。本文的主要创新点如下:(1)提出了基于PAR平台的APLA->Python程序自动生成方法。基于现有PAR平台,使用PAR方法为研究基础,提出将APLA语言设计的程序自动生成等价Python程序的方法。PAR方法实现了泛型程序设计思想,其提供了大量的预定义组合数据类型,并且还实现了并发分布式处理机制、元素的参数化和多媒体数据处理等功能,能够很好的实现Python程序的自动生成。(2)提高了Python程序的生产效率。设计了APLA->Python自动生成系统。通过自动生成系统完成了Python程序的自动生成,提高了Python程序的开发效率。
其他文献
土壤是人类农业生产的物质基础,农业土壤质量的优劣直接影响土地的生产能力和生产安全,进而影响到人类的人身健康和社会经济发展。黄土丘陵沟壑区作为典型的生态脆弱区之一,该区生态与农业经济发展问题愈发突出。因此,探究该区土壤质量的空间分布及其影响因素,对指导农户土地利用行为及促进农业生态可持续发展具有重要的理论和实践意义。本文以典型黄土丘陵沟壑区,陕西省米脂县高渠乡为研究区。根据不同的地形条件与种植方式设
城市化是一个日复一日的过程。来自不同地区的人们定居在城市。通常在发展中国家,人们从不同地区前往城市化地区,希望得到更好的服务和设施。如基础设施、就业、饮用水、信息、文明等条件的改善。经济和社会快速发展增加了城市对高人口密度的吸引力,这就产生了快速的城市化。由于城市化进程的加快,大量的人口流动将给城市带来一个复杂的问题。流动性是大多数快速发展中国家面临的最大挑战之一。本文中的流动性是指人们从使用公共
热量资源是是农业生产的重要基础资源之一,在全球气候变暖的背景下,热量资源的空间分布产生了很大的变化。因此,推算细网格的热量资源并找寻其分布规律意义重大。在野外实地考察资料较难获取的情况下,本文借助GIS平台,使用福建省及其周边75个气象站点1960-2015年的实测气温数据和空间分辨率为100 m的DEM数据,建立基于旬平均气温的复杂地理环境下热量资源相关物理经验统计模型,实现了福建省100m×1
我国建筑业目前正在蓬勃发展,但项目管理组织建设不够科学、技术落后等一些原因导致的工期延长、预算超支以及质量不合格的情况时有发生,如何通过项目管理手段提高工程项目绩效,成为我国建筑业亟待解决的问题。知识作为企业的核心资源之一,企业通过知识共享可以提升绩效已经被证实,因此,越来越多的学者在项目管理中考虑知识共享的因素,关注知识共享与工程项目绩效的问题。基于此,本文以知识共享理论、虚拟企业理论、利益相关
我国存在水资源时空分布不均的问题,为了解决水资源供需矛盾,许多城市或地区从丰水地区引入外调水,外调水一定程度上缓解了这些城市或地区的水资源短缺问题,然而,由于来水具有不确定性,有可能出现外调水受水区和水源区同枯的情形,此时,在后期受水区将面临严重的缺水,由于严重缺水事件的破坏性大,因此,研究制定合理的供水方案来减小后期严重缺水事件的风险和减小缺水造成的不利影响,具有重要意义。本文基于采用对冲规则减
对作物产量进行分离是分析气象对产量影响的重要步骤之一。以1985-2018年江苏省24个县(市)水稻统计产量为基础,分别采用3年滑动平均法,5年滑动平均法,五点二次平滑法,二次指数平滑法,HP滤波法和年际增量法对作物产量进行分离。从趋势产量与气象产量两方面比较各方法的一致性与差异性,将分离出的气象产量与典型年增减产记录对比,选出更能准确捕获气象因子导致产量变异的方法,利用气象因子与产量关系的合理性
积分方程在自然科学领域中占有重要地位,许多自然科学与工程中的实际问题都可以转化为求解紧线性积分算子的特征根问题,近年来,特征值问题的数值解法已取得人们的广泛关注.目前已有文献中通常采用的方法有Galerkin法、配置法、Nystrom法、退化核法等.本文在Lp空间中讨论紧算子积分方程的特征值问题,给出离散的方法,用积分均值投影的方法来求解所得矩阵的特征值即为原方程近似特征值.证明了算法的合理性,并
中国经济已经进入新常态,新常态的主要特征之一为经济发展从要素驱动、投资驱动转向创新驱动,这就要求企业不断增加创新投入,走创新发展道路。对于正处于初创期的创业板制造业上市公司来说,如果想要实现发展壮大,必须更加注重技术创新。企业技术创新的主体是企业家,各种创新战略都是由企业的高管团队制定的,而高管团队在进行创新决策时会受到其高管成员的认知能力、感知能力以及价值观等心理结构的影响,这种心理结构与高管成
土壤呼吸是土壤向大气排放CO2的过程,是全球碳循环中的重要环节之一,其细微变化会影响大气CO2浓度,会影响全球气候变化,是当今气候谈判立场中碳贸易评估的热点问题。高寒沼泽草甸是青藏高原广泛分布的草地类型之一,面积大约有0.49×10~5 km~2,土壤中的有机碳储量达19.8×10~2 Pg,在高寒生态系统的土壤呼吸研究中起着非常重要的作用。近年来,随着全球气候变暖,高海拔冻土区的冻土分布格局逐渐
生态系统作为社会发展与人类生存的重要载体,其不仅可以为人类生存提供必要的物质资源,同时还能提供诸多非物质性的生态服务。然而,随着工业化与城市化的快速发展,自然生态系统遭到了严重的破坏。如何权衡城市工业发展和生态保护之间的关系,合理规划城市生态系统,是实现社会经济可持续发展的重要问题。城市生态系统是一个涉及社会、经济、自然、环境等要素的复杂系统,存在着多重不确定性,给生态系统规划带来了一定挑战。因此