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

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

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于故障敏感图的回卷算法和故障恢复

引用

软件学报 2000年第2期11卷 235-239页

作者：柳颖陈道蓄谢立曹建农南京大学计算机软件新技术国家重点实验室南京210093 香港理工大学计算系

扩充的面向图结构的分布式程序设计模型 (extended graph- oriented model,简称 Ex GOM)提供了一个支持动态配置的系统框架 .系统的动态配置包括系统运行时的伸缩、运行时的升级以及出现故障后的重配置 .故障后的重配置所涉及的问题之... 详细信息

扩充的面向图结构的分布式程序设计模型 (extended graph- oriented model,简称 Ex GOM)提供了一个支持动态配置的系统框架 .系统的动态配置包括系统运行时的伸缩、运行时的升级以及出现故障后的重配置 .故障后的重配置所涉及的问题之一是如何恢复系统原状态 ,该文着重就此问题进行了讨论 ,给出了基于故障敏感图的异步检查点回卷算法和故障恢复策略 .该算法和策略考虑了在暂时性主机故障中单个主机上有多个故障进程的情况 .与其他异步回卷及故障恢复算法相比 ,该算法将故障区域局部化 ,仅对故障敏感节点进行回卷 ,从而有效地降低了系统开销 .

关键词：分布式程序设计检查点回卷故障恢复

来源：评论

学校读者我要写书评

暂无评论

一类递归算法的多种计算方案及其比较

引用

小型微型计算机系统 2000年第3期21卷 253-256页

作者：蔡经球厦门大学计算机科学系南京大学计算机软件新技术国家重点实验室南京210093

本文讨论一类递归算法 ,利用“递推关系”,“多步递归变换”及“函数嵌入法”等方法可得到它们的多种计算方案。

关键词：程序设计方法学递归算法程序变换

来源：评论

学校读者我要写书评

暂无评论

WindowsNT4.0非标准打印机Mini驱动程序的实现方法

引用

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

作者：刘斌王沛王箭潘金贵南京大学计算机软件新技术国家重点实验室多媒体计算机研究所南京210093

本文介绍了ＷｉｎｄｏｗｓＮＴ下光栅打印机的动作机构及其Ｍｉｎｉ驱动程序的体系结构，以及ＷｉｎｄｏｗｓＮＴ４．０下非标准打印机Ｍｉｎｉ驱动程序的实现方法．

关键词： Mini驱动程序 WindowsNT4.0 打印机

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种基于类层次图的分析面向对象程序的框架

引用

软件学报 2000年第5期11卷 694-700页

作者：李必信梁佳张勇翔樊晓聪郑国梁 *** 南京大学计算机软件新技术国家重点实验室

从类层次图 CHG( class hierarchy graph)出发 ,提出一个基于 CHG的分析面向对象程序的框架 OOAF( object- oriented analyzing framework) ,讨论了 OOAF的功能、算法和设计思想 ,给出了子对象识别以及可见方法、主导方法的确定算法 ,... 详细信息

从类层次图 CHG( class hierarchy graph)出发 ,提出一个基于 CHG的分析面向对象程序的框架 OOAF( object- oriented analyzing framework) ,讨论了 OOAF的功能、算法和设计思想 ,给出了子对象识别以及可见方法、主导方法的确定算法 ,建立了可见方法类层次图 ;并且通过计算方法的继承集、改写集以及对方法改写边界的确定 ,生成程序的虚函数调用图。

关键词：类层次图面向对象程序设计虚函数调用图 OOAF

来源：评论

学校读者我要写书评

暂无评论

基于角色的CSCW系统访问控制模型

引用

软件学报 2000年第7期11卷 931-937页

作者：李成锴 *** 詹永照茅兵谢立南京大学计算机软件新技术国家重点实验室

针对现有的方法不能很好地满足 CSCW系统对访问控制提出的新的需求 ,该文提出了一个基于角色的CSCW系统访问控制模型 RBCSAC( role- based collaborative systems access control) .该模型形式化地描述了数据、操作、权限、角色和用户... 详细信息

针对现有的方法不能很好地满足 CSCW系统对访问控制提出的新的需求 ,该文提出了一个基于角色的CSCW系统访问控制模型 RBCSAC( role- based collaborative systems access control) .该模型形式化地描述了数据、操作、权限、角色和用户等要素及其相互间的关系 ,提供访问控制信息的记录方法 ,通过分配和取消角色来完成对用户权限的授予和取消 ,并且提供了角色分配规则和操作合法性检查规则 .该模型针对 CSCW系统的多用户、交互、协作、实时、动态等特性 ,能较好地满足

关键词： CSCW 角色访问控制模型 Internet网

来源：评论

学校读者我要写书评

暂无评论

基于程序窗口推理的精化演算

引用

软件学报 2000年第8期11卷 1071-1077页

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

由于数据精化需要针对更大的程序块 ,所以 ,它比一般的算法精化更加复杂 .在精化演算中过程如何有效地进行数据精化是形式化方法研究中的一个重要内容 .该文介绍了相关的基本概念 .在精化演算的基础上 ,构造了一种数据精化算子 ,并提出... 详细信息

由于数据精化需要针对更大的程序块 ,所以 ,它比一般的算法精化更加复杂 .在精化演算中过程如何有效地进行数据精化是形式化方法研究中的一个重要内容 .该文介绍了相关的基本概念 .在精化演算的基础上 ,构造了一种数据精化算子 ,并提出一种基于数据精化演算和程序窗口推理的数据精化的方法 .

关键词：软件开发精化演算数据精化程序窗口推理

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：