期刊文献+
共找到2,034篇文章
< 1 2 102 >
每页显示 20 50 100
改进的状态空间模型遗传算法及其全局收敛性分析 被引量:6
1
作者 齐战 李茂军 +2 位作者 莫红 肖雨荷 刘芾 《控制理论与应用》 EI CAS CSCD 北大核心 2020年第10期2115-2122,共8页
基于状态空间模型遗传算法(GABS)是一种新型实数编码进化算法,在工程优化问题中取得良好的应用效果.针对GABS缺乏有效的数学模型及理论依据,研究并建立了GABS的吸收态马尔可夫过程模型,从可达状态集的角度对GABS进行分析并证明GABS不是... 基于状态空间模型遗传算法(GABS)是一种新型实数编码进化算法,在工程优化问题中取得良好的应用效果.针对GABS缺乏有效的数学模型及理论依据,研究并建立了GABS的吸收态马尔可夫过程模型,从可达状态集的角度对GABS进行分析并证明GABS不是全局收敛的.基于此提出了一种扩张可达状态集的改进型GABS(MGABS),改进方法的两种变异策略不仅扩张了算法的可达状态集、提高了种群多样性,而且加快了算法的收敛速度与精度,并证明了MGABS具有全局收敛性.最后利用经典测试函数验证了其综合性能明显优于其他3种算法,为算法在工程中的应用提供了理论依据. 展开更多
关键词 状态空间模型遗传算法 吸收态马尔可夫过程 可达状态 全局收敛 进化算法
在线阅读 下载PDF
基于改进状态空间模型遗传算法的分数阶PID控制器优化设计 被引量:11
2
作者 齐战 李茂军 +1 位作者 肖雨荷 刘芾 《控制与信息技术》 2019年第6期18-23,共6页
针对分数阶PID控制器参数较多且整定方法计算繁琐的问题,文章提出一种改进的状态空间模型遗传算法以进行分数阶PID控制器的参数整定。其融入一种特殊变异机制,增强了原算法的稳定性及全局收敛性,以便实现全局搜索,得到最优参数,完成最... 针对分数阶PID控制器参数较多且整定方法计算繁琐的问题,文章提出一种改进的状态空间模型遗传算法以进行分数阶PID控制器的参数整定。其融入一种特殊变异机制,增强了原算法的稳定性及全局收敛性,以便实现全局搜索,得到最优参数,完成最优分数阶PID控制器设计。将优化的分数阶PID控制器应用到伺服控制系统模型中,通过仿真对比分析发现,相比于状态空间遗传算法和遗传算法,该遗传算法的整定结果更好,系统时域响应性能、抗干扰性和鲁棒性更优。 展开更多
关键词 状态空间模型遗传算法 分数阶PID控制器 参数整定 伺服控制
在线阅读 下载PDF
基于状态空间模型的实数编码遗传算法 被引量:10
3
作者 李茂军 刘黄 +1 位作者 李奇 莫红 《山东科技大学学报(自然科学版)》 CAS 2015年第3期1-7,共7页
针对传统遗传算法的不足,提出一种基于离散系统状态空间模型的实数编码遗传算法(RGABS)。突破传统遗传算法的计算模式,将问题的求解过程表示为离散系统状态空间模型的动力学过程,通过构造遗传算子矩阵来确定搜索方向,通过选种池的选择... 针对传统遗传算法的不足,提出一种基于离散系统状态空间模型的实数编码遗传算法(RGABS)。突破传统遗传算法的计算模式,将问题的求解过程表示为离散系统状态空间模型的动力学过程,通过构造遗传算子矩阵来确定搜索方向,通过选种池的选择操作体现优胜劣汰的自然选择机制,通过评估遗传算子矩阵的范数来考察算法的收敛性和收敛速度,从而改善算法性能。给出RGABS的计算流程及遗传算子矩阵应满足的条件,分析了遗传算子矩阵和选种池选择操作的作用及算法的收敛性和收敛速度。仿真实验结果表明:RGABS能够避免陷入局部最优,具有计算精度和计算效率高等特点。 展开更多
关键词 状态空间模型 遗传算法 遗传算子矩阵 选择操作 收敛性
在线阅读 下载PDF
基于全方位状态空间模型的轻量化图像超分辨率重建
4
作者 阎刚 宋子怡 耿树泽 《液晶与显示》 北大核心 2025年第4期642-654,共13页
传统的视觉Mamba(VIM)方法直接将二维空间图像一维平面化,这种方式虽然能获取长距离依赖关系,但也同时打乱了相邻像素在原始二维平面的局部空间结构,从而无法捕捉局部的细节。为此,本文引入全方位状态空间轻量化超分辨率模型(PMambaIR)... 传统的视觉Mamba(VIM)方法直接将二维空间图像一维平面化,这种方式虽然能获取长距离依赖关系,但也同时打乱了相邻像素在原始二维平面的局部空间结构,从而无法捕捉局部的细节。为此,本文引入全方位状态空间轻量化超分辨率模型(PMambaIR),并提出了残差全方位空间组作为核心组块。残差全方位空间组主要包含两个创新模块。具体而言,我们首先引入了一种新的级联扫描策略,促进局部信息、跨尺度信息和全局信息的相互作用,在保留全局依赖关系的同时能有效地捕捉局部信息,从而实现全方位特征提取。其次,提出了混合状态空间块,该模块可以同时从空间和通道两个维度对像素信息进行交互建模,限制无关特征对模型的影响,从而挖掘通道和空间全域信息的潜在相关性。与其他方法在Set14、Urban100等基准测试数据集上的对比结果表明,PMambaIR的PSNR比现有模型平均提升0.11 dB。客观上的定量和定性分析验证该方法具有更高的PSNR和SSIM。主观上的实验效果图表明,该方法具有丰富的细节和视觉效果。 展开更多
关键词 图像超分辨率 状态空间模型 轻量化模型 级联扫描策略
在线阅读 下载PDF
结合状态空间模型和Transformer的时空增强视频字幕生成 被引量:1
5
作者 孙昊英 李树一 +1 位作者 习泽宇 毋立芳 《信号处理》 北大核心 2025年第2期279-289,共11页
视频字幕生成(Video Captioning)旨在用自然语言描述视频中的内容,在人机交互、辅助视障人士、体育视频解说等领域具有广泛的应用前景。然而视频中复杂的时空内容变化增加了视频字幕生成的难度,之前的方法通过提取时空特征、先验信息等... 视频字幕生成(Video Captioning)旨在用自然语言描述视频中的内容,在人机交互、辅助视障人士、体育视频解说等领域具有广泛的应用前景。然而视频中复杂的时空内容变化增加了视频字幕生成的难度,之前的方法通过提取时空特征、先验信息等方式提高生成字幕的质量,但在时空联合建模方面仍存在不足,可能导致视觉信息提取不充分,影响字幕生成结果。为了解决这个问题,本文提出一种新颖的时空增强的状态空间模型和Transformer(SpatioTemporal-enhanced State space model and Transformer,ST2)模型,通过引入最近流行的具有全局感受野和线性的计算复杂度的Mamba(一种状态空间模型),增强时空联合建模能力。首先,通过将Mamba与Transformer并行结合,提出空间增强的状态空间模型(State Space Model,SSM)和Transformer(Spatial enHanced State space model and Transformer module,SH-ST),克服了卷积的感受野问题并降低计算复杂度,同时增强模型提取空间信息的能力。然后为了增强时间建模,我们利用Mamba的时间扫描特性,并结合Transformer的全局建模能力,提出时间增强的SSM和Transformer(Temporal enHanced State space model and Transformer module,TH-ST)。具体地,我们对SH-ST产生的特征进行重排序,从而使Mamba以交叉扫描的方式增强重排序后特征的时间关系,最后用Transformer进一步增强时间建模能力。实验结果表明,我们ST2模型中SH-ST和TH-ST结构设计的有效性,且在广泛使用的视频字幕生成数据集MSVD和MSR-VTT上取得了具有竞争力的结果。具体的,我们的方法分别在MSVD和MSR-VTT数据集上的绝对CIDEr分数超过最先进的结果6.9%和2.6%,在MSVD上的绝对CIDEr分数超过了基线结果4.9%。 展开更多
关键词 视频字幕生成 视频理解 状态空间模型 TRANSFORMER
在线阅读 下载PDF
基于动态可重构电池网络状态空间模型的电池荷电状态估计
6
作者 陈爱琢 张从佳 +3 位作者 周杨林 史兴华 刘敏 慈松 《中国电机工程学报》 北大核心 2025年第1期396-407,I0033,共13页
动态可重构电池网络(dynamic reconfigurable battery network,DRBN)通常由众多差异性电池单元经过电力电子开关串并联构成。为了实现对这些电池单元的均衡管理,并确保在网络中安全、精确地隔离故障电池单元,必须通过协同控制电池单元... 动态可重构电池网络(dynamic reconfigurable battery network,DRBN)通常由众多差异性电池单元经过电力电子开关串并联构成。为了实现对这些电池单元的均衡管理,并确保在网络中安全、精确地隔离故障电池单元,必须通过协同控制电池单元间的拓扑连接。因此,深入分析电池单元间的耦合关系对于网络管理至关重要。该文结合图论中的割集网络分析方法和电池单元的n阶Thevenin模型,构建DRBN的状态空间模型,从而将网络中所有电池单元耦合在一起。同时,鉴于电池单元的荷电状态(state of charge,SOC)信息对网络的优化运行和储能系统的能量管理至关重要,该文提出一种基于DRBN状态空间模型的SOC一体化估计方法。为了验证所提方法的有效性,通过实验和数值仿真,将其与现有研究中广泛采用的基于电池单元模型的荷电状态估计方法进行了对比分析,以得出最终结论。 展开更多
关键词 电池单元 Thevenin模型 动态可重构电池网络(DRBN) 状态空间模型 荷电状态(SOC)
在线阅读 下载PDF
基于遗传算法和BP神经网络的矿区土壤重金属含量空间分布预测
7
作者 赵萍 阮旭东 +4 位作者 刘亚风 赵思逸 孙雨 常杰 周俊 《土壤》 CAS CSCD 北大核心 2024年第4期889-896,共8页
本研究提出了一种基于遗传算法(Genetic algorithm,GA)和BP神经网络(Back propagation neural network,BPNN)的复合模型——GABP模型,以安徽省池州市某矿区及其周边为研究区,预测了土壤中p H和7种重金属元素(Cd、Pb、Cr、Cu、Ni、Hg、As... 本研究提出了一种基于遗传算法(Genetic algorithm,GA)和BP神经网络(Back propagation neural network,BPNN)的复合模型——GABP模型,以安徽省池州市某矿区及其周边为研究区,预测了土壤中p H和7种重金属元素(Cd、Pb、Cr、Cu、Ni、Hg、As)含量的空间分布,并与BPNN和反比距离权重法(Inverse distance weighting,IDW)进行了比较。研究结果表明:受采矿活动影响,研究区土壤p H和重金属含量呈显著的空间分异性;GABP复合模型的数据扩增能够有效弥补BPNN对样本数量的依赖,同时结合了地理位置和高程属性,精度评价结果显示GABP模型的平均R^(2)、r、RMSE、MAE分别是IDW和BPNN的3.03倍、2.56倍,2.93倍、2.39倍,0.85倍、0.61倍,0.79倍、0.62倍,预测精度更高。模型解决了传统空间插值方法结果中可能出现负值和边界无法插值的问题,为土壤重金属含量空间分布预测提供了一种新方法。 展开更多
关键词 遗传算法 BP神经网络 GABP模型 空间分布预测 重金属含量
在线阅读 下载PDF
基于遗传算法的航空发动机状态变量模型建立方法 被引量:19
8
作者 李秋红 孙健国 《航空动力学报》 EI CAS CSCD 北大核心 2006年第2期427-431,共5页
提出了一种采用遗传算法建立用于航空发动机控制系统设计的小偏差状态变量模型的方法,即根据发动机稳态工作点处的线性化数学模型的动态响应应该与该稳态工作点处的非线性数学模型动态响应一致的原则来构造遗传算法的适应度函数,通过优... 提出了一种采用遗传算法建立用于航空发动机控制系统设计的小偏差状态变量模型的方法,即根据发动机稳态工作点处的线性化数学模型的动态响应应该与该稳态工作点处的非线性数学模型动态响应一致的原则来构造遗传算法的适应度函数,通过优化算法,得出系统的状态变量模型。该方法不受系统模态及模型阶次的限制。应用该方法建立某型涡扇发动机的小偏差状态变量模型,具有较高的建模精度,根据该状态变量模型设计鲁棒控制器取得了良好的控制效果,从而验证了该方法的有效性。 展开更多
关键词 航空 航天推进系统 航空发动机 状态变量模型 建模 遗传算法
在线阅读 下载PDF
基于空间模型和遗传算法的高校排课系统 被引量:4
9
作者 张艳红 王玲玲 腾东兴 《计算机系统应用》 2015年第9期49-55,共7页
如何实现具有人性化设计、能满足多约束条件的高效排课系统是高校教务工作的难点问题.针对某高校排课问题,提出基于空间模型的高校排课算法.首先对比分析现行各排课算法的优劣性,然后结合该校实际排课需要,构建排课问题空间模型和约束... 如何实现具有人性化设计、能满足多约束条件的高效排课系统是高校教务工作的难点问题.针对某高校排课问题,提出基于空间模型的高校排课算法.首先对比分析现行各排课算法的优劣性,然后结合该校实际排课需要,构建排课问题空间模型和约束模型以降低排课问题复杂度,并在此基础上,对遗传算法进行优化,设计了基于遗传算法的排课算法,提出了排课问题的解决方案.实验结果表明,该排课系统较好的解决了该校的排课问题,为其他类似问题的解决提供了可借鉴经验. 展开更多
关键词 排课算法 遗传算法 空间模型 数学模型
在线阅读 下载PDF
基于遗传算法的非线性系统状态空间辨识 被引量:3
10
作者 彭志红 蔡自兴 《信息与控制》 CSCD 北大核心 2001年第4期289-291,296,共4页
本文提出了一种基于遗传算法用状态空间方程描述非线性系统的辨识方法 ,研究表明遗传算法能克服此类系统不能采用传统最小二乘法辨识的困难 ,并能有效地辨识出状态空间维数及非线性度都不高的系统 ,同时指出基于遗传算法的非线性状态空... 本文提出了一种基于遗传算法用状态空间方程描述非线性系统的辨识方法 ,研究表明遗传算法能克服此类系统不能采用传统最小二乘法辨识的困难 ,并能有效地辨识出状态空间维数及非线性度都不高的系统 ,同时指出基于遗传算法的非线性状态空间辨识方法在状态维数确定。 展开更多
关键词 状态空间方程 系统辨识 遗传算法 非线性系统
在线阅读 下载PDF
基于反向学习的状态空间模型进化算法的充电桩故障诊断预测研究 被引量:1
11
作者 李翟严 胡耀杰 +2 位作者 徐礼富 戴海兵 张流涛 《机械设计》 CSCD 北大核心 2024年第S01期192-195,共4页
随着电动车充电站的迅速普及,使用中的充电站出现的问题种类和数量持续上升,相应产生的数据量也在不断增长。传统的手动数据管理方法已显得效率不高,不利于充电桩系统的正常运行。为此,文中提出了一种反向学习状态空间模型演化算法,应... 随着电动车充电站的迅速普及,使用中的充电站出现的问题种类和数量持续上升,相应产生的数据量也在不断增长。传统的手动数据管理方法已显得效率不高,不利于充电桩系统的正常运行。为此,文中提出了一种反向学习状态空间模型演化算法,应用于充电桩的故障诊断与预测,可进行反向学习自适应诊断,预测结果准确,处理速度快,有效提高了充电桩大数据的处理效率;同时将训练结果与实际故障数进行对比,验证了算法的准确性和有效性。研究成果为今后充电桩的安全运行提供了有效的技术支撑,具有重要意义。 展开更多
关键词 充电桩 故障诊断与预测 反向学习自适应 状态空间模型
在线阅读 下载PDF
基于离散状态空间小步合成的固态变压器大步长仿真方法
12
作者 张勇 徐晋 +3 位作者 李子润 汪可友 李国杰 邢法财 《中国电机工程学报》 北大核心 2025年第3期1063-1073,I0021,共12页
固态变压器(solid state transformer,SST)在新型电力系统中的应用逐渐增加,因其复杂的拓扑结构、节点数多、子模块内开关频率高等特点,使得面向SST的电磁暂态仿真计算效率低,目前针对SST大步长仿真方法的研究较少。为此,提出一种基于... 固态变压器(solid state transformer,SST)在新型电力系统中的应用逐渐增加,因其复杂的拓扑结构、节点数多、子模块内开关频率高等特点,使得面向SST的电磁暂态仿真计算效率低,目前针对SST大步长仿真方法的研究较少。为此,提出一种基于离散状态空间小步合成的SST大步长仿真方法。首先,建立小步长建模、小步长仿真的离散状态空间模型;然后,根据离散状态空间方程的特点,采用小步迭代合成法构建离散状态空间大步长仿真模型,从而实现小步长建模、大步长仿真;最后,给出大步长仿真模型的二次等效方法,减少系统整体建模的系数矩阵维度,降低计算复杂度。结果表明,所提方法不仅能减少数值积分误差和电力电子开关动作误差,实现100 k Hz开关频率下SST换流系统的精确仿真,还能显著提升SST的仿真效率。 展开更多
关键词 离散状态空间模型 固态变压器 小步迭代合成 大步长仿真
在线阅读 下载PDF
三有源桥DC-DC变换器广义状态空间平均模型及控制策略研究 被引量:1
13
作者 申科 汪万兴 赵丹 《电源学报》 CSCD 北大核心 2024年第5期161-169,共9页
基于移相加占空比控制策略的三有源桥TAB(triple active bridge)DC-DC变换器具有效率高和软开关范围可扩展等优点,但其小信号建模过程复杂、闭环控制环路参数整定困难。针对该问题,提出1种TAB工作在移相加占空比控制下的全阶连续广义状... 基于移相加占空比控制策略的三有源桥TAB(triple active bridge)DC-DC变换器具有效率高和软开关范围可扩展等优点,但其小信号建模过程复杂、闭环控制环路参数整定困难。针对该问题,提出1种TAB工作在移相加占空比控制下的全阶连续广义状态平均建模和PI控制器设计方法。首先,分析TAB的运行原理和Y型等效结构;然后,结合移相加占空比控制的特点和交流方波源等效方法,推导出TAB的广义状态空间平均模型;接着,在推得模型的基础上求得输入到输出的传递函数,设计出PI控制器参数。最后,结合数字仿真及样机实验验证了所提方法的正确性及有效性。 展开更多
关键词 广义状态空间平均模型 隔离式DC-DC变换器 移相加占空比控制
在线阅读 下载PDF
基于差分和状态空间遗传混合算法的信号配时优化 被引量:4
14
作者 陈小静 李茂军 张辉 《计算技术与自动化》 2021年第1期90-95,共6页
为了最大限度地挖掘现有道路的承载能力,提出了一种基于差分进化算法和状态空间模型遗传算法的两阶段混合优化算法,建立以车辆平均等待时间最小为目标的数学模型进行优化。为了解决差分进化算法在后期收敛速度变慢,容易陷入局部最优的缺... 为了最大限度地挖掘现有道路的承载能力,提出了一种基于差分进化算法和状态空间模型遗传算法的两阶段混合优化算法,建立以车辆平均等待时间最小为目标的数学模型进行优化。为了解决差分进化算法在后期收敛速度变慢,容易陷入局部最优的缺点,引入改进后的状态空间模型遗传算法形成一种混合算法。然后,用所提出的混合算法对5个经典测试函数进行寻优测试,并与定时控制、差分进化算法以及状态空间模型遗传算法进行对比,实验结果表明该混合算法不仅提高了收敛速度,并且在保证了算法收敛精度的前提下缩短了迭代次数。最后,以单交叉路口为例,验证该混合算法在求解信号灯配时问题时的优化效果。 展开更多
关键词 差分进化算法 状态空间模型遗传算法 信号配时 混合算法 平均等待时间
在线阅读 下载PDF
基于加速遗传算法的投影寻踪模型在水质评价中的应用研究 被引量:79
15
作者 付强 付红 王立坤 《地理科学》 CSCD 北大核心 2003年第2期236-239,共4页
提出将改进的实码加速遗传算法 (RAGA)与投影寻踪评价模型 (PPE)相结合 ,同时优化多维参数 (投影方向 ) ,建立了多元数据分类与评价模型。对长春南湖水的营养状态做出了评价 ,取得满意效果 。
关键词 投影寻踪评价模型 投影方向 湖水 营养状态 水质评价 实码加速遗传算法
在线阅读 下载PDF
蓝藻水华预报模型及基于遗传算法的参数优化 被引量:17
16
作者 黄佳聪 吴晓东 +1 位作者 高俊峰 孔繁翔 《生态学报》 CAS CSCD 北大核心 2010年第4期1003-1010,共8页
蓝藻水华预报是应对水危机,保障水资源供给的一项重要工作。以太湖北部三湾(竺山湖、梅梁湾、贡湖)为研究对象,采用动态空间环境建模技术,构建了蓝藻水华预报模型,并通过实地观测建立了模拟的初始参数集。利用2008年04-09月太湖水环境... 蓝藻水华预报是应对水危机,保障水资源供给的一项重要工作。以太湖北部三湾(竺山湖、梅梁湾、贡湖)为研究对象,采用动态空间环境建模技术,构建了蓝藻水华预报模型,并通过实地观测建立了模拟的初始参数集。利用2008年04-09月太湖水环境、气象等实测数据,采用遗传算法优化叶绿素a浓度预报模型中敏感度较高的4个参数。研究结果表明,该模型在蓝藻水华空间分布的预报上达到了一定的精度;采用遗传算法能全面、高效地进行参数优化,降低了模拟结果的相对残差,提高了模型预报精度。 展开更多
关键词 蓝藻水华 预报模型 动态空间环境模拟 参数优化 遗传算法 太湖
在线阅读 下载PDF
基于状态空间模型的子频带语音转换算法 被引量:6
17
作者 徐宁 杨震 张玲华 《电子学报》 EI CAS CSCD 北大核心 2010年第3期646-653,共8页
语音转换是一项改变说话人声音特征的技术,该领域主流方法——基于高斯混合模型的全频带参数映射,会导致转换后的语音频谱产生帧间不连续性.本文针对以上问题提出了改进方案:首先引入状态空间模型来模拟语音动态变化特性,其次利用离散... 语音转换是一项改变说话人声音特征的技术,该领域主流方法——基于高斯混合模型的全频带参数映射,会导致转换后的语音频谱产生帧间不连续性.本文针对以上问题提出了改进方案:首先引入状态空间模型来模拟语音动态变化特性,其次利用离散小波变换对语音低频和高频部分的参数分为子频带处理.文章最后用主观和客观实验对提出的算法进行的实验仿真和验证. 展开更多
关键词 语音转换 高斯混合模型 状态空间模型 全频带转换 子频带转换
在线阅读 下载PDF
基于状态空间模型分解的分数阶系统辨识算法 被引量:5
18
作者 王振滨 曹广益 朱新坚 《系统工程与电子技术》 EI CSCD 北大核心 2004年第12期1848-1851,1866,共5页
给出了分数阶线性系统的一种有效辨识算法。该算法可以辨识出系统的模型参数,同时也可以对系统的阶次进行辨识。通过基底变换把分数阶系统的系统矩阵变换成对角阵,这就把原系统的输入、输出关系转化为若干简单的子系统的和,从而降低了... 给出了分数阶线性系统的一种有效辨识算法。该算法可以辨识出系统的模型参数,同时也可以对系统的阶次进行辨识。通过基底变换把分数阶系统的系统矩阵变换成对角阵,这就把原系统的输入、输出关系转化为若干简单的子系统的和,从而降低了辨识问题的复杂性。该算法还能容易地获得系统的输出误差对其模型参数及系统阶次的偏导数,从而可以选择利用梯度的优化算法,如梯度下降法和拟牛顿法等,进行系统辨识。最后给出了实例证明了算法的有效性。 展开更多
关键词 分数阶系统 状态空间描述 系统辨识 模型分解
在线阅读 下载PDF
多智体系统中约简状态空间的限界模型检测算法 被引量:2
19
作者 周从华 叶萌 +1 位作者 王昌达 刘志锋 《软件学报》 EI CSCD 北大核心 2012年第11期2835-2861,共27页
为了形式化描述多智体系统中与概率、实时、知识相关的性质,提出了一种概率实时认知逻辑PTCTLK.模型检测是验证多智体系统是否满足PTCTLK公式的主要技术,状态空间爆炸是该技术实用化的主要瓶颈,为此提出一种PTCTLK的限界模型检测算法.... 为了形式化描述多智体系统中与概率、实时、知识相关的性质,提出了一种概率实时认知逻辑PTCTLK.模型检测是验证多智体系统是否满足PTCTLK公式的主要技术,状态空间爆炸是该技术实用化的主要瓶颈,为此提出一种PTCTLK的限界模型检测算法.其基本思想是,在有限的局部可达空间中逐步搜索属性成立的证据,从而达到约简状态空间的目的.首先,将PTCTLK的模型检测问题转换为无实时算子的PBTLK的模型检测问题;其次,定义PBTLK的限界语义,并证明其正确性;然后,设计基于线性方程组求解的限界模型检测算法;最后,依据概率度量的演化规律,探索检测过程终止的判别准则.实例研究结果表明,与无界模型检测相比,在属性为真的证据较短的情况下,限界模型检测完成验证所需空间更小. 展开更多
关键词 多智体系统 模型检测 限界模型检测 状态空间爆炸
在线阅读 下载PDF
EM算法在状态空间模型参数辨识中的应用 被引量:5
20
作者 张静 张兆基 周佐 《控制工程》 CSCD 北大核心 2018年第7期1348-1354,共7页
针对传统辨识方法中状态变量维数不易确定和参数辨识准确率差等问题,利用EM算法实现状态空间模型参数的辨识,并使用AIC准则来确定最优的状态变量维数。在EM算法中首先利用卡尔曼滤波和卡尔曼平滑算法来实现对状态期望的估计,然后再通过... 针对传统辨识方法中状态变量维数不易确定和参数辨识准确率差等问题,利用EM算法实现状态空间模型参数的辨识,并使用AIC准则来确定最优的状态变量维数。在EM算法中首先利用卡尔曼滤波和卡尔曼平滑算法来实现对状态期望的估计,然后再通过对数似然函数期望的最大化来实现参数和噪声协方差的估计,如此不断迭代,直至得到最优的估计参数。通过Matlab进行仿真和分析,结果表明该方法能有效地实现状态空间模型中参数的辨识和状态的估计,并且具有比较高的准确性。 展开更多
关键词 状态空间模型 参数辨识 EM算法 卡尔曼滤波 AIC准则
在线阅读 下载PDF
上一页 1 2 102 下一页 到第
使用帮助 返回顶部