基于MRF的配电网线损原因识别方法 被引量：11

1

作者 拜润卿 何欣 陈仕彬 《沈阳工业大学学报》 EI CAS 北大核心 2021年第3期265-269,共5页

为了实现对配电网中高线损位置的有效控制和快速修复,确保配电网能够持续供电,提升电力系统运行的稳定性,提出一种基于MRF的配电网线损原因识别方法.结合状态机模型建立配电网线损原因识别模型,确定与配电网线损位置有关的先验条件,利用... 为了实现对配电网中高线损位置的有效控制和快速修复,确保配电网能够持续供电,提升电力系统运行的稳定性,提出一种基于MRF的配电网线损原因识别方法.结合状态机模型建立配电网线损原因识别模型,确定与配电网线损位置有关的先验条件,利用MRF的模糊性和不确定性对配电网线损原因进行识别.结果表明,所提出方法与经典的支持向量机和神经网络分类算法相比,样本训练时间、运算时间较短,线损的原因识别正确率可达到82.6%,具有运算速度快、操作简单和识别正确率高等优点,实际应用性能良好. 展开更多

关键词 状态机模型 原因识别 配电网 先验条件 模糊性 不确定性 电力系统 稳定性

下载PDF 职称材料

单片机程序的状态机模型 被引量：8

2

作者 管庶安 《武汉工业学院学报》 CAS 2004年第2期1-2,9,共3页

为单片机程序建立状态机模型,研究用此模型描述程序行为的完整性,讨论此模型的源代码实现方式。

关键词 单片机程序 状态机模型 状态集 事件集 输出集 代码实现

下载PDF 职称材料

基于HART6的智能压力变送器设计 被引量：4

3

作者 王骏 叶瑞源 《自动化仪表》 CAS 2008年第7期3-6,共4页

作为一种现场总线,HART协议及相关设备被广泛地应用在工业过程控制系统中。HART协议自身也在不断发展,特别是第6版规范的提出,推动了HART的系统整合应用。针对压力类仪表,采用自主的软件状态机模型技术,设计了满足HART6规范要求的智能... 作为一种现场总线,HART协议及相关设备被广泛地应用在工业过程控制系统中。HART协议自身也在不断发展,特别是第6版规范的提出,推动了HART的系统整合应用。针对压力类仪表,采用自主的软件状态机模型技术,设计了满足HART6规范要求的智能压力变送器,并实现对压力族命令的支持。 展开更多

关键词 HART 智能压力变送器 状态机模型 设备族命令 温度族

下载PDF 职称材料

汽车前方静动目标状态转移机理与分类算法 被引量：4

4

作者 高振海 王竣 +1 位作者 王德平 李红建 《汽车工程》 EI CSCD 北大核心 2016年第5期638-645,共8页

为解决利用雷达回波实现静止目标和运动目标的准确识别这一驾驶辅助系统的关键技术问题,本文中基于地面目标运动状态转移机理提出了一种基于时间窗的汽车前方静动目标状态分类方法。在地面静动目标运动状态与转移机理分析的基础上,将目... 为解决利用雷达回波实现静止目标和运动目标的准确识别这一驾驶辅助系统的关键技术问题,本文中基于地面目标运动状态转移机理提出了一种基于时间窗的汽车前方静动目标状态分类方法。在地面静动目标运动状态与转移机理分析的基础上,将目标分为静止目标、同向运动目标、反向运动目标、起停目标和未分类目标等5类,建立了在固定时间窗内的目标运动状态的转移状态机模型,并确定了目标状态转移的条件阈值和时间窗长度,最终在驾驶辅助试验车上进行了前方同向或反向行驶车辆、树木等静止物体和制动停车车辆等各种典型工况下的识别试验,为实现基于毫米波雷达的自适应巡航与自动紧急制动的驾驶辅助系统的工程化提供了技术支撑。 展开更多

关键词 驾驶辅助系统 状态机模型 车载毫米波雷达 静动目标分类 时间窗

下载PDF 职称材料

LabVIEW平台下液压制动主缸装配检测线开发 被引量：1

5

作者 刘登达 徐榕 戴晓冬 《机床与液压》 北大核心 2005年第9期125-126,83,共3页

