切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
修正的n值G(o)del逻辑系统的随机化
修正的n值G(o)del逻辑系统的随机化
来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:ff520
【摘 要】
:
利用赋值集的随机化方法,在修正的n值G(o)del逻辑系统中提出了公式的随机真度和随机距离的概念,建立了随机度量空间.指出当取均匀概率时,随机真度就转化为计量逻辑学中的真度
【作 者】
:
李修清
魏海新
林亮
【机 构】
:
桂林航天工业高等专科学校计算机系,桂林理工大学数理系
【出 处】
:
计算机工程与应用
【发表日期】
:
2004年期
【关键词】
:
随机概率分布矩阵
随机真度
随机逻辑度量空间
【基金项目】
:
国家自然科学基金;
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
利用赋值集的随机化方法,在修正的n值G(o)del逻辑系统中提出了公式的随机真度和随机距离的概念,建立了随机度量空间.指出当取均匀概率时,随机真度就转化为计量逻辑学中的真度,建立了更一般的随机逻辑度量空间.
其他文献
Zakharov方程组半离散Fourier谱格式解的存在性
为了研究等离子体物理中Zakharov方程组数值方法解的适定性,本文针对Zakharov方程组的周期初值问题,首先在[0,7]上建立了半离散的Fourier谱格式;然后,证明了半离散Fourier谱格
期刊
Zakharov方程组
Fourier谱格式
整体解
先验估计
一些特殊的p核p群
给出了一些特殊的p核p群的分类,并给出了一些非正则p核p群的例子.
期刊
有限p群
Dedkind群
p核p群
溶剂热制备Co掺杂ZnO纳米花及其光催化降解甲基橙
采用简单的溶剂热法制备了ZnO纳米花状枝晶,枝晶主干长约400~500 nm,晶枝长约500~700 nm.利用XRD、SEM及EDS测试手段对ZnO纳米花进行物相、结构、形貌和成分表征的结果显示,ZnO
期刊
ZnO
纳米花
溶剂热制备
光催化降解
具有Holling I型功能反映的半比例依赖捕食-食饵离散系统的概周期解的存在性
研究了一类具有Holling Ⅰ型功能反映的半比例依赖捕食-食饵离散系统,通过构造适当的Lyapunov函数,给出了其存在唯一一致渐近稳定的概周期解的充分条件.
期刊
离散系统
Holling Ⅰ型
概周期解
概周期序列
β-羟基亚胺类化合物的合成及其锂化合物催化异氰酸酯三聚反应
以苯乙酮和芳香胺化合物通过缩合反应合成相应的亚胺化合物,再用二异丙胺基锂去质子后与二苯甲酮反应,然后水解,合成了三个β-羟基亚胺类化合物.进一步研究了β-羟基亚胺锂化
期刊
β-羟基亚胺类配体
异氰酸酯
异氰脲酸酯
催化
钛取代杂多酸盐甘氨酸超分子化合物的合成及热分解动力学研究
用室温固相法合成了Keggin结构单取代杂多硅钨酸盐甘氨酸超分子化合物α-K4(HGly)3[SiW11Ti(H2O)O39].4H2O,用IR、UV、TG-DTA、X-射线粉末衍射等方法对其进行了表征。结果表
期刊
杂多钨酸盐
甘氨酸
超分子化合物
热分解动力学
输出功率12W的全固态连续单横模1.34μm激光器
设计了全固态连续单横模1.34 μm激光器.利用880 nm激光二极管双端纵向泵浦Nd:YVO4复合晶体,在泵浦功率为51W时,获得12.4W的连续单横模1.34 μm激光输出,光—光转换效率达到2
期刊
1.34μm激光
880nm双端纵向泵浦
热透镜效应
存在固有偶极矩的V型三能级单分子体系发射光子统计性质研究
用最近发展的产生函数(Generating Function)方法,研究了在连续激光场和射频场作用下存在固有偶极矩的V型三能级单分子体系发射光子的统计性质.主要讨论了不同激光场强度和不
期刊
单分子光谱
三能级体系
光子统计
产生函数
用中子活化分析研究南洼白陶的原料产地
选取南洼白陶样品15个,南洼遗址附近的灰白色黏土样品7个,用中子活化分析(NAA)测量每个样品中21种元素的含量,将这些数据进行模糊聚类分析和散布分析.结果表明,南洼白陶与南
期刊
白陶
中子活化分析
产地
朝鲜农业改革评析
20世纪90年代以来,朝鲜政府对农业在经济管理体制、粮食产购销体制等方面进行了一系列改革,以解决面临的农业困难.农业改革是当前朝鲜正在推行的经济改革的重要方面.朝鲜的农
期刊
朝鲜
农业改革
与本文相关的学术论文