检索结果-内蒙古大学图书馆

作者：吴冰北京工业大学

学位级别：硕士

为避免数据库应用软件开发过程中的重复计算,该文提出了一种增量式SQL执行环境SQL_***_IPM是一种通用环境, 可以集成到各种数据库的应用系统中,自动实现增量计算.作者利用SQL_IPM实现了一种新型的增量式数据库软件开发工具-基于增量计算... 详细信息

为避免数据库应用软件开发过程中的重复计算,该文提出了一种增量式SQL执行环境SQL_***_IPM是一种通用环境, 可以集成到各种数据库的应用系统中,自动实现增量计算.作者利用SQL_IPM实现了一种新型的增量式数据库软件开发工具-基于增量计算的SQL编辑查询器,可以实现数据库的增量式查询,并自动实现了增量计算.

关键词：部分求值增量计算数据库开发工具自动程序设计客户/服务器 ODBC结构化查询语言

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

作者：韩光强北京信息科技大学

学位级别：硕士

自动程序设计是人工智能领域研究的一个重要分支。它通过对一个问题求解的规格说明自动或半自动地生成可执行程序，它涉及到人工智能领域的各个方面，包括自然语言理解、机器翻译等各个方面。自动程序设计是一个综合性很强的课题。其中... 详细信息

自动程序设计是人工智能领域研究的一个重要分支。它通过对一个问题求解的规格说明自动或半自动地生成可执行程序，它涉及到人工智能领域的各个方面，包括自然语言理解、机器翻译等各个方面。自动程序设计是一个综合性很强的课题。其中，半自动设计系统通过人机结合方式，充分发挥人机各自的特点，提高程序设计的自动化程度。对程序自动程序设计具有十分重要的现实意义。　　过程蓝图建模理论是一种全新的程序设计理念，它通过对过程方法的建模弥补了现有工具中对过程建模的不足。在过程蓝图逻辑层是使用受限汉语表达的程序设计的语义，而实现层内容则主要是基于具体语言的代码表达。本文的主要任务是利用自动程序设计理论和基于受限汉语的机器翻译理论将逻辑层的受限汉语表达转换为包含代码语言的实现层构造块。　　本文对过程蓝图领域涉及到的词汇、语法和语义等进行了详细的研究。在过程蓝图领域范围之内的受限汉语表达，对它的受限规范包括受限汉语词汇、语法、语义文法等方面进行了相关设计。结合过程蓝图领域受限汉语表达的特点和格语法理论，设计提出了以格理论为基础和以XML为表现形式的生成转换方法。初步研究了转换生成的基本框架，分别对基于蓝图表述的汉语的受限形式，基于格语义的分析，基于！V和(！V+！N)映射模型，基于XML的中间生成模型，以及最后实现层构造块代码的生成分别进行了论述，并且开发了实验工具，初步验证了技术的可行性。

关键词：自动程序设计过程蓝图建模半自动生成转换机器翻译受限汉语表达

来源：评论

学校读者我要写书评

暂无评论

VXI总线及其在风洞测试技术中的应用研究

VXI总线及其在风洞测试技术中的应用研究

引用

作者：张仰东北京航空航天大学

学位级别：硕士

该文分析了VXI总线系统结构、工作原理和软件设计原理.在此基础上,重点研究了两部分的工作:1.基于VXI总线的高速数据采集系统.分析了高速数据采集系统的应变计测量和温度测量的原理,采样-保持电路的设计和误差,实时控制器的响应性能和... 详细信息

该文分析了VXI总线系统结构、工作原理和软件设计原理.在此基础上,重点研究了两部分的工作:1.基于VXI总线的高速数据采集系统.分析了高速数据采集系统的应变计测量和温度测量的原理,采样-保持电路的设计和误差,实时控制器的响应性能和系统吞吐量.推导了有关公式;2.A/D测试软件自动生成工具的设计.在分析HP E1413A的工作原理和程序设计方法的基础上,应用程序模板的方法设计了测试程序自动生成工具.大幅地提高了软件开发效率.

