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

基于MathML的数学表达式等价性的研究

引用

计算机应用研究 2004年第11期21卷 54-56页

作者：刘峰袁春风南京大学计算机软件新技术国家重点实验室江苏南京210093

简介了数学标记语言MathML内容编码的规范,并提出了判断两个基于MathML内容编码的数学表达式等价性的方法。该方法通过建立数学规则库,对两个数学表达式进行树型模式匹配和算式变换来实现。

关键词： MathML 树型模式匹配数学表达式算式变换

来源：评论

学校读者我要写书评

暂无评论

多元χ演算运行时错误的不可判定性

引用

武汉大学学报（理学版） 2004年第5期50卷 601-604页

作者：陈韬略韩婷婷颜锋吕建南京大学计算机软件新技术国家重点实验室江苏南京210093

针对多元χ演算运行时刻通信安全的判定性问题进行了研究.通过从Lazyλ项到χ项的编码,将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题.证明了在多元χ演算中,通讯错误也是不可判定的.结论说明不存在算法直接来检... 详细信息

针对多元χ演算运行时刻通信安全的判定性问题进行了研究.通过从Lazyλ项到χ项的编码,将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题.证明了在多元χ演算中,通讯错误也是不可判定的.结论说明不存在算法直接来检测进程的通信安全性,而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的.

关键词：多元χ演算运行时错误不可判定性并发理论进程代数通信安全

来源：评论

学校读者我要写书评

暂无评论

一种面向对象的数据库访问控制模式

引用

计算机工程与应用 2004年第11期40卷 171-173,184页

作者：丁二玉骆斌陈世福南京大学计算机科学和技术系计算机软件新技术国家重点实验室南京210093 南京大学软件学院南京210093

用户访问控制是数据库应用系统需要解决的一个关键问题。该文提出了一个设计模式OPACD,它将用户数据抽象成对象中间件,并在此基础上将系统的控制功能分而治之,在解决复杂的数据库访问控制问题的同时,保证了系统的扩展性、适应性和可维... 详细信息

用户访问控制是数据库应用系统需要解决的一个关键问题。该文提出了一个设计模式OPACD,它将用户数据抽象成对象中间件,并在此基础上将系统的控制功能分而治之,在解决复杂的数据库访问控制问题的同时,保证了系统的扩展性、适应性和可维护性。文章还描述了模式协作中涉及的两个关键算法,并进行了应用。

关键词：面向对象设计模式访问控制 OPACD

来源：评论

学校读者我要写书评

暂无评论

基于Ontology的面向主题的网页关系识别

引用

华南理工大学学报（自然科学版） 2004年第z1期32卷 37-41页

作者：樊闻斌王守芳金浩潘金贵南京大学计算机软件新技术国家重点实验室江苏南京210093

对万维网上同一主题下的大量网页之间进行特定语义关系的分析,并将其应用于搜索引擎中,可以实现智能化的查询和提供其他个性化服务.本研究借助于Ontology中的关系实例,在网页分类的基础上对网页之间的关系进行自动识别,同时提出了网页... 详细信息

对万维网上同一主题下的大量网页之间进行特定语义关系的分析,并将其应用于搜索引擎中,可以实现智能化的查询和提供其他个性化服务.本研究借助于Ontology中的关系实例,在网页分类的基础上对网页之间的关系进行自动识别,同时提出了网页关系识别规则的自动生成和优化方法.将网页关系识别过程应用于Dolphin系统中,使用户能够在系统的指导下,快速地定位到与起始页面有一定语义关系的其他类型页面中,大大节省了浏览和寻找的开销.

关键词： Ontology 技术网页关系识别万维网内容挖掘

来源：评论

学校读者我要写书评

暂无评论

一种XML文档更新操作的实现

引用

计算机应用 2004年第5期24卷 154-157页

作者：陆文卓钟宁陈兆乾南京大学计算机软件新技术国家重点实验室江苏南京210093

文章描述了一种XML文档更新操作的设计和实现方法。对XML文档查询语言Xquery进行扩展,增加XML文档的更新功能,并且在Kweelt系统的基础上实现了XML文档的更新操作。测试表明该方法对XML文档的更新效率有明显的提高。

关键词： XML Xquery 更新

来源：评论

学校读者我要写书评

暂无评论

超链语义分类系统的设计与实现

引用

计算机应用研究 2004年第11期21卷 163-167页

作者：奚伟鹏李昕武港山南京大学计算机软件新技术国家重点实验室江苏南京210093

