destecs-with-b:使用 ProB 约束求解器的 DESTECS Co-Sim 实现
需积分: 9 132 浏览量
2021-07-12
18:45:24
上传
评论
收藏 2MB ZIP 举报
destecs-with-b-master.zip （36个子文件） 
destecs-with-b-master 
DESTECS-B.mp4 2.01MB example-models WatertankPeriodic 
.project 896B .modelpath 211B model_de watertankctrlfmu.prob 7KB System.vdmrt 845B ValveActuator.vdmrt 705B waterTankCtrl.mch 2KB World.vdmrt 518B waterTankCtrl.prob 8KB LevelSensor.vdmrt 644B .metadata 953B IO.vdmrt 2KB waterTankCtrlFmu.mch_ 1KB Controller.vdmrt 1KB scenarios scenario.script 920B configuration contract.csc 624B vdm.link 419B WatertankPeriodic.launch 3KB .gitignore 9B model_ct Watertank.emx 62KB WatertankPeriodic driven by B.launch 3KB LICENSE 1KB README.md 96B prob-co-sim .project 545B
log.txt 44KB src test java org overture core prob TestMain.java 1KB main java prob destecs CoSim.java 3KB CoSimImpl.java 13KB ErrorLog.java 2KB SimulationManager.java 8KB org apache xmlrpc webserver XmlRpcServlet.properties 58B pom.xml 2KB step.java 2KB .classpath 996B .gitignore 27B .gitignore 45B资源评论
大英勋爵汉弗莱
- 粉丝: 32
- 资源: 4492
最新资源
- 笔记实验六，spark,大数据分析
- ####蓝桥杯python的详细的信息介绍
- 电子万年历软件仿真（经过多次修改，保证正确性）
- Unity XR 手势射击控制脚本（适用于任何可手势识别的设备）
- 机械设计全自动电表（NB和IC卡表）控制和上壳装配线sw16可编辑非常好的设计图纸100%好用.zip
- 基于matlab的EAN-13条形码识别系统GUI界面.zip代码53
- matlab基于bp神经网络交通信号标志识别GUI界面13个标志.zip代码54
- 电子万年历答辩实物展示视频mp4格式
- 基于python实现的程序，包括哈希感知算法cvHash，图像切割cvsplit，固定目标检测cvRec（附文档ppt）等
- 计算0-10000之间所有偶数的和
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
