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

计算机研究与发展 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 分布式访问控制角色管理网络安全计算机网络

来源：评论

学校读者我要写书评

暂无评论

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年第2期28卷 30-34,51页

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

数据线性划分模式下改进的循环分割算法

引用

计算机科学 2001年第6期28卷 37-40页

作者：胡南军谭文芳陈道蓄谢立南京大学计算机科学与技术系计算机软件新技术国家重点实验室

1. 概述与共享存储结构相比,分布式存储结构在性价比和可扩展性上有明显的优势,但它缺乏全局的存储空间,存储器间只能通过消息传统的方式进行通讯,因此等程序员在编写程序时需要考虑如何分布计算和相应的数据,以便尽可能提高分布式程序... 详细信息

1. 概述与共享存储结构相比,分布式存储结构在性价比和可扩展性上有明显的优势,但它缺乏全局的存储空间,存储器间只能通过消息传统的方式进行通讯,因此等程序员在编写程序时需要考虑如何分布计算和相应的数据,以便尽可能提高分布式程序的并行性同时尽可能减少处理器间的通讯量.这一工作加大了程序员的负担和算法的复杂度.解决这个问题的一个方案就是借助源程序到源程序的并行编译软件的帮助,对串行程序进行并行化分析,自动地对计算和数据进行分布.

关键词：循环分割算法数据线性划分模式计算机

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种基于稳定簇的混合路由协议CBHRP

引用

计算机学报 2001年第12期24卷 1262-1271页

作者：臧婉瑜于勐谢立计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

移动自组网是一种没有有线基础结构支持的移动网络 ,具有带宽有限和拓扑结构易变的特点 .这些特点使得设计一个合适的路由协议具有一定的挑战性 .该文针对移动自组网提出了一种基于稳定簇结构、按需路由和预先路由混合、支持单播和组播... 详细信息

移动自组网是一种没有有线基础结构支持的移动网络 ,具有带宽有限和拓扑结构易变的特点 .这些特点使得设计一个合适的路由协议具有一定的挑战性 .该文针对移动自组网提出了一种基于稳定簇结构、按需路由和预先路由混合、支持单播和组播通信的路由协议 ***具有路由控制开销小、主机移动对拓扑结构改变的影响小、通信的初始延迟低和应用范围广的特点 .

关键词：移动自组网混合路由协议 CBHRP 通信协议计算机网络

来源：评论

学校读者我要写书评

暂无评论

面向对象程序可视化过程中的一种布局算法

引用

计算机科学 2001年第2期28卷 40-43页

作者：钱宇李必信郑国梁计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

1 引言随着面向对象技术的广泛应用,对面向对象程序的理解也变得日益重要,理解方法之一就是软件可视化,通过对软件所有方面的属性及行为进行图形化显示,包括:设计和分析方法、系统、程序和算法,使软件理解更直观准确.和软件可视化相近... 详细信息

1 引言随着面向对象技术的广泛应用,对面向对象程序的理解也变得日益重要,理解方法之一就是软件可视化,通过对软件所有方面的属性及行为进行图形化显示,包括:设计和分析方法、系统、程序和算法,使软件理解更直观准确.和软件可视化相近的另一个概念是程序可视化,在八十年代后期提出时其意义和软件可视化相同,现在认为是软件可视化中的一个部分,其目的是帮助理解、排错,进行程序性能分析[3],程序可视化意味着更多地考虑具体的程序执行和其数据而不是算法的可视化.从图1可看出软件可视化的分类.

关键词：面向对象程序可视化布局算法软件工程

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：