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.     

RS6000 AIX环境下TCP/IP和DNS的设置

较详细地介绍了RS6000 AIX环境下TCP/IP和DNS的设置方法.     

基于ODM和Cesium的无人机倾斜摄影建模及可视化

GIS随着计算机科学技术的发展尤其是Web技术和WebGL技术的发展,近些年正逐渐三维web化,但无法直接复用较成熟的二维WebGIS方案。本文提出一种Cesium结合ODM(OpenDroneMap)进行三维WebGIS开发的方案,通过ODM在服务端自动处理无人机倾斜摄影测量采集的影像数据,将处理后产生的倾斜模型、点云、DEM等数据进行数据管理,最后在客户端浏览器进行三维可视化。本文阐述两者的开发模式、使用方法、数据组织和软件框架,概述了在无人机数据倾斜建模及可视化中的应用。     

CORBA技术与开放分布式网络管理

开放分布式网络系统的出现,因其异构性和复杂性的增加,给网络的管理带来了许多难题。本文在对开放分布式处理系统和CORBA进行简要介绍的基础上,对CORBA在开放分布式网络管理系统中的应用进行了探讨,并给出了基于CORBA的网络管理系统的开发方法与步骤。     

数据挖掘系统开发及Oracle Data Mining应用

数据挖掘技术目前主要应用于智能商务领域，在石化领域中如何展开数据挖掘开发应用还有待研究。基于Oracle Data Mining(ODM)数据挖掘工具，结合实例介绍了在石化企业中应用数据挖掘的系统方法和基本过程。     

OEM/ODM合作方式下的协同生产计划优化模型

基于OEM/ODM合作方式的特点分析,构建了OEM/ODM厂商协商的一般机制模型。在此基础上,建立了基于双方协商下的生产计划决策和需求的优化模型。     

OEM、ODM消防产品工厂的评定方法

介绍了认证认可消防产品的种类和工厂形式,重点阐述了OEM、ODM消防产品工厂的评定方法,对开展消防产品认证认可和建立质量管理体系工作将起到作用。     

基于SDTM define.xml元数据自动化检查的SAS宏实现

目前,FDA明确规定申办者向其递交的临床试验电子评审材料需要基于CDISC ODM（Operational Data Model）模型的SDTM define.xml作为用于新药注册评审的必备文件之一。尽管近几年业内已有多家企业致力于开发自动化工具生成SDTM define.xml,但在核查策略和质量控制方面的系统性研究不多,工作人员仍需花费大量时间进行人工核查。本研究旨在对生成SDTM define.xml的元数据模块建立一套全面综合的核查策略和关键核查点,并通过编制SAS宏实现这些核查点的自动化核查和质量控制,使得递交给FDA的SDTM define.xml所包含信息准确无误,数据之间具有良好的追踪性,同时大大降低人力成本,提高效率。     

基于XML的企业产品数据服务中心研究

为解决OEM／ODM模式下企业间产品协作开发中遇到产品数据交互效率较低的问题，提出了基于XML技术的产品数据服务中心的模型，介绍了产品数据服务中心的结构和运行模式，并讨论了实现产品数据服务中心的关键技术。     

Towards an Interoperable Metamodel Suite: Size Assessment as One Input

In recent years, many metamodels have been introduced in the software engineering literature and standards. These metamodels vary in their focus across, for example, process, product, organizational and measurement aspects of software development and have typically been developed independently of each other with shared concepts being only accidental. There is thus an increasing concern in the standards communities that possible conflicts of structure and semantics between these various metamodels will hinder their widespread adoption. The complexity of these metamodels has also increased significantly and is another barrier in their appreciation. This complexity is compounded when more than one metamodel is used in the lifecycle of a software project. Therefore there is a need to have interoperable metamodels. As a first step towards engendering interoperability and/or possible mergers between metamodels, we examine the size and complexity of various meta-models. To do this, we have used the Rossi and Brinkkemper metrics-based approach to evaluate the size and complexity of several standard metamodels including UML 2.3, BPMN 2.0, ODM, SMM and OSM. The size and complexity of these metamodels is also compared with the previous version of UML, BPMN and Activity diagrams. The comparatively large sizes of BPMN 2.0 and UML 2.3 suggest that future integration with these metamodels might be more di±cult than with the other metamodels under study (especially ODM, SSM and OSM).