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

计算机科学 2010年第8期37卷 178-181页

作者：徐建许满武严悍李千目南京大学计算机软件新技术国家重点实验室南京210093 南京理工大学计算机科学与技术学院南京210094

为了提高软件衰退预测的精度,采用了多重分形分析方法,以系统资源参数时间序列为研究对象,提出了一种定性和定量相结合的分析方法,用以研究其波动规律。定性分析阶段,借鉴分形理论分析影响软件性能的系统资源参数,揭示参数的波动具有分... 详细信息

为了提高软件衰退预测的精度,采用了多重分形分析方法,以系统资源参数时间序列为研究对象,提出了一种定性和定量相结合的分析方法,用以研究其波动规律。定性分析阶段,借鉴分形理论分析影响软件性能的系统资源参数,揭示参数的波动具有分形特性;且其多重分形谱特征能刻画系统运行过程中随时间变化的情况。定量预测阶段,提出了一种多维的Hlder指数计算方法,用于计算多个资源参数序列的Hlder指数,并采用自回归移动平均模型(ARMA)预测Hlder指数。最后进行了实证分析,结果表明,该方法具有较好的定性分析和定量预测能力。

关键词：软件衰退多重分形预测

来源：评论

学校读者我要写书评

暂无评论

一种基于环境约束的异常程序行为模型

引用

计算机科学 2010年第5期37卷 112-114,142页

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

在控制流模型中加入影响程序运行的环境因素,结合静态分析方法的优点,建立了程序异常行为分析模型,用以标记函数调用指令,并在动态运行时进行返回值一致性约束,从而解决了一般方法回避函数指针导致的间接调用问题。同时根据程序的局部... 详细信息

在控制流模型中加入影响程序运行的环境因素,结合静态分析方法的优点,建立了程序异常行为分析模型,用以标记函数调用指令,并在动态运行时进行返回值一致性约束,从而解决了一般方法回避函数指针导致的间接调用问题。同时根据程序的局部运行原理,将分析范围限定在函数范围内。实验结果表明模型具有较好的精确性和较低的性能影响。

关键词：控制流运行环境程序行为

来源：评论

学校读者我要写书评

暂无评论

基于内核机制的非法连接监控研究与设计

引用

计算机工程与设计 2010年第6期31卷 1161-1165页

作者：钱廷发黄皓南京大学软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

在内核监控技术研究的基础上,通过对当前防止非法外联技术的比较和分析,针对当前非法外联技术的弱点,设计了一个防止非法连接的系统。该系统通过认证和策略来确保通信对象的可信性,通过基于SNMP协议的网络拓扑发现算法来确保及时发现连... 详细信息

在内核监控技术研究的基础上,通过对当前防止非法外联技术的比较和分析,针对当前非法外联技术的弱点,设计了一个防止非法连接的系统。该系统通过认证和策略来确保通信对象的可信性,通过基于SNMP协议的网络拓扑发现算法来确保及时发现连接到内网的未安装客户端的主机,通过网络设备控制和内核监控技术来保证网络设备的可靠性,最终达到防止非法连接的目的。

关键词：监控 Windows内核驱动非法外联非法连接简单网络管理协议

来源：评论

学校读者我要写书评

暂无评论

基于PTCPN的网构软件建模与分析

引用

软件学报 2010年第6期21卷 1254-1266页

作者：周航黄志球张广泉祝义胡军南京航空航天大学信息科学与技术学院江苏南京210006 南京航空航天大学民航学院江苏南京210006 苏州大学计算机科学与技术学院江苏苏州215006 徐州师范大学计算机科学与技术学院江苏徐州221116 南京大学计算机软件新技术国家重点实验室江苏南京210093

时间Petri网能够对网构软件的性能进行分析,但是无法对网构软件的可变代价进行分析.为了进一步满足对网构软件所具有的柔性建模以及可变代价分析的需求,提出一种代价时间有色Petri网模型(price time colored Petri net,简称PTCPN).该模... 详细信息

