一类可修系统的可靠性指标和最成检测策略

研究可修系统的一个模型,假定系统有2种工作状态(正常及异常)和2种故障状态.系统故障时不需检测,系统工作时必须经过检测才能知道它是正常还是异常,并且检测结果有可能出现错误.系统开始工作后,每隔一段时间对它检测一次,直到系统故障或检测出系统处于异常状态为止.利用补充变量方法求出了系统的可靠性指标、系统的最优检测周期和诊断参数的最优临界值.     

2类故障系统的检测策略研究

研究具有2类故障的可修系统的一个模型,假定系统工作时可能直接发生第1类故障,也可能经过异常后发生第2类故障.系统故障时不需检测,系统工作时必须经过检测才能知道它是正常还是异常,并且检测时间是一个随机变量.系统开始工作后,每隔一段时间对它检测一次,直到系统故障或者检测结果是系统处于异常状态为止.利用密度演化方法,求出了系统的可靠性指标和最优检测策略.     

故障诊断和检测策略的综合研究

研究系统的故障诊断和检测策略问题．假定系统有两种工作状态(正常状态及异常状态)和一种故障状态，为判断系统是正常还是异常，每隔一段随机时间对系统检测一次．利用概率分析、补充变量和最优化方法，导出了系统一些新的运行指标、诊断参数的最优临界值和最优检测周期．     

机电系统状态监测及故障预警的信息化技术分析

机电系统运行状态监测是一项非常重要的工作,以往机电系统运行状态监测主要是通过人工查验的方式来完成的,不能实时性、全面性了解机电系统的实际运行情况,不能发现机电系统运行中存在的故障隐患.状态监测技术与故障预警信息化技术应用,结合先进科学技术的优势,缩减机电系统运行状态检测过程中人力资源投入,提升机电系统运行状态检测的全面性、精准性,保证机电系统可以长期处于健康稳定运行状态中.     

testo880红外热像仪

在仪器设备的的使用中，温度的异常变化通常预示着机械可能出现故障的隐患，红外热像仪是发现隐患的最佳助手，可及早地发现系统中出现的异常问题，避免故障的发牛，保证仪器及系统正常、安全的运行。     

特殊状态需要特殊修理的诊断可修系统

研究了特殊状态需要特殊修理的诊断可修系统.假设系统有三种运行状态:正常状态、 异常状态和故障状态,有些异常状态和故障状态需要特殊的修理,但哪些异常状态和故障状态 需要特殊修理必须诊断后才能知道.利用概率分析和补充变量方法,求得了系统的重要可靠性 指标.     

起重机电机定子异常失电故障保护功能检测系统设计及应用

针对我国起重机电机定子异常失电故障隐患问题,传统人工检测方法效率低且在检测过程中容易遗漏隐患的缺陷,严重威胁到日常生产作业安全.根据起重机安全检规相关规定和检测方法,设计出一款起重机电机定子异常失电故障保护功能检测系统,使用人机交互触摸屏界面可以实现检测系统功能自检复位,所提出分类异常故障模拟实验检测方法自动化程度高,...     

红外热成像技术在电力设备故障诊断中的应用

红外热成像技术可实现电力设备在运行状态时以非接触的快速、在线监测方式获取设备的运行状态信息,通过对电力设备的异常温升来发现和诊断设备故障,从而实现隐患、故障的提早发现。     

基于嵌入式系统的行波管突发故障在线监控模块

研制了基于嵌入式单片机的行波管突发故障在线检测模块.采用嵌入式单片机作为在线监控系统的核心芯片,设计了基于波峰检测的高速数据压缩的数据采集模块,捕获突发的故障波形.采用互感器和高速电压比较器捕获正向和反向突发异常信号,并通过中断技术,使CPU及时做出应对处理,系统响应时间达到1 μs.设计了热电偶测温电路,通过温度测量可以检测行波管工作时的温度动态变化,这对于了解大功率行波管的工作状态,发现行波管异常状态将起到重要的保证作用.建立后向通道,为整个模块的网络化管理提供了便利.     

一种基于深度迁移学习的滚动轴承早期故障在线检测方法

近年来, 深度学习技术已在滚动轴承故障检测和诊断领域取得了成功应用, 但面对不停机情况下的早期故障在线检测问题, 仍存在着早期故障特征表示不充分、误报警率高等不足. 为解决上述问题, 本文从时序异常检测的角度出发, 提出了一种基于深度迁移学习的早期故障在线检测方法. 首先, 提出一种面向多域迁移的深度自编码网络, 通过构建具有改进的最大均值差异正则项和Laplace正则项的损失函数, 在自适应提取不同域数据的公共特征表示同时, 提高正常状态和早期故障状态之间特征的差异性; 基于该特征表示, 提出一种基于时序异常模式的在线检测模型, 利用离线轴承正常状态的排列熵值构建报警阈值, 实现在线数据中异常序列的快速匹配, 同时提高在线检测结果的可靠性. 在XJTU-SY数据集上的实验结果表明, 与现有代表性早期故障检测方法相比, 本文方法具有更好的检测实时性和更低的误报警数.     

智能测控系统中动态规则检验的实现

