退出
我的积分:
中文文献批量获取
外文文献批量获取
潘国强; 虞慧群; 宋国新; 邵志清;
华东理工大学计算机科学与工程系!上海200237;
混合系统; 混合自动机; 符号模型检查; 参数分析;
机译:具有BDD类数据结构的线性混合系统的符号参数安全性分析
机译:同时考虑动态惯性力和强制位移的非线性时程分析方法(第二部分)通过非线性模型进行验证
机译:同时考虑动态惯性力和强迫位移的非线性时程分析方法(第1部分)线性模型的制定和验证
机译:包含非线性常微分方程的混合系统的参数化精度保证计算
机译:筛子m-定理捆绑参数半参数模型并施加到有效估计的线性模型中截尾数据
机译:验证非线性回归模型中参数相等的方法验证非线性回归模型中参数相等的方法
机译:线性混合系统的实现理论第一部分:实现的存在性;分析方法
机译:混合系统的验证方法,验证装置和验证计算机程序;混合系统的模型转换方法,模型转换装置和模型转换计算机程序
机译:混合系统验证方法,验证设备,验证计算机程序以及混合系统模型转换方法,转换设备和转换计算机程序
机译:非线性材料本构模型参数辨识的自优化逆分析方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。