1.
Study and application of the unit testing technique based on logic coverage analysis
基于逻辑覆盖率分析的弹上软件单元测试技术研究与应用
2.
An Algorithm with Logic Minimum Cost Coverage Based on the Neural Network
基于神经网络的逻辑最小造价覆盖算法
3.
The Decision on the Minimal Covering of Precomplete Classes in Partial Multiple-valued Logic;
部分多值逻辑中极大封闭集之最小覆盖的判定
4.
The Logical and Recursive Algorithm of Maximal Independent Set and Minimal Covering Set;
极大独立集与极小覆盖集的逻辑及递归算法
5.
The Decision on the Minimal Covering of Function Sets Preserving Ternary and Quaternary Simply Separable Relations in Partial Four-Valued Logic;
部分四值逻辑中保三、四元单纯可离关系函数集最小覆盖之确定
6.
The Decision on the Minimal Covering of Function Sets Preserving Ternary and Quaternary Regularly Separable Relations in Partial Four-Valued Logic;
部分四值逻辑中保三、四元正则可离关系函数集最小覆盖之判定
7.
The Decision on the Minimal Covering of Function Sets Preserving Fully Symmetric Relation in Partial 4-Valued Logic;
部分四值逻辑中保完满对称关系函数集之最小覆盖的判定
8.
The Decision on the Minimal Covering of Function Sets Preserving Binary Regularly Separable Relations in Partial Four-Valued Logic;
部分四值逻辑中保二元正则可离关系函数集最小覆盖之判定
9.
The Decision on the Minimal Covering of Function Sets Preserving Binary Simply Separable Relation in Partial Four-Valued Logic;
部分四值逻辑中保二元单纯可离关系函数集之最小覆盖的判定
10.
The Decision on the Minimal Covering of Function Sets Preserving 3-ary Full Symmetric Relation in Partial Multiple-Valued Logic;
部分多值逻辑中保三元完满对称关系函数集之最小覆盖的判定
11.
The Decision on the Minimal Covering of Regular Separable Sets in Partial Multiple-Valued Logic;
部分多值逻辑中正则可离函数集最小覆盖之判定
12.
According to different methods of simplifying logic function,this thesis discussed the method of simplifying Karnaugh map by using computer.
讨论了逻辑函数卡诺图化简的计算机实现， 提出了基于最大覆盖的问题求解方法。
13.
The Decision of Minimal Covering of Precomplete Classes in Partial Four-Valued Logic--the member of Preserving Quaternary Simply Separable Relations
部分四值逻辑准完备集最小覆盖之确定——保四元单纯可离关系的成员
14.
logical consistency
逻辑兼容，逻辑一致性
15.
the quality of being consistent with or based on logic.
基于逻辑或与逻辑相符。
16.
logic of understanding and logic of reason
知性逻辑与理性逻辑
17.
objective logic and subjective logic
客观逻辑与主观逻辑
18.
logical OR-AND-OR
逻辑“或－与－或”