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

软件学报 2000年第1期11卷 62-66页

作者：周笑波杜鹏陈贵海陈道蓄谢立南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

作为一种应用系统从位于 Internet上的远程服务结点获取数据和计算性服务并进行集成处理的机制 ,Internet市场受到了广泛重视 .该文给出了一种基于扩展标记语言 (extensible markup language,简称 XML)的Internet市场服务描述方式 .它... 详细信息

作为一种应用系统从位于 Internet上的远程服务结点获取数据和计算性服务并进行集成处理的机制 ,Internet市场受到了广泛重视 .该文给出了一种基于扩展标记语言 (extensible markup language,简称 XML)的Internet市场服务描述方式 .它较好地权衡了市场构架与顾客及服务提供者的观点 .

关键词：扩展标记语言 Internet网 Internet市场

来源：评论

学校读者我要写书评

暂无评论

多线程技术的研究与应用

引用

计算机研究与发展 2000年第4期37卷 407-412页

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

现代主流操作系统已经广泛采用了多线程技术 .首先论述了多线程的基本概念 ,然后着重分析了 3种主要的多线程实现方案 :内核级线程、用户级线程和混合策略 ,然后介绍了多线程技术的应用 .还结合面向对象数据库管理系统 NODBMS的实现 ,... 详细信息

现代主流操作系统已经广泛采用了多线程技术 .首先论述了多线程的基本概念 ,然后着重分析了 3种主要的多线程实现方案 :内核级线程、用户级线程和混合策略 ,然后介绍了多线程技术的应用 .还结合面向对象数据库管理系统 NODBMS的实现 ,介绍了如何应用多线程技术实现多用户事务处理 ,并提出了一个基于多线程技术实现的对象式数据库查询优化算法。

关键词：进程用户级线程内核级线程操作系统多线程

来源：评论

学校读者我要写书评

暂无评论

CONETV2.0网络协议实现环境及TCP协议实现

引用

小型微型计算机系统 2000年第2期21卷 120-123页

作者：王运翔金志权谢立南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

ＣＯＮＥＴＶ２．０是国产微内核操作系统ＣＯＳＩＸＶ２．０上实现的ＴＣＰ／ＩＰ协议簇的网络系统软件，采用了面向对象的多线程网络协议实现环境．这种网络协议为构造和组合网络协议提供了一个精确的体系结构，同时具有各种协议实现... 详细信息

ＣＯＮＥＴＶ２．０是国产微内核操作系统ＣＯＳＩＸＶ２．０上实现的ＴＣＰ／ＩＰ协议簇的网络系统软件，采用了面向对象的多线程网络协议实现环境．这种网络协议为构造和组合网络协议提供了一个精确的体系结构，同时具有各种协议实现支持例程，使得开发的网络协议结构性好、性能高、可扩展．本文简述了ＣＯＮＥＴＶ２．０网络协议实现环境的体系结构及其支持的例程，给出了实现ＴＣＰ协议的总体设计，讨论了实现中的重要细节．

关键词：网络软件 TCP协议 CONETV2.0 网络协议

来源：评论

学校读者我要写书评

暂无评论

基于面向对象的多线程机制的互联网层协议实现

引用

小型微型计算机系统 2000年第2期21卷 116-119页

作者：龙晓晖金志权谢立南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

ＣＯＮＥＴ２．０由于采用了先进的面向对象的多线程机制，因而具有良好的易扩充性和易重构性．本文着重阐述面向对象的多线程机制在互联网层协议的实现，讨论实现中的重要细节．

关键词：互联网层协议面向对象多线程机制 TCP/IP协议

来源：评论

学校读者我要写书评

暂无评论

一种支持NC++语言的多目通信机制(NCMCAST)

引用

小型微型计算机系统 2000年第8期21卷 847-850页

作者：吴迎红胡宁顾庆谢立陈道蓄南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

分布式处理要求分布式系统提供可靠高效的通信手段 .本文在分析了分布式系统对多目通信机制要求的基础上 ,设计并实现了一个支持面向对象的分布式程序设计语言 NC++的多目通信机制 NCMCAST.实验证明 NCM-CAST向 NC++提供了可靠、保序的... 详细信息

分布式处理要求分布式系统提供可靠高效的通信手段 .本文在分析了分布式系统对多目通信机制要求的基础上 ,设计并实现了一个支持面向对象的分布式程序设计语言 NC++的多目通信机制 NCMCAST.实验证明 NCM-CAST向 NC++提供了可靠、保序的多目通信机制 .

关键词： NC++语言多目通信机制程序设计语言面向对象

来源：评论

学校读者我要写书评

暂无评论

Java自动并行编译系统JAPS中表达式分离技术的研究

引用

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

作者：王征方斐陈道蓄谢立南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

一、引言 1.1 自动并行编译的提出并行程序设计基本上有两种途径:显式途径和隐式途径。研究者设计了很多的并行程序设计语言,这就是所谓的“显式途径”。但是,并没有一种并行程序设计语言成为流行的语言,主要的问题在于并行程序的编制困... 详细信息

