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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

南京航空航天大学学报 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 字形汉字信息处理

来源：评论

学校读者我要写书评

暂无评论

Knight知识挖掘系统的设计与实现

Knight知识挖掘系统的设计与实现

引用

第十四届全国数据库学术会议

作者：陈栋徐洁磐南京大学计算机件新技术国家重点实验室南京大学计算机科学与技术系

现有知识挖掘系统普遍存在通用性不好,发现方法单一的弱点。本文介绍了一个知识挖掘系统:Knight。为克服上述弱点,Knight系统被设计为可以适应不同的应用领域,同时,在发现方法引入进化程序设计、信息论等新的思想方法。

关键词：知识挖掘遗传算法普化知识

来源：评论