嵌入式系统的CFSM模型

1

作者 郭天天 卢焕章 张志勇 《系统工程与电子技术》 EI CSCD 北大核心 2005年第12期2091-2094,共4页

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

关键词 软硬件协同设计 fsm模型 Cfsm模型 有穷自动机

在线阅读 下载PDF 职称材料

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

2

作者 刘层层 杨红丽 《软件导刊》 2017年第9期14-18,共5页

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

关键词 无线传感器网络 数据收集协议 fsm模型 测试序列生成 UIO算法

在线阅读 下载PDF 职称材料

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

3

作者 谢昊飞 苏德龙 +1 位作者 肖尚青 郝飞飞 《计算机光盘软件与应用》 2014年第24期111-112,共2页

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

关键词 WIA-PA协议 fsm模型 形式化模型 UIO序列

在线阅读 下载PDF 职称材料

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

4

作者 何荫丽 《中文科技期刊数据库（引文版）医药卫生》 2023年第12期109-113,共5页

探讨基于促进感知模型(FSM)的护理干预对ICU机械通气患者家属不良心理状况的影响。方法 选取了我院的成人综合ICU的机械通气患者的家属,时间为2021年3月~2021年12月,采用抛硬币式的方法,将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机械通气患者家属的心理状况。 展开更多

关键词 ICU 机械通气患者 家属 fsm模型

在线阅读 下载PDF 职称材料

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

5

作者 雷豪 《科技创新与应用》 2024年第6期45-48,共4页

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

关键词 无创呼吸机 嵌入式操作系统 人机同步 传感器 fsm模型

在线阅读 下载PDF 职称材料

HDLC协议一致性测试系统的研究 被引量：4

6

作者 谭喜堂 王东响 +1 位作者 朱琴跃 王俊哲 《计算机测量与控制》 北大核心 2014年第1期63-65,105,共4页

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

关键词 HDLC 协议一致性测试 IUT 本地测试法 fsm模型

在线阅读 下载PDF 职称材料

一种需求驱动的服务行为适配方法 被引量：2

7

作者 范大娟 黄志球 +2 位作者 肖芳雄 彭焕峰 李雯睿 《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2014年第2期95-104,共10页

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

关键词 WEB服务 fsm模型 行为模型 适配器 用户需求

在线阅读 下载PDF 职称材料

Web服务行为相容性和可适配性的一种分析方法 被引量：2

8

作者 范大娟 黄志球 +1 位作者 曹子宁 王进 《应用科学学报》 EI CAS CSCD 北大核心 2012年第6期661-668,共8页

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

关键词 WEB服务 fsm模型 行为路径 相容性 可适配性

在线阅读 下载PDF 职称材料

基于CTI开放平台的呼叫中心的设计和实现 被引量：10

9

作者 肖小红 王芙蓉 黄本雄 《微型电脑应用》 2001年第3期31-34,共4页

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

关键词 CTI 开放平台 呼叫中心 软件开发 fsm模型

在线阅读 下载PDF 职称材料

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

10

作者 檀革苗 袁捷 +1 位作者 缪怀扣 王明辉 《计算机工程与设计》 CSCD 北大核心 2009年第17期3983-3985,4056,共4页

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

关键词 形式概念分析 fsm模型 WEB应用测试 测试覆盖准则 状态组合爆炸

在线阅读 下载PDF 职称材料

基于Windows的GSM系统的仿真

11

作者 杨春玲 惠晓威 《中国数据通信》 2003年第11期54-56,共3页

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

关键词 Windows操作系统 GSM系统 移动通信 仿真 移动交换机 fsm模型 有限状态机 计费模型

在线阅读 下载PDF 职称材料