退出
我的积分:
中文文献批量获取
外文文献批量获取
王瑞; 岳园; 张自强;
730000,兰州大学,信息科学与工程学院,兰州;
730000,西北民族大学,计算机科学与信息学院,兰州;
等价性验证; 黑盒; 逻辑锥; 可满足性验证;
机译:带钳位电路的单转换器二次电池充电电路的实验验证
机译:可操作区域等价性:限制区域上两个回归模型的等价性同时置信带
机译:紫外/可见光激发色心吸收带后,TiO2 /聚合物组合物中二氧化钛的光致着色和光漂白:阴离子/阳离子掺杂的TiO2的直接实验证据带隙缩小。
机译:通过电路预处理改进基于SAT的组合等价性检查
机译:验证组合电路的有效技术。
机译:游离脂肪酸2受体关键带正电荷的残基在激动剂与拮抗剂配体的识别和功能中的不等价性
机译:去噪与验证跨层组合对抗黑盒对抗攻击
机译:高频晶体管电路设计的黑盒方法
机译:处理器实例化的交易层模型与寄存器转移层之间的等价性验证
机译:制造带印记的集成电路的方法,带印记的集成电路,形成带印记的集成电路的装置以及用于带印记的集成电路的验证系统
机译:VLSI黑盒验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。