改进FSM步态检测的行人航位推算方法

针对传统波峰检测法的步态识别率低以及普适性和稳定性较差等问题,提出改进FSM步态检测的行人航位推算方法。该方法关注当前的步伐状态,将一个步态周期划分为5种状态并引入峰值阈值限制,从用户不同运动状态和手机模态进行实验分析。结果表明,该算法不但具有较高的步态识别准确率,而且可减小航位推算时间累积误差,具有一定的可靠性和稳定性,能够满足室内定位需求。

基于FSM的管道腐蚀监测技术实验研究

FSM作为一种新型的管道在线腐蚀监测方法,具有良好的应用前景。压力管道腐蚀缺陷中以局部小腐蚀坑最为常见,这也是FSM方法中研究的重点。本文基于FSM方法对压力管道常见的圆形和矩形小腐蚀坑展开实验研究,结果表明FSM方法对于小体积型缺陷敏感,实验中监测精度为0.5 mm,并可准确反映缺陷增长过程,对管道安全运行具有重要意义。

无人驾驶车辆路径跟踪混合控制策略研究

针对单一控制算法无法同时满足无人驾驶车辆对路径跟踪精度和控制器求解速度需求的问题,提出一种基于线性二次型调节器(LQR)和模型预测控制(MPC)的混合控制策略。该策略在低速工况下使用线性二次型调节器、在高速工况下使用模型预测控制算法进行路径跟踪控制,在此基础上设计基于有限状态机(FSM)的控制算法切换机制,并通过遗传算法(GA)对控制参数进行优化,基于CarSim和MATLAB/Simulink仿真平台对混合控制策略进行仿真验证,并进一步完成了实车试验。试验结果表明,所设计的混合控制策略能够在提高跟踪精度的基础上缩短计算时间,与单一控制算法相比,平均横向误差和平均航向误差分别减小了26.3%和39.6%,平均计算时间缩短了10.9%。

基于PDA和FSM的肉牛养殖可追溯信息采集与传输方法

为提高肉牛养殖信息采集与传输的自动化程度准确性,该文提出了基于个人数字助理(PDA)和有限状态机(FSM)的肉牛养殖可追溯信息采集与传输方法。利用PDA采集肉牛的日常养殖信息;在信息传到PC的过程中,通过利用有限状态机原理,以事件驱动的方式实现了PDA与PC之间的串口信息传输。重点研究了串口传输过程中有限状态机的建模,该方法改变了肉牛养殖信息传统、人工的采集与传输的方式,实现了养殖场信息的快速、准确的采集与传输。

基于FSM的测试理论、方法及评估

为搭建基于FSM的测试方法由理论研究通往工业应用的桥梁,文中讨论了若干基于FSM模型的测试方法及其相关理论,提出构造区分序列的理论及测试序列集合冗余约简的理论,补充并实现了若干基于FSM的测试生成算法.随后文中提出了基于FSM的测试方法评估的5项量化指标,实验评估了若干基于FSM模型的测试方法,给出了一些基于FSM测试的经验建议.文中的评估有助于基于FSM的测试方法在工业中的推广.

FSM在高精度瞄准线稳定系统中的应用研究

快速反射镜(fast-steering mirrors,简称FSM)是一种精确控制光束方向的装置。提出用一种基于压电陶瓷驱动的FSM补偿稳瞄系统中粗级平台的残余误差的方法,可以提高系统稳定精度,同时对采用FSM的高精度稳瞄系统进行了仿真。仿真结果表明:粗级平台稳定误差为110μrad,通过FSM补偿后的系统稳定误差不大于8μrad,即采用该方法可将稳定精度提高一个数量级以上。

地形及构造应力影响下初始地应力场的3D-FSM反演分析

在分析国内外初始地应力场研究现状的基础上,研究了考虑地形及构造应力影响下,基于3D-FSM间接边界元法的初始地应力场反演分析法,并开发了相应的数值计算系统。利用工程实例说明了分析步骤,并验证了该方法的适应性及精度。

Cu/FSM-16催化苯酚与过氧化氢反应合成苯二酚

以Cu/FSM-16为催化剂,以水为溶剂,催化氧化苯酚与过氧化氢羟基化反应合成对苯二酚和邻苯二酚,考察了Cu/FSM-16中Cu的负载量、Cu/FSM-16催化剂用量、反应时间和温度等影响因素。结果表明,在优化反应条件下,苯酚转化率可达到22.7%,苯二酚的选择性为87.4%,并且该催化剂可以重复使用。

基于FSM的协议一致性测试序列生成算法研究

在通信协议的一致性测试领域里,如何生成满足要求的测试序列一直是研究热点之一。针对生成的测试序列不够简捷高效的问题,在介绍了通信协议的主要形式化模型FSM后,先研究了基于UIO的测试序列生成算法,然后对原算法进行了改进。改进后的算法所生成的测试序列具有较高的错误覆盖率,并且能够缩短测试序列的长度。

UML模型到FSM模型的转换

通常可采用UML的各种图从Web应用不同方面对其进行建模。当对Web应用模型进行测试和验证时,需要分别考虑这些采用了不同图形描述的模型,这就带来了测试和验证的繁琐。如果将UML各种图转换到有限状态机(FSM)模型,则可以统一用FSM模型来表示、验证和测试。提出了基于状态迁移特性保持规则的UML到FSM的模型转换方法,特别针对UML状态图中的3种基本组成单元到FSM模型的转换,给出了各自的转换方法,并实现了原型工具UML2FSM。

Zr-FSM-16中孔分子筛的合成及其对苯羟基化的催化性能

