一种模型驱动的笔式表单界面软件开发方法 被引量：3

1

作者 樊银亭 滕东兴 +3 位作者 马翠霞 杨海燕 戴国忠 王宏安 《计算机研究与发展》 EI CSCD 北大核心 2012年第12期2671-2685,共15页

由于用传统的开发方法开发笔式表单界面软件,开发周期长、成本高且难以适应需求变更,难以提供用户概念模型和系统实现模型相一致的软件,针对此问题,提出了一种模型驱动的笔式表单界面软件开发方法,首先提出笔式表单用户界面模型——PFU... 由于用传统的开发方法开发笔式表单界面软件,开发周期长、成本高且难以适应需求变更,难以提供用户概念模型和系统实现模型相一致的软件,针对此问题,提出了一种模型驱动的笔式表单界面软件开发方法,首先提出笔式表单用户界面模型——PFUIM.然后,基于PFUIM提出模型驱动的笔式界面软件的开发框架.该框架描述了笔式用户界面软件的开发模型,详细论述了各个模型的结构以及模型之间的关系;最后,在开发框架的基础上,提出了开发笔式表单界面软件的建模方法和系统自动生成方法,并通过一个实例说明该框架指导笔式表单界面软件开发的指导作用. 展开更多

关键词 笔交互 电子表单 模型驱动 表单用户界面 开发方法 MDA

在线阅读 下载PDF 职称材料

基于模型驱动架构的决策支持系统开发方法

2

作者 宋旭东 徐连鹏 刘晓冰 《计算机工程》 CAS CSCD 北大核心 2009年第18期48-50,共3页

针对当前决策支持系统开发所面临的系统复杂度高、扩展性差等问题,提出一个基于模型驱动架构的决策支持系统的开发方法,给出一个基于模型驱动框架的决策支持系统开发框架,并通过一个具体的开发实例说明如何应用该框架进行决策支持系统... 针对当前决策支持系统开发所面临的系统复杂度高、扩展性差等问题,提出一个基于模型驱动架构的决策支持系统的开发方法,给出一个基于模型驱动框架的决策支持系统开发框架,并通过一个具体的开发实例说明如何应用该框架进行决策支持系统开发。应用表明,该方法可有效地缩短开发周期,降低系统复杂度,提高开发效率,同时保证实施的可行性和扩展性。 展开更多

关键词 模型驱动架构 决策支持系统 模型驱动 开发方法

在线阅读 下载PDF 职称材料

面向方面的实时系统形式化开发方法 被引量：10

3

作者 陈广明 张立臣 陈生庆 《计算机科学》 CSCD 北大核心 2005年第7期189-192,217,共5页

实时系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要如面向方面和基于组件的软件工程方法的支持,同时实时系统的可信性要求采用形式化方法来开发实时系统。本文试图建立一种面向方面的实时系统形式化开发方法,这种... 实时系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要如面向方面和基于组件的软件工程方法的支持,同时实时系统的可信性要求采用形式化方法来开发实时系统。本文试图建立一种面向方面的实时系统形式化开发方法,这种方法对RT-Z进行了面向方面和面向部件的扩展,并通过实时组件模型在需求和设计阶段提供了对基于部件的系统开发方法(CBSD)和面向方面的系统开发方法(AOSD)的支持。本文给出了面向方面的实时Z(AO-RT-Z)的组件模型的框架结构、语法要求、方面的联结和功能接口和非功能接口的定义,重点讨论并证明了面向方面的实时Z(AO-RT-Z)作为规格描述语言的健全性。 展开更多

关键词 形式化开发方法 实时系统 面向 系统开发方法 软件工程方法 规格描述语言 组件模型 功能接口 系统复杂性 形式化方法 可重用性 可配置性 设计阶段 框架结构 可信性 RT 部件

在线阅读 下载PDF 职称材料

基于面向方面MDA的实时系统开发方法

4

作者 刘敬勇 张立臣 陈成 《计算机工程》 CAS CSCD 北大核心 2009年第17期252-254,共3页

