退出
我的积分:
中文文献批量获取
外文文献批量获取
杨德才; 谢永乐; 陈光;
电子科技大学自动化工程学院;
布尔可满足性; 时延故障测试; 层次化电路;
机译:满足时延估计的机会时延容忍网络中的最优转发
机译:基于结构信息的信号通路定时Petri网模型的时延确定
机译:基于LMI的时延电力系统基于时延裕量估计的鲁棒负载频率控制
机译:基于时域真实性的无模型(人类)跟踪:一种基于3D摄像机的跟踪时延最小化和跟踪质量提高的方法
机译:增量布尔可满足性及其在电子设计自动化中的应用。
机译:SPABBATS:一种基于布尔可满足性的途径发现方法有助于表征抑制突变体
机译:spaBBaTs:基于布尔可满足性的通路发现方法,有助于表征抑制突变体
机译:在对称性存在下解决布尔可满足性的难点实例
机译:利用数据限定符信号改进基于输入设计生成的布尔可满足性求解器的方法和装置
机译:基于带有数据质量信号输入设计的布尔可满足性求解器的改进方法和装置
机译:基于多目标布尔可满足性的测试模式生成
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。