CIM在配置管理系统中的应用研究

本文分析了公用信息模型(CIM)在配置管理系统中的应用。对CIM模型与关系数据库的映射机制进行了阐述和分析,给出了基于CIM的配置管理系统的数据模型。     

基于CIM的机群系统资源信息模型

通过对CIM进行面向机群系统的扩展和裁减,设计了一种基于CIM的机群系统资源信息模型,并且在Linux上用LDAP实现了这个信息模型,为表示机群系统的资源信息提供了一种统一的方式,为大规模机群系统的资源信息服务、高性能计算服务和其他相关应用打下了良好的基础。     

MDA框架中CIM业务流模型与PIM工作流模型的一致性验证

对平台无关模型(PIM)层次上的工作流模型进行细化操作,往往会造成计算无关模型(CIM)业务流与PIM工作流不一致的后果。对此,提出业务流模型与工作流模型的一致性验证方法。定义三种不同情形的细化,并利用扩展Petri网形式化描述每种细化的语义条件;设计语义一致性验证步骤;演示语义一致性验证的过程和结果。实验结果表明,该方法可有效地验证PIM工作流模型在细化过程中是否改变了系统的业务流,以及修改的程度。     

全要素模型与关系模型的关系解析映射

为实现基于全要素模型的空间信息关系数据库存储,首先对全要素模型(FullFeatureModel,FFM)及其关系类型进行了分析,阐述了FFM与关系模型映射的内容;然后提出了一种FFM与关系模型的关系解析映射方法,给出了基于图论的具体映射过程与算法;最后实现了表达FFM的复杂图与关系模式之间的转换,并给出了具体实例;为空间信息基于关系数据库的集成与共享等奠定了基础。     

用关系模型实现零件的树型结构

用关系数据模型来表示并实现零件的树型结构是十分必要的,也是一项很有意义的工作.因为一个大中型制造企业生产出的产品,往往由成千上万种零件构成,而零件之间存在一定的层次关系.比如,在图1中,零件A由零件B、C、D构成,零件D由零件E、F构成,零件G由零件D、H、I构成,等等.零件的这种层次关系渗透在企业的各项管理活动之中,比如库存管理、成本计算等等.解决零件层次问题的一种方法是:用IBM公司层次     

STEP模型向关系模型的转换

STEP是150组织颁布的产品数据交换国际标准,其信息模型由EXPRESS语言建立。XPRESS建立的数据模型不是单纯的实体/关系(E/R)模型,也不是完全的面向对象(00)模型,尽它不能描述产品动态行为,但通过在实体基础上建立描述产品     

基于关系模型的数据词典工具生成设计与实现

本文研究了数据词典的关系模型,该模型为数据词典工具广土保障数据完整性和一致性方面提供了理论基础。在此基础上,本文介绍了数据词典工具生成的设计与实现。     

从关系模型到面向对象模型的演变

本文试图阐述面向对象模型可以从关系模型经过嵌套关系模型,复合对象模型演变而来。文中介绍了嵌套关系,关系图,概括／特化概念以及面向对象的类型定义,数据库定义,对象询查,对象修改等操作。     

基于Agent的模型表示与模型复合

在分析当前模型表示与模型复合方法的局限性基础上,结合Agent技术,提出了基于Agent的模型表示与模型复合理论。基于Agent的模型表示与复合,通过在传统的模型表示方法中加入知识和智能机制,从而把模型与数据、对象完整地区分开来,使模型本身具备了自适应和学习能力;模型的复合也被转换成一个多Agent之间的协作问题,从而把以前含糊不清和难于统一的模型复合计算转换为一个多Agent协商和协作问题,为当前模型库系统和决策支持系统的建设提供了一个全新的解决方案。     

基于泛关系模型表示的层次化模型管理框架

针对常见模型表示方法缺少对多阶段建模过程支持,造成不同建模阶段模型难以统一管理、共享和重用的问题,提出基于泛关系模型表示的层次化模型管理框架。分析现有模型表示方法特点和多阶段建模过程中模型表示及管理需求,采用泛关系模型表示建立概念模型和数学模型表示方法之间映射关系,建立一体化模型表示方法和层次化模型管理框架; 研究层次化模型管理框架中概念层模型和泛关系层模型的模型库设计逻辑,并基于泛关系理论,研究了物理层模型的动态生成方法,实现了不同建模阶段模型的一体化表示和统一管理。     

单可表示类的特征

