曹卫华
- 作品数:5 被引量:5H指数:1
- 供职机构:广东工业大学计算机学院更多>>
- 发文基金:国家自然科学基金广东省自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种模糊自动机的新模型被引量:1
- 2011年
- 通过对秃头悖论的讨论分析,对传统自动机模式是否适用于模糊自动机进行分析论证,指出传统自动机模型的缺陷在于没有模糊性,不能处理模糊的事物,并对模糊自动机的旧模型提出质疑,因为旧模型固定的隶属度无法表达模糊事物的变化过程,最后从量变和质变角度提出一种模糊自动机的新模型。
- 曹卫华张灵刘军
- 关键词:自动机模糊自动机
- 分布式随机离散事件系统的模式故障预测被引量:4
- 2022年
- 本文以随机自动机为模型,研究分布式随机离散事件系统的模式故障预测问题.首先根据分布式随机离散事件系统的分布特性对模式故障协同可预测性概念进行形式化,并通过构造模式故障识别器来识别系统中发生的模式故障.然后,构造一个模式故障协同预测器,提出一种基于协同预测器的具有多项式复杂度的算法,得到关于分布式随机离散事件系统模式故障协同可预测性的充分必要条件,实现对分布式随机离散事件系统的模式故障预测.
- 金衍伟刘富春赵锐曹卫华崔洪刚
- 关键词:分布式故障预测
- 离散事件系统弱可预测性的验证算法
- 2023年
- 对故障检测来说,预测比诊断更能降低故障对系统造成的损失,但即使大多数的故障事件串是可预测的,只要有一个故障事件串是不可预测只能诊断的,整个系统就是不可预测的,只能用诊断的方法处理,这对大多数的故障事件串是不利的。为此,提出了弱可预测性的概念。弱可预测性是对系统未来是否一定会处于故障状态这一情况的预测。相比可预测性,弱可预测性不要求所有故障事件串都是可预测的。对可预测的故障事件串,弱可预测性能够在故障发生之前发出警报,而对不可预测只能诊断的故障事件串,其也能在故障发生之后发出警报。文中构造了证明器来测试系统的弱可预测性,并基于这个证明器给出了测试系统弱可预测性的多项式复杂度的算法,给出了弱可预测性的充分必要条件。
- 曹卫华刘富春
- 关键词:离散事件系统故障预测自动机
- 有向哈密顿回路问题的一个充分条件及其多项式验证算法
- 2023年
- 利用自动机理论研究有向哈密顿回路问题,提出一个多项式复杂度的算法验证有向哈密顿回路问题的一个充分条件.更具体地说,将有向图建模为一个自动机,并在自动机的基础上形式化了哈密顿图的相关概念,然后提出了一个多项式复杂度的算法,检验一个自动机标记的语言的子集是否满足真子集的一个充分条件.在该算法的基础上,提出了一个多项式复杂度的算法检验哈密顿图的一个充分条件并找出相应的哈密顿回路.特别地,给出了一个判断有向图是否是哈密顿图的充分条件和一个判断有向图中的一条回路是否是哈密顿回路的充分条件.
- 曹卫华刘富春
- 关键词:离散事件系统自动机
- 基于区域合并的灰度图像目标分离
- 2010年
- 针对背景模糊的灰度图像中目标物体往往难以分离出来的问题,文章采用基于区域生长的形态学分水岭算法获得模糊图像中的物体边界,然后针对分水岭变换后所获得的子区域的灰度值参数及所处位置特性,将每个子区域类比成3D地图表面的一块平原,采用类似山地斜坡平滑的思想将子区域逐渐合并,最终将目标从灰度图像中分离出来。实验表明该算法能准确的将较为模糊的灰度图像中的目标和背景分离。
- 刘军张灵曹卫华
- 关键词:斜坡