检索结果-内蒙古大学图书馆

软件学报 2012年第10期23卷 2550-2563页

作者：赖永刘大有吉林大学计算机科学与技术学院吉林长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012

提议对加权库进行分层,一方面符合人类的思维习惯,另一方面能够提高推理效率.首先说明现有的针对非分层加权库的编译方法也适用于编译分层加权库,但是,由于存在较多冗余信息而效率不高.提出一种新的编译方法,能够在编译过程中去除冗余信... 详细信息

提议对加权库进行分层,一方面符合人类的思维习惯,另一方面能够提高推理效率.首先说明现有的针对非分层加权库的编译方法也适用于编译分层加权库,但是,由于存在较多冗余信息而效率不高.提出一种新的编译方法,能够在编译过程中去除冗余信息,并提出两种优化技术提高时间效率.该方法与现有方法相同,当软约束权值改变时无需重新编译.选择ROBDD为目标语言,使用随机问题对该方法进行测试.结果表明:对于非分层加权库,该方法的空间效率高于已存在方法;对于分层加权库,该方法的时间和空间效率均高于已存在方法,且当层数越多时,该方法的效率越高.

关键词：偏好惩罚逻辑分层加权库知识编译

来源：评论

学校读者我要写书评

暂无评论

复杂网络簇结构探测——基于随机游走的蚁群算法

引用

软件学报 2012年第3期23卷 451-464页

作者：金弟杨博刘杰刘大有何东晓吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

