Simulink模型

摘要： 为解决目前Simulink模型规则检查工具对国内如飞行控制等一些特定领域的标准规范覆盖不完善的问题,设计了41条建模准则,并基于元模型理论,提出了一种共性的解析和检查框架,在此基础上实现了Simulink模型规则检查工具SimREG。该方法通过一种无编译的方式来实现对Simulink模型的静态规则检查,在Simulink模型到元模型的映射过程中提取针对每条准则执行检查时需要的模型信息,并将模型重构为有向图的形式,然后在遍历过程中,对图中每个节点进行选定准则的分析处理,完成检查过程。SimREG完成了全部41条建模准则的检查过程,在与三个有代表性的规则检查工具的对比实验中取得了更好的检查结果。SimREG工具将元模型理论应用于Simulink模型的规则检查过程中,在检查速度更快的同时获得了更低的漏报率和误报率。

摘要： 标准ISO 362-1:2007提出了新的测试限值和方法,但其中试验的加速入线方法尚未明确,给测试机构带来了较高的测试难度。针对此问题,基于理论分析,通过试验建立Simulink数学模型对M1型汽车进行研究,考虑距离和起始速度的耦合,对车辆的预加速距离和加速起始车速进行了两种不同加速方法下的预测。经试验验证,符合率为80%,平均准确度为0.612 km/h,最低误差可达到0.2%,具有较高的准确度。该模型对于标准的执行,降低了试验的准备难度和复杂程度,一定程度填补了标准中对于加速方法的空缺。

摘要： 为了提高油位传感器的精确性,避免传统传感器的不足,根据传统的电阻油位传感器提出了在结构上采用PTC探针式电阻来获取油位,实时检测探针两端电压来分析并获取油位,并采用PID控制对数据进行修正.提出了基于压差的合理性范围检测油位评估检测系统并运用Simulink搭建系统的模型,在评估油位时出现不合理错误会报告给DSM系统,并重新测量.用系统标定实验和系统测量实验来验证系统的准确性.系统在一定程度上提高了测量的准确性并能够有效避开温度等其他因素的影响,经实验证明在标定后的检测系统精确性较高,最大相对误差不超过2.90％.

摘要： 本文提出一种模糊逻辑控制方案来提升传统PID型控制器的控制效果.使用MATLAB/SIMULINK软件对高阶非时滞控制系统与二阶时滞系统分别采用传统PID型控制和添加模糊PID控制参数进行了阶跃输入响应仿真对比,发现对于高阶非时滞系统的参数加入模糊变量控制后控制效果有显著提升.

摘要： 为了提高高层体系结构仿真联邦的开发效率,将Simulink模型接入运行支撑系统,以在高层体系结构分布式仿真中充分利用Simulink强大的数值计算功能,对搭建高层体系结构分布式仿真系统具有很强的实用价值.对现有的3种接入方法进行分析,针对其不足,结合插件技术对基于插件的接入方法进行研究,与现有方法相比,该方法具有更高的模型接入效率.对该方法进行方案设计,并阐述了关键流程,包括接口适配包装、仿真数据绑定与仿真数据更新.采用该方法将Simulink模型接入运行支撑系统,构建了小型固体火箭分布式飞行仿真系统应用实例,证明该方法不但可行,而且高效、易用.

摘要： 本文提出了一种具有势能回收特性的叉车升降电液驱动系统,利用Matlab/Simulink软件对叉车升降电液驱动系统的提升阶段、下降阶段及整个工作循环系统进行建模及动态特性仿真研究,并分析不同负载时叉车升降电液驱动系统的循环效率.

摘要： 针对很多方法中手动测试Oracle及运行测试用例成本较高的问题,提出一种基于搜索的测试和预测模型,以提升Simulink模型的故障探测性能.确定了三个旨在增加测试套件多样性的测试目标,并在基于搜索的算法中使用这些目标,以生成较小的多样化测试套件.为进一步实现测试套件的最小化,开发了一个预测模型,当添加测试用例无法提升故障探测性能时,该模型将停止测试用例的生成.评价结果表明,选择的三个测试目标能够显著提升较小测试套件的故障探测精度;且预测模型在维持几乎相同故障探测精度的同时,能够将新生成的测试用例平均数量减少一半以上.

