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

东南大学学报（自然科学版） 2011年第3期41卷 449-452页

作者：谢海军齐连永窦万春南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

为了改善现有基于QoS的Web服务组合方法的效率,在已有服务组合算法的基础上提出了一种新颖的基于Skyline点和局部选择的启发式服务组合方法SLOMIP(Skyline local optimi-zation mixed integer programming).该方法首先从候选服务集合中... 详细信息

为了改善现有基于QoS的Web服务组合方法的效率,在已有服务组合算法的基础上提出了一种新颖的基于Skyline点和局部选择的启发式服务组合方法SLOMIP(Skyline local optimi-zation mixed integer programming).该方法首先从候选服务集合中选出Skyline服务,可以证明如果存在最优服务组合方案,则其一定是由Skyline服务集中的服务组成的.然后,为了进一步缩小解空间,再从Skyline服务集中选取最优的K个服务进行最终服务组合方案的优化求解.与传统启发式服务组合方法的不同之处在于,该方法一旦获得解,必然是最优解而不是次优解.实验结果表明:在固定任务总数和固定候选服务个数的情况下,该方法的效率都远高于传统方法;K值越大,该方法的准确率越高.该方法可较大幅度地提高服务组合的效率,提升用户体验.

关键词：服务组合启发式局部选择 Skyline

来源：评论

学校读者我要写书评

暂无评论

骨架引导的网格模型圆柱面参数化

引用

计算机辅助设计与图形学学报 2011年第1期23卷 161-169页

作者：郭潇晟郭延文郭凯王文平南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 香港大学计算机科学系

针对传统平面参数化不能直接对零亏格封闭模型参数化,而球面参数化较为适用于形态接近于球体模型的问题,定义了一种超圆柱面的参数域表示,并提出一种渐进的超柱面参数化算法,对于形态接近于圆柱或具有单支简单骨架的网格模型能够提供较... 详细信息

针对传统平面参数化不能直接对零亏格封闭模型参数化,而球面参数化较为适用于形态接近于球体模型的问题,定义了一种超圆柱面的参数域表示,并提出一种渐进的超柱面参数化算法,对于形态接近于圆柱或具有单支简单骨架的网格模型能够提供较小的几何形变;基于此,提出一种骨架引导的网格模型圆柱面参数化方法,能够对具有复杂骨架结构的网格模型实现全局参数化,它通过分块参数化由骨架信息得到的网格模型主体和分支,进而将分支圆柱面参数网格配准、优化并拼接至主体参数网格得到无缝的全局参数网格;对于人体和动物等具有明显骨架结构的网格模型,骨架引导的圆柱面参数化具有较小的几何形变.最后给出了实验结果,并展示了圆柱面参数化在约束纹理贴图中的应用.

关键词：网格参数化圆柱体骨架纹理映射

来源：评论

学校读者我要写书评

暂无评论

基于多示例学习的异常行为检测方法

引用

模式识别与人工智能 2011年第6期24卷 862-868页

作者：崔永艳高阳南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

在基于轨迹分析的异常行为检测方法中,被标记为异常的轨迹往往仅在整条轨迹的某个局部存在异常,轨迹的其余部分都是正常行为.然而,传统的基于整条轨迹建模的方法很难检测轨迹的局部异常.针对上述问题,提出一种在多示例学习框架下基于轨... 详细信息

在基于轨迹分析的异常行为检测方法中,被标记为异常的轨迹往往仅在整条轨迹的某个局部存在异常,轨迹的其余部分都是正常行为.然而,传统的基于整条轨迹建模的方法很难检测轨迹的局部异常.针对上述问题,提出一种在多示例学习框架下基于轨迹分段的异常行为检测方法.该方法首先根据轨迹的曲率,将轨迹分割成若干相互独立的子段.然后采用层次狄利克雷过程-隐马尔科夫模型对每个子段建模.最后在多示例学习框架下,以整条轨迹为包,正常轨迹为负包,异常轨迹为正包,轨迹子段为包的示例进行学习.通过实验验证,该方法在准确率和召回率上都优于传统的基于轨迹建模的方法.

关键词：异常行为检测轨迹分段层次狄利克雷过程-隐马尔科夫模型(HDP—HMM) 多示例学习

来源：评论

学校读者我要写书评

暂无评论

基于动态缓存的无线网络编码性能分析模型

基于动态缓存的无线网络编码性能分析模型

引用

第十九届全国网络与数据通信学术会议

