期刊文献+
共找到13篇文章
< 1 >
每页显示 20 50 100
基于模型-数据融合驱动的频率响应分析方法 被引量:7
1
作者 李正文 王祥旭 +3 位作者 丁奇力 曾辉 孙乔 李卫东 《电网与清洁能源》 北大核心 2022年第5期16-24,共9页
综合考虑基于模型驱动以及数据驱动的电力系统频率响应分析方法在实时应用中存在的计算速度、计算精度及泛化能力等方面的矛盾,提出了一种基于模型-数据融合驱动的频率响应分析方法。该方法在建模过程中,选取系统频率响应模型作为基于... 综合考虑基于模型驱动以及数据驱动的电力系统频率响应分析方法在实时应用中存在的计算速度、计算精度及泛化能力等方面的矛盾,提出了一种基于模型-数据融合驱动的频率响应分析方法。该方法在建模过程中,选取系统频率响应模型作为基于模型驱动的频率初测模型,对系统的频率响应动态过程进行初步预测;选取由粒子群算法优化参数后的极限学习机模型作为基于数据驱动的频率修正模型,对初测频率响应进行误差修正。在保证计算速度的前提下大幅提高计算精度,同时减少模型对样本数据的依赖程度,提高融合模型的泛化能力。通过WSCC 3机9节点测试系统进行仿真算例的设计与分析,验证了该方法可以快速准确地计算扰动后的电力系统频率响应动态过程,并具有良好的泛化能力,可为电网的调度控制提供辅助决策,以防止系统出现频率崩溃事故。 展开更多
关键词 频率响应 模型驱动方法 数据驱动方法 频率稳定
在线阅读 下载PDF
联合分层语义网络与物理模型的MRI加速重建研究
2
作者 张晓敏 鲍玲鑫 《光电工程》 北大核心 2025年第5期63-76,共14页
为缓解核磁共振成像(MRI)中的长时间采集困境,大数据驱动下的算法与模型融合已成为实现高质量MRI重建的重要手段。然而,现有方法多集中于视觉特征的提取,忽视稳健重建所需的深层次语义信息。为此,提出一种联合分层语义网络与物理模型网... 为缓解核磁共振成像(MRI)中的长时间采集困境,大数据驱动下的算法与模型融合已成为实现高质量MRI重建的重要手段。然而,现有方法多集中于视觉特征的提取,忽视稳健重建所需的深层次语义信息。为此,提出一种联合分层语义网络与物理模型网络的模型驱动架构,旨在提升重建性能的同时维持计算效率。该架构包含四个关键模块:上下文提取模块,用于捕获丰富的上下文特征以降低背景干扰;多尺度聚合模块,通过整合多尺度信息保留粗细解剖细节;语义图推理模块,建模语义关系以增强组织区分度并抑制伪影;双尺度注意力模块,强化不同细节层级上的关键特征表达。这种层次化且语义感知的设计有效减少混叠伪影,并显著提升图像保真度。实验结果表明,在涵盖不同采样率的多样化数据集上,所提方案在定量评估和视觉质量方面均优于现有方法。例如,在IXI数据集四倍径向加速的实验中,所提方法的峰值信噪比达到48.15dB,平均领先最新的对比算法1.00dB,同时实现更高的加速比并保持可靠的图像重建效果。 展开更多
关键词 核磁共振加速 上下文信息 模型驱动方法 语义推理
在线阅读 下载PDF
基于模型驱动的航电系统安全性分析技术研究 被引量:13
3
作者 谷青范 王国庆 +1 位作者 张丽花 翟鸣 《计算机科学》 CSCD 北大核心 2015年第3期124-127,143,共5页
针对综合化航空电子系统安全性分析存在的失效模式完备性和动态失效问题以及数据一致性问题,将航电系统分为3个层次:应用操作层、功能层和资源层,采用形式化方法分别对每个层次进行建模,利用模型转换技术实现3个层次之间的语义转换,确... 针对综合化航空电子系统安全性分析存在的失效模式完备性和动态失效问题以及数据一致性问题,将航电系统分为3个层次:应用操作层、功能层和资源层,采用形式化方法分别对每个层次进行建模,利用模型转换技术实现3个层次之间的语义转换,确保语义的一致性。利用Event-B语言对系统应用操作和功能层建模,实现对应用操作模式完备性的检查,利用AltaRica语言能够对系统的异常行为建模,实现对系统动态失效问题的分析。以飞机自动飞行控制系统为例,利用Event-B建模工具Rodin实现对应用操作模式的分析,借助基于AltaRica语言的SimFia工具对其安全性进行分析,结果验证了所提方法的有效性和实用性。 展开更多
关键词 模型驱动方法 航空电子系统 安全性分析
在线阅读 下载PDF
一种模型驱动的可视化生成系统 被引量:12
4
作者 杜一 郭旦怀 +2 位作者 陈昕 任磊 戴国忠 《软件学报》 EI CSCD 北大核心 2016年第5期1199-1211,共13页
随着可视化与可视分析需求的增加,可视化开发所需的总成本不断提高.模型驱动的开发方法能够提高软件开发的效率,但在可视化开发中并没有发挥应有的作用.在此背景下,给出DVDL(data visualization description language)——一种模块化、... 随着可视化与可视分析需求的增加,可视化开发所需的总成本不断提高.模型驱动的开发方法能够提高软件开发的效率,但在可视化开发中并没有发挥应有的作用.在此背景下,给出DVDL(data visualization description language)——一种模块化、层次化描述的可视化描述语言,利用DVDL可以对组成可视化的各个部分进行不同抽象层次上的描述.在DVDL基础上,给出一种模型驱动的可视化生成系统DVIZ(data visualization).该系统通过数据源选择、可视化配置、发布与分享这3个步骤以及所见即所得的配置,实现可视化的快速生成;系统支持多可视化图形之间的交互与关联配置;并且该系统基于Web开发,支持多种社交平台,易于分享与传播. 展开更多
关键词 可视化系统 用户界面描述语言 模型驱动的开发方法 最终用户编程
在线阅读 下载PDF
模型驱动的大数据流水线框架PiFlow 被引量:8
5
作者 朱小杰 赵子豪 杜一 《计算机应用》 CSCD 北大核心 2020年第6期1638-1647,共10页
复杂流程的大数据处理多依托于流水线系统,但大数据处理的流水线系统在易用性、功能复用性、扩展性以及处理性能等方面存在不足。针对上述问题,为提高大数据处理环境的构建与开发效率,优化处理流程,提出了一种模型驱动的大数据流水线框... 复杂流程的大数据处理多依托于流水线系统,但大数据处理的流水线系统在易用性、功能复用性、扩展性以及处理性能等方面存在不足。针对上述问题,为提高大数据处理环境的构建与开发效率,优化处理流程,提出了一种模型驱动的大数据流水线框架PiFlow。首先,将大数据处理过程抽象为有向无环图;然后,开发一系列组件用于构建数据处理流水线,并设计了流水线任务执行机制。同时,为规范和简化流水线框架的描述,设计了基于模型驱动的大数据流水线描述语言--PiFlowDL,该语言以模块化、层次化的方式对大数据处理任务进行描述。PiFlow以所见即所得(WYSIWYG)的方式配置流水线,集成了状态监控、模板配置、组件集成等功能,与Apache NiFi相比有2~7倍的性能提升。 展开更多
关键词 大数据 流水线 流水线调度 模型驱动的开发方法 数据处理
在线阅读 下载PDF
一种SysML模型到AADL模型的自动转换方法 被引量:5
6
作者 马燕燕 杨志斌 江国华 《计算机工程与科学》 CSCD 北大核心 2020年第3期456-466,共11页
安全关键系统的实现需要通过需求、设计、集成、验证和测试等多个阶段。近年来,模型驱动开发方法逐渐成为安全关键系统设计与开发的重要手段。由于还没有一个建模语言能够支持整个安全关键系统开发生命周期,因此选择集成使用2种广泛使... 安全关键系统的实现需要通过需求、设计、集成、验证和测试等多个阶段。近年来,模型驱动开发方法逐渐成为安全关键系统设计与开发的重要手段。由于还没有一个建模语言能够支持整个安全关键系统开发生命周期,因此选择集成使用2种广泛使用的标准语言:系统建模语言(SysML)和嵌入式实时系统体系结构分析与设计语言(AADL)。SysML和AADL提供了同一系统的2个不同视图,SysML模型为系统工程师提供了一个系统视图,AADL为架构设计师建立一个较低层次的设计视图,它结合了实现所有功能的硬件、操作系统和代码。提出一种SysML模型到AADL模型的自动转换方法。首先,定义SysML子集SubSysML,主要包括模块定义图(BDD)、内部模块图(IBD)、活动图(ACT)子集和从IBD和BDD扩展的AADL Profile;其次,定义SubSysML到AADL的转换规则并设计转换算法;然后,对生成的AADL初始模型进行精化;最后,使用EMF框架技术实现SubSysML到AADL的模型转换工具并通过雷达案例验证所提方法的有效性。 展开更多
关键词 安全关键系统 模型驱动开发方法 SYSML AADL 模型转换
在线阅读 下载PDF
基于限定中文自然语言需求的SysML模型自动生成方法 被引量:3
7
作者 鲍阳 杨志斌 +5 位作者 杨永强 谢健 周勇 岳涛 黄志球 郭鹏 《计算机研究与发展》 EI CSCD 北大核心 2021年第4期706-730,共25页
模型驱动开发方法逐渐成为安全关键信息物理融合系统(safety-critical cyber-physical system,SC-CPS)设计与开发的重要手段.然而,安全关键信息物理融合系统需求往往是通过自然语言描述的,如何自动化或半自动化链接自然语言需求和基于... 模型驱动开发方法逐渐成为安全关键信息物理融合系统(safety-critical cyber-physical system,SC-CPS)设计与开发的重要手段.然而,安全关键信息物理融合系统需求往往是通过自然语言描述的,如何自动化或半自动化链接自然语言需求和基于模型驱动的系统设计与开发过程是目前面临的重要挑战.面向安全关键信息物理融合系统,提出基于限定中文自然语言需求的SysML模型自动生成方法RNL2SysML.首先,为了降低自然语言需求表达的二义性,提出一种结构化的限定自然语言需求模板进行需求规约,并通过基于人工智能的(AI)安全关键信息物理融合系统术语提取和推荐方法,对系统需求中的领域术语和数据字典加以自动提取,提高限定自然语言需求规约工作的自动化程度.然后,给出限定自然语言需求规约到SysML系统设计模型的转换方法.最后,基于开源工具Papyrus对所提方法进行了原型工具实现,并通过航空领域的飞机空气增压系统(airplane air compressor system)案例验证了方法的有效性和实用性. 展开更多
关键词 安全关键信息物理融合系统 模型驱动开发方法 系统建模语言 术语推荐 限定自然语言需求 模型转换
在线阅读 下载PDF
舰载作战系统数据集成设计与度量方法 被引量:2
8
作者 董晓明 姚晋 秦克 《中国舰船研究》 2012年第4期94-99,共6页
数据集成在作战系统体系结构的设计中处于核心位置,在系统集成堆栈中具承上启下的作用。接口设计是作战系统集成设计的重点,应尽量减少两两之间的成对接口和专用数据格式,以实现数据集成方式从点对点向总线的转变。首先开展基于XML的作... 数据集成在作战系统体系结构的设计中处于核心位置,在系统集成堆栈中具承上启下的作用。接口设计是作战系统集成设计的重点,应尽量减少两两之间的成对接口和专用数据格式,以实现数据集成方式从点对点向总线的转变。首先开展基于XML的作战系统数据建模,开发辅助设计软件,建立元数据注册库;然后采用模型驱动的方法,以数据模型为中心进行数据集成设计和体系结构度量。选取了分系统数量、节点数量、接口数量、信息单元数量和作战流程环复杂度等5个定量指标,并通过衍生指标评估作战系统体系结构的特征。数据模型驱动的开发能够支持快速生成仿真系统,可为下一步基于仿真的效能评估奠定基础。 展开更多
关键词 数据集成 数据模型 模型驱动方法 体系结构度量 作战系统设计 舰艇
在线阅读 下载PDF
基于MDE的AADL构件组合兼容的方法 被引量:1
9
作者 郑晓梅 胡晨骏 +1 位作者 李刚 李江伟 《计算机工程与设计》 CSCD 北大核心 2014年第5期1862-1867,共6页
实时嵌入式系统建模语言—体系结构分析与设计语言AADL是一种基于组件的半形式化建模语言,当AADL构件模型进行组合时,因为一些交互活动的序列不匹配从而导致构件组合行为不兼容,提出了一种基于模型驱动方法 MDE的AADL构件组合兼容方法... 实时嵌入式系统建模语言—体系结构分析与设计语言AADL是一种基于组件的半形式化建模语言,当AADL构件模型进行组合时,因为一些交互活动的序列不匹配从而导致构件组合行为不兼容,提出了一种基于模型驱动方法 MDE的AADL构件组合兼容方法。利用MDE异构模型转换框架将AADL模型转换至接口自动机IA,利用形式化方法验证IA的兼容性,使用IA Tool构建IA模型的构件兼容运行环境,将构造的环境映射到AADL组件,能够解决AADL构件组合的行为兼容性问题。 展开更多
关键词 实时嵌入式系统 半形式化建模语言 体系结构分析与设计语言 模型驱动方法 接口自动机
在线阅读 下载PDF
自愈软件系统设计与实现方法 被引量:1
10
作者 陆伟 张龙妹 朱怡安 《计算机工程与设计》 北大核心 2015年第5期1244-1250,共7页
针对自愈软件系统功能层与自愈层交织带来的设计复杂性问题,提出系统横向模型驱动设计思想,给出一种以故障模型为中心的系统设计与实现方法。该方法能够将系统功能层与自愈层隔离,使它们的设计与实现相对独立,根据系统特点在不同阶段通... 针对自愈软件系统功能层与自愈层交织带来的设计复杂性问题,提出系统横向模型驱动设计思想,给出一种以故障模型为中心的系统设计与实现方法。该方法能够将系统功能层与自愈层隔离,使它们的设计与实现相对独立,根据系统特点在不同阶段通过故障模型加以耦合,这种松耦合方式有利于降低系统整体设计的复杂性,提高可配置性、可重用性以及可维护性。通过一个具有自愈特性的捷联惯性导航系统仿真软件的设计与实现,验证了该设计思想与方法的可行性和有效性。 展开更多
关键词 自愈软件系统 模型驱动方法 故障模型 面向方面设计 面向方面编程
在线阅读 下载PDF
一种基于知识图谱的实时系统语义约束性实现方法 被引量:3
11
作者 刘畅 王彬 +3 位作者 薛洁 程序 詹威威 熊新 《小型微型计算机系统》 CSCD 北大核心 2019年第12期2644-2649,共6页
在基于模型驱动方法的实时系统设计过程中,由于源模型到目标模型的语义差异较大,在模型转换过程中难以保证转换前后的语义一致性.针对实时语义体系结构复杂及关系繁琐的特点,本文提出了一种基于知识图谱的实时系统语义约束性实现方法.... 在基于模型驱动方法的实时系统设计过程中,由于源模型到目标模型的语义差异较大,在模型转换过程中难以保证转换前后的语义一致性.针对实时语义体系结构复杂及关系繁琐的特点,本文提出了一种基于知识图谱的实时系统语义约束性实现方法.首先提取实时系统设计过程中的知识实体及关系,构造基于知识实体的本体属性模型,并在此基础上采用图数据库技术实现了实时语义体系的知识图谱.实时语义知识图谱通过对知识实体之间属性和关系的定义,不但可以实现不同建模本体之间严格的语义约束,并且可以实现实时语义的关联、检索和推理,为实时系统模型转换过程中的语义一致性保持问题提供了一个有效的解决方案. 展开更多
关键词 语义约束 知识图谱 模型驱动方法 本体
在线阅读 下载PDF
基于可扩展端口技术的实时领域分层递阶建模方法 被引量:3
12
作者 王彬 崔晓杰 +3 位作者 何弼 刘辉 许圣雷 王小俊 《计算机应用》 CSCD 北大核心 2015年第3期872-877,900,共7页
在采用模型驱动的开发(MDD)方法对复杂实时系统进行建模设计时,单层的建模方法难以完成对控制系统的清晰和完整描述。针对上述问题提出了一种分层递阶机制的实时多层建模方法,该方法使用可扩展输入端口和输出端口对现有元模型技术进行扩... 在采用模型驱动的开发(MDD)方法对复杂实时系统进行建模设计时,单层的建模方法难以完成对控制系统的清晰和完整描述。针对上述问题提出了一种分层递阶机制的实时多层建模方法,该方法使用可扩展输入端口和输出端口对现有元模型技术进行扩展,采用可扩展标记语言(XML)实现端口的描述,利用基于信道的端口消息传递机制完成不同层模型之间通信。实际实时控制系统建模结果表明,与单层模型相比,分层递阶的建模方法能够有效实现模型驱动设计方法在实时领域内对并行多任务和复杂交互行为的描述,从而提高实时领域模型的可读性和可复用性。 展开更多
关键词 实时模型驱动开发方法 分层递阶建模 可扩展标记语言 端口技术 信道通信
在线阅读 下载PDF
Model-based design method of two-axis four-actuator fast steering mirror system 被引量:3
13
作者 黑沫 张连超 +2 位作者 周擎坤 鲁亚飞 范大鹏 《Journal of Central South University》 SCIE EI CAS CSCD 2015年第1期150-158,共9页
This work was focused on the model-based design method of two-axis four-actuator(TAFA) fast steering mirror system(FSM), in order to improve the design efficiency. The structure and operation principle commonality of ... This work was focused on the model-based design method of two-axis four-actuator(TAFA) fast steering mirror system(FSM), in order to improve the design efficiency. The structure and operation principle commonality of normal TAFA FSM were investigated. Based on the structure and the commonality, the conditions of single-axis idea, high-frequency resonance and coupling were modeled gradually. Combining these models, a holonomic system model was established to reflect and predict the performance of TAFA FSM. A model-based design method was proposed based on the holonomic system model. The design flow and design concept of the method were described. In accordance with the method, a TAFA FSM was designed. Simulations and experiments of the FSM were done, and the results of them were compared. The compared results indicate that the holonomic system model can well reflect and predict the performance of TAFA FSM. The bandwidth of TAFA FSM is more than 250 Hz; adjust time is less than 15 ms;overshoot is less than 8%; position accuracy is better than 10 μrad; the FSM prototype can satisfy the requirements. 展开更多
关键词 fast steering mirror system model-based design dynamic modeling
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部