期刊文献+
共找到63篇文章
< 1 2 4 >
每页显示 20 50 100
Towards Automatic Transformation from UML Model to FSM Model for Web Applications
1
作者 Xi Wang Huaikou Miao Liang Guo 《Journal of Software Engineering and Applications》 2008年第1期68-75,共8页
The need for automatic testing of large-scale web applications suggests the use of model-based testing technology. Among various modeling languages, UML is widely spread and used for its simplicity, understandability ... The need for automatic testing of large-scale web applications suggests the use of model-based testing technology. Among various modeling languages, UML is widely spread and used for its simplicity, understandability and ease of use. But rigorous analysis for UML model is difficult due to its lack of precise semantics. On the other hand, as a formal notation, FSM provides an avenue for automatic generation of test cases, but the requirement for mathematical basis makes itself academic inventions divorced from real applications. This paper proposes an approach to transforming UML model to FSM model, taking advantage of both languages. As our work focuses on the transformation of UML state diagrams to FSM models, a specific transformation mechanism is presented, which deals with different elements with different mapping rules. To illustrate the mechanism we proposed, an example of a web application for software download is presented. Finally, we give a method for implementation of the mechanism and a tool prototype to support the method. 展开更多
关键词 UML model fsm model model TRANSFORMATION
下载PDF
无人驾驶车辆路径跟踪混合控制策略研究 被引量:1
2
作者 李兆凯 刘新宁 +2 位作者 彭国轩 孙雪 陈涛 《汽车技术》 CSCD 北大核心 2024年第3期37-46,共10页
针对单一控制算法无法同时满足无人驾驶车辆对路径跟踪精度和控制器求解速度需求的问题,提出一种基于线性二次型调节器(LQR)和模型预测控制(MPC)的混合控制策略。该策略在低速工况下使用线性二次型调节器、在高速工况下使用模型预测控... 针对单一控制算法无法同时满足无人驾驶车辆对路径跟踪精度和控制器求解速度需求的问题,提出一种基于线性二次型调节器(LQR)和模型预测控制(MPC)的混合控制策略。该策略在低速工况下使用线性二次型调节器、在高速工况下使用模型预测控制算法进行路径跟踪控制,在此基础上设计基于有限状态机(FSM)的控制算法切换机制,并通过遗传算法(GA)对控制参数进行优化,基于CarSim和MATLAB/Simulink仿真平台对混合控制策略进行仿真验证,并进一步完成了实车试验。试验结果表明,所设计的混合控制策略能够在提高跟踪精度的基础上缩短计算时间,与单一控制算法相比,平均横向误差和平均航向误差分别减小了26.3%和39.6%,平均计算时间缩短了10.9%。 展开更多
关键词 路径跟踪 线性二次型调节器 模型预测控制 有限状态机 遗传算法
下载PDF
微小气动机器人移动FSM建模与控制 被引量:1
3
作者 于莲芝 佘国君 +1 位作者 朱小飞 张世雷 《控制工程》 CSCD 北大核心 2011年第1期133-137,共5页
根据仿生尺蠖运动机理研制了一种用于人体腔道微创诊查的微小机器人系统,该机器人系统由前支撑单元、后支撑单元和具有3个气室的橡胶驱动器三部分组成。根据微型机器人的本体结构分析了机器人的移动控制原理,给出了在一个运动循环周期... 根据仿生尺蠖运动机理研制了一种用于人体腔道微创诊查的微小机器人系统,该机器人系统由前支撑单元、后支撑单元和具有3个气室的橡胶驱动器三部分组成。根据微型机器人的本体结构分析了机器人的移动控制原理,给出了在一个运动循环周期内机器人移动一个步距的运动状态和控制时序。阐述了有限状态机原理,并基于有限状态机原理建立了该机器人移动状态的有限状态机模型。在一个运动周期内移动机器人的运动状态可细分为6个状态过程,通过分析该机器人系统一个运动循环周期内各种运动状态和各状态之间的转换的关系,编制了相应的仿真算法,并通过该实验验证了该仿真算法的可行性和模型的正确性,研究结果表明基于有限状态机模型的控制算法可实现该微小机器人移动的有效控制。 展开更多
关键词 微小机器人 运动状态 有限状态机模型 控制算法
下载PDF
基于FSM的平板模型研究 被引量:11
4
作者 肖河川 廖俊必 +1 位作者 万正军 张志平 《电子测量技术》 2012年第3期107-111,共5页
FSM(Field Signature Method)即电指纹法,一种新型的管道腐蚀监测技术,监测所用的电极和其他设备均安装在管道外部,可以不受干扰地监测管道内部腐蚀。在介绍FSM方法的基础上,提出了平板模型以及平板模型对FSM检测的作用。对平板模型进行... FSM(Field Signature Method)即电指纹法,一种新型的管道腐蚀监测技术,监测所用的电极和其他设备均安装在管道外部,可以不受干扰地监测管道内部腐蚀。在介绍FSM方法的基础上,提出了平板模型以及平板模型对FSM检测的作用。对平板模型进行了ANSYS仿真分析和实验验证。理论推导和实际数据处理表明,指纹系数和平板模型厚度变化一一对应,理论厚度变化与实际超声波测得厚度变化吻合程度对提高管道腐蚀检测精度具有重要意义。 展开更多
关键词 电指纹法 指纹系数 平板模型 探针 电位差
下载PDF
基于ORD和FSM的Web应用的建模与测试 被引量:3
5
作者 钱忠胜 缪淮扣 陈圣波 《计算机科学》 CSCD 北大核心 2008年第9期278-281,291,共5页
Web测试是保证高质量Web应用的一种有效技术。然而,由于其特殊性和复杂性,很难直接将传统的测试理论与方法学运用到Web应用的测试当中来。对Web应用进行了分析与建模,并对其进行测试,提出了一种可行的Web测试模型。首先得到页面流图(PFD... Web测试是保证高质量Web应用的一种有效技术。然而,由于其特殊性和复杂性,很难直接将传统的测试理论与方法学运用到Web应用的测试当中来。对Web应用进行了分析与建模,并对其进行测试,提出了一种可行的Web测试模型。首先得到页面流图(PFD,Page Flow Diagram),进而产生对象关系图(ORD,Object Relation Dia-gram),然后根据提出的算法将ORD转化为形式化的有限状态机(FSM,Finite State Machine)模型。基于FSM模型,提出了一种有效的测试路径自动生成方法,这些测试路径可以转化为XML语法的测试规格说明。测试引擎将测试规格说明作为输入最终产生测试报告。全文以所开发的一个小型的Web应用SWLS(Simple Web Login System)为例进行阐述。 展开更多
关键词 WEB应用 页面流图 对象关系图 有限状态机 形式化 测试路径 Web测试模型
下载PDF
嵌入式系统的CFSM模型
6
作者 郭天天 卢焕章 张志勇 《系统工程与电子技术》 EI CSCD 北大核心 2005年第12期2091-2094,共4页
随着嵌入式系统的速度、复杂度的上升,软硬件协同设计已经越来越广泛地应用于各种嵌入式系统的设计当中。介绍了一种基于常用的FSM模型的CFSM模型。CFSM模型继承了FSM模型的优点,改善了它的缺点。CFSM模型是一个通用的系统模型,既可以... 随着嵌入式系统的速度、复杂度的上升,软硬件协同设计已经越来越广泛地应用于各种嵌入式系统的设计当中。介绍了一种基于常用的FSM模型的CFSM模型。CFSM模型继承了FSM模型的优点,改善了它的缺点。CFSM模型是一个通用的系统模型,既可以表示控制型系统,又可以表示数据型系统。给出了它的定义、行为描述、数学模型以及应用等。CFSM模型对软硬件都是透明的,可以推迟系统设计中的软硬件划分时间,得到更优的设计。 展开更多
关键词 软硬件协同设计 fsm模型 Cfsm模型 有穷自动机
下载PDF
自动调压无创呼吸机软件设计及测试分析
7
作者 雷豪 《科技创新与应用》 2024年第6期45-48,共4页
该文主要探究自动调压无创呼吸机软件部分的设计方法,并开展测试观察应用效果。呼吸机采用μc/OS-II实时嵌入式操作系统,呼吸机与上位机之间使用USB接口实现通信。用户佩戴呼吸机面罩后,传感器实时采集压力数据,并根据用户的呼吸动作自... 该文主要探究自动调压无创呼吸机软件部分的设计方法,并开展测试观察应用效果。呼吸机采用μc/OS-II实时嵌入式操作系统,呼吸机与上位机之间使用USB接口实现通信。用户佩戴呼吸机面罩后,传感器实时采集压力数据,并根据用户的呼吸动作自动调节输出压力,在呼气时降低压力以减小呼气阻力,在吸气时增加压力以辅助吸气。从测试情况来看,该文设计的自动调压无创呼吸机基本上达到设计要求。 展开更多
关键词 无创呼吸机 嵌入式操作系统 人机同步 传感器 fsm模型
下载PDF
基于FSM的车辆底盘CAN网络建模与仿真
8
作者 孙宁 陈南 +2 位作者 皮大伟 张丙军 钟国华 《系统仿真学报》 CAS CSCD 北大核心 2010年第1期258-261,共4页
简述了CAN(controller area network)网络通信协议的特点,在MATLAB/Simulink/Stateflow仿真环境,运用有限状态机(FSM)理论,建立了用于车辆底盘集成控制的CAN网络通信系统仿真模型。仿真研究了节点优先级、传输速率及单帧信息量对通信延... 简述了CAN(controller area network)网络通信协议的特点,在MATLAB/Simulink/Stateflow仿真环境,运用有限状态机(FSM)理论,建立了用于车辆底盘集成控制的CAN网络通信系统仿真模型。仿真研究了节点优先级、传输速率及单帧信息量对通信延时的影响,并将该网络通信模型应用于车辆4WS控制系统,针对网络通讯延迟对控制效果影响进行了仿真分析,进一步证明了使用该模型研究数据传输延时对控制系统控制影响的可行性。 展开更多
关键词 车载网络 CAN网络 fsm 通讯延时 建模
下载PDF
基于FSM的紧凑型回旋加速器控制系统研究 被引量:1
9
作者 胡啸 秦斌 +1 位作者 李冬 胡桐宁 《计算机工程》 CAS CSCD 北大核心 2011年第14期251-253,共3页
针对CYCHU-10紧凑型低能强流回旋加速器的实际运行需求,基于有限状态机理论,提出一种层次化的加速器控制系统设计方法,在Simulink环境下利用Stateflow完成系统建模和仿真。仿真结果表明,该设计能全面反映加速器中的动态逻辑关系,可用性... 针对CYCHU-10紧凑型低能强流回旋加速器的实际运行需求,基于有限状态机理论,提出一种层次化的加速器控制系统设计方法,在Simulink环境下利用Stateflow完成系统建模和仿真。仿真结果表明,该设计能全面反映加速器中的动态逻辑关系,可用性及可靠性较强。 展开更多
关键词 有限状态机 CYCHU-10回旋加速器 控制系统 Stateflow工具 系统建模
下载PDF
正态云隶属度函数确定的FSM方法 被引量:2
10
作者 刘琪 刘晓青 《自动化仪表》 CAS 北大核心 2012年第2期16-18,共3页
隶属度函数及其确定方法的研究具有重要意义。采用正态云模型表示的隶属度函数综合了模糊性和随机性,具有普适性;提出了确定隶属度函数的模糊减法均值聚类(FSM)方法,得到了最优聚类中心和数据的隶属度。实例仿真表明,采用该方法确定了... 隶属度函数及其确定方法的研究具有重要意义。采用正态云模型表示的隶属度函数综合了模糊性和随机性,具有普适性;提出了确定隶属度函数的模糊减法均值聚类(FSM)方法,得到了最优聚类中心和数据的隶属度。实例仿真表明,采用该方法确定了石油钻井中总体积的正态云隶属度函数,解决了隶属度函数难以客观描述和难以确定的问题。 展开更多
关键词 正态云模型 隶属度函数 不确定性 模糊减法均值聚类 石油钻井
下载PDF
基于FSM新设备启动步骤智能生成模型研究 被引量:6
11
作者 陆圣芝 李国统 +2 位作者 周挺 徐春雷 朱金鑫 《东北电力技术》 2019年第4期16-20,共5页
为解决江苏电网运行人员手动编制新设备启动调度实施方案造成的工作效率低、压力大、易出错等问题,通过研究有限状态机(FSM)的基本原理和新设备启动的业务实体,在新设备启动调试项目已确定的前提下,搭建了基于FSM原理的新设备启动步骤... 为解决江苏电网运行人员手动编制新设备启动调度实施方案造成的工作效率低、压力大、易出错等问题,通过研究有限状态机(FSM)的基本原理和新设备启动的业务实体,在新设备启动调试项目已确定的前提下,搭建了基于FSM原理的新设备启动步骤智能生成模型,并详细描述了该模型的5大要素和实现原理,通过模拟江苏电网A变电站220kV新设备启动步骤智能生成的实例推理,验证了该模型的可用性,为启动方案智能编制系统的建设奠定了技术基础。 展开更多
关键词 fsm 启动方案 新设备启动 启动步骤模型
下载PDF
基于Agent和FSM的细胞信号转导网络仿真
12
作者 杨韬 邓红莉 邵晨曦 《计算机工程与应用》 CSCD 北大核心 2011年第3期221-224,共4页
针对现有细胞信号转导网络仿真方法的不足,提出一种基于Agent和FSM的仿真方法,在宏观水平与微观水平之间构建多Agent系统,仿真复杂的细胞信号转导网络。融合了智能Agent技术和FSM模型实现分子建模,有效地模拟了信号传递的分子机制,并减... 针对现有细胞信号转导网络仿真方法的不足,提出一种基于Agent和FSM的仿真方法,在宏观水平与微观水平之间构建多Agent系统,仿真复杂的细胞信号转导网络。融合了智能Agent技术和FSM模型实现分子建模,有效地模拟了信号传递的分子机制,并减少了外部通信。采用定性仿真建模分子构象,降低了组合复杂性。通过仿真实验证明了方法的有效性。 展开更多
关键词 细胞信号转导 复杂网路 建模与仿真 AGENT技术 有限状态机
下载PDF
基于模型检查的VHDL到FSM的转换 被引量:1
13
作者 苏继强 沈云付 《计算机工程与设计》 CSCD 北大核心 2008年第22期5840-5842,5846,共4页
随着计算机软硬件系统规模的日益复杂,如何保证系统的正确和可靠,逐渐成为当前理论界和产业界共同关心的重要问题。为此提出的诸多理论和方法中,模型检查以其简洁明了和自动化程度高而引人注目。提出了一个针对时序电路VHDL设计的模型... 随着计算机软硬件系统规模的日益复杂,如何保证系统的正确和可靠,逐渐成为当前理论界和产业界共同关心的重要问题。为此提出的诸多理论和方法中,模型检查以其简洁明了和自动化程度高而引人注目。提出了一个针对时序电路VHDL设计的模型检查的解决方案。讨论了该方案的系统结构,将VHDL设计转化为有限状态机模型的算法,以及针对同步时序电路设计的模型化简,可有效减少FSM的状态空间,继而可以采用符号模型检查算法对需要检查的性质进行验证。 展开更多
关键词 模型检查 形式验证 有限状态机 硬件描述语言 同步时序电路
下载PDF
基于FSM模型检验的安全测试技术研究
14
作者 雷炜 欧毓毅 《计算机应用与软件》 CSCD 北大核心 2012年第12期141-143,146,共4页
安全性、可靠性是计算机软硬件系统达到用户满意度的重要指标,为了保证其安全,在系统投入使用之前必须要经过严格的安全性测试。提出一种基于FSM(Finate State Machine)和FTA(fault tree analysis)的模型检测的形式化安全性测试方法来... 安全性、可靠性是计算机软硬件系统达到用户满意度的重要指标,为了保证其安全,在系统投入使用之前必须要经过严格的安全性测试。提出一种基于FSM(Finate State Machine)和FTA(fault tree analysis)的模型检测的形式化安全性测试方法来验证被测系统的安全性。该方法具有较高的通用性,能详细地分析软件模型可能出现的故障。 展开更多
关键词 fsm FTA模型检测 形式化测试
下载PDF
基于FSM模型的无线传感器网络数据收集协议测试
15
作者 刘层层 杨红丽 《软件导刊》 2017年第9期14-18,共5页
在对无线传感器网络数据收集协议进行一致性测试时,生成的测试序列往往不够简捷高效。因此,提出了基于FSM模型的无线传感器网络数据收集协议测试方法。采用FSM模型描述数据收集协议规范,在FSM模型的基础上利用UIO算法生成测试序列。研... 在对无线传感器网络数据收集协议进行一致性测试时,生成的测试序列往往不够简捷高效。因此,提出了基于FSM模型的无线传感器网络数据收集协议测试方法。采用FSM模型描述数据收集协议规范,在FSM模型的基础上利用UIO算法生成测试序列。研究发现:UIO算法生成的测试序列较长,现有基于UIO的改进算法生成的测试序列较短,但不适用于所有协议,为此进行了优化,使得优化后的算法具有更好的适用性。为了阐明方法的有效性,对一个工业界无线抄表数据收集协议WM2RP进行建模与测试序列生成,并搭建测试环境进行了实际测试。 展开更多
关键词 无线传感器网络 数据收集协议 fsm模型 测试序列生成 UIO算法
下载PDF
在信息处理系统中一种基于FSM的用户权限自动化控制方法
16
作者 吴有杰 蔡文杰 《中山大学研究生学刊(自然科学与医学版)》 2005年第1期100-109,共10页
本文提出了一种企业信息处理系统的研究方法。利用工作流建模的思想,本文在企业信息处理系统中以业务流程为中心,阐述了使用状态图对企业的业务流程进行建模(本文没有论述具体如何建模)的观点。基于上述观点,本文提出使用有限状态机(FSM... 本文提出了一种企业信息处理系统的研究方法。利用工作流建模的思想,本文在企业信息处理系统中以业务流程为中心,阐述了使用状态图对企业的业务流程进行建模(本文没有论述具体如何建模)的观点。基于上述观点,本文提出使用有限状态机(FSM)对该模型各个活动的状态进行管理,从而构建起整个系统的核心运行机制;并且提出如何把用户对活动状态的操作权限加载于有限状态机(FSM),从而实现了具有用户权限控制的状态机运行系统;同时描述了如何利用可视化的工具实现活动状态的流程配置和操作权限分配。 展开更多
关键词 信息处理系统 控制方法 自动化 fsm 有限状态机 用户权限控制 业务流程 活动状态 工作流建模 研究方法 运行机制 操作权限 运行系统 权限分配 流程配置 企业 状态图 可视化
下载PDF
双轴音圈电机快速反射镜的系统建模与滑模控制 被引量:1
17
作者 李智斌 李亮 +1 位作者 张建强 孙崇尚 《光学精密工程》 EI CAS CSCD 北大核心 2023年第24期3580-3594,共15页
快速反射镜(Fast Steering Mirror,FSM)是高精密光学系统中的关键仪器,基于音圈电机(Voice Coil Actuator,VCA)驱动的柔性支撑FSM存在复杂耦合特性,导致系统模型复杂并严重影响系统的控制性能,对于该问题,本文提出了一种基于系统辨识与... 快速反射镜(Fast Steering Mirror,FSM)是高精密光学系统中的关键仪器,基于音圈电机(Voice Coil Actuator,VCA)驱动的柔性支撑FSM存在复杂耦合特性,导致系统模型复杂并严重影响系统的控制性能,对于该问题,本文提出了一种基于系统辨识与模型降阶的双轴积分增广滑模控制方法。首先,采用基于脉冲响应的Hankel矩阵系统辨识方法建立VCA-FSM的精确耦合模型;随后,基于平衡实现与平衡截断,在保证模型精度的前提下对所建立的高阶模型进行降阶;其次,基于降阶模型,采用现代控制理论方法设计积分增广滑模控制器,通过设计状态观测器构造滑模切换函数与控制律,并在控制设计中改进符号函数以消除滑模抖振;最后,基于VCA-FSM伺服控制系统实验平台,开展频域与时域性能测试实验。实验结果表明:本文所提控制方法相较于单轴滑模、PID控制方法,系统的闭环跟踪带宽分别提高了约50.3%,251.3%,扰动抑制带宽分别提高了约39.9%,451.9%,阶跃响应调节时间分别缩短了约29.7%,97.7%,螺旋线跟踪精度分别提高了约48.5%,97.8%,且实现了对存在强耦合特性VCA-FSM的解耦控制。本文所提控制方法充分提高了VCA-FSM的控制性能。 展开更多
关键词 快速反射镜 音圈电机 系统辨识 模型降阶 滑模控制
下载PDF
高速倾斜镜建模与传递函数辨识 被引量:12
18
作者 时晶晶 姚佰栋 鲁加国 《红外与激光工程》 EI CSCD 北大核心 2013年第10期2748-2752,共5页
为了在光束稳定控制系统中更好地对高速倾斜镜(FSM)实现稳定、精确地控制,对于由超磁致伸缩材料(GMM)作为位移产生元件的高速倾斜镜,根据GMM材料的特性和倾斜镜的运动机理,经推导建立了倾斜镜的传递函数模型,并结合实测的倾斜镜幅频和... 为了在光束稳定控制系统中更好地对高速倾斜镜(FSM)实现稳定、精确地控制,对于由超磁致伸缩材料(GMM)作为位移产生元件的高速倾斜镜,根据GMM材料的特性和倾斜镜的运动机理,经推导建立了倾斜镜的传递函数模型,并结合实测的倾斜镜幅频和相频响应特性,在Matlab软件中利用Levy法对倾斜镜的传递函数进行了辨识,得到了精确的倾斜镜传递函数。与实测结果相比,在中低频段,幅度辨识误差在0.3 dB以内,相位辨识误差在5°以内,结果表明:通过理论推导建立的倾斜镜模型是合理有效的,对于改善该倾斜镜在应用系统中的稳定性和精度提供了依据。 展开更多
关键词 高速倾斜镜 建模 传递函数辨识 Levy辨识算法
下载PDF
HDLC协议一致性测试系统的研究 被引量:4
19
作者 谭喜堂 王东响 +1 位作者 朱琴跃 王俊哲 《计算机测量与控制》 北大核心 2014年第1期63-65,105,共4页
HDLC协议一致性测试是保证不同厂家生产的HDLC通信设备之间实现互联、互通和互操作的前提;在对协议一致性测试基本工作原理进行简要分析的基础上,提出了HDLC协议一致性测试的基本方法以及测试过程中基于FSM模型的数据收发处理机制;并在... HDLC协议一致性测试是保证不同厂家生产的HDLC通信设备之间实现互联、互通和互操作的前提;在对协议一致性测试基本工作原理进行简要分析的基础上,提出了HDLC协议一致性测试的基本方法以及测试过程中基于FSM模型的数据收发处理机制;并在实验室环境下构建了一致性测试硬件平台,设计了测试准备、测试执行和测试评估相关环节所涉及的基本软件功能模块,完成了HDLC协议一致性测试的基本功能;实际运行和测试结果表明,所设计的测试系统达到了预期结果;目前,该系统已成功应用于高速动车组上的通信测试,测试案例可以根据实际需求进行添加、删除和修改,提高了一致性测试的灵活性和完备性。 展开更多
关键词 HDLC 协议一致性测试 IUT 本地测试法 fsm模型
下载PDF
一种需求驱动的服务行为适配方法 被引量:2
20
作者 范大娟 黄志球 +2 位作者 肖芳雄 彭焕峰 李雯睿 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2014年第2期95-104,共10页
现有服务行为适配方法通常侧重于如何消除服务之间行为上的不相容而往往没有考虑用户的需求,因而需要对基于适配器的服务组合进行需求的可满足性验证,这使得基于适配器的服务组合过程复杂且低效。针对此问题,在适配器生成过程中考虑用... 现有服务行为适配方法通常侧重于如何消除服务之间行为上的不相容而往往没有考虑用户的需求,因而需要对基于适配器的服务组合进行需求的可满足性验证,这使得基于适配器的服务组合过程复杂且低效。针对此问题,在适配器生成过程中考虑用户的需求,提出一种需求驱动的服务行为适配方法,并给出用于描述用户需求的形式模型的语法及语义。证明了利用本文方法所生成的适配器不仅可以消除服务之间行为上的不相容,并且保证基于适配器的服务组合的行为满足需求给出的时序约束,避免了对基于适配器的服务组合进行验证。通过一个贯穿全文的实例分析表明了方法的可行性和有效性。 展开更多
关键词 WEB服务 fsm模型 行为模型 适配器 用户需求
下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部