扩展有限状态机,故障模型,故障检测

本专辑为您列举一些扩展有限状态机,故障模型,故障检测方面的下载的内容,扩展有限状态机,故障模型,故障检测等资源。把最新最全的扩展有限状态机,故障模型,故障检测推荐给您,让您轻松找到相关应用信息,并提供扩展有限状态机,故障模型,故障检测下载等功能。本站致力于为用户提供更好的下载体验，如未能找到扩展有限状态机,故障模型,故障检测相关内容，可进行网站注册，如有最新扩展有限状态机,故障模型,故障检测相关资源信息会推送给您。

阅读全文

扩展有限状态机,故障模型,故障检测

: 论文研究-基于扩展有限状态机模型的故障检测.pdf 提出了基于扩展有限状态机的故障检测模型和检测算法。该模型对软件中的故障进行了形式化定义和描述，检测算法对故障模型中的状态变迁进行缩减，检测故障模型的部分状态变迁，进而可以有效缓解状态空间过大而引起的...
评级：0 浏览量：111 收藏量：0 资源大小：794KB 上传时间：2019-07-22

: 基于VHDL的MTM总线主模块有限状态机设计摘要：为了能够更简洁严谨地描述MTM总线的主模块有限状态机的状态转换，同时减少FPGA芯片功耗，提高系统稳定性，文中在分析MTM总线结构和主模块有限状态机模型的基础上，基于VHDL语言采用"单进程"式对该有限状态机...
评级：0 浏览量：132 收藏量：0 资源大小：382KB 上传时间：2021-01-19

: 论文研究-基于EFSM用户自定义故障模型的测试集生成.pdf 该方法应用EFSM切片对EFSM模型进行合理的缩减，有效地避免了从EFSM到FSM转换得到测试集而产生状态空间爆炸的问题，也得到最短的测试用例集合。实验结果表明了新算法对生成最短EFSM测试集是有效的。
评级：0 浏览量：90 收藏量：0 资源大小：587KB 上传时间：2019-07-22

: 化工过程EFSM 模型的应用 扩展有限状态机(EFSM) 是一种构造模型的形式化描述语言. 首先根据化工过程特征, 改进EFSM 模型和数据依赖关系, 构建变量、状态及相互之间转换条件和动作的化工过程EFSM 描述模型; 然后提出化工过程变量之间的静、...
评级：0 浏览量：98 收藏量：0 资源大小：192KB 上传时间：2021-01-14

: EDA/PLD中的基于VHDL的MTM总线主模块有限状态机设计摘要：为了能够更简洁严谨地描述MTM总线的主模块有限状态机的状态转换，同时减少FPGA芯片功耗，提高系统稳定性，文中在分析MTM总线结构和主模块有限状态机模型的基础上，基于VHDL语言采用"单进程"式对该有限状态机...
评级：0 浏览量：129 收藏量：0 资源大小：320KB 上传时间：2020-10-21

: 滚筒采煤机整机多状态可靠性分析将采煤机的可靠性状态从传统的二状态扩展为多状态,基于从国内某大型煤矿集团公司收集的多台进口采煤机数年的故障数据,建立采煤机不同状态下的可靠性模型,辨识采煤机运行的可靠性临界状态,探索采煤机各种可靠性状态下...
评级：0 浏览量：61 收藏量：0 资源大小：265KB 上传时间：2020-05-13

: Linux系统故障诊断与排除--James Kirkland 13.2.4　诊断应用程序级的问题：TCP/IP模型的最后一层　329 13.3　小结　329 第14章　登录问题　330 14.1　/etc/password，/etc/shadow和密码时效　331 14.1.1　/etc/password和/etc/shadow　331 14.1.2　chage、...
评级：5 浏览量：377 收藏量：8 资源大小：5.88MB 上传时间：2011-12-18

: ball0.007mils0load1797rpm.mat 来自美国凯斯西储大学数据中心数据，该网站提供对轴承和轴承故障的测试数据。使用2马力信实电机进行了...最近或当前正在使用这个数据库的一些项目包括：Winsnode状态评估技术、基于模型的诊断技术和电机速度确定算法。
评级：0 浏览量：135 收藏量：0 资源大小：3.73MB 上传时间：2019-05-17

: 航空发动机诊断知识的动态获取与柔性诊断技术 (2006年) 针对军用航空发动机的状态监测与故障诊断问题，研究了航空发动机的诊断知识动态获取模型及柔性诊断技术。建立了可扩展诊断样本库，实现样本库中故障征兆和故障模式的动态增减，以增加系统的柔性和可扩展性；运用粗糙...
评级：0 浏览量：31 收藏量：0 资源大小：328KB 上传时间：2021-04-21

