芬兰FSM学校体育一体化项目发展路径的镜鉴与启示

运用文献资料、案例分析等方法,梳理芬兰FSM一体化项目内在逻辑、运行机制并结合国情提出推进路径。芬兰FSM项目一体化发展路径:①制度设计与实施的有效协同;②体育素养与校园文化的整体建设;③课内外服务内容的延伸与衔接;④行动与评价主体的一致性设计。基于此,提炼了对我国学校体育一体化发展的推进路径:①学校体育政策导向、制度框架与行动指南的有序衔接;②三位一体的学术驱动、学校组织、学生参与的正向循环;③学校共同体权责监察、过程监控、效果监督的有效评估。

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

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

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

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

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

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

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

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

嵌入式系统的CFSM模型

随着嵌入式系统的速度、复杂度的上升,软硬件协同设计已经越来越广泛地应用于各种嵌入式系统的设计当中。介绍了一种基于常用的FSM模型的CFSM模型。CFSM模型继承了FSM模型的优点,改善了它的缺点。CFSM模型是一个通用的系统模型,既可以表示控制型系统,又可以表示数据型系统。给出了它的定义、行为描述、数学模型以及应用等。CFSM模型对软硬件都是透明的,可以推迟系统设计中的软硬件划分时间,得到更优的设计。

基于Verilog的顺序状态逻辑FSM的设计与仿真

以顺序状态逻辑有限状态机的设计为例,简要介绍了用Verilog语言进行集成电路设计的一般过程,并在ModelSim和DC环境下成功地进行了仿真和综合。

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

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

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

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

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

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

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管道腐蚀测量中的应用

基于电位阵列的金属管道(容器)在线腐蚀检测方法称为场指纹法(field signature method,FSM)。FSM是一种新型的石油、天然气管道腐蚀监测技术。它通过检测管道外部两两电极间电位差的变化,来判断管道的腐蚀情况。由于电极间的电位差极其微弱(30～60μV),因此微弱信号的测量精度决定了腐蚀检测的精度。锁相放大技术是一种提取淹没在噪声中微弱信号的重要手段,广泛用于微弱信号检测系统中。介绍锁相放大技术的微弱信号检测电路的设计以及在FSM管道腐蚀测量系统的应用,同时针对测量信号是低频的特点,在系统中采用数字与模拟相结合的方法,大幅度提高了其测量精度以及稳定性,达到了项目的要求。

FSM技术对海底管道中缓蚀剂应用效果的评价

针对某海上气田海底管道中高含CO_2气体的恶劣工况,通过在海底管道上安装FSM腐蚀检测设备,对海上气田不同生产过程应用的缓蚀剂进行效果评估,及时对缓蚀剂进行了优化,确保海底管道内壁处于低度腐蚀状况,保证了气田的安全运行。

金属改性的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测试方法大大减少了状态。

基于次态输出的FSM设计及异步转换条件采样研究

根据状态转换图输出属性为原态输出或次态输出,归纳和研究两类FSM电路设计方法。并从两个实例分析入手,明晰同步时序逻辑电路次态输出设计的可状态化简和寄存器输出特点,以及给出如何处理异步信号请求状态转换条件的通用方法。实际测试表明:系统具有稳定性好和结构简单等特点。

基于FSM的可编程集成芯片功能测试

针对某型导弹电子设备电路板测试要求,采用可编程逻辑器件FPGA,提出了一种基于有限状态机(FSM,Finite State Machine)的可编程集成芯片功能测试的方案;以可编程定时计数器Cμ8254的功能测试为例,采用硬件描述语言Verilog HDL完成了FSM的设计和功能仿真,通过实验完成了对Cμ8254其中3种工作方式的功能测试,实验结果表明该方案能完成可编程集成芯片的功能测试;和其它方法相比,简化了设计,同时缩短了开发周期,减小了体积,有较高的实用价值。

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

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

基于FSM技术的地球站网控设计与实现

针对按需分配(DAMA)卫通系统的应用特点,分析了地球站网控系统的工作原理、主要任务,描述了目标系统的硬件、固件和软件设计方法。作为地球站入网工作的重要部分,如何保证网控系统的可靠运行是设计的关键,详述了使用模块化设计、有限状态机等技术手段设计并实现目标系统的过程,实际工程应用证明,目标系统具有集成度高、适应性好和可靠性高等优点。

基于FSM新设备启动步骤智能生成模型研究

为解决江苏电网运行人员手动编制新设备启动调度实施方案造成的工作效率低、压力大、易出错等问题,通过研究有限状态机(FSM)的基本原理和新设备启动的业务实体,在新设备启动调试项目已确定的前提下,搭建了基于FSM原理的新设备启动步骤智能生成模型,并详细描述了该模型的5大要素和实现原理,通过模拟江苏电网A变电站220kV新设备启动步骤智能生成的实例推理,验证了该模型的可用性,为启动方案智能编制系统的建设奠定了技术基础。