1.
Implementation of Attack Reconstruction in First-order Logic Model for Security Protocols
安全协议一阶逻辑模型中攻击重构的实现
2.
Theory of Truth Degree Based on the Measurable Set Interpretation of First-order Fuzzy Predicate Logic Gormulas;
一阶模糊谓词逻辑公式的可测集解释真度理论
3.
A kind of Agent’s Logical Model and Its Definition of the Class;
一种Agent逻辑模型及其类定义
4.
Merges the source models of the project into one logical database model.
将项目的源模型合并为一个逻辑数据库模型。
5.
Logic of Action of Political Mobilization--A conceptual model and its application;
政治动员的行动逻辑——一个概念模型及其应用
6.
An Operating System Model by Canceling Process Logical Space;
一种取消进程逻辑空间的操作系统模型
7.
The Research and Realization of an Simulation Logical Decision Tree Model
一种仿真决策逻辑树模型的研究与实现
8.
A Reasoning Theory Based on the Finite Interpretation of Formulas Truth Degree in First-order Fuzzy Logic;
基于一阶模糊逻辑公式的有限解释真度的推理理论
9.
Model Checking Based on Spatial Logic and CTL
基于空间逻辑和计算树逻辑的模型检测
10.
logical consistency
逻辑兼容，逻辑一致性
11.
Study Dialectical Logic and Move the Science of Logic in Our Country into a New Phase;
研究辩证逻辑,把我国的逻辑研究推进到一个新阶段
12.
The Theory of Logical Model
基于逻辑关系的数学模型—逻辑模型的理论与分析
13.
A Multi-agent Based Negotiation Model with Fuzzy Logic Control;
基于模糊逻辑控制的多Agent谈判模型
14.
Fuzzy-logic based credit evaluation model for agent society;
基于模糊逻辑的Agent社会信用评价模型
15.
Product Logic BOM Model Research of Mass-customized Production;
大规模定制产品逻辑BOM模型研究
16.
On the advanced stage of the development of logic science --dialectical logic;
论逻辑科学发展的高级阶段——辩证逻辑
17.
logical-resource-oriented work-load model
面向逻辑资源的工作负荷模型
18.
Removes all expected values from the project's logical database model.
从逻辑数据库模型中删除所有预期值。