期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
询问-回答模式下层次式程序表示模型的构建方法
1
作者 赵洋 黄春浩 +1 位作者 吕波 潘金贵 《计算机工程与应用》 CSCD 北大核心 2003年第28期139-141,147,共4页
对程序进行静态分析是程序检查的一种有效的手段,而建立程序模型是对程序进行自动分析的基础。基于对象、域和型的层次式程序表示模型(OSTPM)是以域为基础的层次式的程序信息递归表示模型。该模型侧重反映程序中对象、域和类型间的内在... 对程序进行静态分析是程序检查的一种有效的手段,而建立程序模型是对程序进行自动分析的基础。基于对象、域和型的层次式程序表示模型(OSTPM)是以域为基础的层次式的程序信息递归表示模型。该模型侧重反映程序中对象、域和类型间的内在关系,并通过域把不同的对象和型关联起来。可扩展程序对象模型(EPOM)是用来具体刻画程序语法结构的一种抽象模型。在对程序进行词法和语法分析后得到EPOM的情况下通过询问-回答的对象控制模式可以方便的构建OSTPM。 展开更多
关键词 静态分析 层次式模型 可扩展程序对象模型 询问-回答模 对象控制
在线阅读 下载PDF
一个基于对象、域和型的层次式程序表示模型 被引量:2
2
作者 赵洋 蔡志旻 +1 位作者 金浩 潘金贵 《计算机科学》 CSCD 北大核心 2003年第4期118-120,135,共4页
It is necessary to represent a program in a visual model before analyzing it. This paper introduces a hierarchical program visual model based on object, scope and type. It depicts a program's information through a... It is necessary to represent a program in a visual model before analyzing it. This paper introduces a hierarchical program visual model based on object, scope and type. It depicts a program's information through a recursive-nested structure. Particularly, it emphasizes on the inherent relationships among objects, scopes and types and connects objects and types within scopes. This paper explains all parts and their relationships in details and also addresses briefly about how to realize the model. 展开更多
关键词 程序设计语言 符号语言 程序员 层次程序表示模型 类型 对象 作用域 程序设计
在线阅读 下载PDF
非监督式层次话题情感模型在网络评论主题发现中的应用
3
作者 陈永恒 姚桂杰 林耀进 《东北石油大学学报》 CAS 北大核心 2015年第1期112-117,8,共6页
自动发现话题的隐含结构、情感的极性及其关系,可以方便用户从海量网络评论集中快速获得他们关注的主要观点.提出一种基于非监督式的层次话题的情感(Unsupervised Level Aspect-Sentiment,ULAS)模型,利用贝叶斯非参数性模型作为先验知识... 自动发现话题的隐含结构、情感的极性及其关系,可以方便用户从海量网络评论集中快速获得他们关注的主要观点.提出一种基于非监督式的层次话题的情感(Unsupervised Level Aspect-Sentiment,ULAS)模型,利用贝叶斯非参数性模型作为先验知识,实现非监督式发现未标记评论文本集话题的层次结构,分析层次话题的情感极性.实验结果表明,相比传统的JST和ASUM模型,ULAS模型具备较高的分类精确度和较强的模型泛化能力,能够解决传统话题情感模型只能在单一粒度话题层进行情感分析的问题,实现多粒度话题层的情感分析,满足用户对于评论对象不同粒度话题的情感信息需求. 展开更多
关键词 非监督层次话题情感模型 隐藏狄利克雷分配 文本分析 网络评论 主题发现 主题模型 非参贝叶斯模型
在线阅读 下载PDF
麒麟操作系统层次式内核设计技术 被引量:12
4
作者 吴庆波 戴华东 吴泉源 《国防科技大学学报》 EI CAS CSCD 北大核心 2009年第2期76-80,共5页
麒麟操作系统是高性能、高安全的国产服务器操作系统,自主设计了层次式内核结构,由基本内核层和系统服务层组成。基本内核层负责硬件初始化,并提供基本的存储管理和任务管理,系统服务层基于FreeBSD改进,提供UFS2文件系统和BSD的网络协... 麒麟操作系统是高性能、高安全的国产服务器操作系统,自主设计了层次式内核结构,由基本内核层和系统服务层组成。基本内核层负责硬件初始化,并提供基本的存储管理和任务管理,系统服务层基于FreeBSD改进,提供UFS2文件系统和BSD的网络协议。详细阐述了麒麟操作系统层次式内核的结构,然后采用标准的Benchmark对麒麟操作系统进行了基本性能测试,测试结果表明层次式内核结构的麒麟操作系统与宏内核结构的UNIX类操作系统性能相当,最后探讨了麒麟操作系统层次式内核结构的特点和下一步发展思路。 展开更多
关键词 操作系统 微内核 层次式模型 内核设计
在线阅读 下载PDF
扩展的高层次行为描述内部模型
5
作者 朱明 边计年 薛宏熙 《计算机工程与应用》 CSCD 北大核心 2002年第16期204-206,共3页
随着片上系统(SOC)技术的发展,越来越多的功能模块被集成到单一芯片中。适合硬件描述的HDL语言很难满足实现复杂算法功能的要求,C++等高级语言可以高效地描述算法功能,但是在综合和验证时遇到很大困难。文章介绍了一种允许使用C和VHDL... 随着片上系统(SOC)技术的发展,越来越多的功能模块被集成到单一芯片中。适合硬件描述的HDL语言很难满足实现复杂算法功能的要求,C++等高级语言可以高效地描述算法功能,但是在综合和验证时遇到很大困难。文章介绍了一种允许使用C和VHDL独立描述原始模块,通过创建统一内部模型IIR的办法实现对功能元件和算法模块的混合处理。IIR内部模型以XML文件格式作为外部存储,能够方便地被划分、综合、验证等处理程序使用,避免了重复的原始描述文件分析,提高了研发效率。 展开更多
关键词 层次行为描述 VLSI 超大规模集成电路 片上系统 层次数据模型 内部模型表示 可扩展标记语言
在线阅读 下载PDF
程序静态分析中的双重模型策略
6
作者 黄春浩 赵洋 +1 位作者 蔡志旻 潘金贵 《计算机应用研究》 CSCD 北大核心 2003年第10期42-45,共4页
介绍了描述程序信息的两种模型(EPOM和OSTPM)以及它们之间的联系,并举例介绍了如何利用这两种模型进行程序的静态分析检测。
关键词 静态分析 可扩展程序对象模型 对象 层次程序表示模型
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部