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

内蒙古大学学报（自然科学版） 2007年第2期38卷 220-224页

作者：裴志利陈劲练智超孔英梁艳春吉林大学计算机科学与技术学院教育部符号计算和知识工程重点实验室内蒙古民族大学数学与计算机科学学院内蒙古通辽028043 内蒙古大学生命科学学院呼和浩特010021 大连医科大学生物化学与分子生物学系

由于蛋白质的功能与亚细胞位置有关,可以通过预测蛋白质的亚细胞位置来推断蛋白质分子的功能.首先介绍了SOM模型和Batch-Type SOM模型,并用这两个模型分别预测了蛋白质的亚细胞位置,结果表明,使用SOM模型和Batch-Type SOM模型均可以比... 详细信息

由于蛋白质的功能与亚细胞位置有关,可以通过预测蛋白质的亚细胞位置来推断蛋白质分子的功能.首先介绍了SOM模型和Batch-Type SOM模型,并用这两个模型分别预测了蛋白质的亚细胞位置,结果表明,使用SOM模型和Batch-Type SOM模型均可以比较准确地预测蛋白质的亚细胞位置;Batch-Type SOM模型在保持预测准确率的同时还可以减少预测的时间.

关键词：蛋白质亚细胞位置自组织特征映射聚类分析批量数据一致性

来源：评论

学校读者我要写书评

暂无评论

基于结合空间拓扑和方向关系信息的空间推理

引用

计算机研究与发展 2006年第2期43卷 253-259页

作者：孙海滨李文辉吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

结合了定性空间推理中著名的区域连接演算(region connection calculus,RCC)和基于区域的方向关系演算(cardinal direction calculus,CDC),并且给出两个演算在两个方向上的交互表,即RCC8-To-CDC和CDC-To-RCC8·给出了结合RCC8和CDC知识的约束满足问题的路径一致算法(path consis-tency algorithm)(该算法是对Allen著名的路径一致算法的修改),并且采用两个队列实现了该算法,采用这种结构可以实现并行计算·在该算法中,基于以上两个交互表的交互操作被嵌入到算法里面来保证整个约束满足问题的一致性·算法的计算复杂性证明是多项式的·

关键词：定性空间推理约束满足问题路径一致算法计算复杂性

来源：评论

学校读者我要写书评

暂无评论

用于移动路径预测的混合Markov模型

引用

通信学报 2006年第12期27卷 61-69页

作者：余雪岗刘衍珩魏达田明吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室吉林长春130012

分析了移动路径预测的已有方案,指出了各方案存在的问题。针对预测性能相对较好的K阶Markov预测器存在的状态空间膨胀问题,以2阶Markov预测器为例,提出了2步Markov模型,并验证了其在WLAN上的可行性。在此基础上,提出了一个混合多步Marko... 详细信息

分析了移动路径预测的已有方案,指出了各方案存在的问题。针对预测性能相对较好的K阶Markov预测器存在的状态空间膨胀问题,以2阶Markov预测器为例,提出了2步Markov模型,并验证了其在WLAN上的可行性。在此基础上,提出了一个混合多步Markov模型,并利用EM算法估计多个单步Markov模型的混合系数。该混合模型状态空间的复杂度为O(N),而2阶Markov模型为O(N2),其中,N为WLAN中的AP数目;混合模型的存储空间需求为O(N2),而2阶Markov模型为O(N3)。最后通过基于条件熵与误差向量2阶范数的计算分析以及基于实际数据集的实践分析表明,该混合模型能够以比2阶Markov模型小得多的空间代价获得与2阶Markov模型相似的预测精度和普适性,具有较高的实时在线应用价值。

关键词：路径预测 Markov预测器状态空间膨胀混合 EM算法

来源：评论

学校读者我要写书评

暂无评论

基于隐马尔可夫模型和免疫粒子群优化的多序列比对算法

引用

计算机研究与发展 2006年第8期43卷 1330-1336页

作者：葛宏伟梁艳春吉林大学计算机科学与技术学院长春130012 吉林大学国家教育部符号计算与知识工程重点实验室长春130012

