lInformation System Development in Theory 理论上的信息系统开发 lWinburg Mini Case Study 一个小型案例研究 lLessons of the Winburg Mini Case Study 这个小型案例研究的教训 lTeal Tractors Mini Case Study 第二个小型案例研究 lIteration and Incrementation 迭代和增量 lIteration: The Newton–Raphson Algorithm 迭代: 牛顿-拉普森算法 lThe Winburg Mini Case Study Revisited 再次探讨第二个小型案例 lOther Aspects of Iteration and Incrementation 迭代和增量的其他方面 lManaging Iteration and Incrementation 管理迭代和增量 lMaintenance Revisited 再论维护
• 实时任务约束模型 – Assumptions about task timing, interaction • 任务调度算法Scheduling Algorithm – Scheduling mode and selection function • Timeliness: deadline,worst response time,。。。 • efficiency: average response time,makespan – Prioritized goals • Temporal predictability first,performance second • 可调度分析Schedulability Test – Prediction of worst-case behavior – 基于CPU利用率(workload analysis) • for preemptive and strictly periodic tasks? – WCRT(Response time analysis) • for preemptively feasible task sets with D ≤ T • Timing Analysis(WCET分析)
• 实时任务类型与约束模型 – Assumptions about task timing,interaction,。。。 • 任务调度算法Scheduling Algorithm – Scheduling mode and selection function • Timeliness:deadline,worst response time,。。。 • Efficiency:average response time,makespan – Prioritized goals • Temporal predictability first,performance second • 可调度分析Schedulability Test – Prediction of worst-case behavior – 基于CPU利用率(workload analysis) • for preemptive and strictly periodic tasks? – WCRT(Response time analysis) • for preemptively feasible task sets with D ≤ T
网络分析原理 • 经典网络分析原理 • 我的面向对象网络分析理论 静态安全分析 电力系统潮流计算中的特殊问题 潮流问题的扩展 电力系统状态估计 Power System State Estimation 电力系统状态估计概述 Introduction to Power System State Estimation 电力系统状态估计算法 Models and Approaches of Power System State Estimation 不良数据辨识 Bad Measurement Identification 抗差状态估计 Robust State Estimation