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 再论维护

蛋白质特定的三维结构与其生物功能密切相关，因此，研究蛋白质的三维结构有助于揭示其生物功能机制。将核磁共振（NMR）波谱法应用于研究溶液状态下蛋白质的三维结构，能够更加准确地揭示蛋白质结构与生物功能之间的关系。本文综述了NMR解析蛋白质三维结构的理论和技术方法，以及NMR结合其他生物物理手段，并辅以分子建模计算法研究蛋白质三维结构的研究进展和最新方法，为精准解析蛋白质的三维结构提供思路及策略

3.1 流密码基本原理 3.2 有限域 3.3 线性反馈移位寄存器 3.4 线性反馈移位寄存器的非线性组合 3.5 A5/1算法 3.6 流密码的应用

 4.1群, 环和域  4.2 模算术  4.3 欧几里得算法  4.4 有限域GF(p)  4.5 多项式运算  4.6 有限域GF(2n)

进化博弈的基本内容 我们的研究工作 随机进化博弈所面临的理论困难 在计算机网络中的应用 在复杂网络中的应用 我们的未来研究工作

3.1关系数据模型 3.1.1 关系模式 3.1.2 关系操作 3.2关系模型的完整性规则 3.2.1 关系的三类完整性约束 3.2.2 实体完整性 3.2.3 参照完整性 3.2.4 用户自定义完整性 3.3关系代数的基本运算 3.3.1 传统的集合运算 3.3.2 专门的关系运算 3.3.3 关系代数表达式及其应用实例 *3.4关系演算 元组关系演算 域关系演算 3.5 查询优化 3.5.1 查询优化的一般策略 3.5.2 代数表达式的等价变换规则 3.5.3 优化算法

• 实时任务类型与约束模型 – 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

数字控制器的设计方法: 连续化设计:采样周期短、控制算法简 单的系统。忽略零阶保持器和采样器,求 出系统的连续控制器,以近似方式离散化 为数字控制器。 离散化设计:采样周期长的或控制复杂 的系统。直接使用采样控制理论设计数字控制器

• 类型推断的一般框架 –基于从类型化语言到无类型语言的“擦除”函数 • 加了类型变量后的→类型推断 –包括主定型和合一问题 • 带多态声明的 let的类型推断算法