针对液压制动主缸的装配检测中生产效率低的问题。本文以LabVIEW为平台,采用了状态机模型,开发了液压制动主缸的装配检测线。该流水线由六个装配及检测工位组成,实现了装配过程和在线检测的自动化。经实际生产检验,该生产线界面友好,操... 针对液压制动主缸的装配检测中生产效率低的问题。本文以LabVIEW为平台,采用了状态机模型,开发了液压制动主缸的装配检测线。该流水线由六个装配及检测工位组成,实现了装配过程和在线检测的自动化。经实际生产检验,该生产线界面友好,操作简单,大大提高了生产效率;同时,检测准确,有效地保证了产品质量。该流水线具有性价比高,可扩展性强,易推广等优点。 展开更多

关键词 状态机模型 LABVIEW 液压制动主缸 装配检测线

下载PDF 职称材料

智能差压变送器PROFIBUS-DP从站的开发 被引量：3

6

作者 闵亮 付敬奇 《仪表技术》 2008年第2期63-65,共3页

介绍智能差压变送器嵌入PROFIBUS-DP总线接口的从站开发。给出了变送器的基本结构、从站接口的总体设计,采用PROFIBUS-DP从站状态机模型进行了从站软件的模块化设计。

关键词 PROFIBUS—DP 智能差压变送器 状态机模型

下载PDF 职称材料

Isabelle在分析安全操作系统状态机模型中的应用 被引量：2

7

作者 陈坤 贺也平 《计算机工程与设计》 CSCD 北大核心 2008年第3期580-582,730,共4页

为了解决已有的状态机模型的形式化框架在分析安全操作系统状态机模型时不够直观、简洁的问题,提出了一套使用Isabelle工具对安全操作系统模型状态中的类型、变量、常量、关系、映射、函数,以及模型中的安全不变量和状态迁移规则进行形... 为了解决已有的状态机模型的形式化框架在分析安全操作系统状态机模型时不够直观、简洁的问题,提出了一套使用Isabelle工具对安全操作系统模型状态中的类型、变量、常量、关系、映射、函数,以及模型中的安全不变量和状态迁移规则进行形式化描述的新方法。通过实际验证一种典型的安全操作系统状态机模型——可信进程模型,总结出了有效地使用Isabelle辅助形式化设计、分析、验证模型的策略。 展开更多

关键词 形式化 Isabelle工具 状态机模型 安全操作系统 可信进程模型

下载PDF 职称材料

基于UML和Simulink的水下绞车控制系统研究 被引量：2

8

作者 綦声波 柴瀛 刘贵杰 《机电工程》 CAS 2015年第8期1104-1109,共6页

针对传统的嵌入式软件设计方法中存在的可靠性低、软件质量差等问题,提出了将统一建模语言UML和Simulink工具相结合的设计方法,并将其应用于水下绞车控制系统的开发过程中。通过使用Simulink/Stateflow工具对基于UML建立的状态机模型进... 针对传统的嵌入式软件设计方法中存在的可靠性低、软件质量差等问题,提出了将统一建模语言UML和Simulink工具相结合的设计方法,并将其应用于水下绞车控制系统的开发过程中。通过使用Simulink/Stateflow工具对基于UML建立的状态机模型进行了功能仿真,再通过Simulink/Embedded Coder工具将状态机模型转换成可以运行在嵌入式硬件平台上的ANSI C代码。研究结果表明,利用该设计方法生成的代码可以准确地控制水下绞车实现多工况运行及多模式切换,且在开发效率、可维护性和可靠性等方面均优于传统设计方法。 展开更多

关键词 水下绞车 统一建模语言 SIMULINK 状态机模型 代码生成

下载PDF 职称材料

一种由可编程逻辑器件集成的数字滤波器的设计及应用 被引量：2

9

作者 王海涌 申功勋 《中国惯性技术学报》 EI CSCD 2003年第5期52-54,共3页

