主  讲  人：刘向阳(Dr.Alex Liu)博士

时      间：12月15日（周四）15:00

地      点： 北二区二层会议室

主 办 单 位： 信息工程学院

主讲人介绍：刘向阳博士2006年在得克萨斯大学获得计算机科学方向的博士学位，目前是美国密歇根州立大学计算机科学和工程系的助理教授，研究方向：网络、安全、可靠系统。刘向阳博士先后发表EI、SCI收录论文近百篇，获得2004年IEEE&IFIP William C. Carter奖，2009年美国自然科学基金（NSF）职业奖，2011年密歇根州立大学工程学院有突出贡献学者奖。

内容 介 绍：在网络维护、诊断、监控和审计等管理过程中，网络可达性的质量和查询是非常重要的。虽然已经对网络可达性问题进行了建模，但是还没有可行的网络可达性的计算方法。提出了一种基于网络配置的可达性评价和查询算法。该模型综合考虑了有连接和无连接的传输协议、无状态/有状态路由（或防火墙）、静态/动态NAT、PAT等因素。利用该算法设计实现的网络可达性分析工具Quarnet,在大学网络环境中进行了实验和测试。实验结果表明：离线可达性计算花费几个小时，在线可达性查询平均只需要0.075秒。

备       注：欢迎各位老师，广大研究生、本科生参加！