李慧芳 作品数:14 被引量:68 H指数:6 供职机构: 西安交通大学电子与信息工程学院微电子系 更多>> 相关领域: 自动化与计算机技术 化学工程 理学 经济管理 更多>>
化工批处理过程动态调度 被引量:6 2000年 通过对现有的动态调度方法进行分析与评价,阐述了近年来该领域取得的进展和存在的问题,提出了动态调度的发展趋向,是将现有的调度方法与智能方法相结合,并融合交互调度、鲁棒调度等诸多先进调度技术的集成化方法。 李慧芳 李人厚关键词:化工批处理过程 在线调度 重调度 基于Petri网的化工批处理过程调度、建模与控制研究 与离散制造系统相比,批处理过程的调度、建模与控制方法远未成熟和系统化.该文选择Petri网及其时间有关的扩展(时间Petri网、赋时库所Petri网以及时间约束Petri网)作为基本模型,研究批处理过程的实时分析、逻辑分... 李慧芳关键词:批处理 化工批处理过程 PETRI网 可调度分析 调度 文献传递 时间约束Petri网的可调度性分析研究 被引量:7 2000年 1 引言时间约束Petri网(Timing Constraint PetriNets,TCPN’s)是具有广义时间约束的Petri网,它综合了时间Petri网)(Time Petri Nets)和赋时Petri网(Timed Petri Nets)的共同特点,具有经典Petri网的理论基础和额外的时间约束能力。在实时系统建模中,它可对其它与时间有关的Petri网所不能描述的冲突结构进行建模和分析。TCPN’s使用弱触发规则,即:使能的变迁可触发也可不触发。 李慧芳 李人厚关键词:PETRI网 可调度性 实时系统 时间约束Petri网的状态可达性分析算法 2000年 时间约束Petri网是具有广义时间约束的一类Petri网。时间约束的引入使TCPN′s的演化与系统每一时刻的状态都密切相关 ,导致网的动态复杂性。目前有关TCPN′s状态可达性的研究仅局限于一些较简单的网。进一步研究了TCPN′s,给出了更一般的可达性分析方法及变迁可调度决策算法。 李慧芳 李人厚关键词:PETRI网 时间约束Petri网的可调度分析决策算法 2000年 时间约束Petri 网是具有广义时间约束的一类Petri 网。目前有关TCPN’s 可调度性分析的研究仅局限于一些较简单的网,文章通过对TCPN’s 的进一步研究,给出了更一般的变迁可调度决策算法。 李慧芳 李人厚关键词:PETRI网 可调度分析 基于赋时Petri网的化工批处理过程建模与控制优化 被引量:23 2000年 分析了化工批处理过程的特点 ,以过程设备为核心将整个过程操作划分为若干个子进程。用赋时 Petri网来建立以子进程表示的批处理过程 ,并提出启发式动态优化算法对过程进行控制。仿真结果表明 ,基于赋时 Petri网模型与启发式动态优化算法的 Petri网控制器 ,不仅能准确描述批处理过程的同步、并发及资源共享关系 ,而且 Petri网的运行能给出过程生产的最优控制序列。 李慧芳 李人厚关键词:化工批处理过程 PETRI网 时间约束Petri网的可调度性分析方法研究 被引量:7 2000年 在系统地研究了时间约束 Petri网的基础上 ,提出了一般的状态可达性分析方法。通过讨论任意拓扑结构 TCPN′s的可调度分析 ,克服了以往 TCPN′s可达性分析方法的局限性 ,显示了该方法的准确性和实用性。 李慧芳 李人厚关键词:PETRI网 可调度性分析 时间约束Petri网的状态可达及可调度分析算法 被引量:1 2000年 时间约束Petri网是具有广义时间约束的一类Petri网。时间约束的引入使TCPN’s的演化与系统每一时刻的状态密切相关,导致网的动态复杂性。目前有关TCPN’s状态可达性的研究仅局限于一些较简单的网,该文通过对TCPN’s的进一步研究,给出了更一般的可达性分析方法及变迁可调度决策算法,并讨论了含冲突结构的TCPN’s的可调度分析。 李慧芳 李人厚 陈浩勋关键词:PETRI网 可调度分析 软仪表-计算机数字存储示波器的研制 李慧芳自动总机语音信箱系统的研制 被引量:2 1999年 介绍了利用电话语音卡,计算机设计具有语音信箱功能的自动总机系统的方法及其实现,并给出了应用实例。使用结果表明,自动总机系统的增加,不仅提高了电话转接的速度,语音信箱功能使用户更加方便。 李慧芳 罗亚非关键词:电话语音卡