逻辑系统

高斯型模糊逻辑系统的BP算法及其应用

BP Algorithm of Gauss Fuzzy Logical System and its Application in System Identification

一种基于模糊CMAC自学习模糊逻辑系统及其在控制中的应用

CMAC Based Self-Learning Fuzzy Logical System and Its Application to Automatic Control

n值标准序列逻辑系统中的近似推理理论

Theory of approximate reasoning in n-valued standard serial logic system

FPGA；复杂逻辑系统；针织机械；

FPGA ; complex logic system ; knitting machine ;

高速逻辑系统的PLC控制系统

PLC Control System of Speed Logic System

几类n值逻辑系统中的MP滤子

On MP Filters in Some Kinds of n-Valued Logic Systems

CMOS三值逻辑系统探讨

A study on the CMOS three - valued logic system

具有非单调推理能力的三值逻辑系统TL

A Three-Value Logic System TL with the Capability of Non-monotonic Reasoning

硬件描述语言（HDL）与逻辑系统设计

The Hardware Description Language and the Design of a Logic System

为此，我们特别对极小模态逻辑系统K进行扩充而得到一个知识系统KK，它能很好地解决这一问题。

For this reason , we construct a knowledge system K_K on the basis of minimum modal logic system K to solve above problem .

基于AFS模糊逻辑系统和贴近度的属性约简

The Attributes Reduction Based on the AFS Theory and Closeness Degrees

基于聚类和SVD算法的模糊逻辑系统结构辨识

Structure identification of fuzzy logic system based on clustering and SVD algorithm

本文探讨了一种新的CMOS三值逻辑系统，建立了一套完备的CMOS三值逻辑基本单元电路。

A new CMOS three & valued logic system is discussed . Some CMOS three-valued logic unit circuits are designed .

F（S）在Lukasiewicz逻辑系统中的一种分划

A kind of partition on F ( S ) in Lukasiewicz logic system

基于模糊观测器T-S模型和自适应模糊逻辑系统的一类非线性系统的H∞控制

H_ ∞ Control for a Class of Nonlinear Systems Based on Fuzzy Observer T S Model and Adaptive Fuzzy Logic Systems

高速低耗BiCMOSOC门及其线与逻辑系统

Several high-speed and low-consumption BiCMOS OC gates and their wired-AND logic systems

提出一种基于VHDL语言的可编程逻辑系统的设计方法。

In this paper , a novel design method for programmable logic systems based on VHDL is presented .

分析了格值逻辑系统Kp中选取公理集合和推理规则的条件；

The condition of choosing axioms and inference rule in ^ fvp was analyzed .

MSP430混合逻辑系统的设计

The Design of MSP430 Mixed Logic

MSP430逻辑系统的设计

The Design of MSP430 Logic System

经典二值逻辑系统L中的MT问题

Problem of MT in classical two-valued logical system

逻辑系统UL的广义H-赋值

Generalized H - valuation in Logic System UL

Petri网具有图形化的直观性和数学的严谨性，非常适合进行复杂逻辑系统的描述与分析。

Petri net has the directness of graphics and the preciseness of mathematics , being very fit for the description and analysis of complex logic system .

三值Lukasiewicz逻辑系统L3中命题的条件真度

The conditional truth degree of formulas in lukasiewicz 3-valued logic systems L_3

三值命题逻辑系统L3~中逻辑理论性态的拓扑刻画拓扑描绘字，拓扑描述符

Topological Characterizations of Properties of Logic Theories in Three-Valued Propositional Logic System L_3

其次证明在该定义下，道义模态逻辑系统D1、D2和D3的所有公理的布尔值为1；

The second , I demonstrated that the Boolean value of all axioms of the deontic logical system D was 1 in the definition .

进一步在新的认证逻辑系统上，对NSL协议和3G认证与密钥分发协议安全性进行了逻辑化分析。

Based on the new authentication logic system , we prove the security of NSL protocol , and the random numbers are double retroactive .

Chang为了提供Lukasiewicz和Tarski的多值逻辑系统的完备性定理的代数证明而发明的。

Chang [ 1 ] in order to provide an algebraic proof of the completeness theorem of the infinite-valued logic of Lukasiewicz and Tarski .

主要结果是：如果是一强于的可有限分离的正规逻辑系统，且在上LST定理和ω1－紧致性定理成立，则与等价。

The main result is : For a finite-separable regular logical system which is stronger than if LST theorem and ω _1 compactness theorem hold on it , then .

采用模糊T-S模型和模糊观测器对非线性系统建模，引入自适应模糊逻辑系统补偿器用来消除建模误差对系统稳定性的影响。

Fuzzy T-S model and fuzzy observer are used to model the nonlinear systems . The adaptive fuzzy logic systems are introduced to eliminate the effect of the modeling errors for the system stability .