序列的多重比对是生物序列分析研究中的一个重要内容·基于免疫系统的疫苗接种和受体编辑模型,结合粒子群优化方法提出了一种免疫粒子群优化算法,将该算法用于隐马尔可夫模型的学习过程,进而构建了一种基于隐马尔可夫模型和免疫粒... 详细信息

序列的多重比对是生物序列分析研究中的一个重要内容·基于免疫系统的疫苗接种和受体编辑模型,结合粒子群优化方法提出了一种免疫粒子群优化算法,将该算法用于隐马尔可夫模型的学习过程,进而构建了一种基于隐马尔可夫模型和免疫粒子群优化的多序列比对算法·从BAliBASE比对数据库中选取了一些比对例子进行了模拟计算,并与Baum-Welch算法进行了比较·结果表明,所提出的方法不仅提高了比对的准确程度,而且缩减了比对所花费的时间·

关键词：隐马尔可夫模型粒子群优化免疫系统多序列比对

来源：评论

学校读者我要写书评

暂无评论

一种优化模糊神经网络的多目标微粒群算法

引用

计算机研究与发展 2006年第12期43卷 2104-2109页

作者：马铭周春光张利彪马捷北华大学信息管理中心吉林132013 吉林大学计算机科学与技术学院教育部符号计算与知识工程重点实验室长春130012

模糊神经网络优化是一个多目标优化问题·通过对模糊神经网络和微粒群算法的深入分析,提出了一种多目标微粒群算法·在算法中将网络的精确性和复杂性分别作为目标进行优化,再用一种启发性分量加权均值法来选取个体极值和全局极... 详细信息

模糊神经网络优化是一个多目标优化问题·通过对模糊神经网络和微粒群算法的深入分析,提出了一种多目标微粒群算法·在算法中将网络的精确性和复杂性分别作为目标进行优化,再用一种启发性分量加权均值法来选取个体极值和全局极值·算法能够引导粒子较快地向非劣最优解区域移动并最终获得多个非劣最优解,为模糊神经网络的精确性和复杂性的折中寻优问题提供了一种解决方法·茶味觉信号识别的仿真实验验证了该算法的有效性·

关键词：模糊神经网络微粒群算法多目标优化

来源：评论

学校读者我要写书评

暂无评论

一种不确定区域间的方向关系模型

引用

吉林大学学报（理学版） 2006年第5期44卷 748-753页

作者：谢琦刘大有虞强源陈娟吉林大学计算机科学与技术学院吉林大学符号计算与知识工程教育部重点实验室长春130012

基于区间值及其运算性质给出了不确定区域间方向关系的表示及推理方法.该方法不同于基于经典模糊集及其截集的方向关系模型,利用区间值方向关系矩阵分析不确定区域间方向关系的隶属程度,将不确定区域间的方向关系划分为不确定区域与不... 详细信息

基于区间值及其运算性质给出了不确定区域间方向关系的表示及推理方法.该方法不同于基于经典模糊集及其截集的方向关系模型,利用区间值方向关系矩阵分析不确定区域间方向关系的隶属程度,将不确定区域间的方向关系划分为不确定区域与不确定区域间的方向关系、不确定区域与分明区域间的方向关系、分明区域与不确定区域间的方向关系、分明区域与分明区域的方向关系4种类型.将分明区域作为不确定区域的特例统一处理.

关键词：方向关系不确定区域空间推理

来源：评论

学校读者我要写书评

暂无评论

含序信息的粗集方法研究

引用

计算机科学 2006年第11期33卷 157-161,163页

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

经典粗集理论给出了不可识别、上近似、下近似、简式和核等概念,其核心思想是运用条件属性集导致的知识粒子来近似决策属性集导致的知识粒子,进而推导出规则。这些知识粒子的实质是根据存在于属性值间的等价关系得到的,而事实上可能存... 详细信息

