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

计算机应用研究 2000年第9期17卷 40-42页

作者：闵峰张福炎南京大学计算机软件新技术国家重点实验室江苏南京210093

Ｚ３９．５０是网络信息检索的标准协议，目前主要应用于联机书目检索领域。在对基于Ｚ３９．５０的联机书目检索的相关问题进行讨论的基础上，分析了目前面临的问题，提出了一个应用查询路由技术的Ｚ３９．５０服务器设计方案，并讨论... 详细信息

Ｚ３９．５０是网络信息检索的标准协议，目前主要应用于联机书目检索领域。在对基于Ｚ３９．５０的联机书目检索的相关问题进行讨论的基础上，分析了目前面临的问题，提出了一个应用查询路由技术的Ｚ３９．５０服务器设计方案，并讨论了ＭＡＲＣ索引的组织，系统的分布式结构，质心信息的提取等关键技术。

关键词： Z39.50 查询路由服务器信息检索 WWW

来源：评论

学校读者我要写书评

暂无评论

一种层次式面向对象需求模型的设计

引用

南京大学学报（自然科学版） 2000年第2期36卷 148-154页

作者：陶先平张建莹南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所江苏南京210093

在总结了面向对象需求分析代表性工作的基础上,提出一种新的层次式面向对象需求分析模型,在该模型中较严格地定义了层次间的精化/抽象关系,使得系统需求模型具有较好的层次结构,呈现为多版本并存的多根树,从而提高了需求模型的易理解性... 详细信息

在总结了面向对象需求分析代表性工作的基础上,提出一种新的层次式面向对象需求分析模型,在该模型中较严格地定义了层次间的精化/抽象关系,使得系统需求模型具有较好的层次结构,呈现为多版本并存的多根树,从而提高了需求模型的易理解性,易维护性和可靠性.并有利于系统的自动开发.

关键词：面向对象方法需求模型精化抽象

来源：评论

学校读者我要写书评

暂无评论

软件Agent的分析与建模方法

引用

南京大学学报（自然科学版） 2000年第2期36卷 155-162页

作者：樊晓聪徐殿祥侯建民郑国梁南京大学计算机软件新技术国家重点实验室南京大学计算机科学技术系江苏南京210093

为保证Agent软件系统的质量 ,提高系统的可靠性、正确性、可维护性和可扩展性 ,需要为Agent软件系统提供设计方法学的支持 .以处于分布、开放环境的信息Agent为研究对象 ,以同一应用域分析结果的复用为前提 ,提出了一种面向Agent的分析... 详细信息

为保证Agent软件系统的质量 ,提高系统的可靠性、正确性、可维护性和可扩展性 ,需要为Agent软件系统提供设计方法学的支持 .以处于分布、开放环境的信息Agent为研究对象 ,以同一应用域分析结果的复用为前提 ,提出了一种面向Agent的分析方法ARC ,阐明了在设计Agent软件系统时采用对象级构件。

关键词：软件Agent 可靠性可维护性建模 Agent系统

来源：评论

学校读者我要写书评

暂无评论

一种在静态类型面向对象语言中构造VFCG的方法

引用

南京大学学报（自然科学版） 2000年第2期36卷 163-170页

作者：李必信王云峰李宣东郑国梁南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系江苏南京210093

阐述了在静态类型面向对象语言中构造虚函数调用图 (VFCG)的方法 :先构造可见方法类层次图 (VM CHG) ,再计算继承集、改写集 ,确定改写边界 ,最后利用VM CHG和改写边界构造VFCG .

关键词：继承集改写集 VFCG 静态类型面向对象语言

来源：评论

学校读者我要写书评

暂无评论

一种精化演算支撑工具的分析与设计

引用

南京大学学报（自然科学版） 2000年第5期36卷 560-567页

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

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

利用精化演算的方法开发软件 ,其过程由巨大数量的小步骤构成 ,由手工完成极其烦琐 ,也极容易出错 ,因此利用机器辅助工具的支持是必要的 .在分析现有的精化工具的基础上 ,提出了一个用于软件形式化开发的的精化工具 (RT) ,并对其进行了需求分析和功能分析 .在精化工具的设计中 ,讨论了作为定理证明器和精化引擎基础的窗口推理系统和用于程序精化推理的程序窗口推理系统 ,同时分析了设计中的设计目标 ,总体结构 ,精化与证明的表示方法 ,用户界面和工具的扩充性等问题 .对于工具的理论基础做了较为详细的分析。

关键词：形式方法精化演算精化工具软件工程