实时系统有许多难以处理的横切整个系统的非功能需求。针对以上问题,提出基于面向方面模型驱动架构的实时系统开发方法。该方法在设计阶段将系统的非功能需求从功能需求中分离出,以降低系统开发的复杂性,提高系统的可重用性、可维护性... 实时系统有许多难以处理的横切整个系统的非功能需求。针对以上问题,提出基于面向方面模型驱动架构的实时系统开发方法。该方法在设计阶段将系统的非功能需求从功能需求中分离出,以降低系统开发的复杂性,提高系统的可重用性、可维护性和横切关注点的模块化程度。通过应用实例证明该方法是有效的。 展开更多

关键词 面向方面 模型驱动架构 实时系统 非功能需求

在线阅读 下载PDF 职称材料

基于Prandtl-Ishlinskii模型的超磁致伸缩驱动器实时磁滞补偿控制 被引量：23

5

作者 杨斌堂 赵寅 +1 位作者 彭志科 孟光 《光学精密工程》 EI CAS CSCD 北大核心 2013年第1期124-130,共7页

针对超磁致伸缩驱动器(GMA)存在复杂的磁滞非线性易降低系统性能,导致系统不稳定的问题,建立了可以精确描述磁滞现象的模型并提出了合适的驱动控制方法。首先,基于Prandtl-Ishlinskii(PI)模型对GMA磁滞建模,并采用最小均方法(LMS)进行... 针对超磁致伸缩驱动器(GMA)存在复杂的磁滞非线性易降低系统性能,导致系统不稳定的问题,建立了可以精确描述磁滞现象的模型并提出了合适的驱动控制方法。首先,基于Prandtl-Ishlinskii(PI)模型对GMA磁滞建模,并采用最小均方法(LMS)进行模型参数辨识,模型预测误差为0.037 9μm。接着,通过对PI模型解析求逆进行实时补偿控制,从而有效减小磁滞误差,补偿控制误差为0.309μm。实验结果证明,PI模型可以精确描述GMA磁滞现象,且具有计算简单,磁滞跟踪能力强的优点。基于该模型的实时磁滞补偿控制方法可以有效减小磁滞误差,提高GMA实时驱动定位控制精度,是实现GMA精密驱动控制的一种有效方法。 展开更多

关键词 超磁致伸缩驱动器 磁滞 Prandtl—Ishlinskii模型 逆模型 实时补偿

在线阅读 下载PDF 职称材料

嵌入式实时软件模型开发环境研究 被引量：3

6

作者 李允 桂盛霖 +1 位作者 陈更 罗蕾 《计算机科学》 CSCD 北大核心 2012年第S3期226-229,244,共5页

为保证嵌入式实时软件的功能安全和实时性,基于模型驱动开发方法,研究了嵌入式实时软件的模型开发环境的体系结构,设计了一个嵌入式实时软件模型开发环境的原型MDE环境。其中应用任务模型使用两层模型机制:上层模型用于建模应用任务的... 为保证嵌入式实时软件的功能安全和实时性,基于模型驱动开发方法,研究了嵌入式实时软件的模型开发环境的体系结构,设计了一个嵌入式实时软件模型开发环境的原型MDE环境。其中应用任务模型使用两层模型机制:上层模型用于建模应用任务的功能行为与性能特征并支持形式化功能安全验证和实时性分析,下层模型用于模型测试和自动生成支持嵌入式实时操作系统API接口和驱动函数接口的应用任务源代码。通过工具集成实现了建模、分析验证、代码生成和测试等嵌入式实时软件的完整模型化开发过程,为将来进一步完善和改进嵌入式实时软件模型开发环境的构建技术提供了应用验证。 展开更多

关键词 嵌入式实时软件 模型驱动 模型开发环境 功能安全 实时性

在线阅读 下载PDF 职称材料

实时图像识别系统PCI驱动程序设计与开发 被引量：2

7

作者 冉义兵 魏东 王义 《计算机工程与设计》 CSCD 北大核心 2014年第9期3337-3340,F0003,共5页

