华侨大学信息学院罗继亮副教授发表在JCR TOP期刊的长文,经国际专家组两轮的严格评审,从8篇高水平论文中胜出,获得“何潘清漪优秀论文奖”,并于2012年7月8日在国际智能与自动化世界大会的晚宴上举行了颁发奖状和奖金的仪式。

    据了解,罗继亮副教授的论文证明Petri网任意禁止状态集合均可描述为一组线性约束,这证实了线性约束具有强大的建模能力,能够表示安全、顺序、联锁以及工艺规范或实时任务对应的复杂控制规范;给出了一系列等价简化线性约束的方法,特别是在前向无同步网上得到了最优高效监控器的设计方法。该成果是可靠、高效逻辑控制程序设计的理论基础,尤其适用于对可靠性和实时性要求苛刻的安全关键领域,比如轨道交通和核电的控制系统设计。

    据悉,“何潘清漪优秀论文奖”是美国哈佛大学终身教授、美国工程院院士、中国科学院和工程院外籍院士何毓琦(Yu-Chi Ho)先生为了庆贺其母亲何潘清漪老太太九十岁生日设立的,借以纪念她的母爱,以及她为了支持何先生的事业所付的辛劳。何毓琦教授设立该奖项的目的在于选拔、奖励、促进和宣传中国学者在DEDS领域内得到的为国际承认的重大成果。该奖项的评选论文由提名组提名入围名单,入围论文由国际专家组甄别和最终评定,提名组和专家组均由国际知名学者组成。