关键词：风洞测试 VXI总线计算机测量数据采集自动程序设计

来源：评论

学校读者我要写书评

暂无评论

基于SOA的系统自动生成研究

基于SOA的系统自动生成研究

引用

作者：朱骏华中科技大学

学位级别：硕士

自动程序设计是使用自动化手段进行程序设计的技术和过程,后发展成为使用自动化手段进行软件系统生成的方法,被称为软件自动化。其目的在于提高软件生产率和软件产品质量。软件自动化过程通常包括从问题的非形式化描述到形式化的软件需... 详细信息

自动程序设计是使用自动化手段进行程序设计的技术和过程,后发展成为使用自动化手段进行软件系统生成的方法,被称为软件自动化。其目的在于提高软件生产率和软件产品质量。软件自动化过程通常包括从问题的非形式化描述到形式化的软件需求规格说明、功能规格说明、设计规格说明,再到可执行代码生成、调试以及确认交付的全过程。传统的软件自动化方法通常是基于代码生成的,而这些方法难以适应大型系统构建的要求。基于软件复用的软件系统自动生成技术在此方面则很有潜力,与传统的软件自动化不同的是,这里的系统生成是基于可复用程序代码或称组件的。研究使用面向服务的架构,将可复用组件作为服务提供,根据项目的非形式化描述生成功能规格说明、设计规格说明,然后对服务库里的服务进行检索匹配,最后使用基于SOA(Service Oriented Architecture)的服务组装技术生成系统。研究的重点在于系统的自动生成,首先讨论了系统规格说明的自动生成、需求与服务组件的形式化描述以及服务的检索、匹配和组装技术,然后将人工智能技术和遗传算法用于软件系统自动化,同时结合SOA技术进行系统生成。在上述系统自动生成理论的基础上,得到一个基于SOA的系统自动生成平台的设计方案,实现了自动生成系统框架AutoSOM。AutoSOM是一个基于SOA的系统生成平台,作为软件自动生成系统SoftMaker的重要组成部分,AutoSOM在企业服务总线的基础上构建了一个从需求理解到服务组装的系统生成平台,使用户需求得到充分的理解,减轻软件工程沟通环节的负担,对已有可复用的软件资产以服务的方式进行充分利用,并进行智能匹配组装、生成系统。本系统功能完全符合自动化程序设计的思想,根据用户非形式化的需求描述,即只要输入对系统各个方面的要求就可以自动生成基于SOA的系统解决方案。

关键词：自动程序设计面向服务体系结构遗传算法人工智能软件复用

来源：评论

学校读者我要写书评

暂无评论

GEF图形编辑器自动生成的研究

GEF图形编辑器自动生成的研究

引用

作者：施洪洁长春工业大学

学位级别：硕士

GEF (Graphical Editing Framework,图形化编辑框架)是Eclipse Tools Project中最为吸引人的一套框架,它可以使用户采用图形化的方式编辑模型,从而丰富用户体验。目前,很多Eclipse图形插件都是基于这套框架构建的。常见的应用有UML类图... 详细信息

