期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到348篇文章
< 1 2 … 18 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于FSM的测试理论、方法及评估 被引量：22
1
作者 刘攀 缪淮扣 +1 位作者 曾红卫 刘阳 《计算机学报》 EI CSCD 北大核心 2011年第6期965-984,共20页
为搭建基于FSM的测试方法由理论研究通往工业应用的桥梁,文中讨论了若干基于FSM模型的测试方法及其相关理论,提出构造区分序列的理论及测试序列集合冗余约简的理论,补充并实现了若干基于FSM的测试生成算法.随后文中提出了基于FSM的测试... 为搭建基于FSM的测试方法由理论研究通往工业应用的桥梁,文中讨论了若干基于FSM模型的测试方法及其相关理论,提出构造区分序列的理论及测试序列集合冗余约简的理论,补充并实现了若干基于FSM的测试生成算法.随后文中提出了基于FSM的测试方法评估的5项量化指标,实验评估了若干基于FSM模型的测试方法,给出了一些基于FSM测试的经验建议.文中的评估有助于基于FSM的测试方法在工业中的推广. 展开更多
关键词 基于fsm的测试 测试评估 测试生成算法 基于fsm的测试理论 冗余约简
在线阅读 下载PDF
基于监控理论的EFSM设计方法 被引量：1
2
作者 王向云 赵雷 蔡开元 《计算机工程与应用》 CSCD 北大核心 2009年第6期20-24,81,共6页
随着扩展有限状态机(EFSM)模型在计算机科学和工程领域的广泛应用,EFSM的设计逐渐成为一个重要的问题。目前EFSM的设计仍然主要依赖于个人经验,缺乏理论基础。由于EFSM中每个转移的谓词可以看作此转移的一个监控器,所以可以用离散事件... 随着扩展有限状态机(EFSM)模型在计算机科学和工程领域的广泛应用,EFSM的设计逐渐成为一个重要的问题。目前EFSM的设计仍然主要依赖于个人经验,缺乏理论基础。由于EFSM中每个转移的谓词可以看作此转移的一个监控器,所以可以用离散事件系统的监控理论为EFSM设计提供理论基础。首先定义了有限状态机(FSM)导出的EFSM及其产生的语言。然后,基于监控理论中的受控对象和监控器,提出了一种设计EFSM的方法,用离散事件系统监控理论为EFSM设计提供理论依据。最后用两个实际例子说明了提出方法的可用性和有用性。 展开更多
关键词 形式化方法 软件控制论 离散事件系统 扩展有限状态机(Efsm) 有限状态机(fsm)
在线阅读 下载PDF
嵌入式系统的CFSM模型
3
作者 郭天天 卢焕章 张志勇 《系统工程与电子技术》 EI CSCD 北大核心 2005年第12期2091-2094,共4页
随着嵌入式系统的速度、复杂度的上升,软硬件协同设计已经越来越广泛地应用于各种嵌入式系统的设计当中。介绍了一种基于常用的FSM模型的CFSM模型。CFSM模型继承了FSM模型的优点,改善了它的缺点。CFSM模型是一个通用的系统模型,既可以... 随着嵌入式系统的速度、复杂度的上升,软硬件协同设计已经越来越广泛地应用于各种嵌入式系统的设计当中。介绍了一种基于常用的FSM模型的CFSM模型。CFSM模型继承了FSM模型的优点,改善了它的缺点。CFSM模型是一个通用的系统模型,既可以表示控制型系统,又可以表示数据型系统。给出了它的定义、行为描述、数学模型以及应用等。CFSM模型对软硬件都是透明的,可以推迟系统设计中的软硬件划分时间,得到更优的设计。 展开更多
关键词 软硬件协同设计 fsm模型 Cfsm模型 有穷自动机
在线阅读 下载PDF
基于PDA和FSM的肉牛养殖可追溯信息采集与传输方法 被引量：12
4
作者 康瑞娟 张小栓 +1 位作者 傅泽田 穆维松 《农业工程学报》 EI CAS CSCD 北大核心 2010年第1期227-231,共5页
为提高肉牛养殖信息采集与传输的自动化程度准确性,该文提出了基于个人数字助理(PDA)和有限状态机(FSM)的肉牛养殖可追溯信息采集与传输方法。利用PDA采集肉牛的日常养殖信息;在信息传到PC的过程中,通过利用有限状态机原理,以事件驱动... 为提高肉牛养殖信息采集与传输的自动化程度准确性,该文提出了基于个人数字助理(PDA)和有限状态机(FSM)的肉牛养殖可追溯信息采集与传输方法。利用PDA采集肉牛的日常养殖信息;在信息传到PC的过程中,通过利用有限状态机原理,以事件驱动的方式实现了PDA与PC之间的串口信息传输。重点研究了串口传输过程中有限状态机的建模,该方法改变了肉牛养殖信息传统、人工的采集与传输的方式,实现了养殖场信息的快速、准确的采集与传输。 展开更多
关键词 个人数字助理(PDA) 有限状态机(fsm) 串口通信 肉牛
在线阅读 下载PDF
地形及构造应力影响下初始地应力场的3D-FSM反演分析 被引量：4
5
作者 秦忠诚 刘承论 +1 位作者 赵祉业 李青海 《岩土力学》 EI CAS CSCD 北大核心 2008年第7期1848-1852,共5页
在分析国内外初始地应力场研究现状的基础上,研究了考虑地形及构造应力影响下,基于3D-FSM间接边界元法的初始地应力场反演分析法,并开发了相应的数值计算系统。利用工程实例说明了分析步骤,并验证了该方法的适应性及精度。
关键词 应力不连续法(fsm) 初始地应力 构造应力 反演
在线阅读 下载PDF
Cu/FSM-16催化苯酚与过氧化氢反应合成苯二酚 被引量：6
6
作者 高肖汉 吕雪川 +2 位作者 陈平 徐东辉 苗永霞 《石油学报（石油加工）》 EI CAS CSCD 北大核心 2012年第1期133-136,共4页
以Cu/FSM-16为催化剂,以水为溶剂,催化氧化苯酚与过氧化氢羟基化反应合成对苯二酚和邻苯二酚,考察了Cu/FSM-16中Cu的负载量、Cu/FSM-16催化剂用量、反应时间和温度等影响因素。结果表明,在优化反应条件下,苯酚转化率可达到22.7%,苯二酚... 以Cu/FSM-16为催化剂,以水为溶剂,催化氧化苯酚与过氧化氢羟基化反应合成对苯二酚和邻苯二酚,考察了Cu/FSM-16中Cu的负载量、Cu/FSM-16催化剂用量、反应时间和温度等影响因素。结果表明,在优化反应条件下,苯酚转化率可达到22.7%,苯二酚的选择性为87.4%,并且该催化剂可以重复使用。 展开更多
关键词 苯酚 羟基化 过氧化氢 Cu/fsm-16 催化剂
在线阅读 下载PDF
改进FSM步态检测的行人航位推算方法 被引量：5
7
作者 李静 王庆 +1 位作者 王胜利 许九靖 《大地测量与地球动力学》 CSCD 北大核心 2023年第2期164-167,202,共5页
针对传统波峰检测法的步态识别率低以及普适性和稳定性较差等问题,提出改进FSM步态检测的行人航位推算方法。该方法关注当前的步伐状态,将一个步态周期划分为5种状态并引入峰值阈值限制,从用户不同运动状态和手机模态进行实验分析。结... 针对传统波峰检测法的步态识别率低以及普适性和稳定性较差等问题,提出改进FSM步态检测的行人航位推算方法。该方法关注当前的步伐状态,将一个步态周期划分为5种状态并引入峰值阈值限制,从用户不同运动状态和手机模态进行实验分析。结果表明,该算法不但具有较高的步态识别准确率,而且可减小航位推算时间累积误差,具有一定的可靠性和稳定性,能够满足室内定位需求。 展开更多
关键词 fsm 步态检测 行人航位推算 室内定位
在线阅读 下载PDF
锁相技术在FSM管道腐蚀测量中的应用 被引量：6
8
作者 孔令伟 廖俊必 +1 位作者 甘芳吉 肖长丽 《电子测量技术》 2012年第10期119-122,共4页
基于电位阵列的金属管道(容器)在线腐蚀检测方法称为场指纹法(field signature method,FSM)。FSM是一种新型的石油、天然气管道腐蚀监测技术。它通过检测管道外部两两电极间电位差的变化,来判断管道的腐蚀情况。由于电极间的电位差极其... 基于电位阵列的金属管道(容器)在线腐蚀检测方法称为场指纹法(field signature method,FSM)。FSM是一种新型的石油、天然气管道腐蚀监测技术。它通过检测管道外部两两电极间电位差的变化,来判断管道的腐蚀情况。由于电极间的电位差极其微弱(30～60μV),因此微弱信号的测量精度决定了腐蚀检测的精度。锁相放大技术是一种提取淹没在噪声中微弱信号的重要手段,广泛用于微弱信号检测系统中。介绍锁相放大技术的微弱信号检测电路的设计以及在FSM管道腐蚀测量系统的应用,同时针对测量信号是低频的特点,在系统中采用数字与模拟相结合的方法,大幅度提高了其测量精度以及稳定性,达到了项目的要求。 展开更多
关键词 fsm 锁相技术 腐蚀检测 微弱信号
在线阅读 下载PDF
FSM技术对海底管道中缓蚀剂应用效果的评价 被引量：2
9
作者 胡涛 朱本智 +2 位作者 闫化云 刘成 李飞 《腐蚀与防护》 CAS 北大核心 2011年第3期236-238,共3页
针对某海上气田海底管道中高含CO_2气体的恶劣工况,通过在海底管道上安装FSM腐蚀检测设备,对海上气田不同生产过程应用的缓蚀剂进行效果评估,及时对缓蚀剂进行了优化,确保海底管道内壁处于低度腐蚀状况,保证了气田的安全运行。
关键词 fsm技术 缓蚀剂评价 海底管道
在线阅读 下载PDF
金属改性的FSM-16分子筛催化苯与过氧化氢合成苯酚 被引量：5
10
作者 高肖汉 徐杰 《精细化工》 EI CAS CSCD 北大核心 2007年第6期621-624,共4页
研究了金属改性的FSM-16分子筛在催化苯与过氧化氢合成苯酚反应中的应用,其中钒改性的FSM-16分子筛显示了较好的活性和高的选择性。当温度为323 K,反应时间为10 h,n(H2O2)∶n(C6H6)=1∶1,乙酸作溶剂,在催化剂V-FSM-16上得到苯的转化率为... 研究了金属改性的FSM-16分子筛在催化苯与过氧化氢合成苯酚反应中的应用,其中钒改性的FSM-16分子筛显示了较好的活性和高的选择性。当温度为323 K,反应时间为10 h,n(H2O2)∶n(C6H6)=1∶1,乙酸作溶剂,在催化剂V-FSM-16上得到苯的转化率为5.8%,苯酚的选择性为98.8%。催化剂的红外光谱和XRD的表征表明,钒进入了分子筛的骨架中。 展开更多
关键词 fsm-16分子筛 改性 羟基化 苯 苯酚
在线阅读 下载PDF
一种VFSM的图形用户界面的测试方法 被引量：3
11
作者 陈启安 李小将 李蜀瑜 《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 2002年第6期706-710,共5页
采用有限状态机 (FSM)来模拟GUI的测试问题具有很大的局限性 .作者针对基于FSM的GUI测试的局限性 ,提出了一个变量有限状态机 (VFSM)的形式化模型 ,该VFSM通过引入一组变量 ,可以使用较少的状态来模拟复杂的GUI,并且根据GUI设计规范来构... 采用有限状态机 (FSM)来模拟GUI的测试问题具有很大的局限性 .作者针对基于FSM的GUI测试的局限性 ,提出了一个变量有限状态机 (VFSM)的形式化模型 ,该VFSM通过引入一组变量 ,可以使用较少的状态来模拟复杂的GUI,并且根据GUI设计规范来构造VFSM相对比较简单 ;然后 ,给出了一个VFSM - >FSM的转化定理和转化算法 ;接着介绍了基于VFSM的GUI测试方法的步骤 ;最后给出了该方法的一个应用实例数据 ,数据表明采用VFSM的GUI测试方法大大减少了状态。 展开更多
关键词 Vfsm 图形用户界面 测试方法 变量有限状态机 GUI测试 软件测试
在线阅读 下载PDF
Fe/FSM-16催化苯酚与过氧化氢反应合成二酚 被引量：1
12
作者 高肖汉 吕雪川 +2 位作者 陈平 彭士伟 苏瑛 《功能材料》 EI CAS CSCD 北大核心 2011年第S4期648-650,共3页
中孔分子筛的改性是近年来研究的一个热点。采用铁改性的FSM-16催化苯酚与过氧化氢反应合成二酚,研究了铁负载量、催化剂用量、反应时间和温度等对催化剂性能的影响。在优化反应条件下,以水为溶剂,苯酚的转化率达到25.4%,二酚的选择性为... 中孔分子筛的改性是近年来研究的一个热点。采用铁改性的FSM-16催化苯酚与过氧化氢反应合成二酚,研究了铁负载量、催化剂用量、反应时间和温度等对催化剂性能的影响。在优化反应条件下,以水为溶剂,苯酚的转化率达到25.4%,二酚的选择性为88.9%。实验结果表明该催化剂可以重复使用。Fe/FSM-16与在工业生产使用的TS-1分子筛的催化活性相近,具有工业应用的前景。 展开更多
关键词 苯酚 羟基化 过氧化氢 Fe/fsm-16 催化剂
在线阅读 下载PDF
基于FSM技术的地球站网控设计与实现 被引量：3
13
作者 许星辰 张迎春 郭巍 《无线电通信技术》 2011年第4期10-12,24,共4页
针对按需分配(DAMA)卫通系统的应用特点,分析了地球站网控系统的工作原理、主要任务,描述了目标系统的硬件、固件和软件设计方法。作为地球站入网工作的重要部分,如何保证网控系统的可靠运行是设计的关键,详述了使用模块化设计、有限状... 针对按需分配(DAMA)卫通系统的应用特点,分析了地球站网控系统的工作原理、主要任务,描述了目标系统的硬件、固件和软件设计方法。作为地球站入网工作的重要部分,如何保证网控系统的可靠运行是设计的关键,详述了使用模块化设计、有限状态机等技术手段设计并实现目标系统的过程,实际工程应用证明,目标系统具有集成度高、适应性好和可靠性高等优点。 展开更多
关键词 按需分配 模块化设计 fsm 软件可靠性
在线阅读 下载PDF
基于FSM的分布式交换的信令方案设计与仿真 被引量：1
14
作者 杨力波 杨震 郑宝玉 《系统仿真学报》 CAS CSCD 2003年第4期544-547,共4页
利用有限状态机模型设计了一种适于分布式交换的信令方案,在一个无中心交换设备的共享媒质上同时开通多路话音通信,实现点到点通话和群呼功能,并且允许高权限用户优先满足通话请求。并在TI公司的CCS集成开发环境中仿真了整个信令工作流... 利用有限状态机模型设计了一种适于分布式交换的信令方案,在一个无中心交换设备的共享媒质上同时开通多路话音通信,实现点到点通话和群呼功能,并且允许高权限用户优先满足通话请求。并在TI公司的CCS集成开发环境中仿真了整个信令工作流程,可以进一步嵌入数字信号处理器中实际运行。 展开更多
关键词 通信网络 分布式交换 fsm 信令方案 设计 仿真 数字信号处理器
在线阅读 下载PDF
基于JADE Agent与FSM的电子商务订单实时处理 被引量：3
15
作者 于卫红 《计算机应用与软件》 CSCD 北大核心 2013年第8期223-225,共3页
在电子商务中,订单处理是物流配送的重要流程。目前,电子商务订购存在批量小、多频次、随机性强等特点。这些特点造成了电子商务订单处理效率低,处理成本特别是人工处理成本的加大。因此,需要提高电子商务网站对订单处理的自动化和智能... 在电子商务中,订单处理是物流配送的重要流程。目前,电子商务订购存在批量小、多频次、随机性强等特点。这些特点造成了电子商务订单处理效率低,处理成本特别是人工处理成本的加大。因此,需要提高电子商务网站对订单处理的自动化和智能化程度,减少电子商务运营成本,提高电子商务运行效率。为此,提出基于多Agent的电子商务系统结构,同时提出基于FSM(有限状态机模型)的电子商务订单处理模型,给出基于JADE Agent的订单处理有限状态机模型的实现过程。Agent技术、FSM模型或其他智能处理方法的引入,可以有效地改善订单处理流程,实现订单的实时、自动、智能化处理。 展开更多
关键词 JADE AGENT fsm 电子商务 订单处理
在线阅读 下载PDF
有限状态机FSM在PLD中的实现分析 被引量：5
16
作者 何永泰 《电子测量技术》 2007年第10期4-6,共3页
随着EDA技术的发展,利用VHDL语言描述有限状态机(FSM),得到广泛应用研究。本文通过举例,利用VHDL语言描述了不同模式的有限状态机,分析了有限状态机在PLD中综合的特点。同时,本文中对不同描述风格的有限状态机在PLDEMP7032中综合的特性... 随着EDA技术的发展,利用VHDL语言描述有限状态机(FSM),得到广泛应用研究。本文通过举例,利用VHDL语言描述了不同模式的有限状态机,分析了有限状态机在PLD中综合的特点。同时,本文中对不同描述风格的有限状态机在PLDEMP7032中综合的特性进行了比较分析。可以看出,不同的模式、不同的描述风格,对有限状态机的特性具有较大的影响。这一结果,为在实际的设计中,对有限状态机的VHDL语言设计的优化提供了有效的参考依据。 展开更多
关键词 有限状态机(fsm) 可编程逻辑器件 VHDL语言
在线阅读 下载PDF
基于FSM的通信协议形式描述与验证技术 被引量：2
17
作者 李腊元 《系统工程与电子技术》 EI CSCD 1990年第9期40-47,39,共9页
本文主要研讨基于有限状态机(FSM)的通信协议形式描述与验证技术。文中先论述了基本FSM形式描述与验证技术,给出了访问确认协议的FSM描述与验证实例,研讨了基于FSM验证方法的形式数学基础——全局状态矩阵的特征和性质;接着讨论了基于FS... 本文主要研讨基于有限状态机(FSM)的通信协议形式描述与验证技术。文中先论述了基本FSM形式描述与验证技术,给出了访问确认协议的FSM描述与验证实例,研讨了基于FSM验证方法的形式数学基础——全局状态矩阵的特征和性质;接着讨论了基于FSM的有关改进形式技术;最后给出了有关结论。 展开更多
关键词 fsm 通信协议 计算机网络
在线阅读 下载PDF
FSM-16系列改性中孔分子筛的制备及其对2-甲基吲哚和环己烯-2-酮的Michael加成催化作用 被引量：1
18
作者 柳杰 邱俊 《应用化学》 CAS CSCD 北大核心 2014年第7期806-811,共6页
以十六烷基三甲基溴化铵(CTMAB)为模板剂,制备了改性中孔分子筛Zr-FSM-16、Al-FSM-16和Zr-Al-FSM-16,并用XRD、SEM、IR及BET等技术手段对分子筛进行表征。在无溶剂条件下,考察了它们对2-甲基吲哚与环己烯-2-酮的Michael加成反应合成药... 以十六烷基三甲基溴化铵(CTMAB)为模板剂,制备了改性中孔分子筛Zr-FSM-16、Al-FSM-16和Zr-Al-FSM-16,并用XRD、SEM、IR及BET等技术手段对分子筛进行表征。在无溶剂条件下,考察了它们对2-甲基吲哚与环己烯-2-酮的Michael加成反应合成药物中间体3-(2-甲基-1H-吲哚-3-基)环己酮的催化活性。实验结果表明,Al、Zr掺杂进入分子筛骨架中,导致分子筛孔道变大,而骨架结构没有明显改变;Al、Zr掺杂改性的FSM-16分子筛催化剂活性有了较大提高,其中Zr-FSM-16分子筛催化剂表现出较好的活性。在催化剂用量7.5%、2-甲基吲哚与环己烯-2-酮的摩尔比1.0∶1.1、反应温度80℃、反应时间120 min的较优条件下,2-甲基吲哚转化率达到75.4%。 展开更多
关键词 改性中孔分子筛fsm-16 催化 甲基吲哚 环己烯酮 MICHAEL加成 (甲基-1H-吲哚基)环己酮
在线阅读 下载PDF
基于FSM的车辆底盘CAN网络建模与仿真
19
作者 孙宁 陈南 +2 位作者 皮大伟 张丙军 钟国华 《系统仿真学报》 CAS CSCD 北大核心 2010年第1期258-261,共4页
简述了CAN(controller area network)网络通信协议的特点,在MATLAB/Simulink/Stateflow仿真环境,运用有限状态机(FSM)理论,建立了用于车辆底盘集成控制的CAN网络通信系统仿真模型。仿真研究了节点优先级、传输速率及单帧信息量对通信延... 简述了CAN(controller area network)网络通信协议的特点,在MATLAB/Simulink/Stateflow仿真环境,运用有限状态机(FSM)理论,建立了用于车辆底盘集成控制的CAN网络通信系统仿真模型。仿真研究了节点优先级、传输速率及单帧信息量对通信延时的影响,并将该网络通信模型应用于车辆4WS控制系统,针对网络通讯延迟对控制效果影响进行了仿真分析,进一步证明了使用该模型研究数据传输延时对控制系统控制影响的可行性。 展开更多
关键词 车载网络 CAN网络 fsm 通讯延时 建模
在线阅读 下载PDF
映射ELOTOS到基于FSM的性能估价模型
20
作者 罗铁庚 陈火旺 +1 位作者 龚正虎 齐治昌 《软件学报》 EI CSCD 北大核心 1997年第10期788-792,共5页
ELOTOS是协议描述规范语言LOTOS的扩展．本文用标号转换系统LTS（labeledtransitionsystem）给出了ELOTOS的语义．然后，通过对LTS进行踪迹等价住分析，将ELOTOS映射到基于有穷状态机FSM（finitestatemachine）的性能估价模型．
关键词 ELOTOS fsm 性能模型 网络协议 计算机网络
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 18 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部