当前位置:网站首页>模糊离散事件系统的可测性
模糊离散事件系统的可测性
2022-07-30 11:15:00 【罗伯特之技术屋】
摘要: 针对模糊离散事件系统的可测性问题,提出一种基于不可区分串的可测性判定方法。首先引入不可区分串概念以刻画对任一极小可观测事件具有相同的可观察行为;然后构造一个基于极小可观测事件的观察器,建立不可区分串与观察器中非单元循环的一一对应关系,并由此得到模糊可测性的充要条件。同时,也给出一个验证模糊离散事件系统可测性算法。通过实例分析,说明模糊离散事件系统可测性的应用。
关键词: 离散事件系统 模糊自动机 不可区分串 可测性
0 引言
边栏推荐
- Classes and Objects - 6 Default Member Functions
- Hu-cang integrated e-commerce project (1): project background and structure introduction
- decodeURIComponent()、eval()、encodeURIComponent()
- 24. 两两交换链表中的节点
- [HarmonyOS] [ARK UI] How to double-click the return key to exit in HarmonyOS ets language
- Telerik2022 R2,有效的自动化测试
- 张量篇-初步
- 定制.NET 6.0的依赖注入
- 基于MySQL数据库,Redis缓存,MQ消息中间件,ES搜索引擎的高可用方案解析
- 神经网络学习笔记4——自动编码器(含稀疏,堆叠)(更新中)
猜你喜欢

电压继电器SRMUVS-100VAC-2H2D

高能产出!腾讯内部的MyCat中间件手册,理论实操齐下

现在报PMP还来得及参加9月的考试吗?分享敏捷全真模拟题

鸿湖万联扬帆富设备开发板正式合入OpenHarmony主干
![【 HMS core 】 【 Analytics Kit] [FAQ] how to solve the payment amount in huawei pay analysis shows zero problem?](/img/f3/b9256fc04d1c9e15c74d2fc14db0fb.png)
【 HMS core 】 【 Analytics Kit] [FAQ] how to solve the payment amount in huawei pay analysis shows zero problem?

EA中的业务对象和业务实体你分得清吗?

加密和安全

横向对比5种常用的注册中心,无论是用于面试还是技术选型,都非常有帮助

【ASP.NET Core】选项类的依赖注入

向上管理读书笔记
随机推荐
不用if分支对同一个变量做判断的方法
Hu-cang integrated e-commerce project (1): project background and structure introduction
log4js入门
拖放事件,dataTransfer,getBoundingClientRect
decodeURIComponent(), eval(), encodeURIComponent()
API 网关 APISIX 在Google Cloud T2A 和 T2D 的性能测试
神经网络学习笔记3——LSTM长短期记忆网络
鸿湖万联扬帆富设备开发板正式合入OpenHarmony主干
[HarmonyOS] [ARK UI] How to double-click the return key to exit in HarmonyOS ets language
【云原生】-Docker安装部署分布式数据库 OceanBase
获取1688app上原数据 API
AB测试 总结归纳
VSCode更改插件的安装位置
数据库事务,JDBC操作和数据类型
RY-D1/1 Voltage Relay
Swift common extension classes and simple encapsulation
[Database basics] redis usage summary
typescript入门之helloworld
实现web实时消息推送的7种方案
单片机开发之LCD1602显示实验