为提高实时图像识别系统的数据传输速率和识别搜索效率,分析驱动程序设计的关键问题,提出类FACADE设计模式,并将其作为驱动程序接口设计的框架。在阐述WDM驱动模型基本结构和核心概念的基础上,采用类FACADE设计模式和MDL内存描述方法,... 为提高实时图像识别系统的数据传输速率和识别搜索效率,分析驱动程序设计的关键问题,提出类FACADE设计模式,并将其作为驱动程序接口设计的框架。在阐述WDM驱动模型基本结构和核心概念的基础上,采用类FACADE设计模式和MDL内存描述方法,开发实时图像识别系统PCI设备驱动程序。通过向量识别程序测试,验证了该驱动程序的有效性和稳定性;通过车牌识别程序测试,验证了类FACADE设计模式可使图像识别系统识别搜索效率提高20倍。 展开更多

关键词 实时图像识别系统 驱动程序设计 WDM模型驱动 类FACADE设计模式 识别搜索效率

在线阅读 下载PDF 职称材料

模型实时驱动的航空发动机沉浸式虚拟运行系统 被引量：2

8

作者 杨佳利 曹文宇 +3 位作者 姚舜 刘凯 谢鹏福 胡忠志 《航空发动机》 北大核心 2023年第3期9-16,共8页

为实现多学科信息的融合与沉浸式表达,针对当前虚拟现实技术在航空发动机领域的应用存在多学科信息综合表达不足、仿真实时性低等问题,开发了一种跨学科异构模型集成仿真的航空发动机沉浸式虚拟运行系统。在信息融合与实时交互方面,研... 为实现多学科信息的融合与沉浸式表达,针对当前虚拟现实技术在航空发动机领域的应用存在多学科信息综合表达不足、仿真实时性低等问题,开发了一种跨学科异构模型集成仿真的航空发动机沉浸式虚拟运行系统。在信息融合与实时交互方面,研究航空发动机气动热力性能实时仿真、实时控制、参数化结构建模与仿真、数据实时共享与多学科联合仿真集成等技术,实现了模型实时驱动的航空发动机虚拟运行功能;在数据可视化及3维渲染方面,研究结构数据轻量化处理技术、实时渲染优化技术,对温度、压力等流场数据进行实时映射,实现了逼真、流畅的沉浸式实时渲染效果。基于上述研究工作,在中国首次开发了1套由模型实时驱动、跨学科数据集成的航空发动机沉浸式虚拟运行系统,结果表明:该系统实现了发动机结构、系统和性能模型数据的关联与交互。相关技术和成果可用于协同设计、沉浸式评审、虚拟培训等场景,为未来实现数字孪生、虚实融合的数字发动机研发提供关键技术支撑和参考。 展开更多

关键词 模型驱动 实时仿真 数字孪生 视景仿真 沉浸式表达 虚拟运行 航空发动机

在线阅读 下载PDF 职称材料

基于可扩展端口技术的实时领域分层递阶建模方法 被引量：3

9

作者 王彬 崔晓杰 +3 位作者 何弼 刘辉 许圣雷 王小俊 《计算机应用》 CSCD 北大核心 2015年第3期872-877,900,共7页

在采用模型驱动的开发(MDD)方法对复杂实时系统进行建模设计时,单层的建模方法难以完成对控制系统的清晰和完整描述。针对上述问题提出了一种分层递阶机制的实时多层建模方法,该方法使用可扩展输入端口和输出端口对现有元模型技术进行扩... 在采用模型驱动的开发(MDD)方法对复杂实时系统进行建模设计时,单层的建模方法难以完成对控制系统的清晰和完整描述。针对上述问题提出了一种分层递阶机制的实时多层建模方法,该方法使用可扩展输入端口和输出端口对现有元模型技术进行扩展,采用可扩展标记语言(XML)实现端口的描述,利用基于信道的端口消息传递机制完成不同层模型之间通信。实际实时控制系统建模结果表明,与单层模型相比,分层递阶的建模方法能够有效实现模型驱动设计方法在实时领域内对并行多任务和复杂交互行为的描述,从而提高实时领域模型的可读性和可复用性。 展开更多

关键词 实时模型驱动开发方法 分层递阶建模 可扩展标记语言 端口技术 信道通信

在线阅读 下载PDF 职称材料

