检索结果-内蒙古大学图书馆

机械设计与制造 2023年第12期394卷 263-267,274页

作者：唐香蕉杨天赵坤林继龙上汽通用五菱汽车股份有限公司广西柳州545007 中国汽车技术研究中心有限公司天津300300

作为新能源汽车的关键部分,插电式混合动力汽车在节能减排方面发挥着很大的作用,而控制策略是其核心技术之一。为了提高混动车辆的开发效率并满足系统性能要求,以某插电式混合动力系统为样本,首先通过实验及分析,对标解析出整车控制策略... 详细信息

作为新能源汽车的关键部分,插电式混合动力汽车在节能减排方面发挥着很大的作用,而控制策略是其核心技术之一。为了提高混动车辆的开发效率并满足系统性能要求,以某插电式混合动力系统为样本,首先通过实验及分析,对标解析出整车控制策略,包括模式切换条件、能量管理策略、换挡机制等控制策略;然后依据整车对标策略,基于MATLAB/Simulink搭建整车控制策略模型,并仿真得到其经济性指标;最后将仿真结果与实验对标结果对比,进一步验证了整车控制策略及模型的准确性及实用性,从而实现了竞品车的模型化开发。

关键词：混合动力汽车模型化开发控制策略仿真分析

来源：评论

学校读者我要写书评

暂无评论

电动汽车增程器控制策略研究和模型化开发

电动汽车增程器控制策略研究和模型化开发

引用

作者：金一垒浙江大学

学位级别：硕士

汽车产业高速发展带来的能源和环境问题,促使各国大力推广和发展新能源汽车。相比纯电动汽车,增程式电动汽车因其较长的续航里程优势,受到了广泛关注。增程器是增程式电动汽车的核心动力零部件,其控制策略优劣直接和整车的动力性、经济... 详细信息

汽车产业高速发展带来的能源和环境问题,促使各国大力推广和发展新能源汽车。相比纯电动汽车,增程式电动汽车因其较长的续航里程优势,受到了广泛关注。增程器是增程式电动汽车的核心动力零部件,其控制策略优劣直接和整车的动力性、经济性和排放性能相关。本文采用模型化设计方法,设计了面向增程器起停及发电功率跟随的控制策略,并完成了模型化开发和仿真、试验验证。本文针对某款增程器,在深入研究其系统组成工作原理基础上,提出了基于最佳运行工况轨迹的增程器发电功率跟随控制策略,完成了控制策略总体方案设计,并对包括增程器工作状态迁移模块、目标发电功率给定模块、机械功率前馈-反馈控制模块和基于最佳运行工况轨迹的目标扭矩/转速给定模块等在内的各个功能子模块进行了详细设计。随后基于MATLAB/Simulink平台,参照MAAB建模规范,对增程器控制器发电功率跟随控制策略进行了整体框架和具体功能模块的模型化开发,并基于Model Advisor、Design Verifier等工具,通过设计测试案例对模型规范、功能等进行了验证。为进一步验证增程器发电控制策略的有效性,本文采用MATLAB Embedded Coder对上述控制策略模型进行了自动代码生成,通过编写中间件实现了控制策略应用层代码和基础软件整合,并下载到现有增程器控制器硬件中进行台架和整车测试。台架试验结果表明增程器实现了起停控制和发电功能,其运行工况曲线符合预设工作轨迹,发电功率稳态误差不超过0.5k W,瞬态功率超调量小于1.5k W。整车试验结果也表明,增程器在实车运行中工作稳定,瞬态功率超调量不到1.5k W,稳态功率误差小于0.6k W。

关键词：增程器控制策略模型化开发功率跟随 MAAB建模规范

来源：评论

学校读者我要写书评

暂无评论

复杂系统软件模型化开发方法研究

复杂系统软件模型化开发方法研究

引用

2019第七届中国指挥控制大会

作者：张志刚张元忠北京京航计算通讯研究所质量与信息化处军委装备发展部装备价格评审中心

