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

计算机工程与应用 2002年第2期38卷 78-80,200页

作者：陈雨亭朱平刘芳谭毅郑国梁南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

程序切片作为软件理解领域的一种重要的分析技术,可以将程序分解为独立的程序线程。系统依赖图的概念及两阶段图形可达性算法的出现,则有效解决了程序切片的过程调用问题。文章介绍了程序切片的基本概念,并给出了在面向对象程序中进行... 详细信息

程序切片作为软件理解领域的一种重要的分析技术,可以将程序分解为独立的程序线程。系统依赖图的概念及两阶段图形可达性算法的出现,则有效解决了程序切片的过程调用问题。文章介绍了程序切片的基本概念,并给出了在面向对象程序中进行静态分层切片的思想。作为分层切片思想的应用,文章给出了在一种Java程序切片工具模型JSTM(JavaSlicingToolsModel)中运用系统依赖图进行方法内切片的具体算法。

关键词：软件开发 Java语言程序分切模型方法内切片生成算法

来源：评论

学校读者我要写书评

暂无评论

一个面向Internet数据管理的系统模型

引用

计算机科学 2002年第1期29卷 109-112页

作者：韩立新恽爽陈道蓄谢立南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

1.引言随着Internet的发展,查询网上信息变得越来越重要,常用的方法是使用诸如Yahoo,Infoseek等搜索引擎来查询信息.一旦用户提出需要查询内容的关键词,搜索引擎就根据关键词来确定查询的内容.

关键词： Internet 计算机网络数据管理系统模型搜索引擎信息查询 WWW 数据库

来源：评论

学校读者我要写书评

暂无评论

Augmented Bayes分类器的一种学习方法

引用

计算机工程与应用 2002年第17期38卷 100-102页

作者：马耀华何瑗南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

NaveBayes分类器作为一种计算简单、精度较高的分类方法,已经得到了广泛应用。但是其所作的假设:各属性之间相互独立却非常容易在现实中被违背,阻碍了分类器精度的进一步提高。而Bayes网络较好地考虑了属性之间的依赖关系,但是其计算相... 详细信息

NaveBayes分类器作为一种计算简单、精度较高的分类方法,已经得到了广泛应用。但是其所作的假设:各属性之间相互独立却非常容易在现实中被违背,阻碍了分类器精度的进一步提高。而Bayes网络较好地考虑了属性之间的依赖关系,但是其计算相当复杂。AugmentedBayes分类器将两者的优点结合在一起,既考虑了属性之间的依赖关系,又保证了算法的简单性。该文从属性所拥有的信息量出发考虑,提出了AugmentedBayes分类器的一种基于熵的学习方法。最后,通过测试数据将该方法与NaveBayes分类器和SuperParent算法进行了比较。

关键词： Augmented Bayes分类器学习方法熵分析机器学习

来源：评论

学校读者我要写书评

暂无评论

基于形态学膨胀操作的小波图像比率可分级编码研究

引用

计算机学报 2002年第1期25卷 80-86页

作者：王相海张福炎南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学系南京210093

图像渐进传输、图像数据库浏览等多分辨率环境下的多媒体应用导致了图像比率可分级性编码算法的产生 ,比如嵌入式零树小波图像编码方法 (EZW) .Servett等人给出了一种基于形态学方法的图像编码方法(MRWD) ,该方法根据图像小波分解后各... 详细信息

图像渐进传输、图像数据库浏览等多分辨率环境下的多媒体应用导致了图像比率可分级性编码算法的产生 ,比如嵌入式零树小波图像编码方法 (EZW) .Servett等人给出了一种基于形态学方法的图像编码方法(MRWD) ,该方法根据图像小波分解后各子带中重要系数的聚类特性 ,利用数学形态学中的膨胀算子直接对各子带中的重要系数进行检测、提取和编码 ,取得了优于 EZW的编码效果 .然而 ,该方法还存在着一些值得改进的地方 .该文在分析和改进 MRWD方法的基础上 ,提出一种基于形态学方法的小波图像比率可分级编码的新方法 ,该方法的主要思想如下 :(1)针对小波图像分解的不同层次子带 ,采用了不同的结构元素来实现各子带重要系数的膨胀操作 ;(2 )对剩余空间的重要系数 ,根据其在不同分解层次上的分布情况 ,采用了直接提取和膨胀操作相结合的编码方法 ;(3)根据小波图像分解最低频子带的特殊性 ,对其进行了单独处理 ;(4)采用了逐次逼近的量化模式 ,使生成的嵌入式码流具有比率可分级的特性 .该方法除了具有 EZW方法的优点外 ,在一定程度上克服了 MRWD方法的不足 ,取得了较好的效果 .

关键词： MRWD算法小波变换比率可分级编码形态学膨胀操作图像编码

来源：评论

学校读者我要写书评

暂无评论

基于拥塞控制与RS编码的自适应有效Internet视频传输

引用

中国科学（E辑） 2002年第3期32卷 425-432页

作者：黄伟红张福炎孙正兴南京大学软件新技术国家重点实验室计算机科学与技术系南京210093

