马世龙教授为信息科学与工程学院教师和研究生举行“基于动力系统理论的软件可信性度量、建模与预测”学术报告

2008年9月19日下午4：00，北京航空航天大学软件开发环境国家重点实验室副主任——马世龙教授在信息馆302会议室为信息科学与工程学院教师和研究生举行了“基于动力系统理论的软件可信性度量、建模与预测”的精彩学术报告。

马世龙教授针对目前可信软件前沿科研课题，引入动力系统理论基本思想，阐明了软件系统可信属性的极限演化行为与动力系统特征的对应关系，诠释了软件系统的行为特性及其可信复杂性的基本科学问题，给出了基于动力系统的混沌理论的软件系统不可信的动力学判据，论证了结合动力系统分支理论和指标统计方法，可以给出定量刻画软件多维可信属性演化复杂性和规律性的度量机制。并在国内外研究现状分析的基础上指出了软件可信性研究亟待解决的科学问题。

马世龙教授用具体的实例分析和数学模型为信息科学与工程学院教师和研究生开阔了视野，为今后在该领域的科学研究指明了方向，到场教师与研究生深感受益匪浅。