检索结果-维普期刊中文期刊服务平台

N-SHOQ(D):描述逻辑SHOQ(D)的一个非单调扩展被引量：7: 1; 作者王淞昕王飞 +1 位作者周水庚周傲英《计算机研究与发展》 EI CSCD 北大核心 2005年第4期570-575,共6页; 描述逻辑SHOQ(D)给出了Web本体语言DAML+OIL的语义,但SHOQ(D)只能处理严格成立的完备知识,不能处理在实际情况中经常出现的不完备知识.对描述逻辑SHOQ(D)进行扩展,提出了能够处理不完备知识的非单调描述逻辑N-SHOQ(D).给出了N-SHOQ(D)... 展开更多; 关键词语义WEB DAML+OIL 描述逻辑非单调推理; 在线阅读下载PDF 职称材料

基于全序划分模型的开放逻辑的计算复杂性被引量：3: 2; 作者王淞昕刘大有《计算机研究与发展》 EI CSCD 北大核心 2002年第10期1244-1247,共4页; 研究了基于全序划分模型的开放逻辑的计算复杂性 .证明了 :在考虑一般公式的情形下判定一个公式是否被重构所蕴涵是Π p2 完全的 ;如果限制到考虑 Horn公式的情形 ,则为 co-NP完全的 .由此表明 ,从计算复杂性角度来说 ,该判定问题在一... 展开更多; 关键词全序划分模型开放逻辑计算复杂性; 在线阅读下载PDF 职称材料

模糊择优逻辑的数值扩充被引量：1: 3; 作者王淞昕《吉林大学学报（理学版）》 CAS CSCD 北大核心 2008年第1期85-88,共4页; 提出一种新的模糊逻辑——数值模糊择优逻辑,给出了数值模糊择优逻辑的语法和语义,并研究了其性质.该逻辑结合多值逻辑和择优推理的语义特点,得到的推理关系具有模糊性、次协调性和非单调性,且知识的模糊性能以数值的形式显式地表现,适... 展开更多; 关键词模糊逻辑次协调非单调; 在线阅读下载PDF 职称材料

基于描述逻辑的图像检索框架: 4; 作者王淞昕《吉林大学学报（理学版）》 CAS CSCD 北大核心 2010年第2期265-269,共5页; 提出一种新的基于描述逻辑的、能处理带有分层信度的图像语义信息的图像检索框架,以解决不确定背景知识的图像检索问题.该框架能处理具有分层信度的不确定语义信息,给出了形状及语义两层模型表述图形信息,提出一种能描述分层信度知识的... 展开更多; 关键词图像检索描述逻辑不确定性推理; 在线阅读下载PDF 职称材料

能处理分层信度知识的描述逻辑PB-SHOIN(D): 5; 作者王淞昕《吉林大学学报（理学版）》 CAS CSCD 北大核心 2008年第2期286-290,共5页; 对描述逻辑SHOIN(D)进行扩展,提出一种能处理分层信度知识的描述逻辑PB-SHOIN(D),给出了PB-SHOIN(D)的语法和语义,并证明了PB-SHOIN(D)具有超协调性和非单调性,为表示和处理语义Web中具有分层信度的知识提供了一种有效方法.; 关键词 WEB本体语言描述逻辑分层信度知识; 在线阅读下载PDF 职称材料

数字音频指纹技术综述被引量：14: 6; 作者李伟李晓强 +1 位作者陈芳王淞昕《小型微型计算机系统》 CSCD 北大核心 2008年第11期2124-2130,共7页; 近年来,互联网上出现了海量音乐信息,手工选取某首歌曲很多时候已经变得不可能.这直接促使产生了能够进行音乐自动识别的数字音频指纹技术,并成为研究界和工业界一个非常活跃的研究开发领域.数字音频指纹是指可以代表一段音乐重要声学... 展开更多; 关键词数字音频指纹音频识别感知重要性鲁棒签名; 在线阅读下载PDF 职称材料

基于遗传算法的Bayesian网结构增量学习的研究被引量：9: 7; 作者王飞刘大有王淞昕《计算机研究与发展》 EI CSCD 北大核心 2005年第9期1461-1466,共6页; 已建成的Bayesian网与领域环境间可能存在较大偏差,加之领域本身固有的动态变化特性,因此在观察到新数据时,改善Bayesian网的性能和优化网络结构是十分必要的.提出了一种基于遗传算法的Bayesian网(包含结构和参数)求精算法.该算法基于... 展开更多; 关键词增量学习 BAYESIAN网不完备数据数学期望遗传算法; 在线阅读下载PDF 职称材料

