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

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

作者：陈毅松萧嵘孙正兴张福炎南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室江苏南京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 视频流自适应拥塞控制数据传输

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于CORBA的分布式访问控制

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种分类挖掘算法及其应用

引用

南京大学学报（自然科学版） 2001年第2期37卷 142-147页

作者：赵志宏骆斌林海南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

提出一种增量式混合型分类挖掘算法 ,将基于概率论的符号学习与神经网络学习相结合 ,能够对既包含离散属性又包含连续属性的多个概念进行有效的分类处理 ,且具有较强的增量挖掘能力 .该算法在法院决策支持系统中得到了运用 ,取得了较好... 详细信息

提出一种增量式混合型分类挖掘算法 ,将基于概率论的符号学习与神经网络学习相结合 ,能够对既包含离散属性又包含连续属性的多个概念进行有效的分类处理 ,且具有较强的增量挖掘能力 .该算法在法院决策支持系统中得到了运用 ,取得了较好的效果 .

关键词：数据挖掘符号学习人工神经网络分类挖掘算法增量挖掘能力数据库

来源：评论

学校读者我要写书评

暂无评论

AODE中基于强化学习的Agent协商模型

引用

南京大学学报（自然科学版） 2001年第2期37卷 135-141页

作者：王立春高阳陈世福南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

AODE是我们研制的一个面向Agent的智能系统开发环境 .AODE中基于强化学习的Agent协商模型采用Markov决策过程和连续决策过程分别描述系统状态变化和特定系统状态的Agent协商过程 ,并将强化学习技术应用于Agent协商过程 .该协商模型能够... 详细信息

AODE是我们研制的一个面向Agent的智能系统开发环境 .AODE中基于强化学习的Agent协商模型采用Markov决策过程和连续决策过程分别描述系统状态变化和特定系统状态的Agent协商过程 ,并将强化学习技术应用于Agent协商过程 .该协商模型能够描述动态环境下的多Agent协商 ,模型中所有Agent都采用元对策Q 学习算法时 ,系统能获得动态协商环境下的最优协商解 .

关键词：多Agnet系统强化学习 Agent协商模型 AODE 智能系统开发环境协商策略

来源：评论

学校读者我要写书评

暂无评论

基于内容的图象检索中的语义处理方法

引用

中国图象图形学报（A辑） 2001年第10期6卷 945-952页

作者：王惠锋孙正兴南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

基于内容的图象检索系统 ,其目标是最大限度地减小图象简单视觉特征与用户检索丰富语义之间的“语义鸿沟”,因此图象语义处理则成为基于内容的图象检索进一步发展的关键 .为了使人们对基于内容的图象检索中的语义处理方法有个概略了解 ... 详细信息

基于内容的图象检索系统 ,其目标是最大限度地减小图象简单视觉特征与用户检索丰富语义之间的“语义鸿沟”,因此图象语义处理则成为基于内容的图象检索进一步发展的关键 .为了使人们对基于内容的图象检索中的语义处理方法有个概略了解 ,首先从图象语义模型和图象语义提取方法这两个方面对利用语义进行图象检索的研究状况进行了总结 ,并将图象语义模型概括为图象语义知识、图象语义层次模型和语义抽取模型等 3个主要组成部分 ;然后将图象语义提取方法分为用户交互、将查询请求作为语义模板、对象及其空间关系、场景和行为语义及情感语义等类别 ,同时对其中有代表性的方法进行了详细的分析 ,还指出了其局限性 ;最后从对象建模和识别、语义抽取规则和用户检索模型 3个方面 ,阐明了实现图象语义处理所面临的问题 ,并提出了一些初步的解决思路 .

关键词：图象语义语义模型知识表示图象检索计算机视觉语义提取数字图象处理

来源：评论

学校读者我要写书评

暂无评论

工程图纸矢量化软件VHVector用户接口的设计与实现

引用

计算机学报 2001年第9期24卷 930-937页

作者：苏丰宋继强陈冀兵蔡士杰南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

用户接口的设计是保证应用软件成功的重要一环 .该文详细介绍了在工程图矢量化软件 VHVector用户接口的设计与实现过程中 ,为提高系统的易用性和高效性所采取的多种措施 .针对工程图纸的特点和矢量化工作对效率和精度的要求 ,在给出高... 详细信息

用户接口的设计是保证应用软件成功的重要一环 .该文详细介绍了在工程图矢量化软件 VHVector用户接口的设计与实现过程中 ,为提高系统的易用性和高效性所采取的多种措施 .针对工程图纸的特点和矢量化工作对效率和精度的要求 ,在给出高效的基于种子段的线条网矢量化算法的同时 ,提出了指点式交互矢量化、划线式字串重组、快速线条修改等交互方式 ,同时运用联想式符号识别、规范化识别等交互矢量化手段 ,提高了系统的可用性 .该文还提出了线条、符号、文字三阶段识别的工作顺序。

关键词：软件设计工程图纸矢量化软件用户接口 VHVector

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：