过程建模的Petri网模型

工作流管理的问题由于广泛存在于计算机应用的许多方面而迅速得到发展。本文介绍了一个以扩展的Petri网作为建模工具、以消息队列作为执行机制实现的过程管理的原型系统。该模型描述了活动的并发执行和依赖关系、活动激发的条件、事件顺序及文档管理等信息。执行该模型,在分布、异构、自治的环境中可自动监视、管理和调度工作任务,为业务过程重组、业务过程自动化提供了有力的支持。     

电力系统结线分析的有色Petri网方法

从离散事件动态系统角度考虑电力系统结线分析问题,提出了基本分析单元的有色Petri网模型以及基于该Petri网的结线分析算法,Petri网中的令牌代表结线分析中的结点,令牌的颜色表示连接在同一个结点上的元件,变迁将包含相同元件的结点连接在一起,论文对基于Petri网的结线分析算法及传统的算法进行了比较,并计算了一个模型系统各变电站的结点及网络的结线,表明了该方法的可行性及有效性。     

基于Petri网的虚拟企业建立过程模型

首次将Petri网理论引入虚拟企业领域,提出了用Petri网对动态,并发的虚拟企业产生建立过程进行描述,使虚拟企业的建立过程在Petri网上得到清晰、全面的描述,为企业管理层进行决策提供了一种简洁、直观的决策分析工具。     

区域车辆信息管理系统建设设想

充分利用计算机技术和Internet技术,开展车辆管理和网上服务已成为一种发展趋势,重点介绍了区域车辆信息管理系统的建设设想及软件体系构架。     

基于ASP.net的污水收集监测调度系统

为了实现污水收集监测调度的准确性和及时性,设计了污水收集监测调度系统.系统基于ASP.net开发,采用SQL Server 2005为存储数据库,着重于液位数据的直观显示,便于管理者做出及时准确的指令.     

基于定性映射的粒逻辑及其Petri网推理算法

基于不确定性知识处理特点,在认知机理下,通过基于属性定量与定性之间的转化关系而建立的定性映射, 给出了属性粒的概念及其逻辑计算公式,并在此基础上构建了初步的粒逻辑系统,最后通过Petri网对其逻辑推理进 行形式化描述。结果表明其是有效的,使得有关认知识别与判断推理等思维操作能得到较好的表达。     

Petri网模型与程序流程图的比较及应用研究

petri网是一种描述具有分布、并发、异步特点的信息流的系统模型,已得到了广泛的应用;程序流程图是依据算法描述问题求解过程的图解表示,是使用数字计算机求解问题的必要步骤。如何进行相互转换是应用中所关心的一个突出问题。文中对二者先做形式上的比较研究,分析它们的特点和异同,从中找出一些规律,用以归纳相互转换的方法要点。最后,通过实例分析来阐述转换的算法。     

可重构制造系统的多Agent模型

论文在介绍可重构制造系统重构方法的基础上,给出了可重构制造系统多Agent模型的结构,并详细描述了基于该模型的可重构车间加工系统的重构算法,最后对重构算法进行仿真验证了该算法的可行性。     

室内移动机器人超声传感器导航网络分布研究

对于室内广域移动机器人,超声波传感器网络是能够保证给定导航准确度的一种有效方法。合理的超声波传感器网络分布是实现超声波网络导航的重要条件。论述了超声波网络合理分布的原则,据此提出并分析了获得合理超声波传感器网络分布的四个步骤,仿真试验结果验证了它的有效性。     

运用现代技术,实施教育创新

随着校园网与多媒体网络技术的普及，现代技术在教育创新中的位置越来越重要，尤其是虚拟教室的出现，把教育创新提到了一个高度。从校园网、多媒体网络技术、仿真技术与虚拟教室几个方面来具体说明怎么运用现代技术实施教育创新。