发信人: cookie (巧克力曲奇), 信区: Computer
标  题: 光熙论坛---基于Petri 网的调度系统描述、验证与优化
发信站: 哈工大紫丁香 (Thu Mar 22 08:50:25 2007), 转信


题目：基于Petri 网的调度系统描述、验证与优化

报告人：黄荷姣

时间：2007年3月25日（星期日）上午9：00

地点：新技术楼618会议室 

报告人简介： 
黄荷姣博士1996年和1999年分别获陕西师范大学数学系理学学士和硕士学位；2004年7月获香港城市大学计算机系博士学位。1999年3月至2001年1月任香港城市大学计算机系助理研究员；2004年12月工作于哈工大博士后流动站并留校任哈工大深圳研究生院副教授职务。主要研究方向包括软件系统设计形式方法，Petri网理论与应用，图论与运筹学，通信网络等。近年来在IEEE Transations on Software Engineering, Theoretical Computer Science, Journal of Parallel and Distributed Computing, Journal of Information Science and Engineering，IEEE International Conference on Robotics and Automation，IEEE International Conference on Machine Learning and Cybernetics 等国际一流期刊和会议发表论文20 多篇，曾经先后参与5项香港政府基金项目，主持和重点参与了博士后基金项目、国家自然科学基金重点项目、国家863项目等。

讲座内容简介：
为了满足市场需求，企业生产规模越来越大，相应的调度系统越来越复杂。因此，寻求适用于实际大规模调度的系统设计和调度优化方法成为工业界和学术界研究的焦点。
由于缺乏合适的数学模型，传统调度算法只能适用于小规模简单系统的调度优化。为了克服现有技术的不足，本研究从调度系统设计和优化算法两方面着手，借助构件系统设计的思路，采用性质保留Petri网过程代数（PPPA）作为建模和系统分析工具，研究大规模调度系统的设计描述与验证。在完成系统设计的基础上，借鉴现有优化算法的优点，寻求适用于大规模调度系统的混合优化方法。

--

※ 来源:·哈工大紫丁香 bbs.hit.edu.cn·[FROM: 202.118.228.44]