时间Petri网能够对网构软件的性能进行分析,但是无法对网构软件的可变代价进行分析.为了进一步满足对网构软件所具有的柔性建模以及可变代价分析的需求,提出一种代价时间有色Petri网模型(price time colored Petri net,简称PTCPN).该模型对时间Petri网进行了可变代价和颜色信息的扩展,并使用代价时间变迁系统定义了PTCPN的语义;定义了PTCPN的累积代价状态类,并证明了累积代价状态类的合理性和完备性;给出了基于PTCPN的多Agent网构软件建模及分析方法.最后,通过实例分析说明应用PCTPN对网构软件进行形式化建模及分析是可行的.

关键词：网构软件 Petri网代价时间变迁系统多态性

来源：评论

学校读者我要写书评

暂无评论

面向3G通信的流媒体关键技术研究

引用

计算机科学 2010年第5期37卷 57-61页

作者：曹磊沈航骆斌白光伟南京工业大学电子与信息工程学院计算机科学与技术系南京210009 南京大学软件新技术国家重点实验室南京210093

3G网络实时流媒体通信是一种新兴的移动增值业务,近年来对其需求日益增强,引起了学术界和工业界的广泛关注。3G流媒体开创了无线通信、互联网和视频融合的新时代。然而由于无线通信网络动态变化的信道特性、有限的带宽资源、高误码率、... 详细信息

3G网络实时流媒体通信是一种新兴的移动增值业务,近年来对其需求日益增强,引起了学术界和工业界的广泛关注。3G流媒体开创了无线通信、互联网和视频融合的新时代。然而由于无线通信网络动态变化的信道特性、有限的带宽资源、高误码率、节点移动以及多媒体业务严格的服务质量(QoS)要求,3G流媒体业务的服务质量(QoS)保障成为一个挑战性的问题。首先对比目前几种主要的3G通信标准的技术特点;在此基础上从QoS体系、传输协议、编码技术、实时流媒体通信流特性建模等几个方面探讨面向3G通信的流媒体关键技术和研究方法;最后归纳该领域目前需要重点解决的关键问题。

关键词： 3G 流媒体 QoS 传输协议视频编码

来源：评论

学校读者我要写书评

暂无评论

可逆逻辑门网络的表示与级联

引用

电子学报 2010年第10期38卷 2370-2376页

作者：管致锦秦小麟陶涛施南通大学计算机科学与技术学院江苏南通226019 南京大学新技术软件国家重点实验室江苏南京210093 南京航空航天大学信息科学与技术学院江苏南京210016 南通大学江苏省专用集成电路设计重点实验室江苏南通226019

可逆计算是一个新兴的研究领域,可逆逻辑门网络的级联是可逆计算的重要内容.本文提出了一种可逆逻辑网络表示方法,给出了相应的可逆网络模型.为了构造可逆逻辑网络,给出了一种可逆逻辑门单元库的构造方法.证明了同一垂直线上两个不相交... 详细信息

可逆计算是一个新兴的研究领域,可逆逻辑门网络的级联是可逆计算的重要内容.本文提出了一种可逆逻辑网络表示方法,给出了相应的可逆网络模型.为了构造可逆逻辑网络,给出了一种可逆逻辑门单元库的构造方法.证明了同一垂直线上两个不相交可逆逻辑门单元的输出值与此二逻辑门单元分布到相同平行线的两条相邻垂直线上的输出值之间的关系;给出了分布在相同平行线上奇数和偶数个相邻的相同可逆逻辑门单元输出结果的性质.提出了一种可逆网络输出向量的表示方法和基于可逆门编码的可逆网络级联方法,以此生成给定范围内的可逆网络.通过变进制数的方法快速找到可逆网络输出向量所对应的序号,降低了搜索次数,减小了搜索空间,为进一步综合大规模可逆网络,提高可逆网络级联效率提供了支持.Benchmark例题验证表明,该方法构造的可逆网络控制门数更少,代价更小.

关键词：可逆计算可逆逻辑综合可逆逻辑门可逆网络可逆门级联

来源：评论

学校读者我要写书评

暂无评论

以图频繁集为基础的核心节点发现

引用

计算机科学与探索 2010年第1期4卷 82-88页

作者：宋文军刘红星王崇骏谢俊元南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

