• 形式化设计方法和过程 • 系统描述方法：基于状态和迁移 • 形式化验证 – Model Checking – 时态逻辑：LTL、CTL、RTL • 属性分析 – 正确性、性能、可靠性？

7-7 分子平均碰撞次数和平均自由程 7-8 气体的迁移现象 7-9 实际气体的范德瓦耳斯方程 7-10 热力学第二定律的统计意义

高等教育出版社：《物理学教程》教材电子教案（PPT课件，马文蔚第四版）第七章 气体动理论 7-08 气体的迁移现象

第一节 群体遗传学 一、群体的遗传组成 二、哈迪-温伯格定律 第四节 群体中基因频率的改变 一、突变 二、遗传漂变 三、迁移 四、自然选择

郑州大学：《微生物学与免疫学》课程教学资源（课件讲义）淋巴细胞发育、迁移及分化抗原表达

《有机化学》课程教学资源（文献资料）[3,3]σ迁移反应过渡态立体化学过程的新观点

1．红土、桑基鱼田 2．中原下岭南之路：珠矶巷与客家，移民迁移的路线 3．得风气之先的岭南城市风格和影响 4．岭南南越文化与热带洋风

兰州交通大学：《物理化学》课程教学资源（实验指导）离子迁移数测定

运城学院：《环境化学》课程教学资源（教案讲义）土壤中重金属的迁移和转化

§12.6 温度的微观本质 §12.7 能量按自由度均分原理 §12.8 玻耳兹曼分布律 §12.9 实际气体的性质 §12.10 气体分子的平均自由程 §12.11 气体内的迁移现象 §12.12 热力学第二定律的统计意义和熵的概念