GEF (Graphical Editing Framework,图形化编辑框架)是Eclipse Tools Project中最为吸引人的一套框架,它可以使用户采用图形化的方式编辑模型,从而丰富用户体验。目前,很多Eclipse图形插件都是基于这套框架构建的。常见的应用有UML类图编辑器、图形化流程设计器以及图形化数据库结构设计工具等等。甚至在一些软件开发平台中所提供各种各样不同的可视化图形编辑器也都是使用GEF框架开发的。但是它的综合的设计结构决定了GEF应用的复杂性,其中的概念繁多并且所提供的类、接口名称相似,特别是GEF处理图形编辑的方式较为复杂。即使构造一个最简单的GEF可用范例也要包含五六个包和几十个类。这就决定了它的学习周期比较长。因此构造一个GEF应用程序不可避免的存在着开发周期长、成本高的问题。另外编辑器维护困难、针对不同编辑器编写大量相似代码也是个很严重的问题。针对这些问题本文将进行GEF图形编辑器自动生成的研究。 GEF图形编辑器自动生成的研究的目标是设计一个程序系统,它以所要设计的目标程序的一个高级的描述作为输入,自动生成一个能完成这个目标的具体程序；实践表明,对于程序设计问题,先产生一个代价不太高的有误解,然后再对这个解进行修改,通常要比坚持要求一次性得到完全没有缺陷解的作法效率高。本文使用具有能够直接生成模型代码功能的EMF (Eclipse Modeling Framework, Eclipse建模框架)来构造模型从而使GEF图形编辑器自动生成系统可以根据不同的元模型迅速搭建起目标图形编辑器。并且它能够提供模型变化到代码的自动通知功能,能够及时将元模型的变化反射到图形编辑器的源代码。同时也可以将代码的变化反映在元模型中,从而减少为适应模型变化或代码变化所需要的工作量。这样解决了GEF的图形编辑器一旦编辑器元模型结构发生变化就需要重新设计和开发,以及开发周期长、成本高、编辑器维护困难等问题,从而能有效减少代码编写量并且提高软件生产率和软件产品质量。

关键词：图形编辑器 GEF 自动程序设计 EMF

来源：评论

学校读者我要写书评

暂无评论

应用程序瘦身方法、装置、终端及存储介质

应用程序瘦身方法、装置、终端及存储介质

引用

作者：原鹏飞黄小婷龙腾飞 518000 广东省深圳市福田区益田路5033号平安金融中心14、15、16、41、44、45、46层

一种应用程序瘦身方法，包括：获取APP安装包的源码；对APP安装包的源码进行扫描，得到APP源码中的所有类；根据预设方式对源码进行编译打包生成具备数据上报能力的安装包文件；使用Monkey自动化测试工具测试并收集控件覆盖率数据和代... 详细信息

标准号: CN109460234B

一种应用程序瘦身方法，包括：获取APP安装包的源码；对APP安装包的源码进行扫描，得到APP源码中的所有类；根据预设方式对源码进行编译打包生成具备数据上报能力的安装包文件；使用Monkey自动化测试工具测试并收集控件覆盖率数据和代码覆盖率数据；判断控件覆盖率是否大于预设覆盖率阈值；当大于时，获取上报的代码覆盖率数据中的类名，将类名对应的类作为有用类；将有用类从所有类中剔除，得到伪无用类；对伪无用类进行排查确认，剔除真正无用类后生成瘦身安装包。本发明还提供一种应用程序瘦身装置、终端及存储介质。本发明利用人工智能中的自动程序设计，先得到所有类，再得到有用类，通过所有类减去有用类后得到伪无用类，最后在伪无用类中排查出真正无用类，效率高且准确率高。

关键词：安装包源码瘦身代码覆盖率应用程序控件剔除自动化测试工具自动程序设计覆盖率数据人工智能覆盖率存储介质数据上报预设方式准确率减去排查预设打包编译扫描终端测试上报

来源：评论

学校读者我要写书评

暂无评论

应用程序中H5页面的获取方法、装置和计算机设备

应用程序中H5页面的获取方法、装置和计算机设备

引用

作者：郑如刚 518052 广东省深圳市前海深港合作区前湾一路1号A栋201室

本申请涉及一种应用程序中H5页面的获取方法、装置和计算机设备。所述方法包括：接收测试终端发送的待加载应用程序的加载指令；所述加载指令携带所述待加载应用程序的应用标识；根据所述加载指令，加载与所述应用标识对应的待加载应用... 详细信息

标准号: CN109460264A

