多模态大语言模型驱动的争论式智能对话学习系统设计与开发

1

作者 黎盈盈 詹昌昊 《数字技术与应用》 2025年第1期25-27,共3页

在人工智能飞速发展的背景下,生成式大模型(GLM)已成为教育界广泛推崇的智能化教学辅助工具。多模态大语言模型(MLLM)在提高教学效率、支持个性化学习以及实现实时互动等方面展现出显著的优势,但在教育实践中的潜在缺陷亦不容忽视。究... 在人工智能飞速发展的背景下,生成式大模型(GLM)已成为教育界广泛推崇的智能化教学辅助工具。多模态大语言模型(MLLM)在提高教学效率、支持个性化学习以及实现实时互动等方面展现出显著的优势,但在教育实践中的潜在缺陷亦不容忽视。究其根本,是MLLM未能在教与学中主动引导学生进行深入探究。 展开更多

关键词 教学辅助工具 个性化学习 多模态 潜在缺陷 人工智能 语言模型 系统设计与开发 模型驱动

在线阅读 下载PDF 职称材料

一个支持模型驱动开发的元建模平台的研制 被引量：7

2

作者 麻志毅 刘辉 +3 位作者 何啸 张乐 吉喆 戈牧 《电子学报》 EI CAS CSCD 北大核心 2008年第4期731-736,共6页

由于当今软件系统的复杂性,模型驱动的软件开发中需要的建模语言和转换定义语言往往是多种多样的.本文阐述了对一个可满足这种需要的元建模平台的研制.其中着重论述了对建模语言的元模型和表示法进行建模的技术,建模语言质量保证机制,... 由于当今软件系统的复杂性,模型驱动的软件开发中需要的建模语言和转换定义语言往往是多种多样的.本文阐述了对一个可满足这种需要的元建模平台的研制.其中着重论述了对建模语言的元模型和表示法进行建模的技术,建模语言质量保证机制,以及针对所建立的建模语言和转换定义语言提供自动生成相应工具的设施. 展开更多

关键词 元建模 模型驱动开发 平台

在线阅读 下载PDF 职称材料

一种基于模型驱动的笔式界面开发框架研究 被引量：3

3

作者 陈明炫 邓昌智 +2 位作者 任磊 田丰 戴国忠 《电子学报》 EI CAS CSCD 北大核心 2011年第2期268-274,共7页

本文针对笔式用户界面开发的需求个性化、平台多样化和开发难度大的问题,提出了一种基于模型驱动的笔式界面开发框架.首先,提出了一种笔式用户界面开发架构,对笔式用户界面的特点进行抽象与描述;然后基于模型驱动开发方法提出了笔式界... 本文针对笔式用户界面开发的需求个性化、平台多样化和开发难度大的问题,提出了一种基于模型驱动的笔式界面开发框架.首先,提出了一种笔式用户界面开发架构,对笔式用户界面的特点进行抽象与描述;然后基于模型驱动开发方法提出了笔式界面的平台无关模型PIPIM以及笔式界面的平台相关模型PIPSM,并建立了PIPIM与PIPSM之间的转换方法;最后,给出了一个基于模型驱动的笔式界面开发工具Iris,并使用Iris开发了一个笔式个人信息管理系统.应用实例表明:该基于模型驱动的笔式界面开发框架能够有效支持笔式界面开发、降低开发复杂性. 展开更多

关键词 模型驱动 笔式界面 软件开发方法 人机交互

在线阅读 下载PDF 职称材料

基于模型驱动架构的软件开发模式研究 被引量：5

4

作者 薛振伟 吴志杰 杨德成 《兵工自动化》 2007年第5期92-92,94,共2页

基于模型驱动架构(MDA)的软件开发模式,软件开发生命周期由软件系统建模行为驱动,整个开发过程围绕模型的创建和变换开展。其中,计算无关模型(CIM)是通常意义上的“业务模型”。在分析阶段,由平台无关模型(PIM)分析员开发1个PIM。在设... 基于模型驱动架构(MDA)的软件开发模式,软件开发生命周期由软件系统建模行为驱动,整个开发过程围绕模型的创建和变换开展。其中,计算无关模型(CIM)是通常意义上的“业务模型”。在分析阶段,由平台无关模型(PIM)分析员开发1个PIM。在设计阶段,由平台相关模型(PSM)创建者将PIM变换成1个或多个PSM。整个开发过程中,变换定义开发者结合具体的变换工具来开发变换定义。 展开更多

关键词 模型驱动架构 软件开发模式 计算无关模型 平台无关模型 平台相关模型

