作者：黄崇迪,万海,顾明,陈睿 单位：四川省计算机研究院 出版：《计算机应用研究》2012年第08期 页数：6页  （PDF与DOC格式可能不同） PDF编号：PDFJSYJ2012080420 DOC编号：DOCJSYJ2012080429 下载格式：PDF + Word/doc 文字可复制、可编辑

    • DPU(data process unit，数据处理单元)是嵌入式系统中的一个典型组件，被广泛应用于太空领域，它在层次化的嵌入式系统架构中起到承上启下的作用。保证这类安全攸关系统可靠性的主要方法包括冗余容错、测试和仿真。近年来，形式化方法作为确保可靠性的一种重要补充，得到了广泛的关注。BIP(behavior interaction priority)是一个通用的系统级形式化建模框架，支持层次化和模块化，包含一套支持建模、模拟和验证的工具集。给出了一种基于BIP框架对DPU进行系统级建模与验证的一般方法，总结了一套使用BIP框架对DPU建模应遵循的原则及技巧。以航天领域一个真实DPU系统为例，系统地对方法、原则和技巧进行了介绍。通过该方法，找出了使用传统方法难以发现的错误。实践表明，该方法具有很好的可复用性和可扩展性，是确保系统可靠性的有益补充。

    📙 相关资料

    1. 《基于支持向量机的彩色光高温测量系统建模》PDF+DOC 针对实际物体的发射率方程难以确定，导致彩色光高温测量过程中建模困难的问题，提出将支持向量机应用于建模过程的方案。研究参数对支持向量机模型的影响，采用改进的网格搜索算法对参数进行优化，利用优化后的最优参数构建支持向量机，得到彩色光高温测量系统的模型。用实验室实测数据对所建模型预测效果进行验证，并与采用......
    2. 《体系对抗下电子干扰/雷达系统仿真建模的新方法》PDF+DOC 针对体系对抗下的电子干扰/雷达系统，本文提出了基于多分辨率的多Agent系统建模新方法。首先，阐述了体系对抗下电子干扰/雷达系统的仿真建模需求，并分析了多Agent系统建模技术及多分辨率建模技术。然后，提出了基于多分辨率的多Agent系统建模方法。最后，重点给出了该建模方法实现的技术途径。...
    3. 《Petri网的融合系统建模与仿真》PDF+DOC Colored Petri网是Petri网建模与仿真技术的前沿，通过使用CPN-tools仿真软件对两种融合结构(集中式和分布式融合)进行建模。在同一运行规则下，通过设置相同的参数进行建模仿真，结果表明该模型和方法是合理和有效的，可以作为进一步仿真的基础模型。...
    4. 《一种扩展Petri网及其应用研究》PDF+DOC 基于Petri网，提出了离散事件系统建模，分析与控制的一种新模型———控制和数据Petri网(CDPN).给出了CDPN形式定义，发射规则.研究了基于工业控制计算机和可编程序逻辑控制器的控制系统CDPN模型的设计步骤和方法，为控制系统设计的最终确认提供了形式化的分析手段和依据.最后给出了该方法在立体......
    5. 《基于Simulink的脉冲压缩雷达系统建模与仿真》PDF+DOC 利用计算机仿真技术的可控制性、可重复性、安全性、经济性、无破坏性等特点与优势进行仿真与效能评估，是当前和未来雷达与电子对抗领域研究中的重要手段。我们的工作是建立一个基于Simulink的雷达仿真模块库，当仿真某种雷达系统时，只要从模块库中取出所需要的模块，修改参数后将它们连接起来，就可以迅速的搭建成......
    6. 《体系对抗条件下红外导引头探测系统建模与仿真》PDF+DOC 分析了红外导引头探测系统的设计要求，建立了仿真系统的体系结构，描述了各子模块的功能、组成、模型原理，最后在基于组件的一体化建模仿真环境(CISE)下给出了红外导引头探测系统的仿真实现。体现了实战要素对探测系统的影响，为体系对抗条件下红外导引头的建模仿真提供了参考。...
    7. 《数控机床恒温控制系统建模及仿真》PDF+DOC 本文通过建立数字模型的方法分析数控机床恒温控制系统，对PID系统进行了详细介绍和论述，并对参数进行分析，然后使用仿真软件分析以PID控制恒温控制系统为研究对象，对系统中的各个主要被控对象进行建模，确定其系统的传递函数，并且在MATLAB/Simulink中进行仿真，对系统性能进行测试。...
    8. 《基于改进的扩展卡尔曼滤波伺服系统建模技术研究》PDF+DOC 研究永磁同步电机系统建模技术问题。传统的建模技术在对系统进行建模时，由于算法复杂度较高，不利于实时控制系统，提出一种新的基于卡尔曼滤波技术构建速度观测器替代位置传感器；卡尔曼滤波技术适用于线性控制场合，针对PMSM的非线性特性，改进卡尔曼滤波算法为扩展卡尔曼滤波算法。仿真实验结果表明，利用扩展卡尔曼......
    9. 《无线传感网络目标定位系统建模与仿真》PDF+DOC 文章首先提出一种传感器网络目标定位系统的系统模型，然后利用PtolemyⅡ建模仿真平台完成该传感器网络目标定位系统的系统级行为描述，并根据系统级建模方法学对该目标定位系统进行建模与仿真，分析了传感器网络目标定位系统的诸多影响因素。测试结果表明：传感器网络目标定位系统对于传感器节点的功耗及信息时间同步......
    10. 《基于改进模糊PID控制的EPS系统建模仿真》PDF+DOC 电动助力转向(EPS)是一种新型的汽车动力转向技术。为了提高系统的响应速度、控制精度、实时性等，分析了EPS系统的工作原理，结合EPS的结构和动力学特性，建立了EPS的数学模型。在模糊PID控制基础上，提出了一种将单纯性法与模糊PID控制相结合的改进模糊PID控制方法，并在MATLAB平台上建立了E......

    提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。