基于领域专用语言的应用软件自动生成 被引量：6

1

作者 周艳明 《计算机工程与应用》 CSCD 北大核心 2003年第10期124-127,共4页

在领域专用语言、领域专用库和应用产生器的基础上,提出一种自动生成应用软件的设计框架,详细论述了该设计框架的设计原理和具体的实现过程。该设计框架由三级组成:首先设计一种该应用领域的领域专用语言,它将该应用领域的应用系统作为... 在领域专用语言、领域专用库和应用产生器的基础上,提出一种自动生成应用软件的设计框架,详细论述了该设计框架的设计原理和具体的实现过程。该设计框架由三级组成:首先设计一种该应用领域的领域专用语言,它将该应用领域的应用系统作为领域分析的对象,语言上集数据、功能和界面于一体;其次实现该应用领域的一个领域专用库,它提供应用系统级的复用;在这两者的基础上,最后实现一个集工具、语言和库于一体的可视化应用产生器,用它可以快速地开发完整的应用软件。已成功地将该设计框架运用于GIS应用系统领域。用应用产生器开发应用软件,不仅加强了应用系统开发过程的集成,提高了软件的开发效率,实现了软件过程的复用,而且达到了系统级的软件复用。 展开更多

关键词 领域专用语言 应用软件 自动生成 软件设计 计算机 领域专用库 软件复用 地理信息系统

在线阅读 下载PDF 职称材料

机构运动分析的一种参数体系和专用语言 被引量：1

2

作者 袁清珂 唐锡宽 《机械科学与技术》 CSCD 北大核心 1995年第6期63-68,共6页

描述机构是实现机构自动分析的基础，为研制通用机构运动分析软件，提出了一种描述机构运动的多数体系和专用语言，并在其研制的通用机构运动分析软件ＫＡＭ中获得了成功的应用。本文介绍了该方法的基本思想，讨论了实现方法，给出了应... 描述机构是实现机构自动分析的基础，为研制通用机构运动分析软件，提出了一种描述机构运动的多数体系和专用语言，并在其研制的通用机构运动分析软件ＫＡＭ中获得了成功的应用。本文介绍了该方法的基本思想，讨论了实现方法，给出了应用实例。 展开更多

关键词 机构运动 描述方法 专用语言

在线阅读 下载PDF 职称材料

足球机器人决策开发平台与专用语言的设计与实现

3

作者 吴丽娟 陈华 +1 位作者 翟玉人 徐心和 《小型微型计算机系统》 CSCD 北大核心 2004年第1期135-138,共4页

决策系统是足球机器人系统的重要部分 ,在传统的决策系统开发方法的基础上设计了决策开发平台与专用语言系统 ,阐述了该系统的总体结构和 RS语言类的设计 ,详细分析了 RS语言到 C++语言的实现过程 ,并在仿真系统中验证了 RS语言编写决... 决策系统是足球机器人系统的重要部分 ,在传统的决策系统开发方法的基础上设计了决策开发平台与专用语言系统 ,阐述了该系统的总体结构和 RS语言类的设计 ,详细分析了 RS语言到 C++语言的实现过程 ,并在仿真系统中验证了 RS语言编写决策系统的可行性 . 展开更多

关键词 足球机器人 决策开发平台 RS专用语言 可重用构件

在线阅读 下载PDF 职称材料

SFCDSL:一种服务功能链领域专用语言

4

作者 阮宏玮 李华 王显荣 《小型微型计算机系统》 CSCD 北大核心 2022年第5期1114-1120,共7页

