Model checking; Failure analysis; Data mining; Time Petri net;
机译:多变量故障时间数据的统计分析:边缘建模方法,罗斯L. Prentice,山山赵,博卡拉顿,FL:CRC压力机。 多元故障时间数据的统计分析:边缘建模方法多元故障时间数据的统计分析:边缘建模方法,罗斯L. Prentice Ross L. Ross L. Prentice Prentice,Shanshan Zhao Shanshan Shanshan Zhao Zhao,Boca Raton, FL BOCA RATON,FL:CRC按CRC压力机。
机译:数据挖掘可确定初期故障:APS使用基于人工智能的神经网络引擎对溶解气体分析数据量进行分类,以确定需要关注的变压器
机译:基于密码的身份验证协议的自动分析:CSP / FDR模型检查和AVISPA
机译:基于数据挖掘的模型检查自动化故障分析
机译:基于状态建模和成分模型检查的软件产品线安全性分析
机译:AHCODA-DB:带有基于Web的挖掘工具的数据库用于分析自动化的高含量鼠标特征数据
机译:慢性心力衰竭中炎症与血管调节途径之间相互作用的分析:数据逻辑分析的应用,一种新型的数据挖掘工具=慢性心力衰竭中炎症与血管调节途径之间相互作用的分析:数据逻辑分析的应用,新颖数据采矿工具