科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
王成华;
计算机模拟;
机译:使用判定图和分解数据记录的描述逻辑SHIQB的基于类型的基于逻辑的推理
机译:双条件二元决策图:一种新颖的规范逻辑表示形式
机译:基于不确定度量时态逻辑的逻辑可判定性
机译:一种基于二元判定图的动态流动图方法方法
机译:情境演算:可判定性和基于非单调归纳定义逻辑的方法。
机译:虚拟新生儿超声心动图训练系统(VNETS):一种超声心动图模拟器用于训练新生儿和婴儿的经胸超声心动图技能
机译:基于混合判定的基于混合判定的滤波器和基于通用的逻辑平滑加载作用,以消除脉冲噪声
机译:基于图和基于逻辑的多关系数据挖掘的比较
机译:一种正面认证方法,其增强了计算机生成全息图转换的数字全息图标记的安全级别,这是一种基于计算机生成的全息图的正认证系统数字全息图标记发生器,用于基于计算机生成的全息图的正验证系统
机译:转换为逻辑电路的判定图,所记录的记录介质的转换方法和转换程序
机译:一种基于估计的摩擦转矩斜率的防抱死制动系统,一种确定防抱死制动控制的起点的方法以及一种基于估计的摩擦转矩梯度,起始点的防抱死制动系统防外观制动控制装置,以及具有极限判定装置的车轮性能量伺服控制装置。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。