在线阅读 下载PDF 职称材料

模型驱动在数控系统开发中的应用研究 被引量：7

5

作者 杜道山 李从心 《青岛大学学报（工程技术版）》 CAS 2005年第3期53-59,共7页

开放式数控系统的研究已经成为目前数控系统研究的热点,模型驱动开发技术是目前软件开发研究的先进技术。为研究模型驱动技术在数控系统软件开发中的应用,作者分析了当前数控系统设计开发中的一些问题,在开放式数控系统软件常用的开发... 开放式数控系统的研究已经成为目前数控系统研究的热点,模型驱动开发技术是目前软件开发研究的先进技术。为研究模型驱动技术在数控系统软件开发中的应用,作者分析了当前数控系统设计开发中的一些问题,在开放式数控系统软件常用的开发技术基础之上,采用MDD(Model-Driven Developmen)软件设计的思想和开放式模式设计软件的模型结构,分析设计了数控系统的软件开发途径,提出了判断引擎和模式转换规则库相结合的数控模式仲裁模块设计,并利用有限状态机理论、利用Matlab和Stateflow工具箱建立了工作模式仲裁模块的行为状态模型,通过Matlab Simulink仿真环境可以实现对建立的行为模型进行了验证。通过在MATLAB中调试和进行模型的有效验证,可以建立一个无逻辑错误的可执行模型,可以仿真数控系统的运行情况,检验模型是否按照期望的模式在运行。通过这种方法设计开发软件,可使描述文档的问题尽早发现,也使软件的修改更新工作变得简单易操作,而软件的开放性特征也得到了很好地体现。 展开更多

关键词 开放式数控系统 模型驱动开发 有限状态机

在线阅读 下载PDF 职称材料

面向航天领域的模型驱动软件设计开发方法 被引量：4

6

作者 张涛 秦凯 +3 位作者 王楠 王海鹏 梁运畅 王智飞 《航天控制》 CSCD 北大核心 2017年第5期74-79,97,共7页

针对航天嵌入式任务关键软件特点,研究基于AADL模型,实现对其结构模型、行为模型、故障模型和执行模型的多维度描述。通过构造其代码规则模板,实现从模型到源程序的自动化映射,降低编程工作量。研究将AADL模型转换为故障树模型和时间自... 针对航天嵌入式任务关键软件特点,研究基于AADL模型,实现对其结构模型、行为模型、故障模型和执行模型的多维度描述。通过构造其代码规则模板,实现从模型到源程序的自动化映射,降低编程工作量。研究将AADL模型转换为故障树模型和时间自动机模型,分析验证软件安全性与可调度性;通过构建航天领域模型库,支持大规模软件复用。最后,基于所开发的航天型号软件模型驱动开发平台,对航天飞行器GNC系统的软件开发进行了初步验证,结果表明模型驱动的软件开发方法能有效提高航天型号软件开发效率和质量。 展开更多

关键词 模型驱动软件开发 软件代码生成 软件安全性分析 软件可调度性分析

在线阅读 下载PDF 职称材料

基于项目驱动的DACUM模型Java课程开发建设研究 被引量：8

7

作者 朱红英 赖蘋华 宫晓曼 《科技通报》 北大核心 2014年第11期241-244,共4页

Java语言是目前流行的一种网络编程语言,但是涉及的知识点多,入门难,高职学生基础较薄弱,学习主动性不太高,容易遇难而退。针对这一问题本文说明了项目驱动教学的重要性,根据DA-CUM模型分析介绍了项目驱动的java课程教学模式,从课程设... Java语言是目前流行的一种网络编程语言,但是涉及的知识点多,入门难,高职学生基础较薄弱,学习主动性不太高,容易遇难而退。针对这一问题本文说明了项目驱动教学的重要性,根据DA-CUM模型分析介绍了项目驱动的java课程教学模式,从课程设计、课程群建设、考核方式改革、教学资源建设等方面讨论了项目驱动的DACUM模型Java课程建设应解决的相关问题,给出了贯穿式项目教学的教学设计方案,基于DACUM模型分析设置了java课程群建设相关的java、java高级编程、jsp等系列课程,具体分析并提出了项目驱动的DACUM模型《JAVA编程基础》考核方案。通过实践表明,本文所提出的基于项目驱动的DACUM高职java课程开发与建设,能够有效的加强高职院校对于java课程的教学,具有很强的拓展性,适用性很好。 展开更多

关键词 项目驱动 DACUM模型 课程开发与建设

在线阅读 下载PDF 职称材料

