检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

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

小型微型计算机系统 2022年第5期43卷 1114-1120页

作者：阮宏玮李华王显荣内蒙古大学计算机学院呼和浩特010021

为满足用户服务功能链需求,加快服务功能链编程效率,设计一种面向服务功能链领域的专用语言SFCDSL.从规范化和可扩展性考虑,首先提出SFC抽象化层次框架和SFCDSL编程框架.对于SFCDSL中的服务关系采用基于面向对象设计方法,给出了基于软... 详细信息

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

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

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

一种用于飞行诸元定义、表示的领域专用语言

航天控制 2020年第5期38卷 50-53页

作者：安占新任慧敏许传明王晓玲北京航天自动控制研究所北京100854

提出了一种用于飞行诸元定义、表示的领域专用语言(DSL,DomainSpecific Language),使用巴科斯范式(BNF,Backus-Naur Form)描述语法规则,定义诸元的数据类型、数目、类别、数值及约束条件。在此基础上,研制了由解析器等模块组成的诸元自... 详细信息

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

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

在线全文

学校读者我要写书评

暂无评论

面向生物反馈疗法的领域专用语言设计与实现

面向生物反馈疗法的领域专用语言设计与实现

作者：杨晓璇中山大学

学位级别：硕士

软件系统是生物反馈疗法实验和治疗中不可或缺的部分。国内外此类软件的开发普遍采用通用目的的编程语言编写，由于其复杂性，导致了领域专家难以参与软件开发的过程。专业的领域知识在传统软件开发生命周期的需求阶段通过自然语言表述... 详细信息

软件系统是生物反馈疗法实验和治疗中不可或缺的部分。国内外此类软件的开发普遍采用通用目的的编程语言编写，由于其复杂性，导致了领域专家难以参与软件开发的过程。专业的领域知识在传统软件开发生命周期的需求阶段通过自然语言表述的方式传达给开发人员。这种沟通方式常存在需求遗漏、曲解等问题而导致软件质量问题。本文以面向生物反馈疗法干预前期高血压为例，提出了设计一种面向生物反馈疗法的领域专用语言BTDL（Biofeedback TherapyDescription Language）用于该领域专家描述治疗方案的方法，并为其配置图形编辑器。领域专家可通过直观的图形操作描述治疗过程，而开发人员只需要关注于这门语言解释执行，以此让不同角色专注于自身熟悉的领域，达到更好的分工，从而提高软件质量。本文在学习生物反馈领域知识的基础上，提取该领域关键的概念，建立生物反馈疗法领域的专用建模工具，并建立该领域的专用模型，用于领域专家对生物反馈疗法治疗过程的描述，同时有利于领域开发人员对业务的理解。对于图形描述的过程，本文通过模型转换成文本BTDL的方法和编写解释器对文本BTDL进行语法语义校验和解释执行。在并发控制的实现上，本文采用基于模板的代码生成与多线程技术，动态生成并发操作代码，从而实现对并发操作的支持。本文通过实证研究的方法探讨该领域专用语言的易学性、满意度、易用性和有效性上表现，实验结果显示，BTDL在易学性、满意度和易用性上表现良好。实验总结部分对BTDL的有限表达能力进行分析并提出优化方法。

关键词：生物反馈疗法领域专用语言领域建模可扩展标记语言解释器

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于领域专用语言的量子编译优化方法研究

基于领域专用语言的量子编译优化方法研究

作者：徐乐郑州大学

学位级别：硕士

近年来,随着信息产业的飞速发展和互联网技术的不断普及和深入,人们正逐渐步入大数据时代,这将加剧全球对计算能力的依赖。一方面,经典计算和量子计算之间的交互作为量子领域研究的热点问题,使用领域专用语言对异构量子——经典计算算... 详细信息

近年来,随着信息产业的飞速发展和互联网技术的不断普及和深入,人们正逐渐步入大数据时代,这将加剧全球对计算能力的依赖。一方面,经典计算和量子计算之间的交互作为量子领域研究的热点问题,使用领域专用语言对异构量子——经典计算算法进行描述,能够加速量子领域专家和软件开发人员对量子计算的研究进程。另一方面,直接将量子基本逻辑指令转换为控制脉冲,会导致低效率以及高延迟的程序。本文对量子编译方法进行优化,能够减少脉冲持续时间,产生高度优化的控制脉冲。主要工作如下:1、针对经典计算和量子计算之间交互困难的问题,设计一种量子领域专用语言QCDSL(Quantum Compile Domain Specific Language)。QCDSL用于描述异构量子——经典计算算法和量子编译优化过程中的算法。本文对QCDSL的设计原则、模块系统、类型系统和配置文件等进行分析与实现,并对所提出的QCDSL量子编程框架关键技术进行具体研究,包括量子程序周期、运行系统、主程序以及量子编译。同时在QCDSL中,引入了支持与量子算法进行交互的机制,该机制使用内部定义操作和生成量子汇编指令集。实验结果表明,QCDSL的量子编程框架实现了经典计算和量子计算之间的快速交互,为量子和经典计算的共同优化奠定基础。2、针对传统量子编译会导致低效率以及高延迟程序的问题,本文提出一种多指令聚合量子编译优化方法。首先对QAOA电路的最大切割(Max Cut)问题进行分析。之后在量子编译前端使用QCDSL实现可交换性逻辑调度算法,并对量子电路进行交换性检测。随后对量子编译后端的指令聚合方法进行实验研究。最后选择几种重要的经典量子混合算法作为基准,将本文所提出的优化方法与未优化的编译方法进行比较。实验结果表明,交换性检测与指令聚合能够降低电路的归一化延迟,延迟效果与电路的可交换性成正比,并且聚合指令编译对于空间局部性低的电路有较大的改进。对于QAOA的最大切割问题,多指令聚合的量子编译方法能够产生高度优化的控制脉冲,减少约2.21倍的脉冲持续时间。

