领域专用语言

作品数：25被引量：40H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：周艳明谢绒娜欧海文李凤华张英更多>>
相关机构：北京工业大学北京电子科技学院中国科学院大学清华大学更多>>
相关期刊：《航天控制》《计算机科学与应用》《密码学报（中英文）》《信息与电脑》更多>>
相关基金：国家自然科学基金北京市教委科技发展计划北京市自然科学基金教育部科学技术研究重点项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
模板运算代码的自动生成与调优框架
《计算机工程》2024年第6期35-47,共13页刘金硕 文尧 
国家重点研发计划(2020YFA0607900)。
针对现有模板代码生成方法不支持多图形处理器(GPU)、调优不充分等问题,提出一种由领域专用语言(DSL)描述的模板代码的自动生成与调优框架。在代码自动生成阶段,该框架能够自动解析上层提供的描述语言,构建计算图进而生成模板运算的统...
关键词：模板运算 统一计算设备架构 计算图 领域专用语言 代码生成 自动调优 
基于模型驱动的密码算法可视化开发平台研究被引量：1
《密码学报（中英文）》2024年第2期357-370,共14页肖超恩 刘昌俊 董秀则 王建新 张磊 
中央高校基本科研业务费(328202205);北京电子科技学院基本科研业务费优硕培养类课题(328202271)。
针对密码算法开发平台普适性差、无法跨平台的问题,本文采用模型驱动实现密码算法开发的方法,设计了一种基于模型驱动的密码算法可视化开发平台,提出了一种基于模型驱动的密码算法开发的领域语言—MCL密码元语言;实现了基于模型的代码...
关键词：密码算法实现 模型驱动 领域专用语言(DSL) 代码生成技术 
模拟集成电路的系统级建模语言和方法分析
《集成电路应用》2023年第10期1-5,共5页路卢 
国家自然科学基金项目(62141416)。
阐述可以处理复杂约束条件的模拟电路系统级建模领域专用语言和建模方法,该语言包含系统级模型建模所需的语法要素和语法规约,以及语言要素的语义同电路特征的对应关系,并给出将模拟电路元件、拓扑结构以及设计约束作为系统中的组件,以...
关键词：模拟集成电路 系统级模型 建模方法 领域专用语言 
面向深度学习算子的循环不变式外提算法
《计算机科学与探索》2023年第1期127-139,共13页梁佳利 华保健 吕雅帅 苏振宇 
中国科学技术大学研究生教育创新计划项目(2020ycjc41)。
TVM是一个深度学习编译器,支持将TVM的领域专用语言即张量表达式定义的算子编译生成目标平台的代码,并在高级中间表示TVM IR上进行一系列优化。张量表达式对算子执行循环变换,产生与循环迭代变量相关的复杂表达式的计算,在多层嵌套循环...
关键词：深度学习编译器 领域专用语言 循环不变量外提 中间表示 
SFCDSL:一种服务功能链领域专用语言
《小型微型计算机系统》2022年第5期1114-1120,共7页阮宏玮 李华 王显荣 
国家自然科学基金项目(61862047)资助;内蒙古科技计划项目(201802028,2020GG0186)资助;内蒙自然科学基金项目(2018BS06001)资助。
为满足用户服务功能链需求,加快服务功能链编程效率,设计一种面向服务功能链领域的专用语言SFCDSL.从规范化和可扩展性考虑,首先提出SFC抽象化层次框架和SFCDSL编程框架.对于SFCDSL中的服务关系采用基于面向对象设计方法,给出了基于软...
关键词：服务功能链 领域专用语言 形式化 
智能法律合约及其研究进展被引量：11
《工程科学学报》2022年第1期68-81,共14页王迪 朱岩 陈娥 郭倩 李冀宁 孙贻滋 伊然 
国家科技部重点研发计划资助项目(2018YFB1402702);国家自然科学基金资助项目(61972032)。
从智能合约、智能法律合约等概念入手,依据现行法律条目的要求对智能合约法律化问题进行探讨,指出智能合约法律化需满足文法要求、非赋权原则、审查准则三个基本规则,并以典型智能法律合约语言SPESC、CML为实例剖析了其法律效力,辨析使...
关键词：智能法律合约 领域专用语言 数据电文 法律化原则 区块链 
一种用于飞行诸元定义、表示的领域专用语言被引量：3
《航天控制》2020年第5期50-53,共4页安占新 任慧敏 许传明 王晓玲 
提出了一种用于飞行诸元定义、表示的领域专用语言(DSL,DomainSpecific Language),使用巴科斯范式(BNF,Backus-Naur Form)描述语法规则,定义诸元的数据类型、数目、类别、数值及约束条件。在此基础上,研制了由解析器等模块组成的诸元自...
关键词：飞行诸元 领域专用语言 巴科斯范式 解析器 
一种包解析器硬件配置描述语言及其编译结构被引量：1
《软件学报》2020年第8期2285-2308,共24页李璜华 李凌 赵宇 王生原 李翔宇 
核高基国家科技重大专项(2017ZX01030-301-003)。
设计了一种用于实现可重构网络数据包解析器的专用硬件配置描述语言P3.由于要有利于高安全等级网络的实现,侧重于从高可信性角度进行语言设计,包括形式化定义该语言的类型系统和操作语义,以及设计其可信编译结构.基于对可重构硬件基本...
关键词：领域专用语言 可重构数据包解析器 形式语义 可信编译 软件定义网络 
密码领域专用语言研究被引量：2
《计算机科学与应用》2019年第1期157-165,共9页范明钰 何新民 
公安部重点实验室金(C18605);863面上(2009AA01Z435);863重大(2009AA01Z403);自然科学基金青年(60272091);自然科学基金面上(60373109);重点实验室开放基金(20120316)资助.
现有的通用编程语言,对于初学者来说,即使是编写简单循环结构的也有难度。为了使专业人员将工作重心集中在应用程序逻辑/业务模型上,领域专用编程语言(DSL)得到广泛应用。本文分析DSL的原理和方法,维护性问题;介绍一款国内首次提出的密...
关键词：信息安全 DSL PCL 密码领域专用语言 Cryptol DSL 
基于C语言的自定制脚本语言设计与研究
《信息与电脑》2018年第13期60-61,共2页葛晓玢 刘杰 黄河 
2017铜陵职业技术学院科研重点项目"基于网络爬虫的Web漏洞扫描的研究与设计"(项目编号:tlpt2017NK002);2016安徽省教研一般项目"‘基于以赛促改;以赛促练;以赛促教;以赛促学’协同的高职网络技术专业实践教学模式构建与实施’"(项目编号:2016jyxm1063)
诸多复杂问题,可利用编程的方式解决,现阶段编程语言的功能已越来越强大,但是在某些领域,利用编程语言仍然不能较好解决问题,或解决方法不够便捷,因此,需要对编程语言进行研究,从而达到有效解决问题的目的。
关键词：C语言 自定制脚本 语言设计 领域专用语言 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部