【摘 要】
：
针对分布式离散事件系统,提出了一种模式故障预测方法。首先对分布式离散事件系统的模式故障可预测性进行形式化。通过构造一个模式故障识别器,从系统所有行为中识别出所发生
【机 构】
：
广东工业大学计算机学院,广东工业大学应用数学学院,东源县科技创新中心
【基金项目】
：
国家自然科学基金资助项目(61673122),广东省自然科学基金资助项目(2019A1515010548),广东省公益研究与能力建设专项资金资助项目(2015A030402006),广东工业大学计算机学院重大奖项培育项目(2016PY01)
论文部分内容阅读
针对分布式离散事件系统,提出了一种模式故障预测方法。首先对分布式离散事件系统的模式故障可预测性进行形式化。通过构造一个模式故障识别器,从系统所有行为中识别出所发生的模式故障,并针对分布式系统的不同观测点构造不可观测闭包。在此基础上,联合各站点观测到的事件序列构造出模式故障预测验证器,解决了分布式离散事件系统的模式故障预测问题。得出了一个判定分布式离散事件系统模式故障可预测性的充分必要条件,并提出了相应的模式故障预测算法,实现了对分布式离散事件系统的模式故障预测。最后,对分布式模式故障预测验证器的构建和模式
其他文献
<正>对1986～1993年两家医院的336例糖尿病患者进行了回顾性的统计和分析。发现糖尿病致很多系统和脏器的损害较多。而对肺组织的通气和换气功能影响较小。现将统计资料报道如
介绍体视化的基本流程，着重阐述两类不同的三维空间测量数据体现化原理与方法，并对体视化技术在三维空间测量数据可视化中的应用做了介绍，得出了一些有益的结论和建议。
结合汾河水环境决策支持系统建立的经验,介绍了系统采用的J2EE技术,以此为工具构建了汾河流域在网络环境下的决策支持系统的基本框架,分析了系统的构建技术和策略,阐述了应用系统的详细功能组成。
文章在简要介绍企业资源计划的概念及功能目标的基础上，分析了ERP系统在我国应用的现状及其存在的主要问题，并针对主要存在的问题，提出了相关的对策和建议。
论述了当前遥感与地理信息系统数据集成所面临的问题；综述了在遥感与数据分析方面的新进展；强调了要解决这些问题的新技术，新方法。
接收机工作特性曲线分析可用于评价分类器的性能以及寻找不同类别的最优分割点等问题,其构建方法主要包含参数法及非参数法。其中,非参数法因其简单、灵活的特性,在实际应用
肝硬化为慢性肝病的晚期表现,近年来有关肝硬化的血清酶学,血液流态等研究较多。本文对70例肝硬化患者血清免疫球蛋白和唾液酸(SA)含量进行联合检测。结果提示对肝硬化的诊疗
为研究财政补贴与众创空间运营绩效的关系,通过问卷调查获取福建省众创空间样本数据,以财政补贴和众创空间成本结构为自变量,选取众创空间孵化绩效、众创空间投融资绩效、众
光伏发电系统大规模接入电网挤占了具有转动惯性和一次调频特性的同步发电机组空间,增大了电网运行时的频率波动,这就迫切需求光伏主动参与系统的频率调节.文中提出了一种无
现代化煤炭矿井中央变电所通过动态无功补偿装置补偿无功、治理谐波、降低能耗已经成为企业安全生产、节能降耗的必要保障措施。本文通过对某矿井动态无功补偿装置实际运行效