国际电气电子工程师学会会刊《IEEE Transactions on Fuzzy Systems》即将发表bat365计科院教师潘海玉和其合作者的最新研究成果《Reachability in Fuzzy Game Graphs》一文。该论文以bat365在线中国官网登录入口计算机科学与技术学院为第一作者单位，系潘海玉博士与陕西师范大学、北京大学和浙江海洋大学相关教师的合作成果。对模糊开放系统进行可达性验证，是保障系统安全的重要手段。该文首次将在计算机科学中有着广泛应用的博弈图扩展到模糊情形下，提出一种模糊博弈图作为模糊开放系统的形式化模型，重点解决了模糊博弈图的可达性问题，并将研究成果应用到移动机器人的路径选择和软件开发公司的经营决策中。该论文从撰写、投稿、修改、录用至最终发表，前后历经2年时间。

近年来，计科院高度重视高水平师资队伍建设，采取引进和培养相结合的方式。潘海玉博士是计科院2015年引进的高层次人才，该论文也是计科院的第1篇一区TOP类期刊文章。

《IEEE Transactions on Fuzzy Systems》由美国电气和电子工程师协会(IEEE)于1993年创刊。该杂志主要发表模糊系统理论、设计与应用方面的国际最新研究成果，十分强调研究的创新性和原始性，是计算机科学领域国际顶尖学术期刊，也是JCR分区表中的一区TOP期刊，2015年影响因子为6.701。（计算机科学与技术学院）

论文链接http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7517395&filter%3DAND%28p_IS_Number%3A4358784%29