检索结果-南通市图书馆

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

空间数据系统电子数据单工具链设计

航天器工程 2021年第4期30卷 91-98页

作者：周勇吉吕良庆白云飞中国科学院国家空间科学中心北京101499 中国科学院大学北京101408

为了提高星载信息系统在设计、测试、维护和运控过程中数据的流转效率,以电子数据单技术为基础,提出了电子数据单工具链的通用架构,给出的设计方案可实现数据文件的自动转换,有助于数据在各异构系统间的无缝传递。在航天器星载接口业务... 详细信息

为了提高星载信息系统在设计、测试、维护和运控过程中数据的流转效率,以电子数据单技术为基础,提出了电子数据单工具链的通用架构,给出的设计方案可实现数据文件的自动转换,有助于数据在各异构系统间的无缝传递。在航天器星载接口业务电子数据单(SEDS)基础上提出了适用于描述业务接口信息及其关系的S-SEDS,为业务间的信息交换提供了解决途径。以1553B总线电子数据单为实例对架构进行了验证,结果满足使用需求。文章为星载信息系统设计到应用全过程中的通用工具链设计提供了思路,有助于实现星载信息系统各部件的即插即用技术。

关键词：空间数据系统电子数据单工具链

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

支撑单片机实验教学的工具链及其自行设计

实验技术与管理 2014年第12期31卷 135-140页

作者：李学海曲文敬李影石家庄邮电职业技术学院电信系河北石家庄050021

专业级的工具链不仅成本很高,而且实验项目相对固定,因此不能很好地满足项目开发需要。为此,设计并优化了一款单片机综合学习应用开发实验仪,其中包含25个硬件模块电路,可以实现50余个实验项目,其特点是设计手法为模块化、应用方法为跨... 详细信息

专业级的工具链不仅成本很高,而且实验项目相对固定,因此不能很好地满足项目开发需要。为此,设计并优化了一款单片机综合学习应用开发实验仪,其中包含25个硬件模块电路,可以实现50余个实验项目,其特点是设计手法为模块化、应用方法为跨线式。它不仅可以替代全工具链,而且造价低廉,学生自己完全可以负担得起。

关键词： 80C51 单片机实践教学实验仪工具链

维普期刊数据库

信息物理融合生产线模型驱动工具链开发关键技术研究

在线全文

学校读者我要写书评

暂无评论

信息物理融合生产线模型驱动工具链开发关键技术研究

作者：张柳华南理工大学

学位级别：硕士

智能制造是指导制造业转型升级和实现生产模式转变的必然途径。然而,智能制造系统混合异构的开发工具间信息交互为系统开发带来重大挑战。在此背景下,基于模型驱动开发技术将开发工具的信息模型化,可有效地降低系统复杂性,提高开发效率... 详细信息

智能制造是指导制造业转型升级和实现生产模式转变的必然途径。然而,智能制造系统混合异构的开发工具间信息交互为系统开发带来重大挑战。在此背景下,基于模型驱动开发技术将开发工具的信息模型化,可有效地降低系统复杂性,提高开发效率,对智能制造的理论研究和技术实现具有重要意义。本文以面向信息物理融合生产线的模型驱动工具链开发为研究目标,主要完成的工作如下:首先,提出信息物理融合生产线的信息集成架构,分析了Automation ML、领域特定建模语言、模型转换和通用建模环境等相关技术与开发平台的优势和特点,为信息物理融合生产线模型驱动工具链的开发奠定基础。其次,基于信息集成架构,提出信息物理融合生产线模型驱动开发方法。基于提出的生产线建模理念构建生产线元模型和领域模型;定义领域模型到本体模型、形式化模型和逻辑行为模型的映射规则,作为实现生产线语义推理及规划调度、功能与性能验证和虚拟调试的基础;定义领域模型到OPC UA信息模型的映射规则,基于OPC UA的开源实现open62541进行代码生成,用于面向信息物理融合生产线中不同制造单元的信息化通信框架的部署。再次,提出信息物理融合生产线工具集成方法,选用通用建模环境GME作为工具集成平台,提出了涵盖建模工具AML Editor、语义推理工具Apache Jena、规划调度工具、形式化验证工具CPN Tools、自动控制程序开发与运行工具Eclipse 4diac FORTE、生产过程仿真工具Coppelia Sim、工具集成平台GME等面向开发过程中不同环节的模型驱动工具链,并通过实现面向不同工具的模型解释器实现统一集成。最后,依托华南理工大学智能制造实验室的智能生产线原型平台,采用本文所构建的模型驱动工具链进行生产线开发,并基于具体加工案例进行展示。实验结果验证了采用该工具链进行生产线开发的合理性和有效性。

关键词：信息物理融合生产线模型驱动开发工具链 Automation ML 模型转换

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

集成设计环境基于模型的软件工具链

集成设计环境基于模型的软件工具链

作者：鄢来琼汕头大学

学位级别：硕士