结合基于图的关联规则挖掘和双向搜索的策略,产生最大频繁项集,从而提出基于图的最大频繁项集(graph based maximum frequen tset,GBMFS)生成算法。运用此算法,结合社会网络的动态特征,发现社会网络中所存在的团伙的核心成员。最后,在... 详细信息

结合基于图的关联规则挖掘和双向搜索的策略,产生最大频繁项集,从而提出基于图的最大频繁项集(graph based maximum frequen tset,GBMFS)生成算法。运用此算法,结合社会网络的动态特征,发现社会网络中所存在的团伙的核心成员。最后,在实际系统中对相关的算法进行了验证。

关键词：最大频繁项集图核心节点

来源：评论

学校读者我要写书评

暂无评论

用于社团发现的Girvan-Newman改进算法

引用

计算机科学与探索 2010年第12期4卷 1101-1108页

作者：朱小虎宋文军王崇骏谢俊元南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

为了克服Girvan-Newman算法运行效率的不足,提出了一个基于modularity极值近似的社团发现算法MEA。该算法采用modularity增量作为社团结构的度量,使用贪心策略获得最优社团分划的近似解。通过理论分析,并在实际的数据集上进行实验验证,... 详细信息

为了克服Girvan-Newman算法运行效率的不足,提出了一个基于modularity极值近似的社团发现算法MEA。该算法采用modularity增量作为社团结构的度量,使用贪心策略获得最优社团分划的近似解。通过理论分析,并在实际的数据集上进行实验验证,结果表明MEA算法是快速、有效的。

关键词：社会网络分析社团结构发现 Girvan—Newman算法贪心策略

来源：评论

学校读者我要写书评

暂无评论

星型模型的轮廓连接查询算法

引用

计算机科学与探索 2010年第5期4卷 410-419页

作者：徐忠华张剡陈玲柏文阳南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

轮廓查询在多标准决策中具有重要应用价值,对于单表轮廓查询已有大量研究,但在实际中,轮廓查询的属性很可能分布在多张表中。如果在多表连接之后进行轮廓查询,随着维度和元组数目的增加,计算代价会越来越大。为此,针对数据仓库中星型模... 详细信息

轮廓查询在多标准决策中具有重要应用价值,对于单表轮廓查询已有大量研究,但在实际中,轮廓查询的属性很可能分布在多张表中。如果在多表连接之后进行轮廓查询,随着维度和元组数目的增加,计算代价会越来越大。为此,针对数据仓库中星型模型的数据特点,提出了三种此模型下的多表连接轮廓查询算法并对算法进行了实验比较分析。结果表明,此算法比先连接再做单表轮廓查询的算法更为有效,并且这三种算法在不同特点的数据集合下会表现出各自的优势。

关键词：轮廓查询多表连接数据仓库星型模型

来源：评论

学校读者我要写书评

暂无评论

一种基于发生序和锁集的BPEL数据竞争静态检测方法

引用

计算机与数字工程 2010年第8期38卷 6-9页

作者：李少东许蕾南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

BPEL利用flow和link提供了并发和同步的机制,而Isolated Scope则提供了并发情况下对共享变量访问的控制,同时BPEL还引入了死路删除等一些新的特性。对BPEL流程进行了建模,把BPEL流程转化为BCFG图,提出了一种结合发生序和锁集的静态检测B... 详细信息

BPEL利用flow和link提供了并发和同步的机制,而Isolated Scope则提供了并发情况下对共享变量访问的控制,同时BPEL还引入了死路删除等一些新的特性。对BPEL流程进行了建模,把BPEL流程转化为BCFG图,提出了一种结合发生序和锁集的静态检测BPEL流程数据竞争的方法。该方法利用向量时钟计算BPEL基本块的发生序关系,判断BPEL基本块是否可并发执行,然后根据BPEL基本块是否有锁保护以及对共享变量的访问情况,来判断BPEL流程是否存在数据竞争。锁集的引入提高了数据竞争判断的准确度,另外该方法还引入了对共享变量访问事件冗余度的分析,减少了算法的开销。

关键词： BPEL 发生序锁集数据竞争

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：