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

计算机研究与发展 2001年第11期38卷 1315-1326页

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

多媒体及 Internet的迅速发展导致了对图像编码技术更高的要求 .首先以波形编码、第二代编码技术和分形编码技术为线索对静态图像编码技术的发展及编码技术中所存在的一些问题进行了讨论 ,并从图像编解码的观点讨论了图像在有噪信道上... 详细信息

多媒体及 Internet的迅速发展导致了对图像编码技术更高的要求 .首先以波形编码、第二代编码技术和分形编码技术为线索对静态图像编码技术的发展及编码技术中所存在的一些问题进行了讨论 ,并从图像编解码的观点讨论了图像在有噪信道上传输的误码率情况和适应于网上传输的一些图像编码技术 ;同时对即将成为新的静态图像编码标准的 JPEG- 2 0 0 0的目标、编码机制、ROI编码的 Maxshift方法以及对码流的直接操作等情况进行了讨论 .尽管压缩效果一直是任何编码方案所追求的目标 ,但其它特性 ,像基于内容的编码、可分级性编码以及鲁棒性编码等也是选择一个好的编码方案时应该考虑的 ,据此最后对图像编码技术的发展方向进行了展望 .

关键词：误码率 JPEG-2000 静态图像编码多媒体波形编码 Internet

来源：评论

学校读者我要写书评

暂无评论

Linux安全性能改进研究

引用

计算机工程 2001年第10期27卷 59-62页

作者：周昕刘勇沈熙谢俊元南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室南京210093

自由软件功能强大移植性好与兼容但随着的发展人们对信息安全的要求越来越高目前普通的无法满足这一Linux,,Unix,Internet,,Linux需求。文章介绍了几种安全技术以改进的安全性能并讨论了增强后的安全性能。

关键词： Linux 操作系统安全性能 Internet 信息安全

来源：评论

学校读者我要写书评

暂无评论

对XPath模式定位能力的扩充

引用

计算机研究与发展 2001年第6期38卷 674-678页

作者：王强武港山南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

基于一般结构模式的定位手段对一个完备的面向 XML文档内容的定位机制来说是重要的 ,而 XPath在这方面还有所欠缺 .首先通过实例分析阐明了 XPath提供基于一般结构模式的定位手段的必要性 ,随后通过一些扩充定义来改善它的表示能力 .扩... 详细信息

基于一般结构模式的定位手段对一个完备的面向 XML文档内容的定位机制来说是重要的 ,而 XPath在这方面还有所欠缺 .首先通过实例分析阐明了 XPath提供基于一般结构模式的定位手段的必要性 ,随后通过一些扩充定义来改善它的表示能力 .扩充从概念、语法描述和执行机制 3个方面展开 ,概念上 ,引入了结点序列模式和结点正则表达式的定义 ;语法描述上 ,为 XPath扩充了数据类型 N Regex Type和结点序列模式匹配函数 match;执行机制上 ,定义了一个用于分析结点序列模式匹配过程的形式化自动机 .

关键词：结点序列模式正则表达式模式匹配函数自动机 XPath

来源：评论

学校读者我要写书评

暂无评论

基于小波变换的图像编码中λ迭代比特分配算法的改进(英文)

引用

软件学报 2001年第5期12卷 645-649页

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

基于小波图像编码的金字塔式小波分解后各子带系数的统计特性 ,提出一种改进的 λ迭代比特分配算法 ,该算法使用 λ序列的概念简化了传统 λ迭代法的最优值求解过程 .实验证明该改进算法在限定压缩比的小波图像编码中能够大大加快比特... 详细信息

基于小波图像编码的金字塔式小波分解后各子带系数的统计特性 ,提出一种改进的 λ迭代比特分配算法 ,该算法使用 λ序列的概念简化了传统 λ迭代法的最优值求解过程 .实验证明该改进算法在限定压缩比的小波图像编码中能够大大加快比特分配算法的收敛速度 .