复杂系统软件是复杂系统的核心功能,复杂系统软件的开发关乎复杂系统开发成败的关键。应用模型化方法对复杂系统软件进行开发,能有效地提高软件的一致性和可重用性,并降低风险。本文首先简要介绍了复杂系统软件的模型化开发解决方案,进... 详细信息

复杂系统软件是复杂系统的核心功能,复杂系统软件的开发关乎复杂系统开发成败的关键。应用模型化方法对复杂系统软件进行开发,能有效地提高软件的一致性和可重用性,并降低风险。本文首先简要介绍了复杂系统软件的模型化开发解决方案,进而详细分析了该方案中主要的技术原理,包括可视化统一建模技术、IDE嵌入适配技术和模型转换桥接技术,最后分析了模型化开发为复杂系统软件带来的好处。

关键词：模型化开发复杂系统软件建模适配桥接

来源：评论

学校读者我要写书评

暂无评论

嵌入式系统及模型化开发技术研究

引用

现代电子技术 2016年第3期39卷 146-150页

作者：萨日那呼和浩特职业学院计算机信息学院内蒙古呼和浩特010051

随着电子技术的发展,嵌入式产品的丰富,消费者对嵌入式产品的功耗、性能、稳定性和安全性等方面提出了更高的要求,为了进一步缩短新产品的开发周期,减轻开发难度,提出基于Vx Works系统与Matlab/Simulink仿真工具的嵌入式系统软件平台,利... 详细信息

随着电子技术的发展,嵌入式产品的丰富,消费者对嵌入式产品的功耗、性能、稳定性和安全性等方面提出了更高的要求,为了进一步缩短新产品的开发周期,减轻开发难度,提出基于Vx Works系统与Matlab/Simulink仿真工具的嵌入式系统软件平台,利用PCI总线与TMS320F2812控制的嵌入式接口箱相连,扩展了开发平台的接口,并可自动生成嵌入式C代码以及自定义模块封装。最后,利用搭建的嵌入式开发平台设计了避雷器监测系统校验平台,进一步证明了嵌入式开发平台的稳定性和可靠性,并利用模型化开发技术加快了嵌入式系统的开发速度。

关键词：嵌入式系统模型化开发 Matlab/Simulink DSP 泄漏电流

来源：评论

学校读者我要写书评

暂无评论

基于模型化开发的嵌入式平台移动目标检测系统实现

基于模型化开发的嵌入式平台移动目标检测系统实现

引用

作者：邴笑然北京理工大学

学位级别：硕士

近年来视频移动目标检测算法已趋于成熟,在军事、安全、交通、航空航天等各个领域得到了广泛的应用。随着视频监控系统的需求增多,以及近年来嵌入式技术的不断发展,人们对于视频与图像处理系统的小型化、低功耗、清晰度与稳定性等方面... 详细信息

近年来视频移动目标检测算法已趋于成熟,在军事、安全、交通、航空航天等各个领域得到了广泛的应用。随着视频监控系统的需求增多,以及近年来嵌入式技术的不断发展,人们对于视频与图像处理系统的小型化、低功耗、清晰度与稳定性等方面有了新的要求。本研究采用罗技高清720P USB接入摄像头C270做为视频采集端,搭载3.0.15内核版本嵌入式Linux操作系统与四核Cortex A9高扩展性的***6 Quad ARM做为硬件处理平台。***6不仅小巧、功耗低,有着优秀的图像处理表现,且支持NEON操作,能够高质量地提升系统视频、图像处理的性能。以往传统基于ARM的图像处理开发方式,设计者既要研究视频图像算法,还要有较高水平的软件编程能力来将其实现,同时,针对特定处理器要熟练掌握内部寄存器的操作方法。这些都需要研究人员有跨专业跨领域的能力。专注研究算法的研究人员代码能力往往不是强项,而代码能力优秀的计算机专业人员对于视频图像处理算法往往不能很好的把握。这些情况给研究人员带来很大困扰,使得视频图像处理系统开发难度增加,延长了产品开发周期,带来经济效益的损失。为解决上述问题,本文提出了基于MATLAB/Simulink进行模型化软件开发的设计流程,流程使用Simulink图像处理模块库平台,采用帧差法、背景差法、光流场等算法进行模型搭建,应用MATLAB/Simulink/RTW工具箱,在Linux系统环境下生成嵌入式C语言算法代码、编译、移植并运行于ARM平台,这样,对开发人员代码能力的要求降到最低,可以大大缩短系统的开发周期。同时本文将嵌入式Web服务器boa移植于嵌入式设备,设计视频监控静态页面,并编写相应的视频图像CGI反馈程序做为用户网页动态请求,实现了移动目标检测视频图像处理结果的远程实时查看。综上,嵌入式与半实物仿真平台为视频图像处理研究人员提供了开发与算法的验证平台,并为基于ARM平台的算法设计与实现提供了新的方法和思路。