介绍了由可编程逻辑器件集成的数字预滤器(prefilter)的设计原理,该预滤器用于滤除某些输入信道的尖峰或毛刺干扰,提供了其IP软核(Soft Core)的状态机模型、原文件和仿真结果。设计软件中状态变量安排合理,换用其它器件或采用其它开发... 介绍了由可编程逻辑器件集成的数字预滤器(prefilter)的设计原理,该预滤器用于滤除某些输入信道的尖峰或毛刺干扰,提供了其IP软核(Soft Core)的状态机模型、原文件和仿真结果。设计软件中状态变量安排合理,换用其它器件或采用其它开发软件平台也不会造成上电紊乱,占用编程资源很少,模块具有简洁稳定性和可移植性。 展开更多

关键词 数字滤波器 可编程逻辑器件 集成 设计 状态机模型 IP软核

下载PDF 职称材料

一种嵌入式系统模型的安全性分析验证方法 被引量：1

10

作者 石娇洁 胡军 +3 位作者 刘雪 马金晶 黄志球 程桢 《计算机技术与发展》 2015年第10期7-12,共6页

由于嵌入式系统模型设计周期越来越短,功能越来越复杂,其安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。针对这种情况,文中提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性分析验证方法... 由于嵌入式系统模型设计周期越来越短,功能越来越复杂,其安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。针对这种情况,文中提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性分析验证方法。具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及高级安全性建模与分析语言AltaRica的语义模型GTS的元模型,然后建立了从SysML/MARTE状态机模型到AltaRica模型的语义映射模型转换规则,并基于AMMA平台和故障树分析工具XFTA实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证框架的构建。最后给出了民用飞机系统中的机轮刹车系统设计模型的例子进行实例验证分析。实验结果表明,提出的嵌入式系统设计模型的安全性分析与验证方法是具有代表性和可执行性的。 展开更多

关键词 系统安全性分析 模型驱动 SysML/MARTE XFTA 状态机模型 嵌入式系统模型

下载PDF 职称材料

PTC电阻式车用油位传感器控制系统研究 被引量：1

11

作者 王煜华 申立中 王鹏 《农业装备与车辆工程》 2021年第2期58-62,共5页

为了提高油位传感器的精确性,避免传统传感器的不足,根据传统的电阻油位传感器提出了在结构上采用PTC探针式电阻来获取油位,实时检测探针两端电压来分析并获取油位,并采用PID控制对数据进行修正。提出了基于压差的合理性范围检测油位评... 为了提高油位传感器的精确性,避免传统传感器的不足,根据传统的电阻油位传感器提出了在结构上采用PTC探针式电阻来获取油位,实时检测探针两端电压来分析并获取油位,并采用PID控制对数据进行修正。提出了基于压差的合理性范围检测油位评估检测系统并运用Simulink搭建系统的模型,在评估油位时出现不合理错误会报告给DSM系统,并重新测量。用系统标定实验和系统测量实验来验证系统的准确性。系统在一定程度上提高了测量的准确性并能够有效避开温度等其他因素的影响,经实验证明在标定后的检测系统精确性较高,最大相对误差不超过2.90%。 展开更多

关键词 油位传感器 PTC探针 控制系统 SIMULINK模型 系统标定 油位检测系统 状态机模型

下载PDF 职称材料

一种改进的BLP模型主体敏感标记及其动态调整方案

12

作者 卢正鼎 朱国华 《计算机工程与科学》 CSCD 2004年第1期26-30,共5页

本文对经典BLP模型的主体敏感标记进行改进,提出一个读写敏感度标记分离、区间权限、动态调整主体当前敏感标记的方案。该方案中主体的读写敏感度标记是相互分离的安全级区间,主体根据客体的敏感标记和主体的历史访问过程,根据一定的策... 本文对经典BLP模型的主体敏感标记进行改进,提出一个读写敏感度标记分离、区间权限、动态调整主体当前敏感标记的方案。该方案中主体的读写敏感度标记是相互分离的安全级区间,主体根据客体的敏感标记和主体的历史访问过程,根据一定的策略在读写区间内分别动态调整主体的当前读、写敏感标记而不破坏系统的安全性,从而提高BLP模型的灵活性和实用性。 展开更多

关键词 BLP模型 主体敏感标记 动态调整 状态机模型 兼容性 操作系统

下载PDF 职称材料

