[发明专利]时间约束触改逻辑的动态故障树模型及仿真方法有效

专利信息
申请号: 201910877703.5 申请日: 2019-09-17
公开(公告)号: CN110705051B 公开(公告)日: 2021-07-02
发明(设计)人: 赵广燕;刘陆杰;孙宇峰;胡薇薇;轩杰 申请(专利权)人: 北京航空航天大学
主分类号: G06F30/20 分类号: G06F30/20;G06F11/07;G06F111/10;G06F111/04
代理公司: 北京市中闻律师事务所 11388 代理人: 冯梦洪
地址: 100191*** 国省代码: 北京;11
权利要求书: 查看更多 说明书: 查看更多
摘要: 一种时间约束触改逻辑的动态故障树模型,其能够针对系统中存在时间约束触改故障逻辑的特点,找出系统的薄弱环节,无论对于改进系统的设计,提高系统的可靠性水平,减轻安全问题发生,减少经济损失,都具有极为重要的意义。假设系统(A)中存在第一单元(A1)和第二单元(A2),这两个单元的工作时间是[t1,t2),存在特定时间(T),(t1≤Tt2),在特定时间(T)之前,第一单元(A1)和第二单元(A2)是第一逻辑关系,在特定时间(T)之后,第一单元(A1)和第二单元(A2)是第二逻辑关系,结合单事件时序门及与门、或门等静态逻辑门,建立系统(A)的动态故障树模型,并给出模型的仿真方法。
搜索关键词: 时间 约束 逻辑 动态 故障 模型 仿真 方法
【主权项】:
1.时间约束触改逻辑的动态故障树模型,其特征在于:/n假设系统(A)中存在第一单元(A
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。

该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于北京航空航天大学,未经北京航空航天大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服

本文链接:http://www.vipzhuanli.com/patent/201910877703.5/,转载请声明来源钻瓜专利网。

×

专利文献下载

说明:

1、专利原文基于中国国家知识产权局专利说明书;

2、支持发明专利 、实用新型专利、外观设计专利(升级中);

3、专利数据每周两次同步更新,支持Adobe PDF格式;

4、内容包括专利技术的结构示意图流程工艺图技术构造图

5、已全新升级为极速版,下载速度显著提升!欢迎使用!

请您登陆后,进行下载,点击【登陆】 【注册】

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top