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

基于中介逻辑的时序逻辑系统

引用

Journal of Mathematical Research and Exposition 1998年第3期18卷 465-471页

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

本文基于中介逻辑建立了一种中介时序逻辑系统ＭＴＬ（ＭｅｄｉｕｍＴｅｍｐｏｒａｌＬｏｇｉｃ），文中着重讨论了ＭＴＬ的形式系统并给出了它的语义解释，证明了ＭＴＬ系统的可靠性．最后对ＭＴＬ系统和经典时序命题逻辑系统进行对比。

关键词：中介逻辑时序逻辑命题逻辑中介时序逻辑

来源：评论

学校读者我要写书评

暂无评论

应用桌面GIS开发方法探讨

引用

遥感信息 1998年第3期 15-16,26页

作者：王文李红韩圣君河海大学水资源开发利用国家专业实验室南京大学计算机科学系计算机软件国家重点实验室

随着地理信息系统（ＧＩＳ）应用领域的不断扩展，应用型ＧＩＳ的开发工作日显重要。应用桌面ＧＩＳ主要有三种开发方式：不依赖任何ＧＩＳ工具软件的独立开发、完全借助于ＧＩＳ工具软件提供的开发语言进行的单纯二次开发和利用ＧＩＳ... 详细信息

随着地理信息系统（ＧＩＳ）应用领域的不断扩展，应用型ＧＩＳ的开发工作日显重要。应用桌面ＧＩＳ主要有三种开发方式：不依赖任何ＧＩＳ工具软件的独立开发、完全借助于ＧＩＳ工具软件提供的开发语言进行的单纯二次开发和利用ＧＩＳ工具软件与面向对象的可视化编程软件进行的集成二次开发。在这三种方式中，集成二次开发集中了可视化编程软件与地理信息系统工具软件之优点，正成为应用ＧＩＳ开发的主流方向，而Ｄｅｌｐｈｉ与ＭａｐＩｎｆｏ则是进行集成二次开发的出色组合。

关键词： GIS 二次开发 MapInfo 开发法

来源：评论

学校读者我要写书评

暂无评论

OO软件的测试分析

OO软件的测试分析

引用

'98全国计算机测试与诊断学术会议

作者：李本固陈鑫朱炜陈启仁徐永森大学软件新技术国家重点实验室南京大学计算机科学与技术系

该文提出了OO软件测试中的一些问题，并简介了有助于解决这些问题的一种新的CAST工具OOAK，主要讨论了OOAK工具中动态测试分析和软件复杂度分析的设计和实现。

关键词：动态测试分析测试覆盖分析软件复杂度分析测试实例集合最小化软件

来源：评论

学校读者我要写书评

暂无评论

一种基于PC机的肺癌细胞自动识别分类系统

引用

计算机系统应用 1998年第10期7卷 48-50页

作者：陆新泉陈世福叶玉坤南京大学计算机软件国家重点实验室 210093 中国人民解放军八一医院 210002

本文介绍了一种基于PC机的肺癌细胞自动识别分类系统的设计思想和处理流程，给出了形态特征提取及细胞分类的算法，并给出了专家系统技术在系统中的作用和处理方法。

关键词：肺癌癌细胞自动识别分类系统微机

来源：评论

学校读者我要写书评

暂无评论

数据类型上的可计算性

数据类型上的可计算性

引用

1998年华人理论计算机科学年会

作者：宋方敏徐永森钱悦晨大学计算机科学与技术系南京大学软件新技术国家重点实验室 ndhoven理工大学计算科学与数学系

该文讨论数据类型上的计算。由于λ演算是一种计算模型，作者用λ项去编码数据类型以及去计算它们，因此，用λ演算刻划和反映了一般数据类型上的可计算性。

关键词：数据类型可计算性

来源：评论

学校读者我要写书评

暂无评论

类相似性的比较及其在类库检索中的应用

引用

软件学报 1997年第4期8卷 278-282页

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

本文给出了一种比较类相似程度的近似度量方法，讨论了它在类库检索中的应用，并给出了一个基于规则的类库检索工具ＲＢＲＴ．

关键词：软构件重用类库检索面向对象程序设计

来源：评论

学校读者我要写书评

暂无评论

构造性逻辑作为自然语言的模型增长理论

引用

软件学报 1997年第3期8卷 214-219页

作者：张彤陆汝占上海交通大学计算机系南京大学计算机软件新技术国家重点实验室

理解自然语言的过程就是构造语义解释模型的过程．本文用构造性逻辑作为模型增长理论。

关键词：自然语言构造性逻辑模型增长

来源：评论

学校读者我要写书评

暂无评论

异构的多媒体数据共享系统UNIX客户机子系统的实现

引用

小型微型计算机系统 1997年第2期18卷 32-36页

作者：曾庆凯杨国良靖捷高瀚昭戴加宁葛如顶谢立南京大学计算机软件新技术国家实验室

我们设计实现了一个异构的多媒体数据共享系统。系统中包括ＵＮＩＸ与Ｗｉｎ－ｄｏｗｓ两种客户机。

关键词：客户机/服务器异构操作平台多媒体

来源：评论

学校读者我要写书评

暂无评论

混合型多概念获取系统的设计与实现

引用

计算机研究与发展 1997年第7期34卷 502-506页

作者：陈兆乾谢琪陈世福南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

本文主要描述了一个增量式混合型多概念获取系统ＨＭＣＡＳ．它提出了一个基于概率论的符号学习与神经网络学习相结合的学习算法，能从隶属于某个概念集的实例集中归纳出满足用户精度要求的、以混合型判定树表示的概念描述．在ＨＭＣＡ... 详细信息

本文主要描述了一个增量式混合型多概念获取系统ＨＭＣＡＳ．它提出了一个基于概率论的符号学习与神经网络学习相结合的学习算法，能从隶属于某个概念集的实例集中归纳出满足用户精度要求的、以混合型判定树表示的概念描述．在ＨＭＣＡＳ中，符号学习与神经网络学习具有结合紧密和转换灵活等特点，具有较高的学习效率和较强的归纳能力以及增量学习能力．ＨＭＣＡＳ的神经网络学习可选择ＢＰ网络或ＦＴＡＲＴ网络。

关键词：混合学习多概念获取神经网络

来源：评论

学校读者我要写书评

暂无评论

异构的多媒体数据共享系统的设计与实现

引用

计算机研究与发展 1997年第9期34卷 652-656页

作者：曾庆凯杨国良靖捷高瀚昭谢立南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系

本文介绍一个异构环境的多媒体共享系统的设计与实现．系统基于客户／服务器模式，提供了异构平台的多媒体数据的共享和文件存取．试验结果表明，这是一个较低成本和较实用的多媒体数据共享系统．

关键词：多媒体数据共享系统信息处理设计

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：