摘要： 针对模拟电路故障诊断中PSpice与Matlab联合仿真方法的不足,利用Matlab的图形用户界面(GUI)环境结合SLPS、BP神经网络及Simulink模型,设计了模拟电路故障诊断仿真平台,实现联合仿真自动化,提供良好的交互性;提出了利用SLPS模块结合附加开关电路实现模拟电路状态参数自动采集的方法.最后给出了在该仿真平台上的诊断实例,充分验证了该平台设计的有效性.

摘要： 针对模拟电路故障诊断中PSpice与Matlab联合仿真方法的不足,利用Matlab的图形用户界面(GUI)环境结合SLPS、BP神经网络及Simulink模型,设计了模拟电路故障诊断仿真平台,实现联合仿真自动化,提供良好的交互性;提出了利用SLPS模块结合附加开关电路实现模拟电路状态参数自动采集的方法.最后给出了在该仿真平台上的诊断实例,充分验证了该平台设计的有效性.

摘要： 针对模拟电路故障诊断中PSpice与Matlab联合仿真方法的不足,利用Matlab的图形用户界面(GUI)环境结合SLPS、BP神经网络及Simulink模型,设计了模拟电路故障诊断仿真平台,实现联合仿真自动化,提供良好的交互性;提出了利用SLPS模块结合附加开关电路实现模拟电路状态参数自动采集的方法.最后给出了在该仿真平台上的诊断实例,充分验证了该平台设计的有效性.

摘要： 针对模拟电路故障诊断中PSpice与Matlab联合仿真方法的不足,利用Matlab的图形用户界面(GUI)环境结合SLPS、BP神经网络及Simulink模型,设计了模拟电路故障诊断仿真平台,实现联合仿真自动化,提供良好的交互性;提出了利用SLPS模块结合附加开关电路实现模拟电路状态参数自动采集的方法.最后给出了在该仿真平台上的诊断实例,充分验证了该平台设计的有效性.

摘要： 针对模拟电路故障诊断中PSpice与Matlab联合仿真方法的不足,利用Matlab的图形用户界面(GUI)环境结合SLPS、BP神经网络及Simulink模型,设计了模拟电路故障诊断仿真平台,实现联合仿真自动化,提供良好的交互性;提出了利用SLPS模块结合附加开关电路实现模拟电路状态参数自动采集的方法.最后给出了在该仿真平台上的诊断实例,充分验证了该平台设计的有效性.

摘要： 针对模拟电路故障诊断中PSpice与Matlab联合仿真方法的不足,利用Matlab的图形用户界面(GUI)环境结合SLPS、BP神经网络及Simulink模型,设计了模拟电路故障诊断仿真平台,实现联合仿真自动化,提供良好的交互性;提出了利用SLPS模块结合附加开关电路实现模拟电路状态参数自动采集的方法.最后给出了在该仿真平台上的诊断实例,充分验证了该平台设计的有效性.

摘要： 以OMG提出的通用软件开发标准——模型驱动开发为契合点,研究了基于Simulink的模型驱动开发方法并应用于航空机载软件开发中.该方法覆盖软件开发的整个流程,综合基于模块化思想的结构化方法和基于数学理论的形式化方法,提高了软件开发活动的可控性和自动化程度.

摘要： 以OMG提出的通用软件开发标准——模型驱动开发为契合点,研究了基于Simulink的模型驱动开发方法并应用于航空机载软件开发中.该方法覆盖软件开发的整个流程,综合基于模块化思想的结构化方法和基于数学理论的形式化方法,提高了软件开发活动的可控性和自动化程度.

