课程号：

ME196001

课程名：

基于形式化方法的实时系统开发

英文课程名：

Development of Real-time Systems based on formal methods

开课单位：

机电工程学院

授课教师：

Mohamed Khalgui

责任教师：

任获荣

助理教师：

平续斌

学分/学时：

1/16

选课年级：

一到三年级本科生

选课专业：

电院、通院、机电院或其他理工科专业

教师简介（中英文）：

现为突尼斯迦太基大学教授；曾先后为洪堡学者、沙特国王大学访问教授、法国南希大学洛林计算机科学与应用学院研究员。(Professor of the University of Tunis Carthage. He was a Humboldt Scholar, a visiting professor at King's University of Saudi Arabia, and a research fellow at the Lorraine School of Computer Science and Applications at Nancy University in France.)

课程简介（中英文）：

EAs have shown many attractive features suitable for dealing with large, complex, and nonlinear problems. More specifically, they are hill-climbing algorithms which not require the differentiation of the cost function, which is a “must” for gradient-based methods. Moreover, a-priori information can be easily introduced, usually in terms of additional constraints on the actual solution, and they can directly deal with real values as well as with a coded representation of the unknowns (e.g., binary coding). As regards to the architecture of their implementation, EAs can be effectively hybridized with deterministic procedures and are suitable for parallel computing.

先修课程：

无