1.
Research on Feature Interaction Problems Detecting Approach in Component Assemble Using Temporal Logic;
构件组装中“特征干扰问题”的时序逻辑检测方法研究
2.
Model Checking Based on Spatial Logic and CTL
基于空间逻辑和计算树逻辑的模型检测
3.
On the Model Checking of SN P Systems Based on Rewriting Logic;
基于重写逻辑的SN P系统模型检测
4.
Model Checking Web Services Based on Temporal Logic of Knowledge
基于时态认知逻辑的Web服务模型检测
5.
Consistency checking of UML class diagram based on description logics
基于描述逻辑的UML类图一致性检测
6.
Graphic method for detecting special logical function including don't cares
含任意项特殊逻辑函数的图形化检测
7.
Projection Temporal Logic Oriented Model Checking for Web Services
面向投影时序逻辑的Web服务模型检测
8.
conjunctive search
逻辑乘检索按与检索
9.
Valley Type Edge Detection Method Based on Logic Judgement
一种基于逻辑判断的山谷型边界检测方法
10.
Research of the Distributed Logic Control and Detecting Unit in Electric Locomotive;
电力机车分布式逻辑控制与检测单元的研究
11.
The Application of Fuzzy Logic Theory in Edge Detection of Erythrocyte;
模糊逻辑理论在红细胞边缘检测中的应用
12.
Research on Security Protocol Model Checking Based on Classical Logic;
基于经典逻辑的安全协议模型检测研究
13.
Design of two-stage leakage detection logic for burner management system
燃烧器管理系统两阶段泄漏检测逻辑设计
14.
Method of detecting special function with arbitrary term based on decomposition map
基于分解图检测含任意项特殊逻辑函数的方法
15.
Detection of Particular Logic Function Based on 0-1 Coding Spectral Transform
基于0-1编码空间谱变换的特殊逻辑函数检测
16.
Win32 PE virus Detection Method Based on Logic Semantic Chart
基于逻辑语义流图的Win32 PE病毒检测方法
17.
Design and Implementation of FFT Digital Logic Utilized in Power Harmonic Detection
电力谐波检测FFT数字逻辑的设计与实现
18.
Research on Model Checking of Petri Nets Based on Linear Temporal Logic
基于线性时态逻辑的Petri网模型检测研究