检索结果-南通市图书馆

吉林大学学报（理学版） 2016年第4期54卷 805-812页

作者：刘磊李振国高艳华丁岩申春刘雷吉林大学计算机科学与技术学院长春130012 长春理工大学计算机科学技术学院长春130022 中国科学院计算技术研究所北京100190

基于C语言扩展定义一种新的特定领域编程语言MISPC,并描述其应用于多媒体和无线网络领域主流场景的特征,利用Backus-Naur范式对其数据类型等进行描述.针对该语言特点,提出一个面向异构平台的编译框架,以生成较高性能的目标代码.结合领... 详细信息

基于C语言扩展定义一种新的特定领域编程语言MISPC,并描述其应用于多媒体和无线网络领域主流场景的特征,利用Backus-Naur范式对其数据类型等进行描述.针对该语言特点,提出一个面向异构平台的编译框架,以生成较高性能的目标代码.结合领域中一个经典算法进行验证,实验结果表明,对比不同输入规模、不同版本的代码实现,显著提高了领域开发的效率,并可获得最高5.59倍的执行加速比.通过定义相应高层语言并构建编译框架,提供领域编程框架的系统解决方法和技术,有效降低了领域编程和调试的难度,提升了领域开发效率及程序性能.

关键词：特定领域语言多媒体无线网络编译框架 GPU SIMD

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

特定领域语言MISPC及其编译框架的设计与实现

特定领域语言MISPC及其编译框架的设计与实现

引用

作者：李振国吉林大学

学位级别：硕士

随着社会的发展与进步,细化出越来越多的应用领域,而不断发展的计算机技术则在这些领域中扮演着越来越重要的角色。具有代表性的,特定领域语言在领域研究和领域应用开发中具有重要意义,基于特定领域语言的高性能代码生成技术则进一步提... 详细信息

随着社会的发展与进步,细化出越来越多的应用领域,而不断发展的计算机技术则在这些领域中扮演着越来越重要的角色。具有代表性的,特定领域语言在领域研究和领域应用开发中具有重要意义,基于特定领域语言的高性能代码生成技术则进一步提升相关研究的意义和价值。针对多媒体和无线网络应用领域,如何抽象其领域特征,定义相应的特定领域编程语言,并实现相应的程序编译和高性能代码生成技术,是本文重点研究的内容。首先,本文基于标准C语言扩展定义一种面向多媒体和无线网络领域的新特定领域语言MISPC,其主要引入复数、向量和矩阵等新数据类型,并结合领域应用需求定义支持新数据类型的一系列领域操作,包括复数求模、计算向量内积和部分积、矩阵点乘等,重点描述了多媒体和无线网络领域的主流场景特征。这种新特定领域语言屏蔽了领域开发过程中向量、矩阵等数据和数据操作的复杂性,为了更好地刻画其特点,利用BNF范式形式化描述MISPC的典型语法规则和语言结构,并详细阐述面向新数据类型的领域操作的接口和功能。同时,为了更好地理解新定义语言的语义,本文使用指称语义学方法形式化描述MISPC的语义物,以从功能的角度对MISPC的语法对象有更深刻的理解。本文接着提出一个面向异构平台的代码生成框架,对MIPSC程序进行编译和优化处理,以期生成高性能目标代码。介绍该编译框架的基本实现原理和整体架构,并根据编译框架的结构组成重点介绍了编译前端、模式分析、程序下降、代码优化、代码生成等子模块的功能及其之间关系,并就代码优化模块中涉及的局部优化、全局优化和目标优化策略进行了分析和阐述。最后,针对多媒体领域中的两个经典算法进行实验验证,测试结果表明本文所研究的内容具有较好的效果。实验结果表明,对比CPU上的单线程优化实现,MISPC语言显著提高了该特定领域的开发效率,同时编译生成的目标代码在不同运行平台和输入规模下可以获得1.54～21.52倍的执行加速比。

关键词：特定领域语言多媒体无线网络编译框架代码优化 GPU SIMD

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

特定领域动态元建模语言研究

特定领域动态元建模语言研究

引用

作者：崔妍妍云南大学

学位级别：硕士

