退出
我的积分:
中文文献批量获取
外文文献批量获取
桂海涛;
广西电网有限责任公司桂林供电局 广西 桂林 541002;
小电流接地选线装置; 馈线自动化终端; 逻辑时序; 配合原则;
机译:基于聚吡啶基咪唑的Os(Ⅱ)配合物作为光学化学传感器,用于阴离子和阳离子以及多读出分子逻辑门和存储装置:实验和DFT / TDDFT研究
机译:馈线自动化的远程终端单元
机译:基于时序逻辑的可重构vlsi研究
机译:单相接地故障行波选线方法及选线装置现场试验
机译:一种基于平台的线性时序逻辑规范验证和综合方法
机译:基于线性时序逻辑(LTL)的智能制造系统监控
机译:基于XMPP和鹅的分布式馈线自动化通信研究
机译:基于学习的线性时序逻辑规范马尔可夫决策过程综合控制方法。
机译:用于逻辑电路的时序约束生成方法,用于逻辑电路的时序生成约束程序以及用于将逻辑电路的时序生成约束的程序记录介质
机译:逻辑电路的时序约束模型的生成方法,逻辑电路的时序约束模型的生成程序以及使用时序约束模型的时序驱动布局方法
机译:CMOS多值横向电路,用于多值逻辑的时序电路,用于多值逻辑的同步时序电路,以及用于多值逻辑的静态D型锁存电路
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。