中科院软件所周巢尘院士访问先进院
发布时间：2018-02-01
浏览：Loading...
2011年6月22日，在深圳中国科学院院士活动基地的协助下，中国科学院深圳先进技术研究院邀请了中国科学院软件研究所计算机科学国家重点实验室周巢尘院士访问中国科学院深圳先进技术研究院。周院士做了题为“Modeling and Verification of Hybrid Systems”的学术讲座，并分别与樊建平院长、陈国良院士、冯圣中所长、须成忠研究员、谷德权研究员、杨绍发副研究员进行了实效甚丰的合作交流。
周院士的研究领域为高端软件系统的严密描述与安全性验证，尤其是含有离散与连续动态变量的系统。这些系统广泛存在于高铁、汽车、航空、高端医疗设备等应用领域中。周院士于1991年创立了时段演算逻辑理论（Duration Calculus），该理论吸引了欧洲、美国、印度等的学者进行以此理论为基础的相关研究。于2003年周院士与丹麦Michael R. Hansen教授合著的专著《Duration Calculus: A Formal Approach to Real-Time Systems》，由Springer-Verlag出版并编入欧洲理论计算机科学专著系列中。于6月22日在先进院做的学术讲座，周院士以中国高铁交通控制系统、飞机避撞协议为例，深入阐释了针对并行的离散与连续系统的安全性验证，方法基于时段演算逻辑理论与计算机代数。与会人员与周院士进行了热烈的问答与讨论。
先进院研究人员与周院士的交流成果包括：（一）、中科院软件所计算机科学国家重点实验室设有面向国内外科研人员的开放课题基金，每年都收到大量申请书，欢迎先进院及深圳高等院校的研究人员申请。（二）、中科院软件所与先进院在应用于复杂系统分析、验证、优化的高性能计算，高铁交通控制，汽车航空嵌入式系统等研究领域有很好的互利合作潜能，计划举行先进院研究人员、周院士及中科院软件所计算机科学国家重点实验室研究人员的非正式深度讨论会，在上述领域进行务实的科研合作。
周院士的研究领域为高端软件系统的严密描述与安全性验证，尤其是含有离散与连续动态变量的系统。这些系统广泛存在于高铁、汽车、航空、高端医疗设备等应用领域中。周院士于1991年创立了时段演算逻辑理论（Duration Calculus），该理论吸引了欧洲、美国、印度等的学者进行以此理论为基础的相关研究。于2003年周院士与丹麦Michael R. Hansen教授合著的专著《Duration Calculus: A Formal Approach to Real-Time Systems》，由Springer-Verlag出版并编入欧洲理论计算机科学专著系列中。于6月22日在先进院做的学术讲座，周院士以中国高铁交通控制系统、飞机避撞协议为例，深入阐释了针对并行的离散与连续系统的安全性验证，方法基于时段演算逻辑理论与计算机代数。与会人员与周院士进行了热烈的问答与讨论。
先进院研究人员与周院士的交流成果包括：（一）、中科院软件所计算机科学国家重点实验室设有面向国内外科研人员的开放课题基金，每年都收到大量申请书，欢迎先进院及深圳高等院校的研究人员申请。（二）、中科院软件所与先进院在应用于复杂系统分析、验证、优化的高性能计算，高铁交通控制，汽车航空嵌入式系统等研究领域有很好的互利合作潜能，计划举行先进院研究人员、周院士及中科院软件所计算机科学国家重点实验室研究人员的非正式深度讨论会，在上述领域进行务实的科研合作。