关键词： ARM 移动目标检测模型化开发 MATLAB/Simulink/RTW 嵌入式Web

来源：评论

学校读者我要写书评

暂无评论

基于ARM数字图像处理的模型化开发平台实现

基于ARM数字图像处理的模型化开发平台实现

引用

第十届全国信号和智能信息处理与应用学术会议

作者：周治国邴笑然林汝梁北京理工大学信息与电子学院北京航天万源科技公司

传统ARM图像处理的开发方式,设计者不但要有图像算法方面研究,还要具备很好的代码编写能力及嵌入式硬件基础,这都为开发者带来诸多不便。针对上述问题提出了采用MATLAB/Simulink模型化开发的方式,在该平台搭建基于光流场算法仿真模型,... 详细信息

传统ARM图像处理的开发方式,设计者不但要有图像算法方面研究,还要具备很好的代码编写能力及嵌入式硬件基础,这都为开发者带来诸多不便。针对上述问题提出了采用MATLAB/Simulink模型化开发的方式,在该平台搭建基于光流场算法仿真模型,并为嵌入式系统的开发进行了光流场算法优化,利用Simulink/RTW工具箱生成面向ARM的嵌入式C代码,在Linux系统环境下编译并移植于硬件板卡运行。该方法在很大程度上减轻了设计者开发系统平台的难度,开发人员只需将精力投入算法研究,无需进行繁琐的代码编写及ARM硬件平台的移植工作。

关键词： ARM 模型化开发背景差光流场 MATLAB/Simulink

来源：评论

学校读者我要写书评

暂无评论

基于形式化方法的安全苛求系统建模与验证研究

基于形式化方法的安全苛求系统建模与验证研究

引用

作者：仇俊颖广西民族大学

学位级别：硕士

安全苛求系统指对安全性和可靠性有极高要求的系统。安全苛求系统的正常运行非常依赖正确的功能场景和控制逻辑,因而使用有效的方法保证功能场景及控制逻辑的正确性十分重要。形式化方法是一种基于数学的系统开发和验证技术,具备严密的... 详细信息

