基于随机无穷自动机的多功能雷达辐射源识别方法 被引量：3

1

作者 曹帅 王布宏 +1 位作者 李龙军 刘帅琦 《计算机应用》 CSCD 北大核心 2017年第2期608-612,共5页

针对基于随机上下文无关文法(SCFG)建模的多功能雷达(MFR)辐射源识别问题,提出了一种基于随机无穷自动机(SISA)的MFR辐射源识别方法。在文法建模的基础上,对"水星"MFR控制模块文法产生式和系统特征文法产生式进行重新构造生成... 针对基于随机上下文无关文法(SCFG)建模的多功能雷达(MFR)辐射源识别问题,提出了一种基于随机无穷自动机(SISA)的MFR辐射源识别方法。在文法建模的基础上,对"水星"MFR控制模块文法产生式和系统特征文法产生式进行重新构造生成SCFG,利用SCFG构造随机无穷自动机作为识别器,从而实现对测量辐射源的识别。通过理论分析和实验仿真得出:该方法能实现对MFR辐射源的识别;在一定范围内,通过增加文法产生式个数,可以提高平均识别率,且识别性能优于通过SCFG构造的随机下推自动机(SPDA)。实验结果表明了该方法的正确性和有效性。 展开更多

关键词 随机上下文无关文法 多功能雷达 辐射源识别 随机无穷自动机 文法产生式

在线阅读 下载PDF 职称材料

图像重建的自适应随机元胞自动机算法 被引量：2

2

作者 于志伟 陶波 《计算机学报》 EI CSCD 北大核心 1997年第10期943-948,共6页

随机元胞自动机（ＳＣＡ）是一种广泛意义上的随机松驰技术，是目前国际上流行的几种随机松驰技术的直接推广．本文首先介绍构造一类随机元胞自动机的几个条件，然后基于这几个条件，作者构造了几种用于由投影重建图像问题的算法．运行... 随机元胞自动机（ＳＣＡ）是一种广泛意义上的随机松驰技术，是目前国际上流行的几种随机松驰技术的直接推广．本文首先介绍构造一类随机元胞自动机的几个条件，然后基于这几个条件，作者构造了几种用于由投影重建图像问题的算法．运行后得到了令人满意的结果． 展开更多

关键词 随机元胞自动机 图像重建 算法 图像处理

在线阅读 下载PDF 职称材料

基于概率自动机的操作条件反射计算模型 被引量：3

3

作者 阮晓钢 蔡建羡 戴丽珍 《北京工业大学学报》 EI CAS CSCD 北大核心 2010年第8期1025-1030,共6页

基于概率自动机构造了反应操作条件反射行为的随机学习自动机,以模拟斯金纳(Skinner)鸽子试验.该随机学习自动机是一种能在未知的随机环境中完成自适应决策的智能单元,它与随机环境构成闭环,能在与环境的交互过程中学习选取给予奖赏的... 基于概率自动机构造了反应操作条件反射行为的随机学习自动机,以模拟斯金纳(Skinner)鸽子试验.该随机学习自动机是一种能在未知的随机环境中完成自适应决策的智能单元,它与随机环境构成闭环,能在与环境的交互过程中学习选取给予奖赏的最佳动作.试验结果表明:该自动机模型体现了动物的操作条件反射行为,具有和实际类似的学习效果,对于处理先验知识缺乏或不完备的问题具有优越性. 展开更多

关键词 概率自动机 操作条件反射 随机学习自动机 Skinner鸽子试验 评价机制 学习机制

在线阅读 下载PDF 职称材料

基于元胞自动机的个体移动异质性传染病传播模型 被引量：9

4

作者 谭欣欣 戴钦武 +2 位作者 史鹏燕 王丽燕 刚家泰 《大连理工大学学报》 EI CAS CSCD 北大核心 2013年第6期908-914,共7页

利用元胞自动机原理,建立了同时具有异质性和移动性的SEIR传染病传播模型.考虑到个体自身的传染能力、对传染病的抵抗能力等不同因素的影响,通过感染概率来体现个体的异质性;限制种群移动的范围,添加种群移动的比例来实现种群的移动,扩... 利用元胞自动机原理,建立了同时具有异质性和移动性的SEIR传染病传播模型.考虑到个体自身的传染能力、对传染病的抵抗能力等不同因素的影响,通过感染概率来体现个体的异质性;限制种群移动的范围,添加种群移动的比例来实现种群的移动,扩展了随机行走元胞自动机.结合甲型H1N1流感的传播特征,模拟了其传播过程.模拟结果与官网公布的实际数据相吻合,验证了模型的合理性和有效性.利用该模型还分别考察了种群移动比例和种群移动最大距离对传染病传播的影响,相比较种群移动比例对传染病传播的影响更加显著,加速了传染病的传播. 展开更多