以十六烷基三甲基溴化铵 (CTMAB)为模板剂 ,合成出Zr FSM 16中孔分子筛 ,并采用XRD ,IR和BET等对分子筛进行了表征 .考察了Zr掺杂量和 pH值等因素对分子筛结构的影响 ,并考察了合成出的Zr FSM 16分子筛对苯羟基化反应的催化性能 .结果表明 ,Zr能有效地嵌入FSM 16的骨架之中 ,但Zr的嵌入对分子筛中孔结构的形成具有一定的不利影响 ,随着Zr嵌入量的增加 ,分子筛的长程有序度会下降 ;pH值对分子筛中孔结构的形成也具有十分显著的影响 ,在n(Si) /n(Zr) =4 0的条件下 ,pH <12 5时 ,有序度随着pH值的升高而升高 ,pH >12 5时则相反 .一般在n(Si) /n(Zr) >4 0时 ,催化剂均能保持较好的六方晶体结构和较大的比表面积 ;n(Si) /n(Zr) <2 0时 ,则较难形成中孔结构 .Zr FSM 16对于苯的羟基化反应具有良好的催化性能 ,催化活性和选择性均随Zr嵌入量的增加而升高 ,n(Si) /n(Zr) =4 0时 ,苯酚的选择性可达 6 5 %以上 .

基于FSM的平板模型研究

FSM(Field Signature Method)即电指纹法,一种新型的管道腐蚀监测技术,监测所用的电极和其他设备均安装在管道外部,可以不受干扰地监测管道内部腐蚀。在介绍FSM方法的基础上,提出了平板模型以及平板模型对FSM检测的作用。对平板模型进行了ANSYS仿真分析和实验验证。理论推导和实际数据处理表明,指纹系数和平板模型厚度变化一一对应,理论厚度变化与实际超声波测得厚度变化吻合程度对提高管道腐蚀检测精度具有重要意义。

一种基于FSM的告警事件关联方法

对告警事件进行关联处理,去除冗余告警,是网络管理需要解决的一个关键问题。如果考虑事件间的时间关系,问题将变得更为复杂。因此,在充分考虑事件间的时间关系基础上,提出了一种基于有限状态机(FSM)的事件关联模型,并利用该模型设计了一个告警关联处理器,它能够正确地实现事件关联,有效减少冗余告警的发生。

基于FPGA与FSM的高精度测角系统设计与实现

介绍了一种基于有限状态机(FSM)的高精度角度测量系统。该系统采用Renishaw高精度增量式光电编码器作为位置传感器来测量角度,在FPGA上用VHDL语言描述与仿真有限状态机,实现信号滤波与去抖,从而保证了计数器计数的正确性。在ARM9处理器上实现角度的实时计算,并控制转台旋转。在激光跟踪测量系统的工程应用中验证了该系统的正确性和有效性。

金属改性的FSM-16分子筛催化苯与过氧化氢合成苯酚

研究了金属改性的FSM-16分子筛在催化苯与过氧化氢合成苯酚反应中的应用,其中钒改性的FSM-16分子筛显示了较好的活性和高的选择性。当温度为323 K,反应时间为10 h,n(H2O2)∶n(C6H6)=1∶1,乙酸作溶剂,在催化剂V-FSM-16上得到苯的转化率为5.8%,苯酚的选择性为98.8%。催化剂的红外光谱和XRD的表征表明,钒进入了分子筛的骨架中。

一种VFSM的图形用户界面的测试方法

采用有限状态机 (FSM)来模拟GUI的测试问题具有很大的局限性 .作者针对基于FSM的GUI测试的局限性 ,提出了一个变量有限状态机 (VFSM)的形式化模型 ,该VFSM通过引入一组变量 ,可以使用较少的状态来模拟复杂的GUI,并且根据GUI设计规范来构造VFSM相对比较简单 ;然后 ,给出了一个VFSM - >FSM的转化定理和转化算法 ;接着介绍了基于VFSM的GUI测试方法的步骤 ;最后给出了该方法的一个应用实例数据 ,数据表明采用VFSM的GUI测试方法大大减少了状态。

基于监控理论的EFSM设计方法

随着扩展有限状态机(EFSM)模型在计算机科学和工程领域的广泛应用,EFSM的设计逐渐成为一个重要的问题。目前EFSM的设计仍然主要依赖于个人经验,缺乏理论基础。由于EFSM中每个转移的谓词可以看作此转移的一个监控器,所以可以用离散事件系统的监控理论为EFSM设计提供理论基础。首先定义了有限状态机(FSM)导出的EFSM及其产生的语言。然后,基于监控理论中的受控对象和监控器,提出了一种设计EFSM的方法,用离散事件系统监控理论为EFSM设计提供理论依据。最后用两个实际例子说明了提出方法的可用性和有用性。

基于ORD和FSM的Web应用的建模与测试

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)为例进行阐述。

Fe/FSM-16催化苯酚与过氧化氢反应合成二酚

中孔分子筛的改性是近年来研究的一个热点。采用铁改性的FSM-16催化苯酚与过氧化氢反应合成二酚,研究了铁负载量、催化剂用量、反应时间和温度等对催化剂性能的影响。在优化反应条件下,以水为溶剂,苯酚的转化率达到25.4%,二酚的选择性为88.9%。实验结果表明该催化剂可以重复使用。Fe/FSM-16与在工业生产使用的TS-1分子筛的催化活性相近,具有工业应用的前景。

小型嵌入式系统的分析方法——IFSM

首先从软件工程角度将嵌入式系统划分为小型嵌入式系统和复杂嵌入式系统,并分析两者区别。在分析已有软件工程方法的基础上,提出基于改进有限状态机的分析方法和基于盒图的设计方法是适用于小型嵌入式系统开发的工具,并以实例说明。最后对使用这些工具时应该注意的问题以及对策进行分析,表明这些方法具有较强的通用性。