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

南京大学学报（自然科学版） 2000年第2期36卷 140-147页

作者：周志华陈兆乾陈世福南京大学计算机软件新技术国家重点实验室江苏南京210093

在自适应谐振理论和域理论的基础上提出了一种基于域理论的自适应谐振神经网络算法FTART .该算法将自适应谐振理论和域理论的优点有机结合 ,采用了独特的解决样本间冲突和动态扩大分类区域的方法 ,不需人为设置隐层神经元 ,学习速度快 ... 详细信息

在自适应谐振理论和域理论的基础上提出了一种基于域理论的自适应谐振神经网络算法FTART .该算法将自适应谐振理论和域理论的优点有机结合 ,采用了独特的解决样本间冲突和动态扩大分类区域的方法 ,不需人为设置隐层神经元 ,学习速度快 ,精度高此外 ,还提出了一种从FTART网络中抽取符号规则的方法 ,即基于统计的产生 -测试法 ,实验结果表明 ,使用该方法抽取出的符号规则可理解性好、预测精度高。

关键词：机器学习神经网络自适应谐振理论域理论

来源：评论

学校读者我要写书评

暂无评论

软件Agent的分析与建模方法

引用

南京大学学报（自然科学版） 2000年第2期36卷 155-162页

作者：樊晓聪徐殿祥侯建民郑国梁南京大学计算机软件新技术国家重点实验室南京大学计算机科学技术系江苏南京210093

为保证Agent软件系统的质量 ,提高系统的可靠性、正确性、可维护性和可扩展性 ,需要为Agent软件系统提供设计方法学的支持 .以处于分布、开放环境的信息Agent为研究对象 ,以同一应用域分析结果的复用为前提 ,提出了一种面向Agent的分析... 详细信息

为保证Agent软件系统的质量 ,提高系统的可靠性、正确性、可维护性和可扩展性 ,需要为Agent软件系统提供设计方法学的支持 .以处于分布、开放环境的信息Agent为研究对象 ,以同一应用域分析结果的复用为前提 ,提出了一种面向Agent的分析方法ARC ,阐明了在设计Agent软件系统时采用对象级构件。

关键词：软件Agent 可靠性可维护性建模 Agent系统

来源：评论

学校读者我要写书评

暂无评论

扩充析取逻辑程序的争论语义(英文)

引用

软件学报 2000年第3期11卷 293-299页

作者：王克文周立柱陈火旺清华大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室南京210093 国防科学技术大学计算机学院

该文探讨争论推理在扩充逻辑程序中的实现及其关系问题 .基于“相干原理”,建立了扩充逻辑程序的争论推理框架 ,多种争论推理形式都可以嵌入其中 .特别是提出了一种谨慎语义 Acc.同时又定义了良基语义的一种合理扩充 Mod,以处理较为大... 详细信息

该文探讨争论推理在扩充逻辑程序中的实现及其关系问题 .基于“相干原理”,建立了扩充逻辑程序的争论推理框架 ,多种争论推理形式都可以嵌入其中 .特别是提出了一种谨慎语义 Acc.同时又定义了良基语义的一种合理扩充 Mod,以处理较为大胆的推理形式 .另外也研究了相关的理论性质 .

关键词：析取逻辑程序明显否定争论推理语义

来源：评论

学校读者我要写书评

暂无评论

一种在静态类型面向对象语言中构造VFCG的方法

引用

南京大学学报（自然科学版） 2000年第2期36卷 163-170页

作者：李必信王云峰李宣东郑国梁南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系江苏南京210093

阐述了在静态类型面向对象语言中构造虚函数调用图 (VFCG)的方法 :先构造可见方法类层次图 (VM CHG) ,再计算继承集、改写集 ,确定改写边界 ,最后利用VM CHG和改写边界构造VFCG .

关键词：继承集改写集 VFCG 静态类型面向对象语言

来源：评论

学校读者我要写书评

暂无评论

一种精化演算支撑工具的分析与设计

引用

南京大学学报（自然科学版） 2000年第5期36卷 560-567页

作者：王云峰李必信庞军查鸣郑国梁南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系江苏南京210093

利用精化演算的方法开发软件 ,其过程由巨大数量的小步骤构成 ,由手工完成极其烦琐 ,也极容易出错 ,因此利用机器辅助工具的支持是必要的 .在分析现有的精化工具的基础上 ,提出了一个用于软件形式化开发的的精化工具 (RT) ,并对其进行... 详细信息

利用精化演算的方法开发软件 ,其过程由巨大数量的小步骤构成 ,由手工完成极其烦琐 ,也极容易出错 ,因此利用机器辅助工具的支持是必要的 .在分析现有的精化工具的基础上 ,提出了一个用于软件形式化开发的的精化工具 (RT) ,并对其进行了需求分析和功能分析 .在精化工具的设计中 ,讨论了作为定理证明器和精化引擎基础的窗口推理系统和用于程序精化推理的程序窗口推理系统 ,同时分析了设计中的设计目标 ,总体结构 ,精化与证明的表示方法 ,用户界面和工具的扩充性等问题 .对于工具的理论基础做了较为详细的分析。