提出了一套超链语义分类框架,并详细叙述了其具体实现。该分类系统对反映超链内容语义的各种相关特征进行自动提取以及量化处理,并采用基于决策树的分类方法,使用C4.5机器学习算法,通过对大量人工标注超链样本的学习进行特征优化和选择... 详细信息

提出了一套超链语义分类框架,并详细叙述了其具体实现。该分类系统对反映超链内容语义的各种相关特征进行自动提取以及量化处理,并采用基于决策树的分类方法,使用C4.5机器学习算法,通过对大量人工标注超链样本的学习进行特征优化和选择,形成分类规则。该分类系统,从超链的语义角度研究了Web中超链的类别,有助于对Web上的资源进行更加有效的自动化处理,并在更深层次上挖掘Web结构信息。

关键词：超链语义分类 Web信息挖掘

来源：评论

学校读者我要写书评

暂无评论

工程图管理系统中自动入库技术的研究

引用

计算机应用研究 2004年第4期21卷 80-81,142页

作者：蒋厚明许列飞匡海峰蔡士杰南京大学计算机软件新技术国家重点实验室江苏南京210093

提出并实现了一种基于模板的工程图图签、明细表等信息的无损提取以实现工程图自动入库的方法,并对提取过程中的图签模板定义和提取算法进行了分析。

关键词：工程图管理系统自动入库图签单元格

来源：评论

学校读者我要写书评

暂无评论

基于内容的三维模型检索综述

引用

计算机学报 2004年第10期27卷 1297-1310页

作者：杨育彬林珲朱庆南京大学计算机软件新技术国家重点实验室南京210093 香港中文大学地球信息科学联合实验室武汉大学测绘遥感信息工程国家重点实验室武汉430079

对当前基于内容的三维模型检索技术的国际研究现状及进展进行了广泛而深入的综述 .探讨和分析了基于内容的三维模型检索技术的系统框架及其关键方法 ,重点介绍其中的模型坐标标准化、特征提取与索引、相似性匹配、查询方式与用户界面等... 详细信息

对当前基于内容的三维模型检索技术的国际研究现状及进展进行了广泛而深入的综述 .探讨和分析了基于内容的三维模型检索技术的系统框架及其关键方法 ,重点介绍其中的模型坐标标准化、特征提取与索引、相似性匹配、查询方式与用户界面等方面的基本内容 ,并进行了适当分类 .分析总结了现有的基于内容的三维模型检索系统及搜索引擎的典型实例 .最后 ,对现有研究中存在的难点问题及其未来的发展方向进行了展望 .

关键词：内容三维模型检索模型坐标标准化特征提取相似性匹配查询方式用户界面信息检索技术

来源：评论

学校读者我要写书评

暂无评论

配电管理系统DMS的设计与实现

引用

计算机应用研究 2004年第3期21卷 119-121页

作者：曹兆勇陈兆乾王玥陈江南京大学计算机软件新技术国家重点实验室江苏南京210093

描述了一种具有开放性、通用性和可扩展性的第四代配电管理系统GALASYS DMS的设计与实现技术。系统采用了分布式实时数据库,C++Wrapper和Web等技术,实现了第四代配电管理系统。重点介绍了系统的总体结构、网络管理子系统、分布式实时数... 详细信息

描述了一种具有开放性、通用性和可扩展性的第四代配电管理系统GALASYS DMS的设计与实现技术。系统采用了分布式实时数据库,C++Wrapper和Web等技术,实现了第四代配电管理系统。重点介绍了系统的总体结构、网络管理子系统、分布式实时数据库子系统和应用子系统的实现技术。

关键词：配电管理系统分布式实时数据库 C++Wrapper

来源：评论

学校读者我要写书评

暂无评论

基于视觉原理的工程图版面分析技术的研究

引用

计算机应用与软件 2004年第1期21卷 35-38页

作者：胡笳杨若瑜蔡士杰南京大学计算机软件新技术国家重点实验室南京210093

工程图版面分析是实现自动读图的前提。本文以人观察图纸的原理为基础 ,给出一种基于理解的 ,结合图形分析与图像分析的工程图版面分析方法。该方法以自适应缩放的网格式图像化的方法对版面进行快速分割 ,并给出一种以图名为主导的检查... 详细信息

工程图版面分析是实现自动读图的前提。本文以人观察图纸的原理为基础 ,给出一种基于理解的 ,结合图形分析与图像分析的工程图版面分析方法。该方法以自适应缩放的网格式图像化的方法对版面进行快速分割 ,并给出一种以图名为主导的检查和自动调整策略确保结果的准确性。实验结果证明 ,该方法对实际应用中的工程图。

关键词：工程图版面分析视觉原理图形分析法图像分析法计算机

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：