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

软件学报 2009年第2期20卷 290-304页

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

给出了一种约减观察变量方法——假设所有的状态变量都不是观察变量,在此基础上逐步增加必要的观察变量,从而最终得到一个必要的观察变量集合.在添加必要的观察变量过程中,该方法不要求得到所有变量的相关信息,从而具有更好的通用性.根... 详细信息

给出了一种约减观察变量方法——假设所有的状态变量都不是观察变量,在此基础上逐步增加必要的观察变量,从而最终得到一个必要的观察变量集合.在添加必要的观察变量过程中,该方法不要求得到所有变量的相关信息,从而具有更好的通用性.根据是否存在单个观察变量能够区分域中任意两个状态的问题,分别给出了两种约减观察变量方法:当存在一个观察变量可以区分规划域中任意两个状态时,算法可以得到一个最小的观察变量集合;当不存在这样一个观察变量时,算法可以得到一个尽可能小的观察变量集合,但不能保证该集合最小.

关键词：强规划部分可观察规划部分可观察强规划约减观察变量不确定规划

来源：评论

学校读者我要写书评

暂无评论

基于整数小波变换的三维网格数字水印算法

引用

计算机研究与发展 2009年第S1期46卷 53-56页

作者：易荣庆李文辉王铎曹慕萍吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林省电力有限公司长春130021 吉林大学符号计算与知识工程教育部重点实验室长春130012 中国联通长春分公司长春130033

提出一种整数小波变换的三维网格数字水印算法.网格顶点到网格中心的距离具有全局几何特性,利用整数小波变换把距离序列变化到频域;然后在频域信号上嵌入水印信息,再通过逆整数小波变换转回到空域信号;最后根据新的空域信号的值修改网... 详细信息

提出一种整数小波变换的三维网格数字水印算法.网格顶点到网格中心的距离具有全局几何特性,利用整数小波变换把距离序列变化到频域;然后在频域信号上嵌入水印信息,再通过逆整数小波变换转回到空域信号;最后根据新的空域信号的值修改网格上点的坐标得到加入数字水印的网格.实验结果表明:该算法实现简单,在简化攻击、噪音攻击情况下具有良好的鲁棒性.

关键词：数字水印整数小波变换三维网格

来源：评论

学校读者我要写书评

暂无评论

求解车间调度问题的自适应混合粒子群算法

引用

计算机学报 2009年第11期32卷 2137-2146页

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

针对最小完工时间的流水车间作业调度问题,提出了一种自适应混合粒子群进化算法——AHPSO,将遗传操作有效地结合到粒子群算法中.定义了粒子相似度及粒子能量,粒子相似度阈值随迭代次数动态自适应变化,而粒子能量阈值与群体进化程度及其... 详细信息

针对最小完工时间的流水车间作业调度问题,提出了一种自适应混合粒子群进化算法——AHPSO,将遗传操作有效地结合到粒子群算法中.定义了粒子相似度及粒子能量,粒子相似度阈值随迭代次数动态自适应变化,而粒子能量阈值与群体进化程度及其自身进化速度相关.此外,针对算法运行后期进化速度慢的缺点,提出了一种基于邻域的随机贪心策略进一步提高算法的性能.最后将此算法在不同规模的实例上进行了测试,并与其他几种具有代表性的算法进行了比较,实验结果表明,无论是在求解质量还是稳定性方面都优于其他几种算法,并且能够有效求解大规模车间作业问题.

关键词：粒子群优化车间调度粒子相似度粒子能量贪心策略

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于因果关系的模型诊断

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

复杂网络聚类方法

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

多值传播的相容性技术

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

XTR^＋公钥体制中核心算法的改进

引用

吉林大学学报（理学版） 2009年第1期47卷 5-8页

作者：丁秀欢付治国张树功吉林大学数学研究所、符号计算与知识工程教育部重点实验室长春130012

在XTR+公钥体制中提出无矩阵的核心算法,显著提高了核心算法的运算效率,从而提高了应用XTR+公钥体制的可证明IND-CCA2安全的密码系统、可证明安全的数字签名、可证明安全的盲签名协议和零知识证明协议的运算效率.

关键词： XTR+公钥体制迹函数 LFSR序列 Lucas序列

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：