FSM模型

作品数:15被引量:26H指数:3
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:郭亮范大娟黄志球刘层层肖小红更多>>
相关机构:上海大学南京航空航天大学贵州电网有限责任公司北京工业大学更多>>
相关期刊:《计算机工程》《系统工程与电子技术》《计算机光盘软件与应用》《计算机技术与发展》更多>>
相关基金:国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划上海市教育委员会重点学科基金更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
自动调压无创呼吸机软件设计及测试分析
《科技创新与应用》2024年第6期45-48,共4页雷豪 
该文主要探究自动调压无创呼吸机软件部分的设计方法,并开展测试观察应用效果。呼吸机采用μc/OS-II实时嵌入式操作系统,呼吸机与上位机之间使用USB接口实现通信。用户佩戴呼吸机面罩后,传感器实时采集压力数据,并根据用户的呼吸动作自...
关键词:无创呼吸机 嵌入式操作系统 人机同步 传感器 FSM模型 
基于促进感知模型的护理干预对ICU机械通气患者家属的心理状况的影响
《中文科技期刊数据库(引文版)医药卫生》2023年第12期109-113,共5页何荫丽 
探讨基于促进感知模型(FSM)的护理干预对ICU机械通气患者家属不良心理状况的影响。方法 选取了我院的成人综合ICU的机械通气患者的家属,时间为2021年3月~2021年12月,采用抛硬币式的方法,将ICU中的一个病区列为对照组,另一个病区为干预...
关键词:ICU 机械通气患者 家属 FSM模型 
基于FSM模型的总线协议一致性测试系统研究被引量:1
《计算机技术与发展》2018年第10期17-21,共5页周峰 郝鑫 
工业和信息化部工业控制系统信息安全评估专项(工信软函[2016]1182号)
针对国内管网数据采集与监视控制系统(supervisory control and data acquisition,SCADA)在数据采集通信过程中所涉及的协议种类众多的特点,提出一种基于有限状态机的工业总线协议测试用例生成算法。首先建立FSM形式化模型,然后生成测...
关键词:一致性测试 数据采集与监控系统 虚拟仪器 工业总线协议 
基于FSM模型的无线传感器网络数据收集协议测试
《软件导刊》2017年第9期14-18,共5页刘层层 杨红丽 
在对无线传感器网络数据收集协议进行一致性测试时,生成的测试序列往往不够简捷高效。因此,提出了基于FSM模型的无线传感器网络数据收集协议测试方法。采用FSM模型描述数据收集协议规范,在FSM模型的基础上利用UIO算法生成测试序列。研...
关键词:无线传感器网络 数据收集协议 FSM模型 测试序列生成 UIO算法 
基于FSM的WIA-PA协议测试序列自动生成技术研究
《计算机光盘软件与应用》2014年第24期111-112,共2页谢昊飞 苏德龙 肖尚青 郝飞飞 
本文重点介绍基于有限状态机(FSM)测试序列生成方法,并以现场设备安全入网为例,利用该方法生成测试序列。为构建WIA-PA协议测试FSM模型,文中分析了WIA-PA协议测试中的安全入网的设备状态、事件、输出和转移输出,在此基础上建立了现场设...
关键词:WIA-PA协议 FSM模型 形式化模型 UIO序列 
一种需求驱动的服务行为适配方法被引量:2
《四川大学学报(工程科学版)》2014年第2期95-104,共10页范大娟 黄志球 肖芳雄 彭焕峰 李雯睿 
国家自然科学基金资助项目(61272083;61202136;61262002);国家"863"高技术研究发展计划资助项目(2009AA010307);中国博士后科学基金资助项目(20110491411)
现有服务行为适配方法通常侧重于如何消除服务之间行为上的不相容而往往没有考虑用户的需求,因而需要对基于适配器的服务组合进行需求的可满足性验证,这使得基于适配器的服务组合过程复杂且低效。针对此问题,在适配器生成过程中考虑用...
关键词:WEB服务 FSM模型 行为模型 适配器 用户需求 
HDLC协议一致性测试系统的研究被引量:4
《计算机测量与控制》2014年第1期63-65,105,共4页谭喜堂 王东响 朱琴跃 王俊哲 
高校企业业务基金项目(20122567)
HDLC协议一致性测试是保证不同厂家生产的HDLC通信设备之间实现互联、互通和互操作的前提;在对协议一致性测试基本工作原理进行简要分析的基础上,提出了HDLC协议一致性测试的基本方法以及测试过程中基于FSM模型的数据收发处理机制;并在...
关键词:HDLC 协议一致性测试 IUT 本地测试法 FSM模型 
Web服务行为相容性和可适配性的一种分析方法被引量:2
《应用科学学报》2012年第6期661-668,共8页范大娟 黄志球 曹子宁 王进 
国家自然科学基金(No;61272083;No.61170043);国家"863"高技术研究发展计划基金(No.2009AA010307);中国博士后科学基金(No.20110491411);江苏省博士后科研资助计划项目基金(No.1101092C)资助
基于有限状态机模型,在服务组合层面上提出了Web服务之间3种相容性的判定方法.对于两个不相容的Web服务,通过分析它们的行为路径对的可适配性来判断Web服务之间的可适配性;对于两个可适配的Web服务,通过生成它们的行为路径对的子适配器...
关键词:WEB服务 FSM模型 行为路径 相容性 可适配性 
基于FSM模型的车载MOST网络管理系统被引量:2
《计算机工程》2011年第18期91-93,96,共4页南洋 秦贵和 董劲男 高洋 
国家科技重大专项基金资助项目(2009ZX01038-002-001);吉林大学基本科研业务费科学前沿与交叉学科创新基金资助项目(200903191)
设计并实现一种基于有限状态机(FSM)模型的车载MOST网络管理系统。采用中心注册机制管理MOST网络地址资源,通过动态分配各节点的逻辑地址实现多媒体设备即插即用的工作方式,构造FSM模型描述MOST网络系统的状态。测试结果表明,该系统可...
关键词:面向媒体的系统传输 车载网络 传输协议 有限状态机 中心注册 
形式概念分析在Web应用测试用例选取中的应用
《计算机工程与设计》2009年第17期3983-3985,4056,共4页檀革苗 袁捷 缪怀扣 王明辉 
国家自然科学基金项目(60673115);国家863高技术研究发展计划基金项目(2007AA01Z144);上海市重点学科建设基金项目(J501032)
为了避免基于模型的Web应用测试中存在的状态组合爆炸问题,分析了经典的每个一次和基本选择的状态组合爆炸避免方法,指出了这两种方法的不足,提出了应用形式概念分析,根据给定的测试覆盖准则,精简测试用例集,避免状态组合爆炸的方法,并...
关键词:形式概念分析 FSM模型 WEB应用测试 测试覆盖准则 状态组合爆炸 
检索报告 对象比较 聚类工具 使用帮助 返回顶部