来源：评论

学校读者我要写书评

暂无评论

一种基于层次模型的面向对象类型分析框架

引用

南京大学学报（自然科学版） 2000年第5期36卷 552-559页

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

建立了一种用于静态类型面向对象程序的类型分析框架 .该框架集成了目前最为实用的 4种类型分析方法 ,即唯一名分析、类层次分析、快速类型分析以及指针别名分析 .首先在这 4种方法的基础上提出了类型分析的层次模型 ,然后以此模型为核... 详细信息

建立了一种用于静态类型面向对象程序的类型分析框架 .该框架集成了目前最为实用的 4种类型分析方法 ,即唯一名分析、类层次分析、快速类型分析以及指针别名分析 .首先在这 4种方法的基础上提出了类型分析的层次模型 ,然后以此模型为核心 ,结合程序预处理器和信息加工器等建立了一种类型分析框架 .该框架适合分析静态类型的面向对象程序 ,如C

关键词：类层次分析面向对象框架程序语言

来源：评论

学校读者我要写书评

暂无评论

意向驱动的AOP语言AOPLID

引用

南京大学学报（自然科学版） 2000年第5期36卷 545-551页

作者：骆斌陈武华张东摩陈世福南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系江苏南京210093

描述一种基于情境演算的、意向驱动的AOP语言———AOPLID ,并给出AOPLID对追杀问题的程序设计实例 .该语言克服了GOLOG的缺点。

关键词： Agent AOP 情境演算 GOLOG

来源：评论

学校读者我要写书评

暂无评论

IPv6对移动性的支持

引用

计算机应用研究 2000年第11期17卷 40-43页

作者：项晓晶王建颖金志权南京大学计算机软件新技术国家重点实验室计算机科学与技术系江苏南京210093

对移动性的支持是IPv6的主要新特性之一。首先介绍了移动IPv6技术，然后对IPv4和IPv6进行了详细比较，最后对目前尚未解决的问题进行了分析。

关键词：移动性归宿代理隧道 IPv6协议

来源：评论

学校读者我要写书评

暂无评论

JAPS中通信支撑策略的比较

引用

计算机应用研究 2000年第9期17卷 6-9页

作者：李晓明陈道蓄谢立南京大学计算机软件新技术国家重点实验室计算机科学与技术系江苏南京210093

在分布式并行计算系统中，任务运行时支撑平台的功能和效率对并行执行的效果有着重要的影响。Ｊａｖａ语言中的线程机制和ＲＭＩ机制为ＮＯＷ环境下的分布并行应用提供了高效的支持［１］。在基于Ｊａｖａ的自动并行编译系统ＪＡＰＳ［... 详细信息

在分布式并行计算系统中，任务运行时支撑平台的功能和效率对并行执行的效果有着重要的影响。Ｊａｖａ语言中的线程机制和ＲＭＩ机制为ＮＯＷ环境下的分布并行应用提供了高效的支持［１］。在基于Ｊａｖａ的自动并行编译系统ＪＡＰＳ［２］中，设计和实现了分别基于Ｊａｖａ　ＲＭＩ和Ｓｏｃｋｅｔ通信支撑策略的并行任务支撑平台ＰＴＳＰ，并比较了这两种通信策略对在ＮＯＷ环境下的分布式并行计算的支持能力和系统效率。

关键词： JAPS 通信支撑策略自动并行编译

来源：评论

学校读者我要写书评

暂无评论

基于DOM的XML文档支持系统

引用

南京大学学报（自然科学版） 2000年第5期36卷 568-573页

作者：李景春王强武港山潘金贵张福炎南京大学多媒体计算机研究所南京大学软件新技术国家重点实验室江苏南京210093

作为SGML的子集 ,元标记语言XML及其相关技术正得到越来越广泛的应用 .文档对象模型 (DOM )是一种平台无关、语言无关的标准接口 ,是XML、HTML文档互操作的基础 .首先论述了XML的应用前景和应用现状 ,然后提出了基于DOM的XML文档支持系... 详细信息

作为SGML的子集 ,元标记语言XML及其相关技术正得到越来越广泛的应用 .文档对象模型 (DOM )是一种平台无关、语言无关的标准接口 ,是XML、HTML文档互操作的基础 .首先论述了XML的应用前景和应用现状 ,然后提出了基于DOM的XML文档支持系统 ,系统为用户提供一套组件 ,用来完成XML文档的生成、表现、文档转换等工作 .系统同时提供DOM 1.

关键词：文档对象模型文档类型定义 Web 标记语言

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：