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

吉林大学学报（工学版） 2009年第3期39卷 759-763页

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

提出了一个用产品配置知识表示的UML设计方案。为加强产品配置的嵌入能力,广义产品结构采用树形结构描述,同时支持版本管理;为增强配置逻辑的独立性,配置逻辑的设计从广义产品结构中完全剥离开来,不仅方便维护和简化配置推理,同时也为... 详细信息

提出了一个用产品配置知识表示的UML设计方案。为加强产品配置的嵌入能力,广义产品结构采用树形结构描述,同时支持版本管理;为增强配置逻辑的独立性,配置逻辑的设计从广义产品结构中完全剥离开来,不仅方便维护和简化配置推理,同时也为今后配置逻辑的更新和替换提供了接口。

关键词：计算机应用制造业产品配置知识表示 UML设计

来源：评论

学校读者我要写书评

暂无评论

一种新的混合特征选择方法RRK

引用

吉林大学学报（工学版） 2009年第2期39卷 419-423页

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

提出一种新的基于包装方法和过滤器方法的混合特征选择算法RRK。该算法主要包括两个方面:①在特征预选阶段,提出一种基于ReliefF算法的特征加权算法NReliefF和降维算法DR,以实现特征加权并去掉不太重要的特征;②在特征选择阶段,把NReli... 详细信息

提出一种新的基于包装方法和过滤器方法的混合特征选择算法RRK。该算法主要包括两个方面:①在特征预选阶段,提出一种基于ReliefF算法的特征加权算法NReliefF和降维算法DR,以实现特征加权并去掉不太重要的特征;②在特征选择阶段,把NReliefF算法和KNN算法结合起来,将预选特征作为输入,用分类正确率来选择最优特征。分别采用一个实际的乘员类型数据集和UCI上的imagine标准数据集进行了实验。实验结果表明,采用RRK后分类的效率和正确率都有明显提高。

关键词：人工智能特征选择包装方法过滤器方法 ReliefF算法

来源：评论

学校读者我要写书评

暂无评论

多值传播的相容性技术

引用

自动化学报 2009年第10期35卷 1296-1301页

作者：朱兴军张永刚李莹张长胜吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 东北大学信息科学与技术学院沈阳110004

相容性技术是求解约束满足问题的重要手段.本文针对目前已有相容性算法的单值传播特点,提出多值传播理论,证明出k次单值传播与一次多值传播的等价性,在此基础上,给出多值传播的弧相容定理.将该定理与目前流行的Singleton弧相容技术结合... 详细信息

相容性技术是求解约束满足问题的重要手段.本文针对目前已有相容性算法的单值传播特点,提出多值传播理论,证明出k次单值传播与一次多值传播的等价性,在此基础上,给出多值传播的弧相容定理.将该定理与目前流行的Singleton弧相容技术结合,得到多值传播算法SAC-MP,并证明其完备性和正确性.通过对随机问题、N皇后、鸽巢问题及基准用例的测试表明,算法SAC-MP的执行效率是已有算法SAC-SDS和SAC-3的2～3倍.

关键词：约束满足问题相容性技术多值传播 Singleton弧相容

来源：评论

学校读者我要写书评

暂无评论

JLU-RLAO和JLU-QLAO:两个不确定智能规划求解系统

引用

计算机研究与发展 2009年第4期46卷 667-675页

作者：孙吉贵殷明浩吕帅吉林大学计算机科学与技术学院长春130012 吉林大学教育部符号计算与知识工程重点实验室长春130012 东北师范大学计算机学院长春130117

不确定环境下的智能规划问题往往假设世界状态的转移概率是确切可知的,然而规划建模专家有时只能在信息不完备的条件下进行建模,从而只能通过猜测或者不完全统计的方法来获取不完备的有关状态转移不确定性的定量信息,有时甚至只能获取... 详细信息

