机译:SolidWorks和Matlab / Simulink环境中建模的集成
机译:使用SolidWorks对2-R机器人进行运动学建模和仿真,并通过MATLAB / Simulink进行验证
机译:使用SolidWorks和Matlab / Simulink常规纸张使用SolidWorks和验证的2-R机器人的运动学建模与仿真
机译:四旋翼直升机Matlab / Simulink和SolidWorks模型的验证
机译:使用Boogie =自动验证离散时间Matlab Simulink模型的框架,用于自动验证时间谨慎Matlab Simulink模型与Boogie的框架
机译:一种新型实时MATLAB / SIMULINK / LEGO EV3用于学术用途的机器人和计算机科学
机译:四旋翼直升机Matlab / Simulink和SolidWorks模型的验证
机译:maTLaB / simulink中电动汽车热管理系统的建模。