1、
This paper builds the Deductive System of Temporal Logical formulas in default theory.
本文建立了基于缺省理论的时态逻辑公式演绎系统。
互联网摘选
2、
给出了调节设定逻辑电平阈值的计算公式和部分电路参数，使逻辑电平界限清楚，判断确切。
互联网摘选
