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

机械设计 2001年第5期18卷 5-8页

作者：窦万峰谢立南京师范大学数学与计算机科学学院江苏南京210097 南京大学软件新技术国家重点实验室

一致性保证是计算机支持的协同工作的关键技术之一。协同者的并发操作的冲突是引发不一致的主要原因 ,并发操作的冲突判别是提高系统效率的一个重要的方面。分析了协同CAD系统的并发操作冲突的机理 ,给出了操作命令的一般表示方法 ,提... 详细信息

一致性保证是计算机支持的协同工作的关键技术之一。协同者的并发操作的冲突是引发不一致的主要原因 ,并发操作的冲突判别是提高系统效率的一个重要的方面。分析了协同CAD系统的并发操作冲突的机理 ,给出了操作命令的一般表示方法 ,提出一个通用的基于该描述的冲突判别推理方法 ,并基于领域知识将该方法用于二维绘图系统和三维产品特征建模系统中的并发操作冲突的分析 ,实验结果表明该方法可行。

关键词： CAD 一致性管理并发操作冲突协同设计

来源：评论

学校读者我要写书评

暂无评论

面向对象软件度量自动化参考模型MOOP

面向对象软件度量自动化参考模型MOOP

引用

第九届全国容错计算学术大会

作者：梅琳杜晓晨李茜徐永森南京大学计算机科学与技术系软件新技术国家重点实验室(江苏南京)

评估软件质量涉及到定性和定量两个方面.在定量的度量方面,要考虑两个问题,一是度量什么,二是如何度量.面向对象技术的新特点给软件度量提出了新的要求.本文提出了一种针对面向对象程序分析的度量自动化参考模型MOOP,该模型采用三层结构... 详细信息

评估软件质量涉及到定性和定量两个方面.在定量的度量方面,要考虑两个问题,一是度量什么,二是如何度量.面向对象技术的新特点给软件度量提出了新的要求.本文提出了一种针对面向对象程序分析的度量自动化参考模型MOOP,该模型采用三层结构:翻译层、表示层、分析层,具有可重定编译前端、中间表示与语言无关、度量集可定制等优点.基于MOOP参考模型,我们设计了一种面向对象度量自动化系统MOOP-Kit.

关键词：面向对象软件度量度量自动化参考模型软件质量

来源：评论

学校读者我要写书评

暂无评论

基于域理论的自适应谐振神经网络研究

引用

软件学报 2000年第11期11卷 1451-1459页

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

提出了一种基于域理论的自适应谐振神经网络算法 FTART,有机结合了自适应谐振理论和域理论的优势 ,以一种独特的方式解决了示例间冲突和分类区域的动态扩展 ,不仅不需要手工设置隐层神经元 ,可以还获得了较快的训练速度和较高的预测精... 详细信息

提出了一种基于域理论的自适应谐振神经网络算法 FTART,有机结合了自适应谐振理论和域理论的优势 ,以一种独特的方式解决了示例间冲突和分类区域的动态扩展 ,不仅不需要手工设置隐层神经元 ,可以还获得了较快的训练速度和较高的预测精度 .同时还提出了一种可以从训练好的 FTART网络中抽取可理解性好、精度高的符号规则的方法 ,即基于统计的产生测试法 .实验结果表明。

关键词：神经网络机器学习规则抽取自适应谐振理论域理论知识获取在线学习增量学习

来源：评论

学校读者我要写书评

暂无评论

基于域理论的自适应谐振神经网络研究

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

工程图字符串提取算法

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种基于数据仓库的数据挖掘系统的结构框架

引用

计算机应用研究 2000年第9期17卷 63-65页

作者：商琳骆斌南京大学计算机软件新技术国家重点实验室江苏南京210093

数据仓库和数据挖掘技术是数据库、信息决策和机器学习等领域的前沿研究方向之一。基于数据仓库的数据挖掘技术目前是研究的热点课题。提出了一种基于数据仓库的数据挖掘系统结构框架，介绍了其各个组成部分，并对其中的重要组成模块查... 详细信息

数据仓库和数据挖掘技术是数据库、信息决策和机器学习等领域的前沿研究方向之一。基于数据仓库的数据挖掘技术目前是研究的热点课题。提出了一种基于数据仓库的数据挖掘系统结构框架，介绍了其各个组成部分，并对其中的重要组成模块查询协同机进行了详尽地描述，同时给出了具体的查询协同算法。

关键词：数据挖掘数据仓库知识发现数据库

来源：评论

学校读者我要写书评

暂无评论

使用查询路由技术的Z39.50服务器设计

引用

计算机应用研究 2000年第9期17卷 40-42页

作者：闵峰张福炎南京大学计算机软件新技术国家重点实验室江苏南京210093

Ｚ３９．５０是网络信息检索的标准协议，目前主要应用于联机书目检索领域。在对基于Ｚ３９．５０的联机书目检索的相关问题进行讨论的基础上，分析了目前面临的问题，提出了一个应用查询路由技术的Ｚ３９．５０服务器设计方案，并讨论... 详细信息

Ｚ３９．５０是网络信息检索的标准协议，目前主要应用于联机书目检索领域。在对基于Ｚ３９．５０的联机书目检索的相关问题进行讨论的基础上，分析了目前面临的问题，提出了一个应用查询路由技术的Ｚ３９．５０服务器设计方案，并讨论了ＭＡＲＣ索引的组织，系统的分布式结构，质心信息的提取等关键技术。

关键词： Z39.50 查询路由服务器信息检索 WWW

来源：评论

学校读者我要写书评

暂无评论

软件Agent的分析与建模方法

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：