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

数据采集与处理 1998年第4期13卷 320-323页

作者：毛宇光朱梧槚朱剑英南京航空航天大学计算机科学与工程系南京大学计算机系软件新技术国家重点实验室南京航空航天大学机电工程学院

模糊数据库是模糊信息处理系统的重要组成部分。本文以ＳＱＬ语言为基础，设计了模糊关系数据库查询语言ＦＳＱＬ。ＦＳＱＬ语言采用了模糊值模糊关系数据模型，提供了相应的模糊数据定义与模糊数据操纵功能。为了便于模糊信息的表示和... 详细信息

模糊数据库是模糊信息处理系统的重要组成部分。本文以ＳＱＬ语言为基础，设计了模糊关系数据库查询语言ＦＳＱＬ。ＦＳＱＬ语言采用了模糊值模糊关系数据模型，提供了相应的模糊数据定义与模糊数据操纵功能。为了便于模糊信息的表示和管理，ＦＳＱＬ语言增加了模糊数据类型，如简单标量型、模糊标量型、简单数集、模糊数集等。另外，为了便于模糊查询，扩充了模糊比较库函数及自定义隶属函数。

关键词：关系型数据库模糊集 FSQL语言信息处理

来源：评论

学校读者我要写书评

暂无评论

OO软件的测试分析

OO软件的测试分析

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

数据类型上的可计算性

数据类型上的可计算性

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于角色分类的子类型关系

引用

计算机研究与发展 1997年第11期34卷 822-827页

作者：袁晓东陈家骏郑国梁南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

事物分类的标准是一个由来已久的话题．文中将事物的特征分为一般特征和本质特征，认为事物应该依据其结构、行为、性质、职能诸方面的本质特征进行分类．使用了角色的概念来综合反映事物各方面的本质特征，并在角色分类的基础上建立了... 详细信息

事物分类的标准是一个由来已久的话题．文中将事物的特征分为一般特征和本质特征，认为事物应该依据其结构、行为、性质、职能诸方面的本质特征进行分类．使用了角色的概念来综合反映事物各方面的本质特征，并在角色分类的基础上建立了对象类型之间的子类型关系．

关键词：对象类型子类型角类分类面向对象程序设计

来源：评论

学校读者我要写书评

暂无评论

新一代智能刺绣CAD环境

引用

计算机研究与发展 1997年第S1期34卷 238-243页

作者：胡滨潘金贵宋珂陈世福南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

文中介绍了一个用于电脑刺绣编程的智能ＣＡＤ环境．它融合了人工智能、图象处理和计算机辅助设计等多种技术，具有灵活多变的图案输入手段及自动编程的能力，实现了图案输入、处理、编针、优化和数据转换的一体化与自动化，提高了电脑... 详细信息

文中介绍了一个用于电脑刺绣编程的智能ＣＡＤ环境．它融合了人工智能、图象处理和计算机辅助设计等多种技术，具有灵活多变的图案输入手段及自动编程的能力，实现了图案输入、处理、编针、优化和数据转换的一体化与自动化，提高了电脑刺绣数据样版的编程质量和效率．文中具体阐述了系统结构、数据结构和主要实现技术．

关键词：人工智能图象处理计算机辅助设计电脑刺绣编程

来源：评论

学校读者我要写书评

暂无评论

一个统一的程序验证框架

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

类库检索和一个基于联想网络的类库检索工具

引用

计算机研究与发展 1997年第S1期34卷 155-160页

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

文中分析了类库检索中的困难，着重讨论了用户需要的目标类与类库中候选类的比较方法，给出了类相似性的模糊评判方法，并实现了一个基于联想网络的类库检索工具．

关键词：类库检索模糊

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：