摘要：通过大数据预处理与面向对象petri理论结合,使数学模型应用到环境大数据预处理中,将模拟仿真数据与经预处理的在线监测数据进行误差分析。基于OPMSE仿真平台设定误差阈值范围,如果超出阈值范围,则采用物联网手段进行预警提示,从而再次进行数据预处理。监测数据校验通过后才能输出到环境综合管控平台的计算分析模块进行后续处理,可实现对环境管控平台数据采集和分析过程实时校验和预警。

摘要：面向对象petri网(OOPN)利用面向对象的封装性解决了petri网不能用于大型系统建模的问题。针对大型系统建模中的面向对象petri网建模的便捷性进行研究,将面向对象的继承性以及与之紧密联系的多态性引入到OOPN中,以其在更大程度上实现模型的复用,使大型系统建模过程更加便捷、灵活。

摘要：以面向对象petri网为形式化理论基础 ,提出了一种基于面向对象petri网的体系结构描述语言 (OP NADL) .与传统的体系结构描述语言相比 ,OPNADL能描述系统的静态和动态语义 ,可利用petri网的数学分析方法对系统进行动态分析 ,能形象、直观地刻画系统的整体和个体特性 ,同时可以利用相应的petri网支持工具对软件体系结构进行模拟、分析和验证 .通过OPNADL在公安地理信息系统和柔性制造教学系统开发中的实践证明 ,OPNADL可以有效地辅助软件设计人员在体系结构层次上对系统进行分析和设计 ,从而提高了系统的开发效率 。

摘要：为了简化移动式Agent的设计和实现 ,描述了以OOPN为建模语言 ,建立移动式Agent系统的基本原理。该系统提供了可视化系统建模、死锁检测和实际的系统运作功能。首先介绍OOPN的基本概念和A gent编程工具Aglets ,在此基础上介绍如何通过OOPN建模来生成移动式Agent系统的具体实现机制 ,包括Agent的远程创建和动态部署。最后通过生产者—消费者实例来说明整个系统的执行过程。

摘要：热工保护系统作为典型离散事件系统,难以用常规的数学方法进行描述和分析.模型是对系统结构和动态特性的概括与抽象,建模是描述和分析热工保护系统的重要环节.利用面向对象petri网建立热工保护系统模型.定义面向对象petri网模型的运行规则,针对热工保护的开关量分类,分别设计各类子网对象模型,定义各消息传递出口和接收口之间的连接,实现系统子网对象的各种联锁关系.以火电厂热工保护系统中的送风机保护子系统为例,概述面向对象petri网的实现过程.与传统建模、分析方法相比,本建模方法具有图像化、抽象性、继承和可封装等特点,所建模型具有可视性、可复用性和可维护性.

摘要：将 petri网理论与面向对象技术结合 ,并借鉴客户机 /服务器模式 ,着色 petri网中的一些概念 ,提出了一种新的面向对象 petri网。文中详细论述了这种面向对象 petri网的结构 ,形式定义 ,运行规则 。

摘要：制造业信息化是提升企业核心竞争力的关键因素,而ERP系统在制造业信息化中发挥着重要作用。鉴于目前ERP系统在动态环境下缺乏柔性等问题,建立通用的动态的企业过程模型将成为系统开发的基础。针对制造业过程多层次复杂性等特点,本文基于面向对象petri网及CIM-OSA的思想对其动态过程进行建模,这不仅为软件设计及开发方法提供了一种新思路,同时对支持柔性ERP的快速开发及重构具有重要的现实意义。

摘要：针对具有设计任务多主体并发执行和设计过程动态不确定性的协同设计过程建模问题,在分析并给出了机械产品协同设计全过程协同模型的基础上,基于对象petri网定义了协同设计过程的进程控制网模型。对产品调研立项、初步设计、方案设计、总体设计、零部件设计等基本设计单元的元模型进行了形式化描述。基于元模型调用策略,将元模型调用变迁和设计阶段审核决策变迁绑定,提出了机械产品协同设计过程的进程控制机制,并给出其决策变迁的路由策略。以机械产品总体设计元模型调用为例,说明了对协同设计过程动态控制的有效性。

摘要：结合工作流和多Agent技术,提出一种基于多Agent的计算机支持协同设计(CSCD)异常处理框架.在通信层,超时策略根据当前Agent自身状态和网络状态自适应地使用面向连接和无连接消息服务,以便为可靠的通信提供保障,减少通信故障对异常处理的影响.结合多Agent协调理论,扩展了通信原语,并利用面向对象petri网(OOPN)建立了多Agent的状态变迁模型,验证了该原语的有效性.在应用层,按照Agent的信息处理流程,结合工作流和客户/服务器技术,利用OOPN对多Agent的CSCD系统的客户端和服务器内部模型进行定义,验证了多Agent系统的动态行为,所建立模型的多实例、多线程访问控制处理能力,以及在线和离线异常处理机制.

摘要：针对网络协同预装配的特点,提出基于多Agent的协同数字化预装配系统体系结构,利用面向对象petri网对组成系统的各智能Agent进行了行为建模,分析各Agent之间的通信关系。对所组建的系统petri网进行死锁和冲突分析,在此基础上设计了Agent结构并开发了网络协同数字化预装配原型系统。