本申请涉及一种应用程序中H5页面的获取方法、装置和计算机设备。所述方法包括：接收测试终端发送的待加载应用程序的加载指令；所述加载指令携带所述待加载应用程序的应用标识；根据所述加载指令，加载与所述应用标识对应的待加载应用程序中的控件；获取加载到的控件的控件类型，判断所述控件类型是否为Webview；当确定控件类型为Webview，则获取控件显示的H5页面；将获取的H5页面进行存储。本方法基于自动程序设计技术，简化了获取应用程序中H5页面的流程，提高了获取应用程序中H5页面的效率，克服了传统采用chrome浏览器自带的inspect工具，通过外网连接到国外VPN，去获取应用程序中的H5页面，导致过程比较繁琐的缺陷。

关键词：应用程序加载加载指令控件类型页面应用标识控件自动程序设计计算机设备接收测试控件显示终端发送外网自带存储携带申请

来源：评论

学校读者我要写书评

暂无评论

顺序控制电路的设计自动化

引用

组合机床与自动化加工技术 1982年第3期 28-33+51页

作者：研野和人张曙狄霈日

本文为适应生产线自动化的发展需要,提出了一种顺序控制电路的自动程序设计系统APS,以满足对顺序控制电路设计的标准化要求。其基本原理是根据描述机械动作顺序的输入数据,列出顺序控制的布尔逻辑表达式,再将其转换成展开接线图作为输... 详细信息

本文为适应生产线自动化的发展需要,提出了一种顺序控制电路的自动程序设计系统APS,以满足对顺序控制电路设计的标准化要求。其基本原理是根据描述机械动作顺序的输入数据,列出顺序控制的布尔逻辑表达式,再将其转换成展开接线图作为输出。图8幅。

关键词：动作顺序自动程序设计输入数据逻辑表达式布尔自动软件工程顺序控制展开接线图可编程序控制器

来源：评论

学校读者我要写书评

暂无评论

软件工程需要人工智能

引用

计算机科学 1987年第6期 6-16页

作者： David Barstow 陈冀军

软件工程是一个知识密集型活动,需要关于应用领域和目标软件本身的广泛知识。软件工程中不少费用都归因于当前技术不能有效地管理这些知识,人工智能技术能帮助缓和这种不利局面.二十多年来,研究取得了许多重要的理论成果,但证明有其实... 详细信息

软件工程是一个知识密集型活动,需要关于应用领域和目标软件本身的广泛知识。软件工程中不少费用都归因于当前技术不能有效地管理这些知识,人工智能技术能帮助缓和这种不利局面.二十多年来,研究取得了许多重要的理论成果,但证明有其实用性的不多。一部分原因是软件工程活动需要的知识量大,种类多,一部分原因是许多工作研究的面太窄,忽略了许多具有重大实际意义的问题.尚未解决的重要问题包括:如何表示和使用领域知识,如何表示一个软件系统的设计和实现历史。如果这些问题解决了,并且在实际环境中实验成功,那么对软件工程实践将有深远的影响,而且可能出现与今天根本不同的软件开发范例.

关键词：自动程序设计领域自动软件工程软件工程人工智能

来源：评论

学校读者我要写书评

暂无评论

人工智能技术现状

引用

计算机科学 1983年第6期 30-37页

作者： R.O.Duda N.J.Nilsson B.Raphael 张茂绩

1.人工智能的特性 1.1什么是人工智能? 人工智能(AI)是计算机科学的一个分支,它考虑的是,计算机如何用在通常认为需要知识、感知、推理、学习、理解及其它类似的有认识能力的任务中。因此,AI的目的是要在质上扩充计算机的能力。绝大多... 详细信息

1.人工智能的特性 1.1什么是人工智能? 人工智能(AI)是计算机科学的一个分支,它考虑的是,计算机如何用在通常认为需要知识、感知、推理、学习、理解及其它类似的有认识能力的任务中。因此,AI的目的是要在质上扩充计算机的能力。绝大多数AI工作者更关心的是在新的领域中发

关键词：质谱分析有机分析课题领域自动软件工程自动程序设计人工智能划分方法计算机程序搜索论启发式搜索

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：