基于Petri网的学校公文管理系统的建模与分析

以办公信息流处理系统为背景,所做的工作主要集中在如何将时间Petri网技术运用在教育公文管理工作流系统的建模中.结合高校公文管理工作流的实际应用环境,提出基于Petri网的公文管理系统工作流模型,并利用Petri网的可达树分析方法,运用具体数据分析了公文管理工作流模型的性能.     

基于.net环境的工作流引擎研究

工作流引擎是工作流系统的核心组成部分。在明确工作流引擎重要性的基础上,分析了工作流引擎的结构及具体功能,并进一步研究了工作流引擎的关键类、实例启动、任务执行以及结束的实现。     

利用Notes/Domino与关系数据库相结合实现网上排课管理系统

以院校排课管理系统的开发为例，介绍了基于Lotus/Domino群件系统的网上排课管理系统的方案设计与具体实现，以及如何利用档数据库和关系数据库相结合来实现系统的方法。     

加快信息平台建设促进井控管理提升

针对当前钻井井控管理中存在的不足,提出发挥信息技术优势,加快井控管理信息平台建设的思路,以推动井控管理提档升级。介绍了大庆油田钻井井控管理信息平台的建设及应用情况。     

基于工作流的高校办公自动化系统的需求分析

在当前形势下,国内外高校办公自动化系统已经得到了非常广泛的应用。传统的高校办公自动化软件系统都是普通的系统,由于没有采用工作流技术而功能有限。随着计算机网络的不断发展,对高校办公自动化系统的要求也正在逐步提高,传统办公系统的弊端日益显示出来,比如,高校办公自动化系统的业务流程正在日益增多,其流程的增加、修改或者删除都是非常繁琐的,一旦出现大量的流程数据的维护工作,就会导致整个高校办公自动化系统彻底瘫痪,从而造成巨大的损失。而通过工作流技术的运用,能够非常有效地弥补这些不足,基于此,研究基于工作流的高校办公自动化系统的需求非常有意义。     

一种基于时间自动机的实时工作流时序约束建模方法

本文详细分析了实时工作流中的时序约束。同时,为了对实时工作流时序约束进行形式化描述,本文利用时间自动机建模实时工作流的时序约束。这为实时工作流时序约束的形式化验证提供了基础。     

电子政务架构浅议

电子政务已成为世界新一轮公共行政管理改革和衡量国家以及城市竞争力水平的标志之一.而我国的电子政务无论是在理论研究还是实际应用方面,均与世界先进水平存在着较大的差距.因此,应在正确分析现有的各应用系统的基础上,对其进行有效的集成,以建立电子政务应用架构.     

基于.NET排课系统的设计与实现

分析了排课系统在教务管理系统中的应用需求和排课系统的工作流,研究网络环境中排课系统的管理模式和模型,并在此基础上给出本系统的实现方案。     

带分级思想的遗传工作流挖掘算法

针对基于遗传算法的工作挖掘中容易淘汰掉适应度低的个体,从而丢失存在于低劣个体中的优良基因片导致得到的解不理想的情况,提出一种带分级思想的遗传算法对工作流进行挖掘。该算法采用因果矩阵作为工作流模型的编码。在创建初始种群阶段引入启发式规则,并根据个体的适应度值对种群实施分级策略,提高解的质量。仿真实验表明该方法与基于遗传算法的工作流挖掘方法相比更能产出较高质量的解。     

网格工作流技术及其在教师专业发展中的应用研究

网格工作流技术是目前网格应用研究领域的研究热点,随着网格技术在e-Learning中的逐渐普及,越来越多的项目需要采用工作流和具有工作流特征的服务来管理网格中的应用,提高e-Learning应用的执行和管理效率。本文综述了网格工作流技术的特点和研究现状,进一步分析了网格工作流技术研究的关键问题,并利用网格工作流技术来建立教师专业发展的虚拟协同组织支撑环境,利用协作学习支持工具,实现自动或半自动的生成适应性的协同学习任务和活动序列,形成人、培训活动以及各种支持工具之间的协调。