公共文化服务平台

基于模型诊断的本体调试局部定位被引量：1: 2014年; 将模型诊断引入到本体调试的局部定位,在定义公理的部件术语集的基础上给出不可满足概念的MUCS,实现在本体术语集的局部调试。利用MUCS将不可满足概念的逻辑错误定位至公理内部,MUCS调试与现有的本体调试是相互独立的。调用外部DL推理机计算不可满足概念的一个MUCS,并结合宽度优先原则和Reiter碰集树算法得到所有MUCS。最后利用现实本体对本文算法进行测试,实验结果表明:与传统的MUPS本体调试方法相比,MUCS调试方法能够将逻辑冲突定位到局部位置,准确有效地完成本体调试任务。; 欧阳丹彤苏静叶育鑫崔仙姬

遥感图像像素级异常识别的一种方法被引量：1: 2012年; 遥感图像异常识别是遥感应用领域一个颇受关注的研究课题,在军事目标识别和自然环境保护等许多领域都有潜在应用价值。不妨假设遥感图像背景像素分布于随空间位置缓慢变化的一系列高斯超椭球体内,异常像素则分布于超椭球体之外。在这种假设前提下,首先应用Weiszfeld方法估算遥感图像中一系列高斯超椭球体的重心和波段协方差矩阵;然后,计算各像素到对应的超椭球体重心的马氏距离,并用直方图法确定马氏距离的异常下限;最后,把马氏距离高于异常下限的像素作为异常像素识别出来。在GDAL遥感图像数据输入输出函数库基础上,用VC++语言开发了遥感图像像素级异常识别的算法程序;用美国亚特兰大TM图像进行了方法的应用实验研究。结果表明,该方法对遥感图像中的局部异常具有很好的识别效果。; 陈永良李学斌林楠; 关键词：协方差矩阵遥感图像

基于改进蜂群算法的项目反应理论混合模型参数估计: 2014年; 基于混合项目反应理论模型,实现了对客观题组和主观测试组成项目结构的模型构建,并给出一种改进人工蜂群算法实现该混合模型的参数估计.在模拟数据上通过与Winbug的对比结果验证了利用改进人工蜂群算法估计混合模型参数的有效性.; 温长吉王生生赵昕李健周翠娟; 关键词：项目反应理论混合模型参数估计人工蜂群算法

半定性约束满足问题求解: 2012年; 从地理信息系统、环境智能等领域的实际需求出发,提出了半定性约束满足问题(SQCSP),并得到了初步结果。证明了区间代数及扩展模型的SQCSP可由QCSP判定。给出了RCC5的多项式时间SQCSP判定算法。RCC8的SQCSP是NP完全问题,给出了带限制条件SQCSP的多项式时间判定算法。证明了上述判定算法的正确性,并给出了实例构造算法。最后,利用SQCSP算法实现了带变量布尔运算的QCSP求解。; 王生生刘大有谷方明刘东杨峰刘辉武; 关键词：人工智能定性空间推理区域连接演算

核概率距离聚类方法及应用被引量：1: 2013年; 研究聚类分析新方法一直是统计学和机器学习研究领域普遍关注的课题。针对概率距离聚类算法不能解决非线性可分聚类问题的缺欠,笔者应用核函数理论将该模型拓展成为一种能够解决非线性可分聚类问题的统计模型,称为核概率距离聚类分析模型。研制出一种应用新模型进行遥感图像非监督分类研究的实施策略和可行算法;在GDAL遥感图像数据输入输出函数库基础上,用VC++语言开发了遥感图像核概率距离聚类分析算法程序;用ERDAS软件提供的一幅7波段491像素×440像素大小的TM图像进行新方法分类应用实验研究。对比了新模型和其原版本的TM遥感图像非监督分类效果,结果表明新模型的非监督分类效果优于原有的分类模型。; 陈永良李学斌; 关键词：核函数遥感图像非监督分类

微镜头阵列球面排布方法研究被引量：5: 2015年; 为了解决微镜头阵列在球面上的排布问题,提出了一种通用的基于正二十面体阵列点微移动排布方法。采用与排布球面同心正二十面体点阵投射方法获取微镜头中心点在球面上的初始排布。以弦长率和填充率为评价函数,采用点阵微移动法对此初始结构进行优化。完成方法通用性测试并和一种基于局部球面的经纬线排布法进行对比。实验结果表明,在排布球冠面立体角较大、微相机数量较多的情况下,采用该方法可以获得弦长率低于0.17,填充率达到75%以上的排布表现,同时其良好的排布对称性有效提高了微镜头阵列的成像性能。; 庞武斌黄玮王新华贾树强; 关键词：光学设计填充率

带双洞区域与简单区域间的拓扑关系被引量：9: 2012年; 研究了带双洞区域与简单区域间的空间拓扑关系。基于RCC5通过扩展4-交集矩阵得到了16-交集模型,一个带双洞区域可以视为一个简单区域A及包含在其中的两个简单区域B与C,即一个带双洞区域与一个简单区域可以看作是满足一定限制条件的4个简单区域,由16-交集模型可以得到带双洞区域与简单区域间的70种可实现的拓扑关系,并且证明了这70种拓扑关系是两两互斥且完备的。通过比较可知,它比由两两区域间RCC-5关系来描述的拓扑关系更为细致,表达能力更强。; 李健欧阳继红王振鑫; 关键词：人工智能拓扑关系

基于比特位操作的自适应约束传播算法被引量：1: 2012年; 在现有约束传播算法研究的基础上,提出了一种基于比特位操作的自适应约束传播算法AC_MaxRPC_Bitwise。该算法在寻找AC支持及PC支持中引入基于比特位的数据结构,并利用比特位操作加速AC支持和PC证据搜索,从而提高自适应约束传播的效率。对几类典型benchmark问题的测试结果表明,算法AC_MaxRPC_Bitwise在总体性能上明显优于AC及原自适应约束传播算法。; 王海燕郭劲松欧阳丹彤张永刚; 关键词：人工智能约束满足问题

Topic modeling for large-scale text data被引量：1: 2015年; This paper develops a novel online algorithm, namely moving average stochastic variational inference （MASVI）, which applies the results obtained by previous iterations to smooth out noisy natural gradients. We analyze the convergence property of the proposed algorithm and conduct a set of experiments on two large-scale collections that contain millions of documents. Experimental results indicate that in contrast to algorithms named ＇stochastic variational inference＇ and ＇SGRLD＇, our algorithm achieves a faster convergence rate and better performance.; Xi-ming LI

异构定性空间推理: 2012年; 现有定性空间推理研究主要解决单类对象、单种空间关系的定性约束满足问题.提出了异构定性空间推理概念,它包括不同种类空间关系结合(异构关系)、不同种类空间对象结合(异构对象)和定性定量对象融合三种情况下的空间关系约束满足问题.提出了三种以上异构关系的结合推理,此前工作以研究二元结合为主;给出了异构对象空间推理算法,此前工作仅研究表示模型;研究了定性定量对象融合的空间推理,该问题也可表达为部分解向全局解的扩展.上述研究结果可应用于环境智能和其他领域.; 王生生刘大有; 关键词：定性空间推理

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

国家自然科学基金(61133011)