摘要： 以OMG提出的通用软件开发标准——模型驱动开发为契合点,研究了基于Simulink的模型驱动开发方法并应用于航空机载软件开发中.该方法覆盖软件开发的整个流程,综合基于模块化思想的结构化方法和基于数学理论的形式化方法,提高了软件开发活动的可控性和自动化程度.

摘要： 以OMG提出的通用软件开发标准——模型驱动开发为契合点,研究了基于Simulink的模型驱动开发方法并应用于航空机载软件开发中.该方法覆盖软件开发的整个流程,综合基于模块化思想的结构化方法和基于数学理论的形式化方法,提高了软件开发活动的可控性和自动化程度.

摘要： 本发明提供了一种从Simulink模型转换至UML模型的方法，通过建立Simulink模型的模型元素和UML模型的模型元素之间的对应关系，建立Simulink源元模型架构和UML目标元模型架构，从而根据Simulink源元模型和UML目标元模型确定Simulink模型转换至UML模型的转换方法。本发明确定了Simulink模型元素与UML模型元素的对应关系，简化了模型转换的复杂性，解决了在CPS系统中，通用建模过程领域细化问题和计算过程和物理过程融合的问题，解决了Simulink在需求建模上的弱势以及UML模型在表达控制，算法建模方面的缺陷，两者优势互补，扬长避短，提高模型开发的效率。

摘要： 本发明公开了一种AUTOSAR模型同步到Simulink模型的方法, 将ARXML源文件生成AUTOSAR模型后解析AUTOSAR对象元素得到模型的元素，将得到AUTOSAR软件组件的元素映射到Simuink模型中得到对应的模型端口标签集后用HashMap装载;进入已经生成的Simulink模型的文件夹中寻找上一次生成的日志文件，解析日志文件得到MATLAB/Simuink模型对应的Simulink模型端口标签集;将得到NEW标签集和为OLD标签集进行比较得到结果池，利用Matlab命令实现了模型同步，具有转换简单方便、时间消耗少、开发成本低的优点。

摘要： 本发明涉及一种从Simulink‑StateFlow模型到NuSMV模型的转换方法，包括如下步骤：对待评估系统进行需求分析，构建Simulink‑StateFlow模型；提取模型中的程序语句、自定义函数语句、逻辑顺序关系，分别构建程序语句数据表、自定义函数数据表、逻辑顺序数据表；整合模型程序及顺序，生成模型信息表；对Matlab编程语言进行分析，构建Matlab语法规则；根据语法规则对模型信息表中的程序语句进行处理，将其解析为抽象语法树；对抽象语法树进行处理，确定转换为NuSMV语句的算法；根据转换算法处理模型信息表，生成NuSMV模型。本发明大大提高了NuSMV工具对Simulink‑StateFlow模型进行模型检测的效率和准确度，实现对控制系统Simulink需求模型的安全性验证。

摘要： 本发明公开了一种Modelica模型与Simulink模型的联合仿真方法、系统及电子设备，其中方法包括：将预先建立的Simulink子系统模型导出为动态链接库文件和头文件，运行自动封装程序，将动态链接库文件和头文件自动封装为第一Modelica封装模型和C语言程序，通过主控模型设置第一Modelica封装模型和第一Modelica子系统模型的连接关系和时序控制，并配置第一Modelica封装模型和第一Modelica子系统模型的参数，加载第二Modelica子系统模型、第二Modelica封装模型和主控模型，求解主控模型并调用C语言程序；本发明采用函数调用的方式直接传输数据没有数据丢失，并且通信时间很短，不存在延时，同时提供了一套Simulink模型自动封装为Modelica模型的程序，自动实现Simulink模型封装为Modelica模型，减少人工操作。