安全苛求系统指对安全性和可靠性有极高要求的系统。安全苛求系统的正常运行非常依赖正确的功能场景和控制逻辑,因而使用有效的方法保证功能场景及控制逻辑的正确性十分重要。形式化方法是一种基于数学的系统开发和验证技术,具备严密的逻辑性,能发现系统的功能场景及控制逻辑存在的错误和缺陷,进而完善系统设计,达到增强系统安全性和可靠性的目的。随着社会的发展和科技的进步,安全苛求系统的规模在不断扩张,使得系统存在缺陷漏洞的风险大大增强,引入以严谨数学逻辑描述系统功能流程与性质的形式化方法来对安全苛求系统进行安全性验证具有重要的现实意义。本论文选取平交道口控制系统这一典型的安全苛求系统作为研究对象,针对传统平交道口控制系统存在的缺陷作了一定改进,设计并实现了与改进后平交道口控制系统相适应的形式化模型,并完成了模型的形式化验证,论文的研究成果主要有以下几点:1.全面分析了一般平交道口控制系统的功能和存在缺陷,针对当前存在缺陷提出了一种系统改进方案。改进后的系统解决了连续接车混乱、行人车辆滞留和预留制动距离短三大问题。根据改进后系统的组成部分及功能,提取了系统控制流程中保证可靠性的控制规范,实现了对平交道口控制系统的抽象化描述。2.设计了改进的平交道口控制系统的形式化模型。模型使用EVENT-B语言构建,采用逐步精化的建模思想,包含初始模型和四层精化模型,得到的模型可适用于大部分平交道口控制系统。3.结合自动证明和交互式证明两种方法完成了平交道口控制系统的形式化验证,通过不定式证明和Pro B仿真混合验证了所建立模型各项功能的有效性。验证结果表明,模型各项功能运转正常,具备安全性和可靠性,为平交道口控制系统的代码级开发奠定了基础。

关键词：安全苛求系统形式化方法 EVENT-B 模型化开发

来源：评论

学校读者我要写书评

暂无评论

基于B方法的安全苛求数据及功能场景的形式化验证研究

基于B方法的安全苛求数据及功能场景的形式化验证研究

引用

作者：程鹏西南交通大学

学位级别：硕士

安全苛求控制系统是一类对可靠性和安全性要求极高的系统,其正常运行依赖于正确的功能控制逻辑和配置数据。这样的配置数据称为安全苛求数据,这样的功能控制逻辑包含各个安全苛求功能场景。因而使用有效的方法保证安全苛求数据及功能场... 详细信息

安全苛求控制系统是一类对可靠性和安全性要求极高的系统,其正常运行依赖于正确的功能控制逻辑和配置数据。这样的配置数据称为安全苛求数据,这样的功能控制逻辑包含各个安全苛求功能场景。因而使用有效的方法保证安全苛求数据及功能场景的正确性显得十分重要。通过使用形式化方法来发现系统的数据及功能场景存在的错误和缺陷,进而完善系统设计,达到增强系统可靠性和安全性的目的。论文主要研究内容如下:(1)以安全苛求数据为研究对象,选取道岔、信号机、轨道区段、进路等铁路信号设备数据为研究案例,基于各个安全苛求数据的数据结构,先用自然语言描述各个安全苛求数据需要满足的静态规则,而后使用Atelier B工具建立数据所需要满足的静态规则的形式化模型,最后使用ProB模型检验工具,结合Graphviz可视化图形软件,验证分析已生成的各个安全苛求数据是否满足静态规则。在研究过程中,考虑到已生成的数据量庞大,使用支持Z语言格式转换的Epsilon脚本语言,实现了将形式定义后的数据自动导入至B模型文件。(2)以安全苛求功能场景为研究对象,选取具有安全风险特征的平交道口控制系统功能逻辑流程为研究案例,分析功能设计规范,析取得到各个基本功能场景和安全场景,先使用Simulink/Stateflow工具建模得到各个基本功能场景的半形式化模型,而后使用AterlierB工具建模得到各个基本功能场景的形式化模型,并用不变式描述安全属性,利用ProB模型检验工具检查功能模型是否满足不变式,结合AtelierB内建的交互式证明平台,完成对生成的证明义务的交互式证明。将上述半形式化模型和形式化模型生成可执行代码。基于各个基本功能场景和形式化验证过程中发现的缺陷,应用软件测试方法中的场景法和错误估计法,编写测试用例,使用BTC Embedded System商业测试验证平台,对生成的代码进行测试,测试结果表明,所建立的半形式化模型实现了各个基本功能,但存在违反安全属性的显性缺陷和建模不完善的隐性缺陷,所建立的形式化模型存在一个基本功能没有实现。基于测试结果,从一定程度上反映了半形式化建模方法更可能构建出具有较高实用性的模型,形式化建模方法更可能构建出具有较高安全性的模型。论文实现了安全苛求数据及功能场景的建模验证及测试,对系统建模开发过程中如何提升数据的正确性、模型的可靠性、安全性,提供了参考借鉴的意义。