基于Chroma-based BOW特征的多版本音乐识别被引量：6: 8; 作者张秀李念祖 +3 位作者李晓强王淞昕李会永李伟《小型微型计算机系统》 CSCD 北大核心 2015年第2期397-400,共4页; 多版本音乐识别,作为音乐信息检索领域内的一个重要课题,得到了人们的广泛专注.受海量音乐资源的驱动,人们对高效算法的需求呼之欲出.词袋模型是一种在自然语言处理和数字图像处理领域中的广泛应用的特征表示模型,本文将其引入到多版本... 展开更多; 关键词多版本音乐识别 Chroma特征词袋模型聚类; 在线阅读下载PDF 职称材料

基于完备拟序的开放逻辑: 9; 作者刘大有王淞昕王飞《计算机学报》 EI CSCD 北大核心 2002年第12期1441-1444,共4页; 开放逻辑是一个可以刻画知识的增长、更新以及假说的进化的逻辑理论 ,它开辟了常识推理研究一条新途径 ,并在机器学习、知识获取、故障诊断及知识库维护等领域有广泛的应用 .基本的开放逻辑不能体现认知主体对所拥有的知识在相信程度上... 展开更多; 关键词完备拟序开放逻辑重构认识进程收敛性; 在线阅读下载PDF 职称材料

