67、故障树分析中的割集序列集生成方法

故障树分析中的割集序列集生成方法

1. 静态门和动态门的 SFS 转换

1.1 AND 门

对于具有 n 个输入的 AND 门,可以得到 n! 个顺序故障事件(SFE)。例如,若故障树的结构函数为 Ф = ABC,则它有 3! = 6 个 SFE,即:
[CSS = { (A→B→C)∪(B→A→C)∪(A→C→B)∪(C→A→B)∪(B→C→A)∪(C→B→A) }]
一般来说,故障树的割集序列集(CSS)有多个割集序列,通常用多个 SFE 的或结构表示,因此无需对 OR 门进行转换。此外,由于 k/n 门可以由 AND 门和 OR 门重构,所以也不考虑 k/n 门的 SFS 转换。由于 AND 门的 SFS 转换会生成大量 SFE,且 AND 门对其输入顺序没有限制,有时可以在 SFE 中保留 ∩ 并忽略 AND 门的分解,将包含 ∩ 的 CSS 称为 CSS 的简化形式。

1.2 PAND 门

PAND 门是 AND 门的扩展,其输入事件必须按特定顺序发生。例如,若 PAND 门有两个输入 A 和 B,当满足以下条件时,门输出为真:
- A 和 B 都已发生;
- A 在 B 之前发生。

若 A 或 B 未发生,或者 B 在 A 之前发生,则 PAND 门不触发。由于假设不存在共因故障,PAND 门的输出仅与输入的发生顺序有关。在 PAND 门的 SFS 转换中,根据输入的位置使用 SFS 连接它们。例如,若故障树的结构函数为 Ф = A PAND B PAND C,则其 CSS 为:
[CSS = { A→B→C }]

1.3 FDEP 门

资源下载链接为: https://pan.quark.cn/s/1bfadf00ae14 “STC单片机电压测量”是一个以STC系列单片机为基础的电压检测应用案例,它涵盖了硬件电路设计、软件编程以及数据处理等核心知识点。STC单片机凭借其低功耗、高性价比和丰富的I/O接口,在电子工程领域得到了广泛应用。 STC是Specialized Technology Corporation的缩写,该公司的单片机基于8051内核,具备内部振荡器、高速运算能力、ISP(在系统编程)和IAP(在应用编程)功能,非常适合用于各种嵌入式控制系统。 在源代码方面,“浅雪”风格的代码通常简洁易懂,非常适合初学者学习。其中,“main.c”文件是程序的入口,包含了电压测量的核心逻辑;“STARTUP.A51”是启动代码,负责初始化单片机的硬件环境;“电压测量_uvopt.bak”和“电压测量_uvproj.bak”可能是Keil编译器的配置文件备份,用于设置编译选项和项目配置。 对于3S锂电池电压测量,3S锂电池由三节锂离子电池串联而成,标称电压为11.1V。测量时需要考虑电池的串联特性,通过分压电路将高电压转换为单片机可接受的范围,并实时监控,防止过充或过放,以确保电池的安全和寿命。 在电压测量电路设计中,“电压测量.lnp”文件可能包含电路布局信息,而“.hex”文件是编译后的机器码,用于烧录到单片机中。电路中通常会使用ADC(模拟数字转换器)将模拟电压信号转换为数字信号供单片机处理。 在软件编程方面,“StringData.h”文件可能包含程序中使用的字符串常量和数据结构定义。处理电压数据时,可能涉及浮点数运算,需要了解STC单片机对浮点数的支持情况,以及如何高效地存储和显示电压值。 用户界面方面,“电压测量.uvgui.kidd”可能是用户界面的配置文件,用于显示测量结果。在嵌入式系统中,用
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值