检索结果-南通市图书馆

通信学报 2013年第6期34卷 102-107页

作者：王海燕欧阳丹彤张永刚张良吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012 吉林师范大学计算机学院吉林四平136000

基于新近提出的自适应分支约束求解框架,结合look-ahead值启发式,提出一种新的约束求解算法AdaptBranchLVO。为验证算法效率,在标准测试库上进行了充分对比实验。结果表明,新提出算法在效率上明显优于已有的自适应分支求解算法。

关键词：约束满足问题约束求解自适应分支 look-ahead值启发式

在线全文

学校读者我要写书评

暂无评论

对离散事件系统的共可诊断性验证

吉林大学学报（工学版） 2013年第1期43卷 123-129页

作者：李占山靳志敏杨凤杰徐培治吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学计算机科学与技术学院长春130012

提出了一种验证离散事件系统共可诊断性的多项式算法,算法通过构建一个检验自动机来实现,将故障路径和正常路径提取出来进行对比。另外将传统的共可诊断性划分为两种情况分别处理可以提高算法效率。可分别用于验证系统的F-共可诊断性和... 详细信息

提出了一种验证离散事件系统共可诊断性的多项式算法,算法通过构建一个检验自动机来实现,将故障路径和正常路径提取出来进行对比。另外将传统的共可诊断性划分为两种情况分别处理可以提高算法效率。可分别用于验证系统的F-共可诊断性和NF-共可诊断性。复杂性分析和案例分析表明本文算法的计算复杂度更低。实验验证了本文方法的高效性和有效性。

关键词：人工智能基于模型的诊断离散事件系统验证算法 F-共可诊断性 NF-共可诊断性

在线全文

学校读者我要写书评

暂无评论

基于路标隐式分解的前向搜索规划方法

模式识别与人工智能 2013年第6期26卷 513-520页

作者：魏唯欧阳丹彤吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

提出一种利用路标信息隐式分解前向搜索过程的规划算法.以路标计数启发式估值的降低作为分界点,将规划任务分解成多个规模更小的子任务,当访问到估值更低的状态时,表明搜索过程完成一个子任务的求解,反复执行这一过程直到路标计数启发... 详细信息

提出一种利用路标信息隐式分解前向搜索过程的规划算法.以路标计数启发式估值的降低作为分界点,将规划任务分解成多个规模更小的子任务,当访问到估值更低的状态时,表明搜索过程完成一个子任务的求解,反复执行这一过程直到路标计数启发式估值降低为零.与其它将路标具体指定为中间目标的分解方法相比,基于路标计数启发式的隐式分解方法能指导前向搜索过程快速向目标方向推进,实现搜索空间的大规模压缩,在求解效率和规划解质量上都有较大提高.

关键词：路标计数启发式隐式分解前向搜索分段求解

在线全文

学校读者我要写书评

暂无评论

不完备离散事件系统的可诊断性

软件学报 2015年第6期26卷 1373-1385页

作者：王晓宇欧阳丹彤赵相福吉林大学计算机科学与技术学院吉林长春130012 重庆理工大学会计学院重庆400050 浙江师范大学数理信息学院浙江金华321004

在离散事件系统的建模过程中,由于系统行为的复杂,存在物理系统向逻辑系统映射的不完全性,因此产生了不完备模型的概念.提出在模型不完备的前提下,判断模型可诊断性的方法.提出可诊断性的在线判定方法,同时将不完备的行为加入模型,使模... 详细信息

在离散事件系统的建模过程中,由于系统行为的复杂,存在物理系统向逻辑系统映射的不完全性,因此产生了不完备模型的概念.提出在模型不完备的前提下,判断模型可诊断性的方法.提出可诊断性的在线判定方法,同时将不完备的行为加入模型,使模型完备.用经典的双树方法判断离线可诊断性,根据观测序列的时序及语言的前缀判断并处理不完备行为.提出判定不完备行为的方法,向模型中添加不完备行为,并根据不完备行为增量地在双树中判定在线可诊断性.通过在线的可诊断性判定,当前系统能够得到在有限观测内唯一判定故障发生与否的结论.该方法适用于具有离散性质的系统.