作者：白光伟金铃沈航曹磊南京工业大学计算机科学与技术系南京 210009 南京大学计算机软件新技术国家重点实验室南京 210093 南京理工大学高维信息智能感知与系统教育部重点实验室南京 210094 南京工业大学计算机科学与技术系南京 210009 南京理工大学高维信息智能感知与系统教育部重点实验室南京 210094 南京大学计算机软件新技术国家重点实验室南京 210093

目前绝大部分网络编码模型是在假设节点缓存无限大的基础上建立的.本文结合IEEE802.11 DCF信道随机接入机制，提出了一种基于动态缓存的精确分析无线网络编码性能的模型.该模型主要研究无线节点缓存有限及可变的情况下，网络节点平等接... 详细信息

目前绝大部分网络编码模型是在假设节点缓存无限大的基础上建立的.本文结合IEEE802.11 DCF信道随机接入机制，提出了一种基于动态缓存的精确分析无线网络编码性能的模型.该模型主要研究无线节点缓存有限及可变的情况下，网络节点平等接入和多优先级接入时的网络编码性能.通过构建嵌入式马尔科夫链模型对动态缓存进行数学建模，及离散二维马尔科夫链模型对DCF信道随机接入机制进行建模分析，从而得出一系列与网络编码性能密切相关的重要参数，如节点信道接入概率、数据包成功发送概率、平均编码数目、有效吞吐量等.结果表明，该模型精确评估了动态缓存和随机接入机制对无线网络编码的影响，为深入剖析无线网络编码特性和更好地运用网络编码提供了有力的依据.

关键词：网络编码动态缓存随机信道接入机制嵌入式马尔科夫链

来源：评论

学校读者我要写书评

暂无评论

BACH:线性混成系统有界可达性模型检验工具

引用

软件学报 2011年第4期22卷 640-658页

作者：卜磊李游王林章李宣东南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

混成自动机的模型检验问题非常困难,即使是其中相对简单的一个子类——线性混成自动机,它的可达性问题仍然是不可判定的.现有的相关工具大都使用多面体计算来判定线性混成自动机状态空间的可达集,复杂度高、效率低,无法解决实际应用规... 详细信息

混成自动机的模型检验问题非常困难,即使是其中相对简单的一个子类——线性混成自动机,它的可达性问题仍然是不可判定的.现有的相关工具大都使用多面体计算来判定线性混成自动机状态空间的可达集,复杂度高、效率低,无法解决实际应用规模的问题.描述了一个面向线性混成系统有界可达性模型检验工具——BACH(bounded reachability checker),该工具能够沿指定路径(组)对单个线性混成自动机、多个线性混成自动机的组合进行可达性检验,并且在此基础上结合路径遍历技术完成对所有路径的有界可达性检验.实验数据显示,BACH不仅在面向路径可达性检验方面性能优异,可以适用于足够长度的路径,而且在针对所有路径的有界可达性检验时,BACH可以解决的问题规模也远远超过同类工具,已接近工业界应用的要求.

关键词：线性混成系统线性混成自动机有界可达性检验线性规划

来源：评论

学校读者我要写书评

暂无评论

Java指针指向分析优化

引用

软件学报 2011年第6期22卷 1140-1154页

作者：李倩汤恩义戴雪峰王林章赵建华计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学计算机科学与技术系江苏南京210093

指针指向分析的主要目的是静态地获取程序在运行时刻的指针指向信息.基于Andersen算法,设计了一种有效的、上下文敏感的指针指向分析算法,支持继承、字段对象等语言特性.不同对象的字段在算法中被分别处理,同时,算法对复合类型的对象实... 详细信息

指针指向分析的主要目的是静态地获取程序在运行时刻的指针指向信息.基于Andersen算法,设计了一种有效的、上下文敏感的指针指向分析算法,支持继承、字段对象等语言特性.不同对象的字段在算法中被分别处理,同时,算法对复合类型的对象实现了基于字段的处理.为了提高算法的效率和可扩展性,引入了两种优化方式:一种是结点间的拓扑排序以降低分析过程中的迭代次数;另一种是在线的环路侦测与消除,它与拓扑排序过程同步实现,有效地提高了处理效率.实验数据表明,该算法可以用来为较大规模的Java代码生成精确的指向关系集合.

关键词：指针指向分析上下文敏感字段敏感环路检测

来源：评论

学校读者我要写书评

暂无评论

量子程序设计语言NDQJava-2

引用

软件学报 2011年第5期22卷 877-886页

作者：刘玲徐家福计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学计算机科学与技术系江苏南京210093