为满足用户服务功能链需求,加快服务功能链编程效率,设计一种面向服务功能链领域的专用语言SFCDSL.从规范化和可扩展性考虑,首先提出SFC抽象化层次框架和SFCDSL编程框架.对于SFCDSL中的服务关系采用基于面向对象设计方法,给出了基于软... 为满足用户服务功能链需求,加快服务功能链编程效率,设计一种面向服务功能链领域的专用语言SFCDSL.从规范化和可扩展性考虑,首先提出SFC抽象化层次框架和SFCDSL编程框架.对于SFCDSL中的服务关系采用基于面向对象设计方法,给出了基于软件定义SF和面向对象的SFC形式化定义,在此基础上重点分析了SFCDSL的对象关系设计和风格设计,之后以实现的北向扩展ETSI NFV环境的Intent和南向基于Floodlight SDN的SFC框架原型,结合典型需求实例说明了SFCDSL语言可用性、可演化性和可扩展性优势,最后与其它SFC技术进行了分析对比. 展开更多

关键词 服务功能链 领域专用语言 形式化

在线阅读 下载PDF 职称材料

对称密码算法专用描述语言的函数设计

5

作者 谢绒娜 史国振 +1 位作者 李凤华 胡小敏 《计算机科学》 CSCD 北大核心 2012年第B06期15-17,共3页

对称密码算法专用描述语言(SDLSCA)以自然的类似专业语言的思维方式描述算法的设计思想。在密码算法设计中,对于已经证明安全性高的、性能良好的密码构件会重复采用,比如S变换、P置换等。在分析大量公开密码算法设计特点和规律的基础上,... 对称密码算法专用描述语言(SDLSCA)以自然的类似专业语言的思维方式描述算法的设计思想。在密码算法设计中,对于已经证明安全性高的、性能良好的密码构件会重复采用,比如S变换、P置换等。在分析大量公开密码算法设计特点和规律的基础上,在SDLSCA语法中增加函数机制。详细给出了SDLSCA中函数的定义、调用以及实现的关键技术。并以AES为例,说明函数在算法描述的应用。实践表明利用SDLSCA中函数的功能,可以大大简化算法描述,提高算法描述的利用率和效率。 展开更多

关键词 对称密码算法专用描述语言 函数 语法规则 AES算法

在线阅读 下载PDF 职称材料

面向分组密码算法的程序设计语言研究 被引量：4

6

作者 李凤华 阎军智 +2 位作者 谢绒娜 马建峰 欧海文 《电子学报》 EI CAS CSCD 北大核心 2009年第12期2705-2710,共6页

本文提出了一种接近数学描述的面向分组密码算法的程序设计语言(Programming Language for the BlockCipher Algorithm,PLBCA).PLBCA能够以形式化方式方便地描述分组密码算法的结构.本文介绍了PLBCA的语法规范,以分组密码算法DES为例说... 本文提出了一种接近数学描述的面向分组密码算法的程序设计语言(Programming Language for the BlockCipher Algorithm,PLBCA).PLBCA能够以形式化方式方便地描述分组密码算法的结构.本文介绍了PLBCA的语法规范,以分组密码算法DES为例说明PLBCA应用方法,并借助ANTLR工具实现了PLBCA的解析器.利用PLBCA,密码学专家可以方便快捷地对密码算法进行算法正确性和安全性分析,以检验算法的设计.PLBCA有助于提高密码算法检验的效率,为密码算法的设计和自动检测分析提供了一种辅助工具. 展开更多

关键词 领域专用语言 分组密码算法程序设计语言 DES密码算法

在线阅读 下载PDF 职称材料

面向代理重加密算法的程序设计语言研究 被引量：2

7

作者 苏铓 俞研 +1 位作者 吴槟 付安民 《通信学报》 EI CSCD 北大核心 2018年第6期89-97,共9页

