期刊文献+
共找到21篇文章
< 1 2 >
每页显示 20 50 100
基于HFSM模型的GUI自动测试
1
作者 姜文君 李建涛 《计算机工程》 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
基于EHFSM的电控模拟系统软件设计与实现
2
作者 刘利明 谢建 +1 位作者 于传强 唐媛莉 《电子设计工程》 2014年第9期131-133,共3页
某电控模拟系统中,采用传统事件驱动思想设计的程序往往存在着高复杂性和低可读性的缺点,且由于代码的可维护性和复用性较差,使得程序编写的工作量非常巨大,为解决这一问题,提出采用有限状态(FSM)建立过程模型的设计方案,鉴于该电控模... 某电控模拟系统中,采用传统事件驱动思想设计的程序往往存在着高复杂性和低可读性的缺点,且由于代码的可维护性和复用性较差,使得程序编写的工作量非常巨大,为解决这一问题,提出采用有限状态(FSM)建立过程模型的设计方案,鉴于该电控模拟系统层级复杂,而FSM描述能力有限的实际,提出基于分层扩展有限状态机(EHFSM)的改进方法,对电控模拟系统进行了软件设计实现。 展开更多
关键词 分层有限状态机 过程建模 软件设计 电控模拟系统
下载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
基于一种扩展分层有限状态机模型的测试生成 被引量:1
7
作者 萨智海 王俊义 《内蒙古大学学报(自然科学版)》 CAS CSCD 北大核心 2005年第5期575-578,共4页
为了解决分层有限状态机(HFSM)中数据和约束的问题,对扩展分层有限状态机(E-HFSM)给出了定义对其特征进行了分析,对基于其上的模型所面临的测试问题进行了讨论.考虑了在测试中遇到的控制流和数据流问题,针对其中一种模型(父子EHFSM间不... 为了解决分层有限状态机(HFSM)中数据和约束的问题,对扩展分层有限状态机(E-HFSM)给出了定义对其特征进行了分析,对基于其上的模型所面临的测试问题进行了讨论.考虑了在测试中遇到的控制流和数据流问题,针对其中一种模型(父子EHFSM间不存在数据依赖关系),结合现有的方法工具给出了一种一致性测试生成方法. 展开更多
关键词 扩展分层有限状态机(Ehfsm) 控制流 数据流 测试生成
下载PDF
模块测试与维护总线 被引量:10
8
作者 李修杰 詹于杭 《航空电子技术》 2003年第2期8-16,41,共10页
简要介绍了模块测试与维护总线(MTM-BUS)的发展背景;以开放系统的分层结构描述了MTM-BUS的功能、设计要求和思路;最后分析了国内外MTM-BUS的发展状况及趋势。
关键词 模块测试 维护总线 开放系统 分层结构 设计 分级测试总线 有限状态机 航空电子
下载PDF
自动化弹库控制系统时序设计与仿真
9
作者 何蕾 高洪波 +2 位作者 杨奇 李永辉 金锦花 《应用科技》 CAS 2011年第6期62-66,共5页
针对自动化弹库的结构和功能,确定了弹库系统控制策略和控制体系.基于有限状态机理论并利用MATLAB/Stateflow建立弹库控制系统的层次化仿真模型,对弹药转运过程的时序逻辑进行了设计和仿真.仿真结果表明利用该方法设计的弹库控制系统时... 针对自动化弹库的结构和功能,确定了弹库系统控制策略和控制体系.基于有限状态机理论并利用MATLAB/Stateflow建立弹库控制系统的层次化仿真模型,对弹药转运过程的时序逻辑进行了设计和仿真.仿真结果表明利用该方法设计的弹库控制系统时序满足系统要求的各项指标,验证了这种设计方法的有效性. 展开更多
关键词 有限状态机 自动化弹库 层次化建模 时序逻辑 MATLAB/stateflow
下载PDF
一种面向嵌入式实时软件的需求建模语言
10
作者 舒风笛 毋国庆 《计算机科学》 CSCD 北大核心 2005年第2期114-120,共7页
针对嵌入式实时系统复杂动态交互行为和严格实时的领域特征,提出了一种软件需求规约语言RTRSM。该语言以扩充的层次并发有穷状态机HCA为核心,以支持合成的模板为基本组成单元。利用转换有效期和事件预定机制来描述时间限制,既具有较强... 针对嵌入式实时系统复杂动态交互行为和严格实时的领域特征,提出了一种软件需求规约语言RTRSM。该语言以扩充的层次并发有穷状态机HCA为核心,以支持合成的模板为基本组成单元。利用转换有效期和事件预定机制来描述时间限制,既具有较强的时间限制描述能力,又能自然而直接地支持交互行为的建模,可执行且具有良好的形式语义。给出了该语言的形式化语法,举例说明了其时间描述机制,并通过执行步算法和基于HCA项的结构化操作规则定义了该语言的形式化操作语义。 展开更多
关键词 嵌入式实时软件 需求建模 操作语义 交互行为 嵌入式实时系统 软件需求 形式语义 语言 严格 支持
下载PDF
串联多臂式巡检机器人控制策略及轨迹规划方法 被引量:10
11
作者 房立金 贺长林 +1 位作者 祝帅 陶广宏 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2019年第5期734-739,共6页
以一款三臂式巡检机器人为例,对其进行分层规划控制策略分析,将其分为线路信息库层、动作规划层和执行规划层.线路信息库层根据高压输电线路上的已知信息所得,其中包括障碍物种类、位置、数量等信息.规划层和执行规划层根据有限状态机... 以一款三臂式巡检机器人为例,对其进行分层规划控制策略分析,将其分为线路信息库层、动作规划层和执行规划层.线路信息库层根据高压输电线路上的已知信息所得,其中包括障碍物种类、位置、数量等信息.规划层和执行规划层根据有限状态机理论总结为当输入事件为a(第二层动作规划层)时,在f(第三层执行层)的作用下,将状态q(机器人起始状态)映射到状态p(机器人终止状态).最后对该款机器人的轨迹规划进行了Matlab仿真和样机实验,结果验证了该控制策略及轨迹规划方法有效性. 展开更多
关键词 巡检机器人 越障 分层规划 有限状态机 轨迹规划
下载PDF
基于图像识别的泊车车位检测算法研究 被引量:15
12
作者 朱旺旺 黄宏成 马晋兴 《汽车工程》 EI CSCD 北大核心 2019年第7期744-749,756,共7页
本文中为自动泊车提出了一种基于右侧单通道摄像头的车位检测算法。首先,通过顶帽变换融合直方图均衡化的方法降低了光照不均匀和光照强度变化对算法鲁棒性的影响;结合泊车工况,基于先验知识略去无价值域,压缩了Radon变换参数范围,获取... 本文中为自动泊车提出了一种基于右侧单通道摄像头的车位检测算法。首先,通过顶帽变换融合直方图均衡化的方法降低了光照不均匀和光照强度变化对算法鲁棒性的影响;结合泊车工况,基于先验知识略去无价值域,压缩了Radon变换参数范围,获取车位线在Radon空间中坐标的同时,降低了Radon矩阵的维度;接着,通过阈值分割方法,优化了Radon矩阵的元素值,以在K-Means聚类分析的过程中,更准确高效地获取聚类中心;在聚类中心二维邻域内通过非极大值抑制实现了车位线的像素级定位。最后,设计了分层有限状态机,通过建立车位分类规则库实现了车位的分类。实验结果表明,该方法的计算效率高于基于Radon变换实现泊车的经典方法,且算法具有较强的鲁棒性。 展开更多
关键词 自动泊车 顶帽变换融合直方图均衡化 K-均值聚类 RADON变换 分层有限状态机
下载PDF
基于分层有限状态机的检修工作票智能防误技术 被引量:14
13
作者 桂前进 姚昕 +3 位作者 汪李来 邵竹星 杨贺钧 郝振宇 《合肥工业大学学报(自然科学版)》 CAS 北大核心 2021年第4期458-463,共6页
为满足电网对输变电设备检修工作票的高可靠性要求,消除因工作票误填而导致的电网安全事故,文章提出基于分层有限状态机(hierarchical finite state machine,HFSM)的检修工作票智能防误技术,从而降低因信息误填引起的电网潜在风险,提高... 为满足电网对输变电设备检修工作票的高可靠性要求,消除因工作票误填而导致的电网安全事故,文章提出基于分层有限状态机(hierarchical finite state machine,HFSM)的检修工作票智能防误技术,从而降低因信息误填引起的电网潜在风险,提高电网运行安全性和可靠性。首先基于有限状态机理论和分层技术建立分层有限状态模型,提高逻辑分析效率;其次建立基于分层有限状态机的检修工作票防误模型,其中外层为数据信息防误层和安全逻辑分析层,内层为有限状态机流转状态;然后提出用以刻画误填状态频次的防误状态概率指标,从而降低潜在的工作票误填风险;最后通过设计的算例验证该文所提模型的有效性和可行性。 展开更多
关键词 检修工作票 分层技术 分层有限状态机(hfsm) 状态转换图 智能防误
下载PDF
基于分层有限状态机的时间序列数据挖掘与预测方法 被引量:4
14
作者 潘力 黄继海 王磊 《湘潭大学自然科学学报》 北大核心 2017年第4期18-21,共4页
针对非平稳非线性时间序列的数据挖掘与预测问题,提出一种基于分层有限状态机的预测方法 .首先,将时间序列构建成有限状态机(FSM)模型,将时间序列的相对序列模式作为状态.然后,构建一种层次模型,通过关联特定模式形成中间状态,并以递归... 针对非平稳非线性时间序列的数据挖掘与预测问题,提出一种基于分层有限状态机的预测方法 .首先,将时间序列构建成有限状态机(FSM)模型,将时间序列的相对序列模式作为状态.然后,构建一种层次模型,通过关联特定模式形成中间状态,并以递归方式对模式进行分组,以此解决长序列造成的过度训练问题.最后,通过梯度下降法结合所有有限状态(FS)预测器的输出,生成最终预测结果 .实验结果表明,该方法能够对时间序列进行有效的规则挖掘,具有较高的预测精度. 展开更多
关键词 时间序列 数据挖掘 预测 有限状态机 分层结构
下载PDF
基于FPGA的SM2加解密算法的优化设计
15
作者 付元元 高献伟 董秀则 《北京电子科技学院学报》 2022年第3期71-80,共10页
本文提出一种面向现场可编辑门阵列(Field Programmable Gate Array, FPGA)的层次状态机(Hierarchical Finite State Machine, HFSM)实现方案,在频率变化不大的情况下实现面积的优化,以适应逻辑资源较少的国产FPGA。首先介绍了SM2加密... 本文提出一种面向现场可编辑门阵列(Field Programmable Gate Array, FPGA)的层次状态机(Hierarchical Finite State Machine, HFSM)实现方案,在频率变化不大的情况下实现面积的优化,以适应逻辑资源较少的国产FPGA。首先介绍了SM2加密算法的基础理论,其次利用FPGA的并行计算的特点,采用模块化编程设计思想,以多层次状态机的方式实现SM2加解密算法。最后在Xilinx Virtex7系列的芯片中运行,结果表明,算法所使用的硬件资源为36486LUTs,相较于一段式有限状态机(Finite State Machine, FSM)实现减少18.3%的资源。 展开更多
关键词 FPGA SM2 有限状态机 层次状态机
下载PDF
MOBA游戏人工智能的设计与实现 被引量:1
16
作者 李焜 李平 李立波 《电脑与信息技术》 2018年第4期8-11,共4页
近年来,手机游戏市场不断的发展壮大。游戏人工智能(AI)对游戏的可玩性有着巨大影响,是游戏能否占有市场的重要元素之一。针对多人在线战术竞技游戏(MOBA)中多虚拟角色的组合决策分析研究,使用分层决策架构设计、消息队列实现游戏单位... 近年来,手机游戏市场不断的发展壮大。游戏人工智能(AI)对游戏的可玩性有着巨大影响,是游戏能否占有市场的重要元素之一。针对多人在线战术竞技游戏(MOBA)中多虚拟角色的组合决策分析研究,使用分层决策架构设计、消息队列实现游戏单位对环境变化应对及游戏智能间协作,同时适应游戏敏捷开发。通过在游戏中的实际运用证明该方法的可行性和有效性。 展开更多
关键词 游戏人工智能 层次状态机 系统设计
下载PDF
Modeling and TOPSIS-GRA Algorithm for Autonomous Driving Decision-Making Under 5G-V2X Infrastructure
17
作者 Shijun Fu Hongji Fu 《Computers, Materials & Continua》 SCIE EI 2023年第4期1051-1071,共21页
This paper is to explore the problems of intelligent connected vehicles(ICVs)autonomous driving decision-making under a 5G-V2X structured road environment.Through literature review and interviews with autonomous drivi... This paper is to explore the problems of intelligent connected vehicles(ICVs)autonomous driving decision-making under a 5G-V2X structured road environment.Through literature review and interviews with autonomous driving practitioners,this paper firstly puts forward a logical framework for designing a cerebrum-like autonomous driving system.Secondly,situated on this framework,it builds a hierarchical finite state machine(HFSM)model as well as a TOPSIS-GRA algorithm for making ICV autonomous driving decisions by employing a data fusion approach between the entropy weight method(EWM)and analytic hierarchy process method(AHP)and by employing a model fusion approach between the technique for order preference by similarity to an ideal solution(TOPSIS)and grey relational analysis(GRA).The HFSM model is composed of two layers:the global FSM model and the local FSM model.The decision of the former acts as partial input information of the latter and the result of the latter is sent forward to the local pathplanning module,meanwhile pulsating feedback to the former as real-time refresh data.To identify different traffic scenarios in a cerebrum-like way,the global FSM model is designed as 7 driving behavior states and 17 driving characteristic events,and the local FSM model is designed as 16 states and 8 characteristic events.In respect to designing a cerebrum-like algorithm for state transition,this paper firstly fuses AHP weight and EWM weight at their output layer to generate a synthetic weight coefficient for each characteristic event;then,it further fuses TOPSIS method and GRA method at the model building layer to obtain the implementable order of state transition.To verify the feasibility,reliability,and safety of theHFSMmodel aswell as its TOPSISGRA state transition algorithm,this paper elaborates on a series of simulative experiments conducted on the PreScan8.50 platform.The results display that the accuracy of obstacle detection gets 98%,lane line prediction is beyond 70 m,the speed of collision avoidance is higher than 45 km/h,the distance of collision avoidance is less than 5 m,path planning time for obstacle avoidance is averagely less than 50 ms,and brake deceleration is controlled under 6 m/s2.These technical indexes support that the driving states set and characteristic events set for the HFSM model as well as its TOPSIS-GRA algorithm may bring about cerebrum-like decision-making effectiveness for ICV autonomous driving under 5G-V2X intelligent road infrastructure. 展开更多
关键词 5G-V2X cerebrum-like autonomous driving driving behavior decision-making hierarchical finite state machines TOPSIS-GRA algorithm
下载PDF
基于TMS320F28034的工业缝纫机多功能交流伺服控制系统设计 被引量:1
18
作者 朱兰斌 王嘉宁 秦仓法 《机电产品开发与创新》 2011年第2期7-9,共3页
介绍了一种工业缝纫机多功能交流伺服控制系统的软硬件设计方案,其控制核心采用TMS320F28034数字信号处理器(DSP),同时阐述了其外围电路和伺服电机控制模块的设计原理。系统软件采用层次式有限状态机(HFSM)构建,可满足各种工业缝纫机的... 介绍了一种工业缝纫机多功能交流伺服控制系统的软硬件设计方案,其控制核心采用TMS320F28034数字信号处理器(DSP),同时阐述了其外围电路和伺服电机控制模块的设计原理。系统软件采用层次式有限状态机(HFSM)构建,可满足各种工业缝纫机的控制功能要求,并有效的降低各种工作模式下各过程控制模块之间的耦合。通过对该系统的测试,表明方案可行且效果良好。 展开更多
关键词 数字信号处理器 交流伺服控制系统 工业缝纫机 层次式有限状态机 状态图
下载PDF
基于分层有限状态自动机的一致性测试生成 被引量:7
19
作者 刘鸿 尹霞 吴建平 《清华大学学报(自然科学版)》 EI CAS CSCD 北大核心 2003年第7期993-996,共4页
为了进行分层有限状态自动机(HFSM)的一致性测试生成,提出了基于HFSM的状态同步序列算法和状态验证序列算法,并在此基础上提出了基于HFSM的一致性测试生成方法。以组播监听者发现(MLD)协议为例说明了该方法的应用。该方法虽然比传统的... 为了进行分层有限状态自动机(HFSM)的一致性测试生成,提出了基于HFSM的状态同步序列算法和状态验证序列算法,并在此基础上提出了基于HFSM的一致性测试生成方法。以组播监听者发现(MLD)协议为例说明了该方法的应用。该方法虽然比传统的转化为有限状态自动机(FSM)描述再进行一致性测试生成的方法在适用性上有所降低,但是仍然能够满足大多数通信系统测试的需求,并且由于该方法利用了HFSM的分层特性,因此该方法生成的测试序列长度较短,执行的效率也较高。 展开更多
关键词 分层有限状态自动机 一致性测试 测试生成 组播监听者发现协议 状态同步序列算法
原文传递
一种多功能数字交流伺服控制系统设计与应用 被引量:1
20
作者 朱兰斌 秦仓法 王嘉宁 《机械设计与研究》 CSCD 北大核心 2012年第1期72-76,共5页
介绍了一种多功能数字交流伺服控制系统的软硬件设计方案,其控制核心采用数字信号处理器(DSP)及带有短路保护的IGBT逆变桥驱动电路,带有模拟和数字多个输入接口,并阐述了其外围电路和伺服电机控制模块的设计原理。为降低各种工作模式下... 介绍了一种多功能数字交流伺服控制系统的软硬件设计方案,其控制核心采用数字信号处理器(DSP)及带有短路保护的IGBT逆变桥驱动电路,带有模拟和数字多个输入接口,并阐述了其外围电路和伺服电机控制模块的设计原理。为降低各种工作模式下各过程控制模块之间的耦合,系统软件采用层次式有限状态机(HFSM)构建。通过对该系统在工业缝纫机驱动控制上的应用,表明方案可行且效果良好。 展开更多
关键词 数字信号处理器 交流伺服控制系统 工业缝纫机 层次式有限状态机 状态图
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部