三值逻辑函数RDSOP形式的代数理论和T门实现

三值逻辑函数简化的不相交SOP(RDSOP)形式是一种很有用的代数形式,研究表明,它在T门网络的设计和化简方面有重要应用．利用三值格代数的基本运算和主要性质,讨论了三值函数RDSOP形式的代数理论和算法,并给出了应用实例．利用以三值T门网络可以实现任意三值逻辑函数的原理,提出了基于RDSOP形式的三值T门网络最小化设计的一种方法,并给出了实例．从给出的实例可以看出,该方法是有效且可行的．

数字多路选择器网络最小化设计的一种简便方法

多路选择是一种重要的多功能通用逻辑器件 ,已经证明利用多路选择器网络可以实现任何逻辑函数。本文给出数字多路选择器网络最小化设计的一种简便方法。这种方法的关键是求出待实现函数的简化的不相交积之和 ( SOP)形式 ;选择合适的各级控制 (地址 )变量 ;利用展开定理分别求出原函数 (或其子函数 )的关于各积项的函数限制。从本文给出的设计实例说明这种方法是有效而易行的。

Brody《词汇逻辑式理论》述评

九十年代,生成语法在理论方法上出现了重大进展,Chomsky提出的最简方案引发了一场语言学理论反思,在这样的背景下Brody提出了比最简方案更激进的语言学理论——词汇逻辑式理论(LLFT),取消移动,改造投射,用语链解释以往用显性移动和隐性移动所解释的语法关系,Brody试图用他的新理论考察原有的原则与参数理论,但是LLFT的兼容性较差,无法令人满意地分析已有较佳解释的大量语法现象。本文主要针对Brody的一些核心思想作个初步的介绍并指出理论中的不足之处。

二值命题逻辑中有限理论带误差结论集的结构

二值命题逻辑系统中理论Г的带误差结论集是近似推理研究的基本对象,对其结构进行分析是近似推理研究中需要解决的问题。通过公式是有限理论Г的带误差结论的充要条件,利用集合划分方法,对有限理论Г的带误差结论集分别基于真度相等关系和逻辑等价关系进行分类,得到了基于两类等价关系的包含等价类个数和代表元表示形式的分类定理,进一步体现了二值命题逻辑系统近似推理研究中理论Г的带误差结论集的特征。

基于依存语义的答案抽取应用

为了提高答案抽取应用中定位候选答案的准确性,提出了一种基于依存语义检测的答案抽取应用系统(DIAES)。该系统通过将句子的语义结构表示成基于依存语义关系的最小逻辑形式,并以此评价候选答案的语义结构相似度案,具有复杂度低、抽取精度高等优点。

面向形式生成的极少主义建筑建构逻辑研究

受密斯建筑设计中建构逻辑“显”与“隐”的启示,以极少主义建筑简约形式与复杂建构的二元矛盾为切入点,探讨其建构逻辑与形式生成之间的规律,进而归纳出两种关系类型——“建构”逻辑之于形式的清晰性表达与“反建构”逻辑之于形式的抽象性表达,并在此基础上总结两种建构逻辑对应的操作方法及形式表达。立足于建构的语境,促进设计与建造的关联性,并对国内建筑设计实践有所启示。