期刊文献+
共找到15篇文章
< 1 >
每页显示 20 50 100
基于P4的可编程数据平面研究及其应用 被引量:28
1
作者 林耘森箫 毕军 +4 位作者 周禹 张程 吴建平 刘争争 张乙然 《计算机学报》 EI CSCD 北大核心 2019年第11期2539-2560,共22页
可编程协议无关报文处理(Programming Protocol-Independent Packet Processors,P4)使网络管理员能够定制交换机的数据包转发行为,提升了数据平面的可编程能力与报文处理的灵活性,从而很容易实现新功能、支持新协议,减少了开发周期与开... 可编程协议无关报文处理(Programming Protocol-Independent Packet Processors,P4)使网络管理员能够定制交换机的数据包转发行为,提升了数据平面的可编程能力与报文处理的灵活性,从而很容易实现新功能、支持新协议,减少了开发周期与开发成本,为解决当前网络体系结构中长期存在的挑战以及设计新型数据平面功能提供了一种新的解决方案.并且,将一些原本由中间件实现的网络功能、端服务器实现的应用卸载到可编程数据平面上,还能获得可观的性能收益,提升网络与应用的整体表现.本文首先概述了可编程数据平面的发展历史与P4的研究背景.接着,本文介绍了P4语言及其架构,包括P4语言的设计目标、P4抽象转发模型、工作流程、P4语法要素.然后,本文总结了目前P4语言在语法、功能、标准规范等方面存在的问题,并将P4语言与其他数据平面编程语言进行了简要对比.之后,本文介绍了基于P4的可编程数据平面的最新研究进展,包括对异构平台的兼容、编译器的设计和优化、开发工具的设计和实现等方面.此外,本文从负载均衡、网络测量、网络安全等方面展现了学术界与工业界基于P4与可编程数据平面作出的应用成果.紧接着,本文探讨了满足什么条件的网络功能与终端应用才应该被卸载到数据平面上执行,为读者今后的研究提供参考.最后,本文探讨了未来P4研究工作的趋势与亟待解决的若干问题. 展开更多
关键词 软件定义网络(SDN) 可编程协议无关报文处理(P4) 可编程数据平面 领域特定语言(dsl) 编译器
下载PDF
基于元建模的雷达电子战仿真语言研究与应用 被引量:8
2
作者 张鸿喜 张静瑜 +1 位作者 张志勇 何浩 《系统仿真学报》 CAS CSCD 北大核心 2012年第2期269-274,共6页
基于元建模技术的领域建模语言(DSL)及其支撑环境可以大幅度提高软件的开发效率和可维护性。基于面向领域的设计思想,提出了雷达电子战仿真语言的技术架构,包括服务层、工具层、模型层和应用层;设计了支持模型开发全过程的六级建模机制... 基于元建模技术的领域建模语言(DSL)及其支撑环境可以大幅度提高软件的开发效率和可维护性。基于面向领域的设计思想,提出了雷达电子战仿真语言的技术架构,包括服务层、工具层、模型层和应用层;设计了支持模型开发全过程的六级建模机制和相应的模型功能体系。结合应用实例介绍了雷达电子战建模语言的实现方法,开发了支持多类型代码自动生成的模型解析器;采用信息总线和计算总线相结合的方法,实现了模型驱动平台。最后对该仿真语言的应用特征作了介绍。 展开更多
关键词 元建模 元模型 雷达电子战 领域建模语言(dsl) 模型驱动架构(MDA)
下载PDF
模板运算代码的自动生成与调优框架
3
作者 刘金硕 文尧 《计算机工程》 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
面向复杂系统需求分析的DSL构建 被引量:3
4
作者 廖万斌 曹云峰 王新尧 《系统工程与电子技术》 EI CSCD 北大核心 2022年第11期3443-3454,共12页
在航空航天领域,系统的复杂度快速增长,这对基于模型的系统工程的开展带来巨大的挑战,尤以复杂系统的需求分析为甚。需求分析过程缺乏针对性的支持模型的工具。针对基于模型的系统工程中的这一问题,根据领域建模的思想,引入领域特定语言... 在航空航天领域,系统的复杂度快速增长,这对基于模型的系统工程的开展带来巨大的挑战,尤以复杂系统的需求分析为甚。需求分析过程缺乏针对性的支持模型的工具。针对基于模型的系统工程中的这一问题,根据领域建模的思想,引入领域特定语言(domain specific language, DSL)的概念,提出一种构建DSL进行需求分析的方法,并针对基于模型的系统工程(model based system engineering, MBSE)中需求分析的需要构建相应的DSL。首先,从基于模型的系统工程方法论角度,对工程应用中的需求捕获与分解进行了分析;接着,通过扩展后的GOPPRR(graph object property port role relationship)元元模型依据需要,构建了DSL的具体语法与语义;最后,以具体的系统为例与系统建模语言分析方法做出了对比。结果表明,所构建的DSL在进行复杂系统的需求分析与建模时,与实际需要契合,在各个环节都具有针对性强、形式化的优点,有利于保证需求分析与建模工作的正确性。 展开更多
关键词 需求分析 领域特定语言 基于模型的系统工程
下载PDF
面向智能合约的可编程自然语言设计 被引量:2
5
作者 马骋原 李晓辉 汪涵 《电子设计工程》 2020年第4期10-15,22,共7页
智能合约是一个跨学科的概念,创建智能合约需要将参与方协商达成一致的结果编译成计算机可执行代码。在这一过程中,需要考虑法律和金融等专家与程序员沟通问题、合约代码与法律对接的问题、代码逻辑安全性问题及智能合约语言表达能力等... 智能合约是一个跨学科的概念,创建智能合约需要将参与方协商达成一致的结果编译成计算机可执行代码。在这一过程中,需要考虑法律和金融等专家与程序员沟通问题、合约代码与法律对接的问题、代码逻辑安全性问题及智能合约语言表达能力等问题。本研究提出了自然语言设计DSL,通过设计智能合约的规约语言,达到了保留自然语言的可读性、规范书写方式、增强语义明确性,能自动转化到智能合约编程语言的目的。并通过研究对比得出自然语言DSL在不违反确定性的情况下可以提高可读性和安全可解析性的结论。 展开更多
关键词 程序设计及其语言 智能合约 领域特定语言(dsl) 协作开发 规范语言设计
下载PDF
一种基于DSL的服务组合语言 被引量:3
6
作者 胡海涛 刘颖 《计算机工程》 CAS CSCD 北大核心 2011年第9期107-109,共3页
针对大规模并发应用在组合服务中的服务调度问题,设计一种基于领域专用语言的服务组合语言,给出该语言的主要功能、构造过程和语言执行引擎的详细设计。该语言提供对Web服务组合过程的语义和语法描述,采用自顶向下的组合方式,能解决Web... 针对大规模并发应用在组合服务中的服务调度问题,设计一种基于领域专用语言的服务组合语言,给出该语言的主要功能、构造过程和语言执行引擎的详细设计。该语言提供对Web服务组合过程的语义和语法描述,采用自顶向下的组合方式,能解决Web服务组合过程中的组合粒度控制和异构消息匹配等问题。 展开更多
关键词 面向服务架构 领域专用语言 企业服务总线 组合引擎
下载PDF
基于DSL优化脑瘫康复智能训练系统 被引量:1
7
作者 卢振利 王红 +9 位作者 马志鹏 沈玄霖 Marko Pencic 刘燕 单长考 赵宇 Roumiana Ilieva Tomaz Kosar Marjan Horvat Marjan Mernik 《高技术通讯》 CAS 2021年第7期773-780,共8页
本文针对脑瘫患儿差异化康复训练方案难于定制的问题,基于领域特定语言(DSL)优化了脑瘫康复系统架构。根据专家给出的脑瘫患儿训练计划,在Eclipse平台的Xtext构建了控制机械手完成手势动作所需要的领域模型,并且完成了对该领域模型的实... 本文针对脑瘫患儿差异化康复训练方案难于定制的问题,基于领域特定语言(DSL)优化了脑瘫康复系统架构。根据专家给出的脑瘫患儿训练计划,在Eclipse平台的Xtext构建了控制机械手完成手势动作所需要的领域模型,并且完成了对该领域模型的实现,将其成功用于机械手辅助脑瘫康复动作训练系统中,使得理疗师等非编程技术人员能够为脑瘫患儿康复定制训练方案。 展开更多
关键词 脑瘫 康复训练 领域特定语言(dsl) 智能系统
下载PDF
火星环绕器基于DSL自主管理设计方法
8
作者 张海 邹亿 +2 位作者 张旭光 赵桥 何春黎 《上海航天(中英文)》 CSCD 2022年第S01期116-124,共9页
火星环绕器飞行距离远,器地通信时延长,无法依靠传统地面站操控来满足实时性、安全性、可靠性要求,往往需要自主管理,自主对环绕器自身能力和状态的感知和决策,形成指令执行序列。因此针对自主管理的知识建模成为研究热点,首先分析了火... 火星环绕器飞行距离远,器地通信时延长,无法依靠传统地面站操控来满足实时性、安全性、可靠性要求,往往需要自主管理,自主对环绕器自身能力和状态的感知和决策,形成指令执行序列。因此针对自主管理的知识建模成为研究热点,首先分析了火星环绕器自主管理的软件需求,提出了综合电子基于软总线分层构件化的软件体系结构,设计了一种自主管理领域专用语言(DSL),用于描述多分系统间基于“时间约束和资源约束”的复杂执行序列,同时实现了一种自主管理程控解释器,用于综合电子软件对DSL描述的知识库自主执行;其次为了提高软件开发效率,避免领域专家理解歧义,开发基于DSL的自主管理代码生成器,实现从自主管理DSL知识建模到源代码生成;最后选取典型的应用场景“环绕器与巡视器UHF中继通信”和“两器分离自主程控”,验证了自主管理DSL描述能力和代码生成器效果。结果表明:该DSL在表达能力、执行效率和可靠性安全性方面具优势,已在火星环绕器在轨成功应用,对未来深空探测任务规划设计具有借鉴和参考意义。 展开更多
关键词 火星环绕器 自主管理 领域特定语言(dsl) 代码自动生成 程控解释器
下载PDF
基于领域相关语言的拒绝服务攻击描述语言设计 被引量:1
9
作者 祝宁 张永福 陈性元 《计算机应用》 CSCD 北大核心 2012年第1期20-24,共5页
鉴于抗攻击测试对攻击操作可信、可控、有效的基本要求,面向拒绝服务(DoS)攻击实现,基于领域相关语言(DSL)的思想,设计简单快速实现测试用例的DoS攻击描述语言(DASL)。通过定义攻击元,并基于对样本的分析设计构造语言的领域相关语法元素... 鉴于抗攻击测试对攻击操作可信、可控、有效的基本要求,面向拒绝服务(DoS)攻击实现,基于领域相关语言(DSL)的思想,设计简单快速实现测试用例的DoS攻击描述语言(DASL)。通过定义攻击元,并基于对样本的分析设计构造语言的领域相关语法元素;利用LIBNET实现语言的语义功能函数;以ANTLR为支撑,设计实现语言的解释环境。实验验证表明,利用该语言构建DoS攻击,在保证功能有效、过程可控的前提下,能够大幅降低DoS攻击开发过程的复杂程度,减少代码编写量,提高开发效率。该语言的建立,确保了抗攻击测试过程中DoS攻击操作的基本要求,为实施DoS攻击渗透测试的提供了有力保障。 展开更多
关键词 抗攻击测试 领域相关语言 拒绝服务攻击描述语言 原子攻击 攻击元
下载PDF
一种移动平台儿童教育游戏的最终用户编程语言 被引量:1
10
作者 胡征宇 沈备军 《计算机应用》 CSCD 北大核心 2015年第2期540-544,共5页
针对现有移动教育游戏无法满足快速增长的移动教育需求这个问题,利用领域工程的方法和最终用户编程(EUP)的技术,研究和设计了一种最终用户编程语言Kids。首先通过对移动平台儿童教育领域进行分析识别出儿童教育游戏的游戏元素,在此基础... 针对现有移动教育游戏无法满足快速增长的移动教育需求这个问题,利用领域工程的方法和最终用户编程(EUP)的技术,研究和设计了一种最终用户编程语言Kids。首先通过对移动平台儿童教育领域进行分析识别出儿童教育游戏的游戏元素,在此基础上对该领域进行特征的提取,得到该领域的特征模型。Kids语言以特征模型为基础进行设计,能够允许老师和家长为学龄前的儿童编写移动教育游戏。同时,开发了一个Kids的编程工具,包括可视化编辑器和代码生成引擎。该工具能够支持用户更加有效地使用Kids进行可视化编程,并自动生成Android代码。实验结果表明,Kids相比其他通用语言更加简洁,大部分最终用户能够很好地利用Kids开发工具开发出简单的儿童教育游戏。 展开更多
关键词 最终用户编程 游戏教育 领域特定语言 可视化编程 代码生成
下载PDF
基于MetaEdit+的领域建模语言研究与应用
11
作者 朱保锋 席红旗 《计算机测量与控制》 北大核心 2013年第8期2274-2277,共4页
元建模与领域建模以及MDA相结合,可实现一种高效的基于模型的仿真软件开发,在分析元建模实现框架和元元模型构造方式的基础上,以雷达设备建模语言为例,从抽象语法、具体语法和语义三个方面介绍了基于MetaEdit+的领域建模语言设计与实现... 元建模与领域建模以及MDA相结合,可实现一种高效的基于模型的仿真软件开发,在分析元建模实现框架和元元模型构造方式的基础上,以雷达设备建模语言为例,从抽象语法、具体语法和语义三个方面介绍了基于MetaEdit+的领域建模语言设计与实现方法,并在此基础上建立了雷达设备仿真模型;应用表明,领域建模语言的使用可使得系统应用人员和开发人员的工作彻底分离,有效提高仿真软件的开发效率和模型的可重用性。 展开更多
关键词 MetaEdit+ 领域建模语言(dsl) 雷达设备 元建模 元模型 模型驱动架构(MDA)
下载PDF
面向不可移动文物自然灾害风险图生成的领域特定语言 被引量:1
12
作者 胡轶涵 杜金莲 +1 位作者 苏航 高红雨 《计算机应用》 CSCD 北大核心 2024年第1期152-158,共7页
针对当前不可移动文物自然灾害风险图生成领域需求快速增长、经常变更,而现有程序及工具无法满足实际使用需要的问题,提出了一种构建语义模型的方法,在语义模型的基础之上,为不可移动文物领域专家设计了一种贴近自然语言的领域特定语言(... 针对当前不可移动文物自然灾害风险图生成领域需求快速增长、经常变更,而现有程序及工具无法满足实际使用需要的问题,提出了一种构建语义模型的方法,在语义模型的基础之上,为不可移动文物领域专家设计了一种贴近自然语言的领域特定语言(DSL)。首先,通过对不可移动文物本体各项指标数据、风险图生成方法和流程进行深入研究,提取出业务模型。之后,通过分析业务模型,抽象出风险值计算规则的元计算单元,构建语义模型。在此基础之上,设计出一种可表述语义模型中所有语义的领域特定语言。该语言脚本可由领域专家自行编写,能快速高效地生成风险图,且易于扩展,满足需求经常变更的要求。与目前国内外主流的通过地理信息系统(GIS)方法生成风险图相比,利用DSL生成风险图可缩短66.7%以上的工作时长。 展开更多
关键词 领域特定语言 语义模型 领域抽象 风险图 不可移动文物
下载PDF
基于DSL的装备保障领域建模 被引量:3
13
作者 王金全 郑宇军 王侃 《计算机工程》 CAS CSCD 北大核心 2008年第2期66-68,71,共4页
基于领域专用语言构建了装备保障领域的元模型,描述了实体、关系、行为、约束、流程等基本要素,在该模型中,二次开发人员能够方便地对该领域的各类软件系统进行建模,并通过模型精化来自动生成最终的可执行系统。实验证明,该模型是有效的。
关键词 需求工程 领域专用语言 装备保障 模型转换
下载PDF
DSL方法实现FMP-PIM到MVC-PSM的转换
14
作者 沈慧勇 万建成 侯金奎 《山东大学学报(工学版)》 CAS 2006年第5期58-61,69,共5页
DSL方法是改进软件开发(重用性,可维护性等)的有效途径.使用MTrans-DSL形式化描述模型驱动构架(MDA)中模型的转换规则,实现平台无关模型到特定平台模型的转换.以JavaServer Faces作为目标平台,通过具体的应用实例验证了该方法的可行性... DSL方法是改进软件开发(重用性,可维护性等)的有效途径.使用MTrans-DSL形式化描述模型驱动构架(MDA)中模型的转换规则,实现平台无关模型到特定平台模型的转换.以JavaServer Faces作为目标平台,通过具体的应用实例验证了该方法的可行性和易用性.DSL方法体现了模型驱动开发的特点,提升了转换规则的抽象层次. 展开更多
关键词 域相关语言(dsl) 平台无关模型(PIM) 平台相关模型(PSM) 转换规则
下载PDF
R2GPipe:一种从关系到属性图的声明式数据管道
15
作者 陈于思 孙林夫 《计算机工程》 CAS CSCD 北大核心 2019年第9期8-16,共9页
为充分利用新兴图系统探索关系数据库中实体或对象之间的隐式互联结构,将关系数据转换为图数据,设计并实现一个数据管道工具R2GPipe。给出一种简洁的声明式领域特定语言,指定关系元素和图元素之间的对应关系。用户根据分析需求以声明式... 为充分利用新兴图系统探索关系数据库中实体或对象之间的隐式互联结构,将关系数据转换为图数据,设计并实现一个数据管道工具R2GPipe。给出一种简洁的声明式领域特定语言,指定关系元素和图元素之间的对应关系。用户根据分析需求以声明式的方法使用R2G映射语言编写从关系到属性图的映射。R2GPipe通过解析R2G映射语言,生成向源系统和目标系统发送的代码。应用数据集TPC-H进行案例研究,将关系数据建模为图数据,以测试R2GPipe的扩展性,结果表明,随着转换数据规模的增加,R2GPipe的整体运行时间呈线性增长。 展开更多
关键词 属性图 图构建 领域特定语言 关系数据 模型转换
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部