信息工程学院“信息科学论坛”系列学术报告之37

发布时间:2011-10-01作者:来源:新闻网 字体: 设置

主讲:周巢尘院士
时间:2011年8月29日(周一)下午2:45
地点:校本部北院信息工程学院2楼会议室

摘要:
主要介绍混成系统(嵌入式系统、信息物理融合系统)的建模语言HCSP(混成通信顺序进程)、微分不变式的生成算法和验证逻辑HHL(混成霍尔逻辑)的基本思想。本报告是基于自然科学基金的、跨学科的研究项目--“基于计算机代数的我国高速铁路的控制系统规范CTCS-3/4的分析和验证”的已有成果。
 
周巢尘院士简历:
中国分布式程序设计理论研究的先驱者和开拓者之一,中国科学院院士,第三世界科学院院士。1986年6月起任中国科学院软件研究所研究员,1992年8月至1997年7月兼任联合国大学国际软件技术研究所首席研究员,1997年8月至2002年8月兼任该所所长。

  (信息学院 供稿)