Combining ODM and OCL in ontology verification

In order to automatically find and conveniently rectify the structural conflicts appearing in a new ontology model version after a series of ontology evolution,we propose an ontology model verification approach,in which the object constraint language (OCL) and an ontology definition meta-model (ODM) are used to complete the ontology verification.The ODM is composed of the ontology related elements and the definition rule related elements.The OCL is employed to describe the elements in the ontology definition meta-model:OCL extension for the ontology related elements,and OCL extension for the ontological design patterns.All of the above OCL rules will describe the constraint relationships between ontology elements.Associated with an example,the application of the ontology model verification approach based on OCL and ODM is introduced.Consequently,the conflicts happened in the ontology changing and evolution can be easily verified and rectified through this approach.     

软件设计模式与组件开发

设计模式以及基于设计模式的软件组件开发是高级软件技术的核心.在面向对象系统开发,尤其是基于组件的开发过程中,如何对设计模式进行有效准确的描述,指导组件开发的过程成为目前重要的研究课题.     

关于高职院校内部教育评价体系的探讨

高职院校内部的教育评价对学校教学目标的实现和人才质量的提高起着重要的保障作用。阐述了建立高职院校内部教育评价体系的必要性,提出了建立高职院校内部教育评价体系的原则,明确了高职院校内部教育评价的程序。     

一种基于扩展UML的企业应用软件PIM模型

针对UML在企业应用软件建模中可用性差和效率低的问题,提出一种基于扩展UML的企业应用软件PIM模型.通过对企业应用软件特点的分析,建立了一个以业务对象为中心的多视图集成PIM模型,对UML进行扩展,在它的元模型中增加了描述企业应用软件PIM模型中的概念及其之间关系的元类、版型和标记,并采用包对这些概念和关系进行不同视点的划分.基于扩展UML的企业应用软件PIM模型通过业务对象的丰富语义实现了UML中各种图之间基于语义的集成,改善了UML的可用性,提高了企业应用软件的建模效率.结果表明:通过实际案例验证了该模型的可行性和有效性.     

基于GPU Raycasting算法的矢量/栅格混合绘制研究*

Raycasting体绘制算法由于成像质量高而被广泛应用于体数据的可视化,但当线、面表达的矢量数据和三维栅格表达的体数据同时绘制到同一场景时,由于绘制方法的差异会造成矢量和栅格数据空间遮挡关系不一致。在GPU实现Raycasting算法的基础上,通过矢量和栅格数据先后绘制,采用FBO离屏绘制等技术将矢量数据绘制到深度缓存纹理并在体绘制采样和融合中统一考虑矢栅颜色融合。实验结果表明,该算法在矢量数据非透明模式下能正确处理矢量栅格数据的混合绘制。     

课堂提问的艺术

有效的课堂提问,可以优化课堂效果,提高学生的自主思考能力、发散思维能力。本文从提问的好处、误区、提问方式、提问对象选择等角度交流有关课堂提问的问题。     

徐愈:智慧城市需加强分类指导

<正>日前,工业和信息化部信息化推进司司长徐愈表示,智慧城市并不是一个可以随意移植的万能模式,地方在建设智慧城市过程中要因地制宜。从宏观指导上看,需要分类指导。分类指导需要将建设智慧城市面向的对象类型进行区分,分清楚不同的类型面临哪些基本问题,在此基础上加强指导。一个简单的分类标准是按照智慧城市的区域、类型,分为中心城市和非中心城市、城市核心区和城市非核心区。不同的城市面临的问题必然不同。     

计算机光盘软件与应用

<正>《计算机光盘软件与应用》杂志是由中国科学院主管、中国大恒公司主办的国内外公开发行的综合性国家级期刊,本刊致力于创办以创新、准确、实用为特色,突出综述性、科学性、实用性,及时报道国内外计算机技术在科研、教学、应用方面的研究成果和发展动态,为国内计算机同行提供学术交流的平台。国际标准刊号:ISSN 1007-9599国内统一刊号:CN 11-3907/TP●栏目设置:产业资讯:视点、产业、会展、国内、国际封面报道:焦点新闻、热议话题     

基于SLIC和马尔科夫随机场的H.264视频对象分割

为了提高H.264压缩域视频对象分割时的鲁棒性和准确性,提出了一种基于简单线性迭代聚类(SLIC)和图割优化的马尔科夫随机场(MRF)运动对象分割算法.算法直接利用从摄像机产生的H.264压缩码流中提取的运动矢量.首先对运动矢量场进行预处理,然后构建基于改进的SLIC分割的马尔科夫模型能量函数,最后利用图割法求解能量函数进而分割出运动对象.在公开的数据集上进行实验表明,与近年来经典压缩域视频对象分割算法相比,上述算法在复杂背景下可以有效提高分割的准确率和F度量,运算速度平均提高约1.85倍.与先进的像素域分割方法相比,运算速度提高了5倍,算法适用于实时性要求较高的视频监控场合,可有效减少数据存储和处理的内存需求.     

采用长短期记忆网络的深度学习方法进行网页正文提取

针对复杂网页上主题信息被过多地与主题无关的广告、导航、版权等噪声信息隐藏的问题,提出一种基于长短期记忆的深度学习正文提取方法(LTE).首先,设计一种根据超文本标记语言(HTML)中标签信息的数据划分策略:通过遍历HTML代码的文档对象模型(DOM)树来根据DOM树结构划分每一个具有文本信息的文本块;然后,通过预训练模型对每一个内容块的从属关系进行表征;最后,这些标签会被输入到用这种格式的数据预先训练好的长短期记忆(LSTM)网络模型进行主要内容正文判别.实验结果证明,模型能够有效拟合已标记的数据集,在训练集中的F1分数能稳定在0.96以上;对于不存在于训练集中的网页格式,对其正文的预测准确度也比两个传统正文抽取工具Readability和Newspaper3k的分别高47.54、19.02个百分点.由实验结果可知,LTE能够有效提取出网页中的正文内容.