English

学术交流

首页  > 学术科研 > 学术交流

Summer Short-Term Teaching Plan

来源:研究生教务  作者:数学学院     日期:2017/6/26 10:55:00   点击数:555  
 

Year/Term: 2017/Summer

Coordinator: Dr Jun Liu at SWJTU

Theme 1

Advanced Operational Research

Sessions

Dates

Hours

Topics

1

Tuesday, 27th June, 2017

Morning (3 Hours)

Traditional Optimization Approaches and Statistical Models in Operational Research: Overview

2

Tuesday, 27th June, 2017

Afternoon (3 Hours)

AI for OR: Heuristic Optimisation Methods Summary

(The AI approach, Simulated Annealing, Tabu Searches, Genetic Algorithms, Artificial Neural Network, and the Deep Learning)

3

Wednesday, 28th June, 2017

Morning (3 Hours)

Combination of Data-Driven and Knowledge-Driven Approaches

Some general talks and Q/A about paper writing and doing research

Theme 2

Reliable Software Development – Formal Approaches

Sessions

Dates

Hours

Topics

4

Thursday, 29th June, 2017

Morning (3 Hours)

Introduction to Formal Requirement Specification

·         Why formal approach? Software Engineering and Software Qualities; Requirements Engineering Process; Specification Techniques Overview

5

Friday, 30th June, 2017

Morning (3 Hours)

Formal Specification and Verification

·         Z Specification Language: Case Study

·         Formal Verification Framework

o Model Checking and Deductive Verification