关键词：图像编码比特分配策略目标函数 λ迭代算法小波变换

来源：评论

学校读者我要写书评

暂无评论

自动验证并发实时系统的线性时段性质

引用

计算机研究与发展 2001年第9期38卷 1097-1104页

作者：许何赵建华李宣东郑国梁南京大学软件新技术国家重点实验室南京210093 南京计算机科学与技术系南京210093

介绍了一个就线性时段特性验证实时系统正确性的工具的设计思想以及相关算法 .使用时间自动机作为实时系统的描述模型 .同时 ,为了便于描述并发实时系统 ,使用带共享变量和通道的时间自动机网作为模型描述并发实时系统 .在检验时间自动... 详细信息

介绍了一个就线性时段特性验证实时系统正确性的工具的设计思想以及相关算法 .使用时间自动机作为实时系统的描述模型 .同时 ,为了便于描述并发实时系统 ,使用带共享变量和通道的时间自动机网作为模型描述并发实时系统 .在检验时间自动机网时 ,用户可以使用工具提供的合成程序将其合并为一个时间自动机然后进行检验 .由于时间自动机的状态空间是无穷的 ,通过引入整数状态和状态等价关系的概念 ,将整个状态空间划分为有限的状态等价类空间 .模型检验过程只需要通过对等价类空间的搜索就可以完成 .但往往等价类空间的规模很大 ,超出了现在计算机的处理能力 ,原始搜索算法仅仅在理论上是可行的 .为了增强工具的使用性 ,工具中使用的算法运用了一些优化技术来避免对等价类空间的穷尽搜索 ,使得工具在使用时具有比较好的时间和空间效率 .

关键词：形式化方法时间自动化自动验证并发实时系统线性时段性质

来源：评论

学校读者我要写书评

暂无评论

Web信息检索研究进展

引用

计算机研究与发展 2001年第2期38卷 187-193页

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

Web上大量、分布、动态的信息造成了“信息过载”,如何在传统信息检索技术的基础上开展针对 Web的检索工作已经成为一项重要的研究课题 .但是 ,繁多的 Web信息检索系统和各种模糊的概念给用户的选择和研究人员的讨论带来了不便 .同时 ,... 详细信息

Web上大量、分布、动态的信息造成了“信息过载”,如何在传统信息检索技术的基础上开展针对 Web的检索工作已经成为一项重要的研究课题 .但是 ,繁多的 Web信息检索系统和各种模糊的概念给用户的选择和研究人员的讨论带来了不便 .同时 ,有关 Web信息检索最新技术的比较完整的分析又十分缺乏 .在此 ,对 Web信息检索技术进行了综述 ,从 Web信息检索系统的层次化分类 (搜索引擎与目录、元搜索引擎、信息检索 agent)、一般机制和关键新技术 (基于超链的相关度排序、检索结果的联机聚类、基于概念的检索、相关度反馈 )等方面加以阐述。

关键词： WeB 信息检索搜索引擎元搜索引擎 Internet 目

来源：评论

学校读者我要写书评

暂无评论

Internet视频流中的自适应拥塞控制技术研究

引用

计算机学报 2001年第8期24卷 796-801页

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

在当前 Internet的尽力而为服务模式下 ,网络拥塞和分组丢失不可避免 ,视频流应用必须使用有效的拥塞控制和差错控制机制来改善性能 .文中给出一个自适应拥塞控制与 RS编码差错修复机制相结合的端到端单播视频流体系结构 .所设计的自适... 详细信息

在当前 Internet的尽力而为服务模式下 ,网络拥塞和分组丢失不可避免 ,视频流应用必须使用有效的拥塞控制和差错控制机制来改善性能 .文中给出一个自适应拥塞控制与 RS编码差错修复机制相结合的端到端单播视频流体系结构 .所设计的自适应视频流协议 AVSP以一个参数可调的加权移动平均速率调整策略为核心实现拥塞控制 ,并使用 Gilbert模型进行分组丢失率估计用于决策 .仿真结果表明 ,AVSP具有对网络可用带宽波动的自适应能力和 Internet共享环境下的 TCP友好性 .

