2.1 个体、谓词与量词 2.2 谓词公式 2.3 谓词演算的等价式与蕴含式 2.4 前束范式 2.5 谓词逻辑的推理理论

理论的共同点是:反应物分子之间的“碰撞”是 反应进行的必要条件,但并不是所有“碰撞”都会引 起反应。是否能反应取决于能量等因素,与碰撞 肘具体变化过程密切相关。讨论碰撞尉具体变化 过程也正是速率理论的关键所在

5.1 Turbo码的编码 5.2 Turbo码的迭代译码 5.3 Turbo码的性能界 5.4 交织器设计 5.5 分量码的优化

宏观物体都是由大量不停息地运动着的、彼此 有相互作用的分子或原子组成 现代的仪器已可以观察和测量分子或原子的大 小以及它们在物体中的排列情况,例如X光分析仪, 电子显微镜,扫描隧道显微镜等. 利用扫描隧道显 微镜技术把一个个原 子排列成IBM字母 的照片 对于由大量分子组成的热力学系统从微观上加 以研究时,必须用统计的方法

§3.1 理想气体动理论的基本公式 §3-2 能量均分定理 §3-4 麦克斯韦速率分布律 §3-11 气体分子的平均自由程 §3-11 气体内的输运过程

一个复杂系统可能有多个输入和多个输出,并且以某种方式相互关联或耦合。为了分 析这样的系统,必须简化其数学表达式,转而借助于计算机来进行各种大量而乏味的分析 与计算。从这个观点来看,状态空间法对于系统分析是最适宜的。 经典控制理论是建立在系统的输入输出关系或传递函数的基础之上的,而现代控制理 论以n个一阶微方程来描述系统,这些微分方程又组合成一个一阶向量矩阵微分方程。应 用向量矩阵表示方法,可极大地简化系统的数学表达式

§5.1平衡态温度理想气体状态方程§5.2理想气体的压强和温度§5.3能量均分定理理想气体的内能§5.4麦克斯韦分子速率分布定律§5.5分子平均碰撞频率和平均自由程

能控性(controllability)和能观测性(observability)深刻地揭示了系统的内部结构关系,由 .e.Kalman于60年代初首先提出并研究的这两个重要概念,在现代控制理论的研究与实 践中,具有极其重要的意义,事实上,能控性与能观测性通常决定了最优控制问题解的存 在性。例如,在极点配置问题中,状态反馈的的存在性将由系统的能控性决定;在观测器 设计和最优估计中,将涉及到系统的能观测性条件

名词解释 食品败坏果蔬加工质地因子果胶物质果蔬速冻最大冰晶形成带过冷点T、T、T理论 P、P、P理论单体速冻冷冻量均质脱气热灌装无菌包装芳香回收天然果蔬汁巴氏杀菌 果蔬预处理果汁粉带肉果汁2、真空度商业无菌2、过冷却现象直接接触冻结法间接接触冻结法

§6-1 平衡态 温度 理想气体状态方程 §6-2 理想气体压强公式 §6-3 温度的统计解释 §6-4 能量均分定理 理想气体的内能 §6-5 麦克斯韦分子速率分布定律 *§6-6 玻耳兹曼分布律 §6-7 分子的平均碰撞次数和平均自由程 *§6-8 气体内的输运过程