随着嵌入式系统复杂性的增加和嵌入式产品中软件比重的提升,嵌入式软件的质量和开发效率逐渐成为嵌入式产品成功与否的关键性因素,因此提高嵌入式软件质量和开发效率已成为学术界和工业界的热点问题。在此背景下,为了提高嵌入式软件开... 详细信息

随着嵌入式系统复杂性的增加和嵌入式产品中软件比重的提升,嵌入式软件的质量和开发效率逐渐成为嵌入式产品成功与否的关键性因素,因此提高嵌入式软件质量和开发效率已成为学术界和工业界的热点问题。在此背景下,为了提高嵌入式软件开发的效率和系统的稳定性,模型集成计算（Model-Integrated Computing, MIC）方法被提出用于构建嵌入式系统。模型集成计算方法强调把模型作为构建系统的主体。在模型集成计算框架下,首先运用特定领域的建模语言（Domain Specific Modeling Language, DSML）在图形化的环境中描述系统的需求、架构及其环境,然后运用模型转换工具将系统模型转换为模型验证工具的模型,最后运用模型翻译器将系统模型翻译为特定平台上可执行代码。模型集成计算框架中的特定领域模型的建模工具、模型验证工具、模型转换工具以及用于翻译可执行代码的模型翻译器均处于同一语义单元之下,它们无缝的链接在一起,形成嵌入式系统设计软件工具链。在本论文中,我们在混合自动机（Hybrid Automaton）计算模型（Model of Computing, MoC）之下,构建一条将MatLab/SIMULINK?仿真软件下的混合系统模型转换为语义单元（Semantic Unit）SAHA模型,然后将SAHA模型转换为模型验证工具ReachLab模型的工具链。在这个工具链中,我们运用基于模型的翻译器把SAHA模型翻译为PtolemyII可以执行的MoML程序代码。同时,我们在数据流（Datafolw）计算模型（MoC）之下,构建一条将MatLab/SIMULINK?仿真软件下的滤波器模型转换为语义单元（Semantic Unit）数据流模型,然后运用基于模型的翻译器将Dataflow模型翻译为MatLab/SIMULINK?可执行的SFunction的C语言程序代码。

关键词：模型集成计算语义锁定工具链混合自动机数据流

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于模型的软件工具链的设计与实现

基于模型的软件工具链的设计与实现

作者：宋亮亮汕头大学

学位级别：硕士

为了提高嵌入式软件开发的效率和系统的稳定性,模型整合计算(Model-Integrated Computing, MIC)方法被提出用于构建嵌入式系统。模型整合计算方法扩展了模型在系统开发中的用途和范围,在模型整合计算框架下,通过对元模型抽象特定领域的... 详细信息

为了提高嵌入式软件开发的效率和系统的稳定性,模型整合计算(Model-Integrated Computing, MIC)方法被提出用于构建嵌入式系统。模型整合计算方法扩展了模型在系统开发中的用途和范围,在模型整合计算框架下,通过对元模型抽象特定领域的建模语言(Domain Specific Modeling Language, DSML)在图形化的环境中描述系统的需求、架构以及环境,以实现该领域的工程人员对其特定的应用进行快速的定制。模型集成框架中型框架下的语义单元,利用CME模型实现Ptolemy II模型在GME环境中的描述,通过ECSLP模型在GME环境中实现对Simulink仿真模型的描述,建立转换器将ECSLP模型转换到CME模型,然后将CME模型转换到Ptolemy II模型。在软件工具链中,运用模型来描述系统可以提高系统设计的抽象层次,简化了嵌入式系统的开发;此外,利用工具链中模型之间的相互转换,可以对不同工具下的系统模型进行重用,提高了系统开发的效率的特定领域的建模仿真工具、模型转换工具以及用于翻译可执行代码的模型翻译器,都统一于同一语义单元之下,通过无缝的链接,形成嵌入式系统设计软件工具链。本论文构建了一条可以整合不同的基于模型软件的工具链,实现从Simulink模型到Ptolemy II模型的转换。Simulink是一种可视化数据流程序设计语言,Ptolemy II可以对异构系统进行设计和仿真,且支持多种已定义的计算模型(Model of Computation, MoC),每种工具各自的建模语言有不同的语法、语义。构建该工具链以通用建模环境(Generic Modeling Environment, GME)中构建的CME(Constrained Modeling Environment)作为语义单元,CME元模型基于Ptolemy II的类图(ClassDiagram),可以实现Ptolemy II模型在GME中的描述。在工具链中,利用转换器将Simulink在GME环境中的元模型ECSLP模型转换到语义锁定单元CME模型,再将CME模型通过翻译器翻译成Ptolemy II模型,利用模型整合计算中的语义锁定理论保证不同模型相互转换的语义一致性。以CME为中心建立的软件工具链,整合了基于模型的具有不同领域建模语言的工具,从而简化了嵌入式系统的设计,更准确高效的进行嵌入式软件的开发。

关键词：模型整合计算工具链模型转换语义锁定 CME

符合AUTOSAR规范的汽车软件开发工具链及其应用流程

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

机电一体化 2018年第3期24卷 47-52,64页