一、引言 1.1 自动并行编译的提出并行程序设计基本上有两种途径:显式途径和隐式途径。研究者设计了很多的并行程序设计语言,这就是所谓的“显式途径”。但是,并没有一种并行程序设计语言成为流行的语言,主要的问题在于并行程序的编制困难,对程序员的要求高。相比较而言,隐式途径,即自动并行编译技术就有许多的优势。用户使用串行语言编制程序。

关键词： Java语言并行编译系统 JAPS 表达式分离

来源：评论

学校读者我要写书评

暂无评论

多重改进型指数双向联想记忆模型及其在多证据推理中的决策性能

引用

计算机学报 2000年第11期23卷 1184-1188页

作者：陈松灿蔡骏南京航空航天大学计算机科学与工程系南京大学计算机软件新技术国家重点实验室南京210093

提出了多证据推理中采用神经网络来模拟信念组合学习的方法 .网络由多个改进型指数双向联想记忆模型(Ie BAM)构成 ,并且共享一个输出来同时进行多证据不确定性的管理 .文中证明了多重 Ie BAM(Multi- Ie BAM)的稳定性 ,讨论了在多条证据... 详细信息

提出了多证据推理中采用神经网络来模拟信念组合学习的方法 .网络由多个改进型指数双向联想记忆模型(Ie BAM)构成 ,并且共享一个输出来同时进行多证据不确定性的管理 .文中证明了多重 Ie BAM(Multi- Ie BAM)的稳定性 ,讨论了在多条证据同时提交网络后的多数规则 .理论和实验都证明了多数因子比 Wang所提模型更紧凑、更严格 ,从而可保证在受一定程度的干扰下 ,专家们仍能做出正确决策 .最后所给出的模拟例子的结果与直觉推理相吻合 .

关键词：神经网络指数双向联想记忆决策多证据推理

来源：评论

学校读者我要写书评

暂无评论

JAPS中的并行任务支撑平台PTSP

引用

计算机科学 2000年第7期27卷 5-7,81页

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

1 概述在现代计算技术中,分布并行处理越来越成为一种关键性的技术.这种由许多小任务合作解决大问题的方法,在过去几年发挥着越来越重要的作用,从高性能科学计算到日常事务的应用程序,都广泛接受和采纳分布并行处理,这是由于对高性能、... 详细信息

1 概述在现代计算技术中,分布并行处理越来越成为一种关键性的技术.这种由许多小任务合作解决大问题的方法,在过去几年发挥着越来越重要的作用,从高性能科学计算到日常事务的应用程序,都广泛接受和采纳分布并行处理,这是由于对高性能、低代价及强计算能力的需求所导致的,而大规模并行处理机(MPP)

关键词： JAPS PTSP 并行任务支撑平台并行编译

来源：评论

学校读者我要写书评

暂无评论

JAPS中任务调度协议的设计与实现

引用

计算机科学 2000年第12期27卷 16-19,6页

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

1 背景和系统概述在并行编译系统中,主要的目标是分析程序中的依赖关系。通过依赖分析得到的结果将源程序划分成可以并行执行的部分,然后在一定的运行时支撑平台上并行执行。并行执行的基本要求是程序的并行语义和串行语义必须一致。在... 详细信息

1 背景和系统概述在并行编译系统中,主要的目标是分析程序中的依赖关系。通过依赖分析得到的结果将源程序划分成可以并行执行的部分,然后在一定的运行时支撑平台上并行执行。并行执行的基本要求是程序的并行语义和串行语义必须一致。在以NOW基础的并行计算系统中,由于通信开销较大,一般需要发掘在任务层次上的并行性。

关键词： JAPS 任务调度协议并行编译系统

来源：评论

学校读者我要写书评

暂无评论

精化演算支撑工具PRT的研究

引用

计算机科学 2000年第3期27卷 47-50,46页

作者：杨朝晖王云峰郑国梁南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

1 引言精化演算是一种数学表示法和若干规则的集合,用于从程序规约推导出命令式程序。精化是从抽象程序向具体程序转换的过程,其中包含程序的正确性证明。精化的程序开发方法比对已有程序进行验证以保证程序正确性的方法更有效。通过精... 详细信息

1 引言精化演算是一种数学表示法和若干规则的集合,用于从程序规约推导出命令式程序。精化是从抽象程序向具体程序转换的过程,其中包含程序的正确性证明。精化的程序开发方法比对已有程序进行验证以保证程序正确性的方法更有效。通过精化演算中的转换规则可以演算出精化的程序。利用精化演算从规约导出程序的过程由大量步骤构成,非常适合利用机器工具进行辅助。本文对精化工具进行了需求分析和功能分析,研究了一个新的精化工具PRT(Program Refinement Tool)并与现有的一些工具进行了比较。

关键词：程序正确性精化演算支撑工具 PRT 程序结构

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：