经典粗集理论给出了不可识别、上近似、下近似、简式和核等概念,其核心思想是运用条件属性集导致的知识粒子来近似决策属性集导致的知识粒子,进而推导出规则。这些知识粒子的实质是根据存在于属性值间的等价关系得到的,而事实上可能存在某些属性,其属性值内部存在序关系,与其它某属性间存在语义关系,这样的属性称为标准。本文所研究的粗集方法,考虑标准所携带的这些信息,推导出含有序信息的规则,并探讨使推导的规则更加完全和一致。本文给出了含序粗集方法(CORS)的定义、数据分析以及规则生成方法,并提出了一种更加合理的质量近似公式以及生成规则的四条原则。

关键词：标准优先序有序决策表支配关系含序粗集方法

来源：评论

学校读者我要写书评

暂无评论

基于抽象-验证-细化范例的软件模型检测

引用

计算机科学 2006年第12期33卷 255-260页

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

如何保证软件系统的正确性和可靠性是当前软件开发面临的主要问题之一。模型检测作为一种重要的自动化验证技术在软件的分析与验证中正取得越来越多的成功。本文以微软的SLAM和加州大学伯克利分校的BLAST为例综述性地介绍了基于抽象-验... 详细信息

如何保证软件系统的正确性和可靠性是当前软件开发面临的主要问题之一。模型检测作为一种重要的自动化验证技术在软件的分析与验证中正取得越来越多的成功。本文以微软的SLAM和加州大学伯克利分校的BLAST为例综述性地介绍了基于抽象-验证-细化范例的软件模型检测。

关键词：模型检测软件模型检测谓词抽象反例驱动的细化

来源：评论

学校读者我要写书评

暂无评论

一种基于移动代理的自主拍卖模型

引用

计算机研究与发展 2006年第z1期43卷 234-239页

作者：黄晶刘大有杨博李丽娜杨焕吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

Agent的自治性和移动性为网络环境下的电子商务活动提供了许多潜在优点.拍卖是一种典型的商务活动,基于Agent的自主拍卖是传统拍卖方式的一个发展趋势,具有广泛应用前景.重点研究了建立自主拍卖系统所涉及的主要问题,包括拍卖大厅建模... 详细信息

Agent的自治性和移动性为网络环境下的电子商务活动提供了许多潜在优点.拍卖是一种典型的商务活动,基于Agent的自主拍卖是传统拍卖方式的一个发展趋势,具有广泛应用前景.重点研究了建立自主拍卖系统所涉及的主要问题,包括拍卖大厅建模、拍卖大厅查询、交易对象定位、拍卖过程同步和出价策略等.基于移动Agent和博奕理论,提出了一种自主拍卖模型.该模型支持一次价格密封标价拍卖和双边拍卖两种拍卖机制.模型中的Agent接受拍卖任务后能够自动搜寻拍卖大厅、自主参与拍卖过程并向其所有者返回拍卖结果.

关键词：电子商务移动Agent 一次价格密封标价拍卖双边拍卖

来源：评论

学校读者我要写书评

暂无评论

一种用描述逻辑刻画多代理系统规约的方法

引用

计算机研究与发展 2006年第z1期43卷 34-40页

作者：车海燕孙吉贵于海波吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

支持模块化的语言机制和严格性能够很好地推动代理技术向更广泛的、更大规模的应用发展.朱宏等人提出的基于模型的多代理系统开发方法提出了符合面向Agent软件工程思想的语言机制,如Caste和Scenario.以该方法为基础提出了基于描述逻辑... 详细信息

支持模块化的语言机制和严格性能够很好地推动代理技术向更广泛的、更大规模的应用发展.朱宏等人提出的基于模型的多代理系统开发方法提出了符合面向Agent软件工程思想的语言机制,如Caste和Scenario.以该方法为基础提出了基于描述逻辑的对多代理系统的规约进行形式化刻画和分析证明系统属性的方法.利用描述逻辑的强大的表达力刻画多代理系统的规约,利用其自身的推理机制对系统属性进行推理、证明和验证,可以增强基于代理系统的严格性.

关键词：多代理系统描述逻辑知识表示

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：