通过结合领域专用语言(DSL),提出一种面向代理重加密的程序设计语言(PLPRE),PLPRE支持代理重加密算法结构明确、类似数学语言的描述,算法设计人员通过PLPRE能够实现重加密算法快捷、方便的描述,并通过解析工具最终产生与之对应的计算机... 通过结合领域专用语言(DSL),提出一种面向代理重加密的程序设计语言(PLPRE),PLPRE支持代理重加密算法结构明确、类似数学语言的描述,算法设计人员通过PLPRE能够实现重加密算法快捷、方便的描述,并通过解析工具最终产生与之对应的计算机编程语言代码。首先介绍了PLPRE的语法规范,给出了关键字、程序逻辑的定义,并以ACC-PRE算法为基础,给出了PLPRE的描述示例,其次描述了基于ANTLR工具的PLPRE的解析与实现流程,最后通过与相关工作的对比,阐述了PLPRE的优势。PLPRE的描述不需要关注数据结构、内存管理等问题,适用于不熟悉计算机编程的密码学家的描述算法,从而降低代理重加密算法研究中的设计与实现偏差。 展开更多

关键词 代理重加密 领域专用语言 ANTLR 算法描述 密码算法实现

在线阅读 下载PDF 职称材料

一种基于DSL的服务组合语言 被引量：3

8

作者 胡海涛 刘颖 《计算机工程》 CAS CSCD 北大核心 2011年第9期107-109,共3页

针对大规模并发应用在组合服务中的服务调度问题,设计一种基于领域专用语言的服务组合语言,给出该语言的主要功能、构造过程和语言执行引擎的详细设计。该语言提供对Web服务组合过程的语义和语法描述,采用自顶向下的组合方式,能解决Web... 针对大规模并发应用在组合服务中的服务调度问题,设计一种基于领域专用语言的服务组合语言,给出该语言的主要功能、构造过程和语言执行引擎的详细设计。该语言提供对Web服务组合过程的语义和语法描述,采用自顶向下的组合方式,能解决Web服务组合过程中的组合粒度控制和异构消息匹配等问题。 展开更多

关键词 面向服务架构 领域专用语言 企业服务总线 组合引擎

在线阅读 下载PDF 职称材料

一种包解析器硬件配置描述语言及其编译结构 被引量：1

9

作者 李璜华 李凌 +2 位作者 赵宇 王生原 李翔宇 《软件学报》 EI CSCD 北大核心 2020年第8期2285-2308,共24页

设计了一种用于实现可重构网络数据包解析器的专用硬件配置描述语言P3.由于要有利于高安全等级网络的实现,侧重于从高可信性角度进行语言设计,包括形式化定义该语言的类型系统和操作语义,以及设计其可信编译结构.基于对可重构硬件基本... 设计了一种用于实现可重构网络数据包解析器的专用硬件配置描述语言P3.由于要有利于高安全等级网络的实现,侧重于从高可信性角度进行语言设计,包括形式化定义该语言的类型系统和操作语义,以及设计其可信编译结构.基于对可重构硬件基本需求的充分理解,从软硬件协同角度出发,最终明确了P3语言的核心特性及其编译器P3C的可信编译结构.由于可重构数据包解析器是软件定义网络(SDN)、可编程数据平面的重要一环,因此,实现P3C的可信编译结构将对SDN的安全性具有重大意义.期待P3C项目的开展能够促进网络与形式化领域相关工作的进一步研究. 展开更多

关键词 领域专用语言 可重构数据包解析器 形式语义 可信编译 软件定义网络

在线阅读 下载PDF 职称材料

化学教师应加强语言文字修养 被引量：1

10

作者 江雷杰 《化学教学》 CAS 北大核心 1992年第3期25-27,共3页

师生之间信息的传递是教学过程的重要方面,而这种信息的传递是以语言为载体的。教师能否掌握语言的艺术,直接影响着教学效果。苏霍姆林斯基说“教师的语言修养在很大程度上决定着学生在课堂上的脑力劳动的效率”。作为人类灵魂工程师的... 师生之间信息的传递是教学过程的重要方面,而这种信息的传递是以语言为载体的。教师能否掌握语言的艺术,直接影响着教学效果。苏霍姆林斯基说“教师的语言修养在很大程度上决定着学生在课堂上的脑力劳动的效率”。作为人类灵魂工程师的教师,也应该是塑造学生语言美的工程师。化学教学语言,除了口语、书面语以外,还有专用语言化学用语。它要求做到读准、写对、通俗易懂、形象生动、合乎文法、逻辑严密.实践表明。 展开更多

