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

基于OSI参考模型的一致性测试理论和方法

引用

计算机工程 1998年第6期24卷 15-17页

作者：毛迪林丛锁高传善复旦大学计算机科学系上海200433 南京大学计算机软件新技术国家重点实验室南京210093

以TP4运输层协议为例，阐述了OSI一致性测试的理论和方法。在对OSI一致性测试和TP4协议进行简介的基础上，给出了在TCP／IP环境中实现OSITP4协议一致性协同测试的关键技术和方法。

关键词：一致性测试 OSI 参考模型 TCP/IP协议

来源：评论

学校读者我要写书评

暂无评论

非一致线性递推计算到多处理机上的分解

引用

计算机学报 1998年第S1期21卷 46-51页

作者：张德富陈崚南京大学计算机软件新技术国家重点实验室南京210093 扬州大学师范学院计算机科学系扬州225002

对于一致线性递推计算（ULR）进行独立分解、使它分解为若干可独立计算的独立集，从而分配到具有分布式存储器的多处理机上去并行执行，已有许多很好的方法．本文则提出了几种对非一致线性递推计算（NLR）独立分解的方法，可将NLR分解... 详细信息

对于一致线性递推计算（ULR）进行独立分解、使它分解为若干可独立计算的独立集，从而分配到具有分布式存储器的多处理机上去并行执行，已有许多很好的方法．本文则提出了几种对非一致线性递推计算（NLR）独立分解的方法，可将NLR分解成由一个或多个子平面、或由网状格点构成的独立集．本文还给出应用各种方法的充要条件．

关键词：并行处理多处理机递推计算

来源：评论

学校读者我要写书评

暂无评论

并发对象技术初探

引用

东南大学学报（自然科学版） 1998年第6期28卷 84-89页

作者：瞿裕忠沈军唐立中朱海林朱一清东南大学计算机科学与工程系南京大学计算机软件新技术国家重点实验室

在分析和比较典型的并发面向对象程序设计语言的基础上，提出了一个并发对象模型的架构．其特色在于对象的并发特征函数和对消息传递方式的处理．从语言设计的角度对并发对象模型与继承之间的有机集成进行了初步探讨．

关键词：并发对象技术并发面向对象程序设计语言并发对象模型继承并发特征函数

来源：评论

学校读者我要写书评

暂无评论

在头部动画中头发弯曲的控制

引用

计算机工程 1998年第8期24卷 7-10页

作者：张建明宋顺林江苏理工大学计算机科学系镇江212013 南京大学计算机软件新技术国家重点实验室南京210093

根据头发的基本特性，将头发弯曲通过力的形式统一予以描述，根据头发的不同受力，得到不同的弯曲形状，并且给出了碰撞检测方法和头发生长点判别方法。

关键词：计算机动画头发模型控制计算机图形学

来源：评论

学校读者我要写书评

暂无评论

机器辅助下的形式化规格说明求精技术

引用

计算机科学 1998年第6期25卷 19-23页

作者：袁晓东郑国梁电力部电力自动化研究院仿真室南京210003 南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

形式化规格说明为我们提供一个简洁、精确且能被很好理解的系统描述。但我们还需要从规格说明得到其合适的代码实现,这一开发过程称为形式化规格说明的求精[lj。规格说明的求精技术已经有比较深入的研究,一般要通过数据求精和操作求精... 详细信息

形式化规格说明为我们提供一个简洁、精确且能被很好理解的系统描述。但我们还需要从规格说明得到其合适的代码实现,这一开发过程称为形式化规格说明的求精[lj。规格说明的求精技术已经有比较深入的研究,一般要通过数据求精和操作求精逐步精化的过程,逐步降低抽象级,最终得到规格说明的程序实现代码。但现有的精化理论较少考虑机器辅助技术的应用。

关键词：形式化规格说明机器辅助求精技术形式语言

来源：评论

学校读者我要写书评

暂无评论

基于全序划分结构的开放逻辑

引用

中国科学（E辑） 1998年第6期28卷 542-549页

作者：张东摩李未南京航空航天大学计算机科学研究所南京大学软件新技术国家重点实验室南京210093 北京航空航天大学计算机系

利用全序划分结构刻画开放逻辑中知识集的可信程度 ,通过重新定义重构概念 ,解决重构操作的唯一性问题 .基于新定义的重构运算 ,证明了只要认知者对新知识不总是采取极端的怀疑态度 ,且信度改变遵循最小改变策略 ,则其认识进程均可收敛。

关键词：开放逻辑重构认识进程知识库全序划分结构

来源：评论

学校读者我要写书评

暂无评论

支持大规模分布式系统的对象接口描述语言OIDL

支持大规模分布式系统的对象接口描述语言OIDL

引用

大连--香港国际计算机会议

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

在分布式计算系统中，接口描述语言（IDL）是一个重要的核心概念，它使得用户不必考虑网络细节，为RPC应用程序设计提供了迅速可靠的支持。随着网络和分布式技术的发展，尤其是Internet的出现，分布式系统的规模急剧膨胀，适应支持大规... 详细信息

在分布式计算系统中，接口描述语言（IDL）是一个重要的核心概念，它使得用户不必考虑网络细节，为RPC应用程序设计提供了迅速可靠的支持。随着网络和分布式技术的发展，尤其是Internet的出现，分布式系统的规模急剧膨胀，适应支持大规模分布式系统的需要成为IDL的一个重要问题。传统IDL的基础是经典客户机/服务器体系，而经典客户机/服务器体系中存在着客户机对服务器的依赖，使得传统IDL在支持大规模分布式系统方面存在重要的局限性。因此，作者引入了智能服务器系统的概念，设计并实现了一种对象接口定义语言OIDL。与传统IDL相比，它具有更好的透明性和灵活性，使得客户机摆脱对服务器的依赖成为独立的对象实体，因而能够较好地支持大规模分布式系统。

关键词：接口描述语言分布式系统

来源：评论

学校读者我要写书评

暂无评论

IHMCAP算法对噪音数据的处理

IHMCAP算法对噪音数据的处理

引用

第六届全国机器学习研讨会

作者：周志华陈兆乾南京大学计算机科学与技术系&计算机软件新技术国家重点实验室

增量式混合型多概念获取算法ＩＨＭＣＡＰ将基于概率论的符号学习与神经网络学习相结合，实现了两种不同思维层次的靠近。该算法采用了一种独特的增量学习机制，不仅效率高、速度快，而且可以降低算法对噪音数据的敏感度，从而使得ＩＨ... 详细信息

增量式混合型多概念获取算法ＩＨＭＣＡＰ将基于概率论的符号学习与神经网络学习相结合，实现了两种不同思维层次的靠近。该算法采用了一种独特的增量学习机制，不仅效率高、速度快，而且可以降低算法对噪音数据的敏感度，从而使得ＩＨＭＣＡＰ可以应用于实时在线学习任务。

关键词：增量学习神经网络噪音处理符号学习