关键词： Internet 视频流自适应拥塞控制数据传输

来源：评论

学校读者我要写书评

暂无评论

基于CORBA的分布式访问控制

引用

小型微型计算机系统 2001年第11期22卷 1359-1363页

作者：谭文芳胡南军陈贵海南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

随着网络应用的发展 ,应用对安全管理的需求逐步提高 .由于安全管理最终目的是实现对资源的安全使用 ,访问控制成为安全协议中的核心问题 .目前基于角色的访问控制 (RBAC)正在因为适应于广大的商业和政府应用的需要而逐渐为人们所重视 ... 详细信息

随着网络应用的发展 ,应用对安全管理的需求逐步提高 .由于安全管理最终目的是实现对资源的安全使用 ,访问控制成为安全协议中的核心问题 .目前基于角色的访问控制 (RBAC)正在因为适应于广大的商业和政府应用的需要而逐渐为人们所重视 .另一方面 ,由于异构环境的存在和异构环境下实现互操作的需求 ,CORBA凭其广泛的支持力而成为中间件规范的公认标准 .本文基于〔6〕的分析之上 ,描述 CORBA对 RBAC的方便支持 ,但是现有的 CORBA中对角色的管理有诸多不足 ,对此本文提出基于 CORBA的 RBAC实现中角色的动态管理机制 ,给出了管理框架描述 ,从而使

关键词： CORBA 分布式访问控制角色管理网络安全计算机网络

来源：评论

学校读者我要写书评

暂无评论

从用例模型到基于使用测试模型的转化

引用

计算机科学 2001年第2期28卷 30-34,51页

作者：凌辉李茜许晓春徐永森徐家福南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

1 引言需求分析和系统测试是软件开发过程中非常重要的两个方面.系统测试包括功能测试和非功能测试,功能测试的主要目的是通过测试判断系统是否正确实现了功能需求,非功能测试中最主要的是可靠性测试即该系统的使用是否可靠.系统测试需... 详细信息

1 引言需求分析和系统测试是软件开发过程中非常重要的两个方面.系统测试包括功能测试和非功能测试,功能测试的主要目的是通过测试判断系统是否正确实现了功能需求,非功能测试中最主要的是可靠性测试即该系统的使用是否可靠.系统测试需要使用需求分析得到的相关信息,两者关系比较紧密.如何将两者集成起来是本文主要讨论的问题.

关键词：用例模型使用测试模型软件开发软件需求分析

来源：评论

学校读者我要写书评

暂无评论

一组基于三级度量模型的面向对象度量准则

引用

计算机科学 2001年第2期28卷 25-29,43页

作者：李茜凌辉许晓春徐永森徐家福南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

1 引言软件是信息技术的核心,软件的质量则是人们最关心的因素.软件度量作为刻画、评估和预示软件质量的一个必要和重要的方面,在70年代就开始被研究作者所关注.从传统的结构化设计到面向对象理论的产生,一方面不断出现新的软件度量指标... 详细信息

1 引言软件是信息技术的核心,软件的质量则是人们最关心的因素.软件度量作为刻画、评估和预示软件质量的一个必要和重要的方面,在70年代就开始被研究作者所关注.从传统的结构化设计到面向对象理论的产生,一方面不断出现新的软件度量指标,如著名的C&k度量体系,MOOD度量体系;另一方面,对度量指标本身的评价也提出了相应的理论,包括应满足的性质、形式化评估软件度量性质的准则等.随着面向对象技术的广泛应用,传统的度量不再适用于面向对象的某些概念,如类、继承、封装和消息传递,需要有新的度量方法学、度量指标,以更好地刻画、评估和预示面向对象系统的质量.

关键词：面向对象软件度量准则三级度量模型软件工程软件开发

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：