模型驱动的嵌入式系统设计安全性验证方法研究 被引量：1

13

作者 刘雪 胡军 +3 位作者 黄志球 马金晶 程桢 石娇洁 《计算机工程与科学》 CSCD 北大核心 2015年第8期1498-1509,共12页

基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型... 基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及安全性建模与分析语言AltaRica的语义模型GTS的元模型;然后建立了从SysML/MARTE状态机模型分别到时间自动机模型以及AltaRica模型的语义映射模型转换规则,并基于AMMA平台和时间自动机验证工具UPPAAL设计实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证的框架。最后给出了一个飞机着陆控制系统设计模型的安全性验证实例分析。 展开更多

关键词 系统安全性分析 模型驱动工程 SysML/MARTE 状态机模型 嵌入式系统

下载PDF 职称材料

基于状态机模型的无线式双闸门监控系统设计 被引量：1

14

作者 王卓君 杨群丰 +1 位作者 沙鑫美 范凯 《电网与清洁能源》 北大核心 2015年第10期50-54,共5页

为实现对水库闸门的远程监控,提升闸门监控的准确性与可靠性,以集成射频(RF)功能的片上系统芯片(SOC)CC2430为硬件核心,结合CYH3016水位传感器和WQT 10.4吋串口触摸屏,设计了一套集水位监测、水情分析、闸门控制于一体的无线式闸门监控... 为实现对水库闸门的远程监控,提升闸门监控的准确性与可靠性,以集成射频(RF)功能的片上系统芯片(SOC)CC2430为硬件核心,结合CYH3016水位传感器和WQT 10.4吋串口触摸屏,设计了一套集水位监测、水情分析、闸门控制于一体的无线式闸门监控系统。系统软件基于有限状态机模型设计,提供了良好的参数设置接口,能够依据监测的实时水位进行准确的水情分析,制定闸门控制策略,经无线方式驱动闸门电机实现可靠的闸门控制。结果表明,试验测定系统可支持至少400 m的无线数据传输,且闸门控制响应时间不超过1 s,性能良好。 展开更多

关键词 闸门控制 水位监测 无线传输 状态机模型

下载PDF 职称材料

一种基于操作轨迹模型的移动应用易用性评估方法 被引量：1

15

作者 成静 朱怡安 +1 位作者 张涛 杨艳丽 《西北工业大学学报》 EI CAS CSCD 北大核心 2016年第4期720-723,共4页

由于各种移动智能设备特征各异、操作方式多样、使用环境复杂、用户类型众多等诸多因素,使得移动应用的易用性评估问题非常突出。文章试图探索基于用户操作轨迹的移动应用易用性评估方法。该方法通过构造用户操作轨迹状态机模型,比较分... 由于各种移动智能设备特征各异、操作方式多样、使用环境复杂、用户类型众多等诸多因素,使得移动应用的易用性评估问题非常突出。文章试图探索基于用户操作轨迹的移动应用易用性评估方法。该方法通过构造用户操作轨迹状态机模型,比较分析用户真实操作轨迹模型与预期的标准操作轨迹模型之间区别,评估和发现可能的易用性问题。 展开更多

关键词 移动应用测试 易用性 状态机模型 易用性度量

下载PDF 职称材料

多功能油田站场智能监控仪的研制

16

作者 李嘉 胡军 +1 位作者 刘文江 胡怀中 《化工自动化及仪表》 CAS 北大核心 2003年第6期59-62,共4页

介绍多功能油田站场智能监控仪的研制过程。硬件设计基于MCS80C2 5 1单片机和EPM 712 8器件 ,操作系统采用 μC/OS Ⅱ 实时多任务嵌入式操作系统。建立了被控对象控制逻辑的状态机理模型 。

关键词 单片机 μC/OS-Ⅱ 状态机模型 监控

下载PDF 职称材料

可信密码模块符合性测试方法与实施 被引量：13

17

作者 李昊 冯登国 陈小峰 《武汉大学学报（理学版）》 CAS CSCD 北大核心 2009年第1期31-34,共4页