软件是计算机的灵魂、计算机应用系统的关键,但“软件危机”的出现成为了软件产业发展过程中必须面对的一大难题。如何高效率、高质量、低成本地开发软件成为了软件产业关注的焦点。回顾软件开发的历史,抽象水平的提高是开发者的生产力... 详细信息

软件是计算机的灵魂、计算机应用系统的关键,但“软件危机”的出现成为了软件产业发展过程中必须面对的一大难题。如何高效率、高质量、低成本地开发软件成为了软件产业关注的焦点。回顾软件开发的历史,抽象水平的提高是开发者的生产力水平飞跃发展的原因。研究表明,第三代编程语言使得开发人员的生产力水平比汇编语言时代提高了惊人的450%。然而,后来引入的面向对象的语言,在提高生产力方面不尽如人意。此后,模型驱动的软件开发将软件开发从以代码为中心提高到了以模型为中心,但对提高软件开发生产率贡献甚微。因此,特定领域建模出现了,它的主要思想就是对某一领域进行建模,由模型来直接生成目标代码。本文的主要贡献就是设计出基于某一特定领域的动态元建模语言,该语言能够实现对系统的行为建模,即动态建模,对将来模型到代码的转换奠定基础。为实现该目的,本文整合了良好定义的行为语义来充分支持特定领域的行为建模。此外,还建立了动作规约与模型约束的语言,为模型的动态行为提供精确的定义。最后,以行为场景为行为建模的核心,从行为过程的视角建模,以行为场景描述系统行为进而实现系统目标。本文结合特定领域建模技术、元建模技术分析和设计出了基于特定领域的动态元建模语言D-SDMML,该语言在可视化元建模语言XMML的语义基础上进行扩展,本文给出了该语言的架构、抽象语法、具体语法以及用于描述操作和约束的AS&MC的具体语法以及行为场景;D-SDMML的具体语法使用XML Schema来定义,AS&MC为可执行的特定领域模型的建模提供了精确的动作规约和模型约束。最后,结合基于手机的会议注册系统证明该语言是可行的。

关键词：模型驱动开发特定领域建模特定领域语言模型元建模元模型

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

一种计算机代数系统的设计与实现

引用

河北软件职业技术学院学报 2023年第4期25卷 27-32页

作者：汪明孔智科技(徐州)有限公司研发部江苏徐州221118

为利用计算机对数学表达式进行自动推理,实现自主可控的计算机代数系统,提出了基于抽象语法树模式匹配的计算机代数系统设计方法。在对计算机代数系统设计过程进行认知与分解的基础上建立了总体设计模型,并利用F#强大的函数式编程语言能... 详细信息

为利用计算机对数学表达式进行自动推理,实现自主可控的计算机代数系统,提出了基于抽象语法树模式匹配的计算机代数系统设计方法。在对计算机代数系统设计过程进行认知与分解的基础上建立了总体设计模型,并利用F#强大的函数式编程语言能力,快速实现解析器和表达式模式匹配,从而提高开发效率。通过设计一个可实现表达式化简、展开、求导、极限、泰勒级数和积分等功能的计算机代数系统,验证了该设计的准确性和有效性。

关键词：计算机代数系统符号计算特定领域语言解析器

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于DSSA和SOA的银行公共事业缴费系统应用方案

引用

信息技术与信息化 2015年第9期 35-38页

作者：曾钢封宇广西大学计算机与电子信息学院广西南宁530004 广西职业技术学院计算机技术与电子信息工程系广西南宁530226

为解决银行中间业务多样化与开发及时性的问题,分析当前通用性系统开发框架,针对常用开发模式在银行中间业务开发上复用性和效率低的问题,提出引入特定领域系统体系结构与面向服务架构相结合的模式,使用领域专用语言用于提高与领域专家... 详细信息

为解决银行中间业务多样化与开发及时性的问题,分析当前通用性系统开发框架,针对常用开发模式在银行中间业务开发上复用性和效率低的问题,提出引入特定领域系统体系结构与面向服务架构相结合的模式,使用领域专用语言用于提高与领域专家沟通效率。实例表明,使用基于DSSA和SOA的银行公共事业缴费系统,能有效地提高银行中间业务开发的效率。

关键词：中间业务面向服务架构特定领域软件体系结构特定领域语言

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：