期刊文献+
共找到103篇文章
< 1 2 6 >
每页显示 20 50 100
Enhancing Relational Triple Extraction in Specific Domains:Semantic Enhancement and Synergy of Large Language Models and Small Pre-Trained Language Models
1
作者 Jiakai Li Jianpeng Hu Geng Zhang 《Computers, Materials & Continua》 SCIE EI 2024年第5期2481-2503,共23页
In the process of constructing domain-specific knowledge graphs,the task of relational triple extraction plays a critical role in transforming unstructured text into structured information.Existing relational triple e... In the process of constructing domain-specific knowledge graphs,the task of relational triple extraction plays a critical role in transforming unstructured text into structured information.Existing relational triple extraction models facemultiple challenges when processing domain-specific data,including insufficient utilization of semantic interaction information between entities and relations,difficulties in handling challenging samples,and the scarcity of domain-specific datasets.To address these issues,our study introduces three innovative components:Relation semantic enhancement,data augmentation,and a voting strategy,all designed to significantly improve the model’s performance in tackling domain-specific relational triple extraction tasks.We first propose an innovative attention interaction module.This method significantly enhances the semantic interaction capabilities between entities and relations by integrating semantic information fromrelation labels.Second,we propose a voting strategy that effectively combines the strengths of large languagemodels(LLMs)and fine-tuned small pre-trained language models(SLMs)to reevaluate challenging samples,thereby improving the model’s adaptability in specific domains.Additionally,we explore the use of LLMs for data augmentation,aiming to generate domain-specific datasets to alleviate the scarcity of domain data.Experiments conducted on three domain-specific datasets demonstrate that our model outperforms existing comparative models in several aspects,with F1 scores exceeding the State of the Art models by 2%,1.6%,and 0.6%,respectively,validating the effectiveness and generalizability of our approach. 展开更多
关键词 Relational triple extraction semantic interaction large language models data augmentation specific domains
下载PDF
Evaluation of XIS-Mobile, a Domain Specific Language for Mobile Application Development
2
作者 André Ribeiro Alberto Rodrigues da Silva 《Journal of Software Engineering and Applications》 2014年第11期906-919,共14页
The great evolution of the mobile market during the last years caused some fragmentation of the mobile platforms namely through the existence of different programming languages and software development tools for each ... The great evolution of the mobile market during the last years caused some fragmentation of the mobile platforms namely through the existence of different programming languages and software development tools for each platform. This fact can be an obstacle and increases the development complexity and costs when we want to develop mobile applications for multiple platforms. The XIS-Mobile domain specific language (defined as a UML profile) and its MDD-based framework address this problem by proposing platform-independent models to describe mobile applications and from them automatically generate the application’s source code. Many issues arose during an iterative process of evaluation which originated changes and the evolution of XIS-Mobile. This paper presents the results of the evaluation of XIS-Mobile (both the language and the companion framework) obtained through the implementation of a case study and by conducting a user session, and discusses its benefits and challenges. 展开更多
关键词 EVALUATION of XIS-Mobile a domain specific language for MOBILE Application Development
下载PDF
基于模型驱动的密码算法可视化开发平台研究
3
作者 肖超恩 刘昌俊 +2 位作者 董秀则 王建新 张磊 《密码学报(中英文)》 CSCD 北大核心 2024年第2期357-370,共14页
针对密码算法开发平台普适性差、无法跨平台的问题,本文采用模型驱动实现密码算法开发的方法,设计了一种基于模型驱动的密码算法可视化开发平台,提出了一种基于模型驱动的密码算法开发的领域语言—MCL密码元语言;实现了基于模型的代码... 针对密码算法开发平台普适性差、无法跨平台的问题,本文采用模型驱动实现密码算法开发的方法,设计了一种基于模型驱动的密码算法可视化开发平台,提出了一种基于模型驱动的密码算法开发的领域语言—MCL密码元语言;实现了基于模型的代码生成器和代码映射器.实验证明,该开发平台仅需要开发者拖拽图形块的操作就可以实现密码算法模型的建立,然后平台可以根据建立的密码算法模型生成不同编程环境下的代码.平台实现了C和python的代码映射器模块,密码算法模型可快速映射为C、python代码.平台有较好的实用性,开发者的密码算法实现过程简洁、高效,不同编程环境下的代码均可以通过平台自动生成,提高了密码算法实现的跨平台性. 展开更多
关键词 密码算法实现 模型驱动 领域专用语言(dsl) 代码生成技术
下载PDF
模板运算代码的自动生成与调优框架
4
作者 刘金硕 文尧 《计算机工程》 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
Research on Metamodels Consistency Verification Based on Formalization of Domain-Specific Metamodeling Language 被引量:1
5
作者 江涛 王新 《Journal of Shanghai Jiaotong university(Science)》 EI 2012年第2期171-177,共7页
Domain-specific metamodeling language(DSMML) defined by informal method cannot strictly represent its structural semantics,so its properties such as consistency cannot be holistically and systematically verified.In re... Domain-specific metamodeling language(DSMML) defined by informal method cannot strictly represent its structural semantics,so its properties such as consistency cannot be holistically and systematically verified.In response,the paper proposes a formal representation of the structural semantics of DSMML named extensible markup language(XML) based metamodeling language(XMML) and its metamodels consistency verification method.Firstly,we describe our approach of formalization,based on this,the method of consistency verification of XMML and its metamodels based on first-order logical inference is presented;then,the formalization automatic mapping engine for metamodels is designed to show the feasibility of our formal method. 展开更多
关键词 domain-specific metamodeling language(DSMML) extensible markup language(XML) based metamodeling language(XMML) structural semantics meta-type consistency verification
原文传递
合同文本置标语言CTML:一种面向智能法律合约的法律信息规范化提取方法
6
作者 范雨晴 王迪 +3 位作者 林鸿杰 陈娥 何啸 朱岩 《工程科学学报》 EI CSCD 北大核心 2024年第1期109-119,共11页
智能合约在法律层面的关注度不断提高,如何将现实法律合同转化为智能合约程序,保证法律元素提取和程序转换的规范化已经成为当前的研究热点.据此,从合约模板化和语义规范化的角度出发,提出一种合同文本置标语言(CTML),通过对合同中语法... 智能合约在法律层面的关注度不断提高,如何将现实法律合同转化为智能合约程序,保证法律元素提取和程序转换的规范化已经成为当前的研究热点.据此,从合约模板化和语义规范化的角度出发,提出一种合同文本置标语言(CTML),通过对合同中语法、结构、词汇的内容进行标注,实现合同要素的提取与转化.首先,构建合同元模型并建立“要素-属性-成分”的三层语义结构与数源标记语法规则,基于元模型设计面向合同文本的置标语言语法规则,通过CTML完成法律信息规范化提取,形成标注合同;其次,通过递归抽象语法树(AST)并建立映射关系,设计由标注合同到智能法律合约的转换规则,完善法律合同到智能合约可执行代码的转化链条.进而,以保理合同为例,演示了合同文本置标语言的语义提取和代码生成的实际效果,为普通法律合同转化成为智能合约提供了一种技术方法. 展开更多
关键词 法律信息学 智能法律合约 置标语言 面向领域语言 代码生成
下载PDF
面向不可移动文物自然灾害风险图生成的领域特定语言 被引量:1
7
作者 胡轶涵 杜金莲 +1 位作者 苏航 高红雨 《计算机应用》 CSCD 北大核心 2024年第1期152-158,共7页
针对当前不可移动文物自然灾害风险图生成领域需求快速增长、经常变更,而现有程序及工具无法满足实际使用需要的问题,提出了一种构建语义模型的方法,在语义模型的基础之上,为不可移动文物领域专家设计了一种贴近自然语言的领域特定语言(... 针对当前不可移动文物自然灾害风险图生成领域需求快速增长、经常变更,而现有程序及工具无法满足实际使用需要的问题,提出了一种构建语义模型的方法,在语义模型的基础之上,为不可移动文物领域专家设计了一种贴近自然语言的领域特定语言(DSL)。首先,通过对不可移动文物本体各项指标数据、风险图生成方法和流程进行深入研究,提取出业务模型。之后,通过分析业务模型,抽象出风险值计算规则的元计算单元,构建语义模型。在此基础之上,设计出一种可表述语义模型中所有语义的领域特定语言。该语言脚本可由领域专家自行编写,能快速高效地生成风险图,且易于扩展,满足需求经常变更的要求。与目前国内外主流的通过地理信息系统(GIS)方法生成风险图相比,利用DSL生成风险图可缩短66.7%以上的工作时长。 展开更多
关键词 领域特定语言 语义模型 领域抽象 风险图 不可移动文物
下载PDF
问答式林业预训练语言模型ForestBERT
8
作者 谭晶维 张怀清 +2 位作者 刘洋 杨杰 郑东萍 《林业科学》 EI CAS CSCD 北大核心 2024年第9期99-110,共12页
【目的】针对林业文本利用率低、通用领域预训练语言模型对林业知识理解不足以及手动标注数据耗时费力等问题,基于大量林业文本,提出一种融合林业领域知识的预训练语言模型,并通过自动标注训练数据,高效实现林业抽取式问答,为林业决策... 【目的】针对林业文本利用率低、通用领域预训练语言模型对林业知识理解不足以及手动标注数据耗时费力等问题,基于大量林业文本,提出一种融合林业领域知识的预训练语言模型,并通过自动标注训练数据,高效实现林业抽取式问答,为林业决策管理提供智能化信息服务。【方法】首先,基于网络爬虫技术构建包含术语、法律法规和文献3个主题的林业语料库,使用该语料库对通用领域预训练语言模型BERT进行继续预训练,再通过掩码语言模型和下一句预测这2个任务进行自监督学习,使BERT能够有效地学习林业语义信息,得到具有林业文本通用特征的预训练语言模型ForestBERT。然后,对预训练语言模型mT5进行微调,实现样本的自动标注,通过人工校正后,构建包含3个主题共2280个样本的林业抽取式问答数据集。基于该数据集对BERT、RoBERTa、MacBERT、PERT、ELECTRA、LERT 6个通用领域的中文预训练语言模型以及本研究构建的ForestBERT进行训练和验证,以明确ForestBERT的优势。为探究不同主题对模型性能的影响,分别基于林业术语、林业法律法规、林业文献3个主题数据集对所有模型进行微调。将ForestBERT与BERT在林业文献中的问答结果进行可视化比较,以更直观展现ForestBERT的优势。【结果】ForestBERT在林业领域的抽取式问答任务中整体表现优于其他6个对比模型,与基础模型BERT相比,精确匹配(EM)分数和F1分数分别提升1.6%和1.72%,在另外5个模型的平均性能上也均提升0.96%。在各个模型最优划分比例下,ForestBERT在EM上分别优于BERT和其他5个模型2.12%和1.2%,在F1上分别优于1.88%和1.26%。此外,ForestBERT在3个林业主题上也均表现优异,术语、法律法规、文献任务的评估分数分别比其他6个模型平均提升3.06%、1.73%、2.76%。在所有模型中,术语任务表现最佳,F1的平均值达到87.63%,表现较差的法律法规也达到82.32%。在文献抽取式问答任务中,ForestBERT相比BERT可提供更准确、全面的答案。【结论】采用继续预训练的方式增强通用领域预训练语言模型的林业专业知识,可有效提升模型在林业抽取式问答任务中的表现,为林业文本和其他领域的文本处理和应用提供一种新思路。 展开更多
关键词 林业文本 BERT 预训练语言模型 特定领域预训练 抽取式问答任务 自然语言处理
下载PDF
一种基于DSL的服务组合语言 被引量:3
9
作者 胡海涛 刘颖 《计算机工程》 CAS CSCD 北大核心 2011年第9期107-109,共3页
针对大规模并发应用在组合服务中的服务调度问题,设计一种基于领域专用语言的服务组合语言,给出该语言的主要功能、构造过程和语言执行引擎的详细设计。该语言提供对Web服务组合过程的语义和语法描述,采用自顶向下的组合方式,能解决Web... 针对大规模并发应用在组合服务中的服务调度问题,设计一种基于领域专用语言的服务组合语言,给出该语言的主要功能、构造过程和语言执行引擎的详细设计。该语言提供对Web服务组合过程的语义和语法描述,采用自顶向下的组合方式,能解决Web服务组合过程中的组合粒度控制和异构消息匹配等问题。 展开更多
关键词 面向服务架构 领域专用语言 企业服务总线 组合引擎
下载PDF
AocML: A Domain-Specific Language for Model-Driven Development of Activity-Oriented Context-Aware Applications
10
作者 Xuan-Song Li Xian-Ping Tao +1 位作者 Wei Song Kai Dong 《Journal of Computer Science & Technology》 SCIE EI CSCD 2018年第5期900-917,共18页
Activity-oriented context-aware (AOCA) applications are representative in pervasive computing. These appli- cations recognize daily-life human activities, perceive the environment status related to the activities, a... Activity-oriented context-aware (AOCA) applications are representative in pervasive computing. These appli- cations recognize daily-life human activities, perceive the environment status related to the activities, and react to ensure the smooth performance of the activities. Existing research proposed a specific light-weight, incremental method to support the development of such applications; however it is not easy to learn and use. This paper aims to facilitate the development of such applications and improve the productivity of developers. We propose AocML, a textual domain-specific language which provides a high-level abstraction of AOCA applications. Specifically, we first show the software model of AOCA applications and the abstract syntax of AocML. Then, we introduce the concrete syntax of AocML. We also implement the tools for AocML, including the development environment as well as the generation of Java code and ontology specification. Moreover, we use a case study and evaluation to demonstrate the advantages of AocML. 展开更多
关键词 pervasive computing CONTEXT-AWARENESS model-driven development domain-specific language
原文传递
基于DSL优化脑瘫康复智能训练系统 被引量:1
11
作者 卢振利 王红 +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
面向稀疏计算的领域特定语言设计与实现
12
作者 胡燕婷 郑启龙 《小型微型计算机系统》 CSCD 北大核心 2024年第5期1241-1248,共8页
在稀疏计算领域应用模型的开发过程中,低层次的编程接口需要用户对底层硬件和算法模型同时具有全面、深入的了解.这种要求造成了稀疏计算领域的高门槛特性,不利于非专业人员的开发工作.为了降低稀疏计算领域的学习门槛,简化稀疏计算编程... 在稀疏计算领域应用模型的开发过程中,低层次的编程接口需要用户对底层硬件和算法模型同时具有全面、深入的了解.这种要求造成了稀疏计算领域的高门槛特性,不利于非专业人员的开发工作.为了降低稀疏计算领域的学习门槛,简化稀疏计算编程,提高编程的效率,本文提出了一种基于领域特定语言的解决方案,命名为Sparse Computing Programming Solutions:SCPS.SCPS设计和实现了专门的语法规则体系Sparse Computation by Domain Language:SCDL,并配备了相应的语法检查器.其次,SCPS会根据用户对数据和任务的划分进行代码优化,通过代码自动生成器将用户编写的应用模型转换为相关硬件的计算代码.为了提供良好的跨平台特性,代码生成器最终将生成相应模型的OpenCL代码.大规模的实验结果表明,使用SCDL语言构建的代码量仅为对应OpenCL代码的1/15,有效地提高了稀疏计算编程的效率.同时,实验证明了与串行代码相比,自动生成的代码能够达到优化的效果. 展开更多
关键词 领域特定语言 稀疏计算 语法检查 代码自动生成 OPENCL
下载PDF
图形化PDDL语言编译系统的设计与应用
13
作者 张忠坤 林泓宇 +2 位作者 谭智元 邢明杰 武延军 《计算机工程与设计》 北大核心 2024年第2期626-632,共7页
针对当前PDDL开发存在的编辑复杂和文本可读性差等问题,设计一个图形化PDDL在线编辑工具和相应的编译系统Graph Compiler。Graph Compiler结合领域专用编译技术和ChatGPT模型,实现从自然语言到图形化PDDL的自动化生成。系统支持编译不... 针对当前PDDL开发存在的编辑复杂和文本可读性差等问题,设计一个图形化PDDL在线编辑工具和相应的编译系统Graph Compiler。Graph Compiler结合领域专用编译技术和ChatGPT模型,实现从自然语言到图形化PDDL的自动化生成。系统支持编译不同版本的PDDL语言,提供相应版本的语法分析,将PDDL规划结果转换为ROS的话题消息,为机器人行动提供具体的动作指令。实验结果表明,Graph Compiler在多届IPC的多版本PDDL测试用例上,编译成功率达到100%;也可以应用在ROS项目中,通过具体的动作序列指导机器人行动。 展开更多
关键词 规划领域定义语言 编译系统 领域专用编译技术 自然语言 自动化生成 语法分析 机器人操作系统
下载PDF
一种面向特殊领域隐语的大语言模型检测系统
14
作者 姬旭 张健毅 +3 位作者 赵张驰 周子寅 李毅龙 孙泽正 《信息安全研究》 CSCD 北大核心 2024年第9期795-803,共9页
大语言模型从模型本身和推理中检索知识以生成用户所需的答案,因此评价大语言模型的推理能力成为热点.然而,尽管在隐语方面大语言模型表现出较好的推理与理解能力,但在诸如电信诈骗等特殊领域隐语理解能力、推理能力的评价尚未出现.针... 大语言模型从模型本身和推理中检索知识以生成用户所需的答案,因此评价大语言模型的推理能力成为热点.然而,尽管在隐语方面大语言模型表现出较好的推理与理解能力,但在诸如电信诈骗等特殊领域隐语理解能力、推理能力的评价尚未出现.针对此问题,设计并实验了首个针对特殊领域隐语的大语言模型评估系统,同时提出了包含许多特殊主题的首个隐语数据集.针对数据交叉匹配问题和数据计算问题,分别提出了协同调和算法和基于指示函数的数据感知算法,从多角度评价大语言模型的表现.实验证明,该系统可以灵活、深入地评估大语言模型问答的识别准确性.同时,结果首次揭示了大语言模型基于提问风格和线索的识别准确性变化.设计系统可以作为一种审计工具帮助提高大语言模型的可靠性和安全性. 展开更多
关键词 大语言模型 特殊领域隐语 隐语检测 评估系统 黑话 推理
下载PDF
面向智能汽车赛博物理系统的领域特定建模语言研究
15
作者 赵静 梁浩 +2 位作者 徐天啸 肖雅月 姜博文 《汽车工程》 EI CSCD 北大核心 2024年第8期1370-1381,共12页
智能汽车信息物理系统(IVCPS)是具有多领域交叉融合特征的复杂大系统,在设计IVCPS领域特定建模语言时,应用现有建模语言存在扩展性差、成熟度低、学习成本高等问题,因此,本文根据V模型和创新架构方法,分别从IVCPS顶层设计流程、IVCPS元... 智能汽车信息物理系统(IVCPS)是具有多领域交叉融合特征的复杂大系统,在设计IVCPS领域特定建模语言时,应用现有建模语言存在扩展性差、成熟度低、学习成本高等问题,因此,本文根据V模型和创新架构方法,分别从IVCPS顶层设计流程、IVCPS元语言对象集语言要素定义两部分对面向IVCPS领域特定建模语言(DSML)进行研究,对IVCPS系统层元语言和组件化元语言的规范化进行定义,研究赛博物理组件中表达物理实现、动态特性和赛博计算的组件,以期为赛博物理组件的封装和创建提供参考。 展开更多
关键词 智能汽车赛博物理系统 SYSML 领域特定建模语言 架构设计流程
下载PDF
大语言模型在档案领域中的应用研究
16
作者 胡毅 《办公自动化》 2024年第13期83-86,共4页
在智能与数据驱动的时代背景下,尽管以ChatCPT为代表的生成式人工智能在法律、金融等领域取得显著的应用研究成果,但其在档案领域的应用研究却相对进展缓慢。文章尝试从生成式人工智能的核心技术大语言模型的角度切入,深入剖析大模型的... 在智能与数据驱动的时代背景下,尽管以ChatCPT为代表的生成式人工智能在法律、金融等领域取得显著的应用研究成果,但其在档案领域的应用研究却相对进展缓慢。文章尝试从生成式人工智能的核心技术大语言模型的角度切入,深入剖析大模型的概念及其研究现状,进而探讨大语言模型在档案领域的潜在应用场景,并对当前存在的应用难题及应对策略展开探讨,以期能为推动生成式人工智能在档案领域的实际应用提供新的思路。 展开更多
关键词 大语言模型 生成式人工智能 档案行业 领域大模型
下载PDF
基于DSL的装备保障领域建模 被引量:3
17
作者 王金全 郑宇军 王侃 《计算机工程》 CAS CSCD 北大核心 2008年第2期66-68,71,共4页
基于领域专用语言构建了装备保障领域的元模型,描述了实体、关系、行为、约束、流程等基本要素,在该模型中,二次开发人员能够方便地对该领域的各类软件系统进行建模,并通过模型精化来自动生成最终的可执行系统。实验证明,该模型是有效的。
关键词 需求工程 领域专用语言 装备保障 模型转换
下载PDF
DSL方法实现FMP-PIM到MVC-PSM的转换
18
作者 沈慧勇 万建成 侯金奎 《山东大学学报(工学版)》 CAS 2006年第5期58-61,69,共5页
DSL方法是改进软件开发(重用性,可维护性等)的有效途径.使用MTrans-DSL形式化描述模型驱动构架(MDA)中模型的转换规则,实现平台无关模型到特定平台模型的转换.以JavaServer Faces作为目标平台,通过具体的应用实例验证了该方法的可行性... DSL方法是改进软件开发(重用性,可维护性等)的有效途径.使用MTrans-DSL形式化描述模型驱动构架(MDA)中模型的转换规则,实现平台无关模型到特定平台模型的转换.以JavaServer Faces作为目标平台,通过具体的应用实例验证了该方法的可行性和易用性.DSL方法体现了模型驱动开发的特点,提升了转换规则的抽象层次. 展开更多
关键词 域相关语言(dsl) 平台无关模型(PIM) 平台相关模型(PSM) 转换规则
下载PDF
面向复杂系统需求分析的DSL构建 被引量:3
19
作者 廖万斌 曹云峰 王新尧 《系统工程与电子技术》 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
火星环绕器基于DSL自主管理设计方法
20
作者 张海 邹亿 +2 位作者 张旭光 赵桥 何春黎 《上海航天(中英文)》 CSCD 2022年第S01期116-124,共9页
火星环绕器飞行距离远,器地通信时延长,无法依靠传统地面站操控来满足实时性、安全性、可靠性要求,往往需要自主管理,自主对环绕器自身能力和状态的感知和决策,形成指令执行序列。因此针对自主管理的知识建模成为研究热点,首先分析了火... 火星环绕器飞行距离远,器地通信时延长,无法依靠传统地面站操控来满足实时性、安全性、可靠性要求,往往需要自主管理,自主对环绕器自身能力和状态的感知和决策,形成指令执行序列。因此针对自主管理的知识建模成为研究热点,首先分析了火星环绕器自主管理的软件需求,提出了综合电子基于软总线分层构件化的软件体系结构,设计了一种自主管理领域专用语言(DSL),用于描述多分系统间基于“时间约束和资源约束”的复杂执行序列,同时实现了一种自主管理程控解释器,用于综合电子软件对DSL描述的知识库自主执行;其次为了提高软件开发效率,避免领域专家理解歧义,开发基于DSL的自主管理代码生成器,实现从自主管理DSL知识建模到源代码生成;最后选取典型的应用场景“环绕器与巡视器UHF中继通信”和“两器分离自主程控”,验证了自主管理DSL描述能力和代码生成器效果。结果表明:该DSL在表达能力、执行效率和可靠性安全性方面具优势,已在火星环绕器在轨成功应用,对未来深空探测任务规划设计具有借鉴和参考意义。 展开更多
关键词 火星环绕器 自主管理 领域特定语言(dsl) 代码自动生成 程控解释器
下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部