关键词 化学教师 语言文字修养 语言美 语言艺术 人类灵魂工程师 语言修养 霍姆林斯基 专用语言 中学化学教学 教学过程

在线阅读 下载PDF 职称材料

对语言实验室的探讨及应用微机控制系统的研究

11

作者 赵震宇 王彬 《电化教育研究》 1987年第4期70-73,共4页

八十年代以来,国外语言实验室及录音设备都配备了微机控制,其优越性是众所周知的。这里仅就目前外国语言实验室的特点、我国外语教学所需语言实验室的类型及引进先进技术应该注意的问题,分别叙述,并谈谈个人对专用语言实验室的微型计算... 八十年代以来,国外语言实验室及录音设备都配备了微机控制,其优越性是众所周知的。这里仅就目前外国语言实验室的特点、我国外语教学所需语言实验室的类型及引进先进技术应该注意的问题,分别叙述,并谈谈个人对专用语言实验室的微型计算机控制系统的探索。一、目前国外语言实验室的特点在考察国外索尼、松下、菲利蒲等公司产品的同时,作者主要研究了日本松下公司的'WE—7500'、'WE—7700'型和挪成的'TANDBERG—IS9'型。'WE—7700' 展开更多

关键词 语言实验室 微机控制系统 日本松下公司 外语教学 录音设备 专用语言 八十年代 大学外语 主控台 菲利

在线阅读 下载PDF 职称材料

基于模型驱动的密码算法可视化开发平台研究 被引量：1

12

作者 肖超恩 刘昌俊 +2 位作者 董秀则 王建新 张磊 《密码学报（中英文）》 CSCD 北大核心 2024年第2期357-370,共14页

针对密码算法开发平台普适性差、无法跨平台的问题,本文采用模型驱动实现密码算法开发的方法,设计了一种基于模型驱动的密码算法可视化开发平台,提出了一种基于模型驱动的密码算法开发的领域语言—MCL密码元语言;实现了基于模型的代码... 针对密码算法开发平台普适性差、无法跨平台的问题,本文采用模型驱动实现密码算法开发的方法,设计了一种基于模型驱动的密码算法可视化开发平台,提出了一种基于模型驱动的密码算法开发的领域语言—MCL密码元语言;实现了基于模型的代码生成器和代码映射器.实验证明,该开发平台仅需要开发者拖拽图形块的操作就可以实现密码算法模型的建立,然后平台可以根据建立的密码算法模型生成不同编程环境下的代码.平台实现了C和python的代码映射器模块,密码算法模型可快速映射为C、python代码.平台有较好的实用性,开发者的密码算法实现过程简洁、高效,不同编程环境下的代码均可以通过平台自动生成,提高了密码算法实现的跨平台性. 展开更多

关键词 密码算法实现 模型驱动 领域专用语言(DSL) 代码生成技术

在线阅读 下载PDF 职称材料

浅谈文字语言与视觉语言的异同

13

作者 程颖婷 《电影评介》 2014年第7期74-77,共4页

在这个被亚历山大·阿斯特吕克称为“摄影机是自来水笔”的时代,文学与影视之间的关系,一直是人们探讨的焦点.虽然它们分属于的不同艺术范畴,然而在语言的角度上,文字语言与视觉语言却存在着密切的联系. 一、文字语言与视觉语言的... 在这个被亚历山大·阿斯特吕克称为“摄影机是自来水笔”的时代,文学与影视之间的关系,一直是人们探讨的焦点.虽然它们分属于的不同艺术范畴,然而在语言的角度上,文字语言与视觉语言却存在着密切的联系. 一、文字语言与视觉语言的差异性 文字语言是一种以文字为中心的理性主义形态,而视觉语言则是一种以图像为中心的感性主义形态.作为两种不同的艺术语言,无论在其构成要素、表达效果、表现的手法与技巧,思维逻辑还是在审美方式上,都存在着各自的特点. 展开更多