择优模型是目前常识推理领域中最常用的语义结构之一。在择优模型中有一类重要的模型－单射择优模型,近年来,众多的学者对该模型类从各种角度进行了研究,但一个重要而基本的问题,即何种类型的择优后承具有单射择优模型,虽经多位学者的研究到现在仍然悬而未解。目前,最好的结果Freund在有限语言限制下证明了“择优后承具有单射择优模型当且仅当它满足弱析取合理性”。文中提出择优模型的一种转换,将此转换应用于Kraus,Leham及Magidor提出的KLM模型上,在一般语言框架下证明了“满足弱析取合理性的择优后承必具有单射择优模型”,从而将该问题的研究推进了一步。     

基于模型检测的工作流访问控制策略验证*

访问控制策略的有效性对工作流管理系统的安全稳定运行具有重要影响,针对这一问题,提出了一种基于模型检测的工作流管理系统访问控制策略验证方法。建立了工作流管理系统的访问控制策略模型与工作流执行主体任务权限状态模型,并在此基础上对访问控制策略的有效性进行验证。实验表明该算法具有有效性和合理性,为访问控制策略的验证提供了一条新的解决途径。     

信息交流模型及其实现机制的研究

从用户几信息的概念框架着手,本文试图探讨信息交流的诸多行为。在一个较严格的模型中,分析了继承、委托、授权三种和赤的定义和约束,说明了信息交流行为的复杂性。本文也分析了实现这些模型所需要的机制。     

一种共性服务接入与集成方法

随着互联网的高速发展,各领域企业的信息化程度越来越高,快速开发高质量、易维护的企业业务信息系统是必然的趋势.由于不同企业在搭建业务信息系统时存在一些十分相似的功能需求,为了高效而有保障地满足信息化系统的建设,信息系统的开发人员选择使用第三方企业开发的服务并以松耦合的方式整合其共性服务的开发.开发人员从而可以将更多的精力投入于其核心商业逻辑的构建.然而,众多的基于第三方提供的各种服务给系统开发人员带来了适配难、质量无保障等困难,极大地阻碍了业务信息系统的建设.针对上述问题,提出了一种业务信息系统共性服务接入与集成方法.该方法集成了搭建业务信息系统所共性需求的各种第三方共性服务,为各领域、各行业的业务信息系统提供具有统一接口格式的、可互联互通的,且支持服务保障和服务运营支撑功能的可定制集成服务的共性服务基础设施.详细阐述了该方法的功能、结构与特点,提出了一种共性服务组合流程抽象描述语言以系统地描述与开发,并举例深入阐述系统的特点.     

安全数据库访问控制模型

提出了一个安全数据库访问控制模型,包括一个多层关系模型和一个用以增强自主访问控制能力的元素级粒度的授权.在多层关系模型中,通过给出新的数据语义扩展了sandhu的MLR模型,改进了数据借用操作使之支持了传递借用和多值借用.另外,对元素级粒度的授权的支持,增强了系统对用户权限的管理能力.     

基于多层领域本体的知识表示通用模型研究

随着复杂信息系统涉及的知识领域越来越广泛,传统的基于领域本体以及基于关键词的知识表示模型,当处理多领域异构知识的共享与重构时,表现出异构信息有效组织及准确检索的不足。针对此问题,提出了基于多层领域本体的知识表示通用模型,借鉴顶层本体提供的上层语义知识,整合各领域的本体知识,并详细分析了由顶层本体、上层本体、应用本体、实例本体组成的多层领域本体的各层本体的构建流程。仿真实验通过与基于传统领域本体以及基于关键词的知识表示模型的对比分析,分别于一个以及多个领域知识的视角下,验证了基于多层领域本体的知识表示通用模型的有效性。     

一个非确定系统的不干扰模型

提出系统动作对信息域的不干扰概念,并在此基础上将不干扰模型推广到非确定系统.由于基于系统动作的不干扰概念简化了系统动作序列的提取操作,该模型的单步展开条件具有简洁的形式并易于理解和使用.推广后的不干扰模型不仅能够验证静态信息流策略,还可以验证各种动态信息流策略.最后设计了一个基于动态标记的访问控制模型,并在该模型中定义了读、写、执行等操作的具体语义,然后利用不干扰模型对其安全性进行了形式化验证.     

基于CIM的电力通信运行管理建模

将IEC-CIM与DMTF-CIM的模型相结合,总结出一套符合电力行业标准的通信领域模型设计理念,为电力通信调度的工作提供依据和指导。