关键词：不完备模型离散事件系统基于模型诊断可诊断性

基于缩减信念状态的Conformant规划方法

在线全文

学校读者我要写书评

暂无评论

软件学报 2013年第7期24卷 1557-1570页

作者：魏唯欧阳丹彤吕帅吉林大学计算机科学与技术学院吉林长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012

Conformant规划问题通常转化为信念状态空间的搜索问题来求解.提出了通过降低信念状态的不确定性来提高规划求解效率的方法.首先给出缩减信念状态的增强爬山算法,在此基础上,提出了基于缩减信念状态的Conformant规划方法,设计了CFF-Lit... 详细信息

Conformant规划问题通常转化为信念状态空间的搜索问题来求解.提出了通过降低信念状态的不确定性来提高规划求解效率的方法.首先给出缩减信念状态的增强爬山算法,在此基础上,提出了基于缩减信念状态的Conformant规划方法,设计了CFF-Lite规划系统.该规划器的求解过程包括两次增强爬山过程,分别用于缩减信念状态和搜索目标.首先对初始信念状态作最大程度的缩减,提高启发函数的准确性;然后从缩减后的信念状态开始执行启发式搜索.实验结果表明,CFF-Lite规划系统通过快速缩减信念状态降低了问题的求解难度,在大多数问题上,求解效率和规划解质量与Conformant-FF相比,都有显著的提高.

关键词： Conformant规划问题信念状态增强爬山启发式搜索

在线全文

学校读者我要写书评

暂无评论

利用标志传播求解基于模型的故障诊断

仪器仪表学报 2011年第12期32卷 2857-2862页

作者：欧阳丹彤张立明赵剑白洪涛吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

基于模型的诊断是一项新型的智能推理技术,是人工智能领域中一个炙手可热的研究分支。提出元件输出标志的概念,通过在系统中传播输出标志,来判断元件集合是否为系统的诊断。使用SE-Tree(set enumeration tree)形式化地描述整个计算过程... 详细信息

基于模型的诊断是一项新型的智能推理技术,是人工智能领域中一个炙手可热的研究分支。提出元件输出标志的概念,通过在系统中传播输出标志,来判断元件集合是否为系统的诊断。使用SE-Tree(set enumeration tree)形式化地描述整个计算过程,逐步生成当前系统对应的所有极小诊断。此方法不求解冲突集和碰集,直接求出所有的极小诊断,与Reiter的模型诊断方法有着本质的不同,极大地减小了诊断求解的复杂度。实验结果表明,该算法具有较好的效率,并且适用于复杂的对象的诊断问题。

关键词：基于模型的诊断极小诊断 SE-Tree 输出标志

电子细胞模型Analog-Cell中前体mRNA剪接过程的模拟与研究

在线全文

学校读者我要写书评

暂无评论

软件学报 2012年第9期23卷 2273-2284页

作者：欧阳丹彤王珏韩霄松卢欣华吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

真核细胞前体mRNA的剪接加工包含内含子剪切和外显子拼接两个过程,是真核细胞基因表达过程中的一个重要环节.针对这一环节,提出了一种模拟真核细胞前体mRNA内含子剪切及其选择性剪接的算法,并在自主研发的电子细胞模型Analog-Cell中实... 详细信息

真核细胞前体mRNA的剪接加工包含内含子剪切和外显子拼接两个过程,是真核细胞基因表达过程中的一个重要环节.针对这一环节,提出了一种模拟真核细胞前体mRNA内含子剪切及其选择性剪接的算法,并在自主研发的电子细胞模型Analog-Cell中实现了该算法,且获得了符合生物学原理的模拟结果.模拟结果表明,该算法可使剪接体高效、准确地模拟内含子的剪接过程,并形成套索结构,同时有选择地将外显子片段拼接起来,最终形成成熟的mRNA.

关键词：电子细胞 Analog-Cell 选择性剪接前体mRNA的剪接

在线全文

学校读者我要写书评

暂无评论

基于诊断器的可诊断性增量测试方法

