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

小型微型计算机系统 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 目

来源：评论

学校读者我要写书评

暂无评论

一种系统依赖图的面向对象扩充方案

引用

软件学报 2001年第2期12卷 241-248页

作者：李必信李宣东郑国梁南京大学计算机软件新技术国家重点实验室

提出一种对传统的系统依赖图进行面向对象扩充的方案 .把传统的系统依赖图和类依赖子图、类层次子图相结合 ,从而构成了适合描述面向对象程序的面向对象系统依赖图 .详细说明了对系统依赖图进行面向对象语法、语义扩充的过程 ,同时给出... 详细信息

提出一种对传统的系统依赖图进行面向对象扩充的方案 .把传统的系统依赖图和类依赖子图、类层次子图相结合 ,从而构成了适合描述面向对象程序的面向对象系统依赖图 .详细说明了对系统依赖图进行面向对象语法、语义扩充的过程 ,同时给出了构造面向对象系统依赖图的一般算法以及应用分析 .

关键词：系统依赖图构造算法程序分析程序切片面向对象

来源：评论

学校读者我要写书评

暂无评论

移动Agent技术在电子商务上的应用初探

引用

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

作者：陶先平吕建李新张冠群张建莹南京大学计算机软件新技术国家重点实验室

分析和比较了Web技术和移动Agent技术在电子商务上应用的优缺点 ,介绍了对移动Agent技术及基于移动Agent技术的电子商务进行的研究和尝试 :移动Agent环境Mogent系统及在Mogent基础上的一个电子商务模型emarket .Mogent系统在结构化迁移... 详细信息

分析和比较了Web技术和移动Agent技术在电子商务上应用的优缺点 ,介绍了对移动Agent技术及基于移动Agent技术的电子商务进行的研究和尝试 :移动Agent环境Mogent系统及在Mogent基础上的一个电子商务模型emarket .Mogent系统在结构化迁移机制、分层多模式的通信框架以及完善的安全体系结构上具有鲜明的特点 ,在其上进行的emarket模型是一个开放式的电子商务系统模型 ,可看出移动agent技术为电子商务应用提供了一种非常灵活和有效的基础架构 ,并且在主动信息发布、信息的检索和获取、交易的磋商和谈判、磋商的安全保证等方面给出了有效的支持 .该模型充分展示了移动agent技术用于电子商务系统构建时的开放性、灵活性和网络适应性等优势 .

关键词： Web技术电子商务移动Agent Mogent e_market模型信息发布交易磋商

来源：评论

学校读者我要写书评

暂无评论

基于简化系统依赖图的静态粗粒度切片方法

引用

软件学报 2001年第2期12卷 204-211页

作者：李必信王云峰张勇翔郑国梁南京大学计算机软件新技术国家重点实验室

基于系统依赖图是计算面向对象程序切片的一个有效方法 .但是 ,系统依赖图的缺点是太复杂 ,而且在建立系统依赖图的过程中容易出错 ,一旦出现错误就可能导致切片结果的不准确 .通过对系统依赖图进行简化 ,得到了简化的系统依赖图 .它省... 详细信息

基于系统依赖图是计算面向对象程序切片的一个有效方法 .但是 ,系统依赖图的缺点是太复杂 ,而且在建立系统依赖图的过程中容易出错 ,一旦出现错误就可能导致切片结果的不准确 .通过对系统依赖图进行简化 ,得到了简化的系统依赖图 .它省略了那些表示输入参数和输出参数的结点和概括边 .同时 ,还定义了一种面向对象程序的粗粒度切片概念 ,讨论了它的性质 ,分析了它与细粒度切片的关系 ,并基于简化的系统依赖图计算面向对象程序的粗粒度切片 .最后还讨论了切片技术的简单实现 .

关键词：系统依赖图简化系统依赖图粗粒度切片面向对象程序切片

来源：评论

学校读者我要写书评

暂无评论

一种基于切片技术度量Java耦合性的框架