关键词 元胞自动机 异质性 移动性 甲型H1N1流感 随机行走元胞自动机

在线阅读 下载PDF 职称材料

观测永久丢失下随机离散事件系统故障预测的验证算法 被引量：4

5

作者 廖辉 刘富春 《计算机应用研究》 CSCD 北大核心 2022年第1期106-112,共7页

针对随机离散事件系统在故障预测时可能出现系统观测永久丢失,导致预测不准确的问题,提出一种观测永久丢失下故障预测验证的算法。首先对观测永久丢失的随机离散事件系统的U-可预测性进行了形式化。其次使用随机预测器构造了一个随机离... 针对随机离散事件系统在故障预测时可能出现系统观测永久丢失,导致预测不准确的问题,提出一种观测永久丢失下故障预测验证的算法。首先对观测永久丢失的随机离散事件系统的U-可预测性进行了形式化。其次使用随机预测器构造了一个随机离散事件系统的U-预测器,实现了系统的故障预测。基于U-预测器,提出了随机离散事件系统U-可预测性的充分必要条件及验证算法,并且引入成对的方式,明显地改进了该验证算法的复杂度。仿真结果表明,该验证算法使得观测永久丢失下系统故障预测准确。最后,实例说明观测永久丢失下故障预测验证算法的应用。结果表明,该验证算法相比现有同类验证算法应用范围更广,验证结果更精确。 展开更多

关键词 离散事件系统 故障预测 随机自动机 观测丢失

在线阅读 下载PDF 职称材料

DEDS故障诊断方法在电梯中的应用 被引量：5

6

作者 宗群 刘利 +1 位作者 刘文静 薛寒冰 《天津大学学报》 EI CAS CSCD 北大核心 2006年第5期553-558,共6页

针对电梯这种复杂机电系统难以建模的特点,提出基于随机自动机的离散事件动态系统(DEDS)故障诊断方法．深入研究电梯门系统的故障机理,对各元件的典型故障进行分类,并抽象出各元件的事件集和状态集．将传感器信息和事件发生的可能性信... 针对电梯这种复杂机电系统难以建模的特点,提出基于随机自动机的离散事件动态系统(DEDS)故障诊断方法．深入研究电梯门系统的故障机理,对各元件的典型故障进行分类,并抽象出各元件的事件集和状态集．将传感器信息和事件发生的可能性信息加入逻辑模型,得到系统的随机自动机模型．把门锁装置从门系统中分离出来,建立电梯门锁装置的随机自动机模型,构建电梯门系统和门锁装置的随机诊断器．通过随机诊断器,对门锁系统故障发生的概率进行在线估计,并对门主体系统的可诊断性进行了分析．此方法为复杂机电系统的故障诊断提供了一条有效途径． 展开更多

关键词 电梯 故障诊断 离散事件动态系统(DEDS) 随机自动机 诊断器

在线阅读 下载PDF 职称材料

面向安全攸关系统中小概率事件的统计模型检测 被引量：11

7

作者 杜德慧 程贝 刘静 《软件学报》 EI CSCD 北大核心 2015年第2期305-320,共16页

在开放运行环境中,安全攸关系统的不确定性行为有可能导致小概率事件的发生,而此类事件的可靠性指标往往很高,小概率事件一旦发生就会产生灾难性的后果,严重威胁到人们的生命、财产安全.因此,评估、预测小概率事件发生的概率,对于提高... 在开放运行环境中,安全攸关系统的不确定性行为有可能导致小概率事件的发生,而此类事件的可靠性指标往往很高,小概率事件一旦发生就会产生灾难性的后果,严重威胁到人们的生命、财产安全.因此,评估、预测小概率事件发生的概率,对于提高系统的可靠性具有重要意义.统计模型检测是一种基于模拟的模型验证技术,结合了系统的快速模拟及统计分析技术,能够有效提高模型检测的效率,适用于验证、评估安全攸关系统的可靠性,但其面临的挑战性问题之一是在可接受的样本数量下,使用统计模型检测技术难以预测、评估小概率事件发生的概率.因此,提出一种改进的统计模型检测框架,设计和开发基于机器学习的统计模型检测器,实现在相对较少的样本数量下预测和评估小概率事件发生的概率.结合轨道交通控制系统中避碰控制案例分析,进一步证明改进后的统计模型检测器能够有效预测和评估安全攸关系统中小概率事件发生的概率. 展开更多

关键词 统计模型检测 小概率事件 安全攸关系统 随机混成自动机 机器学习

在线阅读 下载PDF 职称材料

动态系统故障的混杂传播特征及建模方法 被引量：3

8

作者 郭健彬 杜绍华 +1 位作者 王鑫 曾声奎 《系统工程与电子技术》 EI CSCD 北大核心 2015年第1期224-228,共5页

