退出
我的积分:
中文文献批量获取
外文文献批量获取
刘秉政; 高松; 曹凯; 王鹏伟; 徐艺;
山东理工大学交通与车辆工程学院 淄博255000;
车辆跟驰; 形式化建模; 随机可达集; 关联关系;
机译:使用事件B的多模式HMI输出的形式化建模:泛化和实例化方法
机译:一种独立于语言的形式化方法,用于基于模式的建模,并支持合成和分析
机译:使用形式化细化模式的基于组件的目标建模方法
机译:基于主动模式跟驰实验的轨迹数据,从跟驰状态识别自由驾驶
机译:将新生命带入死后分析:一种用于确定干孔中关键失效模式的方法的测试和形式化
机译:分类模式的形式化:信息系统工程中的分类建模调查
机译:sOa设计模式的建模和形式化方法
机译:利用形式化和半形式化软件建模方法开发目标识别系统
机译:选择宏块内编码的预测模式的方法,选择视频数据宏块的至少一种预测模式,在计算机可读介质上装载的计算机程序产品以启用预测模式的选择以及编码的编码预测模式
机译:过程异常检测/分类的建模设备和模型分析方法,系统和方法,建模系统和建模方法以及更新建模设备的故障预测系统和方法
机译:基于有限状态机的操作系统需求层形式化建模方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。