高等数学定积分微积分学基本定理推荐.pptVIP

国家职业安全卫生管理体系认证中心（青岛） HSE管理体系内部审核员培训教程 国家职业安全卫生管理体系认证中心（青岛） HSE管理体系内部审核员培训教程 故 障 树 分析（FTA） 当HAZOP、FMEA对复杂体系而言变得复杂并难以实施时所发展的分析方法 系统、逻辑发展事件可导致事故或健康危害 目的是识别特定事件的起因（源头事件） 通过图表进行定性及定量分析展示结果 国家职业安全卫生管理体系认证中心（青岛） HSE管理体系内部审核员培训教程 从源头事件着手 决定 立即 必要 理由充足 转到下一个阶段,重复 运用规则 逻辑符号 (和,或, 不,等.) 创建规则 构 筑 FTA 国家职业安全卫生管理体系认证中心（青岛） HSE管理体系内部审核员培训教程 故 障 树 FTA分 析 明确源头事件 : 最危险的阶段; 要求对非预期事件/后果的精确定 义 明确条件范围 不允许（不可能）事件 现存（特定）事件 物理范围 解决程序 (可获得的相应信息) 初始装备配置 国家职业安全卫生管理体系认证中心（青岛） HSE管理体系内部审核员培训教程 F T A 举例 明确问题 最高事 --火灾 现有事件 --易燃物品 不允许事件 --火源 国家职业安全卫生管理体系认证中心（青岛） HSE管理体系内部审核员培训教程 故障树基本符号 和: 如果所有输入是正确 的，输出就是正确的 或: 假如一个或多个输入是正确的，输出就是正确的 中间事件: 按逻辑揄可演变成为缺陷事件 基础事件:复合缺陷或失败事件，分析解决的极限 静止事件: 缺陷事件没有进一步扩展 (已达到边界) 隐蔽事件: 预期或假想的条件 转移符号: 在另外场合的逻辑发展 国家职业安全卫生管理体系认证中心（青岛） HSE管理体系内部审核员培训教程 故 障树FTA分析 - 火灾 国家职业安全卫生管理体系认证中心（青岛） HSE管理体系内部审核员培训教程 故 障树FTA分析 - 酸类灼伤 HF 溶液 操作者接触 溢出 腐蚀 传输工具的影响 HF 酸灼伤 泵故障 水平传感器故障 没有足够的个人防护用具 未经许可的 人员进入 容器泄漏 国家职业安全卫生管理体系认证中心（青岛） HSE管理体系内部审核员培训教程 事件树ETA分析 是一种用于说明在选择初始事件后,中间环节和最终环节可 能产生的后果 双向逻辑形式的技术（是/否） 用来分析主要危险的后果及对人员、财物、环境的影响 能用于量化风险 国家职业安全卫生管理体系认证中心（青岛） HSE管理体系内部审核员培训教程 从初发事件的开始、跟踪事故级数/ 进展 事故树步骤 识别初始事件 识别影响 后果的安全功能 建立事故树 描述所导致的事故后果 事件树ETA分析 国家职业安全卫生管理体系认证中心（青岛） HSE管理体系内部审核员培训教程 事件树ETA分析 识别初始事故 一个预期的系统或过程失败，或体系混乱 随后期望的大多数计划已经设计障碍 例如：火灾发生 识别影响后果的安全功能－通常包括: 自动安全系统 报警 操作行为 限制影响的障碍 返回 后页 前页 返回 后页 前页 §5 微积分学基本定理 一、变限积分与原函数的存在性 本节将介绍微积分学基本定理, 并用以证明连续函数的原函数的存在性. 在此基础上又可导出定积分的换元积分法与分部积分法. 三、泰勒公式的积分型余项 二、换元积分法与分部积分法 返回 一、变限积分与原函数的存在性 积分; 类似称 为变下限的定积分. 定理9.9 ( 变上限定积分的连续性 ) 证 则 为变上限的定 于是 定理9.10（微积分学基本定理) 若 f 在 [a, b] 上连续, 上处处可导,且 由 x 的任意性, f 在 [ a, b ] 上连续. 证 由于 f 在 x 处连续，因此 注1 本定理沟通了导数与定积分这两个表面上似 续函数必存在原函数”这个重要结论. 乎不相干的概念之间的内在联系, 也证明了“连 注2 由于 f 的任意两个原函数只能相差一个常数, 定理9.11(积分第二中值定理) 设 f 在[a, b]上可积. (i) 若函数 g 在 [a, b] 上单调减,且 则存 所以当 f 为连续函数时, 它的任一原函数 F 必为 (ii) 若函数 g 在 [a, b] 上单调增, 且 则存 证 这里只证 (i), 类似可证 (ii). 证明分以下五步: (1) 对任意分割 T： (4) 综合 (2), (3), 得到 推论 即 证 若 g 为单调递减函数， 则 h 非负、单调减, 由定理 9.11(