动态系统的故障传播过程是由离散事件、连续特性及其相互作用共同驱动的,具有显著的混杂特征,为故障规律认知与建模带来了较大的难度。现有研究将故障视为离散随机事件,分析由单元随机故障发生到系统失效的离散故障过程,却忽略了连续特... 动态系统的故障传播过程是由离散事件、连续特性及其相互作用共同驱动的,具有显著的混杂特征,为故障规律认知与建模带来了较大的难度。现有研究将故障视为离散随机事件,分析由单元随机故障发生到系统失效的离散故障过程,却忽略了连续特性对故障传播的影响,本质上是对故障混杂传播的工程简化处理,不能真实地描述动态系统的故障规律。首先在分析动态系统故障规律的基础上,给出了离散与连续双维度下的动态系统故障混杂传播的定义,分析了其混杂影响要素以及混杂传播特征;其次,为了完整准确描述混杂特征,借鉴混杂理论在描述离散事件与连续参数相互作用方面的优势,提出了基于随机混杂自动机(stochastic hybrid automata,SHA)的故障混杂传播建模方法;最后通过对某温度控制系统的故障混杂传播过程进行建模和仿真,验证了动态系统故障传播过程中的混杂特征,以及建模方法的可行性。 展开更多

关键词 故障传播 混杂 可靠性 动态系统 随机混杂自动机

在线阅读 下载PDF 职称材料

基于混合系统状态估计的故障诊断 被引量：7

9

作者 萧德云 莫以为 《自动化学报》 EI CSCD 北大核心 2004年第6期980-985,共6页

如果将故障的发生视为一个离散事件，则存在故障可能的系统可以看作随机混合系统，那么故障诊断问题就可转化为混合系统的离散状态估计问题．文中试图从这个角度研究在非高斯噪声环境下非线性系统的故障诊断问题．在发生故障后的系统模... 如果将故障的发生视为一个离散事件，则存在故障可能的系统可以看作随机混合系统，那么故障诊断问题就可转化为混合系统的离散状态估计问题．文中试图从这个角度研究在非高斯噪声环境下非线性系统的故障诊断问题．在发生故障后的系统模型是已知的假定条件下，使用随机混合自动机对系统建模，并利用基于粒子滤波的混合估计算法估计出混合状态，从而完成故障诊断．仿真结果表明，所提的方法是可行的，可以处理某类故障诊断． 展开更多

关键词 故障诊断 混合系统 粒子滤波算法 随机混合自动机

在线阅读 下载PDF 职称材料

用插值的粗粒化Box Model进行学习控制 被引量：2

10

作者 刘斌 张承福 《自动化学报》 EI CSCD 北大核心 1996年第1期101-106,共6页

针对一类未知动力学方程的单输入系统，采用插值的粗粒化 Ｂｏｘ Ｍ ｏｄｅｌ进行学习控制．与传统的Ｂｏｘ Ｍｏｄｅｌ及基于随机元胞自动机的控制模式比较，本模型设计思想自然，算法简单．计算量小（常常小几个数量级），训练时间短。

关键词 学习控制 随机元胞自动机 插值 反馈镇定

在线阅读 下载PDF 职称材料

基于统计模型检测的Tc CBTC移动授权建模与分析

11

作者 林俊亭 闵晓琴 《控制工程》 CSCD 北大核心 2023年第5期803-809,821,共8页

基于通信的列车运行控制(communication based train control,CBTC)系统采用车地通信方式使得地面设备极其复杂。随着通信技术的快速发展,以车载为核心的列车运行控制(train-centric communication based train control,TcCBTC)系统采... 基于通信的列车运行控制(communication based train control,CBTC)系统采用车地通信方式使得地面设备极其复杂。随着通信技术的快速发展,以车载为核心的列车运行控制(train-centric communication based train control,TcCBTC)系统采用车车通信方式减少了控制信息的传递环节,将成为城市轨道交通领域的发展方向。移动授权(movementauthority,MA)是决定列车能否以安全间隔运行的直接因素,因此对MA生成过程进行形式化建模与分析,对避免列车碰撞具有重要意义。根据TcCBTC系统架构分析MA生成流程,确定参与功能实现的子系统,并计算出不确定性参数;通过UPPAAL-SMC建立对应的随机混成自动机网络模型;最后采用统计模型检测方法对模型进行定量分析。分析结果表明:置信度为99.95%的情况下,系统在300 ms内成功计算出MA的概率为0.9974124748,为后续TcCBTC系统开发设计提供理论参考。 展开更多

关键词 随机混成自动机 统计模型检测 以车载为核心的列车运行控制 移动授权

在线阅读 下载PDF 职称材料

