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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

分层否定的拓广

引用

软件学报 1997年第A期8卷 365-371页

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

现有的演绎数据库系统如ＬＤＬ，Ｎａｉｌ！ＣＯＲＡＬ等都采用分层的否定，以确保能计算出程序的完美不动点，事实上，否定的分层只是确保程序含完善不动点的充分条件。本文在确保逻辑程序含可计算的完美不动点的前提下，提出了拓广的... 详细信息

现有的演绎数据库系统如ＬＤＬ，Ｎａｉｌ！ＣＯＲＡＬ等都采用分层的否定，以确保能计算出程序的完美不动点，事实上，否定的分层只是确保程序含完善不动点的充分条件。本文在确保逻辑程序含可计算的完美不动点的前提下，提出了拓广的分层否定条件。本文提出的条件放宽了对否定使用的限制，增了逻辑数据语言的表达力。

关键词：分层否定数据模型演绎数据库系统数据库

来源：评论

学校读者我要写书评

暂无评论

基于继承的子类型机制

引用

计算机学报 1997年第12期20卷 1088-1094页

作者：王志坚朱跃龙胡吉明河海大学计算机及信息工程学院南京大学计算机软件新技术国家重点实验室

本文扼要介绍继承的一个数学模型．在此基础上，通过对各种继承的形式刻划，研究了各种继承对子类型机制的影响．结果表明：单继承和图式继承支持强类型，线性继承不支持强类型．

关键词：继承子类型程序语言数学模型

来源：评论

学校读者我要写书评

暂无评论

基于行程编码的直线拟合方法及其误差估计

引用

软件学报 1997年第A00期8卷 404-410页

作者：邹荣金蔡士杰南京大学计算机软件新技术国家重点实验室

本文对工程图纸识别中基于行程编码的直线矢量化方法作了介绍与分析，提出了分组平均点法处理基于行程编码的行段直线拟合算法，并与最小二乘法拟合并进行比较，阐明了该方法具有计算方便，高效等特点，同时进行了误差估计。

关键词：工程图纸行程编码识别直线拟合误差估计

来源：评论

学校读者我要写书评

暂无评论

Z状态空间和操作定义的自动生成技术

引用

计算机研究与发展 1997年第12期34卷 926-933页

作者：孙圣强杨大军丁俊华吕建南京大学计算机科学与技术系南京大学软件新技术国家重点实验室

从软件需求定义到形式功能规约的自动转换是需求工程的重要问题之一．文中以软件需求定义语言ＮＤＲＤＬ和形式功能规约语言Ｚ为基础，探讨了其间的自动转换技术，特别是从ＮＤＲＤＬ需求定义自动获取Ｚ形式规约中状态空间与操作定义的... 详细信息

从软件需求定义到形式功能规约的自动转换是需求工程的重要问题之一．文中以软件需求定义语言ＮＤＲＤＬ和形式功能规约语言Ｚ为基础，探讨了其间的自动转换技术，特别是从ＮＤＲＤＬ需求定义自动获取Ｚ形式规约中状态空间与操作定义的技术．

关键词：需求定义状态空间操作定义软件工程

来源：评论

学校读者我要写书评

暂无评论

一个统一的程序验证框架

引用

软件学报 1997年第2期8卷 107-114页

作者：贾国平郑国梁南京大学计算机科学系南京大学计算机软件新技术国家重点实验室

本文提出了一个简单的方法，其中程序和其性质都由一个逻辑：时序逻辑中的公式表示．文中给出了一个程序的转换模块的定义，提出了时序执行语义的概念．它是一个时序公式，精确地说明了一个程序．将时序逻辑作为规范语言，程序正确性就... 详细信息

本文提出了一个简单的方法，其中程序和其性质都由一个逻辑：时序逻辑中的公式表示．文中给出了一个程序的转换模块的定义，提出了时序执行语义的概念．它是一个时序公式，精确地说明了一个程序．将时序逻辑作为规范语言，程序正确性就意味着说明程序的公式蕴含说明性质的公式，其中蕴含即为一般的逻辑蕴含．因此，本文的方法为并发程序的规范及验证提供了一个统一的框架．它允许充分利用现有的用于证明并发系统时序性质的各种完全证明系统．一个缓冲系统的简单例子用来说明本文的方法．

关键词：程序验证规范程序正确性

来源：评论

学校读者我要写书评

暂无评论

CAD/CAM 集成环境下的基于特征设计方法

引用

机械设计 1997年第12期14卷 6-7页

作者：孙正兴张福炎南京大学计算机软件新技术国家重点实验室

本文从三个方面研究了ＣＡＤ／ＣＡＭ集成环境下的基于特征设计方法：形式化定义，设计过程模型，设计算法及其系统结构。文中给出了特征定义、特征操作、特征模型验证及特征映射策略及其形式化描述方式，建立了面向ＣＡＤ／ＣＡＭ集成... 详细信息

本文从三个方面研究了ＣＡＤ／ＣＡＭ集成环境下的基于特征设计方法：形式化定义，设计过程模型，设计算法及其系统结构。文中给出了特征定义、特征操作、特征模型验证及特征映射策略及其形式化描述方式，建立了面向ＣＡＤ／ＣＡＭ集成的基于特征设计过程模型，并提出了基于特征的设计算法及相应的系统基本结构。

关键词：特征设计工程设计 CAD/CAM 集成环境

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：