引用

计算机学报 2001年第3期24卷 259-265页

作者：李必信杨朝晖谭毅朱平李宣东郑国梁南京大学计算机软件新技术国家重点实验室

在研究面向对象的度量问题时 ,人们通过简单的统计方法和基于信息流的方法来度量其中的一些特征 ,例如基本度量、CK度量和 Ao Ki度量等 .文中采用一种基于程序切片的方法来度量 Java的耦合性问题 ,通过对 Java源程序中存在的耦合关系的... 详细信息

在研究面向对象的度量问题时 ,人们通过简单的统计方法和基于信息流的方法来度量其中的一些特征 ,例如基本度量、CK度量和 Ao Ki度量等 .文中采用一种基于程序切片的方法来度量 Java的耦合性问题 ,通过对 Java源程序中存在的耦合关系的度量。

关键词：面向对象程序切片 Java语言耦合性程序设计方法

来源：评论

学校读者我要写书评

暂无评论

一个个性化的信息搜集Agent的设计与实现

引用

软件学报 2001年第7期12卷 1074-1079页

作者：潘金贵胡学联李俊张灵玲南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学多媒体计算技术研究所江苏南京210093

介绍了一个个性化的信息搜集Agent系统———DOLTRI Agent(distanceandopenlearningtrainingre sourceinformationagent)的设计与实现 .DOLTRI Agent系统是一个远程开放式学习 (distanceandopenlearn ing ,简称DOL)的教材信息搜集Agent .它基于多Agent体系结构 ,包含 3个子Agent和其他 3个组件 .该系统具有主动搜集、维护、更新信息的功能 ,同时还具有个性化的特点 ,可不断学习用户知识 ,包括用户感兴趣的信息领域、用户的使用习惯等。

关键词： Agent 信息搜集个性化远程教育 Internet

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

移动Agent系统的迁移机制研究

引用

计算机科学 2001年第9期28卷 69-73,60页

作者：张冠群陶先平李新冯新宇吕建南京大学计算机软件新技术国家重点实验室南京210093

Mobility is inherent in Internet,traditional message passing,RPC,or Remote Evaluation,can not meet more and more various mobility requirements. Mobile Agent implements computation migration,including data,code and control,is a good way to suit Internet. Migration mechanism is the key technology of mobile Agent. We discuss it from the perspective of both system programmer and application programmer and introduce migration mechanisms of some famous Java based mobile Agent *** last,present the structured migration mechanism of self-designed mobile Agent system Mogent.

关键词： Internet 移动Agent系统迁移机制计算机网络

来源：评论

学校读者我要写书评

暂无评论

WWW信息检索综述

引用

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

作者：赵一唯王和珍李振东南京大学计算机软件新技术国家重点实验室南京210093

WWW是目前全球最大的信息系统 ,在WWW上查询信息和文档主要依靠Internet搜索引擎 .现在也出现了许多实用商业搜索引擎站点 ,例如Yahoo !、AltaVista、InfoSeek、Excite、Lycos等 .主要介绍了信息检索系统的结构 (Robot,搜索引擎 ,索引... 详细信息

WWW是目前全球最大的信息系统 ,在WWW上查询信息和文档主要依靠Internet搜索引擎 .现在也出现了许多实用商业搜索引擎站点 ,例如Yahoo !、AltaVista、InfoSeek、Excite、Lycos等 .主要介绍了信息检索系统的结构 (Robot,搜索引擎 ,索引数据库 ,查询服务等 4个部分 ) ,信息检索系统的分类 (检索工具站点和检索服务站点 ) ,信息搜寻的基本原理 ,信息检索模型 (包括经典的布尔模型 ,概率模型和新兴的概念模型等 ) ,其他的检索技术 (例如Push技术 ,MobileAgent技术等 ) ,对WWW信息检索做了比较全面的介绍 .

关键词：信息检索搜索引擎信息检索模式 WWW 索引数据库信息查询布尔模型

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：