网络簇结构是复杂网络最普遍和最重要的拓扑属性之一,网络聚类问题就是要找出给定网络中的所有类簇.有很多实际应用问题可被建模成网络聚类问题.尽管目前已有许多网络聚类方法被提出,但如何进一步提高聚类精度,特别是在没有先验知识(如... 详细信息

网络簇结构是复杂网络最普遍和最重要的拓扑属性之一,网络聚类问题就是要找出给定网络中的所有类簇.有很多实际应用问题可被建模成网络聚类问题.尽管目前已有许多网络聚类方法被提出,但如何进一步提高聚类精度,特别是在没有先验知识(如网络簇个数)的情况下如何发现合理的网络簇结构,仍是一个未能很好解决的难题.针对该问题,在马尔可夫随机游走思想的启发下,从仿生角度出发提出一种全新的网络聚类算法——基于随机游走的蚁群算法RWACO.该算法将蚁群算法的框架作为RWACO的基本框架,对于每一代,以马尔可夫随机游走模型作为启发式规则;基于集成学习思想,将蚂蚁的局部解融合为全局解,并用其更新信息素矩阵.通过"强化簇内连接,弱化簇间连接"这一进化策略,使网络簇结构逐渐地呈现出来.实验结果表明,对一些典型的计算机生成网络和真实网络,该算法能够较准确地探测出网络的真实类簇数,与一些有代表性的算法相比,具有较高的聚类精度.

关键词：复杂网络网络聚类簇结构随机游走集成学习蚁群算法

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

无参考视频传输质量评价模型

引用

吉林大学学报（工学版） 2012年第4期42卷 952-957页

作者：许鑫刘衍珩王爱民孙丹丹吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

根据受众对光源的各类察觉特征,将物理刺激量全域分为多个部分,并依据人眼视觉暂留效果分别映射到感知心理量的区段,以此修正了Weber-Fechner对数法则。并在此基础上提出一种宏块丢失比率与主观保真度的映射模型,该模型以受众的视敏度... 详细信息

根据受众对光源的各类察觉特征,将物理刺激量全域分为多个部分,并依据人眼视觉暂留效果分别映射到感知心理量的区段,以此修正了Weber-Fechner对数法则。并在此基础上提出一种宏块丢失比率与主观保真度的映射模型,该模型以受众的视敏度为依据,利用视星原理计算在最佳观测位置处可察觉的最小失真程度和最小未失真区域,不但体现了失真现象在人眼中的暂留效果,而且反应了损伤在时空中的传播,实现了对损伤全域的评测。模型计算代价小且可部署在任意网络节点中,可得到更贴近受众感受的视频质量。

关键词：计算机应用 Weber-Fechner对数法则绝对损伤阈差别损伤阈视频瞬时质量

来源：评论

学校读者我要写书评

暂无评论

结合全局和局部灰度拟合活动轮廓模型的图像分割算法

引用

吉林大学学报（工学版） 2012年第6期42卷 1532-1537页

作者：申铉京于凯民王开业陈海鹏吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

针对局部图像拟合(Local image fitting,LIF)模型对初始轮廓敏感和容易陷入局部极小的缺点,本文提出了一种基于图像区域信息的活动轮廓模型。本模型同时利用图像全局和局部信息来分割图像,其能量泛函由局部项、面积项、长度项和惩罚项4... 详细信息

针对局部图像拟合(Local image fitting,LIF)模型对初始轮廓敏感和容易陷入局部极小的缺点,本文提出了一种基于图像区域信息的活动轮廓模型。本模型同时利用图像全局和局部信息来分割图像,其能量泛函由局部项、面积项、长度项和惩罚项4项组成。局部项将图像局部信息融入到模型中,使该模型能够有效分割灰度不均图像。面积项通过引入一个全局指示函数,加快了模型的收敛速度,且能避免陷入局部极小。惩罚项约束水平集函数逼近符号距离函数,使模型无需重新初始化,减少了分割时间。此外,为了实现对图像中感兴趣区域的分割,本文给出了模型的窄带实现方法。实验结果表明:本文模型对初始轮廓的敏感性低,收敛速度快,能准确分割灰度不均的图像,且其窄带实现方法能够实现对图像中感兴趣区域的分割。

关键词：计算机应用图像分割活动轮廓模型水平集方法灰度不均

来源：评论

学校读者我要写书评

暂无评论

不完备模型下的离散事件系统诊断方法

引用

软件学报 2012年第3期23卷 465-475页

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

提出不完备模型的两种不完备性:模型定义不完备和因果关系不完备.在模型定义不完备条件下,用在线观测与模型共同约束的方法处理观测乱序及未定义事件,得到可行的诊断轨迹.相对于基于完备模型假设下不能诊断的结论,该方法扩展了诊断方法... 详细信息

提出不完备模型的两种不完备性:模型定义不完备和因果关系不完备.在模型定义不完备条件下,用在线观测与模型共同约束的方法处理观测乱序及未定义事件,得到可行的诊断轨迹.相对于基于完备模型假设下不能诊断的结论,该方法扩展了诊断方法的适用范围,放松了对模型的约束要求.在因果不完备条件下,提出用因果图联系部件,解决分布式诊断中由于部件独立建模而导致的不彻底诊断,提高了诊断的精确性.通过实验验证,两种条件下的诊断方法均能在相应的不完备模型中得到预期诊断结果,并对模型进行局部修订,提高模型的完备性.

关键词：动态诊断:不完备模型

来源：评论

学校读者我要写书评

暂无评论

异构定性空间推理

引用

电子学报 2012年第1期40卷 89-94页

作者：王生生刘大有吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

现有定性空间推理研究主要解决单类对象、单种空间关系的定性约束满足问题.提出了异构定性空间推理概念,它包括不同种类空间关系结合(异构关系)、不同种类空间对象结合(异构对象)和定性定量对象融合三种情况下的空间关系约束满足问题.... 详细信息

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

关键词：定性空间推理多类空间关系结合多类空间对象结合定性定量对象融合

来源：评论

学校读者我要写书评

暂无评论

TrANTHOCNET:信任性蚁群自组织路由算法

引用

电子学报 2012年第2期40卷 319-326页

作者：刘衍珩张婧王健吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

移动自组网依靠多点协作完成路由任务,可信的路由协议需要节点之间建立一定的信任关系,但大多数信任路由模型只追求路由的信任性而忽略了健壮性.本文基于ANTHOCNET算法,设计了兼顾信任性和健壮性的TrANTHOCNET算法.引入模糊Petri网的形... 详细信息

移动自组网依靠多点协作完成路由任务,可信的路由协议需要节点之间建立一定的信任关系,但大多数信任路由模型只追求路由的信任性而忽略了健壮性.本文基于ANTHOCNET算法,设计了兼顾信任性和健壮性的TrANTHOCNET算法.引入模糊Petri网的形式化推理算法处理节点之间的不确定关系,并利用位置信息对信息素实时更新以提高路由健壮性.实验结果表明TrANTHOCNET较ANTHOCNET、AODV和T-AODV均表现出较强的抵抗恶意节点攻击的能力,在路由性能方面也验证了本算法的有效性.

关键词：移动自组网模糊Petri网蚁群算法信任路由

来源：评论

学校读者我要写书评

暂无评论

界标知识及其应用研究进展

引用

武汉工程大学学报 2013年第10期35卷 74-80页

作者：蔡敦波徐胜赵彤洲武汉工程大学智能机器人湖北省重点实验室湖北武汉430205 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012 华中科技大学自动化学院湖北武汉430074

国内外相关研究表明界标知识的三种应用角度为:设计问题分解方法、设计启发函数和设计约束传播机制。利用界标知识设计的可纳启发函数与最优松弛估计的相对误差能降低到2.5%;利用界标知识设计的经典规划启发函数对搜索算法的引导能力优... 详细信息

国内外相关研究表明界标知识的三种应用角度为:设计问题分解方法、设计启发函数和设计约束传播机制。利用界标知识设计的可纳启发函数与最优松弛估计的相对误差能降低到2.5%;利用界标知识设计的经典规划启发函数对搜索算法的引导能力优于之前的启发函数;利用界标知识设计的时态规划启发函数能使规划系统得到更高质量的规划解;将界标知识转化为命题逻辑子句能在大规模困难问题上提高可满足性判定算法的求解效率.因此,界标知识在时态规划启发函数设计和基于动作序列空间的规划方法上的应用值得深入研究.

关键词：智能规划界标知识问题结构启发函数领域约束

来源：评论

学校读者我要写书评

暂无评论

microRNA靶基因特征提取新方法

引用

吉林大学学报（工学版） 2012年第2期42卷 418-422页

作者：刘元宁沈廷杰张浩李鑫魏庆凯赫羽喆吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

针对microRNA靶基因预测中出现的敏感性与特异性的矛盾、阳性阈值与测试结果优劣的矛盾和预测范围缩小的问题,提出种子区域上的能量标定、元素比例、靶标作用体上的惩罚3种特征提取新方法,以上特征提取方法涵盖了统计信息、结构信息和... 详细信息

针对microRNA靶基因预测中出现的敏感性与特异性的矛盾、阳性阈值与测试结果优劣的矛盾和预测范围缩小的问题,提出种子区域上的能量标定、元素比例、靶标作用体上的惩罚3种特征提取新方法,以上特征提取方法涵盖了统计信息、结构信息和能量信息。结合传统特征和新特征,本文利用神经网络构建分类模型并测试。结果显示:新特征能使阴性、阳性数据各自的聚集度有效提高,在高阳性阈值下,评估效果良好;并且靶基因预测范围未缩小,预测开销未增加。

关键词：计算机应用生物信息学靶基因分类特征提取方法机器学习阳性靶基因阈值

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：