退出
我的积分:
中文文献批量获取
外文文献批量获取
厉明; 纪勇; 贾宏光; 续志军;
中国空间科学学会;
弹道仿真; 状态空间法; 仿真模型; 数学模型; 气动特性; 空间弹道; 仿真精度;
机译:使用Simulink / StateFlow的多机器人系统的基于状态的建模与控制
机译:使用UPPAAL和Simulink / Stateflow对实时发布和订阅协议进行建模和验证
机译:为修订的Simulink / Stateflow模型提取最小化的测试套件
机译:使用Simulink / StateFlow用于汽车身体控制电子产品的基于有效的基于模型的开发过程
机译:将旋转模型检查器应用于Matlab Simulink / Stateflow中实现的基于模型的设计。
机译:一种新型实时MATLAB / SIMULINK / LEGO EV3用于学术用途的机器人和计算机科学
机译:基于启发式输入分析的RRT算法生成基于RRT算法的Simulink / StateFlow模型的测试用例
机译:贝叶斯统计模型检验在stateflow / simulink验证中的应用
机译:从Simulink / Stateflow模型生成基于反例指导的抽象提炼的测试用例
机译:基于组件的集成仿真环境与MATLAB / SIMULINK传统仿真程序之间的交互方法以及交互接口设计方法
机译:针对SIMULINK /状态流模型的基于有效分区细化的可达性检查
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。