作者：单忠伟宋珂章桐同济大学汽车学院上海201804 同济大学新能源汽车工程中心上海201804

在分析AUTOSAR架构及方法论的基础上,以系统级、软件组件级、ECU级开发为分类标准,系统地介绍了目前主要的一些AUTOSAR系统开发工具。以基于MATLAB/Simulink/Stateflow、ETAS工具与EB tresos Studio组成的AUTOSAR系统解决方案为例,详细... 详细信息

在分析AUTOSAR架构及方法论的基础上,以系统级、软件组件级、ECU级开发为分类标准,系统地介绍了目前主要的一些AUTOSAR系统开发工具。以基于MATLAB/Simulink/Stateflow、ETAS工具与EB tresos Studio组成的AUTOSAR系统解决方案为例,详细介绍了一种基于AUTOSAR工具链的汽车软件开发流程,其中利用已有应用层控制模型的软件组件级开发,可减少原有控制软件进行AUTOSAR规范化的工作量。

关键词： AUTOSAR 方法论工具链汽车软件 ECU

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

AI芯片+工具链：打造基础技术平台

中国公共安全 2020年第3期 150-152页

作者：钱平

要真正实现智慧城市的交通大脑,需要扎实的技术为基础。这也是在中国推动智能化驾驶的商业化进程的必要之路。具有"汽车奥运会"之称的法兰克福车展在2019年以"驶向未来"为主题,吸引了来自全球的顶尖车厂、科技公司同台竞技。具备世界领... 详细信息

要真正实现智慧城市的交通大脑,需要扎实的技术为基础。这也是在中国推动智能化驾驶的商业化进程的必要之路。具有"汽车奥运会"之称的法兰克福车展在2019年以"驶向未来"为主题,吸引了来自全球的顶尖车厂、科技公司同台竞技。具备世界领先技术的人工智能企业地平线携其高性能、低功耗、低延时的最新边缘AI芯片及解决方案亮相车展,向全世界展示了其产品实力与商业落地能力。在地平线展台,中国首款车规级AI芯片——征程二代重磅亮相,这也是该芯片的海外首展。

关键词：地平线先发优势工具链智能驾驶技术平台

同方期刊数据库

运用各类金融工具链支持产业链发挥协同效应——专访宁夏回族自治区金融工作局副局长刘正虎

在线全文

学校读者我要写书评

暂无评论

新商务周刊 2016年第1期 14-17页

作者：刘静

金融是现代经济的核心,金融活则经济活.近几年,随着“内陆开放型经济试验区”战略深入推进,宁夏金融业步入加速发展新阶段.借助信贷资源、资本市场、引导基金,宁夏金融业不断优化金融资源配置,着力构建多层次、高效率的融资体系,疏通金... 详细信息

金融是现代经济的核心,金融活则经济活.近几年,随着“内陆开放型经济试验区”战略深入推进,宁夏金融业步入加速发展新阶段.借助信贷资源、资本市场、引导基金,宁夏金融业不断优化金融资源配置,着力构建多层次、高效率的融资体系,疏通金融支持实体经济管道,同时,充分调动各金融机构的积极性和主动性,打出了“财政+银行+担保+保险”的“组合拳”,将金融自身实力转化为服务实体经济的动力,为地区产业结构调整和转型升级创造了良好的金融环境.

关键词：运用金融工作工具链产业链协同效应专访宁夏回族自治区实体经济金融业产业结构调整融资源配置开放型经济资本市场转型升级信贷资源融资体系金融支持金融机构金融环境

来源：评论

学校读者我要写书评

暂无评论

数智化体系正向设计方法及工具链

中国科技成果 2024年第16期25卷 49-51页

作者：无徐珞蒋颀樊志强夏晓凯孔瑞远董书瀚李敏王德荣牛婵王真李晋轲赵丽娴陈方悦李皓申亚雪中国电子科技集团公司信息科学研究院(中国电科智能科技研究院) 不详中国电科智能科技研究院空军研究院中国电科智能科技研究院体系实验室

"数字化体系正向设计方法及工具链"项目面向作战概念研讨、场景设计、体系架构构建、能力验证评估等重大需求,创新提出了数智化体系正向设计方法,并研制了贯穿全过程的工具链,解决了体系正向设计存在的全过程方法缺失、数据不能全程贯... 详细信息

"数字化体系正向设计方法及工具链"项目面向作战概念研讨、场景设计、体系架构构建、能力验证评估等重大需求,创新提出了数智化体系正向设计方法,并研制了贯穿全过程的工具链,解决了体系正向设计存在的全过程方法缺失、数据不能全程贯通、智能化手段弱导致的工作量大、数据一致性差和效用效果不明显等问题,形成了自主可控的面向体系正向设计全过程的数智化工具链.项目研发的方法和工具链在多个重大工程任务中得到了良好的应用,大幅度提升了智能化体系的数字化、智能化设计和验证能力.

关键词：工具链数据一致性正向设计智能化设计体系架构验证评估智能化体系作战概念