期刊文献+
共找到32篇文章
< 1 2 >
每页显示 20 50 100
基于连续逻辑的多值同步时序电路模块设计 被引量:3
1
作者 顾秋心 《计算机学报》 EI CSCD 北大核心 1992年第3期195-201,共7页
本文对多值时序逻辑电路提出了一种新的设计思想:以连续逻辑中不同的逻辑电平来表示时序机状态集中的不同状态及其他参数集中的不同元素;以电容及其旁路MOS管代替触发器实现信号的暂存和抹除.由于取消了传统的以一个二进制码代表一种状... 本文对多值时序逻辑电路提出了一种新的设计思想:以连续逻辑中不同的逻辑电平来表示时序机状态集中的不同状态及其他参数集中的不同元素;以电容及其旁路MOS管代替触发器实现信号的暂存和抹除.由于取消了传统的以一个二进制码代表一种状态的方法,使设计过程大大简化,可以使用多值时序电路的通用模块.实现不同的时序函数只需改变模块中某几个接点,所以设计、制造和使用都很方便. 展开更多
关键词 连续逻辑 时序电路 模块设计
下载PDF
连续逻辑DYL电路在测试系统中的应用
2
作者 刘心平 邵洪余 《遥测遥控》 1991年第2期71-74,共4页
本文利用DYL多元逻辑电路的特点,提出求极值和中间值的“地址”的方法和电路。使DYL多元逻辑电路的应用更加完善。
关键词 ^+多元逻辑电路 地址电路^+ 连续逻辑
下载PDF
排序和加权网络的电路实现
3
作者 张德龙 黄勇 《安徽大学学报(自然科学版)》 CAS 1991年第3期30-36,共7页
本文提出了一种排序和加权电路,它可以实现多路随机信号值进行排序和加权。这种排序和加权电路具有结构简单、信息传递速度快等特点。
关键词 连续逻辑 排序 加权 网络 电路
下载PDF
基于连续逻辑的十值十进制算术运算电路的设计
4
作者 顾秋心 《电子学报》 EI CAS CSCD 北大核心 1994年第8期99-101,共3页
本文提出了用DYL系列器件构成的直接用十进制进行运算的十值电路;DYL器件是一种线性元件,它可以工作于0~3V范围内的任意信号电压,对信号的分辨率极高,为实现高信息密度的十值电路提供了方便条件。本文提出的电路其工作原... 本文提出了用DYL系列器件构成的直接用十进制进行运算的十值电路;DYL器件是一种线性元件,它可以工作于0~3V范围内的任意信号电压,对信号的分辨率极高,为实现高信息密度的十值电路提供了方便条件。本文提出的电路其工作原理是基于一种我们称之为"赋值-选通"的方法。将可能的输出值全部赋予电路,根据输入信息,通过选通电路直接将计算结果输出。这种赋值-选通法对多值电路的设计有普遍意义。 展开更多
关键词 连续逻辑 算术运算器 运算电路
下载PDF
不分明化拓扑中的Tychonoff嵌入定理
5
作者 沈继忠 《工程数学学报》 CSCD 1996年第2期74-80,共7页
本文给出了基于连续逻辑t[0.1]上的全正则空间的定义及其基本性质。讨论了著名的Tychonoff嵌入定理,得到了任何一个不分明化的T1全正则空间可以λ-嵌入到某个Tychonoff方体s_I内的重要结论。
关键词 不分明化拓扑 嵌入定理 连续逻辑 TYCHONOFF
下载PDF
连续逻辑“max”“min”门的线性度 被引量:4
6
作者 王玉富 王守觉 《电子学报》 EI CAS CSCD 北大核心 1989年第2期3-8,共6页
本文对连续逻辑“max”“min”门CVL的线性特性进行了理论和数值的分析计算,给出了实测结果,两者符合甚佳。对CVL中值滤波器噪声能力的分析结果说明,CVL特别适用于滤除高幅值、低几率噪声。
关键词 连续逻辑 线性度 CVL
下载PDF
Fuzzifying Topological Linear Spaces Based on Continuous-Valued logic 被引量:9
7
作者 张广济 邹开其 张成 《Journal of Mathematical Research and Exposition》 CSCD 北大核心 2006年第1期77-88,共12页
In this paper, we introduce the concept of fuzzifying topological linear space and discuss the structures and properties of the balanced neighborhood system of zero element. We also give the algebraic properties and t... In this paper, we introduce the concept of fuzzifying topological linear space and discuss the structures and properties of the balanced neighborhood system of zero element. We also give the algebraic properties and the topological properties of fuzzifying convex set in the fuzzifying topological linear space. 展开更多
关键词 continuous-valued logic fuzzifying topological linear spaces balanced set zero element neighborhood system convex set.
下载PDF
基于连续值逻辑之BCK-代数的不分明蕴涵理想 被引量:4
8
作者 彭家寅 《模糊系统与数学》 CSCD 北大核心 2015年第5期1-10,共10页
在连续值逻辑的语义框架下,我们用连续值逻辑上的一元谓词演算方法引入了不分明BCK-蕴涵理想的概念,研究了几种不分明理想的若干性质及其之间一些关系。
关键词 连续逻辑 不分明理想 不分明蕴涵理想 不分明正定蕴涵理想
原文传递
I-fuzzy拓扑的基和子基 被引量:3
9
作者 王瑞英 吉智方 《内蒙古师范大学学报(自然科学汉文版)》 CAS 2007年第2期127-129,共3页
在I-fuzzy拓扑空间中引入R-邻域系,利用R-邻域系给出基和子基的概念,研究了基和子基的充分必要条件.
关键词 连续逻辑 模糊拓扑 I-fuzzy拓扑空间 R-邻域系 子基
下载PDF
基于模型检测的微服务组合平台QoS验证 被引量:3
10
作者 毛昕怡 钮俊 +1 位作者 丁雪儿 张开乐 《计算机应用》 CSCD 北大核心 2020年第11期3267-3272,共6页
针对当前缺少对微服务组合平台的服务质量(QoS)指标进行分析验证的问题,提出一种基于模型检测的形式化验证方法,对影响微服务平台性能的因素进行分析评估。首先,将微服务组合的服务资源配置过程划分为服务请求、资源配置和服务执行3个阶... 针对当前缺少对微服务组合平台的服务质量(QoS)指标进行分析验证的问题,提出一种基于模型检测的形式化验证方法,对影响微服务平台性能的因素进行分析评估。首先,将微服务组合的服务资源配置过程划分为服务请求、资源配置和服务执行3个阶段,并分别由服务请求队列、服务请求配置器和提供服务资源的虚拟机等模块实现;其次,将各个模块的实现过程建模为带标记Markov回报模型(LMRM),借助类似于进程代数的同步概念获得微服务组合过程的全局模型;接着,用连续随机回报逻辑公式刻画期望的QoS指标;最后,将形式模型与逻辑公式作为模型检测工具PRISM的输入以获得验证结果。实验结果表明,LMRM可较好地用于微服务组合平台的建模和QoS验证分析。 展开更多
关键词 微服务组合 连续时间Markov链 连续随机回报逻辑 模型检测 PRISM
下载PDF
不分明化环 被引量:3
11
作者 蒋志勇 盛梅波 《华东交通大学学报》 2000年第3期71-74,共4页
运用应明生教授于 90年代早期提出的连续值逻辑语义的方法引入了不分明化环的概念 。
关键词 不分明化环 模糊拓扑 模糊集 连续逻辑语义
下载PDF
线面体布尔运算的模糊逻辑方法
12
作者 孙宁 鲁晨光 《模糊系统与数学》 CSCD 1996年第1期8-14,共7页
本文推广第二作者建立色觉机制数学模型时发明的一种连续值逻辑方法──模糊开关准布尔代数,得到了线面体混合布尔函数──若干个互不相交的子区域──边界的求解方法;这种方法用布尔代数公式和max、min运算代替复杂的条件判断... 本文推广第二作者建立色觉机制数学模型时发明的一种连续值逻辑方法──模糊开关准布尔代数,得到了线面体混合布尔函数──若干个互不相交的子区域──边界的求解方法;这种方法用布尔代数公式和max、min运算代替复杂的条件判断,具有可靠性、通用性和简洁性。文中介绍了求解的一般方法,讨论了立体布尔函数的体积计算和截面显示等问题。 展开更多
关键词 立体布尔运算 连续逻辑 模糊逻辑 布尔运算
下载PDF
基于连续值逻辑上的不分明化环 被引量:1
13
作者 张广济 桑琳 邹开其 《模糊系统与数学》 CSCD 2001年第1期46-49,共4页
给出基于连续值逻辑上的不分明化环的概念 。
关键词 连续逻辑 不分明化环 不分明化理想 模糊幂集
下载PDF
KyFan定理在不分明化拓扑中的推广 被引量:2
14
作者 邱道文 沈继忠 《模糊系统与数学》 CSCD 1993年第2期82-86,共5页
本文给出了KyFan定理在不分明化拓扑中的推广。
关键词 不分明化拓扑 连通性 连续逻辑 KyFan定理
下载PDF
Fuzzifying拓扑中的Pre-网收敛 被引量:2
15
作者 王瑞英 斯钦孟克 刘万霞 《纯粹数学与应用数学》 CSCD 2011年第6期723-729,共7页
运用连续值逻辑语义的方法研究fuzzifying拓扑空间,从Pre-开集出发引入了Pre-导集的概念,并且给出了它的一些性质,进一步探讨了Pre-网收敛理论.这些研究有助于丰富和发展fuzzifying拓扑学的基本理论.
关键词 连续逻辑 FUZZIFYING拓扑 Pre-导集 网收敛
下载PDF
I-fuzzy拓扑中的正则开集 被引量:2
16
作者 王瑞英 刘万霞 韩金元 《纯粹数学与应用数学》 CSCD 2010年第2期205-210,共6页
在I-fuzzy拓扑空间框架下引入了I-fuzzy正则开集和某个模糊点的I-fuzzy正则R-邻域系的概念,进一步,又给出了I-fuzzyδ-闭包、I-fuzzyδ-开集等概念,且分别研究了它们的基本性质.
关键词 连续逻辑 I-fuzzy拓扑 I-fuzzy正则开集
下载PDF
不分明化拓扑中强紧性 被引量:2
17
作者 王瑞英 王尚志 《数学的实践与认识》 CSCD 北大核心 2007年第10期144-149,共6页
在不分明化拓扑空间中,从pre-开集出发引入了强紧性的概念,并且给出了它的一些性质.这些概念的结合有助于我们对不分明化拓扑的研究.
关键词 连续逻辑 不分明化拓扑 pre-开集 强紧性
原文传递
条件概率公式在一类马尔科夫报酬模型上的计算 被引量:2
18
作者 吴凯宗 孟庆红 徐鸣 《中国科技论文》 北大核心 2017年第17期1959-1965,1987,共8页
在马尔科夫报酬模型上,把条件概率算子引入连续随机报酬逻辑中,以此表达更为丰富的性质。在harmony假设下,路径的报酬限制可以转化成时间限制,从而将连续随机报酬逻辑中的路径公式转化为连续随机逻辑中的路径公式。再由已知的参数化乘... 在马尔科夫报酬模型上,把条件概率算子引入连续随机报酬逻辑中,以此表达更为丰富的性质。在harmony假设下,路径的报酬限制可以转化成时间限制,从而将连续随机报酬逻辑中的路径公式转化为连续随机逻辑中的路径公式。再由已知的参数化乘积连续时间马尔科夫链的方法,建立起高效的检测算法。 展开更多
关键词 马尔科夫报酬模型 连续随机报酬逻辑 条件概率
下载PDF
连续命题逻辑及其应用(二)
19
作者 苏岐芳 李希文 《高师理科学刊》 2000年第4期4-6,共3页
给出了连续命题逻辑的基础 ,命题逻辑变成了它的特命例 。
关键词 连续命题逻辑 广连续命题逻辑 应用
下载PDF
格蕴涵代数的不分明化滤子 被引量:1
20
作者 彭家寅 《山东大学学报(理学版)》 CAS CSCD 北大核心 2016年第2期119-126,共8页
利用一元模糊谓词逻辑和连续格值逻辑语义方法来发展格蕴涵代数的不分明化滤子。引入格蕴涵代数的不分明化滤子的概念,讨论其相关性质,研究了在格蕴涵同态映射下格蕴涵代数的不分明化滤子的象与原象之间的关系。
关键词 格蕴涵代数 不分明滤子 一元模糊谓词 连续格值逻辑 格蕴涵同态
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部