关键词 蒙太奇 文字 摄影机 自来水笔 线索 插叙 摄影设备 钢笔 插笔 叙述 视觉语言 专用语言 电影画面 镜头 阿斯特吕克

在线阅读 下载PDF 职称材料

模板运算代码的自动生成与调优框架

14

作者 刘金硕 文尧 《计算机工程》 CAS CSCD 北大核心 2024年第6期35-47,共13页

针对现有模板代码生成方法不支持多图形处理器(GPU)、调优不充分等问题,提出一种由领域专用语言(DSL)描述的模板代码的自动生成与调优框架。在代码自动生成阶段,该框架能够自动解析上层提供的描述语言,构建计算图进而生成模板运算的统... 针对现有模板代码生成方法不支持多图形处理器(GPU)、调优不充分等问题,提出一种由领域专用语言(DSL)描述的模板代码的自动生成与调优框架。在代码自动生成阶段,该框架能够自动解析上层提供的描述语言,构建计算图进而生成模板运算的统一计算设备架构(CUDA)核函数,同时根据单GPU或多GPU环境生成不同的主机端代码。在代码调优阶段,根据不同的GPU型号确定候选参数范围,动态调用生成的CUDA核函数以确定最优参数。在多GPU的情况下,自动生成的主机端代码能够使用计算与通信重叠的方法进行边界数据交换。在4种不同的GPU与7、13、19、27点模板运算中,该框架能找到最优的参数配置。实验结果表明,对于Tesla V100-SXM2,以调优过的参数进行模板运算,该框架在单精度4种模板运算下的每秒万亿次浮点运算数(TFLOPs)分别为1.230、1.680、1.120、1.480,在双精度下分别为0.690、1.010、0.480、1.470,平均性能达到手工优化代码的98%,并且描述更简单,支持多GPU扩展。 展开更多

关键词 模板运算 统一计算设备架构 计算图 领域专用语言 代码生成 自动调优

在线阅读 下载PDF 职称材料

地理信息软件自动生成系统 被引量：3

15

作者 周艳明 廖湖声 +1 位作者 王晋强 郑玉明 《计算机工程》 CAS CSCD 北大核心 2003年第11期46-48,共3页

为了加强GIS应用系统开发过程的集成,提供一致的数据表示和统一的界面描述, 文章提出了一种新型的地理信息软件自动生成系统GBuilder?用GBuilder可以快速开发一个 完整的GIS应用系统,加强了GIS应用系统开发过程的集成,提高了开发效率,... 为了加强GIS应用系统开发过程的集成,提供一致的数据表示和统一的界面描述, 文章提出了一种新型的地理信息软件自动生成系统GBuilder?用GBuilder可以快速开发一个 完整的GIS应用系统,加强了GIS应用系统开发过程的集成,提高了开发效率,加强了软件过 程的复用,为GIS软件开发提供了新的方法与工具? 展开更多

关键词 应用生成器 地理信息系统 领域专用语言 可视化编程 软件复用

在线阅读 下载PDF 职称材料

基于DSL的装备保障领域建模 被引量：3

16

作者 王金全 郑宇军 王侃 《计算机工程》 CAS CSCD 北大核心 2008年第2期66-68,71,共4页

基于领域专用语言构建了装备保障领域的元模型,描述了实体、关系、行为、约束、流程等基本要素,在该模型中,二次开发人员能够方便地对该领域的各类软件系统进行建模,并通过模型精化来自动生成最终的可执行系统。实验证明,该模型是有效的。

关键词 需求工程 领域专用语言 装备保障 模型转换

在线阅读 下载PDF 职称材料

面向深度学习算子的循环不变式外提算法 被引量：1

17

