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

模式识别与人工智能 2009年第4期22卷 519-526页

作者：黄林峰罗文坚王煦法中国科学技术大学计算机科学与技术系自然计算与应用实验室合肥230027 中国科学技术大学安徽省计算与通讯软件重点实验室合肥230027

多目标进化算法在求解多目标0/1背包问题时常使用修复策略来满足容量约束.文中更全面地考虑物品对各个背包的不同影响,提出两种加权修复策略,分别基于背包容量和容量约束违反程度,并应用于经典算法SPEA2中.在9个标准MOKP测试实例上的实... 详细信息

多目标进化算法在求解多目标0/1背包问题时常使用修复策略来满足容量约束.文中更全面地考虑物品对各个背包的不同影响,提出两种加权修复策略,分别基于背包容量和容量约束违反程度,并应用于经典算法SPEA2中.在9个标准MOKP测试实例上的实验结果表明,采用该修复策略的SPEA2算法能更有效地收敛到Pareto最优前沿.

关键词：多目标进化算法(MOEA) 多目标0/1背包问题(MOKP) 进化多目标优化加权修复策略

来源：评论

学校读者我要写书评

暂无评论

基于函数指针数组的代码迷惑技术

引用

计算机学报 2004年第12期27卷 1706-1711页

作者：李永祥陈意云中国科学技术大学计算机科学与技术系中国科学院软件研究所计算机科学实验室北京100080

移动代理在网络计算中经常遇到有目的的篡改攻击 ,只要通过代码迷惑技术使得对移动代理的程序分析复杂度增加或精确性降低 ,就能有效地增加这种攻击的难度 ,从而在一定程度上阻止这种攻击 .函数指针分析及控制流分析是程序分析中的难点 ... 详细信息

移动代理在网络计算中经常遇到有目的的篡改攻击 ,只要通过代码迷惑技术使得对移动代理的程序分析复杂度增加或精确性降低 ,就能有效地增加这种攻击的难度 ,从而在一定程度上阻止这种攻击 .函数指针分析及控制流分析是程序分析中的难点 ,也是引起分析的精确度降低的原因 .文章首先给出一种增添函数指针数组的程序变换方法 ,使得函数之间的调用关系函数变得难以分析 ;同时提出一种控制流变换方法来增加程序分析中的数据流及控制流分析的复杂度 ,从而使得程序分析的精确度大大降低 ,最终使篡改攻击难以达到目的 .

关键词：代码迷惑函数指针控制流变换

来源：评论

学校读者我要写书评

暂无评论

一种描述逻辑与逻辑程序相结合的杂合系统DLclog

引用

软件学报 2008年第12期19卷 3100-3110页

作者：杨方凯陈小平中国科学技术大学计算机科学与技术系多主体系统实验室安徽合肥230027