关键词：形式方法精化演算精化工具软件工程

来源：评论

学校读者我要写书评

暂无评论

CIMS环境下基于面向对象技术的信息集成研究

引用

计算机科学 2000年第2期27卷 52-56,72页

作者：李必信高同启王武荣郑国梁南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093 合肥经济技术学院合肥230051

1 概述信息技术既给企业带来了严酷的市场竞争和挑战,也为企业带来了新的机遇。信息技术和现代化管理技术的结合可以为企业提供如下的生产模式、管理技术和设计、制造技术:①物料资源规划(MRP)、制造资源规划(MRP-Ⅱ)和企业资源规划(ERP... 详细信息

1 概述信息技术既给企业带来了严酷的市场竞争和挑战,也为企业带来了新的机遇。信息技术和现代化管理技术的结合可以为企业提供如下的生产模式、管理技术和设计、制造技术:①物料资源规划(MRP)、制造资源规划(MRP-Ⅱ)和企业资源规划(ERP)。这是西方制造业管理技术的精华。借助产品和部件的构成数据、工艺数据和设备状况数据,将市场对产品的需求转变为对加工过程和外购原材料、零部件的需求,这样。

关键词： CIMS 面向对象信息集成 PDM系统

来源：评论

学校读者我要写书评

暂无评论

一种基于层次模型的面向对象类型分析框架

引用

南京大学学报（自然科学版） 2000年第5期36卷 552-559页

作者：李必信沈驿梅钱宇郑国梁南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系江苏南京210093

建立了一种用于静态类型面向对象程序的类型分析框架 .该框架集成了目前最为实用的 4种类型分析方法 ,即唯一名分析、类层次分析、快速类型分析以及指针别名分析 .首先在这 4种方法的基础上提出了类型分析的层次模型 ,然后以此模型为核... 详细信息

建立了一种用于静态类型面向对象程序的类型分析框架 .该框架集成了目前最为实用的 4种类型分析方法 ,即唯一名分析、类层次分析、快速类型分析以及指针别名分析 .首先在这 4种方法的基础上提出了类型分析的层次模型 ,然后以此模型为核心 ,结合程序预处理器和信息加工器等建立了一种类型分析框架 .该框架适合分析静态类型的面向对象程序 ,如C

关键词：类层次分析面向对象框架程序语言

来源：评论

学校读者我要写书评

暂无评论

意向驱动的AOP语言AOPLID

引用

南京大学学报（自然科学版） 2000年第5期36卷 545-551页

作者：骆斌陈武华张东摩陈世福南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系江苏南京210093

描述一种基于情境演算的、意向驱动的AOP语言———AOPLID ,并给出AOPLID对追杀问题的程序设计实例 .该语言克服了GOLOG的缺点。

关键词： Agent AOP 情境演算 GOLOG

来源：评论

学校读者我要写书评

暂无评论

面向行动的信念更新

引用

软件学报 2000年第9期11卷 1276-1282页

作者：张东摩朱朝晖陈世福南京航空航天大学计算机科学研究所南京210016 南京大学计算机软件新技术国家重点实验室南京210093

基于可能模型方法 ( possible m odel approach,简称 PMA) ,提出了面向行动的信念更新的概念 ,证明了在信息完备的情境演算系统中 ,一个一阶公式在情境 s下成立当且仅当它属于情境 s下的信念集 .这一结果为有效避免情境演算推理中二阶... 详细信息

基于可能模型方法 ( possible m odel approach,简称 PMA) ,提出了面向行动的信念更新的概念 ,证明了在信息完备的情境演算系统中 ,一个一阶公式在情境 s下成立当且仅当它属于情境 s下的信念集 .这一结果为有效避免情境演算推理中二阶归纳公理的使用提供了一条可行的途径 ,也为基于意向驱动的 agent模型的建立以及面向 agent的程序设计语言 AOPL ID( agent-oriented programm ing language with intention driver)的提出提供了必要的理论基础 .

关键词：情境演算信念更新智能体人工智能

来源：评论

学校读者我要写书评

暂无评论

工程图字符串提取算法

引用

计算机应用 2000年第S1期20卷 97-99页

作者：陈冀兵宋继强苏丰蔡士杰南京大学计算机软件新技术国家重点实验室江苏南京210093

文字识别是扫描工程图矢量化的重要内容之一。由于工程图中文字信息具有多字体、多方向及由多种原因造成扫描工程图中噪音、缺损、字线粘连、字字粘连等特点 ,使文字识别变得非常困难。本文介绍了充分利用构图信息的字符串提取算法。可... 详细信息

文字识别是扫描工程图矢量化的重要内容之一。由于工程图中文字信息具有多字体、多方向及由多种原因造成扫描工程图中噪音、缺损、字线粘连、字字粘连等特点 ,使文字识别变得非常困难。本文介绍了充分利用构图信息的字符串提取算法。可较好地增强文字的识别能力。

关键词：矢量化光栅图像图形文字识别

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：