切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
[!--class.name--]论文
[!--title--]
[!--title--]
来源 :计算机科学 | 被引量 : [!--cite_num--]次 | 上传用户:[!--user--]
【摘 要】
:
在四值Godel命题逻辑系统中提出了公式的概率真度,证明了全体公式的概率真度值之集在[0,1]中没有孤立点;定义了两个公式问的概率相似度,建立了概率逻辑度量空间,证明了此空间中没
【作 者】
:
贺锦瑞
惠小静
双靖宁
【机 构】
:
延安大学数学与计算机科学学院
【出 处】
:
计算机科学
【发表日期】
:
2015年B11期
【关键词】
:
概率真度
相似度
孤立点
Probability truth degree
Similarity degree
Isolated point
【基金项目】
:
本文受国家自然科学基金(11471007),陕西省自然科学基金(2014JML020),陕西省高水平大学建设专项资金(2012SXTS07)资助.
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
[!--newstext--]
其他文献
多项式数据通路的优化方法
为了实现多项式数据通路的高层次综合,采用有序的、简化的和正则的带权值广义表模型表达该多项式。提出了基于带权值广义表的优化方法,该方法以自顶向下的方式遍历带权值广义
期刊
多项式
带权值广义表
数据通路
高级综合
Polynomial
Weighted generalized list
Datapaths
High leve
一种基于高光谱成像技术的文检取证系统
高光谱技术在广大电磁波谱范围内实现了不同物质的分辨,早已在遥感领域大显身手,虽然国内亦有研究机构提出了各种利用该技术进行司法鉴定的方法,但其往往结构复杂,成本极高,实现困
期刊
高光谱
光谱矢量特征
刑侦
取证
文检
Hyperspectral
Spectral feature vector
Criminal investigation
基于事故树分析的电爆网路盲炮预防研究
根据电爆网路盲炮产生的原因,构建了盲炮事故树,通过对盲炮事故树结构重要度分析,求出了盲炮事故树的最小割集,并对各基本事件重要度进行了排序,从而找出了盲炮产生的主要原因。最
期刊
电爆网路
盲炮预防
事故树
定性分析
Blasting electric circuit~ Misfire prevention~ FTA~ Qualitati
QQ电子证据的认证规则构建
电子证据的证明能力是证明力的基础,证明力关涉电子证据的证明效果强弱,两者共同构成电子证据的认证规则。在当前司法实践中QQ电子证据作为证据使用并不是很普遍的情况下,从QQ证
期刊
电子证据
证据规则
QQ聊天记录
Electronic evidence
Evidence rules
QQ chat record
面向自动修复并融合失效场景的缺陷定位方法
为了应对日益增长的软件修复开销,研究高效的软件自动修复技术成为学术界和工业界的共识。缺陷定位作为自动修复技术的前端,是实现快速准确自动修复的关键,其精度直接影响自
期刊
自动修复
缺陷定位
失效场景
程序切片
可疑值度量
Automatic repair
Fault localization
Failure-related
六元语言值直觉模糊的金融决策推理方法
为了处理金融决策中的不确定性信息,采用直觉格值的方法来表达语言值。基于语言真值直觉格值系统,改进了一个个人金融决策辅助系统模型。该系统的推理方法是将直觉模糊逻辑近似
期刊
直觉格值
相似度
语言值因子
真值程度
Intuitionistic lattice valued
Similarity
Linguistic factor
基于神经网络的用户视频评分自动获取方法
在未来的智能电视系统中,真正的智能视频推荐应该是不需要用户评分动作就能自动、准确地获得用户兴趣、爱好并做出推荐的系统.研究无评分动作约束下的用户评分(揭示了他们的
期刊
电视系统
智能视频推荐
观看行为
隐性评分
信息获取
神经网络
基于PLC5/FIX结构的氧气生产线控制系统
广州珠江气体工业公司新建的10000Nm3/h氧气生产线,其控制系统采用的PLC5/FIX结构,具有技术上的先进性、经济上的合理性和运行上的可靠性.系统中模型预估技术的应用值得关注.
期刊
可编程控制器
氧气生产线
控制系统
PLC
FIX
组态软件
air separation
automatic control
model predictive
基于相对密度的不确定数据聚类算法
传统的基于相对密度的聚类算法有效地解决了密度聚类算法对参数敏感以及不能区分不同密度等级簇的问题。基于相对密度的不确定聚类算法,借用了相对密度算法的思想,根据不确定数
期刊
不确定数据
相对密度
聚类
Uncertain data
Relative density
Clustering
基于混沌粒子群算法和小波SVM的P2P流量识别方法
针对对等网络(Peer-to-Peer,P2P)流量具有的多尺度和突变性等问题,提出了基于小波核函数的支持向量机(Support Vector Machine,SVM)的P2P流量识别算法.进一步,对常用的SVM参数训
期刊
P2P流量识别
支持向量机
小波
混沌粒子群优化算法
P2P traffic identification
Support vector machine
Wav
与本文相关的学术论文