新安江模型和支持向量机模型实时洪水预报应用比较 被引量：21

10

作者 霍文博 朱跃龙 +3 位作者 李致家 冯钧 周莉 孔俊 《河海大学学报（自然科学版）》 CAS CSCD 北大核心 2018年第4期283-289,共7页

选择新安江模型和支持向量机模型分别在浙江省、陕西省的4个流域进行实时洪水预报,并使用K-最近邻实时校正法对新安江模型预报结果实时校正,比较2种模型在不同流域的应用效果,其中选择确定性系数、峰现时间误差、洪峰相对误差和均方误... 选择新安江模型和支持向量机模型分别在浙江省、陕西省的4个流域进行实时洪水预报,并使用K-最近邻实时校正法对新安江模型预报结果实时校正,比较2种模型在不同流域的应用效果,其中选择确定性系数、峰现时间误差、洪峰相对误差和均方误差作为模型预报评价指标。进一步改变预报预见期并分析2种模型在不同预见期内的预报精度。研究结果表明,新安江模型和支持向量机模型在不同流域洪水预报中各有优势,支持向量机模型预报精度受降雨精度影响较大。当预报预见期较长时,新安江模型预报结果更好;随着预见期缩短,支持向量机模型预报精度显著提高,在短预见期实时预报中支持向量机模型优势更明显。在预报难度较大的半湿润半干旱流域,新安江模型和支持向量机模型在率定期和实时预报过程中均具有较高精度。 展开更多

关键词 实时洪水预报 新安江模型 数据驱动模型 支持向量机模型 K-最近邻实时校正法 洪水预见期

在线阅读 下载PDF 职称材料

一种模型驱动的可视化生成系统 被引量：12

11

作者 杜一 郭旦怀 +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

12

作者 朱小杰 赵子豪 杜一 《计算机应用》 CSCD 北大核心 2020年第6期1638-1647,共10页

复杂流程的大数据处理多依托于流水线系统,但大数据处理的流水线系统在易用性、功能复用性、扩展性以及处理性能等方面存在不足。针对上述问题,为提高大数据处理环境的构建与开发效率,优化处理流程,提出了一种模型驱动的大数据流水线框... 复杂流程的大数据处理多依托于流水线系统,但大数据处理的流水线系统在易用性、功能复用性、扩展性以及处理性能等方面存在不足。针对上述问题,为提高大数据处理环境的构建与开发效率,优化处理流程,提出了一种模型驱动的大数据流水线框架PiFlow。首先,将大数据处理过程抽象为有向无环图;然后,开发一系列组件用于构建数据处理流水线,并设计了流水线任务执行机制。同时,为规范和简化流水线框架的描述,设计了基于模型驱动的大数据流水线描述语言--PiFlowDL,该语言以模块化、层次化的方式对大数据处理任务进行描述。PiFlow以所见即所得(WYSIWYG)的方式配置流水线,集成了状态监控、模板配置、组件集成等功能,与Apache NiFi相比有2~7倍的性能提升。 展开更多

关键词 大数据 流水线 流水线调度 模型驱动的开发方法 数据处理

在线阅读 下载PDF 职称材料

新型耦合数据驱动模型在降雨径流模拟中的应用研究 被引量：4

13

作者 梁珂 阚光远 李致家 《水文》 CSCD 北大核心 2016年第4期1-7,共7页

