一种基于组态有色Petri网的FMS建模方法

针对FMS物流过程的具体行为特性,提出了一种基于组件对象模型思想的有色Petri网建模方法,该方法具有模块化和层次化思想,最直接的好处就是可以简化FMS系统的建模过程。文中以一个具体的FMS物流系统的例子来说明如何使用组件对象模型以及有色Petri网对FMS物流过程建模。实际上该建模方法为离散动态事件系统的建模与分析提供了一个很好的解决途径。     

领域科学数据云资源聚合模型

数据中心作为领域科学数据资源的核心设施,正在变得过于复杂、昂贵和低效.大规模领域应用和用户数量的增长,给数据中心的连接性、稳定性和安全性带来严峻的挑战.关于数据中心的资源整合、自动部署以及资源集中化管理正在受到当前学术界和企业界的广泛关注.以实现领域数据中心资源聚合、共享以及统一管理为目的,通过构建领域科学数据云,将多个数据中心连接成一种虚拟的数据网络,以便为领域数据访问、数据集成和数据管理提供环境和服务支持.着重研究了数据云代理模型、异构源共享模型以及资源消息模型.这些模型对于提高数据中心可扩展性和容错性、降低数据中心资源整合成本以及实现从传统数据中心向云化数据中心过渡起到非常关键的作用.最后,将领域科学数据云资源聚合模型引入到油气井科研数据共享服务平台的开发、部署、运行及监控管理中.实践表明,领域科学数据云模型是切实可行的,对于推动领域数据集成、共享、管理研究具有重要的参考意义和应用价值.     

基于语义的采油工程领域数据集成系统研究

针对采油工程领域海量、分布、异构的数据源,在构建领域全局语义模型的基础上,提出一套基于语义的采油工程领域数据集成系统(Oil Production Engineering Semantic-based Data Integration System, OPSDS)。该系统通过对领域数据模型进行本体抽取、本体演化、本体合并、约束推理,建立适合采油工程领域的全局语义数据模型,为用户和上层应用程序提供基于语义的数据服务。     

一种领域科学数据云及服务的实现

给出一种科学数据云及服务的模型及实现流程.该模型利用SOA技术、语义集成技术、虚拟化技术等,把物理上分布在不同地方的数据工作站,逻辑上统一起来进行管理,建立一个领域科学数据云.用户可以在任意位置、使用各种终端获取数据资源.基于科学数据云,把科学领域内的全部应用服务集成为科学数据云的服务,所提供的云服务,具有数据安全可靠、客户端低需求、无缝共享数据、容错灵活和无限扩展等特点.最后,采用本文提出的模型构建了油气井生产工程领域数据云,解决了海量、分布式异构数据源的有机集成和无缝共享问题;组建一个面向油气勘探生产领域,集生产管理、设备管理、工作流程控制、优化设计、故障诊断、辅助决策等功能为一体的”云”服务系统,实现油气勘探生产领域的数据资源、计算资源以及业务应用系统的高效整合.     

基于Petri网模型的FMS死锁结构

死锁是柔性制造系统中容易发生的异常现象，如不加以消除，将会导致整个系统的瘫痪。文中通过Petri网模型对FMS的结构分析，揭示出导致FMS死锁的结构元素和活性特征，在此基础上，提出了FMS的无死锁Petri网控制器算法，并举例说明这种控制器算法在FMS中的应用。     

基于Petri网模型的FMS死锁结构

死锁是柔性制造系统中容易发生的异常现象,如不加以消除,将会导致整个系统的瘫痪.文中通过Petri网模型对FMS的结构分析,揭示出导致FMS死锁的结构元素和活性特征,在此基础上,提出了FMS的无死锁Petri网控制器算法,并举例说明这种控制器算法在FMS中的应用.     

面向语义Web服务组合的模糊Petri网推理算法

就语义Web服务自动组合技术而言,在服务组合时需要建立形式化的描述模型,以及有效利用这些已有的数据依赖关系实现服务合成的请求.而现有的组合方法与实施框架可能出现全局状态的指数性增长.针对这一问题,提出一种适合于Web环境的模糊Petri网逆向推理算法.该算法结合模糊Petri网的逆向推理和代数运算的优点,能有效减小算法空间复杂度,把一个大的、复杂的系统转化为一个只与问题相关的、小的系统来处理.最后,通过一个例子说明了算法的可用性.     

自动制造系统设计和仿真中的死锁控制

通过对自动制造系统的Pctri网模型的分析．可以揭示出被模拟系统的死锁跟其初始标识和其结构有关。要想消除自动制造系统的死锁异常,可以通过修改Petri网的初始标识或Pctri网的结构来解决。该文结合具体示例,给出了具体的可操作算法并设计出了控制自动制造系统死锁的Petri网模型,从而为自动制造系统的异常处理提供了一条有效途径。