退出
我的积分:
中文文献批量获取
外文文献批量获取
马玉龙;
中国兵器工业第二零三研究所;
陕西;
西安;
710065;
动态仿真 ; 建模; 存在问题;
机译:使用UPPAAL和Simulink / Stateflow对实时发布和订阅协议进行建模和验证
机译:使用扩展自动机为Simulink / Stateflow建模系统自动生成测试并进行错误定位
机译:使用Simulink / StateFlow的多机器人系统的基于状态的建模与控制
机译:使用AADL和Simulink / Stateflow的电子物理系统的统一图形协同建模
机译:将旋转模型检查器应用于Matlab Simulink / Stateflow中实现的基于模型的设计。
机译:从Trnsys 17中建模的太阳能温室的自由浮动和连续制度的动态仿真数据考虑同时不同的热现象
机译:使用Matlab Simulink + Stateflow软件包对APS-EG的功能算法进行建模
机译:贝叶斯统计模型检验在stateflow / simulink验证中的应用
机译:从Simulink / Stateflow模型生成基于反例指导的抽象提炼的测试用例
机译:航空发动机燃油调节器机械液压装置的SIMULINK建模方法
机译:用于减少存在问题的重质和超重烃中的分子吸引力的化合物。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。