期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
基于有限状态机架构的燃料电池混合动力系统耐久性优化分层能量管理方法
1
作者 刘畅 黄永聪 《铁道机车车辆》 北大核心 2025年第3期73-80,共8页
为了满足燃料电池混合动力机车正常运行,同时提高燃料电池耐久性,文中提出一种基于有限状态机架构的燃料电池混合动力系统耐久性优化双层能量管理方法。该方法的顶层部分通过有限状态机划分系统运行状态,实现负载功率的合理分配。底层... 为了满足燃料电池混合动力机车正常运行,同时提高燃料电池耐久性,文中提出一种基于有限状态机架构的燃料电池混合动力系统耐久性优化双层能量管理方法。该方法的顶层部分通过有限状态机划分系统运行状态,实现负载功率的合理分配。底层部分基于燃料电池性能退化,通过反馈式功率调节模块对顶层部分的燃料电池输出参考功率进行调整,以实现燃料电池耐久性优化。文中基于RT-LAB开展硬件在环试验,验证所提方法可行性、优越性。试验结果表明,相比于传统的基于有限状态机的能量管理方法,在相同的工况条件下,文中所提方法燃料电池衰减降低2.96%。 展开更多
关键词 燃料电池混合动力系统 分层能量管理方法 燃料电池耐久性 硬件在环 有限状态机
在线阅读 下载PDF
基于HFSM模型的GUI自动测试
2
作者 姜文君 李建涛 《计算机工程》 CAS CSCD 北大核心 2009年第3期94-95,129,共3页
针对图形用户界面(GUI)软件的层次性,采用分层有限自动机(HFSM)模型对被测GUI软件建模,将GUI测试转换为预期HFSM和实际HFSM的一致性测试。模型自动搜索GUI控件,提供接口,采用均匀设计思想自动产生测试数据,由测试数据驱动测试执行。根据... 针对图形用户界面(GUI)软件的层次性,采用分层有限自动机(HFSM)模型对被测GUI软件建模,将GUI测试转换为预期HFSM和实际HFSM的一致性测试。模型自动搜索GUI控件,提供接口,采用均匀设计思想自动产生测试数据,由测试数据驱动测试执行。根据GUI软件的特点,采用增量方式进行模型构造和测试,从而避免错误积累。 展开更多
关键词 GUI自动测试 分层有限自动机 数据驱动 增量测试
在线阅读 下载PDF
信息物理系统(cyber-physical system)时空建模方法及在温室控制中的应用 被引量:9
3
作者 王浩云 刘佼佼 +2 位作者 侯思宇 任守纲 徐焕良 《农业工程学报》 EI CAS CSCD 北大核心 2015年第15期183-190,共8页
传统农业采用人工方式对温室进行控制,但是随着现代农业的快速发展,这种人工投入大、精度低的控制方式已不能满足现代农业需要。该文基于分层有限状态机和事件晶格的概念,建立3层的信息物理系统模型,并提出一种基于分层有限状态机的信... 传统农业采用人工方式对温室进行控制,但是随着现代农业的快速发展,这种人工投入大、精度低的控制方式已不能满足现代农业需要。该文基于分层有限状态机和事件晶格的概念,建立3层的信息物理系统模型,并提出一种基于分层有限状态机的信息物理系统时空建模方法,同时利用该建模方法开发了新的温室控制系统。该系统能够将物理层传感器感知到的温室物理环境数据通过物理-信息层汇聚节点融合后上报信息层决策节点得到决策信息,物理-信息层控制节点分析决策信息得到控制信息后下传物理层执行器进行控制。由于该系统模型考虑了各层状态机中事件的时空属性,能够将温室控制的正确率由传统基于物联网的温室控制方法的80.20%提高到87.20%,错误肯定率和错误否定率由7.50%和12.30%下降到3.60%和9.20%,保障温室环境满足作物生长对温度、湿度和光照的要求。 展开更多
关键词 温室 智能控制 温度 湿度 太阳辐射 信息物理系统 事件晶格 分层有限状态机
在线阅读 下载PDF
信息系统生存性分析模型研究 被引量:11
4
作者 林雪纲 许榕生 《通信学报》 EI CSCD 北大核心 2006年第2期153-159,共7页
基于信息系统的开放复杂性,将整个生存性分析问题划分为环境、系统以及具体分析过程三个方面并分别进行建模:利用工作流的概念,提出了系统的层次模型;利用事件情景来表示环境对系统的作用,并通过事件分级以及不同级别事件集的分布权值... 基于信息系统的开放复杂性,将整个生存性分析问题划分为环境、系统以及具体分析过程三个方面并分别进行建模:利用工作流的概念,提出了系统的层次模型;利用事件情景来表示环境对系统的作用,并通过事件分级以及不同级别事件集的分布权值调整表示各种环境;提出了基于FSM的分析过程模型,通过系统状态的层次结构,将传统的基于系统状态的直接分析转化为间接的层次分析。事件的量化使得该分析模型具有一定的量化分析应用前景。 展开更多
关键词 生存性 分析模型 有限状态机(FSM) 层次的
在线阅读 下载PDF
云制造环境下协同工作流控制模型研究 被引量:1
5
作者 谭貌 段斌 +1 位作者 彭邦伦 张建和 《计算机工程》 CAS CSCD 2012年第24期21-26,共6页
分析制造企业协同工作流管理的新需求,指出云制造模式下协同工作流管理存在自主、并发、协同、动态的特点。采用分层有限状态自动机对协同工作流控制过程建模,给出用于实现该模型的简化类结构设计,阐述模型中状态机的动态重构和行为控... 分析制造企业协同工作流管理的新需求,指出云制造模式下协同工作流管理存在自主、并发、协同、动态的特点。采用分层有限状态自动机对协同工作流控制过程建模,给出用于实现该模型的简化类结构设计,阐述模型中状态机的动态重构和行为控制过程。将该模型应用于某钢铁企业集团板材营销业务协同中,结果表明,该模型可提高业务协同效率及公司板材的接单能力。 展开更多
关键词 云制造 企业集团 协同 工作流 控制模型 分层有限状态机
在线阅读 下载PDF
参数化运行时验证研究和工具实现 被引量:2
6
作者 王哲民 陈哲 +1 位作者 朱云龙 黄志球 《小型微型计算机系统》 CSCD 北大核心 2016年第12期2667-2672,共6页
随着软件规模的不断增大,如何保证软件的可靠性和安全性成为学术界和工业界越来越关注的问题.运行时验证是一种新型的程序自动验证技术,弥补了静态分析和模型检测等常用方法的缺点.设计一种针对C程序的监控器规约语言,用于描述针对C程... 随着软件规模的不断增大,如何保证软件的可靠性和安全性成为学术界和工业界越来越关注的问题.运行时验证是一种新型的程序自动验证技术,弥补了静态分析和模型检测等常用方法的缺点.设计一种针对C程序的监控器规约语言,用于描述针对C程序的形式化规约.该语言支持基于有限状态自动机和正则表达式的参数化运行时验证.本文借助开源工具flex和bison实现了支持该语言的参数化运行时验证工具M OVEC.为了对运行时产生的大量监控器进行索引,我们提出并实现了一种层次哈希森林的数据结构.实验证明该工具是可行且高效的. 展开更多
关键词 运行时验证 形式化规约 层次哈希森林 有限状态自动机
在线阅读 下载PDF
一种面向嵌入式实时软件的需求建模语言
7
作者 舒风笛 毋国庆 《计算机科学》 CSCD 北大核心 2005年第2期114-120,共7页
针对嵌入式实时系统复杂动态交互行为和严格实时的领域特征,提出了一种软件需求规约语言RTRSM。该语言以扩充的层次并发有穷状态机HCA为核心,以支持合成的模板为基本组成单元。利用转换有效期和事件预定机制来描述时间限制,既具有较强... 针对嵌入式实时系统复杂动态交互行为和严格实时的领域特征,提出了一种软件需求规约语言RTRSM。该语言以扩充的层次并发有穷状态机HCA为核心,以支持合成的模板为基本组成单元。利用转换有效期和事件预定机制来描述时间限制,既具有较强的时间限制描述能力,又能自然而直接地支持交互行为的建模,可执行且具有良好的形式语义。给出了该语言的形式化语法,举例说明了其时间描述机制,并通过执行步算法和基于HCA项的结构化操作规则定义了该语言的形式化操作语义。 展开更多
关键词 嵌入式实时软件 需求建模 操作语义 交互行为 嵌入式实时系统 软件需求 形式语义 语言 严格 支持
在线阅读 下载PDF
串联多臂式巡检机器人控制策略及轨迹规划方法 被引量:10
8
作者 房立金 贺长林 +1 位作者 祝帅 陶广宏 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2019年第5期734-739,共6页
以一款三臂式巡检机器人为例,对其进行分层规划控制策略分析,将其分为线路信息库层、动作规划层和执行规划层.线路信息库层根据高压输电线路上的已知信息所得,其中包括障碍物种类、位置、数量等信息.规划层和执行规划层根据有限状态机... 以一款三臂式巡检机器人为例,对其进行分层规划控制策略分析,将其分为线路信息库层、动作规划层和执行规划层.线路信息库层根据高压输电线路上的已知信息所得,其中包括障碍物种类、位置、数量等信息.规划层和执行规划层根据有限状态机理论总结为当输入事件为a(第二层动作规划层)时,在f(第三层执行层)的作用下,将状态q(机器人起始状态)映射到状态p(机器人终止状态).最后对该款机器人的轨迹规划进行了Matlab仿真和样机实验,结果验证了该控制策略及轨迹规划方法有效性. 展开更多
关键词 巡检机器人 越障 分层规划 有限状态机 轨迹规划
在线阅读 下载PDF
基于图像识别的泊车车位检测算法研究 被引量:15
9
作者 朱旺旺 黄宏成 马晋兴 《汽车工程》 EI CSCD 北大核心 2019年第7期744-749,756,共7页
本文中为自动泊车提出了一种基于右侧单通道摄像头的车位检测算法。首先,通过顶帽变换融合直方图均衡化的方法降低了光照不均匀和光照强度变化对算法鲁棒性的影响;结合泊车工况,基于先验知识略去无价值域,压缩了Radon变换参数范围,获取... 本文中为自动泊车提出了一种基于右侧单通道摄像头的车位检测算法。首先,通过顶帽变换融合直方图均衡化的方法降低了光照不均匀和光照强度变化对算法鲁棒性的影响;结合泊车工况,基于先验知识略去无价值域,压缩了Radon变换参数范围,获取车位线在Radon空间中坐标的同时,降低了Radon矩阵的维度;接着,通过阈值分割方法,优化了Radon矩阵的元素值,以在K-Means聚类分析的过程中,更准确高效地获取聚类中心;在聚类中心二维邻域内通过非极大值抑制实现了车位线的像素级定位。最后,设计了分层有限状态机,通过建立车位分类规则库实现了车位的分类。实验结果表明,该方法的计算效率高于基于Radon变换实现泊车的经典方法,且算法具有较强的鲁棒性。 展开更多
关键词 自动泊车 顶帽变换融合直方图均衡化 K-均值聚类 RADON变换 分层有限状态机
在线阅读 下载PDF
基于分层有限状态机的检修工作票智能防误技术 被引量:18
10
作者 桂前进 姚昕 +3 位作者 汪李来 邵竹星 杨贺钧 郝振宇 《合肥工业大学学报(自然科学版)》 CAS 北大核心 2021年第4期458-463,共6页
为满足电网对输变电设备检修工作票的高可靠性要求,消除因工作票误填而导致的电网安全事故,文章提出基于分层有限状态机(hierarchical finite state machine,HFSM)的检修工作票智能防误技术,从而降低因信息误填引起的电网潜在风险,提高... 为满足电网对输变电设备检修工作票的高可靠性要求,消除因工作票误填而导致的电网安全事故,文章提出基于分层有限状态机(hierarchical finite state machine,HFSM)的检修工作票智能防误技术,从而降低因信息误填引起的电网潜在风险,提高电网运行安全性和可靠性。首先基于有限状态机理论和分层技术建立分层有限状态模型,提高逻辑分析效率;其次建立基于分层有限状态机的检修工作票防误模型,其中外层为数据信息防误层和安全逻辑分析层,内层为有限状态机流转状态;然后提出用以刻画误填状态频次的防误状态概率指标,从而降低潜在的工作票误填风险;最后通过设计的算例验证该文所提模型的有效性和可行性。 展开更多
关键词 检修工作票 分层技术 分层有限状态机(hfsm) 状态转换图 智能防误
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部