王芳芳
- 作品数：3 被引量：5H指数：2
- 供职机构：青岛理工大学自动化工程学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 应用马尔科夫模型分析起落架的可靠性被引量：3
- 2014年
- 为了提高飞机起落架控制系统的安全性能,提出了基于马尔科夫模型的起落架控制系统可靠性评估方法。首先分析系统每个节点的可靠性。运用马尔科夫过程对节点控制系统进行数学建模,根据故障空间状态图推导出系统的查普曼-柯尔莫戈洛方程,然后利用数学方法解出系统处于每一个状态的概率,得到节点控制系统的可靠度,进而求出整个起落架控制系统的可靠度。结果表明马尔科夫过程可以对起落架控制系统的可靠性进行准确的分析,结果精确,计算过程简单,对数学工具的要求低,适用于起落架这种复杂控制系统的可靠性研究。
- 高志雷建和张丹聂余满王芳芳
- 关键词：飞机起落架可靠性故障率
- 形式化方法和信号解释Petri网在PLC编程中的应用被引量：2
- 2014年
- 针对传统的PLC编程方式在解决复杂控制问题时存在的缺陷,采用一种将形式化和信号解释Petri网(SIPN)应用于PLC程序设计的方法.通过一个机器人焊接单元的例子来说明这一设计过程,首先建立系统控制算法的信号解释Petri网模型,验证其是否满足基本Petri网的安全性、活性和可逆性的特征,然后利用模型检测工具Cadence SMV对系统模型进行验证和确认(V&V),检验其是否满足SIPN的确定性、终止性和输出正确性,从而避免了控制算法的设计过程中可能出现的并发、冲突和死锁等事件,由此设计出具有更高的正确性和可靠度的PLC程序.
- 王芳芳雷建和张丹聂余满高志
- 关键词：形式化方法
- 起落架的分布系统设计
- 2014年
- 针对传统的飞机起落架集中式控制系统布线复杂、线束成本高、可靠性相对较低等不足,提出一种分布式起落架控制系统,并介绍其总线协议、拓扑结构、配电配置等。
- 高志雷建和张丹聂余满王芳芳
- 关键词：分布式控制系统总线协议拓扑结构
