期刊文献+
共找到118篇文章
< 1 2 6 >
每页显示 20 50 100
基于FSM的协议一致性测试序列生成算法研究 被引量:11
1
作者 陈涛 潘雪增 +2 位作者 陈健 陈小平 陆魁军 《计算机工程与应用》 CSCD 北大核心 2010年第6期60-62,共3页
在通信协议的一致性测试领域里,如何生成满足要求的测试序列一直是研究热点之一。针对生成的测试序列不够简捷高效的问题,在介绍了通信协议的主要形式化模型FSM后,先研究了基于UIO的测试序列生成算法,然后对原算法进行了改进。改进后的... 在通信协议的一致性测试领域里,如何生成满足要求的测试序列一直是研究热点之一。针对生成的测试序列不够简捷高效的问题,在介绍了通信协议的主要形式化模型FSM后,先研究了基于UIO的测试序列生成算法,然后对原算法进行了改进。改进后的算法所生成的测试序列具有较高的错误覆盖率,并且能够缩短测试序列的长度。 展开更多
关键词 协议一致性测试 有限状态机 UIO序列
在线阅读 下载PDF
椭圆曲线点乘的抗故障攻击FSM控制器设计 被引量:1
2
作者 严迎建 李志强 +1 位作者 段二朋 朱巍巍 《计算机应用》 CSCD 北大核心 2012年第1期86-88,共3页
为提高有限状态机(FSM)控制器的抗故障攻击能力,提出一种非并发故障检测方案。方案利用线性码的故障检错特性,通过在状态机电路中建立故障传播路径来实现。设计了基于NAF编码的从左至右扫描点乘算法的安全有限状态机电路,并对该电路进... 为提高有限状态机(FSM)控制器的抗故障攻击能力,提出一种非并发故障检测方案。方案利用线性码的故障检错特性,通过在状态机电路中建立故障传播路径来实现。设计了基于NAF编码的从左至右扫描点乘算法的安全有限状态机电路,并对该电路进行了仿真验证与分析。通过仿真验证,与并发故障检测方案相比,该设计能够在减少状态机频繁译码工作量的情况下,正确检测错误并报警,提高了抗故障攻击能力。 展开更多
关键词 故障攻击 椭圆曲线 有限状态机 非并发
在线阅读 下载PDF
基于FSM模型的车载MOST网络管理系统 被引量:2
3
作者 南洋 秦贵和 +1 位作者 董劲男 高洋 《计算机工程》 CAS CSCD 北大核心 2011年第18期91-93,96,共4页
设计并实现一种基于有限状态机(FSM)模型的车载MOST网络管理系统。采用中心注册机制管理MOST网络地址资源,通过动态分配各节点的逻辑地址实现多媒体设备即插即用的工作方式,构造FSM模型描述MOST网络系统的状态。测试结果表明,该系统可... 设计并实现一种基于有限状态机(FSM)模型的车载MOST网络管理系统。采用中心注册机制管理MOST网络地址资源,通过动态分配各节点的逻辑地址实现多媒体设备即插即用的工作方式,构造FSM模型描述MOST网络系统的状态。测试结果表明,该系统可增强车载MOST网络的灵活性、健壮性和容错性,满足车载信息娱乐系统对即插即用工作方式的需求。 展开更多
关键词 面向媒体的系统传输 车载网络 传输协议 有限状态机 中心注册
在线阅读 下载PDF
基于FSM的紧凑型回旋加速器控制系统研究 被引量:1
4
作者 胡啸 秦斌 +1 位作者 李冬 胡桐宁 《计算机工程》 CAS CSCD 北大核心 2011年第14期251-253,共3页
针对CYCHU-10紧凑型低能强流回旋加速器的实际运行需求,基于有限状态机理论,提出一种层次化的加速器控制系统设计方法,在Simulink环境下利用Stateflow完成系统建模和仿真。仿真结果表明,该设计能全面反映加速器中的动态逻辑关系,可用性... 针对CYCHU-10紧凑型低能强流回旋加速器的实际运行需求,基于有限状态机理论,提出一种层次化的加速器控制系统设计方法,在Simulink环境下利用Stateflow完成系统建模和仿真。仿真结果表明,该设计能全面反映加速器中的动态逻辑关系,可用性及可靠性较强。 展开更多
关键词 有限状态机 CYCHU-10回旋加速器 控制系统 Stateflow工具 系统建模
在线阅读 下载PDF
基于监控理论的EFSM设计方法 被引量:1
5
作者 王向云 赵雷 蔡开元 《计算机工程与应用》 CSCD 北大核心 2009年第6期20-24,81,共6页
随着扩展有限状态机(EFSM)模型在计算机科学和工程领域的广泛应用,EFSM的设计逐渐成为一个重要的问题。目前EFSM的设计仍然主要依赖于个人经验,缺乏理论基础。由于EFSM中每个转移的谓词可以看作此转移的一个监控器,所以可以用离散事件... 随着扩展有限状态机(EFSM)模型在计算机科学和工程领域的广泛应用,EFSM的设计逐渐成为一个重要的问题。目前EFSM的设计仍然主要依赖于个人经验,缺乏理论基础。由于EFSM中每个转移的谓词可以看作此转移的一个监控器,所以可以用离散事件系统的监控理论为EFSM设计提供理论基础。首先定义了有限状态机(FSM)导出的EFSM及其产生的语言。然后,基于监控理论中的受控对象和监控器,提出了一种设计EFSM的方法,用离散事件系统监控理论为EFSM设计提供理论依据。最后用两个实际例子说明了提出方法的可用性和有用性。 展开更多
关键词 形式化方法 软件控制论 离散事件系统 扩展有限状态机(Efsm) 有限状态机(fsm)
在线阅读 下载PDF
基于Agent和FSM的细胞信号转导网络仿真
6
作者 杨韬 邓红莉 邵晨曦 《计算机工程与应用》 CSCD 北大核心 2011年第3期221-224,共4页
针对现有细胞信号转导网络仿真方法的不足,提出一种基于Agent和FSM的仿真方法,在宏观水平与微观水平之间构建多Agent系统,仿真复杂的细胞信号转导网络。融合了智能Agent技术和FSM模型实现分子建模,有效地模拟了信号传递的分子机制,并减... 针对现有细胞信号转导网络仿真方法的不足,提出一种基于Agent和FSM的仿真方法,在宏观水平与微观水平之间构建多Agent系统,仿真复杂的细胞信号转导网络。融合了智能Agent技术和FSM模型实现分子建模,有效地模拟了信号传递的分子机制,并减少了外部通信。采用定性仿真建模分子构象,降低了组合复杂性。通过仿真实验证明了方法的有效性。 展开更多
关键词 细胞信号转导 复杂网路 建模与仿真 AGENT技术 有限状态机
在线阅读 下载PDF
一个基于FSM测试自动化方案与实现 被引量:2
7
作者 黄晓玲 袁兆山 黄超男 《合肥工业大学学报(自然科学版)》 CAS CSCD 北大核心 2008年第1期32-35,47,共5页
测试自动化是软件测试追求的目标。文章对一个基于FSM测试自动化方案及实现开展研究,给出了基于FSM的测试用例自动生成、测试用例自动执行以及结果自动比较的过程,并提出实现方法;以项目CQMIS为例,使用自动化测试工具RFT,依据提出的基于... 测试自动化是软件测试追求的目标。文章对一个基于FSM测试自动化方案及实现开展研究,给出了基于FSM的测试用例自动生成、测试用例自动执行以及结果自动比较的过程,并提出实现方法;以项目CQMIS为例,使用自动化测试工具RFT,依据提出的基于FSM测试方案实施自动化测试,效果良好。 展开更多
关键词 软件测试 有限状态机 测试自动化
在线阅读 下载PDF
基于FSM的测试序列生成方法研究 被引量:3
8
作者 黎中文 张来顺 何焱 《计算机应用研究》 CSCD 北大核心 2011年第9期3368-3371,共4页
为了降低UIO序列方法的测试序列长度,通过研究现有的测试序列生成方法,将可逆序列引入到测试序列的生成算法中,将其作为所有转移和状态的连接序列,并利用中国农村邮递员问题的解法构造一条最短遍历路径,使得各个状态的UIO序列之间的重... 为了降低UIO序列方法的测试序列长度,通过研究现有的测试序列生成方法,将可逆序列引入到测试序列的生成算法中,将其作为所有转移和状态的连接序列,并利用中国农村邮递员问题的解法构造一条最短遍历路径,使得各个状态的UIO序列之间的重复部分达到最大,测试序列的整体长度被缩短。对测试序列的实验结果表明,算法能够有效降低测试序列的长度。 展开更多
关键词 唯一输入/输出序列 测试序列 有限自动机 可逆序列
在线阅读 下载PDF
智能服务终端的探索性自适应FSM测试方法
9
作者 聂钰格 殷蓓蓓 +2 位作者 裴翰宇 李莉 徐立鑫 《计算机研究与发展》 EI CSCD 北大核心 2022年第9期1887-1901,共15页
随着智能化时代的到来,以自动饮料售卖机、自动地铁售票机、ATM机等为代表的智能服务终端对人们的生活起到了越来越重要的作用,对智能服务终端进行全面有效的测试以防止其可能出现的各种错误,提升用户体验变得十分重要.针对目前软件版... 随着智能化时代的到来,以自动饮料售卖机、自动地铁售票机、ATM机等为代表的智能服务终端对人们的生活起到了越来越重要的作用,对智能服务终端进行全面有效的测试以防止其可能出现的各种错误,提升用户体验变得十分重要.针对目前软件版本更新频繁、开发与测试难以对接、边开发边测试导致的测试工作量庞大且难以规范化等问题,根据智能服务终端状态及状态迁移特征明显的特点,提出一种在规格说明不充分、软件快速迭代需要不断回归测试情况下仍能被高效使用的测试方案——基于FSM(finite state machine)的探索性自适应测试.该方法首先通过探索性测试获得待测系统的状态及迁移信息,然后把它们建模成FSM,根据模型及已经执行过的测试用例,以状态及状态迁移覆盖为准则生成测试用例,在测试过程中不断地对测试模型及相应的测试用例进行自适应调整.基于该方法,通过集成开源软件Graphwalker,搭建了一个实验平台,选择了10种不同种类的常用智能服务终端,通过实验评估其有效性.实验结果表明,该方法生成的测试用例数量少,测试充分性程度高,可以高效地发现智能服务终端系统中存在的缺陷和问题. 展开更多
关键词 有限状态机测试 智能服务终端 自适应测试 探索性测试 探索性自适应fsm测试
在线阅读 下载PDF
基于FSM和事件驱动的卫星管理软件设计 被引量:4
10
作者 张合生 金玉红 +1 位作者 李杰 盖建宁 《计算机工程》 CAS CSCD 北大核心 2009年第21期280-282,共3页
随着航天飞行器结构的复杂和软件规模的膨胀,软件的结构成为软件设计的关键技术,针对该问题,提出以有限状态机为模型的软件模块化设计方法。该设计按事件产生、消息(事件)队列维护、事件响应的处理流程,建立事件驱动机制,构建软件系统... 随着航天飞行器结构的复杂和软件规模的膨胀,软件的结构成为软件设计的关键技术,针对该问题,提出以有限状态机为模型的软件模块化设计方法。该设计按事件产生、消息(事件)队列维护、事件响应的处理流程,建立事件驱动机制,构建软件系统结构。实验结果表明,该设计提高了软件的可靠性和开发效率,使其更易于维护和扩展,并降低了失效风险。 展开更多
关键词 有限状态机 事件驱动 管理软件 卫星
在线阅读 下载PDF
基于改进FSM的RBAC测试集约简方法
11
作者 袁佳琳 高建华 《计算机工程》 CAS CSCD 2012年第17期42-45,48,共5页
使用完备的有限状态机生成一致性测试集虽然有效,但数量庞大。针对该问题,考虑一般系统访问控制的基本需求,提出6种探索式方法对有限状态机(FSM)进行约简,有效避免状态爆炸的现象发生,简化了生成的一致性测试集大小。对基于FSM生成树进... 使用完备的有限状态机生成一致性测试集虽然有效,但数量庞大。针对该问题,考虑一般系统访问控制的基本需求,提出6种探索式方法对有限状态机(FSM)进行约简,有效避免状态爆炸的现象发生,简化了生成的一致性测试集大小。对基于FSM生成树进行实验,结果表明,改进FSM对缩小基于角色的访问控制系统一致性测试集是有效的。 展开更多
关键词 有限状态机 权限控制 基于角色的访问控制 一致性测试集 试探法 错误覆盖率
在线阅读 下载PDF
无人驾驶车辆路径跟踪混合控制策略研究 被引量:4
12
作者 李兆凯 刘新宁 +2 位作者 彭国轩 孙雪 陈涛 《汽车技术》 CSCD 北大核心 2024年第3期37-46,共10页
针对单一控制算法无法同时满足无人驾驶车辆对路径跟踪精度和控制器求解速度需求的问题,提出一种基于线性二次型调节器(LQR)和模型预测控制(MPC)的混合控制策略。该策略在低速工况下使用线性二次型调节器、在高速工况下使用模型预测控... 针对单一控制算法无法同时满足无人驾驶车辆对路径跟踪精度和控制器求解速度需求的问题,提出一种基于线性二次型调节器(LQR)和模型预测控制(MPC)的混合控制策略。该策略在低速工况下使用线性二次型调节器、在高速工况下使用模型预测控制算法进行路径跟踪控制,在此基础上设计基于有限状态机(FSM)的控制算法切换机制,并通过遗传算法(GA)对控制参数进行优化,基于CarSim和MATLAB/Simulink仿真平台对混合控制策略进行仿真验证,并进一步完成了实车试验。试验结果表明,所设计的混合控制策略能够在提高跟踪精度的基础上缩短计算时间,与单一控制算法相比,平均横向误差和平均航向误差分别减小了26.3%和39.6%,平均计算时间缩短了10.9%。 展开更多
关键词 路径跟踪 线性二次型调节器 模型预测控制 有限状态机 遗传算法
在线阅读 下载PDF
基于状态机的SDRAM控制器的设计与实现 被引量:20
13
作者 段然 樊晓桠 +2 位作者 张盛兵 沈戈 梁婕 《计算机工程与应用》 CSCD 北大核心 2005年第17期110-112,132,共4页
现代计算机的基本框架仍是以冯·诺伊曼结构为基础,以中央控制单元和存储指令/数据的存储器之间的通信为支撑的。同步动态随机存储器(即SDRAM)与静态RAM相比具有容量大,成本低的优势;与传统异步DRAM相比其速度更快,所以得到了越来... 现代计算机的基本框架仍是以冯·诺伊曼结构为基础,以中央控制单元和存储指令/数据的存储器之间的通信为支撑的。同步动态随机存储器(即SDRAM)与静态RAM相比具有容量大,成本低的优势;与传统异步DRAM相比其速度更快,所以得到了越来越广泛的应用。因此以简化主机对SDRAM访问为主要任务的SDRAM控制器的设计就变得更加重要。论文提出了一种基于状态机的SDRAM控制器的设计思路与实现,并通过了FPGA验证,完全达到系统的功能和速度要求。 展开更多
关键词 SDRAM 状态机 刷新
在线阅读 下载PDF
基于有限状态机的智能车辆交叉口行为预测与控制 被引量:16
14
作者 熊光明 李勇 王诗源 《北京理工大学学报》 EI CAS CSCD 北大核心 2015年第1期34-38,共5页
提出一种智能车辆交叉口行为预测与控制方法.建立交叉口车辆行为预测的有限状态机(FSM)模型,对交叉口其他车辆的行为进行预测.构建应用于智能车辆的混合状态系统,引入有限状态机模型,结合智能车辆交叉口安全条件运行规则,实现智能车辆... 提出一种智能车辆交叉口行为预测与控制方法.建立交叉口车辆行为预测的有限状态机(FSM)模型,对交叉口其他车辆的行为进行预测.构建应用于智能车辆的混合状态系统,引入有限状态机模型,结合智能车辆交叉口安全条件运行规则,实现智能车辆离散状态分析及车辆控制.运用PreScan和Simulink/Stateflow实现交叉口联合仿真.结果表明,该方法可以使智能车辆安全地通过有其他车辆通行的交叉路口. 展开更多
关键词 智能车辆 有限状态机 混合状态系统 交叉口 PreScan
在线阅读 下载PDF
下肢假肢穿戴者跑动步态识别与膝关节控制策略研究 被引量:13
15
作者 刘作军 高新智 +1 位作者 赵晓东 陈玲玲 《仪器仪表学报》 EI CAS CSCD 北大核心 2018年第7期74-82,共9页
为研究假肢穿戴者跑动状态以及假肢膝关节的跑动控制,首先通过人体多源运动信息采集,获取髋、膝关节加速度信号、大腿股直肌部位肌电信号和足底压力信号,使用切比雪夫I型滤波方法进行降噪并提取信号特征。利用相关性分析方法,结合足底... 为研究假肢穿戴者跑动状态以及假肢膝关节的跑动控制,首先通过人体多源运动信息采集,获取髋、膝关节加速度信号、大腿股直肌部位肌电信号和足底压力信号,使用切比雪夫I型滤波方法进行降噪并提取信号特征。利用相关性分析方法,结合足底压力信号实现对跑动状态识别。在此基础上,利用粒子群优化的支持向量机方法进行信号分析,实现对6个跑动相位的识别。以四连杆假肢为被控对象,以人体跑动信号的特征点为各相位的转移条件,提出了基于有限状态机的假肢跑动控制策略。通过多项式拟合,建立了假肢膝关节控制模型,并进行了下肢假肢测试平台的验证。测试结果表明,所提方法可以实现跑动步态与相位的有效识别,并控制假肢膝关节做出正确的跑动动作。 展开更多
关键词 假肢 步态识别 支持向量机 有限状态机
在线阅读 下载PDF
有限状态机在开放式数控系统中的应用 被引量:17
16
作者 孙维堂 刘永贤 +1 位作者 张禹 张延成 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2007年第8期1174-1177,共4页
为了克服传统编程模式开发的控制程序可移植性差、维护困难等缺点,研究了采用FSM开发CNC系统软件的方法.介绍了FSM的基本原理并提出了对复杂系统采用层级式FSM建模的方案;分析了开放式CNC系统的主要软件模块构成,并简要描述了主要软件... 为了克服传统编程模式开发的控制程序可移植性差、维护困难等缺点,研究了采用FSM开发CNC系统软件的方法.介绍了FSM的基本原理并提出了对复杂系统采用层级式FSM建模的方案;分析了开放式CNC系统的主要软件模块构成,并简要描述了主要软件模块的FSM行为模型;介绍了基于FSM的系统重构机理,使用FSM可以实现软件单元的功能定义和控制逻辑分离,提高系统重构的柔性;基于FSM的系统重构机理,研究了在系统中扩充自适应调节进给速度功能的方法. 展开更多
关键词 有限状态机 行为模型 开放式CNC系统 系统重构 软件开发
在线阅读 下载PDF
一种基于有限状态机和组态的备自投实现 被引量:7
17
作者 李志坚 姜利华 +1 位作者 吴崇昊 王伟 《电力系统自动化》 EI CSCD 北大核心 2009年第23期81-84,共4页
文中深入分析了备用电源自动投入(简称备自投)的特点——由多个步骤环节组成且每个步骤环节有不同的条件状态,因为备自投实质是一种基于时序控制的过程,不同的运行方式条件差异很大。提出一种基于有限状态机(FSM)和组态的备自投实现方案... 文中深入分析了备用电源自动投入(简称备自投)的特点——由多个步骤环节组成且每个步骤环节有不同的条件状态,因为备自投实质是一种基于时序控制的过程,不同的运行方式条件差异很大。提出一种基于有限状态机(FSM)和组态的备自投实现方案,能够解决时序控制过程和条件差异,通用性强。该方案由若干个输入部件和输出部件、1个有限状态机和组态文件组成,通过"搭积木"方式实现完全任意组态的备自投,以及各种复杂情况的备自投,能够方便工程维护,提高开发效率。 展开更多
关键词 备用电源自动投入 有限状态机 组态
在线阅读 下载PDF
基于有限状态机的用户权限隔离模型 被引量:4
18
作者 李健俊 蒋一翔 +2 位作者 钱杰 李威 李瑜 《计算机应用》 CSCD 北大核心 2013年第1期149-152,共4页
针对操作系统中的权限问题,提出了基于有限状态机(FSM)的用户权限隔离模型,将用户的授权访问行为刻画为一个有限状态机,任意用户的有限状态机都只能识别该用户的合法操作序列;同时,模型证明在用户权限交集的部分,即用户访问发生共享的点... 针对操作系统中的权限问题,提出了基于有限状态机(FSM)的用户权限隔离模型,将用户的授权访问行为刻画为一个有限状态机,任意用户的有限状态机都只能识别该用户的合法操作序列;同时,模型证明在用户权限交集的部分,即用户访问发生共享的点,容易出现权限窃取或者非法提升等安全问题。最终,利用有限状态机实现了对用户权限隔离的有效识别与判定。 展开更多
关键词 最小特权 隔离 有限状态机
在线阅读 下载PDF
基于传感应用的智能跑步机控制系统 被引量:15
19
作者 曹新星 朱世强 崔壮平 《传感器与微系统》 CSCD 北大核心 2011年第2期97-100,共4页
在传统跑步机的基础上实现跑步机的智能化、数字化和友好的人机交互,给出了一种基于嵌入式多传感器技术的智能型数字化跑步机控制系统。该系统除了能够对跑步机速度、坡度、运动状态等基本功能进行稳定的控制外,还具有按键控制、语音控... 在传统跑步机的基础上实现跑步机的智能化、数字化和友好的人机交互,给出了一种基于嵌入式多传感器技术的智能型数字化跑步机控制系统。该系统除了能够对跑步机速度、坡度、运动状态等基本功能进行稳定的控制外,还具有按键控制、语音控制、整合式触摸控制、电视多媒体信号采集、处理、显示等人机交互控制功能,更是具有智能感知、智能化安全保护、程序化健身方式等智能化和安全化考虑设计。 展开更多
关键词 多传感器 智能跑步机 变频器 语音控制 有限状态机
在线阅读 下载PDF
基于有限状态机的电梯控制系统故障诊断方法 被引量:13
20
作者 包健 魏丽娜 赵建勇 《计算机应用》 CSCD 北大核心 2012年第6期1692-1695,共4页
针对电梯控制系统软故障样本获取困难及产生时间短暂的问题,提出一种基于状态机的故障诊断方法。利用电梯控制开关量和电梯运行模拟量作为状态机的状态特征,在电梯正常运行过程中收集各状态并记录状态转换,以此建立电梯控制系统的规范模... 针对电梯控制系统软故障样本获取困难及产生时间短暂的问题,提出一种基于状态机的故障诊断方法。利用电梯控制开关量和电梯运行模拟量作为状态机的状态特征,在电梯正常运行过程中收集各状态并记录状态转换,以此建立电梯控制系统的规范模型;改进基于有限状态机的被动测试错误检测算法,对待诊断的电梯控制系统进行故障检测/诊断;并不断地确认新的故障情况,完善规范模型。实验结果表明,该方法可以及时检测出未知情况,也可以有效地诊断已知故障,对电梯控制系统瞬间出现的软故障有很好的监督作用。 展开更多
关键词 电梯控制系统 有限状态机 软故障 错误检测 故障诊断
在线阅读 下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部