为解决传统数据驱动模型的不足,使其能实现降雨径流过程高精度连续模拟,提出新型耦合数据驱动模型——PEK,即:基于偏互信息的输入变量选择、基于新型集成神经网络的出流量预测和基于K最近邻模型的出流量误差预测。PEK模型具有以下特点:... 为解决传统数据驱动模型的不足,使其能实现降雨径流过程高精度连续模拟,提出新型耦合数据驱动模型——PEK,即:基于偏互信息的输入变量选择、基于新型集成神经网络的出流量预测和基于K最近邻模型的出流量误差预测。PEK模型具有以下特点:(1)提出了基于分离式选择策略和滑窗累积雨量的模型候选输入向量,并与基于偏互信息的输入变量选择方法联合使用,提高了输入信息的充分性和无冗余性,对建立精度高、泛化能力强的高质量模型意义重大;(2)提出了新型集成神经网络——EBPNN及其率定方法。联合使用NSGA-II多目标优化算法和早停止Levenberg-Marquardt算法,通过一次优化过程同时确定全局最优个体网络个数、各个体网络拓扑结构和网络参数。个体网络权重由基于AIC信息准则的权重优选方法确定。EBPNN在模拟精度和网络复杂度间取得了良好折衷,精度高、泛化能力强、率定结果客观;(3)PEK模型能够进行多步外推预报,实现了非实时校正模式下的高精度连续模拟,增长了预见期;(4)PEK模型不需要进行流域状态变量的计算,仅需初始出流量就可进行出流量的连续模拟。在呈村流域应用PEK和CLS两个数据驱动模型进行次洪降雨径流模拟及精度比较。结果表明PEK模型使用简便,模拟精度高于CLS模型,实现了多步外推的高精度连续模拟,增长了数据驱动模型的预见期。 展开更多

关键词 降雨径流模拟 非实时校正 数据驱动模型 PEK模型 最优化方法

在线阅读 下载PDF 职称材料

MQX实时操作系统设备驱动设计研究 被引量：2

14

作者 苏勇 王宜怀 石晶 《计算机应用与软件》 CSCD 北大核心 2014年第3期224-227,共4页

设备驱动是操作系统重要的组成部分。阐述MQX(Message Queue eXecutive)实时操作系统的设备驱动管理机制,基于对MQX统一设备模型的分析,总结出MQX设备驱动设计的基本原理和一般方法。结合软件构件技术,提出一种分层驱动的实现模型,通过... 设备驱动是操作系统重要的组成部分。阐述MQX(Message Queue eXecutive)实时操作系统的设备驱动管理机制,基于对MQX统一设备模型的分析,总结出MQX设备驱动设计的基本原理和一般方法。结合软件构件技术,提出一种分层驱动的实现模型,通过复用底层驱动构件加速了MQX设备驱动的开发。 展开更多

关键词 MQX 嵌入式 实时操作系统 设备驱动 统一设备模型 底层驱动构件

在线阅读 下载PDF 职称材料

基于模型转换的IMA系统可调度性验证方法 被引量：2

15

作者 胡军 程桢 +2 位作者 马金晶 刘雪 石姣洁 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2015年第3期403-411,共9页

