期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
RCC5与主方位关系结合的定性空间推理 被引量:6
1
作者 陈娟 刘大有 +1 位作者 张长海 谢琦 《计算机研究与发展》 EI CSCD 北大核心 2008年第z1期279-285,共7页
解决实际问题需要将多方面空间信息结合进行推理,仅考虑单方面空间信息是不够的.多方面空间信息结合推理已成为定性空间推理的一个研究热点.现有拓扑与方位结合推理工作主要集中在与基于最小外包矩形或单片方位模型的结合.方位信息描述... 解决实际问题需要将多方面空间信息结合进行推理,仅考虑单方面空间信息是不够的.多方面空间信息结合推理已成为定性空间推理的一个研究热点.现有拓扑与方位结合推理工作主要集中在与基于最小外包矩形或单片方位模型的结合.方位信息描述是近似的,不适于精确推理;因此分别采用主方位模型和RCC5描述方位、拓扑信息.根据定义给出基本RCC5和主方位关系间的相互依赖及异质复合表;讨论了其上约束满足问题,得到一个路径相容算法,并分析了推理复性问题. 展开更多
关键词 定性空间推理 RCC 主方位关系 异质复合 路径相容 约束满足问题
下载PDF
约束满足问题的预处理方法研究 被引量:2
2
作者 陈恩红 蔡庆生 《计算机科学》 CSCD 北大核心 1994年第5期38-41,共4页
搜索控制问题是大多数人工智能问题求解面临的一个根本间题,而约束满足是解决这一问题的常用方法之一它源于机器视觉领域中的情景标识任务,如今在人工智能的众多领域(如规划、调度、时序推理)中获得了广泛的应用,受到了人工智能界的高... 搜索控制问题是大多数人工智能问题求解面临的一个根本间题,而约束满足是解决这一问题的常用方法之一它源于机器视觉领域中的情景标识任务,如今在人工智能的众多领域(如规划、调度、时序推理)中获得了广泛的应用,受到了人工智能界的高度重视.在近几期的UCAI和AAAI等国际人工智能会议上这方面的内容均占有一定的比重,《A币ficial In-telligence》 展开更多
关键词 人工智能 约束满足 前处理
下载PDF
金融市场下非负稀疏组LASSO在股指跟踪中的研究
3
作者 齐凯 杨虎 《应用概率统计》 CSCD 北大核心 2021年第3期221-240,共20页
作为一种流行的被动投资组合管理策略,指数跟踪主要侧重于复制或跟踪金融指数的表现.以股指为例,传统的投资策略通常考虑指数所有成分股的完全复制.然而,随着指数成分股数量的增加,完全复制通常会受到流动性差以及成本高的影响.因此,投... 作为一种流行的被动投资组合管理策略,指数跟踪主要侧重于复制或跟踪金融指数的表现.以股指为例,传统的投资策略通常考虑指数所有成分股的完全复制.然而,随着指数成分股数量的增加,完全复制通常会受到流动性差以及成本高的影响.因此,投资者倾向于购买部分成分股进行资产配置.此外,在股票市场中,股票之间还存在明显的“组群”效应.基于此,本文提出了非负稀疏组LASSO方法,用于成分股的选择和权重系数的估计.在有限维组的情况下,我们给出了模型变量选择和参数估计一致性的几乎充要的条件.为了得到模型的解,我们推导出一种基于坐标下降的计算方法.最后,实证结果表明,非负稀疏组LASSO优于具有“组效应”的其他目前的流行方法,例如非负弹性网. 展开更多
关键词 非负稀疏组LASSO 指数跟踪 路径一致性 变量选择
下载PDF
基于结合空间拓扑和方向关系信息的空间推理 被引量:9
4
作者 孙海滨 李文辉 《计算机研究与发展》 EI CSCD 北大核心 2006年第2期253-259,共7页
结合了定性空间推理中著名的区域连接演算(region connection calculus,RCC)和基于区域的方向关系演算(cardinal direction calculus,CDC),并且给出两个演算在两个方向上的交互表,即RCC8-To-CDC和CDC-To-RCC8·给出了结合RCC8和CDC... 结合了定性空间推理中著名的区域连接演算(region connection calculus,RCC)和基于区域的方向关系演算(cardinal direction calculus,CDC),并且给出两个演算在两个方向上的交互表,即RCC8-To-CDC和CDC-To-RCC8·给出了结合RCC8和CDC知识的约束满足问题的路径一致算法(path consis-tency algorithm)(该算法是对Allen著名的路径一致算法的修改),并且采用两个队列实现了该算法,采用这种结构可以实现并行计算·在该算法中,基于以上两个交互表的交互操作被嵌入到算法里面来保证整个约束满足问题的一致性·算法的计算复杂性证明是多项式的· 展开更多
关键词 定性空间推理 约束满足问题 路径一致算法 计算复杂性
下载PDF
A Novel Method of Gene Regulatory Network Structure Inference from Gene Knock-Out Expression Data 被引量:2
5
作者 Xiang Chen Min Li +4 位作者 Ruiqing Zheng Siyu Zhao Jianxin Wang Fang-Xiang Wu Yaohang Li 《Tsinghua Science and Technology》 SCIE EI CAS CSCD 2019年第4期446-454,共9页
Inferring Gene Regulatory Networks(GRNs) structure from gene expression data has been a challenging problem in systems biology. It is critical to identify complicated regulatory relationships among genes for understan... Inferring Gene Regulatory Networks(GRNs) structure from gene expression data has been a challenging problem in systems biology. It is critical to identify complicated regulatory relationships among genes for understanding regulatory mechanisms in cells. Various methods based on information theory have been developed to infer GRNs. However, these methods introduce many redundant regulatory relationships in the network inference process due to external noise in the original data, topology sparseness in the network structure, and non-linear dependency among genes. Especially as the network size increases, the performance of these methods decreases dramatically. In this paper, a novel network structure inference method named Loc-PCA-CMI is proposed that first identifies local overlapped gene clusters, and then infers the local network structure for each cluster by a Path Consistency Algorithm based on Conditional Mutual Information(PCA-CMI). The final structure of the GRN is denoted as dependence among genes by an ensemble of the obtained local network structures. Loc-PCA-CMI was evaluated on DREAM3 knock-out datasets, and its performance was compared to other information theorybased network inference methods including ARACNE, MRNET, PCA-CMI, and PCA-PMI. Experimental results demonstrate our novel method Loc-PCA-CMI outperforms the other four methods in DREAM3 datasets especially in size 50 and 100 networks. 展开更多
关键词 GENE REGULATORY networks network INFERENCE path consistency algorithm
原文传递
概率最大受限路径相容算法 被引量:1
6
作者 李宏博 梁艳春 李占山 《软件学报》 EI CSCD 北大核心 2015年第12期3140-3150,共11页
研究了可用于求解约束满足问题的最大受限路径相容算法(max RPC).max RPC算法执行过程中有大量无效的寻找路径相容证明(PC-witness)的操作,有效地识别和避免这些无效的寻找PC-witness的操作,可以提高max RPC算法的求解效率.首先,提出了... 研究了可用于求解约束满足问题的最大受限路径相容算法(max RPC).max RPC算法执行过程中有大量无效的寻找路径相容证明(PC-witness)的操作,有效地识别和避免这些无效的寻找PC-witness的操作,可以提高max RPC算法的求解效率.首先,提出了在一条约束上任意两个相容的值在任意路径上存在PC-witness的概率;然后,基于这一概率提出了一种概率最大受限路径相容算法(Pmax RPC),并将新算法成功应用于求解约束满足问题的回溯搜索.实验结果显示:Pmax RPC可以避免一部分无效的寻找PC-witness的操作,在求解约束满足问题时,Pmax RPC效率高于max RPC.在某些测试用例上,Pmax RPC比max RPC和最流行的弧相容算法效率更高. 展开更多
关键词 约束满足问题 局部相容 最大受限路径相容 概率最大受限路径相容
下载PDF
最大受限路径相容约束传播算法的研究进展 被引量:1
7
作者 张永刚 程竹元 《计算机科学》 CSCD 北大核心 2018年第B06期41-45,62,共6页
约束传播技术对于约束满足问题的求解性能至关重要。约束传播技术在一个预处理过程中能彻底地移除一些局部不相容值,或者在搜索期间高效地剪枝搜索树。最大受限路径相容算法(max Restricted Path Consistency,maxRPC)是最近提出的一种... 约束传播技术对于约束满足问题的求解性能至关重要。约束传播技术在一个预处理过程中能彻底地移除一些局部不相容值,或者在搜索期间高效地剪枝搜索树。最大受限路径相容算法(max Restricted Path Consistency,maxRPC)是最近提出的一种强相容性约束传播算法,它能够删除更多不相容值,在解决复杂问题中取得了很好的效果。文中对弧相容算法AC和最大受限路径相容算法maxRPC的相关算法AC3,AC3rm,maxRPC1,maxRPC2,maxRPCrm,maxRPC3等及其相关变体分别进行介绍和比较。在Mistral求解器上的实验测试结果验证了各种算法的性能。 展开更多
关键词 最大受限路径相容算法 约束求解 优化算法 相容性技术
下载PDF
RCC8的一致分割及其算法 被引量:1
8
作者 崔文正 《计算机工程与应用》 CSCD 北大核心 2015年第1期143-150,共8页
区域连接演算(Region Connection Calculus,RCC)是一种用于空间定性表示和推理的形式化模型,如RCC5,RCC8等,其一致性检查被证明是一个NP问题。幸运的是,在其可处理子集上,路径一致性和一致性等价,即便这样也有O(n3)的时间复杂度和O(n2)... 区域连接演算(Region Connection Calculus,RCC)是一种用于空间定性表示和推理的形式化模型,如RCC5,RCC8等,其一致性检查被证明是一个NP问题。幸运的是,在其可处理子集上,路径一致性和一致性等价,即便这样也有O(n3)的时间复杂度和O(n2)的空间复杂度。为了提高一致性检查的效率,提出了一致分割的概念,给出了其定义和成立的充分必要条件,用来将RCC8的约束图在保持一致性的前提下分割成若干个子图,分而求解各个子图的一致性;并随后给出了几种一致分割的充分条件,和相应的高效分割算法。在随机生成的大型、稀疏约束图上的实验表明了一致分割的有效性。 展开更多
关键词 空间定性推理 一致分割 约束满足问题 路径一致性算法 区域连接演算
下载PDF
基于论域折半的最大限定路径相容算法
9
作者 李占山 贾湘华 +1 位作者 许苍竹 张舒娟 《吉林大学学报(工学版)》 EI CAS CSCD 北大核心 2015年第1期229-235,共7页
针对绝大多数不可满足问题的特点,提出了一种将弧相容算法与最大限定路径相容算法相结合的相容性算法——基于论域折半的最大限定路径相容的算法。该算法充分利用了弧相容计算开销小和最大限定相容删值能力强的优点,可以减少在求解不可... 针对绝大多数不可满足问题的特点,提出了一种将弧相容算法与最大限定路径相容算法相结合的相容性算法——基于论域折半的最大限定路径相容的算法。该算法充分利用了弧相容计算开销小和最大限定相容删值能力强的优点,可以减少在求解不可满足问题中生成的结点数,进而提高求解效率。实验结果表明,本文算法在处理不可满足问题时的求解效率明显优于传统的维持弧相容算法。 展开更多
关键词 人工智能 论域折半 弧相容 最大限定路径相容 不可满足问题
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部