没有合适的资源？快使用搜索试试~
我知道了~
文库首页
开发技术
其它
与线性混杂自动机等价的状态依赖空间模型
与线性混杂自动机等价的状态依赖空间模型
研究论文
0 下载量
137 浏览量
2021-04-26
12:19:19
上传
评论
收藏
500KB
PDF
举报
温馨提示
立即下载
与线性混杂自动机等价的状态依赖空间模型
资源推荐
资源评论
线性混杂自动机的非线性广义最小方差控制
浏览：32
线性混杂自动机在一定条件下可以转化成与之等价的状态依赖空间模型, 等价性是指两个系统所产生的轨迹是相同的. 采用非线性广义最小方差算法对状态依赖空间模型进行控制器的设计, 非线性广义最小方差控制器的设计则...
右线性文法与有限自动机等价性的一个新证明_韩光辉.pdf
浏览：95
右线性文法，有限自动机，等价性的一个新证明。本文通过字母表上的右线性方程组及其最小解， 给出了右线性文法与有限自动机等价性的一个新证 明
基于动态图混杂自动机的交通流网络模型
浏览：73
基于动态图混杂自动机的交通流网络模型，陈阳舟，李伟，针对城市交通网络这类具有复杂拓扑结构的系统，提出了一种复杂网络建模方法 -动态图混杂自动机(DGHA)模型。应用该模型描述城市路网�
论文研究-基于Uppaal的时延Petri网到时间自动机等价模型验证.pdf
浏览：173
利用时延Petri网到时间自动机等价转换算法（简记作TPN-to-TA 转换），将一个描述实时系统的时延Petri网模型转换成与其语义等价的一组时间自动机模型。使用时间自动机中成熟的模型验证工具Uppaal对此时延Petri网的...
论文研究-弱可逆拟（r，r）阶存贮线性有限自动机的分解.pdf
浏览：64
通过对延迟r步弱可逆拟（r，r）阶存贮线性有限自动机输出权的研究，得出对延迟r步弱可逆拟（r，r）阶存贮线性有限自动机的任意一个状态，它的长r的输出权都是1;任何一个n元拟（r，r）阶存贮线性有限自动机M延迟r步弱...
论文研究-混杂系统的扩展时间自动机模型及验证研究.pdf
浏览：182
为解决一类工业控制混杂系统的建模和验证问题，对时间自动机进行了语义扩展，使其含有连续变量以及映射在其上的约束，使用扩展后的时间自动机对此类混杂系统进行建模，采用验证工具UPPAAL进行模型分析模拟，并使用...
有穷自动机等价转化中的一种重要工具
浏览：192
有穷自动机等价转化中的一种重要工具， 以有穷自动机为工具，对网络原始数据进行监测，发现有价值舆情信息。当发现匹配敏感词汇库的词汇时，立即进行屏蔽。尽量不让敏感词汇出现在类似于论坛之类的公共交流平台上，...
论文研究-多起重机节能混杂系统模型及其仿真.pdf
浏览：59
为了保证多起重机节能系统中设备的正常运行并取得较好节能效果，构造多起重机节能系统的等效电路，针对系统复杂难以建模问题，引入混杂系统理论，建立基于混杂自动机的电网整流装置模型，将离散事件活动周期图建模...
基于元胞自动机的股票市场模拟模型
浏览：106
基于元胞自动机的股票市场模拟模型
右线性文法构造有穷自动机.zip
浏览：142
右线性文法生成的语言是右线性语言，有限自动机识别和接受的语言是正则语言。而正则文法是左线性文法和右线性文法的统称，所以右线性语言类与正则语言类是同一语言类。
词法分析--有限自动机等价性.pptx
浏览：140
词法分析--有限自动机等价性，编译原理-第二章-词法分析之NFA、DFA之间的转化和DFA的化简笔记对应的课件资源
基于约束条件的元胞自动机土地利用规划布局模型_图文(精).pdf
浏览：101
基于约束条件的元胞自动机土地利用规划布局模型_图文(精).pdf基于约束条件的元胞自动机土地利用规划布局模型_图文(精).pdf基于约束条件的元胞自动机土地利用规划布局模型_图文(精).pdf基于约束条件的元胞自动机土地...
基于约束条件的元胞自动机土地利用规划布局模型_图文(精).docx
浏览：190
基于约束条件的元胞自动机土地利用规划布局模型_图文(精).docx基于约束条件的元胞自动机土地利用规划布局模型_图文(精).docx基于约束条件的元胞自动机土地利用规划布局模型_图文(精).docx基于约束条件的元胞自动机...
元胞自动机.zip常用算法模型学习资料MATLAB源程序文档教程下载
浏览：181
5星 · 资源好评率100%
元胞自动机.zip常用算法模型学习资料MATLAB源程序文档教程下载 元胞自动机.zip常用算法模型学习资料MATLAB源程序文档教程下载 元胞自动机.zip常用算法模型学习资料MATLAB源程序文档教程下载 元胞自动机.zip常用算法...
自动机的状态转换图
浏览：94
4星 · 用户满意度95%
非常完整的自动机状态转换图，完成了自动机的绘制，自动机转换为四元式，四元式转换为自动机，绘图采用弧线设计，美观完美
流体随机Petri网的混杂自动机模型 (2009年)
浏览：188
并根据改变不变行为状态事件之间的相互作用提出了正确的一阶混杂Petri网模型行为演变算法，在此基础上给出了流体随机Petri网的混杂自动机模型构造方法．实例分析表明，借助一阶混杂Petri网的行为演变及混杂自动机...
基于元胞自动机模型的沙堆稳定模型建立.pdf
浏览：45
基于元胞自动机模型的沙堆稳定模型建立.pdf基于元胞自动机模型的沙堆稳定模型建立.pdf基于元胞自动机模型的沙堆稳定模型建立.pdf基于元胞自动机模型的沙堆稳定模型建立.pdf基于元胞自动机模型的沙堆稳定模型建立.pdf...
元胞自动机NaSch模型MATLAB代码
浏览：106
元胞自动机NaSch模型MATLAB代码。交通流元胞自动机NaSch模型仿真,输出时空图 元胞自动机 MATLAB。
基于有穷自动机的自然语言状态转换
浏览：181
针对Robocup自主机器人比赛中,机器人进攻和防守状态、动作转换延迟问题,采用一种基于有穷自动机模型的自然语言状态转换方法,把机器人、环境等自然语言信息抽象成形式化的符号和状态,并转化为有穷自动机输入符号....
行人惯性导航零速检测算法
浏览：131
行人惯性导航零速检测算法
基于CORDIC的反正弦和反余弦计算的FPGA实现
浏览：154
5星 · 资源好评率100%
基于CORDIC的反正弦和反余弦计算的FPGA实现
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
浏览：95
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
BA无标度网络中的SIR模型
浏览：133
BA无标度网络中的SIR模型
使用3DCNN和卷积LSTM进行手势识别学习时空特征
浏览：196
使用3DCNN和卷积LSTM进行手势识别学习时空特征
基于三次贝塞尔曲线的类汽车曲率连续路径平滑
浏览：10
本文重点研究在大型科学设施环境中工作的类似汽车的车辆的可行路径的生成。 考虑曲率连续性和最大曲率约束，一种新颖的路径平滑算法是根据三次贝塞尔曲线提出的。 在算法中，贝塞尔转弯和贝塞尔路径分别为发达。 Bezier 转弯首先设计用于连接两个任意配置。 然后可以通过以下方式获得贝塞尔路径使用贝塞尔曲线来拟合避免碰撞规划器提供的一系列目标点。 在算法的指导下，车辆可以以预定的方向到达目标点。 模拟实验进
基于机器学习的设备剩余寿命预测方法综述
浏览：48
基于机器学习的设备剩余寿命预测方法综述
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
浏览：7
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
基于FPGA的奇异值和特征值分解的快速实现。
浏览：119
基于FPGA的奇异值和特征值分解的快速实现。
基于BP神经网络的人口预测
浏览：50
基于BP神经网络的人口预测
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_38629801
粉丝: 2
资源:
872
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
C++代码：输入一个字母字符，设置条件编译，使之能根据需要将小写字母改为大写字母输出，或将大写字母改为小写字母输出
qt5.12 网络调试工具
网络通讯协议UDP转发TCP工具-UdpToTcpRelay
C++代码：请写递归函数，把输入的一个整数转换成二进制数的输出
delphi人才信息管理系统
Linux 内核CVE-2024-1086漏洞复现脚本
外部命令的方式载入族并交互式放置
基于间接卡尔曼滤波的IMU与GPS融合MATLAB仿真（IMU与GPS数据由仿真生成）
alidns_android_sdk-2.2.2.zip
devC++开发的连接mysql
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
