刘富春
- 作品数：69 被引量：161H指数：7
- 供职机构：广东工业大学计算机学院更多>>
- 发文基金：国家自然科学基金广东省自然科学基金广东省高等学校高层次人才项目更多>>
- 相关领域：自动化与计算机技术理学农业科学自然科学总论更多>>
- 模糊离散事件系统基于模式的故障诊断被引量：6
- 2019年
- 以模糊自动机为模型,研究模糊离散事件系统基于模式的故障诊断问题.先针对S类型和T类型两种故障模式,分别对模糊离散事件系统的S类型模式可诊断性和T类型模式可诊断性进行了形式化,再通过构造S类型模式诊断器和T类型模式诊断器,分别得到了模糊离散事件系统关于S类型模式可诊断性和T类型模式可诊断性的充分必要条件,实现了模糊离散事件系统基于模式的故障诊断.
- 石聪聪刘富春
- 关键词：模糊离散事件系统故障诊断
- 离散事件系统最小故障诊断基的求解与应用被引量：2
- 2020年
- 针对离散事件系统(DESs)的最小故障故障诊断基(MDB)求解问题,提出了一种基于事件集树的求解算法.首先在诊断器的基础上构建了一种新型测试自动机,并求得离散事件系统可诊断性的充分必要条件,实现了对D ESs的故障诊断.在此基础上,提出了通过构造事件集树求解离散事件系统MDB的算法,并对算法的复杂度进行了分析.最后,通过网络系统中关键网路的选取实例对算法进行了分析.与现有算法相比,所提算法不仅复杂度更低,而且可用于在线诊断和离线诊断,适用性更广.
- 刘富春曹越赵锐邓秀勤崔洪刚
- 关键词：离散事件系统故障诊断
- 基于不确定观测下离散事件系统可诊断性的研究被引量：1
- 2023年
- 在实际应用系统中,由于传感器故障、传感器限制和网络中的数据包丢失等原因,事件的可观测值变得不确定,使得观测系统行为变得尤为复杂。针对离散事件系统中,同个事件串可能有多个观测值以及不同状态下同个事件观测值也可能不同的问题,提出一种不确定观测下故障诊断验证的方法。首先对不确定观测的离散事件系统的可诊断性进行形式化,然后构建出用于上述故障诊断验证的验证器;基于验证器提出了系统基于不确定观测下可诊断的充要条件及验证算法;最后,实例说明不确定观测下故障诊断验证算法的应用。与现有研究相比,提出的方法对故障事件的观测值没有约束,可以为0个或多个观测值,使此方法应用的场景更为广泛。
- 谭健欣刘富春
- 关键词：离散事件系统故障诊断可诊断性
- 融合社交和标签信息的隐语义模型推荐算法被引量：2
- 2018年
- 为了提高隐语义模型在数据稀疏情况下推荐结果的质量,提出一种带有社交正则化项和标签正则化项的隐语义模型.根据用户社交网络和物品标签的信息,设计出描述用户和物品概况的正则化项,并利用用户对物品的历史评分计算得到用户评分偏好,将这三项引入矩阵分解目标函数中,进一步约束目标函数,最后通过梯度下降法去优化模型参数,得到推荐结果.为了验证算法的有效性,在Last.fm数据集上进行实验,实验结果表明,本文算法的推荐质量优于其他传统推荐算法.
- 彭嘉恩邓秀勤刘太亨刘富春李文洲
- 关键词：社交网络
- 基于动态观测的随机离散事件系统故障诊断被引量：5
- 2022年
- 近年来,离散事件系统故障诊断研究引起国内外学者广泛关注.鉴于此,研究动态观测下随机离散事件系统的故障诊断.首先引入一种动态观测,使事件的可观测性随着系统的运行而动态变化;然后分别对基于动态观测的随机离散事件系统的单故障可诊断性和模式故障可诊断性进行形式化;最后通过构造相应的诊断器,分别得到关于单故障可诊断性和模式故障可诊断性的充分必要条件,实现动态观测下随机离散事件系统的故障诊断.
- 黄楠刘富春赵锐崔洪刚
- 关键词：故障诊断
- 不完备离散事件系统的当前状态不透明性被引量：1
- 2019年
- 本文针对不完备系统模型,研究不完备离散事件系统的当前状态不透明性.根据系统的实际输出与预测输出之间的差异,构建了一个具有学习功能的学习诊断器.这种学习诊断器不仅能够模拟系统的状态转移,而且还可以将系统缺失的状态信息通过学习得到恢复.通过引入集合覆盖理论处理由学习诊断器得出的结果,提出了一种基于学习诊断器的不完备离散事件系统当前状态不透明性的验证算法.
- 刘富春张旭赵锐
- 关键词：离散事件系统
- 关于三值逻辑程序中否定和蕴涵完备化程序的不动点语义
- 2006年
- 逻辑程序具有丰富的表达能力和非确定性等特点,在定理机器证明、关系数据库系统、程序验证、模块化程序设计和非单调推理等方面都有了广泛的应用。本文是继续文[8]的工作。首先通过两个反例,指出了文[7]中关于否定完备化程序 Comp((?),Pr)和蕴涵完备化程序(Comp(→,Pr)的两个重要定理都存在一定程度的错误。然后对这两个定理进行了修改,用后继算子 T_(pr) 和 Fitting 算子 F_(pr)的不动点语义,分别给出了否定完备化程序 Comp(→,Pr)和蕴涵完备化程序 Comp(→,Pr)的 Herbrand 模型的充分务件和必要务件,这将在逻辑程序的最优不动点和最小不动点的语义研究中有着重要的应用价值。
- 刘富春
- 关键词：逻辑程序
- 随机离散事件系统基于动态观测的安全诊断研究
- 2024年
- 现有随机离散事件系统研究大都是假设事件的可观测性是固定不变的,而许多实际应用系统中事件的可观测性往往与系统所处的状态有关。为此,本文提出一种动态观测下随机离散事件系统安全可诊断方法。引入一种动态观测,使每一个状态都有各自独立的可观事件;对动态观测下随机离散事件系统安全可诊断性进行形式化;推导出一个基于安全诊断器的动态观测下随机离散事件系统安全可诊断性的充分必要条件,实现动态观测下随机离散事件系统的故障安全诊断。
- 刘富春周鹏
- 分布式模糊离散事件系统的故障预测被引量：5
- 2020年
- 本文研究分布式模糊离散事件系统的故障预测问题.先根据系统的模糊特性,提出一种分布式模糊离散事件系统的协同可预测性的形式化方法,使分布式模糊离散事件系统的协同可预测度不小于各分站点的局部可预测度.通过构造协同预测验证器,提出一种基于协同预测验证器的协同预测算法,并得到一个关于分布式模糊离散事件系统协同可预测性的充分必要条件.
- 谢仁可刘富春赵锐崔洪刚
- 关键词：离散事件系统故障预测模糊系统分布式系统
- 基于双向观测器的随机离散事件系统的不透明性
- 2023年
- 本文针对随机系统模型,研究随机离散事件系统的不透明性。首先对随机无穷步不透明性和随机K步不透明性进行形式化。通过构造一个基于双向观测器的验证器,得到一个运用双向观测器验证系统随机无穷步不透明性和随机K步不透明性的充分必要条件。最后提出一个基于双向观测器的随机无穷步不透明性和随机K步不透明性验证算法。
- 亓国照刘富春崔洪刚
