期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
5
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
S-模糊逻辑系统中积分相似度及算子连续性
被引量:
2
1
作者
惠小静
赵玛瑙
《计算机工程与应用》
CSCD
2014年第20期45-47,共3页
与通常相似度定义在真度基础上不同,在S-蕴涵模糊逻辑系统中提出了基于S-蕴涵算子的积分相似度。讨论了积分相似与逻辑等价的关系,给出了积分相似度的推理性质,提出了与积分相似度对应的伪距离。论证了伪距离空间中逻辑算子都是连续的。
关键词
S-逻辑系统
积分相似度
伪距离
在线阅读
下载PDF
职称材料
对称逻辑公式在L4*逻辑度量空间中的分布
2
作者
惠小静
赵玛瑙
高姣
《计算机科学》
CSCD
北大核心
2015年第11期130-133,148,共5页
在四值逻辑系统L*4中引入了对称逻辑公式。运用Matla软件研究了对称逻辑公式在L*4逻辑度量空间中的计数问题,给出了3n元、3n+1元、3n+2元对称逻辑公式的个数。证明了n元对称逻辑公式占全体n元逻辑公式的比例随n的增大而趋于零。
关键词
四值逻辑系统L4*
对称逻辑公式
计数问题
在线阅读
下载PDF
职称材料
重水型研究堆的堆功率和周期实时监测研究
被引量:
2
3
作者
郭文琪
刘冬林
+3 位作者
赵玛瑙
罗忠
李玉梅
魏东
《原子能科学技术》
EI
CAS
CSCD
北大核心
1996年第6期497-501,共5页
指出了提高重水型研究堆运行的安全性,监测反应堆瞬时堆功率和周期的必要性,并介绍了一种简单易行的监测方法,提出了进一步改进的方向。
关键词
研究堆
重水型
堆功率
周期
反应性
实时监测
在线阅读
下载PDF
职称材料
THDD-90型中子电离室的标定与考验
被引量:
1
4
作者
郭文琪
因长有
+5 位作者
黄克
刘乃荣
赵玛瑙
李玉梅
石跃
朱焕南
《原子能科学技术》
EI
CAS
CSCD
北大核心
1994年第2期129-132,共4页
文章描述在HWRR上进行的THDD-90型中子电离室的中子、γ射线灵敏度刻度,坪特性测量及随堆热考验。结果表明,该电离室的中子灵敏度S_n=2.5×10 ̄(-14)A·cm ̄(-2)·s ̄(-1),γ射线...
文章描述在HWRR上进行的THDD-90型中子电离室的中子、γ射线灵敏度刻度,坪特性测量及随堆热考验。结果表明,该电离室的中子灵敏度S_n=2.5×10 ̄(-14)A·cm ̄(-2)·s ̄(-1),γ射线灵敏度S_r=0.94×10 ̄(-11)A·(h·R ̄(-1))。经过13个月的随堆热考验后,其基本性能保持不变。
展开更多
关键词
中子电离室
灵敏度
标定
电离室
在线阅读
下载PDF
职称材料
逻辑系统L*中基于Г-演绎真度的近似推理
5
作者
郝国平
惠小静
赵玛瑙
《计算机科学与探索》
CSCD
北大核心
2015年第4期507-512,共6页
在逻辑系统L*中引入了公式Γ-演绎真度的概念,在Γ-演绎真度的基础上,定义了Γ-演绎相似度与伪距离,并讨论了它的一些基本性质。接着在逻辑系统L*中定义了3种不同类型的近似推理模式,对Γ-演绎真度的3种不同类型的近似推理模式之间的关...
在逻辑系统L*中引入了公式Γ-演绎真度的概念,在Γ-演绎真度的基础上,定义了Γ-演绎相似度与伪距离,并讨论了它的一些基本性质。接着在逻辑系统L*中定义了3种不同类型的近似推理模式,对Γ-演绎真度的3种不同类型的近似推理模式之间的关系进行了详细的研究,结果表明这3种不同类型近似推理模式是等价的。通过对这些理论的研究,为进一步研究基于Γ-演绎真度的发散度、相容度和近似推理奠定了良好的基础。
展开更多
关键词
Г-演绎真度
Г-演绎相似度
近似推理
等价
在线阅读
下载PDF
职称材料
题名
S-模糊逻辑系统中积分相似度及算子连续性
被引量:
2
1
作者
惠小静
赵玛瑙
机构
延安大学数学与计算机科学学院
出处
《计算机工程与应用》
CSCD
2014年第20期45-47,共3页
基金
陕西省自然科学基金(No.2014JM1020)
陕西省高水平大学建设专项资金(No.2012SXTS07)
+1 种基金
延安大学博士基金(No.YDBK2013-12)
延安市专项基金(No.2013-KG16)
文摘
与通常相似度定义在真度基础上不同,在S-蕴涵模糊逻辑系统中提出了基于S-蕴涵算子的积分相似度。讨论了积分相似与逻辑等价的关系,给出了积分相似度的推理性质,提出了与积分相似度对应的伪距离。论证了伪距离空间中逻辑算子都是连续的。
关键词
S-逻辑系统
积分相似度
伪距离
Keywords
S-logic system
integral similarity degree
pseudo-metric
分类号
O141 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
对称逻辑公式在L4*逻辑度量空间中的分布
2
作者
惠小静
赵玛瑙
高姣
机构
延安大学数学与计算机科学学院
出处
《计算机科学》
CSCD
北大核心
2015年第11期130-133,148,共5页
基金
国家自然科学基金(11471007)
陕西省自然科学基金(2014JM1020)
+2 种基金
陕西省高水平大学建设专项资金(2012SXTS07)
延安大学研究生创新基金
陕西省大学生创新训练计划项目(1064)资助
文摘
在四值逻辑系统L*4中引入了对称逻辑公式。运用Matla软件研究了对称逻辑公式在L*4逻辑度量空间中的计数问题,给出了3n元、3n+1元、3n+2元对称逻辑公式的个数。证明了n元对称逻辑公式占全体n元逻辑公式的比例随n的增大而趋于零。
关键词
四值逻辑系统L4*
对称逻辑公式
计数问题
Keywords
Four-valued logic system L4* , Symmetric logic formulas, Counting problem
分类号
O159 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
重水型研究堆的堆功率和周期实时监测研究
被引量:
2
3
作者
郭文琪
刘冬林
赵玛瑙
罗忠
李玉梅
魏东
机构
中国原子能科学研究院反应堆工程研究设计所
出处
《原子能科学技术》
EI
CAS
CSCD
北大核心
1996年第6期497-501,共5页
文摘
指出了提高重水型研究堆运行的安全性,监测反应堆瞬时堆功率和周期的必要性,并介绍了一种简单易行的监测方法,提出了进一步改进的方向。
关键词
研究堆
重水型
堆功率
周期
反应性
实时监测
Keywords
Reactor power
Reactor period
Reactivity
Real-time monitoring
分类号
TL411 [核科学技术—核技术及应用]
TL423 [核科学技术—核技术及应用]
在线阅读
下载PDF
职称材料
题名
THDD-90型中子电离室的标定与考验
被引量:
1
4
作者
郭文琪
因长有
黄克
刘乃荣
赵玛瑙
李玉梅
石跃
朱焕南
机构
中国原子能科学研究院
出处
《原子能科学技术》
EI
CAS
CSCD
北大核心
1994年第2期129-132,共4页
文摘
文章描述在HWRR上进行的THDD-90型中子电离室的中子、γ射线灵敏度刻度,坪特性测量及随堆热考验。结果表明,该电离室的中子灵敏度S_n=2.5×10 ̄(-14)A·cm ̄(-2)·s ̄(-1),γ射线灵敏度S_r=0.94×10 ̄(-11)A·(h·R ̄(-1))。经过13个月的随堆热考验后,其基本性能保持不变。
关键词
中子电离室
灵敏度
标定
电离室
Keywords
THDD-90 neutron ionization chamber Sensitivities to meutron and gammaPlateau characteristic On-line test in HWRR
分类号
TL811.1 [核科学技术—核技术及应用]
在线阅读
下载PDF
职称材料
题名
逻辑系统L*中基于Г-演绎真度的近似推理
5
作者
郝国平
惠小静
赵玛瑙
机构
延安大学数学与计算机科学学院
出处
《计算机科学与探索》
CSCD
北大核心
2015年第4期507-512,共6页
基金
国家自然科学基金Grant No.11471007
陕西省自然科学基金Grant No.2014JM1020
+3 种基金
陕西省高水平大学建设专项资金Grant No.2012SXTS07
延安大学博士基金Grant No.YDBK2013-12
延安市专项基金Grant No.2013-KG16
延安大学研究生创新基金~~
文摘
在逻辑系统L*中引入了公式Γ-演绎真度的概念,在Γ-演绎真度的基础上,定义了Γ-演绎相似度与伪距离,并讨论了它的一些基本性质。接着在逻辑系统L*中定义了3种不同类型的近似推理模式,对Γ-演绎真度的3种不同类型的近似推理模式之间的关系进行了详细的研究,结果表明这3种不同类型近似推理模式是等价的。通过对这些理论的研究,为进一步研究基于Γ-演绎真度的发散度、相容度和近似推理奠定了良好的基础。
关键词
Г-演绎真度
Г-演绎相似度
近似推理
等价
Keywords
Г-deduction truth degree
F-deduction similarity degree
approximate reasoning
equivalence
分类号
O141 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
S-模糊逻辑系统中积分相似度及算子连续性
惠小静
赵玛瑙
《计算机工程与应用》
CSCD
2014
2
在线阅读
下载PDF
职称材料
2
对称逻辑公式在L4*逻辑度量空间中的分布
惠小静
赵玛瑙
高姣
《计算机科学》
CSCD
北大核心
2015
0
在线阅读
下载PDF
职称材料
3
重水型研究堆的堆功率和周期实时监测研究
郭文琪
刘冬林
赵玛瑙
罗忠
李玉梅
魏东
《原子能科学技术》
EI
CAS
CSCD
北大核心
1996
2
在线阅读
下载PDF
职称材料
4
THDD-90型中子电离室的标定与考验
郭文琪
因长有
黄克
刘乃荣
赵玛瑙
李玉梅
石跃
朱焕南
《原子能科学技术》
EI
CAS
CSCD
北大核心
1994
1
在线阅读
下载PDF
职称材料
5
逻辑系统L*中基于Г-演绎真度的近似推理
郝国平
惠小静
赵玛瑙
《计算机科学与探索》
CSCD
北大核心
2015
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部