面向语义Web的需求,提出了一种新的描述逻辑与逻辑程序结合的杂合系统DLclog,它从语法和语义两方面扩展了Rosati提出的DL+log系统.在DLclog中,负DL原子可以出现在逻辑程序规则体中,并且使用McCarthy的并行限制(parallel circumscription... 详细信息

面向语义Web的需求,提出了一种新的描述逻辑与逻辑程序结合的杂合系统DLclog,它从语法和语义两方面扩展了Rosati提出的DL+log系统.在DLclog中,负DL原子可以出现在逻辑程序规则体中,并且使用McCarthy的并行限制(parallel circumscription)对其进行非经典解释,即出现在规则体中的DL谓词在其他DL谓词的解释任意发生变化的情况下,其外延在DL本体的模型中被解释为最小.使用这种方法,DL+log的非单调语义(NM-semantics,简称NM语义)被扩展成了DLclog的非单调限制语义(nonmonotonic circumscriptive semantics,简称NMC语义),从而成为目前表达能力和推理能力最强的杂合系统.此外,在DL本体使用ALCIO和ALCQO书写,且不允许属性(role)出现在规则中的失败否定(NAF)之后时,还给出了可靠完全的推理算法和NMC语义下可满足性的判定复杂度.

关键词：限制描述逻辑杂合系统逻辑程序规则语义Web

来源：评论

学校读者我要写书评

暂无评论

BP神经网络隐式法在测井数据处理中的应用

引用

石油学报 2007年第3期28卷 105-108页

作者：李道伦卢德唐孔祥言杜奕中国科学技术大学计算机科学与技术系安徽合肥230026 中国科学技术大学安徽省计算与通讯重点实验室

现有神经网络方法对时间向量序列数据的处理是通过单点进行的,割裂了数据间的关联性。为此,利用隐式曲线的构造原理,通过对时间向量序列的变换,提出了一种整体预测时间向量序列的测井数据的方法。神经网络隐式整体预测方法的步骤是:①... 详细信息

现有神经网络方法对时间向量序列数据的处理是通过单点进行的,割裂了数据间的关联性。为此,利用隐式曲线的构造原理,通过对时间向量序列的变换,提出了一种整体预测时间向量序列的测井数据的方法。神经网络隐式整体预测方法的步骤是:①将数据变换为封闭曲线,构造约束点以简化神经网络的输入与输出;②利用神经网络的隐式方法,通过智能学习和仿真模拟,得到封闭的预测曲线;③经过变换得到最终的预测曲线。实验证明了该方法的有效性。

关键词： BP神经网络隐式曲线测井数据预测方法时间向量序列测井曲线数值模拟

来源：评论

学校读者我要写书评

暂无评论

不同通信模型下的全光树环网波长分配算法(英文)

引用

软件学报 2006年第2期17卷 200-208页

作者：许胤龙王启华陈国良中国科学技术大学计算机科学与技术系省部共建重点实验室"高性能计算与应用" 安徽合肥230027

研究了波分复用全光树环网在不同通信模型下的波长分配算法及其最坏性能分析.对于静态模型,证明了5L/2是树环网所需波长数的紧界.对于动态模型,提出了一种近似比为∑??ih=1maxr∈Rilog|V(r)|+h的波长分配算法,其中h为树环网的基树的层数... 详细信息

研究了波分复用全光树环网在不同通信模型下的波长分配算法及其最坏性能分析.对于静态模型,证明了5L/2是树环网所需波长数的紧界.对于动态模型,提出了一种近似比为∑??ih=1maxr∈Rilog|V(r)|+h的波长分配算法,其中h为树环网的基树的层数,Ri为树环网中处于第i层的环的集合,|V(r)|为环r上的节点数.对于增量模型,提出了一种近似度为O[log2(t+1)]的波长分配算法,其中t为树环网中的环数.

关键词： WDM 全光网波长分配树环近似比

来源：评论

学校读者我要写书评

暂无评论

多线程程序数据竞争的静态检测

引用

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

作者：吴萍陈意云张健中国科学技术大学计算机科学与技术系合肥230027 中国科学院软件研究所计算机科学实验室北京100080

多线程并发程序的广泛使用带来了更多的数据竞争错误.传统的数据竞争静态检测由于对并发语义和别名信息的保守分析会导致很多假错误.因此,提出了一个精确有效的静态检测框架:分析应用了精确的别名分析并静态模拟了访问事件发生序;为提... 详细信息

多线程并发程序的广泛使用带来了更多的数据竞争错误.传统的数据竞争静态检测由于对并发语义和别名信息的保守分析会导致很多假错误.因此,提出了一个精确有效的静态检测框架:分析应用了精确的别名分析并静态模拟了访问事件发生序;为提高分析效率,检测算法提出了一个以对象为中心,结合Escape分析缩小检测范围的检测算法并配合设计了压缩的别名等价类表示.检测框架在一个静态Java编译器JTool上做了实现,对于测试程序取得了很好的分析结果.

关键词：并发程序程序分析数据竞争别名分析

来源：评论

学校读者我要写书评

暂无评论

一种优化初始中心点的K-means算法

引用

模式识别与人工智能 2009年第2期22卷 299-304页

作者：汪中刘贵全陈恩红中国科学技术大学计算机科学与技术系合肥230027 安徽省计算与通讯软件重点实验室合肥230027

针对K-means算法所存在的问题,提出一种优化初始中心点的算法.采用密度敏感的相似性度量来计算对象的密度,启发式地生成样本初始中心.然后设计一种评价函数——均衡化函数,并以均衡化函数为准则自动生成聚类数目.与传统算法相比,本文算... 详细信息

针对K-means算法所存在的问题,提出一种优化初始中心点的算法.采用密度敏感的相似性度量来计算对象的密度,启发式地生成样本初始中心.然后设计一种评价函数——均衡化函数,并以均衡化函数为准则自动生成聚类数目.与传统算法相比,本文算法可得到较高质量的初始中心和较稳定的聚类结果.实验结果表明该算法的有效性和可行性.

关键词： K-means算法密度初始中心点均衡化函数

来源：评论

学校读者我要写书评

暂无评论

低能耗自适应分簇的面向数据融合的路由协议

引用

北京邮电大学学报 2009年第5期32卷 71-74页

作者：陈磊赵保华中国科学技术大学计算机科学与技术系合肥230027 安徽省计算与通讯软件重点实验室合肥230027

为降低簇头节点的能耗和均衡网络的整体能耗,基于低能耗自适应分簇(LEACH)协议提出一种面向数据融合的路由协议.在该协议中,簇头在簇内数据融合的过程中根据成员节点的位置信息估计感知到相同事件的邻居簇;然后数据在这些簇头间进行多... 详细信息

为降低簇头节点的能耗和均衡网络的整体能耗,基于低能耗自适应分簇(LEACH)协议提出一种面向数据融合的路由协议.在该协议中,簇头在簇内数据融合的过程中根据成员节点的位置信息估计感知到相同事件的邻居簇;然后数据在这些簇头间进行多跳的数据融合后传递给基站.仿真结果表明,该协议能有效延长网络的生命期.

关键词：无线传感器网络分簇路由协议数据融合

来源：评论

学校读者我要写书评

暂无评论

构造型的D^2FA生成算法

引用

北京邮电大学学报 2009年第B4期32卷 40-43,48页

作者：周颢刘振华赵保华中国科学技术大学计算机科学与技术系合肥230027 安徽省计算与通讯软件重点实验室合肥230027

Delayed input DFA(D2FA)中引入默认边来对确定状态机(DFA)进行状态转移精简.为了提高D2FA生成算法的效率,分析了对正则表达式X得到的DFA(∧X)与DFA(X)间的相关性,提出一种从DFA(∧X)到D2FA(X)的构造型算法.该算法将DFA(X)中的状态用DFA... 详细信息

Delayed input DFA(D2FA)中引入默认边来对确定状态机(DFA)进行状态转移精简.为了提高D2FA生成算法的效率,分析了对正则表达式X得到的DFA(∧X)与DFA(X)间的相关性,提出一种从DFA(∧X)到D2FA(X)的构造型算法.该算法将DFA(X)中的状态用DFA(∧X)中的状态序列进行表示,从而基于状态序列进行默认边的选择,而不需要生成实际的DFA(X).理论分析和实验结果表明,该算法降低了构造D2FA的算法复杂度,同时仍能保证进行模式匹配时的解析时间下限,以及对DFA的状态转移精简能力.

关键词：确定状态机 D2FA 默认边

来源：评论

学校读者我要写书评

暂无评论

一种分片式多核处理器的用户级模拟器

引用

软件学报 2008年第4期19卷 1069-1080页

作者：黄琨马可曾洪博张戈章隆兵中国科学院计算技术研究所系统结构重点实验室中国科学技术大学计算机科学与技术系安徽合肥230027

随着片上晶体管资源的增多和互连线延迟的加大,分片式多核微处理器已成为多核处理器设计的新方向.为了对这种新型处理器进行体系结构的深入研究和设计空间的探索,设计并实现了针对分片式多核处理器的用户级多核性能模拟器.该多核模拟器... 详细信息

随着片上晶体管资源的增多和互连线延迟的加大,分片式多核微处理器已成为多核处理器设计的新方向.为了对这种新型处理器进行体系结构的深入研究和设计空间的探索,设计并实现了针对分片式多核处理器的用户级多核性能模拟器.该多核模拟器在龙芯2号单处理器核的基础上,完整地模拟了基于目录的Cache一致性协议和存储转发式片上互联网络的结构模型,详细地刻画了由于系统乱序处理各种请求应答和请求之间的冲突而造成的时序特性,可以通过运行各种串行或并行的工作负载对多核处理器的各种重要性能指标加以评估,为多核处理器的结构设计提供了快速、灵活、高效的研究平台.

关键词：分片式CMP(chip multiprocessor) 模拟器片上网络性能分析龙芯2号微处理器

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：