基于逻辑系统的用户需求功能规格说明语言及其应用

在基于谓词逻辑对知识的表示的基础上，用Unity逻辑系统对其加以扩充，形成一个小型的用户需求功能规格说明语言（Small problem Specification Language），用这种形式化的语言对电梯控制系统作出形式化的用户需求功能规格说明。     

正规认知逻辑系统

通过引入认知模型框架，定义普遍有效的认知公式和极小正规认知逻辑系统，讨论了一般正规认知逻辑系统的构造和相互关系。     

介绍几种家庭音响技术概况

1 杜比定向逻辑系统Dolby Pro-Logic杜比定向逻辑是杜比公司特许NEC 推出的它是一个由左声道L 右声道R 中央声道C 和环绕声道S 四个声道输出的家庭影院音响系统杜比定向逻辑是在制作过程中将左中右环绕声四路立体声信号输入矩阵编码器以分配法运算和移相处理后输出左总和右总两路信号记录到载体上如录像带或激光视盘上重放时经过杜比解码器把左总和右总两路信号还原为原来的四路信号通过各声道扬声器放出所以杜比定向逻辑其实就是杜比A4-2-4 的立体声矩阵解码装置它的主声道左右和中央声道的频率范围均为20Hz 20KHz 属全音域独立声道…     

一种FTDLS及其稳定性的初步探讨

提出了模糊思辨逻辑系统（FTDLS），建立了其数学模型，给出了其稳定的充要条件，证明了幂单调的模糊矩阵是幂收敛的。     

G(o)del逻辑系统中一类模糊逻辑方程解的性质

以模糊逻辑系统中公式的真度理论为基础,提出了模糊逻辑方程概念,从而实现了方程思想与模糊逻辑的结合；并在 G(o)del逻辑系统中选取形如τ(p→X)=α的一类模糊逻辑方程,展开方程解的性质讨论,其中,p为原子命题,X是待定的公式,由此得到如下结论:模糊逻辑方程τ(p→X)=α有同型解当且仅当α=0或1；有m-同型解(m≥2)当且仅当α∈{i/(m+2)! |i=0,1,2,…,(m+2)!}.     

刻画汉语连动结构的逻辑系统

介绍了汉语连动结构已有研究成果并指出其中存在的问题;给出刻画连动结构的多体谓词逻辑系统SVC;在给出系统的基础上进一步细化甚至修正了已有的工作。     

MTL?谓词逻辑系统公理化真度及其相似度的性质研究

命题逻辑及谓词逻辑的计量化是近期的一个研究热点，本研究基于左连续三角模的谓词演算系统MTL?,给出特定形式公式的真度取值范围，并研究含量词公式的相似度性质.     

浅谈FC＋TCR型SVC项目的设计与施工

介绍了FC＋TCR型SVC的基本原理,详细阐述了FC＋TCR型SVC的总体设计、土建方案和电气方案的设计,提出了工程采购选择和工程现场施工的注意事项。     

逻辑系统(谓词系统)L(w1,w)的(≤W1,infinite)-紧性

在这篇文章中我们提出并且证明了L(Wl,W)的(≤W1 infinite)-紧性.     

电力系统静止无功补偿技术的发展及应用

详细综述了电力系统静止无功补偿技术的发展现状,分析了各种静止无功补偿技术的原理、优点、缺点以及现今在电力系统中的应用情况,介绍了FC＋TCR＋TSC型SVC的基本原理和应用,并对无功补偿与谐波仰制的发展方向进行了瞻望。