基于UPPAAL的虚拟生产系统仿真

虚拟生产系统(VPSs)是一种为应对易变的和不确定的制造环境而提出的新型生产资源结构形式.针对VPSs的特点,提出了基于自治与协调机制的控制结构.应用赋时自动机理论以及在UPPAAL的辅助下,对VPSs进行了DEDS的建模.为获得期望的性能(生产流程和时间)和行为特性(避免冲突和死锁),设计了基于启发式调度规则的自治与协调监控器,并进行了系统分析和时间最优调度的计算与仿真,从而构建起兼顾控制和调度问题的VPSs闭环监控系统.     

基于WEB服务的工作流管理系统

首先介绍了当前工作流管理系统的一些相关概念,分析了在本系统中的一些关键技术,包括系统的体系结构,工作流模型中主要实体的XML描述及工作流执行机的设计与实现等;研究开发了一个基于Web的工作流管理系统,其中工作流过程定义采用了基于XML的过程定义语言;阐述了该系统的总体结构、设计原理和实现机制,并对该系统在实际中的应用进行了实例介绍。该系统的开发为异地办公及跨企业的合作提供了良好的基础。     

Internet环境下政务公文工作流处理模型研究

本文引入工作流的概念,对公文运转的过程进行分解,包括角色、路径和公文模板等三个部分,并建立了数学模型-有向图。文中应用集合理论对有向图模型进行了分析,获得了一些公文流程电子化的理论结果。通过对一个典型的公文流程实例进行应用,验证了这些结果的有效性。     

掌握先进技术充分发挥电力调度模拟屏功能

电力调度的主要任务是指挥电网运行,电力调度安全管理工作的好坏,将直接影响电网的安全稳定和可靠运行。近年来,随着城乡电网的改造,电网技术装备水平不断提高,电力调度的现代化程度越来越高,对电网的安全稳定运行起到了极大的促进作用。结合工作实际,笔者认为,在现有电网结构下,加强调度管理,特别是不断学习、掌握新技术是保证电网安全运行的关键。电力调度模拟屏的主要特点一是采用全电脑化融合式分层集散型设计方案,综合了单片机系统、可编程控制器系统及STD总线系统的争夺战,充分体现了测控调度系统的时代风貌。二是按功能划分出若干…     

基于CSM网络的监控模块设计思路

随着计算机与通信技术的高速发展。我们设计了一种运用GSM(全球移动通信系统)网络短消息进行通信的通用监控模块,可广泛应用在防盗、远程监控、农田信息采集设备的维护及现代农业田间管理自动化生产线的监控等。传统的监控系统通常是以计算机为中心的监测控制与调度自动化系统,     

面向生物信息学计算的网格工作流系统

针对生物信息学网格计算需求,提出了一种网格工作流管理系统模型,系统以Web方式为用户提供服务,通过与软件模块的交互实现良好的可定制的人机交互界面,使得不熟悉网格计算和工作流系统的人也可以快捷直观地操作使用.该系统能够自动地对工作流任务进行调度,然后通过网格中间件进行执行,并对任务进行监控和管理.论述了该系统的框架和实现原理,通过一个生物信息学计算实例说明工作流的定义、描述和使用流程;并且,通过与中国教育科研网格公共支撑平台CGSP工作流系统的对比,说明了该系统在可视化、便捷性上更符合生物信息学计算需求的特点.     

成本约束下工作流时间最小化的资源配置优化

时间是衡量工作流性能的重要指标。通过对工作流的资源配置的优化,可以改善工作流的时间性能。资源配置优化可以从资源专业化/一般化程度和资源数量两个方面来进行。为了优化资源的这两个方面,提出了一种基于分层嵌套遗传算法的资源优化方法。它采用工作流实例平均响应时间作为评价指标,在成本的约束下,正确配置各类资源专业化/一般化的程度及资源数量,从而最优化工作流时间性能。并通过实例,说明了该方法的可行性和有效性。     

基于广义粗糙集的不确定条件下的Flow Shop调度

在实际生产调度过程中，加工时间的不确定性是普遍存在的，因此引用广义粗糙变量来表示不确定的工件处理时间，定义粗糙加法运算，precision以及ratio，建立了处理时间不确定性的FlowShop调度问题的精糙规划模型，提出了粗糙遗传调度算法将其应用于调度模型的求解，仿真实验证明了算法的有效性。     

渭南市城市水资源优化调度研究

针对渭南市供水系统水源(量)调度问题,采用系统科学的方法进行了初步研究。通过分析大量实际资料,剖析渭南市区供水系统各要素及其相互关系和水源工程的特点,建立了渭南市区供水水源优化调度的模型;运用系统工程中动态规划模型,获得了渭南市市区供水水源优化调度策略式方案。     

一种基于遗传算法的网格调度算法的研究

分析网格中现有的调度算法的优点以及不足,综合考虑带宽和数据传输量等因素,利用遗传算法的选择,交叉,变异特性,有效的减少任务的完成时间,同时考虑到任务可能存在的异常现象。引入重调度思想解决该问题,最后提出了一种新的适用于网格环境下的任务调度算法,并通过模拟实验进行验证。