摘要： 本发明提供了一种从Simulink模型转换至UML模型的方法，通过建立Simulink模型的模型元素和UML模型的模型元素之间的对应关系，建立Simulink源元模型架构和UML目标元模型架构，从而根据Simulink源元模型和UML目标元模型确定Simulink模型转换至UML模型的转换方法。本发明确定了Simulink模型元素与UML模型元素的对应关系，简化了模型转换的复杂性，解决了在CPS系统中，通用建模过程领域细化问题和计算过程和物理过程融合的问题，解决了Simulink在需求建模上的弱势以及UML模型在表达控制，算法建模方面的缺陷，两者优势互补，扬长避短，提高模型开发的效率。

摘要： 本发明公开了一种AUTOSAR模型同步到Simulink模型的方法,将ARXML源文件生成AUTOSAR模型后解析AUTOSAR对象元素得到模型的元素，将得到AUTOSAR软件组件的元素映射到Simuink模型中得到对应的模型端口标签集后用HashMap装载;进入已经生成的Simulink模型的文件夹中寻找上一次生成的日志文件，解析日志文件得到MATLAB/Simuink模型对应的Simulink模型端口标签集;将得到NEW标签集和为OLD标签集进行比较得到结果池，利用Matlab命令实现了模型同步，具有转换简单方便、时间消耗少、开发成本低的优点。

摘要： 本发明公开了一种实车数据回注Simulink模型的方法及系统，实车数据回注步骤如下，1）回注数据提取；所述回注数据提取是指从实车上的问题数据中提取出有效数据，并转换为Simlink模型可直接注入的数据格式timeseries；2）回注模型构造；所述回注模型构造是在计算机上复制与实车上的问题模型匹配的回注Simulink模型，得到复制模型,并对复制模型的接口进行改造，以使回注数据可以通过改造后的接口回注入复制模型；3）将提取的回注数据在回注模型上运行，即实现实车数据回注。本发明可以自动完成数据回注的工作，缩短问题排查周期，从而提高工作效率。

摘要： 本发明公开了一种状态机模型与Simulink联合仿真的方法，在SysML建模工具关联Simulink仿真模型并生成Simulink工具支持的联合仿真通信客户端文件(S‑function文件)，通过其将配置状态机模型与Simulink仿真模型参数关联，并通过仿真引擎驱动仿真过程中状态机模型和Simulink仿真模型的实时数据通信。与传统的基于软件API接口或者FMI集成的方式相比，本发明减少了专业仿真工具之间集成开发的投入，降低了工程师建模并进行联合仿真的技术门槛。

摘要： 本发明公开了一种基于simulink模型到UML模型转换的方法。包括如下步骤：用UML模型构建整个嵌入式控制系统的PIM模型；用simulink构建目标嵌入式控制系统的控制部分的模型，simulink控制模型经过转换导入用UML构建的PIM中，从而构建起目标嵌入式控制软件的完整平台无关模型PIM；结合目标系统运行平台，生成平台相关模型PSM。本发明通过基于simulink模型到UML模型控制算法与实现相分离，不需要软件实现人员的深度参与；应用与平台相独立；系统设计模型化；系统实现自动化；有基于验证的可靠性保障，基于该方法的开发中，开发人员能在系统设计的每一个阶段对系统的设计进行验证，早期的验证可以防止错误的传递。

摘要： 本发明涉及计算机技术领域，具体涉及一种基于matlab的simulink模型说明书生成方法，包括以下步骤：S1、matlab脚本与simulink模型建立连接，调用matlab脚本的指令，识别并获取软件模型的所有子系统，并将识别到的所有子系统的具体simulink路径进行存储；S2、提取出所有子系统的simulink路径；调用matlab脚本的操作指令，对子系统的simulink路径下的矢量图进行复制；S3、通过matlab脚本，调用第一格式的文档的接口函数，将矢量图粘贴到第一格式的文档中；本发明的技术方案基于工程师在软件开发时的备注，实现模型说明书的自动导出，降低软件工程师的工作量，且确保说明书与软件的设计开发过程的高度一致，无需二次编写，大大缩短了项目开发时间，节约时间成本。