王淞昕
- 作品数:16 被引量:59H指数:5
- 供职机构:上海财经大学信息管理与工程学院更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划国家教育部“211”工程更多>>
- 相关领域:自动化与计算机技术文化科学社会学经济管理更多>>
- 基于完备拟序的开放逻辑
- 2002年
- 开放逻辑是一个可以刻画知识的增长、更新以及假说的进化的逻辑理论 ,它开辟了常识推理研究一条新途径 ,并在机器学习、知识获取、故障诊断及知识库维护等领域有广泛的应用 .基本的开放逻辑不能体现认知主体对所拥有的知识在相信程度上的区别 ,为此 ,文中给出了基于完备拟序的开放逻辑 .该文采用假说上的完备拟序刻画信度区别 ,给出了新的重构概念 ,讨论了假说及完备拟序在知识进化过程中的更新 ,定义了新的认识进程并证明了所定义的认识进程具有收敛性 .
- 刘大有王淞昕王飞
- 关键词:开放逻辑收敛性
- 数字音频指纹技术综述被引量:17
- 2008年
- 近年来,互联网上出现了海量音乐信息,手工选取某首歌曲很多时候已经变得不可能.这直接促使产生了能够进行音乐自动识别的数字音频指纹技术,并成为研究界和工业界一个非常活跃的研究开发领域.数字音频指纹是指可以代表一段音乐重要声学特征的基于内容的紧致数字签名,其主要目的是建立一种有效机制来比较两个音频文件的感知听觉质量,可用在音频识别、内容完整性校验等应用中.本文介绍音频指纹技术的产生背景、基本概念及性质、典型应用场合及模型,澄清了音频指纹这一术语在音频识别和音频水印中的区别,综述了现有的绝大多数典型音频指纹算法,最后讨论了存在的问题并提出了可能的解决方案.
- 李伟李晓强陈芳王淞昕
- 基于遗传算法的Bayesian网结构增量学习的研究被引量:13
- 2005年
- 已建成的Bayesian网与领域环境间可能存在较大偏差,加之领域本身固有的动态变化特性,因此在观察到新数据时,改善Bayesian网的性能和优化网络结构是十分必要的.提出了一种基于遗传算法的Bayesian网(包含结构和参数)求精算法.该算法基于上次的求精结果把已有的不完备数据转化成完备数据,以期望充分统计因子作为已有数据的主要存储形式,基于本次求精过程中的当前最佳个体对新数据进行完备化,并由遗传操作综合利用新数据和已有数据进行求精.模拟实验结果表明,该增量学习算法能较有效地从不完备数据中求精Bayesian网.
- 王飞刘大有王淞昕
- 关键词:BAYESIAN网不完备数据数学期望遗传算法
- 基于Chroma-based BOW特征的多版本音乐识别被引量:6
- 2015年
- 多版本音乐识别,作为音乐信息检索领域内的一个重要课题,得到了人们的广泛专注.受海量音乐资源的驱动,人们对高效算法的需求呼之欲出.词袋模型是一种在自然语言处理和数字图像处理领域中的广泛应用的特征表示模型,本文将其引入到多版本音乐识别技术研究中,基于目前业界广泛应用的Chroma特征,提出一种新的高层次特征,Chroma-based BOW特征对歌曲的旋律信息进行表示,实现了特征空间到线性矢量的降维映射.同时,设计并实现了一套完整的多版本音乐识别算法.实验证明该特征对于多版本音乐识别是有效的,相应的识别算法能够大幅度提高了传统音乐识别系统的效率.
- 张秀李念祖李晓强王淞昕李会永李伟
- 关键词:聚类
- 基于描述逻辑的图像检索框架
- 2010年
- 提出一种新的基于描述逻辑的、能处理带有分层信度的图像语义信息的图像检索框架,以解决不确定背景知识的图像检索问题.该框架能处理具有分层信度的不确定语义信息,给出了形状及语义两层模型表述图形信息,提出一种能描述分层信度知识的描述逻辑U-ALC,将图像信息检索化归为描述逻辑U-ALC中的逻辑推理,并给出了描述逻辑U-ALC的推理算法.
- 王淞昕
- 关键词:图像检索描述逻辑
- 模糊择优逻辑的数值扩充被引量:1
- 2008年
- 提出一种新的模糊逻辑——数值模糊择优逻辑,给出了数值模糊择优逻辑的语法和语义,并研究了其性质.该逻辑结合多值逻辑和择优推理的语义特点,得到的推理关系具有模糊性、次协调性和非单调性,且知识的模糊性能以数值的形式显式地表现,适用于对智能系统中的不精确、不一致和不完备知识进行表示和推理.
- 王淞昕
- 关键词:模糊逻辑非单调
- N-SHOQ(D):描述逻辑SHOQ(D)的一个非单调扩展被引量:13
- 2005年
- 描述逻辑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语言到能够处理不完备知识的情形提供了语义支持.
- 王淞昕王飞周水庚周傲英
- 关键词:语义WEBDAML+OIL描述逻辑非单调推理
- 基于全序划分模型的开放逻辑的计算复杂性被引量:3
- 2002年
- 研究了基于全序划分模型的开放逻辑的计算复杂性 .证明了 :在考虑一般公式的情形下判定一个公式是否被重构所蕴涵是Π p2 完全的 ;如果限制到考虑 Horn公式的情形 ,则为 co-NP完全的 .由此表明 ,从计算复杂性角度来说 ,该判定问题在一般情形下比经典逻辑中的演绎推理问题更难 ,在 Horn公式情形下则和经典逻辑中的演绎推理问题难度相当 .假定 P≠ NP。
- 王淞昕刘大有
- 关键词:开放逻辑
- 关于常识推理中若干问题的研究
- 该文研究了用基于逻辑的方法实现常识推理中的若干问题.
- 王淞昕
- 关键词:逻辑常识推理
- 经济管理类IT专业实验教学改革探索被引量:5
- 2011年
- 为了加快改革经济管理类高校IT类实验课程建设步伐,本文提出实验课程重组、项目和任务驱动的实验教学模型,并具体给出实验课程重组的若干改革方案。
- 韩冬梅李艳红陈元忠王淞昕郝晓玲黄海量韩松乔
- 关键词:项目驱动式实验教学模式