一种用于飞行诸元定义、表示的领域专用语言 被引量：3

1

作者 安占新 任慧敏 +1 位作者 许传明 王晓玲 《航天控制》 CSCD 北大核心 2020年第5期50-53,共4页

提出了一种用于飞行诸元定义、表示的领域专用语言(DSL,DomainSpecific Language),使用巴科斯范式(BNF,Backus-Naur Form)描述语法规则,定义诸元的数据类型、数目、类别、数值及约束条件。在此基础上,研制了由解析器等模块组成的诸元自... 提出了一种用于飞行诸元定义、表示的领域专用语言(DSL,DomainSpecific Language),使用巴科斯范式(BNF,Backus-Naur Form)描述语法规则,定义诸元的数据类型、数目、类别、数值及约束条件。在此基础上,研制了由解析器等模块组成的诸元自动生成系统,将飞行诸元由文本文件转化为目标处理器能够识别的二进制格式数据文件。通过这种语言定义、表示飞行诸元,火箭不仅实现了诸元自动生成,还可以对诸元进行合理性检查,支持多目标处理器以及飞行诸元的灵活扩展,提高了可靠性和效率。 展开更多

关键词 飞行诸元 领域专用语言 巴科斯范式 解析器

在线阅读 下载PDF 职称材料

基于领域专用语言的数据帧解析研究

2

作者 龙昱程 马卫东 《电子设计工程》 2015年第10期130-132,137,共4页

测控系统中存在着大量的通信协议和二进制数据,不同的协议使用不同的数据帧格式,为了能够有效地判断数据的正确性,需要对数据帧进行解析。讨论了使用领域专用语言的方法实现定制不同的数据帧解析策略,使数据帧的解析和处理具有通用性和... 测控系统中存在着大量的通信协议和二进制数据,不同的协议使用不同的数据帧格式,为了能够有效地判断数据的正确性,需要对数据帧进行解析。讨论了使用领域专用语言的方法实现定制不同的数据帧解析策略,使数据帧的解析和处理具有通用性和扩展性。 展开更多

关键词 领域专用语言 数据帧 词法分析 语法分析

在线阅读 下载PDF 职称材料

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

3

作者 李凤华 阎军智 +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

4

作者 苏铓 俞研 +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优化脑瘫康复智能训练系统 被引量：1

5

作者 卢振利 王红 +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 职称材料

面向智能合约的可编程自然语言设计 被引量：3

6

作者 马骋原 李晓辉 汪涵 《电子设计工程》 2020年第4期10-15,22,共7页

智能合约是一个跨学科的概念,创建智能合约需要将参与方协商达成一致的结果编译成计算机可执行代码。在这一过程中,需要考虑法律和金融等专家与程序员沟通问题、合约代码与法律对接的问题、代码逻辑安全性问题及智能合约语言表达能力等... 智能合约是一个跨学科的概念,创建智能合约需要将参与方协商达成一致的结果编译成计算机可执行代码。在这一过程中,需要考虑法律和金融等专家与程序员沟通问题、合约代码与法律对接的问题、代码逻辑安全性问题及智能合约语言表达能力等问题。本研究提出了自然语言设计DSL,通过设计智能合约的规约语言,达到了保留自然语言的可读性、规范书写方式、增强语义明确性,能自动转化到智能合约编程语言的目的。并通过研究对比得出自然语言DSL在不违反确定性的情况下可以提高可读性和安全可解析性的结论。 展开更多

关键词 程序设计及其语言 智能合约 领域特定语言(dsl) 协作开发 规范语言设计

在线阅读 下载PDF 职称材料

火星环绕器基于DSL自主管理设计方法

7

作者 张海 邹亿 +2 位作者 张旭光 赵桥 何春黎 《上海航天（中英文）》 CSCD 2022年第S01期116-124,共9页