基于数据模型驱动的舰载指控系统模型开发 被引量：2

8

作者 陈志刚 陈苏杭 《舰船电子工程》 2019年第3期21-24,共4页

为了实现数据模型驱动的舰载指控系统模型的开发,实际上就是实现了MDA思想中的PIM到PSM的实际代码转换。论文通过建立基于XSD的舰载指控系统数据模型,提出了一种系统开发的数据模型驱动方法,解决了系统开发过程中通用性低、结构性重复... 为了实现数据模型驱动的舰载指控系统模型的开发,实际上就是实现了MDA思想中的PIM到PSM的实际代码转换。论文通过建立基于XSD的舰载指控系统数据模型,提出了一种系统开发的数据模型驱动方法,解决了系统开发过程中通用性低、结构性重复代码多的问题,很大程度地提高了系统的开发效率。 展开更多

关键词 舰载指控系统 数据模型驱动 模型驱动架构 XML模式定义 模型开发

在线阅读 下载PDF 职称材料

一种模型驱动的Web应用系统开发方法

9

作者 侯金奎 万建成 王帅强 《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2007年第S1期92-96,共5页

为解决模型驱动开发过程中高层模型描述和模型转换方面存在的问题,以软件体系结构为基础,通过对UML进行扩展,提出了一种平台无关的Web应用建模方法,包括体系结构模型、逻辑视图、静态视图和界面展示视图四部分。然后基于源模型语义特征... 为解决模型驱动开发过程中高层模型描述和模型转换方面存在的问题,以软件体系结构为基础,通过对UML进行扩展,提出了一种平台无关的Web应用建模方法,包括体系结构模型、逻辑视图、静态视图和界面展示视图四部分。然后基于源模型语义特征在目标语义域中的重新构造,依据转换两端建模元素的语法结构和语义表达特性定义模型间的映射规则,实现模型转换和目标代码生成。以J2EE作为目标平台进行实验验证,表明此方法保持了高层模型的平台无关特性,能够对模型驱动的软件开发提供有力的支持。 展开更多

关键词 模型驱动开发 WEB应用系统 平台无关模型 模型映射

在线阅读 下载PDF 职称材料

模型驱动的领域软件开发方法研究 被引量：1

10

作者 王飞 《中国新通信》 2014年第5期113-113,共1页

本文从企业级应用的系统开发现状入手,分析驱动数据库设计方法在Web应用开发中的不足,从而引出模型驱动的领域软件的设计方法,介绍了基于模型驱动的领域软件设计方法的开发模式。

关键词 模型驱动 领域 软件开发

在线阅读 下载PDF 职称材料

SCADE模型驱动开发过程研究及高安全性分析 被引量：7

11

作者 李虎 马晋 +1 位作者 郑凤 张鹏程 《航空电子技术》 2013年第1期15-19,共5页

本文以模型驱动开发(MDD)为契合点,在统一软件开发过程(RUP)的坚实与敏捷开发方法的灵动之间找到一种平衡,详细介绍了基于高安全性应用程序开发环境(SCADE)模型驱动软件开发过程。它具有连贯迭代、持续构建的特点,同时综合测试的理念贯... 本文以模型驱动开发(MDD)为契合点,在统一软件开发过程(RUP)的坚实与敏捷开发方法的灵动之间找到一种平衡,详细介绍了基于高安全性应用程序开发环境(SCADE)模型驱动软件开发过程。它具有连贯迭代、持续构建的特点,同时综合测试的理念贯穿始终。结合航空项目软件研制过程中时间节点紧、需求变化频繁、软件安全性要求高等特点,以某项目为实例,通过需求分析、模型设计、设计验证、安全性分析、代码生成等过程,结果表明基于SCADE模型驱动开发过程既可以借助RUP定义的流程,又是有效地实施敏捷开发的最佳实践,同时大大提高了软件的安全性。 展开更多

关键词 统一软件开发过程(RUP) 敏捷开发 模型驱动开发(mdd) 高安全性应用程序开发环境(SCADE) 高安全性软件

在线阅读 下载PDF 职称材料

模型驱动的座舱显示软件一体化开发及验证方法研究 被引量：4

12

作者 董勐 沈晶晶 +3 位作者 张海军 刘晓宏 刘俊锋 郭晓光 《电光与控制》 北大核心 2018年第2期92-97,共6页

