期刊文献+
共找到1,056篇文章
< 1 2 53 >
每页显示 20 50 100
基于确定有限状态机的测试输入序列选取 被引量:13
1
作者 张涌 钱乐秋 王渊峰 《计算机研究与发展》 EI CSCD 北大核心 2002年第9期1144-1150,共7页
有限状态机可以精确地刻画软件系统或其子系统的行为 ,其在软件建模中被广泛应用 .基于有限状态机的测试问题得到了广泛的研究 ,其中 Wp方法由于限制条件较少 ,并且其可以达到较高的错误覆盖度 ,因此被广泛使用 .但当有限状态机的实现... 有限状态机可以精确地刻画软件系统或其子系统的行为 ,其在软件建模中被广泛应用 .基于有限状态机的测试问题得到了广泛的研究 ,其中 Wp方法由于限制条件较少 ,并且其可以达到较高的错误覆盖度 ,因此被广泛使用 .但当有限状态机的实现中的状态数目的估计值 m较大时 ,产生的测试输入序列数目过多 ,影响了其使用效率 .提出一种 Wp方法的改进方法 R- Wp方法 ,使用该方法在 m值较大时可以产生相对较少的测试输入序列数目 ,可以提高测试效率 ;同时本文对 Wp方法和 R- Wp方法产生的测试输入序列数目进行了讨论 ,并证明了该方法与Wp方法相同的错误覆盖能力 . 展开更多
关键词 软件测试 规约说明 有限状态机 测试输入序列选取 软件系统 软件开发
下载PDF
未知环境下异构多无人机协同搜索打击中的联盟组建 被引量:13
2
作者 刘重 高晓光 +1 位作者 符小卫 牟之英 《兵工学报》 EI CAS CSCD 北大核心 2015年第12期2284-2297,共14页
为了提高多架异构无人机在未知环境下协同执行搜索打击任务时的效能,提出了一种未知环境下的异构多无人机协同搜索打击中的联盟组建方法,研究了实时性较高且适应于未知环境下的任务分配机制。以最小化目标打击时间和最小化联盟规模为优... 为了提高多架异构无人机在未知环境下协同执行搜索打击任务时的效能,提出了一种未知环境下的异构多无人机协同搜索打击中的联盟组建方法,研究了实时性较高且适应于未知环境下的任务分配机制。以最小化目标打击时间和最小化联盟规模为优化指标,以满足同时打击和资源需求为约束条件,建立了联盟组建模型;为了提高联盟组建的实时性,提出了一种分阶次优联盟快速组建算法(MSOCFA)。算法复杂度分析说明了该算法是一个多项式时间算法,并且通过与粒子群优化算法进行仿真对比,验证了该算法具有较低的计算复杂度,满足实时性要求。为了使得多架无人机能自主协同完成搜索打击任务,设计了基于有限状态机(FSM)的多无人机分布式自主协同控制策略。仿真验证了未知环境下的异构多无人机协同搜索打击中的联盟组建方法的合理性和可行性。使用蒙特卡洛法验证了无人机数量和目标数量对联盟组建的影响,即无人机数量越多,目标数量越少,其平均任务完成时间越短。 展开更多
关键词 控制科学与技术 多无人机 协同搜索打击 联盟组建 有限状态机 蒙特卡洛方法
下载PDF
基于UML状态图和Qt状态机框架的IEC104规约的分析与实现 被引量:12
3
作者 余存 黄利军 +4 位作者 黄浩然 申艳红 张睿 崔晓优 贾帅峰 《电力系统保护与控制》 EI CSCD 北大核心 2015年第15期118-125,共8页
为了提高软件的可维护性和可扩展性,降低规约开发的复杂度,基于统一建模语言(UML)的状态图理论对IEC 60870-5-104规约主站端进行了分析。抽象定义了动作、事件和状态,利用UML状态图分层和并发特性设计了规约逻辑状态图,并使用Qt的自动... 为了提高软件的可维护性和可扩展性,降低规约开发的复杂度,基于统一建模语言(UML)的状态图理论对IEC 60870-5-104规约主站端进行了分析。抽象定义了动作、事件和状态,利用UML状态图分层和并发特性设计了规约逻辑状态图,并使用Qt的自动机框架进行了软件实现。结果表明,设计出的状态图层次结构分明,逻辑关系清晰,各功能模块间相互独立,而且降低了耦合度,编程实现简单明了,体现了这种方法的优越性,对其他复杂通信规约的开发也具有一定的参考价值。 展开更多
关键词 IEC 60870.5-104 统一建模语言UML状态图 有限状态机 QT
下载PDF
基于有限状态机的呼叫中心软件设计 被引量:9
4
作者 刘轶 刘涛 +1 位作者 张兴军 伍卫国 《微电子学与计算机》 CSCD 北大核心 2006年第2期83-85,88,共4页
稳定、高效、可扩展的控制软件是基于CTI技术构建呼叫中心系统的关键。文章介绍了一种面向应急救援的呼叫中心系统,其核心软件基于有限状态机理论设计而成,具有控制结构清晰、程序代码简洁高效等特点。在简要介绍呼叫中心系统结构的基础... 稳定、高效、可扩展的控制软件是基于CTI技术构建呼叫中心系统的关键。文章介绍了一种面向应急救援的呼叫中心系统,其核心软件基于有限状态机理论设计而成,具有控制结构清晰、程序代码简洁高效等特点。在简要介绍呼叫中心系统结构的基础上,给出了控制线路状态转换的有限状态机定义,并对呼叫中心服务器软件的组成结构和工作原理、操作站及日志监控站的设计与实现进行了深入的分析和介绍。 展开更多
关键词 呼叫中心 有限状态机 CTI
下载PDF
串联多臂式巡检机器人控制策略及轨迹规划方法 被引量:10
5
作者 房立金 贺长林 +1 位作者 祝帅 陶广宏 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2019年第5期734-739,共6页
以一款三臂式巡检机器人为例,对其进行分层规划控制策略分析,将其分为线路信息库层、动作规划层和执行规划层.线路信息库层根据高压输电线路上的已知信息所得,其中包括障碍物种类、位置、数量等信息.规划层和执行规划层根据有限状态机... 以一款三臂式巡检机器人为例,对其进行分层规划控制策略分析,将其分为线路信息库层、动作规划层和执行规划层.线路信息库层根据高压输电线路上的已知信息所得,其中包括障碍物种类、位置、数量等信息.规划层和执行规划层根据有限状态机理论总结为当输入事件为a(第二层动作规划层)时,在f(第三层执行层)的作用下,将状态q(机器人起始状态)映射到状态p(机器人终止状态).最后对该款机器人的轨迹规划进行了Matlab仿真和样机实验,结果验证了该控制策略及轨迹规划方法有效性. 展开更多
关键词 巡检机器人 越障 分层规划 有限状态机 轨迹规划
下载PDF
基于FPGA的数据采集及存储测试系统的应用研究 被引量:8
6
作者 周柳奇 《计算机测量与控制》 北大核心 2013年第6期1467-1469,共3页
为了提高存储测试系统的准确性和稳定性,设计了基于FPGA的数据采集及存储测试系统,系统主要由FPGA处理器XC3S500E、FLASH存储器K9K2G08U0M、传感器单元、调理电路、模数转换AD7492和USB接口等组成;处理器通过对FLASH无效块的管理和有限... 为了提高存储测试系统的准确性和稳定性,设计了基于FPGA的数据采集及存储测试系统,系统主要由FPGA处理器XC3S500E、FLASH存储器K9K2G08U0M、传感器单元、调理电路、模数转换AD7492和USB接口等组成;处理器通过对FLASH无效块的管理和有限状态机的方法完成了对FLASH的读写控制软核,并对输入频率为100Hz的标准正弦信号进行了测试,验证了读写控制软核具有快速和准确的性能;通过对冲击波超压进行实验,得到了预期的效果,表明整个系统具有较强的数据采集、处理、存储、读取及传输能力,对于提高特殊环境下的测试性能具有重要意义。 展开更多
关键词 存储测试系统 有限状态机 读写控制
下载PDF
基于DS18B20的小环境测温控制的FPGA实现 被引量:6
7
作者 王春玲 王美红 +1 位作者 宁崇森 薛长忠 《泰山学院学报》 2014年第3期10-16,共7页
为实现小环境测温控制系统的数字化和通用化设计,在分析DS18B20时序特征基础上,实现了基于FPGA和有限状态机的设计方法,并通过仿真结果验证了设计方法的可行性.
关键词 温度测量 DS18B20 有限状态机 仿真 时隙
下载PDF
RV32I控制单元设计与实现 被引量:6
8
作者 张迅珍 梁青 李涛 《微电子学与计算机》 CSCD 北大核心 2018年第3期74-78,82,共6页
针对新型开源精简指令集架构RISC-V指令集,设计了一款支持32位基本指令集的处理器(RV32I),其外围电路包含快速存储(QMEM)、高速缓存(Cache)和双倍速率同步动态随机存储器(DDR)等存储设备,主要描述其控制单元的设计与实现.设计采用经典... 针对新型开源精简指令集架构RISC-V指令集,设计了一款支持32位基本指令集的处理器(RV32I),其外围电路包含快速存储(QMEM)、高速缓存(Cache)和双倍速率同步动态随机存储器(DDR)等存储设备,主要描述其控制单元的设计与实现.设计采用经典三级流水线,即取指、译码和执行,通过有限状态机支持流水线,并且使用可综合的Verilog HDL语言描述,预留中断异常控制模块.仿真结果表明,该控制单元能够实现流水线正常稳定的运转. 展开更多
关键词 RISC-V Cache DDR 三级流水线 有限状态机 VERILOG HDL
下载PDF
基于FSM的并联谐振中频电源整流逆变调功控制
9
作者 于占东 金鑫池 +1 位作者 谭金博 付莹 《电力电子技术》 2024年第2期19-22,83,共5页
并联谐振晶闸管中频双控感应加热电源调功系统由整流和逆变两部分构成。调节整流单元的移相角,改变逆变单元的功率因数角都可影响谐振槽路的中频电压的输出,进而控制输出功率。在分析槽路中频逆变电压同晶闸管整流装置的移相角、逆变单... 并联谐振晶闸管中频双控感应加热电源调功系统由整流和逆变两部分构成。调节整流单元的移相角,改变逆变单元的功率因数角都可影响谐振槽路的中频电压的输出,进而控制输出功率。在分析槽路中频逆变电压同晶闸管整流装置的移相角、逆变单元的功率因数角关系的基础上,提出了基于有限状态机(FSM)的并联谐振晶闸管中频电源整流-逆变调功方案。该方案采用控制层与调度层结构。控制层将中频电压作为闭环控制对象,分别以整流环节和逆变环节作为执行单元,设计具有鲁棒稳定性的移相整流控制器和锁相逆变控制器;调度层采用FSM结构,可根据加热工艺需求实现整流-逆变轮换调功和联合调功。该方案已经应用于多台大功率并联谐振晶闸管中频电源中,其可行性和有效性得到验证。 展开更多
关键词 电源 并联谐振 有限状态机 中频电压
下载PDF
基于FPGA的TANGRAM分组密码算法实现
10
作者 王建新 许弘可 +3 位作者 郑玉崝 肖超恩 张磊 洪睿鹏 《计算机应用研究》 CSCD 北大核心 2024年第1期260-265,共6页
TANGRAM系列分组密码算法是一种采用比特切片方法,适合多种软硬件平台的系列分组密码算法。针对TANGRAM-128/128算法,使用Verilog HDL对该算法进行FPGA实现并提出设计方案。首先,介绍了TANGRAM密码算法的特点和流程,提出了针对TANGRAM... TANGRAM系列分组密码算法是一种采用比特切片方法,适合多种软硬件平台的系列分组密码算法。针对TANGRAM-128/128算法,使用Verilog HDL对该算法进行FPGA实现并提出设计方案。首先,介绍了TANGRAM密码算法的特点和流程,提出了针对TANGRAM密码算法进行44轮加/解密迭代计算的方案,该方案采取有限状态机的方法有效降低了资源消耗;其次,基于国产高云云源平台,完成了基于高云FPGA的算法工程实现,以及功能仿真和数据的正确性验证,同时在QuartusⅡ13.1.0平台上也进行了相关测试,用以比较。测试结果表明,TANGRAM系列分组密码算法基于Altera公司的CycloneⅣE系列EP4CE40F29C6芯片进行工程实现,最大时钟频率为138.64 MHz,加/解密速率为403.30 Mbps;基于高云半导体GW2A-55系列芯片的最大时钟频率为96.537 MHz,加/解密速率为280.80 Mbps。 展开更多
关键词 TANGRAM 分组密码算法 Verilog HDL 有限状态机
下载PDF
机耕道自动驾驶农机局部路径规划
11
作者 杨丽丽 唐晓宇 +3 位作者 吴思贤 文龙 杨卫中 吴才聪 《农业工程学报》 EI CAS CSCD 北大核心 2024年第1期27-36,共10页
针对机耕道场景下自动驾驶农机行驶的安全性、平稳性与规划实时性的实际需求,该研究提出了一种基于二次规划的局部路径规划方法。首先基于有限状态机构建农机机耕道行驶模式,其次采用横纵向解耦的方法,通过改进状态栅格法分别对农机速... 针对机耕道场景下自动驾驶农机行驶的安全性、平稳性与规划实时性的实际需求,该研究提出了一种基于二次规划的局部路径规划方法。首先基于有限状态机构建农机机耕道行驶模式,其次采用横纵向解耦的方法,通过改进状态栅格法分别对农机速度行为和轨迹行为进行决策,随后利用二次规划方法生成满足多目标、多约束条件的农机轨迹和速度,得到最优路径,最后在多种行驶环境中进行仿真和实车试验,行驶参考速度为2 m/s。实车试验结果表明,在绕行静态障碍物场景中,规划轨迹的平均绝对曲率为0.021 m^(-1),最大绝对曲率为0.056 m^(-1),平均绝对横向误差为3.23 cm,最大绝对横向误差为8.69 cm,农机与障碍物外轮廓的距离大于0.76 m;在规避相向行驶、同向行驶和横穿机耕道的动态障碍物场景中,规划速度的平均绝对速度误差为0.08~0.12 m/s,绝对速度误差小于0.38 m/s,加速度变化范围为-0.38~0.44 m/s^(2)。在规划周期为200 ms的仿真试验中,该文算法平均耗时48 ms,最大耗时75 ms,相比采用静态状态栅格法平均耗时减少38 ms,算法效率提升44%。研究结果可为机耕道场景下的农机局部路径规划提供技术支持。 展开更多
关键词 农业机械 自动驾驶 局部路径规划 二次规划 有限状态机
下载PDF
基于Isabelle/HOL的文件系统形式化设计与验证
12
作者 王文斌 钱振江 +4 位作者 靳勇 孙高飞 邢晓双 苏超 孙天琦 《计算机工程》 CAS CSCD 北大核心 2024年第4期277-285,共9页
对于构建可信操作系统而言,文件系统设计和实现的正确性至关重要,即使是已经得到广泛运用的文件系统仍然有漏洞被检测出来。采用形式化方法对文件系统的设计和实现的正确性进行严格的验证是公认的可行方法。当前文件系统的形式化验证工... 对于构建可信操作系统而言,文件系统设计和实现的正确性至关重要,即使是已经得到广泛运用的文件系统仍然有漏洞被检测出来。采用形式化方法对文件系统的设计和实现的正确性进行严格的验证是公认的可行方法。当前文件系统的形式化验证工作大多基于宏内核操作系统,而忽视了微内核操作系统架构下文件系统的验证。为此,提出一种微内核架构下采用内联数据机制的文件系统的形式化设计和验证方法。以高阶逻辑(HOL)和自动机模型为基础,将文件系统中的工作对象和系统资源抽象为系统对象来构建文件系统的工作状态,形式化地描述文件系统的相关系统调用的功能语义,将系统调用提供服务的过程抽象为系统工作状态发生跃迁的过程,并给出文件系统功能正确性和安全属性的断言。以实现的安全可信微内核操作系统(VSOS)中的安全可信文件系统(VSFS)为例,在设计阶段构建VSFS的有限状态机模型,并在Isabelle/HOL中抽象描述VSFS的可移植操作系统接口(POSIX)系统调用,分析和归纳出VSFS文件系统正确性断言,使用定理证明的方式来验证VSFS的正确性。实验结果表明,该方法在Isabella/HOL中完成VSFS有限状态机模型细粒度的形式化验证,满足预期的安全需求规范。 展开更多
关键词 形式化验证 文件系统 定理证明 有限状态机 微内核
下载PDF
永磁同步电机转子初始位置检测算法研究 被引量:6
13
作者 于家斌 秦晓飞 郑军 《计算机仿真》 CSCD 北大核心 2015年第4期345-348,375,共5页
针对永磁同步电机在启动时如果无法准确检测出转子的初始位置,导致在进行矢量控制时无法准确实现磁场定向,从而严重影响定位精度,同时也会对启动时的电流控制性能造成一定影响的问题,提出了一种采用有限状态机的转子初始位置检测算法,... 针对永磁同步电机在启动时如果无法准确检测出转子的初始位置,导致在进行矢量控制时无法准确实现磁场定向,从而严重影响定位精度,同时也会对启动时的电流控制性能造成一定影响的问题,提出了一种采用有限状态机的转子初始位置检测算法,通过有限状态机控制转子位置自学习的流程,实现转子初始位置的读取。实验结果表明,使用上述算法进行初始定位,可以精确检测出转子的初始位置,且具有初始定位不存在抖动,易于编程实现等优点,提高了永磁同步电机启动时的电流控制性能。 展开更多
关键词 永磁同步电机 电流控制 转子初始位置 有限状态机
下载PDF
LIBS谱线自动寻峰在炉渣成分在线分析中的应用 被引量:5
14
作者 余嵘华 陈兴龙 +1 位作者 倪志波 王静鸽 《合肥工业大学学报(自然科学版)》 CAS CSCD 北大核心 2014年第12期1474-1478,共5页
采用激光诱导击穿光谱技术对炉渣成分实时在线监测的研究过程中,谱峰的中心波长及其积分强度是定量分析的基础。为了快速自动识别海量的谱峰数据,文章基于有限状态机的句法编译了一套自动寻峰程序,并介绍了产生谱峰描述语言的文法和谱... 采用激光诱导击穿光谱技术对炉渣成分实时在线监测的研究过程中,谱峰的中心波长及其积分强度是定量分析的基础。为了快速自动识别海量的谱峰数据,文章基于有限状态机的句法编译了一套自动寻峰程序,并介绍了产生谱峰描述语言的文法和谱峰自动识别机。将该寻峰程序应用于自动识别激光诱导炉渣等离子体发射光谱数据和炉渣成分的在线分析,取得了较好的分析速度和精度,证明了该技术的有效性。 展开更多
关键词 激光光学 激光诱导等离子体光谱 自动寻峰 有限状态机 在线分析
下载PDF
基于色移键控的联合编码调制实验设计 被引量:1
15
作者 李宗艳 袁泽宇 +1 位作者 雷小茜 李世银 《实验技术与管理》 CAS 北大核心 2023年第4期90-95,102,共7页
结合可见光通信这一未来高速无线通信的关键技术,提出了一种基于色移键控的联合编码调制实验设计方案。首先,对引入三角形划分方法构建三维多强度平面星座进行研究,提出了基于目标色约束的多强度平面色移键控星座设计方法。其次,给出了... 结合可见光通信这一未来高速无线通信的关键技术,提出了一种基于色移键控的联合编码调制实验设计方案。首先,对引入三角形划分方法构建三维多强度平面星座进行研究,提出了基于目标色约束的多强度平面色移键控星座设计方法。其次,给出了实验方案的建模,并进一步提出基于集合划分和有限状态机的高编码增益联合编码调制方法。最后,对所提方案的最小均方欧式距离进行了计算与分析。仿真结果表明,所提的联合编码调制方案显著改善了可见光通信系统的误码率性能。 展开更多
关键词 可见光通信 色移键控 有限状态机 VITERBI算法 误码率
下载PDF
一种基于多UIO的一致性测试序列优化方法 被引量:4
16
作者 吴永 贺前华 涂用军 《计算机科学》 CSCD 北大核心 2007年第2期274-276,共3页
在通信协议一致性测试中,设计出测试费用低、检错能力强的测试序列是关键工作之一。文章基于乡间中国邮递员遍历算法,利用网络流技术从一个状态的多UIO序列中选择适当的一个,使有向图Gtest的度:Δ(Gtest)=∑ni=1|ξ(vi)|最小,从而达到... 在通信协议一致性测试中,设计出测试费用低、检错能力强的测试序列是关键工作之一。文章基于乡间中国邮递员遍历算法,利用网络流技术从一个状态的多UIO序列中选择适当的一个,使有向图Gtest的度:Δ(Gtest)=∑ni=1|ξ(vi)|最小,从而达到减少测试序列的总时间费用的目的。 展开更多
关键词 一致性测试 测试序列 多UIO序列 有限状态机
下载PDF
基于数字频率合成算法的硬件PWM模块设计 被引量:4
17
作者 朱远建 张华 《机电工程》 CAS 2016年第1期84-87,115,共5页
针对伺服电机的控制问题,对控制伺服电机的脉冲发送模块、计数模块、加减速模块进行了研究。通过分析脉冲信号产生过程,提出了一种基于FPGA的宽调频范围的脉冲产生方法。该方法采用数字频率合成算法,通过硬件描述语言Verilog HDL实现该... 针对伺服电机的控制问题,对控制伺服电机的脉冲发送模块、计数模块、加减速模块进行了研究。通过分析脉冲信号产生过程,提出了一种基于FPGA的宽调频范围的脉冲产生方法。该方法采用数字频率合成算法,通过硬件描述语言Verilog HDL实现该算法的逻辑,并利用Quartus II仿真软件对所产生脉冲信号和加减计数模块进行仿真测试。在伺服电机控制平台上进行测试验证,研究结果表明该算法生成的脉冲频率可调范围为1 Hz^25 MHz,在整个脉冲段的波动不超过一个时钟周期。该脉冲发送模块具有脉冲输出均匀稳定、分辨率高、调频范围广的优点,可以满足多种伺服控制要求,为伺服电机提供稳定的控制脉冲,具有一定的应用前景。 展开更多
关键词 直接数字合成(DDS) 脉冲边沿计数 有限状态机 现场可编程逻辑门阵列(FPGA)
下载PDF
基于有限状态机的指针解引用静态检测方法 被引量:3
18
作者 詹瑾瑜 陈忠湘 郝宗波 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2011年第4期135-142,共8页
为了产生高质量和高可靠性代码,提出一种指针解引用静态检测方法,该方法给出了指针状态转换的有限状态机定义。通过对源代码进行语义分析,得到指针指向信息,建立指针与内存单元之间的映射关系,并根据有限状态机中的指针状态判断指针解... 为了产生高质量和高可靠性代码,提出一种指针解引用静态检测方法,该方法给出了指针状态转换的有限状态机定义。通过对源代码进行语义分析,得到指针指向信息,建立指针与内存单元之间的映射关系,并根据有限状态机中的指针状态判断指针解引用是否合法。本方法不仅记录了变量的作用域和指针集,还分析了指针的确定指向和可能指向,并对部分控制块采取延迟写入指向的方法,提高了指针解引用分析的精度,同时还可以检测内存释放异常的问题。实验结果表明该方法能有效检测非法指针解引用和内存释放异常。 展开更多
关键词 有限状态机 指针解引用 指针状态 延迟写入 内存释放异常
下载PDF
Time-triggered State-machine Reliable Software Architecture for Micro Turbine Engine Control 被引量:2
19
作者 ZHANG Qi XU Guoqiang DING Shuiting 《Chinese Journal of Aeronautics》 SCIE EI CAS CSCD 2012年第6期839-845,共7页
Time-triggered (TT) embedded software pattern is well accepted in aerospace industry for its high reliability. Fi-nite-state-machine (FSM) design method is widely used for its high efficiency and predictable behav... Time-triggered (TT) embedded software pattern is well accepted in aerospace industry for its high reliability. Fi-nite-state-machine (FSM) design method is widely used for its high efficiency and predictable behavior. In this paper, the time-triggered and state-machine combination software architecture is implemented for a 25 kg thrust micro turbine engine (MTE) used for unmanned aerial vehicle (UAV) system; also model-based-design development workflow for airworthiness software directive DO-178B is utilized. Experimental results show that time-triggered state-machine software architecture and development method could shorten the system development time, reduce the system test cost and make the turbine engine easily comply with the airworthiness rules. 展开更多
关键词 airworthiness time-triggered finite-state-machine model-based-design turbine engine control
原文传递
基于有限状态机的绝缘在线监测装置软件模型与实现 被引量:2
20
作者 单茂华 刘骥 白钟 《测控技术》 CSCD 2007年第9期79-81,共3页
在简要介绍变电站绝缘在线状态监测系统结构的基础上,分析了系统中数据流动的特点,合理地将软件分为3层:硬件层,协议层,应用层。针对协议层和应用层软件提出用有限状态机理论来设计,并抽象出其状态机软件模型,探讨了具体的代码实现,表... 在简要介绍变电站绝缘在线状态监测系统结构的基础上,分析了系统中数据流动的特点,合理地将软件分为3层:硬件层,协议层,应用层。针对协议层和应用层软件提出用有限状态机理论来设计,并抽象出其状态机软件模型,探讨了具体的代码实现,表明装置软件具有控制结构清晰,代码简洁高效,维护扩展性好等特点。 展开更多
关键词 在线监测系统 有限状态机 通信协议层 应用层
下载PDF
上一页 1 2 53 下一页 到第
使用帮助 返回顶部