火星环绕器飞行距离远,器地通信时延长,无法依靠传统地面站操控来满足实时性、安全性、可靠性要求,往往需要自主管理,自主对环绕器自身能力和状态的感知和决策,形成指令执行序列。因此针对自主管理的知识建模成为研究热点,首先分析了火... 火星环绕器飞行距离远,器地通信时延长,无法依靠传统地面站操控来满足实时性、安全性、可靠性要求,往往需要自主管理,自主对环绕器自身能力和状态的感知和决策,形成指令执行序列。因此针对自主管理的知识建模成为研究热点,首先分析了火星环绕器自主管理的软件需求,提出了综合电子基于软总线分层构件化的软件体系结构,设计了一种自主管理领域专用语言(DSL),用于描述多分系统间基于“时间约束和资源约束”的复杂执行序列,同时实现了一种自主管理程控解释器,用于综合电子软件对DSL描述的知识库自主执行;其次为了提高软件开发效率,避免领域专家理解歧义,开发基于DSL的自主管理代码生成器,实现从自主管理DSL知识建模到源代码生成;最后选取典型的应用场景“环绕器与巡视器UHF中继通信”和“两器分离自主程控”,验证了自主管理DSL描述能力和代码生成器效果。结果表明:该DSL在表达能力、执行效率和可靠性安全性方面具优势,已在火星环绕器在轨成功应用,对未来深空探测任务规划设计具有借鉴和参考意义。 展开更多

关键词 火星环绕器 自主管理 领域特定语言(dsl) 代码自动生成 程控解释器

在线阅读 下载PDF 职称材料

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

8

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

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

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

在线阅读 下载PDF 职称材料

模拟集成电路的系统级建模语言和方法分析

9

作者 路卢 《集成电路应用》 2023年第10期1-5,共5页

阐述可以处理复杂约束条件的模拟电路系统级建模领域专用语言和建模方法,该语言包含系统级模型建模所需的语法要素和语法规约,以及语言要素的语义同电路特征的对应关系,并给出将模拟电路元件、拓扑结构以及设计约束作为系统中的组件,以... 阐述可以处理复杂约束条件的模拟电路系统级建模领域专用语言和建模方法,该语言包含系统级模型建模所需的语法要素和语法规约,以及语言要素的语义同电路特征的对应关系,并给出将模拟电路元件、拓扑结构以及设计约束作为系统中的组件,以实现解耦的建模方法。实验表明,系统级建模方法为解决模拟集成电路设计中复杂约束条件解耦提供一个可行的解决思路,具有重要的研究价值。 展开更多

关键词 模拟集成电路 系统级模型 建模方法 领域专用语言

在线阅读 下载PDF 职称材料

极简风格——当代平面设计的一缕清风 被引量：5

10

作者 薛舒阳 《美术大观》 2007年第12期110-,共1页

　　一、强化信息传达的极简化 　　自20世纪90年代以来,由于社会经济的高速发展,人们生活节奏的加快,计算机在平面设计领域的应用等诸多外在因素,以及设计者本身受社会的影响和对社会的认识等内在因素,使得平面设计作品流行着喧嚣复... 　　一、强化信息传达的极简化 　　自20世纪90年代以来,由于社会经济的高速发展,人们生活节奏的加快,计算机在平面设计领域的应用等诸多外在因素,以及设计者本身受社会的影响和对社会的认识等内在因素,使得平面设计作品流行着喧嚣复杂的风格.…… 展开更多

关键词 当代平面设计 计算机 极简风格 平面设计领域 一缕清风 图形语言 专用语言

在线阅读 下载PDF 职称材料

现代电影海报设计大师索尔·巴斯作品解读 被引量：6

11

作者 黄睿 《美术大观》 2008年第7期50-51,共2页

　　一、20世纪中叶美国平面设计特点 　　20世纪中叶是美国现代设计最重要的转折阶段,美国作为战后最强大的经济强国,在50年代便开始它的全球性经济扩张和海外延伸.……

关键词 电影海报设计 平面设计领域 图形语言 专用语言 巴斯 索尔

在线阅读 下载PDF 职称材料