Bwin必赢国际官网
您所在的位置: 首页 >> 研究生教育 >> 正文

研究生教育

2013年计科院博士论坛(3)
发布时间:2013-12-13     浏览量:   分享到:

学术报告(一)

报告题目:Simulation for lattice-valued doubly labeled transition systems

报 告 人:潘海玉

报告时间:20131218 下午15:00-16:00

报告地点:Bwin必赢国际官网报告厅

报告内容简介:During the last decades, a large amount of multi-valued transition systems, whose transitions or states are labeled with specific weights, have been proposed to analyze quantitative behaviors of reactive systems. To set up a unified framework to model and analyze systems with quantitative information, in this paper, we present an extension of doubly labeled transition systems in the framework of residuated lattices, which we will refer to as lattice-valued doubly labeled transition systems (LDLTSs). Our model can be specialized to fuzzy automata over complete residuated lattices, fuzzy transition systems, and multivalued Kripke structures. In contrast to the traditional yes/no approach to similarity, we then introduce lattice-valued similarity between LDLTSs to measure the degree of closeness of two systems, which is a value from a residuated lattice. Further, we explore the properties of robustness and compositionality of the lattice-valued similarity. Finally, we extend the Hennessy-Milner logic to the residuate lattice-valued setting and show that the obtained logic is adequate and expressive with lattice-valued similarity.

报告人简介:潘海玉,男,1976年生。19967月,专科毕业于巢湖师范专科学校电器专业,20094月,于浙江理工大学计获得算机应用技术专业硕士学位,20126月,获得华东师范大学计算机应用技术博士学位。20127月起,在安徽工程大学计算机与信息学院教学和科研工作,同年12进入Bwin必赢国际官网计算机科学与技术博士后流动站从事科研工作。目前主要研究方向是:形式化建模与验证。

 

学术报告(二)

报告题目:不确定环境下无线传感器网络路由算法研究

  人:卢俊岭

报告时间:20131218 下午16:00-17:00

报告地点:Bwin必赢国际官网报告厅

报告内容简介:无线传感器网络 (Wireless Sensor Network, WSN)在部署环境、无线通信、服务质量和网络拓扑等方面同时存在随机不确定性和模糊不确定性。为了刻画WSN路由的不确定性,基于不确定性理论和优化理论进行路由模型的建模,重点对无线干扰、网络模型、服务质量和路由优化模型的不确定性进行分析和表示,提出多个基于不确定环境的WSN路由算法,丰富和完善了WSN路由算法的研究。

报告人简介:卢俊岭,男, 1995年毕业于Bwin必赢国际官网(本科),获得计算机科学教育专业理学学士学位,2003年毕业于西北工业大学(硕士研究生),获得计算机软件与理论专业工学硕士学位,2013年毕业于Bwin必赢国际官网(博士研究生),获得计算机软件与理论专业工学博士学位。研究方向为无线传感器网络和机会社会网络。Soft Computing、计算机学报和Tsinghua Science and Technology等期刊和国际会议(QL&SC)上发表多篇论文,参与多项国家自然科学基金和省部级项目。