切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
逻辑系统L~*中公式的随机真度
逻辑系统L~*中公式的随机真度
来源 :郑州大学学报:理学版 | 被引量 : 0次 | 上传用户:forbook121
【摘 要】
:
在赋值格为[0,1]的模糊逻辑系统L*中,利用序结构和赋值集的随机化方法提出了公式的随机真度,引入公式间的随机相似度和伪距离,导出随机真度和伪距离的若干性质,证明了随机逻辑
【作 者】
:
左卫兵
【机 构】
:
华北水利水电学院数学与信息科学学院
【出 处】
:
郑州大学学报:理学版
【发表日期】
:
2012年1期
【关键词】
:
随机真度
随机相似度
伪距离
随机逻辑度量空间
randomized truth degree
randomized similarity
pseudo-d
【基金项目】
:
河南省自然科学基金资助项目,编号112300410040, 河南省教育厅自然科学基金资助项目,编号2011A110012
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在赋值格为[0,1]的模糊逻辑系统L*中,利用序结构和赋值集的随机化方法提出了公式的随机真度,引入公式间的随机相似度和伪距离,导出随机真度和伪距离的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性,拓宽了随机真度的近似推理理论的研究思路.
其他文献
Banach空间分数阶微分方程边值问题解的存在性
考虑Banach空间E中分数阶微分方程边值问题{-Dβ0+u(t)=f(t,u(t)),t∈Ju(0)=u(1)={θ解的存在性,其中1〈β≤2为实数,J=[0,1],Dβ0+是标准的Riemann-Liouville导数,f:J×E→E连续.用新
期刊
分数阶微分方程
凝聚映射
不动点定理
非紧性测度
边值问题
fractional differential equation
condensing mappi
基于单元概率重要度的黄标车限行策略研究
基于城市道路网络系统可靠度理论,对郑州市区三环内的道路网络进行了基于蒙特卡罗的模拟分析.通过单元概率重要度的计算,确定重要度较大的路段集和区域,结合实践调查数据,提
期刊
道路交通
黄标车
限行策略
单元概率重要度
road traffic
yellow-label vehicle
restriction strategy
一类非线性四阶差分方程边值问题正解的存在性准则
运用不动点指数理论,获得了非线性四阶差分方程边值问题 正解的存在性准则,其中,T2={2,3,…,r,},f:T2×R→[0,∞)连续且T〉4,A〉0为参数.
期刊
四阶差分方程
正解
存在性
不动点指数
fourth-order difference equation
positive solution
existen
内蒙古草乌中氨基酸提取工艺的研究及测定
以盐酸为提取溶剂,通过加热回流对草乌中氨基酸进行提取,确定了氨基酸提取的最佳工艺条件,并使用氨基酸自动分析仪测定其组成含量.结果表明:最佳提取条件为料液比1∶50,提取时
期刊
草乌
氨基酸
提取
分析
Radix Aconiti Kusenezoffii
amino acid
extraction
analysis
基于时间自动机的UML模型转换与验证研究
针对无法对UML模型进行形式化验证的问题,提出在元模型层将UML模型转换为时间自动机模型并进行验证的方法.形式化UML状态机的结构,抽象出UML和时间自动机的元模型,利用模型转
期刊
统一建模语言
模型验证
模型转换
UPPAAL
时间自动机
元模型
UML
model checking
model transformation
Uppaal
具有负载平衡动态路由选择的排队网络的稳定性研究
研究了具有负载平衡动态路由选择的排队网络的稳定性问题.首先在描述排队网络动态行为的关系式组的基础上,利用强大数定律得到了一个与流体模型关系式组和流体极限的定义相关的
期刊
负载平衡
排队网络
稳定性
流体模型
load-balanced
queueing network
stability
fluid model
中心弱Armendariz环
定义了中心弱Armendariz环,并通过例子说明它是中心Armendariz环和弱Armendariz环的真推广.给出了中心弱Armendariz环的等价刻画,并讨论了它与Abelian环以及p.p.-环的关系.
期刊
中心弱Armendariz环
中心Armendariz环
弱ARMENDARIZ环
Abelian环
p.p.-环
central weak Armendari
基于帧长的巨帧网络时延测量方法
随着千兆网的发展,巨帧技术得到了广泛应用.为准确测量巨帧的传输特性,提出了基于帧长的巨帧网络时延测量算法,修正了Jacobson算法的超时定时器参数,对不同帧长的往返时延序
期刊
网络测量
巨帧
重传超时时间
超时
network measurement
jumbo frame
RTO
timeout
改进的随机化部分盲签名方案
对张建中等提出的基于双线性对的随机化部分盲签名方案进行了安全性分析,发现方案不能抵抗篡改公共信息攻击.为此,提出了一个改进方案.分析结果表明,改进方案在满足不可伪造
期刊
盲签名
部分盲签名
公共信息
双线性对
blind signature
partially blind signature
common informati
带Neumann边界条件的抛物型方程的样条差分方法
基于四次样条函数和广义梯形公式,针对抛物型方程的Neumann边值问题,构造了一族含参数θ(θ∈[0,1])的隐式差分格式,该格式在时间方向的精度为二阶,在空间方向的精度为四阶,当
期刊
抛物型方程
四次样条函数
差分格式
NEUMANN边值问题
parabolic equation
quartic spline function
diffe
与本文相关的学术论文