登录
首页 » Others » 形式化建模验证SMV模型检验器.rar

形式化建模验证SMV模型检验器.rar

于 2021-12-08 发布
0 320
下载积分: 1 下载次数: 1

代码说明:

使用UML等建模工具建立模型,再将模型转换为形式的语句,编写SMV程序,输入SMV模型检验器进行验证。用于实现形式化方法模型检验

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • MATLAB求解图像信息熵(可用于图像融合结果评价)
    MATLAB求图片信息熵,可用于图像融合,图像处理效果的评价
    2020-11-29下载
    积分:1
  • STM32CubeMX中文使用手册和STM32_f1的hal库
    包含STM32CubeMX中文使用手册和STM32_f1的hal库,开发者可以使用两者共同开发,同步学习cube和hal
    2020-12-12下载
    积分:1
  • 纯电动汽车整车及三电系统设计开发@整车设计开发
    【实例简介】行业牛人介绍纯电动汽车整车设计及三电系统设计 在市场上找到一个当前生产能力能够满足的产品需求,在脑海里形成一个将要开发车型的概念; 从市场得来的产品需求经过分析、研究、论证,在纸上形成可实现的整车规格; 在产业链上寻找合适的供应商,通过相应的工艺工装生产出各类零部件; 采购整车需求的零部件,试制工程样车,经过反复测试与修改的试错工作,经过公告验证得到满足市场需求和复合法规的整车产品
    2021-11-01 00:33:16下载
    积分:1
  • 马尔科夫蒙特卡罗MCMC方法
    详细的介绍了马尔科夫蒙特卡罗(MCMC)的各种算法,包含gibbs算法,内有实例和基本的源代码,易于理解。非常值得一看。
    2020-12-03下载
    积分:1
  • 傅里叶变换轮廓术,用于光栅三维成像算法。
    需要自己生成模拟光栅或者拍摄采集调制光栅条纹和参考光栅。
    2020-12-03下载
    积分:1
  • 纯电动汽车整车控制器完整解决方案
    一份关于纯电动汽车整车控制器解决方案的文档,希望对大家有用图概述■主要功能■整车能量协调控制DC/DCTPMsChargeLDM■整车附件控制BMSBCU整车故障诊断与处理HV/BMS CANFunction CANInverterMotor EnableMotor enable■车辆状态监视与控制TractionGeneratorDrive CANMotor■整车自定义功能VCUEMSHCU)K…”ABS/ESP■必要性System■协调各部件控制器Inputs优化车辆性能,提高驾驶舒适性■减小动力系统变更、优化的难度及工作量■缩短新车型开发的周期助力.汽车电子概述驾驶员方向盘油门制动选档器VDN/R总调度模块信号上信输下作能附充故号电模件电障输处管式管控管诊出入理管制理断处VCU驱↓使能信号状态反馈驱动制动动电机转矩控制N路面阻力A国助力.汽车电子概述■VcU控制器特点■整车厂最容易也是必须掌握的核心技术之■车载能源系统■驱动系统■控制系统■通过√CU能掌握、控制整车的网络架构、定义各个子系统的功能■各整车厂定制开发,但可以规划统一平台■开发周期短,开发难度可控■工作环境相对较好,系统可靠性较高www.hirain.com■可兼容PHEV和EV车型助力.汽车电子图目录VCU功能概述VCU系统开发恒润现有的∨CU开发平台VCU相关的工具和服务总结及经验介绍助力.汽车电子汽车电子产品开发流程概念提出/批准隹项目批准原型试生产发布策划产品设计开发过程设计与开发L产品及过程确认生产项目准备〉S0阶段s1阶段s2阶段s3阶段)量产S0阶段(Demo)S1阶段(DEV)s2阶段(DV)S3阶段(PV)●D/ PFMEA● DEMEA●模块冻结●模块调整●方案设计●s2样件设计● PEMEA●物料选择和认可●s0样件设计●s样件加工)●试验持0S样件设计●s0样件试制●S2样件测试生产支持°●s1样件加工●s2样件试验S样件测试集成测试助力.汽车电子汽车电子产品开发流程系统工程产品研发管理产品需求开发产品确认项目计划方案设计集成验证确认一需求产品需求监控与控制跟踪项目进展信息设计二需求设计实现样件试制验证二需求跟踪跟踪风险管理实现一需求跟踪求管理需求跟踪矩阵需求变更控制)管理文件记录产品文件和记录测量数据支持配置管理过程及产品质量保证N测量分析助力.汽车电子汽车电子产品开发流程一系统系统需求系统确认系统功能系统测试系统分解分系统集成■■■■■■■■■■■■■■■■■■■■■■■■总体需求分析单系统确认产品组件结构分解单系统集成功能模块设计模块测试组件组件实现组件助力.汽车电子汽车电子产品开发流程—策略x00 AOED AZ 2003功能设计标定测试与验证快速控制原型硬件在回路仿真目标代码生成助力.汽车电子
    2020-12-05下载
    积分:1
  • matlab下进行的凸轮轮廓线的设计
    利用matlab可以建立GUI界面,实现推程和回程轮廓线类型的快速选择,通过设定各种参数,便可以得到凸轮的轮廓线。
    2020-12-05下载
    积分:1
  • 激光测距系统设计
    激光测距是指利用射向目标的激光脉冲测量目标距离的一种距离测量仪。设计任务、工作原理等
    2020-12-02下载
    积分:1
  • 基于STM32的GPS导航无人驾驶小车
    这是我用stm32和GPS模块做的无人驾驶小车,可以跑路线,设置一个目标经纬度后,那个小车就会自动向目标经纬度驾驶过去。核心是根据目标经纬度和当前经纬度解算出合适的方向角然后交由小车执行,,车上有陀螺仪,然后根据陀螺仪的反馈,用PID算法使得小车按照这个方向角去自行移动。
    2020-11-28下载
    积分:1
  • Elsevier期刊投稿word模板.zip
    【实例简介】Elsevier期刊投稿word模板, 一个单栏,一个双栏,可作为Elsevier旗下期刊的初始投稿模板,仅供大家参考,欢迎下载使用
    2021-11-06 00:34:36下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载