Carnap on unified science

Unified science is a recurring theme in Carnap's work from the time of the Aufbau until the end of the 1930's. The theme is not constant, but knows several variations. I shall extract three quite precise formulations of the thesis of unified science from Carnap's work during this period: from the Aufbau, from Carnap's so-called syntactic period, and from Testability and Meaning and related papers. My main objective is to explain these formulations and to discuss their relation, both to each other and to other aspects of Carnap's work.     

基于逻辑函数的电路可测性设计及多故障测试

逻辑函数可以根据需要被表示成多种不同的形式,其中的ESOP形式所需积项较少且具有一般性.针对数字电路的多故障,基于逻辑函数的ESOP形式,采用与门阵列和异或门树来进行电路的可测性设计,提出了在这种电路结构下的多故障测试方法,给出了检测电路中多故障的通用测试集.该测试集可从电路结构图直观求得,无需进行复杂处理,从而使测试生成变得简单快捷.     

小议意愿逻辑的构建

意愿逻辑思想源于边沁 ,此后却未成体系。构建独立的意愿逻辑 ,首先要对其基本概念意愿算子W进行深入研究。意愿算子具有主观性 ,因而意愿逻辑是继认知逻辑等从“自然的”逻辑向“人类的”逻辑进一步拓展 ;意愿算子具有倾向性 ,与优先等概念相关 ,意愿逻辑就可借鉴吸取优先逻辑的成果 ;意愿算子还有因程度不同而形成的模态即意态问题 ,并由于倾向性 ,不能像真势模态逻辑那样归纳模态概念     

重视学生辩证逻辑思维的培养

系统的论述了培养学生辩证逻辑思维的重要性。     

带Fuzzy外壳和Boole心脏的险象识别逻辑

结合新近发展起来的Ｆｕｚｚｙ命题逻辑的思想和组合线路险象识别技术的背景，改造Ｇｏｅｄｅｌ蕴算子和公式代数的赋值格，构造了另一种带Ｆｕｚｚｙ外壳和Ｂｏｏｌｅ心脏的险象识别逻辑，对其进行了语义地研究，得到了若干有趣的结果。     

一类典型模糊逻辑控制器的输出结构

研究一类特殊的多输入单输出的模糊逻辑控制器 ,其组成规则中的输入输出语言变量的语言值均取正规的三角形隶属函数 ,且分别作成其相应论域的模糊划分 ,在其输入输出之间存在一种特殊的映射关系———线性规则映射 .经分析得到结论 :模糊逻辑控制器的输出可以表示成输入的凸组合函数 .这一结论建立了模糊逻辑控制器的精确数学模型 ,对于模糊逻辑控制器的分析和调整提供了直接依据 .     

BL_Δ~*系统的完备性

研究了BL*系统和BR0-代数.首先在BL*系统的基础上添加了一元逻辑连接词Δ,得到BL*系统的一种模式扩张BL*Δ系统,随后提出了ΔBR0-代数的概念,其次研究了ΔBR0-代数中的Δ-滤子及其性质,最后证明了BLΔ*系统的完备性,给出了BLΔ*系统的广义演绎定理.     

用GAL构成无计数误差的倍频鉴相器

从逻辑和时序上说明了无计数误差四倍频鉴相器的结构，为使此结构满足GAL的“组合逻辑结构”，给出了满足GAL的逻辑方程。     

反问句逻辑研究

论述了反问句是逻辑判断或推理的特殊表达形式,分析了反问句凸显的揭示事物发展的客观规律、揭示事物的趋势、论证某一观点、强调事物性质、揭示事物之间的某种联系、肯定或否定某一事物等12种语用逻辑功能。