发信人: yihucha (nico), 信区: Computer
标  题: 【光熙论坛】黄荷姣 副教授 - 基于Petri网的调度系统描述、验证与优化 
发信站: BBS 哈工大紫丁香站 (Fri Mar 23 22:27:47 2007)

题目：基于Petri网的调度系统描述、验证与优化 
时间：3月25号(周日)上午9：00 
地点：新技术楼618 
主讲人： 哈工大深圳研究生院  
          黄荷姣 副教授 

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

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




                         计算机院研分会
--

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