不确定环境下的智能规划问题往往假设世界状态的转移概率是确切可知的,然而规划建模专家有时只能在信息不完备的条件下进行建模,从而只能通过猜测或者不完全统计的方法来获取不完备的有关状态转移不确定性的定量信息,有时甚至只能获取相关的定性信息.在2004年概率规划比赛冠军LAO系统的基础上设计了JLU-RLAO系统和JLU-QLAO系统.它们可以在无法获得精确的状态转移概率条件下,依然保证规划求解的健壮性.实验结果表明,JLU-RLAO系统和JLU-QLAO系统可以快速高效地解决上述不确定智能规划问题.

关键词：智能规划不确定规划最坏模型最好模型定性决策

来源：评论

学校读者我要写书评

暂无评论

复杂网络聚类方法

引用

软件学报 2009年第1期20卷 54-66页

作者：杨博刘大有 LIU Jiming 金弟马海宾吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012 香港浸会大学计算机科学系香港

网络簇结构是复杂网络最普遍和最重要的拓扑属性之一,具有同簇节点相互连接密集、异簇节点相互连接稀疏的特点.揭示网络簇结构的复杂网络聚类方法对分析复杂网络拓扑结构、理解其功能、发现其隐含模式、预测其行为都具有十分重要的理论... 详细信息

网络簇结构是复杂网络最普遍和最重要的拓扑属性之一,具有同簇节点相互连接密集、异簇节点相互连接稀疏的特点.揭示网络簇结构的复杂网络聚类方法对分析复杂网络拓扑结构、理解其功能、发现其隐含模式、预测其行为都具有十分重要的理论意义,在社会网、生物网和万维网中具有广泛应用.综述了复杂网络聚类方法的研究背景、研究意义、国内外研究现状以及目前所面临的主要问题,试图为这个新兴的研究方向勾画出一个较为全面和清晰的概貌,为复杂网络分析、数据挖掘、智能Web、生物信息学等相关领域的研究者提供有益的参考.

关键词：复杂网络网络聚类网络簇结构

来源：评论

学校读者我要写书评

暂无评论

一种新颖的动态软件版权保护协议

引用

吉林大学学报（工学版） 2009年第3期39卷 764-769页

作者：朱建启刘衍珩殷柯杨志刚吉林大学计算机科学与技术学院长春130022 吉林大学符号计算与知识工程教育部重点实验室长春130022 南京工程学院南京211167

提出了一种新颖的动态分配软件许可权的协议SRMP(Software Right ManagementProtocol)。该协议将软件副本和核心代码分离,联合考虑核心代码、运行环境以及版权状态,有效地实现了安全注册、迁移。通过加密、认证和数字签名有效地保证了... 详细信息

提出了一种新颖的动态分配软件许可权的协议SRMP(Software Right ManagementProtocol)。该协议将软件副本和核心代码分离,联合考虑核心代码、运行环境以及版权状态,有效地实现了安全注册、迁移。通过加密、认证和数字签名有效地保证了在网络环境中协议交互的数据安全和完整性;联机服务器动态注册核心代码,实现了动态分配软件许可权,解决了硬盘克隆攻击。

关键词：计算机应用版权保护 SRMP 动态授权硬盘克隆

来源：评论

学校读者我要写书评

暂无评论

一种基于扩展规则的#SAT求解系统

引用

软件学报 2009年第7期20卷 1714-1725页

作者：殷明浩林海孙吉贵吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012 东北师范大学计算机学院吉林长春130117

#SAT问题是SAT问题的扩展,需要计算出给定命题公式集合的模型个数.通过将问题求解沿着归结的反方向进行,并利用容斥原理解决由此带来的空间复杂性问题,提出了一种基于扩展规则的模型计数和加权模型计数问题求解框架,可以看作是目前所有... 详细信息

#SAT问题是SAT问题的扩展,需要计算出给定命题公式集合的模型个数.通过将问题求解沿着归结的反方向进行,并利用容斥原理解决由此带来的空间复杂性问题,提出了一种基于扩展规则的模型计数和加权模型计数问题求解框架,可以看作是目前所有模型计数问题求解方法的一种补方法.证明了该方法的完备性和有效性,设计了基于扩展规则的#SAT求解系统:JLU-ERWMC.实验结果表明,JLU-ERWMC在有些问题中优于目前最为高效的#SAT问题求解系统.