: 数据库审计系统需求说明.docx 12 系统排错系统内置故障排错系统，可以支持一键排错对服务异常、许可证异常、流量异常等大部分常见故障的检测，并可提供快速的解决办法。支持流量分析功能，包括抓包、包内容查看、自动探测 sql语句等。 13 ...
评级：0 浏览量：298 收藏量：0 资源大小：25KB 上传时间：2023-03-18

: 设计和测试锂离子电池管理算法：此示例项目可用作参考设计，开始使用 MATLAB 和 Simulink 设计电池管理系统... 预充电和接触器管理的状态机4. 故障管理 - 过压/欠压、过流、过温等。 5. 充放电限流计算为了设计和测试这些算法，项目还包括以下文件1.锂离子电池电芯参数估算2. 6芯串联电池组和96芯串联电池组3. 带有测试用例的...
评级：0 浏览量：432 收藏量：12 资源大小：27.87MB 上传时间：2021-05-31

: 使用两阶段兼容性验证对Web应用程序进行动态重新配置的研究本文扩展了经典的有限状态机（FSM），以规范化Web应用程序的行为，即Web应用程序的扩展FSM（EFSM4WA）模型。该模型也适合于正式描述Web应用程序遇到故障时动态重新配置的交互行为。然后，分两个阶段进行动态重新...
评级：0 浏览量：39 收藏量：0 资源大小：332KB 上传时间：2021-04-06

: 服务器基础知识介绍(服务器全部组件).pdf RISC（精简指令集） PowerPC, SPARC 服务器和PC机的区别区分项服务器 PC机运算能力高（多处理器）低（单处理器）存储能力大容量、可扩展容量较小、不易扩展使用人数多人 1人使用方式网络接入键盘、鼠标...
评级：0 浏览量：491 收藏量：3 资源大小：7.12MB 上传时间：2023-06-08

: 智能制造的大数据分析.docx 在分析应用方面，当今晶圆厂的故障检测很大程度上是无监督、应答式、单变量、无状态和以统计为基础的，在故障检测模型的开发阶段会纳入SME。使用这些和其他维度来界定分析技术和分析应用，提供了一个可以明确能力...
评级：0 浏览量：82 收藏量：0 资源大小：225KB 上传时间：2022-12-24

: 国家开放大学计算机应用基础本科形考任务二.docx 国家开放大学计算机应用基础本科形考任务二全文共3页，当前为第1页。国家开放大学计算机应用基础本科形考... 30、IPv6将IPv4中32位的IP地址扩展到了64位，增加了地址空间。错国家开放大学计算机应用基础本科形考任务二
评级：0 浏览量：59 收藏量：0 资源大小：36KB 上传时间：2023-06-02

: 阐述大型数据库系统安全风险及策略.docx 2 数据库发展及安全体系构建随着信息管理内容的不断扩展，数据管理不止仅限于存储和管理数据信息，而逐渐向着提供用户所需要的各种数据管理方式的方向变化。出现了丰富多样的数据模型，经历了从最简单的表格存储到...
评级：0 浏览量：81 收藏量：1 资源大小：25KB 上传时间：2023-05-18

: 智能港口-港口自动化.doc 在数字化堆场中确定轮胎吊的位置和行驶偏差，结合大车电机编码器数据推导，根据轮胎吊运动经验模型，实现轮胎吊的箱位检测和自动纠偏功能。系统描述 DGPS终端通过无线网络将机器位置和作业信息传送给服务器，服务...
评级：0 浏览量：75 收藏量：0 资源大小：346KB 上传时间：2023-02-27

: 计算机应用基础19春在线作业21.txt 诺依曼的计算机模型主要是指计算机 : A.提供了人机交互的界面 B.具有输入输出的设备 C.能进行算术逻辑运算 D.可运行预先存储的程序正确答案:D 25.PowerPoint中改变正在编辑的演示文稿模板的方法是 A."格式"菜单下的...
评级：0 浏览量：45 收藏量：0 资源大小：5KB 上传时间：2023-05-25

: 超详细mongodb教程.zip 故障排除：：故障排除和诊断问题。软件：更少的软件支持是分布式计算系统的主要缺点。网络：网络基础设施的问题，包括：传输问题，高负载，信息丢失等。安全性：开发系统的特性让分布式计算系统存在着数据的...
评级：0 浏览量：454 收藏量：1 资源大小：1.94MB 上传时间：2021-06-23

