期刊文献+
共找到20篇文章
< 1 >
每页显示 20 50 100
电力变压器内部故障的递进分层诊断方法 被引量:1
1
作者 咸日常 李云淏 +4 位作者 刘焕国 王昭璇 张海强 胡玉耀 王玮 《电网技术》 北大核心 2025年第4期1726-1734,I0079,I0080,共11页
电力变压器内部故障成因复杂、种类繁多,精确诊断难度大,现有诊断技术大多滞留于故障定性阶段。为实现多类型故障的精准定位,该文通过建立多状态量与故障特征之间的递进映射关系,提出一种改进灰狼算法与最小二乘支持向量机耦合的电力变... 电力变压器内部故障成因复杂、种类繁多,精确诊断难度大,现有诊断技术大多滞留于故障定性阶段。为实现多类型故障的精准定位,该文通过建立多状态量与故障特征之间的递进映射关系,提出一种改进灰狼算法与最小二乘支持向量机耦合的电力变压器故障递进分层诊断方法。首先介绍改进灰狼算法与最小二乘支持向量机的原理,建立电力变压器故障递进分层、自动诊断及定位模型;其次基于300组电力变压器的状态量,利用核主成分分析法进行降维处理,选取线性无关的特征状态量,依据DL/T 1685—2017《油浸式变压器状态评价导则》进行离散化处理,借助算法模型递进分层、自动诊断:第一层诊断故障回路、第二层确定故障部位、第三层明确故障原因,得到各分类器的诊断准确率及惩罚系数和核函数参数的最优组合解,并与其他算法模型的故障诊断结果进行分析对比;最后以实际故障案例验证方法的有效性。结果表明:该文所提诊断模型比其他方法拥有更高准确率和更快的运算速度。 展开更多
关键词 电力变压器 改进灰狼算法 最小二乘支持向量机 多状态量 内部故障 递进分层诊断
在线阅读 下载PDF
基于有限状态机架构的燃料电池混合动力系统耐久性优化分层能量管理方法
2
作者 刘畅 黄永聪 《铁道机车车辆》 北大核心 2025年第3期73-80,共8页
为了满足燃料电池混合动力机车正常运行,同时提高燃料电池耐久性,文中提出一种基于有限状态机架构的燃料电池混合动力系统耐久性优化双层能量管理方法。该方法的顶层部分通过有限状态机划分系统运行状态,实现负载功率的合理分配。底层... 为了满足燃料电池混合动力机车正常运行,同时提高燃料电池耐久性,文中提出一种基于有限状态机架构的燃料电池混合动力系统耐久性优化双层能量管理方法。该方法的顶层部分通过有限状态机划分系统运行状态,实现负载功率的合理分配。底层部分基于燃料电池性能退化,通过反馈式功率调节模块对顶层部分的燃料电池输出参考功率进行调整,以实现燃料电池耐久性优化。文中基于RT-LAB开展硬件在环试验,验证所提方法可行性、优越性。试验结果表明,相比于传统的基于有限状态机的能量管理方法,在相同的工况条件下,文中所提方法燃料电池衰减降低2.96%。 展开更多
关键词 燃料电池混合动力系统 分层能量管理方法 燃料电池耐久性 硬件在环 有限状态机
在线阅读 下载PDF
基于层次状态机的方面化特征模块的增量式验证 被引量:6
3
作者 叶俊 谭庆平 +1 位作者 李暾 徐建军 《计算机学报》 EI CSCD 北大核心 2009年第9期1773-1781,共9页
方面化特征模块(AFM)是最新提出的软件产品线(SPL)编程范式,能解决现有SPL编程范式存在的问题,但由于AFM范式同时存在模块的并发组合和顺序组合,现有的组合验证技术和模块化模型检验技术并不适用于AFM程序的验证,且目前还未见到针对AFM... 方面化特征模块(AFM)是最新提出的软件产品线(SPL)编程范式,能解决现有SPL编程范式存在的问题,但由于AFM范式同时存在模块的并发组合和顺序组合,现有的组合验证技术和模块化模型检验技术并不适用于AFM程序的验证,且目前还未见到针对AFM的验证方法,这制约了AFM范式的应用.文中首次为AFM范式建立了形式化模型,并基于此模型提出一种AFM程序的增量式的验证方法.该方法可以从一个小规模的AFM程序的验证开始,以后每次只添加对新组合的AFM模块的验证,因此可避免直接验证大型AFM程序时可能由于模型的规模太大而无法验证的问题. 展开更多
关键词 方面化特征模块(AFM) 层次状态机(hsm) 增量式验证 面向特征编程范式(FOP) 面向方面编程范式(AOP)
在线阅读 下载PDF
信息物理系统(cyber-physical system)时空建模方法及在温室控制中的应用 被引量:9
4
作者 王浩云 刘佼佼 +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
5
作者 殷晓玲 陈晓江 +3 位作者 夏启寿 何娟 张鹏艳 陈峰 《通信学报》 EI CSCD 北大核心 2019年第3期157-169,共13页
针对目前智能手机识别人体运动状态种类少、准确率低的问题,提出一种利用加速度传感器和重力传感器分层识别人体运动状态的方案。首先,利用加速度和重力加速度的关系计算出与手机方向无关的惯性坐标系下的线性加速度;其次,根据人体运动... 针对目前智能手机识别人体运动状态种类少、准确率低的问题,提出一种利用加速度传感器和重力传感器分层识别人体运动状态的方案。首先,利用加速度和重力加速度的关系计算出与手机方向无关的惯性坐标系下的线性加速度;其次,根据人体运动频率的变化范围和线性加速度矢量来确定脚步的波峰和波谷位置;最后,提取线性加速度在时域上的特征向量,使用层次支持向量机方法分层识别人体运动状态。实验结果表明,该方法能有效识别人体6种日常运动状态,准确率达到93.37%。 展开更多
关键词 运动状态识别 层次支持向量机 智能手机传感器 时域特征
在线阅读 下载PDF
信息系统生存性分析模型研究 被引量:11
6
作者 林雪纲 许榕生 《通信学报》 EI CSCD 北大核心 2006年第2期153-159,共7页
基于信息系统的开放复杂性,将整个生存性分析问题划分为环境、系统以及具体分析过程三个方面并分别进行建模:利用工作流的概念,提出了系统的层次模型;利用事件情景来表示环境对系统的作用,并通过事件分级以及不同级别事件集的分布权值... 基于信息系统的开放复杂性,将整个生存性分析问题划分为环境、系统以及具体分析过程三个方面并分别进行建模:利用工作流的概念,提出了系统的层次模型;利用事件情景来表示环境对系统的作用,并通过事件分级以及不同级别事件集的分布权值调整表示各种环境;提出了基于FSM的分析过程模型,通过系统状态的层次结构,将传统的基于系统状态的直接分析转化为间接的层次分析。事件的量化使得该分析模型具有一定的量化分析应用前景。 展开更多
关键词 生存性 分析模型 有限状态机(FSM) 层次的
在线阅读 下载PDF
层次化UML状态机在拆装过程仿真中的应用 被引量:9
7
作者 陈静杰 李会茹 曾学锋 《图学学报》 CSCD 北大核心 2014年第3期481-485,共5页
针对目前飞机维修培训中拆装流程复杂,系统模型繁多的问题,采用层次化分析法和UML状态机相结合的建模方法,建立飞机组件的拆装过程模型。运用UML状态机建立拆卸组件的状态、迁移和约束模型,规范拆卸零部件模型的统一性表达,提高建模的... 针对目前飞机维修培训中拆装流程复杂,系统模型繁多的问题,采用层次化分析法和UML状态机相结合的建模方法,建立飞机组件的拆装过程模型。运用UML状态机建立拆卸组件的状态、迁移和约束模型,规范拆卸零部件模型的统一性表达,提高建模的效率。利用层次化方法对零部件进行层次规划,实现拆卸目标组件的有序逻辑表述,实时监测拆卸零部件的状态,从而建立仿真程度高的训练模型。最后,以维修培训平台中飞机某组件的拆装为例,验证层次化UML状态机拆卸过程仿真方法的有效性。 展开更多
关键词 维修培训 层次化分析 状态机 拆装模型
在线阅读 下载PDF
基于SOPC和量子框架的电控机械式变速器电控系统 被引量:5
8
作者 綦声波 张承瑞 罗映 《农业机械学报》 EI CAS CSCD 北大核心 2011年第10期13-19,共7页
针对传统嵌入式系统开发中软/硬件分离以及软件开放性不足等问题,提出利用软/硬件协同设计和量子框架的综合解决方案,形成了"五层/三总线/一框架"的软/硬件综合开发结构,并将其应用于AMT电控系统的设计中。实现了针对NiosⅡ... 针对传统嵌入式系统开发中软/硬件分离以及软件开放性不足等问题,提出利用软/硬件协同设计和量子框架的综合解决方案,形成了"五层/三总线/一框架"的软/硬件综合开发结构,并将其应用于AMT电控系统的设计中。实现了针对NiosⅡ软核的量子框架移植,并设计了AMT主活动对象的层次状态机。实现过程及试验结果表明,此种设计方案可提高系统开发的灵活性和软件的质量。 展开更多
关键词 电控机械式变速器 嵌入式系统 协同设计 量子框架 层次状态机
在线阅读 下载PDF
参数化运行时验证研究和工具实现 被引量:2
9
作者 王哲民 陈哲 +1 位作者 朱云龙 黄志球 《小型微型计算机系统》 CSCD 北大核心 2016年第12期2667-2672,共6页
随着软件规模的不断增大,如何保证软件的可靠性和安全性成为学术界和工业界越来越关注的问题.运行时验证是一种新型的程序自动验证技术,弥补了静态分析和模型检测等常用方法的缺点.设计一种针对C程序的监控器规约语言,用于描述针对C程... 随着软件规模的不断增大,如何保证软件的可靠性和安全性成为学术界和工业界越来越关注的问题.运行时验证是一种新型的程序自动验证技术,弥补了静态分析和模型检测等常用方法的缺点.设计一种针对C程序的监控器规约语言,用于描述针对C程序的形式化规约.该语言支持基于有限状态自动机和正则表达式的参数化运行时验证.本文借助开源工具flex和bison实现了支持该语言的参数化运行时验证工具M OVEC.为了对运行时产生的大量监控器进行索引,我们提出并实现了一种层次哈希森林的数据结构.实验证明该工具是可行且高效的. 展开更多
关键词 运行时验证 形式化规约 层次哈希森林 有限状态自动机
在线阅读 下载PDF
云制造环境下协同工作流控制模型研究 被引量:1
10
作者 谭貌 段斌 +1 位作者 彭邦伦 张建和 《计算机工程》 CAS CSCD 2012年第24期21-26,共6页
分析制造企业协同工作流管理的新需求,指出云制造模式下协同工作流管理存在自主、并发、协同、动态的特点。采用分层有限状态自动机对协同工作流控制过程建模,给出用于实现该模型的简化类结构设计,阐述模型中状态机的动态重构和行为控... 分析制造企业协同工作流管理的新需求,指出云制造模式下协同工作流管理存在自主、并发、协同、动态的特点。采用分层有限状态自动机对协同工作流控制过程建模,给出用于实现该模型的简化类结构设计,阐述模型中状态机的动态重构和行为控制过程。将该模型应用于某钢铁企业集团板材营销业务协同中,结果表明,该模型可提高业务协同效率及公司板材的接单能力。 展开更多
关键词 云制造 企业集团 协同 工作流 控制模型 分层有限状态机
在线阅读 下载PDF
HELM实现锂离子电池SOH在线估算 被引量:2
11
作者 冯喆 吴淑孝 +2 位作者 陈德乾 赵铭思 陈琳 《电源技术》 CAS 北大核心 2023年第5期653-658,共6页
锂离子电池的健康状态(SOH)估算对电动汽车的稳定安全运行十分重要,是提前预知电池寿命保障系统正常运行,避免灾难性事故发生的关键之一。针对目前健康因子(HI)构建复杂以及现有SOH估算方法模型参数多且复杂、耗时长等问题,提出了利用... 锂离子电池的健康状态(SOH)估算对电动汽车的稳定安全运行十分重要,是提前预知电池寿命保障系统正常运行,避免灾难性事故发生的关键之一。针对目前健康因子(HI)构建复杂以及现有SOH估算方法模型参数多且复杂、耗时长等问题,提出了利用可直接测量的电池恒流充电时间和放电电压样本熵作为HIs表征电池的容量退化,降低HI构建的复杂度。引入分层极限学习机(HELM)模型建立SOH在线估算框架,以所构建的两种新HIs作为输入,离线训练HELM电池退化模型实现SOH在线估算。采用美国宇航局(NASA)、牛津大学(Oxford)公开数据集与自测数据集验证所提出的HELM框架对三元锂电池和钴酸锂电池SOH估算的有效性。训练样本和估算样本在相同温度条件下,最大绝对误差不超过1.05%,SOH估算精度较高;当温度条件和电池类型不同时,最大绝对误差不超过2.1%,表明该SOH估算框架具有较好的泛化性与迁移性。 展开更多
关键词 锂离子电池 健康因子 分层极限学习机 健康状态
在线阅读 下载PDF
一种面向嵌入式实时软件的需求建模语言
12
作者 舒风笛 毋国庆 《计算机科学》 CSCD 北大核心 2005年第2期114-120,共7页
针对嵌入式实时系统复杂动态交互行为和严格实时的领域特征,提出了一种软件需求规约语言RTRSM。该语言以扩充的层次并发有穷状态机HCA为核心,以支持合成的模板为基本组成单元。利用转换有效期和事件预定机制来描述时间限制,既具有较强... 针对嵌入式实时系统复杂动态交互行为和严格实时的领域特征,提出了一种软件需求规约语言RTRSM。该语言以扩充的层次并发有穷状态机HCA为核心,以支持合成的模板为基本组成单元。利用转换有效期和事件预定机制来描述时间限制,既具有较强的时间限制描述能力,又能自然而直接地支持交互行为的建模,可执行且具有良好的形式语义。给出了该语言的形式化语法,举例说明了其时间描述机制,并通过执行步算法和基于HCA项的结构化操作规则定义了该语言的形式化操作语义。 展开更多
关键词 嵌入式实时软件 需求建模 操作语义 交互行为 嵌入式实时系统 软件需求 形式语义 语言 严格 支持
在线阅读 下载PDF
串联多臂式巡检机器人控制策略及轨迹规划方法 被引量:10
13
作者 房立金 贺长林 +1 位作者 祝帅 陶广宏 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2019年第5期734-739,共6页
以一款三臂式巡检机器人为例,对其进行分层规划控制策略分析,将其分为线路信息库层、动作规划层和执行规划层.线路信息库层根据高压输电线路上的已知信息所得,其中包括障碍物种类、位置、数量等信息.规划层和执行规划层根据有限状态机... 以一款三臂式巡检机器人为例,对其进行分层规划控制策略分析,将其分为线路信息库层、动作规划层和执行规划层.线路信息库层根据高压输电线路上的已知信息所得,其中包括障碍物种类、位置、数量等信息.规划层和执行规划层根据有限状态机理论总结为当输入事件为a(第二层动作规划层)时,在f(第三层执行层)的作用下,将状态q(机器人起始状态)映射到状态p(机器人终止状态).最后对该款机器人的轨迹规划进行了Matlab仿真和样机实验,结果验证了该控制策略及轨迹规划方法有效性. 展开更多
关键词 巡检机器人 越障 分层规划 有限状态机 轨迹规划
在线阅读 下载PDF
基于图像识别的泊车车位检测算法研究 被引量:15
14
作者 朱旺旺 黄宏成 马晋兴 《汽车工程》 EI CSCD 北大核心 2019年第7期744-749,756,共7页
本文中为自动泊车提出了一种基于右侧单通道摄像头的车位检测算法。首先,通过顶帽变换融合直方图均衡化的方法降低了光照不均匀和光照强度变化对算法鲁棒性的影响;结合泊车工况,基于先验知识略去无价值域,压缩了Radon变换参数范围,获取... 本文中为自动泊车提出了一种基于右侧单通道摄像头的车位检测算法。首先,通过顶帽变换融合直方图均衡化的方法降低了光照不均匀和光照强度变化对算法鲁棒性的影响;结合泊车工况,基于先验知识略去无价值域,压缩了Radon变换参数范围,获取车位线在Radon空间中坐标的同时,降低了Radon矩阵的维度;接着,通过阈值分割方法,优化了Radon矩阵的元素值,以在K-Means聚类分析的过程中,更准确高效地获取聚类中心;在聚类中心二维邻域内通过非极大值抑制实现了车位线的像素级定位。最后,设计了分层有限状态机,通过建立车位分类规则库实现了车位的分类。实验结果表明,该方法的计算效率高于基于Radon变换实现泊车的经典方法,且算法具有较强的鲁棒性。 展开更多
关键词 自动泊车 顶帽变换融合直方图均衡化 K-均值聚类 RADON变换 分层有限状态机
在线阅读 下载PDF
基于改进层次基本熵融合SMA-SVM模型的轴承故障诊断方法 被引量:6
15
作者 张捷 王华 孙顺红 《机电工程》 CAS 北大核心 2023年第7期1047-1053,1129,共8页
针对煤矿机械轴承的故障特征提取和故障状态识别问题,提出了改进层次基本熵(IHBSE)特征提取融合黏菌优化(SMA)—支持向量机(SVM)分类模型的煤矿机械轴承故障诊断方法。首先,引入了能够同时分析信号低频和高频信息的IHBSE方法,并将其用... 针对煤矿机械轴承的故障特征提取和故障状态识别问题,提出了改进层次基本熵(IHBSE)特征提取融合黏菌优化(SMA)—支持向量机(SVM)分类模型的煤矿机械轴承故障诊断方法。首先,引入了能够同时分析信号低频和高频信息的IHBSE方法,并将其用于捕捉不同状态下,煤矿机械轴承振动信号中的多维故障特征,构建了特征向量;然后,采用具有优异全局寻优性能的黏菌算法,对支持向量机的惩罚系数和核函数的最佳值进行了搜索,提出了黏菌算法—支持向量机(SMA-SVM)模型;最后,利用部分特征样本对诊断模型进行了训练,并采用训练完毕的具有最佳参数的SMA-SVM分类器,进行了轴承故障类型和严重程度的判断。研究结果表明:所提出的煤矿机械轴承故障诊断方法可以有效地识别煤矿机械轴承的运行状态,分类准确率达到了1,而在多次实验下的平均准确率也高于0.98,对实际工程应用具有一定的参考价值。 展开更多
关键词 煤矿机械轴承 故障诊断 改进层次基本熵 黏菌优化算法 支持向量机 故障状态识别
在线阅读 下载PDF
船舶分油机仿真系统的设计与实现 被引量:4
16
作者 焦品博 王海燕 《上海海事大学学报》 北大核心 2020年第2期90-95,122,共7页
为帮助学员掌握分油机的工作原理和操作方法,以Alfa Laval S系列分油机为研究对象,结合层次状态机的概念,设计两层嵌套状态机作为分油机仿真系统的整个工作周期内的逻辑控制。通过简化分离筒的几何形状建立分油机的数学模型,以模拟分油... 为帮助学员掌握分油机的工作原理和操作方法,以Alfa Laval S系列分油机为研究对象,结合层次状态机的概念,设计两层嵌套状态机作为分油机仿真系统的整个工作周期内的逻辑控制。通过简化分离筒的几何形状建立分油机的数学模型,以模拟分油机内油水分界液面的变化。采用树形拓扑结构描述操作菜单的信息显示。利用可编程逻辑控制器(programmable logic controller,PLC)通信技术,实现分油机的半实物仿真系统。测试结果表明,层次化的状态控制使得系统控制过程结构化、清晰化,状态之间的转换关系表达明确,能逼真地模拟分油机的工作过程。 展开更多
关键词 船舶分油机 层次状态机 数学模型 半实物仿真
在线阅读 下载PDF
基于量子框架的齿轮倒角机控制系统设计与研究 被引量:1
17
作者 张亚斌 洪荣晶 张奥敏 《航空制造技术》 2020年第5期41-45,共5页
为提高齿轮倒角过程的自动化程度和软件框架结构的复用率,基于层次状态机理论、量子框架理论和嵌入式系统实现技术,提出一种数控齿轮倒角机控制系统的设计方法。该系统硬件部分主要包含工业控制计算机、固高GTS系列八轴运动卡,搭建一套... 为提高齿轮倒角过程的自动化程度和软件框架结构的复用率,基于层次状态机理论、量子框架理论和嵌入式系统实现技术,提出一种数控齿轮倒角机控制系统的设计方法。该系统硬件部分主要包含工业控制计算机、固高GTS系列八轴运动卡,搭建一套用于齿轮倒角加工的开放式数控系统。软件部分介绍了量子框架的相关内容,给出了量子框架的组织结构和齿轮倒角数控系统的体系图。最后开发出能够对倒角机进行逻辑控制的加工软件。经测试表明,由量子框架技术设计的齿轮倒角数控系统具有更高的的可靠性,同时降低了控制系统软件的开发设计难度。 展开更多
关键词 齿轮倒角 开放式结构 运动控制卡 量子框架 层次状态机
在线阅读 下载PDF
基于分层有限状态机的检修工作票智能防误技术 被引量:18
18
作者 桂前进 姚昕 +3 位作者 汪李来 邵竹星 杨贺钧 郝振宇 《合肥工业大学学报(自然科学版)》 CAS 北大核心 2021年第4期458-463,共6页
为满足电网对输变电设备检修工作票的高可靠性要求,消除因工作票误填而导致的电网安全事故,文章提出基于分层有限状态机(hierarchical finite state machine,HFSM)的检修工作票智能防误技术,从而降低因信息误填引起的电网潜在风险,提高... 为满足电网对输变电设备检修工作票的高可靠性要求,消除因工作票误填而导致的电网安全事故,文章提出基于分层有限状态机(hierarchical finite state machine,HFSM)的检修工作票智能防误技术,从而降低因信息误填引起的电网潜在风险,提高电网运行安全性和可靠性。首先基于有限状态机理论和分层技术建立分层有限状态模型,提高逻辑分析效率;其次建立基于分层有限状态机的检修工作票防误模型,其中外层为数据信息防误层和安全逻辑分析层,内层为有限状态机流转状态;然后提出用以刻画误填状态频次的防误状态概率指标,从而降低潜在的工作票误填风险;最后通过设计的算例验证该文所提模型的有效性和可行性。 展开更多
关键词 检修工作票 分层技术 分层有限状态机(HFSM) 状态转换图 智能防误
在线阅读 下载PDF
基于HFSM模型的GUI自动测试
19
作者 姜文君 李建涛 《计算机工程》 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
基于层次状态机的服务组合
20
作者 张飒 朱雪峰 《计算机工程与设计》 北大核心 2022年第10期2777-2782,共6页
为防止跳转过多、状态空间爆炸,基于层次状态机对服务进行组合。提出描述服务状态机和服务社区的概念,通过用户的输入和目标输出,提出一种方法将服务划分为多个超状态,同一超状态的服务进行并行组合。组合优化阶段,在构建层次状态机的... 为防止跳转过多、状态空间爆炸,基于层次状态机对服务进行组合。提出描述服务状态机和服务社区的概念,通过用户的输入和目标输出,提出一种方法将服务划分为多个超状态,同一超状态的服务进行并行组合。组合优化阶段,在构建层次状态机的过程中,提出方法从QoS、冗余服务和约束条件3个方面对组合方案进行优化。将提出的方法与传统服务组合方法进行对比,验证该方法的效率更高。 展开更多
关键词 WEB服务组合 层次状态机 约束条件 服务质量 去冗余服务
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部