1.
Establishment of Mathematical Model of 2005 National Physical Fitness Monitoring Data Logical Check Method
2005年国民体质监测数据逻辑检验方法的数学模型建立
2.
Model Verification of Computer Interlocking System Control Logic
![点击朗读](/dictall/images/read.gif)
计算机联锁控制逻辑的模型检验方法
3.
On the Reconstruction of Complete Philosophy Pattern of Scientific Knowledge--discussion on the relationship between discovery logic and inspection logic;
重建科学认识的“完整哲学图式”——发现逻辑与检验逻辑关系探究
4.
conjunctive search
![点击朗读](/dictall/images/read.gif)
逻辑乘检索按与检索
5.
Safety logic assemblies of nuclear reactor Characteristics and test methods
![点击朗读](/dictall/images/read.gif)
GB/T5203-1985核反应堆安全逻辑装置特性和检验方法
6.
Reliability Sampling Inspection for(Log)Logistic Distribution;
![点击朗读](/dictall/images/read.gif)
(对数)逻辑斯谛克分布下可靠性抽样检验
7.
Hypothesis Test on Rational Behavior of Economics and Logic of Positive Analysis;
![点击朗读](/dictall/images/read.gif)
经济行为基本特征的假设检验与实证逻辑
8.
Logical Interpreting and Examinable Analyzing of the Functional Laws;
![点击朗读](/dictall/images/read.gif)
功能性规律的逻辑解读及可检验性分析
9.
Reasoning and Symbolic Model Checking of Extended Temporal Logics
![点击朗读](/dictall/images/read.gif)
扩展时序逻辑的推理及符号化模型检验技术
10.
Consistency Checking for Data Mining Metadata Based on Description Logic
![点击朗读](/dictall/images/read.gif)
基于描述逻辑的数据挖掘元数据的一致性检验
11.
Model Checking Based on Spatial Logic and CTL
![点击朗读](/dictall/images/read.gif)
基于空间逻辑和计算树逻辑的模型检测
12.
The Quality of Missing in Logic Deduction and the Test of it by Practice;
![点击朗读](/dictall/images/read.gif)
逻辑演绎的缺失性品性与实践检验——基于演绎本性的分析
13.
Experimental logic and its criticism and negation to traditional logic;
![点击朗读](/dictall/images/read.gif)
试验逻辑及其对传统逻辑的批评和否定
14.
Information Retrieval Systems:from Boolean Logic to Vector Space
![点击朗读](/dictall/images/read.gif)
情报检索系统:从布尔逻辑到向量空间
15.
On the Model Checking of SN P Systems Based on Rewriting Logic;
![点击朗读](/dictall/images/read.gif)
基于重写逻辑的SN P系统模型检测
16.
Model Checking Web Services Based on Temporal Logic of Knowledge
![点击朗读](/dictall/images/read.gif)
基于时态认知逻辑的Web服务模型检测
17.
Consistency checking of UML class diagram based on description logics
![点击朗读](/dictall/images/read.gif)
基于描述逻辑的UML类图一致性检测
18.
Graphic method for detecting special logical function including don't cares
![点击朗读](/dictall/images/read.gif)
含任意项特殊逻辑函数的图形化检测