退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用于逻辑和定时验证的决策图算法
Wan, Min;
University of California Riverside;
机译:车载实时控制系统的决策控制逻辑的验证和在线更新
机译:使用定时谓词图基于图的实时系统验证
机译:模糊逻辑和遗传算法的混合求解方法分析价格,质量和提前期决策
机译:在逻辑综合环境中使用二进制决策图进行逻辑验证
机译:通过离散事件系统的模块化监督控制进行逻辑图验证
机译:重症监护决策支持系统中使用的数据的验证和确认算法。
机译:基于Kronecker决策图和布尔三元决策图的不完全指定函数的多级逻辑综合
机译:设计电路系统,扩展现有方法以评估电路设计的可行性,执行电路设计的可行性评估,完善电路设计的第一决策规则,形成电路设计的第二决策规则的方法电路设计,用于为多个预先设计的电路块组织设计者的经验数据,提高胶粘逻辑分配效率,并在设计块之间分配胶粘的多个逻辑元素,并分配胶粘逻辑以在集成电路设备设计中执行方案,转换特定于电路块的接口,选择电路收集器,设计一种包含使能设备测试以验证a正确操作的设备,并开发行为测试台,项圈接口和接口系统
机译:时序图编译器和运行时环境,用于交互式生成可执行测试程序以进行逻辑验证
机译:逻辑图布局决定装置和布局决定方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。