提出一种自适应拥塞控制与自适应RS（reed-solomon）编码差错修复相结合的有效Internet视频传输新方案.针对Internet共享信道的QoS波动特性而设计的一个带有速率控制参数可调的自适应拥塞控制机制的视频流协议AVSP,使视频传输具有对网... 详细信息

提出一种自适应拥塞控制与自适应RS（reed-solomon）编码差错修复相结合的有效Internet视频传输新方案.针对Internet共享信道的QoS波动特性而设计的一个带有速率控制参数可调的自适应拥塞控制机制的视频流协议AVSP,使视频传输具有对网络状况波动的快速反应特性和一定的TCP友好性.在不增加系统总带宽的前提下,与拥塞控制相结合的可变参数自适应RS编码MPEG视频传输差错修复,有效地增强了Internet分组丢失差错环境下视频传输的鲁棒性.

关键词： Internet 视频传输拥塞控制 RS编码差错修复自适应视频流协议视频编码

来源：评论

学校读者我要写书评

暂无评论

小波图像编码中阶梯型量化的研究

引用

小型微型计算机系统 2002年第9期23卷 1136-1140页

作者：潘迅宇潘树陆南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系江苏南京210093

本文利用原始图像在不同频率区域能量分布不同的特点 ,通过对小波变换系数的研究 ,提出了一种对图像的小波分解系数进行阶梯型量化的有效方法 ,并结合不同类型的图像给出了具有代表性的量化方案。

关键词：小波变换图像压缩阶梯型量化图像编码计算机

来源：评论

学校读者我要写书评

暂无评论

面向Web的信息收集工具的设计与开发

引用

计算机应用研究 2002年第6期19卷 144-147页

作者：潘春华常敏武港山南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系江苏南京210093

随着互联网的发展以及网上信息的日益丰富 ,传统的信息处理已经延伸到互联网领域。在对互联网上的信息进行处理时 ,常常要将分布在互联网各处的Web页面下载到本地供进一步处理 ;这便是所讨论的Web页面收集工具的核心功能。该页面收集系... 详细信息

随着互联网的发展以及网上信息的日益丰富 ,传统的信息处理已经延伸到互联网领域。在对互联网上的信息进行处理时 ,常常要将分布在互联网各处的Web页面下载到本地供进一步处理 ;这便是所讨论的Web页面收集工具的核心功能。该页面收集系统在综合使用Web页面间的链接关系和页面内容的基础上 ,增加了多层次的页面过滤模块 ,可用来收集特定领域内的Web页面 ;同时可采用多机并行收集的方法提高页面收集的效率 ;采用大型数据库存放元收集信息 ,并对收集到的页面进行压缩 ,能够支持海量数据的收集 ;动态更新机制的实施使得下载到本地的页面信息能够得到及时的更新。

关键词： Web 信息收集工具设计页面收集信息处理网络爬虫万维网 Internet

来源：评论

学校读者我要写书评

暂无评论

一种Linux下的IP安全体系的实现

引用

小型微型计算机系统 2002年第5期23卷 529-531页

作者：周立峰须晓丽欧阳毅金志权南京大学软件新技术国家重点实验室江苏南京210093 南京邮电学院计算机科学与技术江苏南京210003

IPSec是一种基于 IP层的加密安全体制 ,为 IP及上层协议提供透明的安全保护 .本文讨论了 IPSec的几种常用实现方式 ,给出了其在 L inux平台下的一个具体实现 ,并在此基础上比较了该实现方式与 IPSec在 Windows

关键词： Linux 安全体系 IP协议 IPSec协议 Internet 防火墙

来源：评论

学校读者我要写书评

暂无评论

精化演算支撑工具的分析

引用

计算机应用与软件 2002年第2期19卷 1-5,53页

作者：王云峰庞军查鸣杨朝晖郑国梁南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

利用精化演算的方法开发软件,其过程由巨大数量的小步骤构成,由手工完成极其烦琐,也极容易出错。因此,利用机器辅助工具的支持是必要的。在分析现有的精化工具的基础上,我们提出了一个用于软件形式化开发的精化工具RT(RefinementTool),... 详细信息

利用精化演算的方法开发软件,其过程由巨大数量的小步骤构成,由手工完成极其烦琐,也极容易出错。因此,利用机器辅助工具的支持是必要的。在分析现有的精化工具的基础上,我们提出了一个用于软件形式化开发的精化工具RT(RefinementTool),对精化工具进行了需求分析和功能分析。在精化工具的设计中,分析了精化工具的设计目标、总体结构、精化与证明的表示方法、用户界面和工具的扩充性等问题,通过对精化和证明的表示方法的分析,提出了一种精化与证明的表示相结合的方法。

关键词：形式方法精化演算支撑工具软件工具计算机

来源：评论

学校读者我要写书评

暂无评论

一种SVM增量学习算法

引用

南京大学学报（自然科学版） 2002年第2期38卷 152-157页

作者：萧嵘王继成孙正兴张福炎南京大学软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

分析了SVM理论中SV(支持向量 )集的特点 ,给出一种SVM增量学习算法 .通过在增量学习中使用SV集与训练样本集的分类等价性 ,使得新的增量训练无需在整个训练样本空间进行 .理论分析和实验结果表明。

关键词： SVM增量学习算法支持向量机分类机器学习增量训练 SV集训练样本集

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：