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

软件学报 2011年第6期22卷 1185-1198页

作者：柳溪杨璐潘敏学王林章计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学计算机科学与技术系江苏南京210093 苏州大学计算机科学与技术学院江苏苏州215006

提出了一个场景驱动的服务行为调控途径.首先,用UML顺序图模型作为场景规约以描述用户对服务行为的需求,并且基于目标服务的BPEL行为规约,构造表示服务行为的BPEL-Petri网模型(简称BPN模型);其次,基于并发变迁分析BPN模型上表示服务行... 详细信息

提出了一个场景驱动的服务行为调控途径.首先,用UML顺序图模型作为场景规约以描述用户对服务行为的需求,并且基于目标服务的BPEL行为规约,构造表示服务行为的BPEL-Petri网模型(简称BPN模型);其次,基于并发变迁分析BPN模型上表示服务行为的路径,并通过遍历BPN模型获取包含UML顺序图描绘场景的服务行为集合;最后,根据行为分析的结果构建了调控服务,通过在运行时监听、检查并过滤用户与目标服务的消息交互,从目标服务中抽取或过滤顺序图描绘的场景.在此基础上,开发了原型工具BASIS,以支撑场景驱动的服务行为调控途径,并通过实例研究展示了该方法的可行性.

关键词： Web服务场景规约行为调控 BPEL Petri网自动机

来源：评论

学校读者我要写书评

暂无评论

BTreeU-Topk:基于二叉树的不确定数据上的Top-k查询算法

BTreeU-Topk:基于二叉树的不确定数据上的Top-k查询算法

引用

第29届中国数据库学术会议

作者： Zhang Hui 张慧 Zheng Jiping 郑吉平 Han Qiuting 韩秋廷 College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanj 南京航空航天大学计算机科学与技术学院南京 210016 College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanj 南京航空航天大学计算机科学与技术学院南京 210016 计算机软件新技术国家重点实验室(南京大学) 南京210093

应用需求的发展衍生各种查询类型,Top-k查询是交互环境下一种重要查询类型。由于数据的不确定性,传统数据上的Top-k查询技术和方法不能直接应用于不确定数据查询。在已有不确定数据上Top-k查询算法的基础上,提出基于二叉树的不确定数据... 详细信息

应用需求的发展衍生各种查询类型,Top-k查询是交互环境下一种重要查询类型。由于数据的不确定性,传统数据上的Top-k查询技术和方法不能直接应用于不确定数据查询。在已有不确定数据上Top-k查询算法的基础上,提出基于二叉树的不确定数据上Top-k查询算法BTreeU-Topk;为了提高算法执行效率,对二叉树进行修剪操作进而提出BTreeOPTU-Topk和BTreePU-Topk算法。实验结果表明,BTreeU-Topk,BTreeOPTU-Topk以及BTreePU-Topk算法在不同数据分布以及k值增长时均优于现有算法。

关键词：不确定数据查询算法二叉树算法优化

来源：评论

学校读者我要写书评

暂无评论

开放系统中一种基于模糊修正的证据信任模型

引用

电子与信息学报 2011年第8期33卷 1930-1936页

作者：蒋黎明张宏张琨徐建南京理工大学计算机科学与技术学院南京210094 南京大学计算机软件新技术国家重点实验室南京210094

针对现有证据信任模型中普遍存在的局部信任度计算对门限值敏感度高及信任主体不能准确理解推荐信任度的含义等引起的模型性能下降问题,该文提出一种基于模糊修正的证据信任模型,一方面,通过采用模糊成员函数对信任评价进行加权处理,使... 详细信息

针对现有证据信任模型中普遍存在的局部信任度计算对门限值敏感度高及信任主体不能准确理解推荐信任度的含义等引起的模型性能下降问题,该文提出一种基于模糊修正的证据信任模型,一方面,通过采用模糊成员函数对信任评价进行加权处理,使得局部信任度随着门限值的变化而渐变变化,可以有效避免实质性突变的发生;另一方面,该文提出了一种推荐信任度修正算法使得推荐信任度的实际意义能够被信任主体准确理解,提高了信任度量的准确性。仿真实验表明,与已有证据信任模型相比,该文模型具有较强的抗干扰和抗攻击能力,能适用于各种动态环境中,同时在度量的精准度方面也有较大提高。

关键词：信任评价局部信任度推荐信任度 D-S证据理论

来源：评论

学校读者我要写书评

暂无评论