关键词：量子计算领域专用语言量子编译控制脉冲

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于Drools的领域专用语言应用研究

电脑开发与应用 2012年第2期25卷 8-11页

作者：邓伟太原科技大学计算机科学与技术学院

首先介绍了Drools规则引擎和领域专用语言DSL的基本概念,然后通过实例说明了DSL以类自然语言的方式来构建业务层代码,详细阐述了领域专用语言在Drools中的应用来说明它的优点。通过DSL的应用不仅降低了业务逻辑与应用程序的耦合度,而且... 详细信息

首先介绍了Drools规则引擎和领域专用语言DSL的基本概念,然后通过实例说明了DSL以类自然语言的方式来构建业务层代码,详细阐述了领域专用语言在Drools中的应用来说明它的优点。通过DSL的应用不仅降低了业务逻辑与应用程序的耦合度,而且能以更好的方式来处理业务需求和数据模型的变化,便于系统的维护。

关键词： Drools DSL 规则引擎领域专用语言可维护性

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

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

电子设计工程 2015年第10期23卷 130-132,137页

作者：龙昱程马卫东西南科技大学信息工程学院四川绵阳621010 中国工程物理研究院电子工程研究所四川绵阳621010

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

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

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

JetBrains凭借MPS推出新的编程范式——JetBrains通过推出Beta版MPS提供具体的面向语言编程工具,用于创建实际应用和领域专用语言

在线全文

学校读者我要写书评

暂无评论

电脑与电信 2008年第12期 14-14页

捷克共和国布拉格2008年12月10日电／美通社亚洲／--为软件开发商提供增效型智能工具的开发商JetBrains（R）公布了其新产品Meta Programming System（MPS）的Beta版本。MPS是一个执行面向语言编程范式的全新概念的软件开发环境。经过... 详细信息

捷克共和国布拉格2008年12月10日电／美通社亚洲／--为软件开发商提供增效型智能工具的开发商JetBrains（R）公布了其新产品Meta Programming System（MPS）的Beta版本。MPS是一个执行面向语言编程范式的全新概念的软件开发环境。经过几年的研发，JetBrains现已推出其Beta版本，1．0版本预计将于2009年初推出。

关键词： Beta版领域专用语言 MPS 编程工具软件开发商应用软件开发环境捷克共和国

在线全文

学校读者我要写书评

暂无评论

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

计算机工程 2024年第6期50卷 35-47页

作者：刘金硕文尧武汉大学国家网络安全学院空天信息安全与可信计算教育部重点实验室湖北武汉430072

针对现有模板代码生成方法不支持多图形处理器(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扩展。

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

在线全文

学校读者我要写书评

暂无评论

智能法律合约及其研究进展

工程科学学报 2022年第1期44卷 68-81页

作者：王迪朱岩陈娥郭倩李冀宁孙贻滋伊然北京科技大学计算机与通信工程学院北京100083 中国电子学会北京100036 北京互联网法院北京100160

从智能合约、智能法律合约等概念入手,依据现行法律条目的要求对智能合约法律化问题进行探讨,指出智能合约法律化需满足文法要求、非赋权原则、审查准则三个基本规则,并以典型智能法律合约语言SPESC、CML为实例剖析了其法律效力,辨析使... 详细信息

从智能合约、智能法律合约等概念入手,依据现行法律条目的要求对智能合约法律化问题进行探讨,指出智能合约法律化需满足文法要求、非赋权原则、审查准则三个基本规则,并以典型智能法律合约语言SPESC、CML为实例剖析了其法律效力,辨析使其与原合同文本具有同等法律效力需满足的条件.进而,结合智能合约系统架构及部署运行过程,在对所部署智能合约进行法律化辨析基础上对区块链智能合约及其链码的法律地位进行了论证.最后,对当前智能法律合约逻辑模型与语言模型的研究进展进行总结,并加以讨论和评价.上述工作表明当前智能法律合约研究是一条解决智能合约法律地位的可行途径,有利于从现行法上把握智能合约在合约逻辑、仲裁流程、形式化验证等方面的未来发展方向.

关键词：智能法律合约领域专用语言数据电文法律化原则区块链