退出
我的积分:
中文文献批量获取
外文文献批量获取
张苗苗; 安杰; 沈炜; 祖佺;
同济大学 软件学院,上海 201804;
时段演算; 扩展线性时段不变式; 模型检验; 实时系统;
机译:在基线类别logit模型中用于检验线性假设的似然比检验的扩展
机译:具有混合非线性约束的VARMA模型的扩展Portmanteau检验
机译:扩展传统先验条件以检验线性模型中的一般假设
机译:通过模型检查CTL属性验证线性持续时间不变式
机译:将经典结不变式扩展为缠结类别。
机译:多级模型在形态计量数据中的应用。第1部分。线性模型和假设检验
机译:一种新型多时段混合整数线性优化模型,用于钢铁厂副产物气体,蒸汽和动力的最佳分布
机译:线性模型中F检验和最佳线性无偏估计的鲁棒性
机译:二元决策图结合约束求解的不变式检验方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。