关键词：扩展规则模型计数知识编译加权模型计数

来源：评论

学校读者我要写书评

暂无评论

移动网络资源管理策略的动态冲突消解机制

引用

吉林大学学报（工学版） 2009年第2期39卷 430-435页

作者：梅芳刘衍珩张旭利古天野王旺吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学数学学院长春130012

分析了移动网络中基于策略的资源分配机制中可能存在的策略冲突类型,针对系统中存在资源状况的变化性和移动切换的不确定性,动态资源分配策略无法预先在生成时进行静态冲突检测与消解的问题,提出了一种基于效用函数的、在执行时动态检... 详细信息

分析了移动网络中基于策略的资源分配机制中可能存在的策略冲突类型,针对系统中存在资源状况的变化性和移动切换的不确定性,动态资源分配策略无法预先在生成时进行静态冲突检测与消解的问题,提出了一种基于效用函数的、在执行时动态检测与消解冲突的方法,实现了对冲突策略动作的定量分析,改进了以往依靠指定优先级来判决策略动作能否执行的不完善性。实例分析表明,根据网络资源状态和系统规划目标实时计算资源分配动态策略动作的效用值,实现了策略冲突的自动消解,提高了资源分配的准确率,完善了系统的动态资源管理能力。

关键词：计算机系统结构基于策略的网络管理资源分配动态策略冲突消解效用函数

来源：评论

学校读者我要写书评

暂无评论

基于融合主成分匹配的异常检测方法

引用

吉林大学学报（工学版） 2009年第5期39卷 1314-1320页

作者：刘衍珩孙蕾田大新吴静张凤华吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林油田职业教育中心吉林松原138000

针对数据存储规模的扩大,提出了一种基于融合主成分匹配FPCM(fusion principal components match)的异常检测方法。首先将各子节点数据通过聚类去除孤立点以提高主成分分析的稳定性,将各子节点的聚类中心传送到中心节点,减少节点间传送... 详细信息

针对数据存储规模的扩大,提出了一种基于融合主成分匹配FPCM(fusion principal components match)的异常检测方法。首先将各子节点数据通过聚类去除孤立点以提高主成分分析的稳定性,将各子节点的聚类中心传送到中心节点,减少节点间传送数据的通信量并且实现求主成分的数据融合;用聚类中心的主成分转换矩阵建立的正常行为模型能够体现整体的数据特征;最后使用决策树方法提高匹配速度。实验结果表明,FPCM方法能保持较高的DOS检测率,在保证整体检测率为97%的同时将误报率控制在10%以下。通过与已有方法比较表明,该方法能使分布式存储的数据在检测结果上达到数据集中存储的检测水平。

关键词：计算机系统结构入侵检测主成分分析聚类决策树

来源：评论

学校读者我要写书评

暂无评论

基于因果关系的模型诊断

引用

吉林大学学报（工学版） 2009年第4期39卷 1052-1056页

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

提出一种基于因果关系的思想求解所有极小诊断的新方法。此方法与Reiter的模型诊断方法有着本质的不同,不用求解冲突集及冲突集的碰集,一次直接求出所有的极小诊断,避免了由于调用ATMS时的组合爆炸引起的NP-完全问题。并根据因果关系的... 详细信息

提出一种基于因果关系的思想求解所有极小诊断的新方法。此方法与Reiter的模型诊断方法有着本质的不同,不用求解冲突集及冲突集的碰集,一次直接求出所有的极小诊断,避免了由于调用ATMS时的组合爆炸引起的NP-完全问题。并根据因果关系的思想提出了极小诊断组成原理和极小诊断元件个数原理,可直接求出所有的极小诊断,避免了非极小诊断的产生,提高了诊断效率,并且不会丢失正确的解。该算法程序容易编制,且效率较好,可以满足复杂被诊断对象的实时性要求。

关键词：人工智能基于模型的诊断极小诊断因果关系

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：