嵌入式系统的CFSM模型

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

基于FSM模型的无线传感器网络数据收集协议测试

在对无线传感器网络数据收集协议进行一致性测试时,生成的测试序列往往不够简捷高效。因此,提出了基于FSM模型的无线传感器网络数据收集协议测试方法。采用FSM模型描述数据收集协议规范,在FSM模型的基础上利用UIO算法生成测试序列。研究发现:UIO算法生成的测试序列较长,现有基于UIO的改进算法生成的测试序列较短,但不适用于所有协议,为此进行了优化,使得优化后的算法具有更好的适用性。为了阐明方法的有效性,对一个工业界无线抄表数据收集协议WM2RP进行建模与测试序列生成,并搭建测试环境进行了实际测试。

基于促进感知模型的护理干预对ICU机械通气患者家属的心理状况的影响

探讨基于促进感知模型(FSM)的护理干预对ICU机械通气患者家属不良心理状况的影响。方法 选取了我院的成人综合ICU的机械通气患者的家属,时间为2021年3月~2021年12月,采用抛硬币式的方法,将ICU中的一个病区列为对照组,另一个病区为干预组。对照组只接受了常规的医疗护理服务,干预组除了要接受对照组的常规医疗护理服务之外,还要接受基于FSM模型的护理干预措施。结果 干预前,两组ICU机械通气患者家属间的焦虑状态得分的比较差异无统计学意义(P>0.05),干预后,对照组家属的焦虑状态得分为(41.50±5.738),干预组家属的焦虑状态得分为(36.50±4.385),两组家属间的焦虑状态比较差异有统计学意义(P<0.001)。5.干预前,两组ICU机械通气患者家属间的抑郁状态得分的比较差异无统计学意义(P>0.05),干预后,对照组家属的抑郁状态得分为(45.28±8.089),干预组家属的抑郁状态得分为(42.13±5.725),两组家属间的抑郁状态比较差异有统计学意义(P<0.05)。结论 基于FSM模型的护理干预方案有效的缓解了ICU机械通气患者家属的焦虑、抑郁状态水平,基于FSM模型的护理干预有利于改善ICU机械通气患者家属的心理状况。

自动调压无创呼吸机软件设计及测试分析

该文主要探究自动调压无创呼吸机软件部分的设计方法,并开展测试观察应用效果。呼吸机采用μc/OS-II实时嵌入式操作系统,呼吸机与上位机之间使用USB接口实现通信。用户佩戴呼吸机面罩后,传感器实时采集压力数据,并根据用户的呼吸动作自动调节输出压力,在呼气时降低压力以减小呼气阻力,在吸气时增加压力以辅助吸气。从测试情况来看,该文设计的自动调压无创呼吸机基本上达到设计要求。

基于FSM的WIA-PA协议测试序列自动生成技术研究

本文重点介绍基于有限状态机(FSM)测试序列生成方法,并以现场设备安全入网为例,利用该方法生成测试序列。为构建WIA-PA协议测试FSM模型,文中分析了WIA-PA协议测试中的安全入网的设备状态、事件、输出和转移输出,在此基础上建立了现场设备安全入网测试的FSM模型。然后在FSM模型基础上,采用UIO方法生成测试序列。

HDLC协议一致性测试系统的研究

HDLC协议一致性测试是保证不同厂家生产的HDLC通信设备之间实现互联、互通和互操作的前提;在对协议一致性测试基本工作原理进行简要分析的基础上,提出了HDLC协议一致性测试的基本方法以及测试过程中基于FSM模型的数据收发处理机制;并在实验室环境下构建了一致性测试硬件平台,设计了测试准备、测试执行和测试评估相关环节所涉及的基本软件功能模块,完成了HDLC协议一致性测试的基本功能;实际运行和测试结果表明,所设计的测试系统达到了预期结果;目前,该系统已成功应用于高速动车组上的通信测试,测试案例可以根据实际需求进行添加、删除和修改,提高了一致性测试的灵活性和完备性。

一种需求驱动的服务行为适配方法

现有服务行为适配方法通常侧重于如何消除服务之间行为上的不相容而往往没有考虑用户的需求,因而需要对基于适配器的服务组合进行需求的可满足性验证,这使得基于适配器的服务组合过程复杂且低效。针对此问题,在适配器生成过程中考虑用户的需求,提出一种需求驱动的服务行为适配方法,并给出用于描述用户需求的形式模型的语法及语义。证明了利用本文方法所生成的适配器不仅可以消除服务之间行为上的不相容,并且保证基于适配器的服务组合的行为满足需求给出的时序约束,避免了对基于适配器的服务组合进行验证。通过一个贯穿全文的实例分析表明了方法的可行性和有效性。

Web服务行为相容性和可适配性的一种分析方法

基于有限状态机模型,在服务组合层面上提出了Web服务之间3种相容性的判定方法.对于两个不相容的Web服务,通过分析它们的行为路径对的可适配性来判断Web服务之间的可适配性;对于两个可适配的Web服务,通过生成它们的行为路径对的子适配器模型并将其合并,从而得到Web服务之间的适配器模型并自动映射生成实际可运行的BPEL代码.通过实例分析表明了该方法的可行性和有效性.

基于CTI开放平台的呼叫中心的设计和实现

本文介绍了一种基于 CTI开放平台的呼叫中心的典型结构和工作原理 ,阐述了现代呼叫中心的设计原则。结合有线电视台电话语音系统的工程实例 ,重点介绍了具有开放 CTI平台接口的呼叫中心的设计原理、体系结构及基于事件驱动和状态转移的有限状态机 (FSM)模型的软件实现。

形式概念分析在Web应用测试用例选取中的应用

为了避免基于模型的Web应用测试中存在的状态组合爆炸问题,分析了经典的每个一次和基本选择的状态组合爆炸避免方法,指出了这两种方法的不足,提出了应用形式概念分析,根据给定的测试覆盖准则,精简测试用例集,避免状态组合爆炸的方法,并改进了Sampath的测试用例选取规则。最后根据形式概念分析的原理,开发了测试用例集精简工具,提高了测试过程的自动化程度,用实例说明了方法的有效性。

基于Windows的GSM系统的仿真

移动通信系统仿真工具价格昂贵,不利于在教学环节中推广。本文提出了利用Windows操作系统对GSM系统进行仿真,并主要介绍了移动交换机系统部分的仿真。着重阐述了MSC的FSM模型的仿真实现,并且根据最新的资费方案对GSM系统的计费模型进行了仿真。