核诱导距离度量的鲁棒判别分析

核诱导距离度量的鲁棒判别分析

引用

第29届中国数据库学术会议

作者： WANG Sijun 王嗣钧 CHEN Songcan 陈松灿 College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanj 南京航空航天大学计算机科学与技术学院南京210016 College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanj 南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

提出了基于核诱导距离度量的鲁棒判别分析算法(KI-RDA).KI-RDA不仅自然地推广了线性判别分析(LDA),而且推广了最近提出的强有力的基于非参数最大熵的鲁棒判别分析(MaxEnt-RDA).通过采用鲁棒径向基核,KI-RDA不仅能有效处理含噪数据,而且... 详细信息

提出了基于核诱导距离度量的鲁棒判别分析算法(KI-RDA).KI-RDA不仅自然地推广了线性判别分析(LDA),而且推广了最近提出的强有力的基于非参数最大熵的鲁棒判别分析(MaxEnt-RDA).通过采用鲁棒径向基核,KI-RDA不仅能有效处理含噪数据,而且也适合处理非高斯分布的非线性数据,其本质的鲁棒性归咎于KI-RDA通过核诱导的非欧距离代替LDA的欧氏距离来刻画类间散度和类内散度.借助这些散度,为特征提取定义类似LDA的判别准则,导致了相应的非线性优化问题.进一步借助近似策略,将优化问题转化为直接可解的广义特征值问题,由此获得降维变换(矩阵)的闭合解.最后在多类数据集上进行实验,验证了KI-RDA的有效性.由于核的多样性,使KI-RDA事实上成为了一个一般性判别分析框架.

关键词：人脸识别特征提取线性判别分析核诱导距离度量鲁棒控制

来源：评论

学校读者我要写书评

暂无评论

能量限制下基于效用获取的实时节能调度算法

引用

计算机研究与发展 2011年第2期48卷 327-337页

作者：韩建军吴小东李庆华华中科技大学计算机科学与技术学院武汉430074 计算机软件新技术国家重点实验室(南京大学) 南京210093

面向基于电池供电的嵌入式实时系统,设计效用获取的实时节能调度算法.在实时系统的研究中,通常采用同步机制来实现任务对资源的互斥共享访问.在这种情况下,调度算法旨在能量受限下获得最大的系统效用,同时满足实时任务的可调度及任务同... 详细信息

面向基于电池供电的嵌入式实时系统,设计效用获取的实时节能调度算法.在实时系统的研究中,通常采用同步机制来实现任务对资源的互斥共享访问.在这种情况下,调度算法旨在能量受限下获得最大的系统效用,同时满足实时任务的可调度及任务同步.提出了两步节能算法(two-step energy-efficient algorithm,TSEEA),此算法包含两部分:静态算法和动态算法.静态算法部分在离线状态下,获得保守情况下任务的运行速度,并保证实时可调度及任务同步;动态算法部分在系统的运行过程中,综合考虑系统的静态信息、性能需求以及任务的动态行为,释放并回收空闲时间,有效调整任务运行速度,以求在有限能量供应前提下获取更大的系统效用.与其他有效算法相比,提出的算法保证只要供能充足,所有的任务均满足实时性要求,因此本算法可充分利用有限能量更多的效用,另外降低了时间复杂度.实验结果表明本算法在效用获取方面优于现有的其他算法.

关键词：嵌入式系统实时调度算法能量限制任务同步效用获取

来源：评论

学校读者我要写书评

暂无评论

变异测试:原理、优化和应用

变异测试:原理、优化和应用

引用

第29届中国数据库学术会议

作者： CHEN Xiang 陈翔 GU Qing 顾庆 School of Computer Science and Technology Nantong University Nantong Jiangsu 226019 China Stat 南通大学计算机科学与技术学院江苏南通226019 南京大学软件新技术国家重点实验室南京210093 State Key Laboratory for Novel Software Technology Nanjing University Nanjing 210093 China 南京大学软件新技术国家重点实验室南京210093

变异测试是一种基于缺陷的软件测试技术，在近四十年得到国内外学者的广泛关注，并取得了一些研究成果。对已有的研究工作进行总结，将其分为变异测试原理、优化和应用三个模块。其中在变异测试原理模块中，给出变异测试的基本假设，对... 详细信息