: 中文RFC文档.zip RFC19 可用来降低有限交换节点阻塞的两条协议性的建议 RFC20 用于网络交换的 ASCII 格式 RFC21 网络会议 RFC22 主机-主机控制信息格式 RFC23 多重传送的调节信息 RFC24 文档规范 RFC25 不使用高的连接号 RFC27 文档...
评级：0 浏览量：849 收藏量：1 资源大小：1.1MB 上传时间：2020-04-02

: CCNA学习指南.rar 本书详细介绍CCNA考试的内容，主要有：互连网络的模型、Cisco路由器、交换机和集线器的特点；Cisco IOS软件的初步知识；TCP/IP协议套件的综合概括；管理广域网，配置ISDN、帧中继和ATM；学习IP配置；Novell IPX协议...
评级：5 浏览量：536 收藏量：1 资源大小：8.22MB 上传时间：2019-08-21

: c#高级编程(第10版)【原版非扫描】【目录完整】 18.4.2　语义模型 18.5　代码转换 18.5.1　创建新树 18.5.2　使用语法重写器 18.6　Visual Studio Code重构 18.6.1　VSIX包 18.6.2　代码重构提供程序 18.7　小结第19章　测试 19.1　概述 19.2　使用...
评级：5 浏览量：0 收藏量：22 资源大小：30.91MB 上传时间：2018-08-08

: 软件开发类投标项目全套解决方案模板 16. 公开、公正地跟踪项目状态 174 4.1.6 质量控制、质量保证方案 175 4.1.6.1. 项目质量管理的关键 175 4.1.6.2. 本项目质量保证措施 175 4.1.6.3. IT项目质量管理的目标和质量控制 177 4.1.7 系统安全性方案 ...
评级：4 浏览量：5469 收藏量：13 资源大小：9.09MB 上传时间：2018-04-18

: TCP/IP技术大全（中文PDF非扫描版） 7.3.3 配置WINS客户机 60 7.3.4 为代理配置WINS 60 7.3.5 配置NT 4.0系统 61 7.3.6 配置Windows 95或Windows 98 系统 61 7.4 安装WINS服务器 61 7.5 WINS管理和维护 62 7.5.1 加入静态表项 62 7.5.2 维护WINS数据库...
评级：5 浏览量：1697 收藏量：14 资源大小：18.81MB 上传时间：2015-08-12

: TCPIP详解--共三卷 1.8 客户-服务器模型 8 1.9 端口号 9 1.10 标准化过程 10 1.11 RFC 10 1.12 标准的简单服务 11 1.13 互联网 12 1.14 实现 12 1.15 应用编程接口 12 1.16 测试网络 13 1.17 小结 13 第2章链路层 15 2.1 引言 15 2.2 ...
评级：5 浏览量：1681 收藏量：3 资源大小：57.52MB 上传时间：2015-11-30

: PHP和MySQL Web开发第4版pdf以及源码 1.13.2 测试变量状态 1.13.3 变量的重解释 1.14 根据条件进行决策 1.14.1 if语句 1.14.2 代码块 1.14.3 else语句 1.14.4 elseif语句 1.14.5 switch语句 1.14.6 比较不同的条件 1.15 通过迭代实现重复动作 ...
评级：5 浏览量：2051 收藏量：8 资源大小：51.48MB 上传时间：2015-10-13

: 分布式系统设计 [美]jie wu著高传善译 3.1.1 状态机模型 3.1.2 佩特里网 3.2 因果相关事件 3.2.1 发生在先关系 3.2.2 时空视图 3.2.3 交叉视图 3.3 全局状态 3.3.1 时空视图中的全局状态 3.3.2 全局状态：一个形式定义 3.3.3 全局状态的“快照”...
评级：5 浏览量：394 收藏量：5 资源大小：29.64MB 上传时间：2012-06-11

: TCP/IP详解卷1：协议 1.8 客户-服务器模型 8 1.9 端口号 9 1.10 标准化过程 10 1.11 RFC 10 1.12 标准的简单服务 11 1.13 互联网 12 1.14 实现 12 1.15 应用编程接口 12 1.16 测试网络 13 1.17 小结 13 第2章链路层 15 2.1 引言 15 2.2 ...
评级：5 浏览量：918 收藏量：0 资源大小：12.64MB 上传时间：2015-06-03