提出了一种动态规则设定和检验的实现方法。该方法可在不改变智能测控系统主体程序的情况下,灵活地改变其工作方式;不仅占用系统资源极少,而且提高了系统的运行效率;有效地解决了测控系统中难以实现动态规则的设定和检验问题。给出了其具体实现,该方法有广泛的适用性。     

基于属性的访问控制策略的正确性验证

基于属性的访问控制策略以更精确的粒度控制着用户或进程对系统资源的访问,因此获得了越来越广泛的应用。然而必须保证所制定策略的正确性,才能防止对系统资源的非法访问,因此必须研制出一种有效的方法来验证策略的正确性。基于模型检测技术提出了一种访问控制策略的覆盖性与完整性验证方法。主要思想是将覆盖性与完整性验证归约为模型检测问题。将规则集与其变异分别视为模型,以模态逻辑公式描述其性质。调用模型检测算法,分别在模型及其变异模型上检测性质,生成反例报告以确定模型故障点和模型规则缺失点,同时分析性质本身的完善性,最终以完善后的模型和性质再次调用模型检测算法来完成覆盖性与完整性验证。实例分析结果表明覆盖性验证能够有效发现错误的规则,完整性验证能够有效识别验证规则的完备性。方法依托于模型检测工具完成,具有自动化程度高、易操作、测试结果可靠的特点。     

基于任务的故障检测机制的研究

磁盘阵列故障检测机制是保证磁盘阵列可靠性的核心技术;为了能够及时检测系统故障,提出一种基于任务的故障检测机制;该机制根据磁盘阵列任务特征,将任务分为三类,并描述任务间的依赖关系;当故障发生时,该机制能够及时主动地检测出错任务,并根据任务间依赖关系划分恢复组,将故障影响控制在恢复组内;计算机仿真结果显示,采用该故障检测机制的故障处理系统不仅故障检出率高,而且对磁盘阵列控制器系统读写速率影响小,能够显著地提高磁盘阵列系统可靠性。     

一个考虑多种排错延迟的NHPP类软件可靠性增长模型

软件可靠性增长模型通常假设软件的测试环境与软件实际运行的现场环境相同,期望利用测试阶段获得的失效数据评估软件在现场运行时的失效行为。多数非齐次泊松过程类软件可靠性增长模型假设软件故障被发现后立即被排除,这点假设无论是在测试环境还是在现场环境下都很难实现。根据故障对测试过程的影响,故障的排错时间可被分为多种。提出了一个考虑多种排错延迟的软件可靠性增长模型,讨论了基于这个模型的故障排除效率函数,指出从用户角度出发讨论软件可靠性时必须考虑重复性故障。     

部分可修系统的可靠性分析

The reliability analysis of a system with repairable failures and non-repairable failures is presented. It is assumed that the system has n repairable failure modes and m non-repairable failure modes. As one repairable failure mode takes place, the system will be repaired after the failure mode is detected, otherwise, it would never work again when attaining one non-repairable failure mode. Thus, the system brings about new reliability indices for having both repairable failures and non-repairable failures. The definitions of the new reliability indices are given, and the calculating methods for them are derived by using probability analysis and the supplementary variable technique.     

Reliability Analysis of Partially Repairable Systems

The reliability analysis of a system with repairable failures and non-repairable failures is presented.It is assumed that the system has n repairable failure modes and m non-repairable failure modes.As one repairable failure mode takes place,the system will be repaired after the failure mode is detected,otherwise,it would never work again when attaining one non-repairable failure mode.Thus,the system brings about new reliability indices for having both repairable failures and non-repairable failures.The definitions of the new reliability indices are given,and the calculating methods for them are derived by using probability analysis and the supplementary variable technique.     

星载数据加密容错研究

在空间辐射环境中,单粒子反转效应(SEU)会导致星载系统存储器逻辑位发生翻转,且无法单纯依赖硬件措施完全消除,又由于卫星通信加密设备在大多数加密模式下具有错误扩散特性,星载数据加密设备的SEU软故障会导致批量数据不可用.针对星载数据加密过程的SEU影响问题,设计了基于奇偶校验码的星载数据加密过程检错算法和基于海明码的星载数据加密过程纠错算法,该容错方案可以有效降低SEU对星载数据加密过程的影响,提高星载数据加密的可靠性.通过大量图像数据仿真实验结果表明,提出的容错方案对星载数据加密过程可靠性的提高率与位出错概率成反比,有较好的空间适应性.     

中断驱动系统模型检验

针对一类中断驱动系统提出了一种建模和模型检验的方法.该系统通常由中断处理程序和操作系统调度的任务组成,前者由中断源触发后处理中断事件,后者则负责处理系统的日常任务以及某些中断处理事件的后续处理.因为这类系统是实时控制系统,对中断事件的处理需要在规定时间内响应并完成,否则可能造成严重的系统失效.为了帮助系统设计人员在系统设计过程中应用模型检验技术来提高系统的正确性,首先确定了此类系统中与时序性质相关的系统要素(包括系统调度任务、中断源、中断处理程序)和相关参数,并要求设计人员在设计阶段明确指出这些要素的参数.然后,提出了将这些要素和参数自动转化为形式化模型的方法:使用时间自动机对中断事件进行建模,使用中断向量表和CPU处理栈对中断处理过程进行建模.对于得到的形式化模型,给出了针对中断处理超时错误的检测方法,并在此基础上给出了针对共享资源的完整性、子程序原子性的检验方法.