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

计算机工程与应用 2002年第24期38卷 206-209页

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

首先给出了一种面向对象的实视图模型———对象视图模型,可以在数据仓库中描述复杂对象,并有利于前端工具OLAP的实现。然后在此基础上提出了对象视图模型增量维护算法———OMVIMA,该算法能够有效地实现从数据源到数据仓库中对象(数据... 详细信息

首先给出了一种面向对象的实视图模型———对象视图模型,可以在数据仓库中描述复杂对象,并有利于前端工具OLAP的实现。然后在此基础上提出了对象视图模型增量维护算法———OMVIMA,该算法能够有效地实现从数据源到数据仓库中对象(数据)的增量抽取和加载等维护工作。最后给出了算法的性能和效率分析,并通过应用实例证明了该算法比基于纯关系实视图的实现方法具有更高的效率。

关键词：对象实视图增量维护算法 OMVIMA 数据库数据仓库面向对象数据仓库

来源：评论

学校读者我要写书评

暂无评论

基于方法调用一般化模型的并行性分析

引用

计算机学报 2002年第4期25卷 403-408页

作者：于勐阳雪林臧婉瑜谢立孙钟秀南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

该文给出了一种考虑了面向对象语言的多态和对象引用别名问题的对象方法间并行性的分析方法 .这种方法用于面向对象语言并行化中的并行性分析 .文中首先给出了一般化的方法调用模型 ,然后基于该模型给出了表达式化简、过程内和过程间分... 详细信息

该文给出了一种考虑了面向对象语言的多态和对象引用别名问题的对象方法间并行性的分析方法 .这种方法用于面向对象语言并行化中的并行性分析 .文中首先给出了一般化的方法调用模型 ,然后基于该模型给出了表达式化简、过程内和过程间分析的算法 ,该算法可以求出变量的定义和使用集合 ,用于并行性分析 .该文给出的简单例子即可以将该文的工作和相关的工作加以区别 .其技术已经在作者研制的 Java并行化编译器 JAPS-

关键词：并行编译并行计算面向对象语言并行性分析一般化模型

来源：评论

学校读者我要写书评

暂无评论

基于EPOM的程序可视化表示系统的设计与实现

引用

计算机工程 2002年第7期28卷 108-110页

作者：赵洋蔡志旻潘金贵南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

可扩展程序对象模型是一种用来刻画高级语言程序的抽象模型,利用该模型可以很方便地抽取出程序中各式各样的信息。概要介绍了可扩展程序对象模型并基于该模型设计和实现了一个程序的可视化表示系统,同时给出了该系统的运行结果。

关键词： EPOM 程序可视化表示系统设计可扩展程序对象模型词法分析语法分析域控制计算机

来源：评论

学校读者我要写书评

暂无评论

基于CMM的软件质量保障平台定义框架

引用

小型微型计算机系统 2002年第11期23卷 1302-1305页

作者：殷新春严芬汤克明陈堎南京大学计算机软件新技术国家重点实验室江苏南京210093 扬州大学工学院计算机科学与工程系扬州225009

随着计算机软件产业的形成和发展 ,软件质量保证受到越来越多的重视 .于是 ,一种专门针对软件开发组织的软件质量保证模型 CMM逐渐成为研究热点 .本文介绍了 CMM的思想 ,提出了基于 CMM的软件质量保障平台定义框架 ,最后给出了基于定义... 详细信息

随着计算机软件产业的形成和发展 ,软件质量保证受到越来越多的重视 .于是 ,一种专门针对软件开发组织的软件质量保证模型 CMM逐渐成为研究热点 .本文介绍了 CMM的思想 ,提出了基于 CMM的软件质量保障平台定义框架 ,最后给出了基于定义部分结果构筑的在分布式协同环境下实现的系统结构框图 .

关键词： CMM 软件质量保障软件开发组织开发过程成熟度模型

来源：评论

学校读者我要写书评

暂无评论

一种SVM增量学习算法

引用

南京大学学报（自然科学版） 2002年第2期38卷 152-157页

作者：萧嵘王继成孙正兴张福炎南京大学软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

分析了SVM理论中SV(支持向量 )集的特点 ,给出一种SVM增量学习算法 .通过在增量学习中使用SV集与训练样本集的分类等价性 ,使得新的增量训练无需在整个训练样本空间进行 .理论分析和实验结果表明。

关键词： SVM增量学习算法支持向量机分类机器学习增量训练 SV集训练样本集

来源：评论

学校读者我要写书评

暂无评论

精化演算支撑工具的分析

引用

计算机应用与软件 2002年第2期19卷 1-5,53页

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

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

利用精化演算的方法开发软件,其过程由巨大数量的小步骤构成,由手工完成极其烦琐,也极容易出错。因此,利用机器辅助工具的支持是必要的。在分析现有的精化工具的基础上,我们提出了一个用于软件形式化开发的精化工具RT(RefinementTool),对精化工具进行了需求分析和功能分析。在精化工具的设计中,分析了精化工具的设计目标、总体结构、精化与证明的表示方法、用户界面和工具的扩充性等问题,通过对精化和证明的表示方法的分析,提出了一种精化与证明的表示相结合的方法。

关键词：形式方法精化演算支撑工具软件工具计算机

来源：评论

学校读者我要写书评

暂无评论

Linux Crash Dump分析工具的设计与实现