作者 梁佳利 华保健 +1 位作者 吕雅帅 苏振宇 《计算机科学与探索》 CSCD 北大核心 2023年第1期127-139,共13页

TVM是一个深度学习编译器,支持将TVM的领域专用语言即张量表达式定义的算子编译生成目标平台的代码,并在高级中间表示TVM IR上进行一系列优化。张量表达式对算子执行循环变换,产生与循环迭代变量相关的复杂表达式的计算,在多层嵌套循环... TVM是一个深度学习编译器,支持将TVM的领域专用语言即张量表达式定义的算子编译生成目标平台的代码,并在高级中间表示TVM IR上进行一系列优化。张量表达式对算子执行循环变换,产生与循环迭代变量相关的复杂表达式的计算,在多层嵌套循环内这些计算包含了大量的循环不变式。然而,传统的循环不变量外提技术不能判断不变量外提是否能带来额外收益,无法发现操作数顺序不同的循环不变表达式,不能处理嵌套的条件表达式,并且与目标平台编译器优化存在冲突等。由于这些挑战,传统的循环不变量外提算法无法直接用于深度学习编译器的优化,提出了一种融合深度学习代价函数和启发式策略的循环不变量外提算法。该算法基于深度学习编译器的高层中间表示,通过调整操作数顺序和简化嵌套条件表达式等方法规范化表达式。为了衡量优化的收益,在结合TVM IR和目标平台的特点的基础上,提出了一个新的面向深度学习的不变式外提代价指标函数。在开源编译器TVM 0.7版本上,通过新增优化遍的形式,具体实现了所介绍的算法以及代价函数。为评测算法的有效性,在Tesla P4的图形处理器(GPU)平台上对TVM TOPI的测试算子集中27个典型算子不同输入规模的511个测例进行了测试。实验结果表明47.6%的算子性能得到提升,最大加速比大于40.0%。 展开更多

关键词 深度学习编译器 领域专用语言 循环不变量外提 中间表示

在线阅读 下载PDF 职称材料

一种新的GP-IB控制语句的开发

18

作者 吕勇军 马怀俭 《哈尔滨电工学院学报》 CSCD 1990年第1期28-33,共6页

本文介绍了一种新的GP-IB标准接口控制器专用语句,这种语句是在对大量现有控制语句进行研究的基础上开发出来的.文中还列举了一些其它类型控制器的控制语句,并将本控制语句与其进行比较,说明了本语句具有的特点.

关键词 计算机 GP-IB 接口 专用语言

在线阅读 下载PDF 职称材料

返璞归真——HP Designjet 500 Mono

19

作者 赫建忠 杨林云 《测绘通报》 CSCD 北大核心 2006年第10期4-4,共1页

关键词 DESIGNJET 计算机辅助设计技术 HP 工程图纸 工程技术人员 专用语言 打印输出 施工现场

在线阅读 下载PDF 职称材料

我的广告设计点滴

20

作者 唐戍鸣 《艺苑（美术版）》 1986年第4期64-66,共3页

在现代科学、技术、文化、经济高度发展的"信息社会"中,设计一个新奇而合理,敏捷而有效的感知形式,从而使观者获得一个成功的广告形象,这是我在广告设计练习中所刻意追求的。广告心理学为我们提供了科学的依据,它包括了诱导... 在现代科学、技术、文化、经济高度发展的"信息社会"中,设计一个新奇而合理,敏捷而有效的感知形式,从而使观者获得一个成功的广告形象,这是我在广告设计练习中所刻意追求的。广告心理学为我们提供了科学的依据,它包括了诱导的原理、过程,及各种广告诉诸的方法和消费者的反应。本文论述的只是广告心理活动过程中感知、注意、记忆(联想)这一认识活动过程的原理在我的广告设计练习中的应用。 展开更多

关键词 广告设计 练习 记忆 异质性 构成要素 消费者 信息传递 情报传递 商品 广告形象 视觉语言 专用语言 视觉效果

在线阅读 下载PDF 职称材料