变异测试是一种基于缺陷的软件测试技术，在近四十年得到国内外学者的广泛关注，并取得了一些研究成果。对已有的研究工作进行总结，将其分为变异测试原理、优化和应用三个模块。其中在变异测试原理模块中，给出变异测试的基本假设，对变异测试分析流程进行介绍，并对其中的重要概念依次给出定义，从静态检测和动态检测两个角度对等价变异体检测技术进行总结。在变异测试优化模块中，从变异体选择优化和变异体执行优化两个角度对已有研究工作进行总结。在变异测试应用模块中，选择了测试用例集充分性评估、测试用例生成和回归测试三个应用领域，对研究工作进行分类总结。最后对变异测试的未来研究方向进行了展望。

关键词：软件缺陷变异测试自动化检测性能优化

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种基于JOP的rootkit构造方法

引用

计算机科学 2011年第B10期38卷 44-49页

作者：李正玉茅兵谢立计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

ROP是一种新的恶意代码构造方法,该方法可以利用系统中已有的代码来构造恶意程序,利用ROP构造的rootkit可以躲避目前已有的内核完整性保护机制的检测。由于ROP采用的以ret指令结尾的短指令序列具有一定的规律性,因此目前已经有很多防御... 详细信息

ROP是一种新的恶意代码构造方法,该方法可以利用系统中已有的代码来构造恶意程序,利用ROP构造的rootkit可以躲避目前已有的内核完整性保护机制的检测。由于ROP采用的以ret指令结尾的短指令序列具有一定的规律性,因此目前已经有很多防御手段能够对其进行防御。相比ROP而言,基于JOP[1]的rootkit构造方法没有明显的规律可言,因此目前针对ROP的防御手段都无法对其进行防御。此外,较传统的ROP而言该方法不会受限于内核栈的大小,而且构造过程中所使用到的数据在内存中的布局也比较灵活。

关键词： ROP JOP 短指令序列

来源：评论

学校读者我要写书评

暂无评论

过程感知信息系统中过程的动态演化

引用

软件学报 2011年第3期22卷 417-438页

作者：宋巍马晓星胡昊吕建计算机软件与新技术国家重点实验室(南京大学) 江苏南京210093 南京理工大学计算机科学与技术学院江苏南京210094

支持过程模型的动态修改并将过程模型的修改传播到当前正在运行的过程实例上,是柔性过程感知信息系统的基本要求.过程实例迁移是应对过程感知信息系统中过程动态演化的主流技术途径,它将尚未执行结束的过程实例动态地迁移到修改后的过... 详细信息

支持过程模型的动态修改并将过程模型的修改传播到当前正在运行的过程实例上,是柔性过程感知信息系统的基本要求.过程实例迁移是应对过程感知信息系统中过程动态演化的主流技术途径,它将尚未执行结束的过程实例动态地迁移到修改后的过程模型上继续执行,从而使得这些过程实例可以享受到过程优化带来的便利.过程实例迁移的挑战在于保证过程实例迁移的正确性以及过程实例迁移检验的高效性,以此为切入点,综述了过程感知信息系统中过程动态演化技术的研究进展.最后,展望了过程演化技术未来应当关注的研究方向.

关键词：过程感知信息系统过程模型动态演化过程实例迁移:正确性高效性

来源：评论

学校读者我要写书评

暂无评论

证据信任模型中的信任传递与聚合研究

引用

通信学报 2011年第8期32卷 91-100页

作者：蒋黎明张琨徐建廖俊张宏南京理工大学计算机科学与技术学院江苏南京210094 南京大学计算机软件新技术国家重点实验室江苏南京210094

现有信任模型在信任传递和聚合方面存在一定的不足:首先是信任传递过程中缺少对直接推荐实体的反馈信任度的有效度量;其次是信任聚合过程中因缺少对推荐链之间依赖关系的有效处理而存在推荐信息的损耗或重复计算等问题。为了解决这些问... 详细信息

现有信任模型在信任传递和聚合方面存在一定的不足:首先是信任传递过程中缺少对直接推荐实体的反馈信任度的有效度量;其次是信任聚合过程中因缺少对推荐链之间依赖关系的有效处理而存在推荐信息的损耗或重复计算等问题。为了解决这些问题,提出了一种新的证据信任模型,结合D-S证据理论和图论方法有效解决了信任传递的可靠性和信任聚合的准确性等问题。仿真实验表明,与已有模型相比,所提模型具有更强的抑制各种策略欺骗及共谋行为的能力,在信任度量准确性方面也有较大提高。

关键词： D-S证据理论信任传递信任聚合信任子图

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：