简述了量子程序设计语言NDQJava-2.该语言是在NDQJava的基础上增添了量子条件语句、量子循环语句、量子子程序、量子模块以及量子异常处理机制等量子成分,使其成为一种结构化的量子程序设计语言.书写量子程序的实践表明,相对于NDQJava而... 详细信息

简述了量子程序设计语言NDQJava-2.该语言是在NDQJava的基础上增添了量子条件语句、量子循环语句、量子子程序、量子模块以及量子异常处理机制等量子成分,使其成为一种结构化的量子程序设计语言.书写量子程序的实践表明,相对于NDQJava而言,NDQJava-2是一种更为实用、易读,其成分设定更为合适的量子程序设计语言.

关键词：量子程序设计语言量子条件语句量子循环语句量子子程序量子模块量子异常处理机制

来源：评论

学校读者我要写书评

暂无评论

一种基于粒子群优化的成对组合测试算法框架

引用

软件学报 2011年第12期22卷 2879-2893页

作者：陈翔顾庆王子元陈道蓄南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

提出一种基于粒子群优化的成对组合测试用例集生成算法框架.在生成测试用例时,该框架采用粒子群优化尝试生成强组合覆盖能力的测试用例,并研究了搜索空间、适应值函数和启发式的合理设定;在构造组合测试用例集时,以上述测试用例生成算... 详细信息

提出一种基于粒子群优化的成对组合测试用例集生成算法框架.在生成测试用例时,该框架采用粒子群优化尝试生成强组合覆盖能力的测试用例,并研究了搜索空间、适应值函数和启发式的合理设定;在构造组合测试用例集时,以上述测试用例生成算法为基础,提出两种策略:一种基于one-test-at-a-time,另一种基于类IPO.编程实现该算法框架,并通过实证研究分析了算法框架中不同设定对组合测试用例集规模的影响;最后,与现有的经典方法在组合测试用例集生成规模和算法执行时间上进行了比较.最终结果表明,该算法具有竞争力.

关键词：软件测试成对组合测试元启发式搜索粒子群优化

来源：评论

学校读者我要写书评

暂无评论

基于信息流策略的污点传播分析及动态验证

引用

软件学报 2011年第9期22卷 2036-2048页

作者：黄强曾庆凯南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

基于流和上下文敏感的SSA(static single assignment)信息流分析技术,提出了一种细粒度、可扩展的污点传播检测方法.利用控制流和数据流的相关信息,跟踪污染数据及其传播路径,可以检测缓冲区溢出、格式化串漏洞等程序脆弱性.分析过程在... 详细信息

基于流和上下文敏感的SSA(static single assignment)信息流分析技术,提出了一种细粒度、可扩展的污点传播检测方法.利用控制流和数据流的相关信息,跟踪污染数据及其传播路径,可以检测缓冲区溢出、格式化串漏洞等程序脆弱性.分析过程在潜在问题点自动插装动态验证函数,在无需用户干预的情况下保证了程序的运行时安全.在GCC编译器的基础上实现了分析系统,实验结果表明,该方法具有较高的精确度和时空效率.

关键词：脆弱性信息流污点传播动态验证静态单一赋值

来源：评论

学校读者我要写书评

暂无评论

面向方面的计算误差处理技术:实例研究与评估

引用

软件学报 2011年第11期22卷 2639-2651页

作者：崔展齐王林章刘慧根李宣东南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093 南京大学天文学系江苏南京210093

传统的实现方法通常把误差处理策略与程序的基本功能交织到一起,这会增加程序的耦合度,使得程序难以理解与维护.针对这一问题,提出一种面向方面的解决方案,即将程序的各种误差处理策略封装为方面.为评估该方法的有效性,将一个真实的卫... 详细信息

传统的实现方法通常把误差处理策略与程序的基本功能交织到一起,这会增加程序的耦合度,使得程序难以理解与维护.针对这一问题,提出一种面向方面的解决方案,即将程序的各种误差处理策略封装为方面.为评估该方法的有效性,将一个真实的卫星轨道测算系统中的误差处理策略分别封装为类中的方法和方面,并设计了一系列实验来评估原程序及分别采用两种方式重构后的程序在关注点分离度、耦合度、程序规模及运行时间上的差异.结果实验结果和重构过程中获得的经验可以得出,采用面向方面技术将误差处理功能封装为方面来实现能够有效提高程序的模块化程度和可维护性,并且不会引起程序性能的显著下降.

关键词：面向方面程序设计重构计算误差处理科学计算

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：