7.1 引言 7.2 采样过程的数学描述 7.3 信号恢复 7.4 Z变换理论 7.5 采样系统的数学模型 7.6 离散控制系统分析 7.7 数字控制器的设计 7.8 Matlab在离散系统中应用

• 校验码技术 – 海明码：存储器 – CRC码：磁盘，网络 • 硬盘数据保护技术 • RAID技术：磁盘阵列

• 形式化设计方法和过程 • 系统描述方法 – 基于模型的方法 – 基于语言的方法 • SystemC – PetriNet，1960 • 德国数学家Petri发明 • 形式化验证 – Model Checking • 属性分析 – 正确性、性能、可靠性？

一汽大众应用物流系统纪实 一汽大众汽车有限公司目前仅捷达车就有七八十个品种、十七八种颜色,而每辆车者 有2000多种零部件需要外购。从1997年到2000年年末,公司捷达车销售从43947辆一路 跃升至94150辆,市场兑现率已高达95—97%。与这些令人心跳的数字形成鲜明对比的是 公司零部件居然基本处于“零库存”状态而制造这一巨大反差的就是一整套较为完整的 物流控制系统

西安电子科技大学：《模糊理论与模糊系统 Fuzzy Theory and Fuzzy Systems》课程教学资源（课件讲义）第二章 模糊理论基础 第三部分 模糊数及其扩展运算、模糊关系

Relational Model Relational Algebra(关系代数) Relational Calculus(关系演算)

8.1 函数的定义与性质 8.2 函数的复合与反函数 8.3 一个电话系统的描述实例

自然语言处理概述 自然语言处理的挑战 自然语言处理的应用 自然语言处理实战

北京中医药大学：《数据科学导论》课程教学资源（课件讲稿）大数据与卫生管理（主讲：李瑞锋）

–推理的形式结构 –自然推理系统P