为适应座舱人机交互显控技术的发展,基于现有的模型开发思想,结合座舱显示软件的开发需求,提出一种模型驱动的座舱显示软件一体化开发及验证方法,对软件架构分层设计,清晰地分离出了底层驱动和模型业务,实现软件全生命周期的图形化建模... 为适应座舱人机交互显控技术的发展,基于现有的模型开发思想,结合座舱显示软件的开发需求,提出一种模型驱动的座舱显示软件一体化开发及验证方法,对软件架构分层设计,清晰地分离出了底层驱动和模型业务,实现软件全生命周期的图形化建模、集成与仿真,构建可复用、可配置的松耦合软件架构,建立一体化的模型开发与验证方案。通过多个软件项目实践,开展与传统"以代码为中心"开发模式的对比,证明该方法能够更为高效、高质量地实现显示软件的开发与验证,可广泛应用于座舱显示控制技术领域。 展开更多

关键词 座舱显示软件 模型驱动 一体化 开发及验证 航空电子系统

在线阅读 下载PDF 职称材料

基于MDD的住宅报警系统开发模型分析 被引量：1

13

作者 岳辉 王全宇 《兰州交通大学学报》 CAS 2013年第4期31-34,共4页

应用MDD方法,提出了住宅报警系统开发的模型分析方法,涉及开发过程中需求与分析2个阶段.功能性需求通过用例建模搭建.非功能性需求用自然语言文本表述.系统结构用UML类图建模,系统行为通过状态图描述.建模实践说明,MDD方法是实时和并行... 应用MDD方法,提出了住宅报警系统开发的模型分析方法,涉及开发过程中需求与分析2个阶段.功能性需求通过用例建模搭建.非功能性需求用自然语言文本表述.系统结构用UML类图建模,系统行为通过状态图描述.建模实践说明,MDD方法是实时和并行控制系统模型分析的有效方法. 展开更多

关键词 模型驱动开发方法 统一建模语言 报警系统 模型分析

在线阅读 下载PDF 职称材料

基于模型驱动的汽车电子软件开发方法研究 被引量：1

14

作者 查正运 《科技创新与应用》 2015年第25期76-76,共1页

汽车发展和研究对于人们的生活方式具有很大的改变,不断应用汽车电子技术为制造汽车产业提供了发展依据,也为汽车增加了更丰富和更完美的功能。目前,汽车产业已经逐渐开始使用比较先进的控制系统进行控制,广泛应用嵌入式系统为汽车未来... 汽车发展和研究对于人们的生活方式具有很大的改变,不断应用汽车电子技术为制造汽车产业提供了发展依据,也为汽车增加了更丰富和更完美的功能。目前,汽车产业已经逐渐开始使用比较先进的控制系统进行控制,广泛应用嵌入式系统为汽车未来发展提供方向,也昭示着汽车未来正朝着高度信息化发展。 展开更多

关键词 模型驱动 汽车电子 软件开发

在线阅读 下载PDF 职称材料

模型驱动的软件开发模式研究 被引量：1

15

作者 赵晓峰 《信息技术与信息化》 2015年第7期190-191,共2页

随着我国社会和经济的快速发展,信息化技术已经成为当今社会的主导,因此对软件的需求量相对来说也越来越大。因此,首先对模型驱动架构的相关概念以及模型驱动的软件体系结构进行了介绍和分析,然后对模型驱动的软件开发步骤和模式进行分... 随着我国社会和经济的快速发展,信息化技术已经成为当今社会的主导,因此对软件的需求量相对来说也越来越大。因此,首先对模型驱动架构的相关概念以及模型驱动的软件体系结构进行了介绍和分析,然后对模型驱动的软件开发步骤和模式进行分析和研究,从而总结出其特点。 展开更多

关键词 模型驱动 软件开发 PIM CIM PSM

在线阅读 下载PDF 职称材料

基于模型驱动的高速铁路ATO系统TSRS设备软件开发 被引量：1

16

作者 郭伟 钱金龙 +1 位作者 陈希 臧一佩 《铁道通信信号》 2019年第7期45-49,共5页

高速铁路ATO系统是在既有高速铁路列车控制系统基础上实现列车自动驾驶功能的列控系统,通过对ATO系统的地面关键设备TSRS进行软、硬件改造及升级,使其具备车-地通信功能,从而实现ATO系统的车站自动发车、区间自动运行、到站自动停车、... 高速铁路ATO系统是在既有高速铁路列车控制系统基础上实现列车自动驾驶功能的列控系统,通过对ATO系统的地面关键设备TSRS进行软、硬件改造及升级,使其具备车-地通信功能,从而实现ATO系统的车站自动发车、区间自动运行、到站自动停车、车门开门防护、车门/站台门联动控制等智能化功能.本文研究了基于SCADE的模型驱动软件开发技术,并将其应用在车-地通信功能设计开发过程中.通过对模型进行验证、仿真测试和集成测试,最终验证了开发结果的正确性. 展开更多

