期刊文献+
共找到112篇文章
< 1 2 6 >
每页显示 20 50 100
基于开关信号理论的控阈技术与三值ECL施密特电路 被引量:11
1
作者 杭国强 吴训威 《电路与系统学报》 CSCD 1998年第2期15-20,共6页
基于开关信号理论 ,本文对ECL电路中的阈值控制进行了研究 ,建立了用于描述施密特电路中阈值可控开关工作过程的数学表示式。在此基础上设计了具有二次跳阈反应的三值ECL施密特电路。
关键词 开关理论 ECL电路 施密特电路 控阈技术
下载PDF
现代西方哲学家论模糊性的本质 被引量:11
2
作者 何建南 《五邑大学学报(社会科学版)》 2005年第1期1-5,30,共6页
伴随现代西方哲学的“语言的转向”, “语言的模糊性”得到深入探讨。皮尔斯是西方哲学史上确认“语言本身的模糊性”的第一位哲学家; 维特根斯坦强调语言确定性与模糊性的并存关系, 并试图将二者统一; 罗素从符号逻辑的水平上首次打破... 伴随现代西方哲学的“语言的转向”, “语言的模糊性”得到深入探讨。皮尔斯是西方哲学史上确认“语言本身的模糊性”的第一位哲学家; 维特根斯坦强调语言确定性与模糊性的并存关系, 并试图将二者统一; 罗素从符号逻辑的水平上首次打破了古典逻辑的排中律, 开辟了形式化模糊逻辑或多值逻辑的研究道路。 展开更多
关键词 模糊性 多值逻辑 语言哲学 罗素 皮尔斯 维特根斯坦
下载PDF
用于不确定性故障诊断的权重逻辑推理算法研究 被引量:9
3
作者 董春玲 张勤 《自动化学报》 EI CSCD 北大核心 2014年第12期2766-2781,共16页
针对复杂系统故障诊断建模及推理的复杂性、数据不足、领域知识及监测信息不完备等问题,本文基于动态不确定因果图(Dynamic uncertain causality graph,DUCG)进行权重逻辑推理(Weighted logical inference,WLI)及其数理基础的系统化研究... 针对复杂系统故障诊断建模及推理的复杂性、数据不足、领域知识及监测信息不完备等问题,本文基于动态不确定因果图(Dynamic uncertain causality graph,DUCG)进行权重逻辑推理(Weighted logical inference,WLI)及其数理基础的系统化研究.WLI引入绑定权重系数的逻辑事件推理机制,可确保变量状态概率的自动归一性和链式推理的自我依赖性,为多赋值因果关系的简洁、不完备表达提供了解决方案.由于WLI在信息不完全性和命题真值空间的高维性等方面突破了经典数理逻辑,为使其理论基础更为坚实,本文进行了WLI的规范化定义、推理算法补充、运算性质探析,并就理论相容性和自洽性开展了详细论证.算法分析及故障诊断实验结果表明,其高效、准确、较少依赖于参数精确性和数据完备性等特征. 展开更多
关键词 故障诊断 权重逻辑推理 不确定性 多值逻辑 概率推理
下载PDF
PIPELINED多值A/D转换器 被引量:4
4
作者 周选昌 《电路与系统学报》 CSCD 2001年第2期83-85,共3页
通过对多值ADC数学表示的分析,指出了多值ADC具有更高的信息密度。本文结合数字电路的开关信号理论,设计了Pipelined三值ADC。该ADC在保证较高转换速度的同时具有相对简单的电路结构。
关键词 多值模数转换器 开关信号理论 多值逻辑 数字电路 PIPELINED
下载PDF
基于n值关系语义的命题模态逻辑系统研究
5
作者 周张泉 杨成彪 刘军 《计算机技术与发展》 2024年第2期71-77,共7页
传统的多值模态逻辑系统将关系语义中的状态及状态间的关系进行了多值化处理。然而,实际应用中状态间的关系往往是确定的,无需多值化。针对这种情况,基于?ukasiewicz代数系统提出了一种新的命题模态逻辑n值关系语义。在所提出的n值关系... 传统的多值模态逻辑系统将关系语义中的状态及状态间的关系进行了多值化处理。然而,实际应用中状态间的关系往往是确定的,无需多值化。针对这种情况,基于?ukasiewicz代数系统提出了一种新的命题模态逻辑n值关系语义。在所提出的n值关系语义中,针对状态进行了多值化处理,同时保持了状态间关系的确定性。通过对逻辑公式的形式化定义以及可满足性和有效性的分析,证明了n值关系语义下经典命题模态逻辑系统K,T,S4和S5的正确性。进一步地,给出了极大一致集与典范模型在n值关系语义下的定义,并完成了上述经典命题模态逻辑系统的完备性证明。上述结论表明基于n值关系语义的命题模态逻辑系统能够涵盖并捕捉到经典逻辑系统中的所有有效命题。综上所述,所提出的基于?ukasiewicz代数系统的n值关系语义提供了一种在实际应用中处理多值状态及确定的状态间关系的方法。这种方法在扩展命题模态逻辑系统的形式化定义与关系语义是可行且有效的。 展开更多
关键词 模态逻辑 多值逻辑 关系语义 ?ukasiewicz系统 正确性和完备性
下载PDF
一种多值Petri网及其应用 被引量:4
6
作者 陈星 刁永锋 黄昌海 《微电子学与计算机》 CSCD 北大核心 2005年第5期182-184,187,共4页
为了更好地将Petri网应用在基于多值逻辑的知识表示和推理中,以普通Petri网的基本定义为基础,结合模糊Petri网和有色Petri网各自的一些特点,将其进行必要的扩展和简化,从而提出一种多值Petri网,使托肯和变迁多值化,然后将它用于知识工... 为了更好地将Petri网应用在基于多值逻辑的知识表示和推理中,以普通Petri网的基本定义为基础,结合模糊Petri网和有色Petri网各自的一些特点,将其进行必要的扩展和简化,从而提出一种多值Petri网,使托肯和变迁多值化,然后将它用于知识工程中多值产生式建模和推理中,并根据推理的需要提出了相应的算法。 展开更多
关键词 多值Petri网 多值逻辑 知识表示 不确定性推理
下载PDF
基于模代数的三值维持阻塞触发器及其应用 被引量:5
7
作者 张迎 韦健 吴训威 《电路与系统学报》 CSCD 1999年第1期12-17,共6页
本文给出了基于模代数理论的三值维持阻塞触发器,并将其应用到时序逻辑电路设H中。由’J‘多值模代数中的两个基本运算的作用对象和运算结果均为多值信号,所以它的应用避免了以往在采用基}POOI代数的三值触发器时,由于输入、... 本文给出了基于模代数理论的三值维持阻塞触发器,并将其应用到时序逻辑电路设H中。由’J‘多值模代数中的两个基本运算的作用对象和运算结果均为多值信号,所以它的应用避免了以往在采用基}POOI代数的三值触发器时,由于输入、输出信号不匹配而必须增加附加编码电路的问题。设计实例表明,该触发器具会更强的逻辑功能,它使得移位寄存器类的时序电路设计得以显著简化。 展开更多
关键词 模代数 多值逻辑 锁存器 触发器
下载PDF
基于图像融合与多尺度分割的目标级变化检测 被引量:5
8
作者 吴俊政 严卫东 +1 位作者 倪维平 边辉 《电光与控制》 北大核心 2013年第12期51-55,共5页
传统的像素级变化检测对辐射校正及阈值选择要求较高,因而在实际应用中受到诸多限制。在分析多尺度分割的基础上,提出了一种目标级的变化检测方法。分别利用粗、细尺度对各时相遥感图像的融合图像进行面向对象分割,以获取不同尺寸的目... 传统的像素级变化检测对辐射校正及阈值选择要求较高,因而在实际应用中受到诸多限制。在分析多尺度分割的基础上,提出了一种目标级的变化检测方法。分别利用粗、细尺度对各时相遥感图像的融合图像进行面向对象分割,以获取不同尺寸的目标区域,构造目标的特征进行向量分析得到差异图,并定义变化信息的强度,再利用多值逻辑理论将粗、细尺度下的检测结果进行决策级融合。实验结果表明,与传统的像素级检测方法相比,该方法受辐射差异影响小,检测精度更高,且检测结果对变化强度的衡量准确,能对应于有一定物理意义的目标变化。 展开更多
关键词 遥感图像 目标级变化检测 融合 多尺度分割 多值逻辑
下载PDF
部分四值逻辑中Sheffer函数的判定与构造 被引量:2
9
作者 刘任任 《计算机工程与科学》 CSCD 2008年第11期75-76,共2页
根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4*中的Sheffer函数。
关键词 多值逻辑 Sheller函数 最小覆盖
下载PDF
阈算术代数系统及多值电流型CMOS电路设计 被引量:5
10
作者 姚茂群 张官志 施锦河 《电子与信息学报》 EI CSCD 北大核心 2012年第7期1773-1778,共6页
该文根据电流信号易于实现算术运算的特点,定义了阈算术运算及非负运算,建立了一个适合于电流型电路设计的阈算术代数系统,并在阈算术代数系统中定义和图为阈算术函数的图形表示。在此基础上,通过三值电流型CMOS电路的设计实例,阐述了... 该文根据电流信号易于实现算术运算的特点,定义了阈算术运算及非负运算,建立了一个适合于电流型电路设计的阈算术代数系统,并在阈算术代数系统中定义和图为阈算术函数的图形表示。在此基础上,通过三值电流型CMOS电路的设计实例,阐述了运用和图将逻辑函数转化为阈算术函数的电流型CMOS电路设计方法。采用TSMC 0.18μm CMOS工艺参数的HSPICE模拟结果表明,所设计的电路具有正确的逻辑功能。阈算术代数系统的提出及和图的运用为电流型电路设计提供了一种新的简单有效的方法。 展开更多
关键词 电流型CMOS电路 阈算术代数系统 阈算术函数 和图 多值逻辑
下载PDF
关于部分四值逻辑中保2元正则可离关系的分类 被引量:4
11
作者 龚志伟 刘任任 《计算技术与自动化》 2006年第3期46-47,62,共3页
根据部分多值逻辑的完备性理论,定出部分四值逻辑中保2元正则可离关系,并按照准完备集之间的相似关系概念,对所定出的关系进行分类。
关键词 多值逻辑 正则可离 相似关系
下载PDF
基于CNFET的低功耗三值门电路设计 被引量:5
12
作者 唐伟童 汪鹏君 郑雪松 《宁波大学学报(理工版)》 CAS 2014年第3期43-49,共7页
通过对碳纳米场效应晶体管(Carbon Nanotube Field Effect Transistor,CNFET)的研究,提出一种基于CNFET的低功耗三值门电路设计方案.该方案在分析CNFET结构及其不同尺寸的碳纳米管对应于不同阈值电压特性的基础上,以多值逻辑理论为指导... 通过对碳纳米场效应晶体管(Carbon Nanotube Field Effect Transistor,CNFET)的研究,提出一种基于CNFET的低功耗三值门电路设计方案.该方案在分析CNFET结构及其不同尺寸的碳纳米管对应于不同阈值电压特性的基础上,以多值逻辑理论为指导,设计基于CNFET的三值反相器、与非门、或非门等单元门电路,最后利用HSPICE对所设计的电路进行仿真.结果表明:所设计电路具有正确的逻辑功能,与传统三值门电路相比,三值CNFET门电路平均传输速度提高52.7%,平均能耗节省54.9%. 展开更多
关键词 低功耗 碳纳米场效应晶体管 多值逻辑 门电路
下载PDF
任意值数触发器电路设计及其应用 被引量:4
13
作者 张德龙 张瑜 《计算机学报》 EI CSCD 北大核心 1995年第1期65-70,共6页
本文在运用DYL集成线性“与或”门构成多值反相器的基础上,设计出可存储任意逻辑状态值的RS触发器、D触发器和JK触发器.这类任意值数触发器可作为多值逻辑器件,用于多值时序电路设计.
关键词 触发器 电路设计 多值逻辑 设计 应用
下载PDF
基于多值逻辑方法的模糊逻辑函数规范展开 被引量:4
14
作者 陈华华 沈继忠 《浙江大学学报(理学版)》 CAS CSCD 2002年第3期292-297,共6页
首先提出了模糊逻辑和多值逻辑的相似性 ,并建立了三值逻辑函数文字运算和模糊逻辑函数短语的对应关系 ,进而提出了从三值逻辑函数的规范展开式求得模糊逻辑函数规范展开式的算法 ,并用该算法对几个模糊逻辑函数实例进行了规范展开 .实... 首先提出了模糊逻辑和多值逻辑的相似性 ,并建立了三值逻辑函数文字运算和模糊逻辑函数短语的对应关系 ,进而提出了从三值逻辑函数的规范展开式求得模糊逻辑函数规范展开式的算法 ,并用该算法对几个模糊逻辑函数实例进行了规范展开 .实例操作表明 ,该算法具有简单、规范、方便快捷的特点 ,是获得模糊逻辑函数规范展开式的一种有效的方法 . 展开更多
关键词 多值逻辑 模糊逻辑 规模展开式
下载PDF
多值逻辑与悖论 被引量:4
15
作者 霍书全 《中国社会科学院研究生院学报》 CSSCI 北大核心 2010年第5期40-45,共6页
悖论是困扰逻辑学的难题,在经典逻辑中往往难以解决,诉诸多值逻辑成为一种重要选择。说谎者悖论、罗素悖论可以在三值逻辑中得到解决,连锁悖论可以在更多值的多值逻辑中得到一定程度的解决。多值逻辑解决连锁悖论时可以把真值解释为概... 悖论是困扰逻辑学的难题,在经典逻辑中往往难以解决,诉诸多值逻辑成为一种重要选择。说谎者悖论、罗素悖论可以在三值逻辑中得到解决,连锁悖论可以在更多值的多值逻辑中得到一定程度的解决。多值逻辑解决连锁悖论时可以把真值解释为概率或逻辑真值,但是概率和逻辑真值存在明显的差异,通过对两种解释的比较可以进一步加深对多值逻辑的理解。多值逻辑在解决悖论的过程中找到了其应用价值,即可以处理含有模糊概念的推理,同时,其合法性也得到了辩护。 展开更多
关键词 多值逻辑 悖论 模糊逻辑 概率
原文传递
运行时验证及其在列车运行控制系统中的应用 被引量:4
16
作者 赵林 唐涛 +2 位作者 徐田华 柴铭 李宪 《铁道学报》 EI CAS CSCD 北大核心 2011年第12期65-71,共7页
运行时验证是一种将模型检验方法与测试相结合的轻量级验证技术,它能够有效地降低系统验证的复杂度,提供系统运行阶段的安全保障,因此在安全苛求系统的验证领域有着极其重要的应用。本文提出一种基于三值逻辑的有限轨迹LTL可执行语义,允... 运行时验证是一种将模型检验方法与测试相结合的轻量级验证技术,它能够有效地降低系统验证的复杂度,提供系统运行阶段的安全保障,因此在安全苛求系统的验证领域有着极其重要的应用。本文提出一种基于三值逻辑的有限轨迹LTL可执行语义,允许"真"和"假"以外的逻辑值来显式的刻画验证过程中可能出现的非确定性,从而使得验证的结果更加精确。针对新的LTL语义给出了基于公式重写的运行监控算法和近似优化策略,并结合欧洲列车运行控制系统的实例,分析探讨了该方法在轨道交通控制领域的应用。 展开更多
关键词 模型检验 测试 多值逻辑 公式重写 列车运行控制系统
下载PDF
多值逻辑基本运算的神经网络实现 被引量:4
17
作者 吕伟锋 毕净 +1 位作者 沈继忠 姚茂群 《电路与系统学报》 CSCD 2003年第6期91-94,共4页
多层感知器神经网络是典型的人工神经网络模型。本文在分析二值感知器神经网络实现二值数字逻辑运算后,将其推广到多值逻辑。根据感知器神经元的分类特点,采用三层前向稳健感知器神经网络实现了三值格代数系统中的基本运算,从而也实现... 多层感知器神经网络是典型的人工神经网络模型。本文在分析二值感知器神经网络实现二值数字逻辑运算后,将其推广到多值逻辑。根据感知器神经元的分类特点,采用三层前向稳健感知器神经网络实现了三值格代数系统中的基本运算,从而也实现了任意三值逻辑函数。 展开更多
关键词 神经网络 感知器 多值逻辑 格代数系统
下载PDF
电流型CMOS多值乘法器分析与芯片的设计 被引量:4
18
作者 杨洪利 靳东明 李志坚 《电子学报》 EI CAS CSCD 北大核心 1995年第2期78-81,共4页
本文以电流型CMOS电路为基础,提出了种一高速、高集成度的多值乘法器设计方案,讨论了多值乘法器与集成度、速度和精度的关系,同时用改进CMOS工艺实现了3×3位8值乘法器的设计,得到了较理想的结果。
关键词 多值逻辑 乘法器 全加器 电流CMOS电路
下载PDF
多值逻辑系统RDP中的子代数理论 被引量:3
19
作者 于鸿丽 吴洪博 《模糊系统与数学》 CSCD 北大核心 2013年第3期36-40,共5页
系统RDP是一个带有参数的系统,将参数a赋予不同的值,将会得到不同的多值逻辑系统。本文研究了多值逻辑系统RDP中的子代数理论,讨论了该系统子代数的特征及相关性质,为系统RDP的进一步研究奠定了基础。
关键词 多值逻辑 子代数 逻辑系统RDP
原文传递
一个新的意图后承形式系统L_(m5c) 被引量:3
20
作者 朱紫汝 陈小平 周熠 《软件学报》 EI CSCD 北大核心 2002年第7期1271-1277,共7页
建立意图后承的形式化推理系统是意图形式化研究中的一个重要课题.提供了一个新的基于归约蕴涵的意图后承形式系统Lm5c,给出了意图后承的形式规范.与已有的意图后承形式系统相比,这个系统比较简单,并具有许多现有同类系统所不具备的优... 建立意图后承的形式化推理系统是意图形式化研究中的一个重要课题.提供了一个新的基于归约蕴涵的意图后承形式系统Lm5c,给出了意图后承的形式规范.与已有的意图后承形式系统相比,这个系统比较简单,并具有许多现有同类系统所不具备的优良性质,比如无副作用.此外,还具有较强的推理能力,可供Agent自身用于意图推理和目标修改. 展开更多
关键词 意图承形式系统 Lm5c 主体 BDI模型 多值逻辑 人工智能 意图形式化
下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部