题名N-SHOQ(D):描述逻辑SHOQ(D)的一个非单调扩展被引量：7: 1; 作者王淞昕王飞周水庚周傲英; 机构上海财经大学计算机科学与技术系复旦大学计算机科学与工程系; 出处《计算机研究与发展》 EI CSCD 北大核心 2005年第4期570-575,共6页; 基金国家自然科学基金项目(60373019 60303009); 文摘描述逻辑SHOQ(D)给出了Web本体语言DAML+OIL的语义,但SHOQ(D)只能处理严格成立的完备知识,不能处理在实际情况中经常出现的不完备知识.对描述逻辑SHOQ(D)进行扩展,提出了能够处理不完备知识的非单调描述逻辑N-SHOQ(D).给出了N-SHOQ(D)的语法和语义,定义了N-SHOQ(D)中的蕴涵推理关系,研究了N-SHOQ(D)所具有的性质.N-SHOQ(D)为扩展DAML+OIL语言到能够处理不完备知识的情形提供了语义支持.; 关键词语义WEB DAML+OIL 描述逻辑非单调推理; Keywords semantic web DAML+OIL description logic nonmonotonic reasoning; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程] TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于全序划分模型的开放逻辑的计算复杂性被引量：3: 2; 作者王淞昕刘大有; 机构吉林大学计算机科学与技术学院吉林大学符号计算与知识工程重点实验室; 出处《计算机研究与发展》 EI CSCD 北大核心 2002年第10期1244-1247,共4页; 基金国家自然科学基金 ( 6 0 1 730 0 6 ) 国家"八六三"高技术研究发展计划基金 ( 2 0 0 1 AA1 1 51 6 0 )资助; 文摘研究了基于全序划分模型的开放逻辑的计算复杂性 .证明了 :在考虑一般公式的情形下判定一个公式是否被重构所蕴涵是Π p2 完全的 ;如果限制到考虑 Horn公式的情形 ,则为 co-NP完全的 .由此表明 ,从计算复杂性角度来说 ,该判定问题在一般情形下比经典逻辑中的演绎推理问题更难 ,在 Horn公式情形下则和经典逻辑中的演绎推理问题难度相当 .假定 P≠ NP。; 关键词全序划分模型开放逻辑计算复杂性; Keywords open logic, total-ordered partition model, reconstruction, complexity analysis; 分类号 TP301.5 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名模糊择优逻辑的数值扩充被引量：1: 3; 作者王淞昕; 机构上海财经大学计算机科学与技术系; 出处《吉林大学学报（理学版）》 CAS CSCD 北大核心 2008年第1期85-88,共4页; 基金国家自然科学基金(批准号:60402008) 国家统计局研究基金(批准号:LX2006B10) 上海财经大学211工程项目基金; 文摘提出一种新的模糊逻辑——数值模糊择优逻辑,给出了数值模糊择优逻辑的语法和语义,并研究了其性质.该逻辑结合多值逻辑和择优推理的语义特点,得到的推理关系具有模糊性、次协调性和非单调性,且知识的模糊性能以数值的形式显式地表现,适用于对智能系统中的不精确、不一致和不完备知识进行表示和推理.; 关键词模糊逻辑次协调非单调; Keywords fuzzy logic paraconsistent nonmonotonic; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于描述逻辑的图像检索框架: 4; 作者王淞昕; 机构上海财经大学计算机科学与技术系; 出处《吉林大学学报（理学版）》 CAS CSCD 北大核心 2010年第2期265-269,共5页; 基金国家自然科学基金(批准号:60402008) 上海财经大学"211工程"项目基金; 文摘提出一种新的基于描述逻辑的、能处理带有分层信度的图像语义信息的图像检索框架,以解决不确定背景知识的图像检索问题.该框架能处理具有分层信度的不确定语义信息,给出了形状及语义两层模型表述图形信息,提出一种能描述分层信度知识的描述逻辑U-ALC,将图像信息检索化归为描述逻辑U-ALC中的逻辑推理,并给出了描述逻辑U-ALC的推理算法.; 关键词图像检索描述逻辑不确定性推理; Keywords image retrieval description logic uncertainty reasoning; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名能处理分层信度知识的描述逻辑PB-SHOIN(D): 5; 作者王淞昕; 机构上海财经大学计算机科学与技术系; 出处《吉林大学学报（理学版）》 CAS CSCD 北大核心 2008年第2期286-290,共5页; 基金国家自然科学基金(批准号:60402008); 文摘对描述逻辑SHOIN(D)进行扩展,提出一种能处理分层信度知识的描述逻辑PB-SHOIN(D),给出了PB-SHOIN(D)的语法和语义,并证明了PB-SHOIN(D)具有超协调性和非单调性,为表示和处理语义Web中具有分层信度的知识提供了一种有效方法.; 关键词 WEB本体语言描述逻辑分层信度知识; Keywords web ontology language description logic partially believable knowledge; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名数字音频指纹技术综述被引量：14: 6; 作者李伟李晓强陈芳王淞昕; 机构复旦大学计算机科学与工程系上海大学计算机工程与科学学院上海财经大学信息管理与工程学院; 出处《小型微型计算机系统》 CSCD 北大核心 2008年第11期2124-2130,共7页; 基金国家自然科学基金项目(60402008,60533100)资助; 文摘近年来,互联网上出现了海量音乐信息,手工选取某首歌曲很多时候已经变得不可能.这直接促使产生了能够进行音乐自动识别的数字音频指纹技术,并成为研究界和工业界一个非常活跃的研究开发领域.数字音频指纹是指可以代表一段音乐重要声学特征的基于内容的紧致数字签名,其主要目的是建立一种有效机制来比较两个音频文件的感知听觉质量,可用在音频识别、内容完整性校验等应用中.本文介绍音频指纹技术的产生背景、基本概念及性质、典型应用场合及模型,澄清了音频指纹这一术语在音频识别和音频水印中的区别,综述了现有的绝大多数典型音频指纹算法,最后讨论了存在的问题并提出了可能的解决方案.; 关键词数字音频指纹音频识别感知重要性鲁棒签名; Keywords digital audio fingerprint audio identification perceptual significance robust signature; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于遗传算法的Bayesian网结构增量学习的研究被引量：9: 7; 作者王飞刘大有王淞昕; 机构复旦大学上海市智能信息处理重点实验室吉林大学计算机科学与技术学院; 出处《计算机研究与发展》 EI CSCD 北大核心 2005年第9期1461-1466,共6页; 基金国家自然科学基金项目(60303009 60496324)~~; 文摘已建成的Bayesian网与领域环境间可能存在较大偏差,加之领域本身固有的动态变化特性,因此在观察到新数据时,改善Bayesian网的性能和优化网络结构是十分必要的.提出了一种基于遗传算法的Bayesian网(包含结构和参数)求精算法.该算法基于上次的求精结果把已有的不完备数据转化成完备数据,以期望充分统计因子作为已有数据的主要存储形式,基于本次求精过程中的当前最佳个体对新数据进行完备化,并由遗传操作综合利用新数据和已有数据进行求精.模拟实验结果表明,该增量学习算法能较有效地从不完备数据中求精Bayesian网.; 关键词增量学习 BAYESIAN网不完备数据数学期望遗传算法; Keywords increnrnental learning Bayesian networks incomplete data mathematical expectation genetic algorithm; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于Chroma-based BOW特征的多版本音乐识别被引量：6: 8; 作者张秀李念祖李晓强王淞昕李会永李伟; 机构复旦大学计算机科学技术学院上海大学计算机工程与科学学院上海财经大学信息管理与工程学院东方有线网络有线公司复旦大学上海市智能信息处理重点实验室; 出处《小型微型计算机系统》 CSCD 北大核心 2015年第2期397-400,共4页; 基金国家自然科学基金项目(61171128)资助国家"八六三"计划项目(2011AA01A109)资助; 文摘多版本音乐识别,作为音乐信息检索领域内的一个重要课题,得到了人们的广泛专注.受海量音乐资源的驱动,人们对高效算法的需求呼之欲出.词袋模型是一种在自然语言处理和数字图像处理领域中的广泛应用的特征表示模型,本文将其引入到多版本音乐识别技术研究中,基于目前业界广泛应用的Chroma特征,提出一种新的高层次特征,Chroma-based BOW特征对歌曲的旋律信息进行表示,实现了特征空间到线性矢量的降维映射.同时,设计并实现了一套完整的多版本音乐识别算法.实验证明该特征对于多版本音乐识别是有效的,相应的识别算法能够大幅度提高了传统音乐识别系统的效率.; 关键词多版本音乐识别 Chroma特征词袋模型聚类; Keywords cover song detection chroma feature BOW cluster; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于完备拟序的开放逻辑: 9; 作者刘大有王淞昕王飞; 机构吉林大学计算机科学与技术学院吉林大学符号计算与知识工程教育部重点实验室; 出处《计算机学报》 EI CSCD 北大核心 2002年第12期1441-1444,共4页; 基金国家自然科学基金 ( 6 0 1730 0 6 ) 国家"八六三"高技术研究发展计划项目 ( 2 0 0 1AA115 16 0 )资助; 文摘开放逻辑是一个可以刻画知识的增长、更新以及假说的进化的逻辑理论 ,它开辟了常识推理研究一条新途径 ,并在机器学习、知识获取、故障诊断及知识库维护等领域有广泛的应用 .基本的开放逻辑不能体现认知主体对所拥有的知识在相信程度上的区别 ,为此 ,文中给出了基于完备拟序的开放逻辑 .该文采用假说上的完备拟序刻画信度区别 ,给出了新的重构概念 ,讨论了假说及完备拟序在知识进化过程中的更新 ,定义了新的认识进程并证明了所定义的认识进程具有收敛性 .; 关键词完备拟序开放逻辑重构认识进程收敛性; Keywords open logic, complete preorder, reconstruction, converge of cognitive process; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	N-SHOQ(D):描述逻辑SHOQ(D)的一个非单调扩展	王淞昕王飞周水庚周傲英	《计算机研究与发展》 EI CSCD 北大核心	2005	7	在线阅读下载PDF 职称材料
2	基于全序划分模型的开放逻辑的计算复杂性	王淞昕刘大有	《计算机研究与发展》 EI CSCD 北大核心	2002	3	在线阅读下载PDF 职称材料
3	模糊择优逻辑的数值扩充	王淞昕	《吉林大学学报（理学版）》 CAS CSCD 北大核心	2008	1	在线阅读下载PDF 职称材料
4	基于描述逻辑的图像检索框架	王淞昕	《吉林大学学报（理学版）》 CAS CSCD 北大核心	2010	0	在线阅读下载PDF 职称材料
5	能处理分层信度知识的描述逻辑PB-SHOIN(D)	王淞昕	《吉林大学学报（理学版）》 CAS CSCD 北大核心	2008	0	在线阅读下载PDF 职称材料
6	数字音频指纹技术综述	李伟李晓强陈芳王淞昕	《小型微型计算机系统》 CSCD 北大核心	2008	14	在线阅读下载PDF 职称材料
7	基于遗传算法的Bayesian网结构增量学习的研究	王飞刘大有王淞昕	《计算机研究与发展》 EI CSCD 北大核心	2005	9	在线阅读下载PDF 职称材料
8	基于Chroma-based BOW特征的多版本音乐识别	张秀李念祖李晓强王淞昕李会永李伟	《小型微型计算机系统》 CSCD 北大核心	2015	6	在线阅读下载PDF 职称材料
9	基于完备拟序的开放逻辑	刘大有王淞昕王飞	《计算机学报》 EI CSCD 北大核心	2002	0	在线阅读下载PDF 职称材料