吉林大学学报（工学版） 2015年第1期45卷 222-228页

作者：王晓宇欧阳丹彤赵剑吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

在离散事件系统的基于模型诊断中,提出了一种增量的可诊断性判定方法,用于提高可诊断性判定的效率。通过在状态上反向传播故障标签的方法,建立预诊断器。在预诊断器模型上,结合虚拟在线的观测窗口,增量进行可诊断性判断,决定是否对当前... 详细信息

在离散事件系统的基于模型诊断中,提出了一种增量的可诊断性判定方法,用于提高可诊断性判定的效率。通过在状态上反向传播故障标签的方法,建立预诊断器。在预诊断器模型上,结合虚拟在线的观测窗口,增量进行可诊断性判断,决定是否对当前状态剪枝。提出增量算法,并证明该算法的正确性。实验验证增量可诊断性算法的效率,并实验研究了增量窗口大小对增量可诊断性判定效率的影响。

关键词：人工智能基于模型诊断可诊断性增量方法

一种用于常识空间信息处理的定性空间关系模型

在线全文

学校读者我要写书评

暂无评论

软件学报 2012年第9期23卷 2311-2322页

作者：宋小华欧阳丹彤吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012 空军航空大学数学应用中心吉林长春130022

在空间信息处理中,一些常识空间信息通常结合多方面空间关系,而且这些空间关系是动态变化的.为了有效地表示这些复杂的空间关系,并对其进行推理,提出了一种结合拓扑、方向和大小关系的空间信息处理模型TDSC(topology-direction-size cal... 详细信息

在空间信息处理中,一些常识空间信息通常结合多方面空间关系,而且这些空间关系是动态变化的.为了有效地表示这些复杂的空间关系,并对其进行推理,提出了一种结合拓扑、方向和大小关系的空间信息处理模型TDSC(topology-direction-size calculus),并基于TDSC模型提出了处理动态空间关系变化的表示推理框架.首先,利用同对象多属性的方法建立了融合大小、拓扑和方向关系的完备互斥基本关系表示;然后提出了复合表生成算法和推理算法,使得原有模型的表示和推理结果可以直接在新模型中使用.同时提出处理动态空间关系的邻域划分图,给出了邻域划分图的自动生成算法,以及TDSC模型的邻域划分图.最后给出基于TDSC模型邻域划分图的表示和推理框架,并结合实例说明框架的正确性和有效性.

关键词：定性空间推理常识空间信息邻域划分图

在线全文

学校读者我要写书评

暂无评论

基于模型诊断的抽象分层过程

计算机学报 2011年第2期34卷 383-394页

作者：王楠欧阳丹彤孙善武吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室长春130012 吉林财经大学信息学院长春130117 吉林财经大学网络实验中心长春130117

分层诊断是降低基于模型诊断计算复杂性的一个重要方法,在分层诊断中很重要的一步是构造系统的抽象分层模型,以往的分层方法都是建立在某一种特定抽象模型基础上,没有将抽象的一般理论与基于模型诊断中的分层过程相联系,并且对自动生成... 详细信息

分层诊断是降低基于模型诊断计算复杂性的一个重要方法,在分层诊断中很重要的一步是构造系统的抽象分层模型,以往的分层方法都是建立在某一种特定抽象模型基础上,没有将抽象的一般理论与基于模型诊断中的分层过程相联系,并且对自动生成系统的分层表示方法也没有形式化的分析.KRA(Knowledge Reformulationand Abstraction)模型从构造化的角度定义了表示抽象的一般框架,文中在KRA模型框架下建立系统模型,给出了抽象算子在系统的基本框架Rg上进行的非独立的运算过程,使得不会在抽象过程中生成重复的部件类型,不仅降低了存储空间,还增加了在进一步的抽象运算中算子重用的概率,提高了整个抽象运算的效率.同时描述了基于模型诊断中的抽象分层过程,提出了动态和静态构造算子库两种方法,并对其优缺点进行分析,给出了一个应用抽象算子集合自动生成待诊断系统分层表示的一般算法.

关键词：基于模型的诊断分层诊断 KRA模型算子库自动分层