: TCP-IP详解卷1 1.8 客户-服务器模型 8 1.9 端口号 9 1.10 标准化过程 10 1.11 RFC 10 1.12 标准的简单服务 11 1.13 互联网 12 1.14 实现 12 1.15 应用编程接口 12 1.16 测试网络 13 1.17 小结 13 第2章链路层 15 2.1 引言 15 2.2 ...
评级：0 浏览量：412 收藏量：0 资源大小：11.5MB 上传时间：2014-09-23

: PHP和MySQL Web开发第4版 1.13.2 测试变量状态 1.13.3 变量的重解释 1.14 根据条件进行决策 1.14.1 if语句 1.14.2 代码块 1.14.3 else语句 1.14.4 elseif语句 1.14.5 switch语句 1.14.6 比较不同的条件 1.15 通过迭代实现重复动作 ...
评级：5 浏览量：1311 收藏量：4 资源大小：50.16MB 上传时间：2014-08-13

: 分布式系统领域教程pdf 3.1.1 状态机模型 3.1.2 佩特里网 3.2 因果相关事件 3.2.1 发生在先关系 3.2.2 时空视图 3.2.3 交叉视图 3.3 全局状态 3.3.1 时空视图中的全局状态 3.3.2 全局状态：一个形式定义 3.3.3 全局状态的“快照”...
评级：4 浏览量：275 收藏量：5 资源大小：2.33MB 上传时间：2011-02-19

: CuteFTP9简易汉化版一种上传软件将选中的文件和文件夹上传到远程FTP服务器上的一个归档文件,并将恢复您的数据档案,如果你的电脑出现故障。远程Backup-CuteFTP允许您创建的远程副本文件和文件夹在您的本地计算机上定期或在预定的时间。...
评级：5 浏览量：562 收藏量：0 资源大小：11.4MB 上传时间：2014-04-11

: TCP-IP详细协议 1.8 客户-服务器模型 8 1.9 端口号 9 1.10 标准化过程 10 1.11 RFC 10 1.12 标准的简单服务 11 1.13 互联网 12 1.14 实现 12 1.15 应用编程接口 12 1.16 测试网络 13 1.17 小结 13 第2章链路层 15 2.1 引言 15 2.2 ...
评级：0 浏览量：663 收藏量：0 资源大小：12.63MB 上传时间：2014-02-26

: COM与COM+从入门到精通（pdf版本，含源码）排队组件故障恢复 QC安全性动态负荷平衡对象地小结第12章　用VC＋＋建立COM＋＋组件 ADO编程 ADO与OLEDB VC＋＋中的ADO VC＋＋的ADO扩展建立COM＋＋应用程序温习IObjectContext接口用ATL建立...
评级：5 浏览量：1001 收藏量：20 资源大小：10.64MB 上传时间：2012-07-18

: 软件工程知识点（4）系统状态模型。通过系统的外部事件、内部状态为基本元素来描绘系统的工作流程，这种建模方式比较适合于描述一些依赖于外部事件驱动的实时系统。 5.需求有效性验证需求有效性验证是指对已经产生的需求结论所要...
评级：5 浏览量：2414 收藏量：11 资源大小：151KB 上传时间：2012-12-02

: TCP/IP详解 7.3.3 配置WINS客户机 60 7.3.4 为代理配置WINS 60 7.3.5 配置NT 4.0系统 61 7.3.6 配置Windows 95或Windows 98 系统 61 7.4 安装WINS服务器 61 7.5 WINS管理和维护 62 7.5.1 加入静态表项 62 7.5.2 维护WINS数据库...
评级：0 浏览量：1245 收藏量：1 资源大小：20.62MB 上传时间：2013-07-25

