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

计算机工程与应用 2003年第28期39卷 139-141,147页

作者：赵洋黄春浩吕波潘金贵南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

对程序进行静态分析是程序检查的一种有效的手段,而建立程序模型是对程序进行自动分析的基础。基于对象、域和型的层次式程序表示模型(OSTPM)是以域为基础的层次式的程序信息递归表示模型。该模型侧重反映程序中对象、域和类型间的内在... 详细信息

对程序进行静态分析是程序检查的一种有效的手段,而建立程序模型是对程序进行自动分析的基础。基于对象、域和型的层次式程序表示模型(OSTPM)是以域为基础的层次式的程序信息递归表示模型。该模型侧重反映程序中对象、域和类型间的内在关系,并通过域把不同的对象和型关联起来。可扩展程序对象模型(EPOM)是用来具体刻画程序语法结构的一种抽象模型。在对程序进行词法和语法分析后得到EPOM的情况下通过询问-回答的对象控制模式可以方便的构建OSTPM。

关键词：静态分析层次式模型可扩展程序对象模型询问-回答模式对象控制

来源：评论

学校读者我要写书评

暂无评论

基于EPOM的扩展程序参考模型

引用

计算机工程 2003年第17期29卷 100-101,104页

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

扩展程序参考模型是在可扩展的程序对象模型（EPOM）的基础上建立起来的有关程序统计信息的模型。它能够反映程序中的变量信息、函数信息、类型信息和枚举常量等信息，并以HTML的形式展现给用户。询问-回答模式在该模型中得到了广泛应... 详细信息

扩展程序参考模型是在可扩展的程序对象模型（EPOM）的基础上建立起来的有关程序统计信息的模型。它能够反映程序中的变量信息、函数信息、类型信息和枚举常量等信息，并以HTML的形式展现给用户。询问-回答模式在该模型中得到了广泛应用，不仅在模型的构造过程中大量采用，模型的输出也采用该模式。概要介绍了扩展程序模型的结构和特点，同时给出了在此模型上的一个运行实例。

关键词：可扩展程序对象模型扩展程序参考模型询问-回答模式程序信息统计

来源：评论

学校读者我要写书评

暂无评论

基于规则的汉语句法分析方法研究

引用

计算机工程与应用 2003年第29期39卷 63-66,169页

作者：王鹏戴新宇陈家骏王启祥南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室南京210093

该文从汉语的句法结构特点出发对基于规则的汉语句法分析方法进行讨论,从中总结出这类方法的一般特征,提出实用化的基于规则的汉语句法分析器必须引入其它辅助分析手段才能提高性能和可靠性。

关键词：句法分析上下文无关文法汉语语料库知识库

来源：评论

学校读者我要写书评

暂无评论

信息隐藏技术在JPEG2000中的一个实现

引用

中国图象图形学报A辑 2003年第S1期8卷 578-582页

作者：周容朱鹏飞俞建新南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室南京210093

本文介绍了信息隐藏技术在JPEG2000图象文件中实现的一个算法,并依据小波系数的特点和人类视觉系统(HVS)的特性,对该算法进行了改进,然后根据隐藏效率与其他算法和软件进行了比较和分析.实验结果表明,本文的算法不仅适用于灰度图象,也... 详细信息

本文介绍了信息隐藏技术在JPEG2000图象文件中实现的一个算法,并依据小波系数的特点和人类视觉系统(HVS)的特性,对该算法进行了改进,然后根据隐藏效率与其他算法和软件进行了比较和分析.实验结果表明,本文的算法不仅适用于灰度图象,也适用于彩色图象,并且具有较高的隐藏容量和隐藏效率.

关键词：信息隐藏 JPEG2000 小波变换隐藏效率

来源：评论

学校读者我要写书评

暂无评论

一种有效的O3LAP多维视图查询算法

引用

计算机工程与应用 2003年第3期39卷 101-103页

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

该文介绍了面向对象的联机分析处理技术O3LAP,提出了扩展的OSQL语言,并提出了一种基于ARRAY的O3LAP多维视图查询算法,该算法能大幅度地提高Consolidation查询的效率,最后给出了该算法的性能分析实验结果。

关键词： O3LAP 多维视图查询算法联机分析处理面向对象数据仓库数据库

来源：评论

学校读者我要写书评

暂无评论

工程图中的模板识别和匹配方法

引用

计算机应用研究 2003年第12期20卷 61-64页

作者：席晓鹏糜宁芳罗志伟蔡士杰南京大学计算机软件新技术国家重点实验室江苏南京210093

针对建筑结构图的规则和特征,提出了结构平面布置图和标准结构详图的识别及实例化方法。该方法分三个阶段:首先,通过表格识别和模板识别建立标准模板库;然后,利用规则引导识别结构平面图;最后,通过模板实例化实现构件到模板的对应。此... 详细信息

针对建筑结构图的规则和特征,提出了结构平面布置图和标准结构详图的识别及实例化方法。该方法分三个阶段:首先,通过表格识别和模板识别建立标准模板库;然后,利用规则引导识别结构平面图;最后,通过模板实例化实现构件到模板的对应。此方法可以大大提高工程图自动识别的正确性和系统的自适应能力。

关键词：模板匹配实例化规则引导

来源：评论

学校读者我要写书评

暂无评论

UML模型到COOZ规约的形式化转换

引用

计算机工程与应用 2003年第20期39卷 89-91页

作者：黄春荣李宣东郑国梁南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

为UML建模元素提供坚实的形式化语义基础是目前的研究热点之一,在这方面也有了不少探索。文章在过去的研究的基础上,给出了UML模型到COOZ规约的一种系统的转化方法。将UML模型转换到COOZ规约后,UML模型的推理验证就可以通过相应COOZ规... 详细信息

为UML建模元素提供坚实的形式化语义基础是目前的研究热点之一,在这方面也有了不少探索。文章在过去的研究的基础上,给出了UML模型到COOZ规约的一种系统的转化方法。将UML模型转换到COOZ规约后,UML模型的推理验证就可以通过相应COOZ规约的推理验证实现。该方法不但为UML提供了精确的形式化语义基础,而且,提供了一种UML模型推理的合理的机制。

关键词：统一建模语言UML COOZ 面向对象的模型

来源：评论

学校读者我要写书评

暂无评论

.NET中通用语言运行时环境初探