轨道交通联锁领域特定语言的形式化 被引量：7

12

作者 赵梦瑶 陈小红 +3 位作者 孙海英 刘静 陈良育 周庭梁 《软件学报》 EI CSCD 北大核心 2020年第6期1638-1653,共16页

作为轨道交通系统的核心子系统之一,对联锁系统进行形式化建模与分析,是保证其安全性的重要手段.形式化建模需要领域知识和形式化知识的结合,由于形式化知识难以掌握,领域专家在建模整个过程中都需要形式化专家的帮助.为了解决这个问题... 作为轨道交通系统的核心子系统之一,对联锁系统进行形式化建模与分析,是保证其安全性的重要手段.形式化建模需要领域知识和形式化知识的结合,由于形式化知识难以掌握,领域专家在建模整个过程中都需要形式化专家的帮助.为了解决这个问题,针对联锁系统的故障随机性、行为实时性、构件可重用的特点,提出设计联锁领域特定语言IS-DSL描述具体的联锁系统的参数,并基于随机混成自动机模板自动生成联锁系统的形式化模型,以进一步在此基础上进行安全分析.首先对联锁系统模型进行分析,根据不同案例设计其领域特定语言;其次,确定联锁系统的系统模型模板,包括环境构件模板和控制器模板,并举例抽取其随机混成自动机模板;在模板基础上定义系统模型生成过程,让领域专家可以通过领域特定语言,输入参数自动生成具体的随机混成自动机系统模型;最后以某站联锁系统为例,展示了基于模板的具体系统模型的生成过程,并通过基于系统模型的事故预测分析,证明了该方法的可行性与有效性. 展开更多

关键词 联锁系统 模板重用 形式化建模 随机混成自动机 领域特定语言

在线阅读 下载PDF 职称材料

基于统计模型检测的DFT定量分析方法 被引量：2

13

作者 乔森 黄志球 +1 位作者 王金永 宛伟健 《系统工程与电子技术》 EI CSCD 北大核心 2020年第2期480-488,共9页

动态故障树(dynamic fault tree,DFT)是对系统进行安全性分析的重要手段,基于马尔可夫链的DFT求解方法存在3个难题:一是仅可分析故障概率为指数分布的系统;二是无法分析共因失效情况;三是可能导致状态空间爆炸。因此提出一种基于统计模... 动态故障树(dynamic fault tree,DFT)是对系统进行安全性分析的重要手段,基于马尔可夫链的DFT求解方法存在3个难题:一是仅可分析故障概率为指数分布的系统;二是无法分析共因失效情况;三是可能导致状态空间爆炸。因此提出一种基于统计模型检测的DFT定量分析方法。首先将DFT分解为动态逻辑门、基本构件、共因失效关系、门门和门构件间的逻辑关系;其次将动态逻辑门、基本构件和共因失效关系基于随机混成自动机形式化规约;然后通过逻辑关系重构自动机,形成随机混成自动机网络;最后通过分析一个具有共因失效关系的服从多失效概率分布的飞机结冰探测系统,表明所提方法的有效性。 展开更多

关键词 随机混成自动机 统计模型检测 随机系统 动态故障树 安全性分析

在线阅读 下载PDF 职称材料

依概率主动窃听下D2D通信的物理层安全研究 被引量：6

14

作者 罗屹洁 杨旸 《信号处理》 CSCD 北大核心 2020年第5期710-716,共7页

本文研究了依概率主动窃听下D2D通信的联合防窃听和抗干扰问题。由于主动窃听者可以依概率选择被动窃听或主动干扰,因此很难对抗。针对主动窃听者攻击方式的动态变化,本文采用稳健博弈学习方法来提高D2D通信的平均安全吞吐量,将一个蜂... 本文研究了依概率主动窃听下D2D通信的联合防窃听和抗干扰问题。由于主动窃听者可以依概率选择被动窃听或主动干扰,因此很难对抗。针对主动窃听者攻击方式的动态变化,本文采用稳健博弈学习方法来提高D2D通信的平均安全吞吐量,将一个蜂窝用户(CUE)和多个D2D用户(DUEs)之间的交互建模为一个领导者-多个追随者的斯坦伯格博弈,引入了干扰代价机制描述蜂窝用户与D2D用户之间的竞争关系,设计了一个精确势能博弈描述多个D2D用户之间的协作关系。首先证明了底层子博弈的纳什均衡(NE)的存在性,并进一步证明了所提博弈的斯坦伯格均衡(SE)的存在性。在此基础上,提出了基于随机学习自动机的稳健协同D2D功率控制算法,并验证其优于随机选择算法和D2D自私功率控制算法。 展开更多

关键词 D2D通信 稳健博弈 主动窃听者 随机学习自动机

在线阅读 下载PDF 职称材料