提出了一种有效的可信密码模块符合性测试方法,给出了衡量指标,并按照该指标对测试进行了测试分层,利用可信密码模块(TCM)内部命令的依赖关系建模获取测试用例.由于该方法分别在功能层采用扩展有限状态机模型、在命令层采用等价类划分... 提出了一种有效的可信密码模块符合性测试方法,给出了衡量指标,并按照该指标对测试进行了测试分层,利用可信密码模块(TCM)内部命令的依赖关系建模获取测试用例.由于该方法分别在功能层采用扩展有限状态机模型、在命令层采用等价类划分法获取测试用例,所以能对现有TCM产品实施更加完备的符合性测试.测试结果表明:与其他TCM测试方法相比,本测试方法具有较高的测试效率,能够发现更多产品不符合标准带来的问题. 展开更多

关键词 可信密码模块 符合性测试 扩展有限状态机模型 等价类测试

原文传递

基于AS602的智能指纹锁系统设计与实现 被引量：9

18

作者 杨争辉 李多 叶桦 《电子器件》 CAS 北大核心 2016年第2期495-500,共6页

针对市场上指纹锁存在着价格高、功耗高等问题,设计了一种低成本、低功耗的智能指纹锁系统。STC12LE5A60S2作为核心处理器,对各模块进行控制。选用AS602作为指纹处理器,FPC1011F作为指纹采集器。从软硬件方面进行了低功耗设计,对密码进... 针对市场上指纹锁存在着价格高、功耗高等问题,设计了一种低成本、低功耗的智能指纹锁系统。STC12LE5A60S2作为核心处理器,对各模块进行控制。选用AS602作为指纹处理器,FPC1011F作为指纹采集器。从软硬件方面进行了低功耗设计,对密码进行TEA加密设置。采用了有限状态机模型来进行软件设计,避免了大量标志位与多层判断的问题。最后,对整个系统进行了综合测试,结果表明,本智能指纹锁系统运行稳定,安全可靠,指纹识别率高、识别速度快。 展开更多

关键词 智能指纹锁系统 AS602 低功耗 密码加密(TEA算法) 有限状态机模型

下载PDF 职称材料

基于有限状态机的自动售货机控制器 被引量：4

19

作者 周泽鹏 金瓯 《单片机与嵌入式系统应用》 2009年第3期11-14,共4页

针对随着自动售货机控制器由简单不断地变得庞大,从而出现的难扩展、难维护问题,在传统的有限状态机理论基础上,提出一种层次型有限状态机(Hierarchical FSM,HFSM)模型。该模型对系统状态进行抽象,增加中间状态,并将复杂的系统状态图转... 针对随着自动售货机控制器由简单不断地变得庞大,从而出现的难扩展、难维护问题,在传统的有限状态机理论基础上,提出一种层次型有限状态机(Hierarchical FSM,HFSM)模型。该模型对系统状态进行抽象,增加中间状态,并将复杂的系统状态图转化为一棵状态树,利用状态的局部相关性查找下一个目标状态。分析表明,该模型能有效地解决复杂系统的"庞大症"。 展开更多

关键词 有限状态机 自动售货机控制器 层次型有限状态机模型 状态转换算法

下载PDF 职称材料

运维系统工作流引擎的设计与实现 被引量：5

20

作者 孙静 杜庆伟 《电子科技》 2014年第1期134-138,共5页

在工作流管理联盟给出的工作流参考模型中,工作流引擎是参考模型的核心,是任务调度器和资源分配器。文中将FSM(有限状态机)的理念应用于引擎,设计了一个工作流引擎,详细描述了工作流参考模型、有限状态机模型、引擎的调度以及3层B/S模... 在工作流管理联盟给出的工作流参考模型中,工作流引擎是参考模型的核心,是任务调度器和资源分配器。文中将FSM(有限状态机)的理念应用于引擎,设计了一个工作流引擎,详细描述了工作流参考模型、有限状态机模型、引擎的调度以及3层B/S模式。最后,采用J2EE技术对工作流引擎进行了实现,并成功地将工作流引擎在某企业运维系统中加以应用,取得了良好的效果。 展开更多

关键词 工作流引擎 工作流参考模型 有限状态机模型 三层B S模式

下载PDF 职称材料