关键词 高速铁路 ATO系统 临时限速服务器 高安全性应用开发环境 模型驱动开发

在线阅读 下载PDF 职称材料

模型驱动开发在安全苛求系统中的应用

17

作者 王庆胜 朱罕 《城市轨道交通研究》 北大核心 2016年第B08期55-59,共5页

主要探讨了安全苛求系统在新需求下,如何在提高软件功能安全性的同时保证软件的质量和可信性。首先分析了在典型领域内安全苛求系统开发的标准流程,然后提出了基于模型驱动开发(MDD)SCADE(安全苛求应用开发环境)工具的开发流程。目的是... 主要探讨了安全苛求系统在新需求下,如何在提高软件功能安全性的同时保证软件的质量和可信性。首先分析了在典型领域内安全苛求系统开发的标准流程,然后提出了基于模型驱动开发(MDD)SCADE(安全苛求应用开发环境)工具的开发流程。目的是规范和指导领域内安全苛求系统中的MDD开发,最终可以实现降低软件开发成本、提高软件交付质量和确保软件安全性的目的。 展开更多

关键词 安全苛求系统 模型驱动开发 安全苛求应用开发环境

在线阅读 下载PDF 职称材料

工作量估算模型在软件开发平台上的应用 被引量：2

18

作者 陈汶滨 王力 刘义军 《兵工自动化》 2009年第3期90-91,96,共3页

针对基于企业内部开发平台的软件项目开发,选取COCOMO Ⅱ模型中合理的比例因子和成本驱动因子,提出对COCOMO Ⅱ模型的常数A进行校准的方法,使软件开发工作量的估算更加准确,并提取在企业内部软件开发平台上完成的5组项目数据进行举例说明。

关键词 软件开发工作量 COCOMO Ⅱ模型 估算模型 开发平台 比例因子 成本驱动因子

在线阅读 下载PDF 职称材料

基于XP的测试驱动过程模型研究 被引量：3

19

作者 冯亚丽 于志刚 李荣辉 《沈阳大学学报》 CAS 2007年第2期21-25,共5页

分析了敏捷过程和极限编程的价值观、实现准则,论述了测试驱动开发的核心理念及其过程.并在分析传统软件生命周期模型的基础上,提出了测试驱动过程模型,并对测试驱动过程模型进行了详细阐述.通过实验对比,分析了其相对于传统开发模型高... 分析了敏捷过程和极限编程的价值观、实现准则,论述了测试驱动开发的核心理念及其过程.并在分析传统软件生命周期模型的基础上,提出了测试驱动过程模型,并对测试驱动过程模型进行了详细阐述.通过实验对比,分析了其相对于传统开发模型高效率、低成本、适应需求变化的特点,具有可操作性. 展开更多

关键词 极限编程 测试驱动开发 测试驱动过程模型

在线阅读 下载PDF 职称材料

基于AADL和SCADE的模型驱动软件设计 被引量：1

20

作者 刘芮滦 邓杨 龚彬 《太赫兹科学与电子信息学报》 北大核心 2020年第6期1117-1121,共5页

模型驱动开发逐渐应用于嵌入式系统的软件设计,在软件设计阶段重点关注的是软件的架构模型和详细功能模型。用于嵌入式系统软件建模的语言和工具很多,其中结构分析与设计语言(AADL)模型可以构建嵌入式软件的架构,高安全性应用开发环境(S... 模型驱动开发逐渐应用于嵌入式系统的软件设计,在软件设计阶段重点关注的是软件的架构模型和详细功能模型。用于嵌入式系统软件建模的语言和工具很多,其中结构分析与设计语言(AADL)模型可以构建嵌入式软件的架构,高安全性应用开发环境(SCADE)模型可以描述嵌入式软件的逻辑功能,将两者统一使用可以满足嵌入式软件概要设计和详细设计的建模需求。针对某飞行器控制系统,本文分别使用AADL和SCADE对飞行器控制系统软件架构和功能进行建模,利用KCG工具从SCADE模型自动生成C代码,通过手工代码和自动生成代码的集成完成控制系统部分软件设计。实际应用表明,采用AADL和SCADE相结合的建模方法适用于模型驱动开发在嵌入式软件设计中应用。 展开更多

关键词 AADL模型 SCADE模型 模型驱动开发 嵌入式系统 自动代码生成

在线阅读 下载PDF 职称材料