退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:利用可满足模数理论求解传感器攻击下线性动力系统的声音和完整状态估计
Yasser Shoukry; Alberto Puggelli; Pierluigi Nuzzo; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; Paulo Tabuada;
机译:传感器攻击下网络物理系统的安全状态估计:可满足性模理论
机译:SMT-LH:一种基于可满足性模块理论的新技术,用于解决具有时间窗约束的车辆路径问题
机译:SMT-LH:一种新的满足模型理论基于时间窗口约束解决车辆路径问题
机译:线性动力系统在传感器攻击下的声态和完整状态估计。
机译:满意度模理论中位向量的高效且可信赖的理论求解器。
机译:开放采样系统中使用MOX传感器估算气体浓度的增强切换线性动力学系统模型
机译:传感器攻击下网络物理系统的安全状态估计: 可满足性模数理论方法
机译:使用非解释函数符号的可满足度模块理论过程的系统和方法
机译:基于可满足性模块理论的基于程序的电源管理装置,电源系统及电源管理方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。