关键词：安全苛求数据安全苛求功能场景模型化开发形式化方法功能测试

来源：评论

学校读者我要写书评

暂无评论

基于需求规约的ATP系统自动测试与结果分析

基于需求规约的ATP系统自动测试与结果分析

引用

作者：陈晓轩上海交通大学

学位级别：硕士

ATP(Automatic Train Protection,自动列车保护系统)软件是一个保证地铁列车安全运行的关键设备。传统的确认测试只能根据需求来设计用例,手动的执行测试,确认实现的软件是否符合需求,然后再通过附加一些场景测试用例,来增强安全场景的... 详细信息

ATP(Automatic Train Protection,自动列车保护系统)软件是一个保证地铁列车安全运行的关键设备。传统的确认测试只能根据需求来设计用例,手动的执行测试,确认实现的软件是否符合需求,然后再通过附加一些场景测试用例,来增强安全场景的测试。没有一套完整的,自动化的方法,从覆盖率,安全性,场景实现等各个角度对ATP软件进行系统的测试。在本文中,首先提出一种专有的领域模型需求规约ATPDL(Automatic Train Protection Description Language),通过运用该规约来书写ATP软件的需求,并通过从需求模型规约中提取出状态迁移图和变量关系图,帮助测试人员理解需求模型,更好的进行需求验证。同时,开发了一款工具,ATPDL tester,来支持整个方法的实现和应用。其次,工具为了支持场景测试和基于需求的两种测试方法,测试人员可以选择运用ATPDL-SL(ATPDL Scenario Language)来创建安全关键的场景测试脚本,或运用工具生成的,符合MC/DC覆盖准则(Modified Condition/Decision Coverage)的单元测试用例,来执行测试。ATPDL-SL是一种准确,易懂的场景描述语言,能将测试人员脑海中的场景,转变为计算机能够理解的脚本语言,并能直接生成驱动测试平台的执行文件,从而可以得到系统实现的结果。最后,实现一个模型规约执行器,自动执行场景描述的系统需求模型,通过将模型执行后的需求执行状态结果集合,结合自动化测试平台执行得到的实际软件实现状态结果集合,进行分析处理,最终得到模型与实现符合性的结论。目前整套方法已经应用于公司的实际工作中,极大的提高了效率,并且运用的工具得到了第三方审计机构的认可,顺利的帮助国产化ATP系统通过德国莱茵TüV集团的第三方安全审计,符合EN50128 SIL4级安全许可。

关键词： ATP 模型化开发软件确认测试需求验证测试用例生成场景测试

来源：评论

学校读者我要写书评

暂无评论

基于实时仿真平台的DSP技术研究

引用

现代电子技术 2016年第5期39卷 155-160页

作者：宗胜旺河北金融学院河北保定071051

在实时仿真技术为电力电子技术研究的重要课题之一的背景下,以DSP作为控制器,FPGA为仿真器实现目标实时仿真平台。针对DSP传统和模型化两种开发方式,提出基于Matlab/Simulink和Embedded Coder的控制器算法开发方法。在实时仿真平台上,... 详细信息

在实时仿真技术为电力电子技术研究的重要课题之一的背景下,以DSP作为控制器,FPGA为仿真器实现目标实时仿真平台。针对DSP传统和模型化两种开发方式,提出基于Matlab/Simulink和Embedded Coder的控制器算法开发方法。在实时仿真平台上,设计并实现两电平三相逆变电路、三电平三相逆变电路、单相逆变电压瞬时值反馈电路的实时仿真。根据平台仿真结果可知,模型化开发方式可以缩短控制器算法开发周期、提高开发效率、降低开发风险。

关键词：实时仿真 DSP 模型化开发 FPGA仿真器

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：