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

软件学报 1997年第11期8卷 875-880页

作者：陈兆乾周志华李红兵谢俊元南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

混合型学习模型HLM将概念获取算法HMCAP和神经网络算法FTART有机结合，能学习多概念和连续属性，其增量学习算法建立在二叉混合判定树结构和FTART网络的基础上，在给系统增加新的实例时，只需进行一遍增量学习调整原结构，不用重新生成... 详细信息

混合型学习模型HLM将概念获取算法HMCAP和神经网络算法FTART有机结合，能学习多概念和连续属性，其增量学习算法建立在二叉混合判定树结构和FTART网络的基础上，在给系统增加新的实例时，只需进行一遍增量学习调整原结构，不用重新生成判定树和神经网络，即可提高学习精度，速度快、效率高．本文主要介绍该模型中的增量学习算法．

关键词：神经网络学习模型 HLM 增量学习算法

来源：评论

学校读者我要写书评

暂无评论

DL/CNHM系统服务器端的设计与实现

引用

计算机工程 1997年第S1期23卷 1-4,25页

作者：高永勤田增平周傲英复旦大学计算机科学系上海200433 南京大学计算机软件新技术国家重点实验室京210093

中国历史地图电子图书馆(DL/CNHM)是一个基于Internet的数字图书馆系统。该系统的服务器端接收来自客户端的请求,对牧据库进行相应的查询,并将查询结果返回给客户。文章讨论的DL/CNHM系统服务器端的设计特点、技术考虑及其实现。

关键词：数字图书馆公共网关接口进程通讯

来源：评论

学校读者我要写书评

暂无评论

分布式共享内存的技术和实现

引用

计算机研究与发展 1997年第5期34卷 327-331页

作者：李群谢立孙钟秀南京大学计算机科学与技术系及软件新技术国家重点实验室

分布式共享内存结合了分布式内存结构与共享存储结构的优点，具有可扩充性、通用性、方便性．本文论述了在实现ＤＳＭ系统中存在的问题。

关键词：分布式共享内存一致性协议并行处理软件开发

来源：评论

学校读者我要写书评

暂无评论

Z应用于通信协议形式化描述的研究

引用

电子与自动化仪表信息 1997年第3期 15-20页

作者：袁晓东徐殿祥南京大学计算机软件新技术国家重点实验室

Ｚ语言是一被广泛使用的形式化规格说明语言，本文在其上扩充了时间描述机制Ｔｉｍｅ模式，使之适应于对通信协议的形式化描述，并以流行的ＹＭＯＤＥＭ通信协议为例详细介绍了如何用Ｚ对通信协议进行形式化描述以及在此基础上协议的具... 详细信息

Ｚ语言是一被广泛使用的形式化规格说明语言，本文在其上扩充了时间描述机制Ｔｉｍｅ模式，使之适应于对通信协议的形式化描述，并以流行的ＹＭＯＤＥＭ通信协议为例详细介绍了如何用Ｚ对通信协议进行形式化描述以及在此基础上协议的具体实现方法。

关键词： Z规格说明通信协议 YMODEM 形式化描述

来源：评论

学校读者我要写书评

暂无评论

面向对象技术新的里程碑

引用

国际学术动态 1997年第6期 28-36,60页

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

第11届面向对象程序设计系统、语言和应用年会(Conference on Object oriented Progam-ming Systems,Languages,& Applications)于1996年10月5日至10日在美国加利福尼亚的San Jose会议中心召开。会议由ACM程序设计语言特别兴趣小组(... 详细信息

第11届面向对象程序设计系统、语言和应用年会(Conference on Object oriented Progam-ming Systems,Languages,& Applications)于1996年10月5日至10日在美国加利福尼亚的San Jose会议中心召开。会议由ACM程序设计语言特别兴趣小组(ACM/SIGPLAN)发起。这是一次规模甚大、内容丰富、气氛活跃的盛会。约有2000人出席了会议。主要活动有辅导报告、专题讨论、设计聚会、技术性会议、讲解演示和教育者论坛。以及令人振奋的软件产品或原型展览等。下面介绍会议主要内容。

关键词：面向对向程序设计系统软件产品数据库

来源：评论

学校读者我要写书评

暂无评论

中介公理集合论系统与经典公理集合论系统的关系——形式证明部分

引用

南京航空航天大学学报 1997年第4期29卷 402-406页

作者：张东摩施庆生姜宁根南京航空航天大学计算机科学与工程系南京建筑工程学院基础部南京大学计算机系软件新技术国家重点实验室

在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经... 详细信息

在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经典数学也能奠基于ＭＳ之上，从而最终回答了中介数学与经典数学的包含关系问题。

关键词：数理逻辑集合论中介公理集合论良集

来源：评论

学校读者我要写书评

暂无评论

Windows 95下的TrueType字形技术及应用

引用

微计算机应用 1997年第6期18卷 332-336页

作者：何亚明蒋兴王启祥南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室南京210093

影响计算机输出质量的一个重要因素是字形技术。Windows3.x中的TrueType字体以及其字形描述技术,表现出强大的生命力。在Windows 95下,TrueType字形技术得到进一步的完善和发展,本文就TrueType字形技术,特别是Windows 95下TrueType字形... 详细信息

影响计算机输出质量的一个重要因素是字形技术。Windows3.x中的TrueType字体以及其字形描述技术,表现出强大的生命力。在Windows 95下,TrueType字形技术得到进一步的完善和发展,本文就TrueType字形技术,特别是Windows 95下TrueType字形技术的新特点进行分析和介绍,并就如何利用这些新特点进行了有益的探讨。

关键词： TrueType Windows 字形汉字信息处理

来源：评论

学校读者我要写书评

暂无评论

COOZ中的时段演算