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

软件学报 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年第9期22卷 2036-2048页

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于定性多用户偏好的Web服务选择

引用

电子学报 2011年第4期39卷 729-736页

作者：周宁谢俊元计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

随着Web服务数量逐渐增多,出现了许多服务提供者提供功能相同或相似服务的情况.如何在一些功能相似或相同的服务集合中,根据用户对服务质量的需求选出更符合用户要求的服务,是当前研究人员普遍关心的课题.本文提出一种定性的服务选择方... 详细信息

随着Web服务数量逐渐增多,出现了许多服务提供者提供功能相同或相似服务的情况.如何在一些功能相似或相同的服务集合中,根据用户对服务质量的需求选出更符合用户要求的服务,是当前研究人员普遍关心的课题.本文提出一种定性的服务选择方法,用来解决涉及多个用户的Web服务选择问题.各用户对服务质量的需求被表示为偏好.提出的算法将能够综合考虑各个用户的偏好,使选出的服务尽可能满足大部分用户的偏好要求,并给出了一个实例说明该算法的应用.实验结果表明了算法的有效性.

关键词： Web服务服务质量 CP-net 偏好逻辑

来源：评论

学校读者我要写书评

暂无评论

列存储数据仓库查询执行中重用缓冲区调度算法

引用

计算机研究与发展 2011年第10期48卷 1942-1950页

作者：张琦王梅乐嘉锦刘国华东华大学计算机科学与技术学院上海201620 计算机软件新技术国家重点实验室(南京大学) 南京210093

查询的中间结果重用是提高查询效率的重要手段.现有列存储系统主要关注多查询计划间的中间结果重用,忽略了单一查询计划执行过程中大量可重复访问的中间结果.单一查询中的中间结果具有确定性高、结果大小可估计的特征,非常适合作为重用... 详细信息

查询的中间结果重用是提高查询效率的重要手段.现有列存储系统主要关注多查询计划间的中间结果重用,忽略了单一查询计划执行过程中大量可重复访问的中间结果.单一查询中的中间结果具有确定性高、结果大小可估计的特征,非常适合作为重用的对象.为此,针对列存储数据仓库单一查询计划执行过程中的中间结果重用问题,提出了一个重用缓冲区空间的调度算法.首先,基于操作结点在给定物理执行计划树中的相对位置及其操作所产生的中间结果的大小对操作结点提出重用度估计模型.其次,设计了基于模型估计结果的缓冲区调度算法.在每一个查询计划的执行过程中,根据其模型估计结果执行缓冲区调度算法,使得其产生的中间结果中更重要的部分能够更久地驻留在内存中,以提升查询性能.在数据仓库基准数据集SSB上的实验结果验证了方法的有效性.

关键词：列存储查询执行中间结果重用重用缓冲区数据仓库

来源：评论

学校读者我要写书评

暂无评论

列存储数据仓库中启发式查询优化机制

引用

计算机学报 2011年第10期34卷 2018-2026页

作者：严秋玲孙莉王梅乐嘉锦刘国华东华大学计算机科学与技术学院上海201620 南京大学计算机软件新技术国家重点实验室南京210093

研究和实践表明列存储更加适合于大规模数据集上的即席查询的"读优化"应用需求.然而由于列存储的处理对象是列,此时传统的基于规则的查询优化方法并不完全适用.文中首先比较了列存储系统中查询优化与行存储系统的不同,在此基... 详细信息

研究和实践表明列存储更加适合于大规模数据集上的即席查询的"读优化"应用需求.然而由于列存储的处理对象是列,此时传统的基于规则的查询优化方法并不完全适用.文中首先比较了列存储系统中查询优化与行存储系统的不同,在此基础上提出适合于列存储的启发式查询优化机制,其中包括启发式优化策略、重写规则、左深连接树结构和相关算法.实验表明:该文提出的启发式优化机制能有效减少候选计划的规模,排除大量不可能生成最优计划的计划,使得查询处理代价和执行时间大大减小.

关键词：列存储查询优化优化策略重写规则左深连接树

来源：评论

学校读者我要写书评

暂无评论

VPM:列存储系统中基于带值路径的物化技术

VPM:列存储系统中基于带值路径的物化技术

引用

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

作者： Ding Xiangwu 丁祥武 Yu Wenbing 余文兵 Liu Guohua 刘国华 School of Computer Science and Technology Donghua University Shanghai 201620 东华大学计算机科学与技术学院上海 201620 School of Computer Science and Technology Donghua University Shanghai 201620 State Key Laboratory 东华大学计算机科学与技术学院上海 201620 计算机软件新技术国家重点实验室(南京大学) 南京 210093

物化是列存储数据仓库查询中必不可少的操作，物化策略和物化技术直接影响到查询执行的性能，因此设计一种适应于列存储系统的物化策略和相关技术尤为重要.针对延迟物化可能重复读取数据块的缺陷，提出了基于带值路径的物化技术，简称V... 详细信息

物化是列存储数据仓库查询中必不可少的操作，物化策略和物化技术直接影响到查询执行的性能，因此设计一种适应于列存储系统的物化策略和相关技术尤为重要.针对延迟物化可能重复读取数据块的缺陷，提出了基于带值路径的物化技术，简称VPM.首先，定义了一个描述物理执行中间结果的结构——传递块，该结构将用于重构的位置信息与实际列值相分离.在此基础上，对于给定的物理查询树，根据其操作节点是否需要某一列的值进行路径标记，生成自扫描节点或抽值节点到最终需要这些节点的引用列的祖先节点之间的路径，即带值路径.将起始节点引用列的列值保存在传递块的列值区中，并在向查询树的上层操作节点传输过程中不断对其过滤.对带值路径中的其他列仅保存其位置信息.在查询执行时，除了路径起始节点要从磁盘读取数据外，其他节点直接从传递块中获得相应的列值，有效地减少了查询处理过程的I/O开销，提高了查询的执行性能.最后在DWMS上使用TPC-H中针对数据仓库的基准数据集SSBM进行实验，验证了基于带值路径物化技术的有效性.

关键词：数据库列存储系统物化技术带值路径

来源：评论

学校读者我要写书评

暂无评论

场景驱动的服务行为调控

引用

软件学报 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网自动机

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：