综合模块化航空电子系统(Integrated modular avionics,IMA)中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题。本文针对满足ARINC653规范的IMA系统的层级调度特性,结合IMA系统调度配置信息,提出了一种在模型驱动工程(... 综合模块化航空电子系统(Integrated modular avionics,IMA)中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题。本文针对满足ARINC653规范的IMA系统的层级调度特性,结合IMA系统调度配置信息,提出了一种在模型驱动工程(Model driven engineering,MDE)框架下,基于实时嵌入式系统建模与分析(Modeling and analysis of real-time and embedded system,MARTE)模型的ARINC653分区调度系统建模转换与可调度性验证的方法。借助MAST工具及其自定义调度策略功能,分析分区系统调度特性并利用MARTE对其进行建模,并利用该工具对MARTE模型进行仿真以验证其可调度性,最后给出了一个实例分析。 展开更多

关键词 综合模块化航电系统 可调度性验证 ARINC653 实时嵌入式系统与分析 模型驱动工程

在线阅读 下载PDF 职称材料

混合关键度驱动的实时调度研究

16

作者 张奕 程小辉 +1 位作者 蔡皖东 詹涛 《西北工业大学学报》 EI CAS CSCD 北大核心 2012年第4期617-621,共5页

针对当前运行于不可预测开放环境下的嵌入式多使命复杂关键型系统,需要减少运行成本和处理不可预测工作负载情况的问题,文章提出一种混合关键度驱动的非对称式过载保护最小空闲调度策略。系统过载时,为共享同一处理器的不同关键度任务... 针对当前运行于不可预测开放环境下的嵌入式多使命复杂关键型系统,需要减少运行成本和处理不可预测工作负载情况的问题,文章提出一种混合关键度驱动的非对称式过载保护最小空闲调度策略。系统过载时,为共享同一处理器的不同关键度任务提供非对称式保护,禁止低关键度任务干扰高关键度任务,完全避免了传统的"关键度反转"问题。在恢复暂时阻塞的不同关键度任务时,在速率单调调度的基础上,引入关键度主导的截止期驱动动态调度策略,可使潜在处理器利用率达到100%。实验结果表明,这种新算法的综合性能优于当前已有的混合关键度任务调度算法。 展开更多

关键词 算法 关键度 计算机体系结构 分布式计算系统 反转问题 数学模型 实时系统 调度 混合关键度 速率单调调度 截止期驱动调度

在线阅读 下载PDF 职称材料

一种异构实时系统中任务流均衡负载的算术模型

17

作者 杨娟 白云 邱玉辉 《计算机科学》 CSCD 北大核心 2005年第7期222-223,227,共3页

异构环境下如何提高系统自治并发处理的能力,是分布式系统研究领域的重要课题。而异构实时系统中系统自治并发处理的能力则体现在事件驱动任务流控制的资源最优分配。本文针对已有的资源分配策略的缺陷给出了一个通用的任务流均衡负载... 异构环境下如何提高系统自治并发处理的能力,是分布式系统研究领域的重要课题。而异构实时系统中系统自治并发处理的能力则体现在事件驱动任务流控制的资源最优分配。本文针对已有的资源分配策略的缺陷给出了一个通用的任务流均衡负载的算术模型,除了对任务流进行量化,使其可以动态分配以外,还可以在任务流发生变化时在满足系统最大利益的前提下最优化代价函数。另外,由于这个算术模型具有通用性,因此适用于各种资源分配的启发式搜索算法。 展开更多

关键词 算术模型 均衡负载 实时系统 任务流 启发式搜索算法 资源分配策略 并发处理 分布式系统 异构环境 研究领域 最优分配 事件驱动 动态分配 代价函数 发生变化 流控制 最优化 通用性 能力 自治

在线阅读 下载PDF 职称材料

基于限定中文自然语言需求的SysML模型自动生成方法 被引量：3

18

作者 鲍阳 杨志斌 +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 职称材料

一种SysML模型到AADL模型的自动转换方法 被引量：5

19

作者 马燕燕 杨志斌 江国华 《计算机工程与科学》 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 职称材料

基于矩阵求逆的电机FPGA实时仿真模型

20

作者 周斌 汪光森 +2 位作者 李卫超 王志伟 王康 《电机与控制学报》 EI CSCD 北大核心 2023年第2期17-26,共10页

FPGA实时仿真中通过查表法建立的电机非线性模型存在通用性不高、精确度受限于片上存储资源等问题,为此建立了基于矩阵求逆的电机FPGA实时仿真模型。为了减小电感矩阵求逆对仿真实时性的影响,算法中选择了前向欧拉离散方法以及基于LDL ... FPGA实时仿真中通过查表法建立的电机非线性模型存在通用性不高、精确度受限于片上存储资源等问题,为此建立了基于矩阵求逆的电机FPGA实时仿真模型。为了减小电感矩阵求逆对仿真实时性的影响,算法中选择了前向欧拉离散方法以及基于LDL T分解的矩阵求逆方法;模型框架中设计了电感矩阵更新及其求逆与电机方程更新并行处理的顶层框架,设计了以高速浮点乘累加器和浮点除法器为基本单元的底层计算架构;程序实现中采用了数据驱动的方法控制基本计算单元的任务调度。以Xilinx Virtex7 xc7vx485t为目标芯片,评估了以三相感应电机为例建立的电机模型FPGA程序,进行了电感参数定常与饱和两种工况下的离线仿真与实时仿真。所建电机FPGA实时仿真模型能够达到320 MHz的运行频率、793.75 ns的仿真步长,定子电流和转子电角速度的最大相对稳态误差分别为3.13%、0.70%。 展开更多

关键词 FPGA实时仿真 电机非线性模型 矩阵求逆 LDL T分解 数据驱动 浮点数

在线阅读 下载PDF 职称材料