: (TCP-IP详解卷1：协议.pdf 1.8 客户-服务器模型 8 1.9 端口号 9 1.10 标准化过程 10 1.11 RFC 10 1.12 标准的简单服务 11 1.13 互联网 12 1.14 实现 12 1.15 应用编程接口 12 1.16 测试网络 13 1.17 小结 13 第2章链路层 15 2.1 引言 15 2.2 ...
评级：5 浏览量：376 收藏量：13 资源大小：12.99MB 上传时间：2013-07-08

: TCP/IP详解卷1完整版 1.8 客户-服务器模型 8 1.9 端口号 9 1.10 标准化过程 10 1.11 RFC 10 1.12 标准的简单服务 11 1.13 互联网 12 1.14 实现 12 1.15 应用编程接口 12 1.16 测试网络 13 1.17 小结 13 第2章链路层 15 2.1 引言 15 2.2 ...
评级：0 浏览量：888 收藏量：1 资源大小：11.5MB 上传时间：2013-07-28

: CCNA课程.rar 9.2 认证目标 9.02：扩展IP访问列表 210 9.3 认证目标 9.03：命名访问列表 211 9.4 认证目标 9.04：标准IPX访问列表 213 9.5 认证目标 9.05：IPX SAP过滤 214 9.6 认证目标 9.06：AppleTalk访问列表 218 9.7 ...
评级：0 浏览量：182 收藏量：1 资源大小：8.22MB 上传时间：2013-05-24

: TCP-IP技术大全 7.3.3 配置WINS客户机 60 7.3.4 为代理配置WINS 60 7.3.5 配置NT 4.0系统 61 7.3.6 配置Windows 95或Windows 98 系统 61 7.4 安装WINS服务器 61 7.5 WINS管理和维护 62 7.5.1 加入静态表项 62 7.5.2 维护WINS数据库...
评级：4 浏览量：626 收藏量：2 资源大小：21.96MB 上传时间：2011-12-01

: CCNA学习指南 9.2 认证目标 9.02：扩展IP访问列表 210 9.3 认证目标 9.03：命名访问列表 211 9.4 认证目标 9.04：标准IPX访问列表 213 9.5 认证目标 9.05：IPX SAP过滤 214 9.6 认证目标 9.06：AppleTalk访问列表 218 9.7 认证...
评级：0 浏览量：162 收藏量：0 资源大小：10.02MB 上传时间：2013-03-11

: PHP和MySQL WEB开发(第4版) 1.13.2 测试变量状态 1.13.3 变量的重解释 1.14 根据条件进行决策 1.14.1 if语句 1.14.2 代码块 1.14.3 else语句 1.14.4 elseif语句 1.14.5 switch语句 1.14.6 比较不同的条件 1.15 通过迭代实现重复动作 1.15.1 ...
评级：5 浏览量：1096 收藏量：3 资源大小：48.7MB 上传时间：2013-05-31

: MySQL5.1参考手册官方简体中文版北京万里开源软件有限公司在全国范围提供MySQL产品相关的商务及技术方面的咨询与支持服务。垂询请致电：8610-65694500，或发送邮件至：sales@greatlinux.com. 本手册编译于2006-7-29，目录及索引由官方HTML文档...
评级：5 浏览量：1468 收藏量：2 资源大小：2.53MB 上传时间：2013-05-10

: 安防天下智能网络视频监控技术详解与实践part1 9.7.3 摄像机状态检测 281 9.7.4 特色功能介绍 282 9.8 视频分析软件及设置 283 9.8.1 视频分析设置程序 283 9.8.2 vca设置过程举例 284 9.9 视频分析技术实施 286 9.9.1 视频分析实施流程 287 9.9.2 ...
评级：4 浏览量：578 收藏量：4 资源大小：47.68MB 上传时间：2012-09-05

: 安防天下智能网络视频监控技术详解与实践part2 9.7.3 摄像机状态检测 281 9.7.4 特色功能介绍 282 9.8 视频分析软件及设置 283 9.8.1 视频分析设置程序 283 9.8.2 vca设置过程举例 284 9.9 视频分析技术实施 286 9.9.1 视频分析实施流程 287 9.9.2 ...
评级：4 浏览量：962 收藏量：4 资源大小：47.68MB 上传时间：2012-09-05

: 安防天下智能网络视频监控技术详解与实践.part3 9.7.3 摄像机状态检测 281 9.7.4 特色功能介绍 282 9.8 视频分析软件及设置 283 9.8.1 视频分析设置程序 283 9.8.2 vca设置过程举例 284 9.9 视频分析技术实施 286 9.9.1 视频分析实施流程 287 9.9.2 摄像机...
评级：4 浏览量：497 收藏量：2 资源大小：30.04MB 上传时间：2012-09-01

资源推荐

相关资源标签

分布式系统领域教程pdf TCP-IP技术大全 Linux系统故障诊断与排除分布式系统设计 COM+ 代码网络视频监控技术详解软件工程 cisco CCNA MYSQL PHP和MySQL WEB开发 php宝典 IP TCP/IP详解 TCP-IP 详细协议 FTP Web开发第4版网络 TCP/IP 源码 TCPIP详解投标项目解决方案软件开发凯斯西储故障诊断扩展有限状态机,故障模型,故障检测学习指南索引行业研究 EDA/PLD Web application; dynamic formal method; two-phase compatibility verification 工程技术论文 matlab nosql mongodb 文档资料