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

类型系统是近年来理论计算机科学的研究热点之一 .1999年周晓聪曾在文献 [1]中提出并研究了类型系统λω× ≤ 及其性质 .类型系统λω× ≤ 是λω×的扩充 ,引入了子类型关系和受限的全称类型 .与 System F的各种扩充相比 ,它区分各种上下文 ,使得规则和性质的研究更为清晰 .研究该类型系统的 PER模型作为其语义解释。

关键词：类型系统子类型关系 PER模型面向对象

来源：评论

学校读者我要写书评

暂无评论

扩充析取逻辑程序的争论语义(英文)

引用

软件学报 2000年第3期11卷 293-299页

作者：王克文周立柱陈火旺清华大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室南京210093 国防科学技术大学计算机学院

该文探讨争论推理在扩充逻辑程序中的实现及其关系问题 .基于“相干原理”,建立了扩充逻辑程序的争论推理框架 ,多种争论推理形式都可以嵌入其中 .特别是提出了一种谨慎语义 Acc.同时又定义了良基语义的一种合理扩充 Mod,以处理较为大... 详细信息

该文探讨争论推理在扩充逻辑程序中的实现及其关系问题 .基于“相干原理”,建立了扩充逻辑程序的争论推理框架 ,多种争论推理形式都可以嵌入其中 .特别是提出了一种谨慎语义 Acc.同时又定义了良基语义的一种合理扩充 Mod,以处理较为大胆的推理形式 .另外也研究了相关的理论性质 .

关键词：析取逻辑程序明显否定争论推理语义

来源：评论

学校读者我要写书评

暂无评论

CIMS环境下基于面向对象技术的信息集成研究

引用

计算机科学 2000年第2期27卷 52-56,72页

作者：李必信高同启王武荣郑国梁南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093 合肥经济技术学院合肥230051

1 概述信息技术既给企业带来了严酷的市场竞争和挑战,也为企业带来了新的机遇。信息技术和现代化管理技术的结合可以为企业提供如下的生产模式、管理技术和设计、制造技术:①物料资源规划(MRP)、制造资源规划(MRP-Ⅱ)和企业资源规划(ERP... 详细信息

1 概述信息技术既给企业带来了严酷的市场竞争和挑战,也为企业带来了新的机遇。信息技术和现代化管理技术的结合可以为企业提供如下的生产模式、管理技术和设计、制造技术:①物料资源规划(MRP)、制造资源规划(MRP-Ⅱ)和企业资源规划(ERP)。这是西方制造业管理技术的精华。借助产品和部件的构成数据、工艺数据和设备状况数据,将市场对产品的需求转变为对加工过程和外购原材料、零部件的需求,这样。

关键词： CIMS 面向对象信息集成 PDM系统

来源：评论

学校读者我要写书评

暂无评论

并发面向对象模型中继承异常的一种解决方案

引用

计算机科学 2000年第3期27卷 51-54页

作者：徐梦峤陈家骏郑国梁南京大学软件新技术国家重点实验室计算机科学与技术系南京210093

1 引言继承机制是面向对象软件开发中的重要设施,是实现软件复用和扩充的一种有效的语言机制,它是顺序面向对象语言的一个基本特点。但是,在将面向对象技术与并发相结合的过程中,对并发控制机制处理不当,将会引起继承机制与并发控制间... 详细信息

1 引言继承机制是面向对象软件开发中的重要设施,是实现软件复用和扩充的一种有效的语言机制,它是顺序面向对象语言的一个基本特点。但是,在将面向对象技术与并发相结合的过程中,对并发控制机制处理不当,将会引起继承机制与并发控制间的冲突问题。这种冲突主要表现在:定义子类时需要修改(重定义)父类中的所有代码才能实现自身的并发控制,从而使得子类无法继承父类的代码,产生继承异常现象、继承异常的出现将进一步破坏面向对象技术的两大优点,即:继承和封装。所以,如何有效地避免继承异常或将继承异常的产生降低到最小的程度是并发面向对象模型所要研究的一个重要问题。

关键词：继承异常面向对象软件开发继承机制

来源：评论

学校读者我要写书评

暂无评论

支持向量机理论综述

引用

计算机科学 2000年第3期27卷 1-3页

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

1 引言随着信息技术的发展,人类积累的数据量呈几何级数递增。如何从这些数据中发掘出有效的信息而不被信息海洋所淹没已经成为迫在眉睫的问题。对数据挖掘相关领域的研究,例如数据分类、聚类,函数模拟和规则抽取等技术,逐渐成为当前计... 详细信息

1 引言随着信息技术的发展,人类积累的数据量呈几何级数递增。如何从这些数据中发掘出有效的信息而不被信息海洋所淹没已经成为迫在眉睫的问题。对数据挖掘相关领域的研究,例如数据分类、聚类,函数模拟和规则抽取等技术,逐渐成为当前计算机基础技术研究的重心之一。支持向量机(Support Vector Machine,SVM)方法作为一种解决多维函数预测的通用工具,

关键词：支持向量机理论模式识别三维对象识别计算机

来源：评论

学校读者我要写书评

暂无评论

面向置标文档的文档转换技术研究

引用

中文信息学报 2000年第4期14卷 53-58,64页

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

文档系统间的转换是文档内容共享和协作的必然途径 ,转换根据不同应用目的包括失真 ,不失真和增值三种方式。置标文档是用标签 (Tag)进行文档结构描述的文档。本文介绍了一种面向置标文档的文档转换增值技术 ,给出了一种文档转换描述语... 详细信息

文档系统间的转换是文档内容共享和协作的必然途径 ,转换根据不同应用目的包括失真 ,不失真和增值三种方式。置标文档是用标签 (Tag)进行文档结构描述的文档。本文介绍了一种面向置标文档的文档转换增值技术 ,给出了一种文档转换描述语言 ,用户可以利用它来定义转换信息从而实现文档间复杂的转换。

关键词：失真置标文档文档转换技术文档转换描述语言

来源：评论

学校读者我要写书评

暂无评论

帧中继网络环境下的安全性服务的设计和实现

引用

计算机应用研究 2000年第9期17卷 48-49,90页

作者：陈昕鑫干国华杨培根南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

就目前存在于网络通信中的安全威胁，讨论了如何在面向连接的帧中继网络环境中实现可靠的双方通信，并给出了一个建立安全ＳＶＣ的实现细节。

关键词：帧中继网络安全性服务网络通信 Internet网

来源：评论

学校读者我要写书评

暂无评论

软件Agent的分析与建模方法

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

组播技术在实时视频传输系统中的应用及其实现

引用

计算机科学 2000年第11期27卷 20-24页

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

1.引言实时的视频数据传输具有数据量大、网络带宽要求高、延时敏感的特点。现有的网络一般不能够提供对渚如最小带宽、最大延时和丢包率等实时视频传输的至关重要的参数支持;不提供带宽预留这一实现稳定、优质视频服务的重要机制。所... 详细信息

1.引言实时的视频数据传输具有数据量大、网络带宽要求高、延时敏感的特点。现有的网络一般不能够提供对渚如最小带宽、最大延时和丢包率等实时视频传输的至关重要的参数支持;不提供带宽预留这一实现稳定、优质视频服务的重要机制。所有这些不利因素,使得在当前网络上实时视频传输系统的设计和实现总是面临着众多棘手的问题。这些问题主要包括:①服务提供方的负载能力极大地受限于传输方式;②数据流量的失控;③QoS控制的困难。

关键词：实时视频传输系统组播多媒体局域网

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：