只为小站
首页
域名查询
文件下载
登录
论文研究-基于CPN的汽车车身控制系统建模 .pdf
基于CPN的汽车车身控制系统建模,韩江洪,刘小平,汽车数据总线技术正在成为汽车电子技术发展的一个重要方向,而基于总线技术的汽车车身控制系统更已成为当前的一个研究热点。先从
2021-12-16 18:03:48
411KB
有色Petri网
1
OntoNet-CPN:基于本体的彩色
Petri网
建模系统-源码
OntoNet-CPN:基于本体的彩色
Petri网
建模系统
2021-12-16 18:00:50
252KB
TypeScript
1
论文研究-改进的最小割集生成算法与联锁系统模型的安全性测试.pdf
为保证铁路联锁模型的安全性,在故障分析法的基础上提出一种新的用
Petri网
来建立故障树的方法,动态地描述铁路联锁系统的安全性需求,并根据
Petri网
安全需求模型的可达标志图,提出一种能自动生成最小割集的算法。根据算法生成的最小割集,设计了一个联锁安全检测器,用于检测和控制联锁系统模型处于安全状态。最后用CPN工具对所建立的联锁系统模型进行仿真,仿真结果表明联锁安全检测器能够保证模型的安全性。
2021-12-15 19:56:22
757KB
联锁系统
故障树分析
最小割集
Petri网
联锁安全检测器
安全测试
1
论文研究-基于资源共享的医疗服务流程的建模与仿真分析.pdf
针对目前患者到医院就诊等待时间长、医院内部资源利用效率低的问题,提出一种基于着色
Petri网
的医疗服务流程模型。利用仿真工具CPN Tools对整个医疗服务流程构建模型,在证明模型正确性的基础上对模型进行仿真分析与计算,获取患者就诊过程中各个环节的等待时间、被服务时间、医护人员的有效服务时间以及床位的有效服务时间等各项指标,最后通过对各项制约效率指标的分析,为资源进行合理调配,提高服务效率和资源利用率提供了理论依据。实验结果表明,该方法与以往就医模式相比,能够为流程重组及资源分配等各项优化措施提供事实数据,对同类研究具有一定借鉴意义。
2021-12-15 19:51:20
1.46MB
着色Petri网
业务流程建模
医疗服务流程
资源共享
1
Petri网
原理袁崇义版本
Petri网
原理,袁崇义版本,从数学的理论的角度详细的介绍了
petri网
络
2021-12-06 17:04:01
4.91MB
Petri网原理
1
五个哲学家问题的
petri网
模型-Petri 网络
五个哲学家问题的
petri网
模型
2021-12-05 21:42:12
47.22MB
Petri
网络
1
HPSim(
petri网
建模软件)
HPSim
petri网
建模软件 信息系统建模
2021-12-04 16:34:00
886KB
HPSim
petri网建模
信息系统建模
1
论文研究-基于人工神经网络与
Petri网
的宏观经济调控分析.pdf
论文研究-基于人工神经网络与
Petri网
的宏观经济调控分析.pdf, 在简要分析人工神经网络方法和
Petri网
技术特点的基础上 ,提出了将人工神经网络与
Petri网
技术相整合 ,并将其运用于宏观经济调控中的设想 .同时提出了两种技术的整合方法 ,并以中国近二十年来的统计资料为样本 ,进行了宏观经济调控的模拟分析 ,得出此种方法效果较好的结论 .
2021-12-04 14:29:19
232KB
论文研究
1
Petri网
建模、分析、仿真工具
最好用的
Petri网
建模、分析、仿真工具
2021-12-04 11:06:55
964KB
Petri
建模
仿真
VisObjNet
1
基本
petri网
-petri的应用和实例
基本
petri网
1.基于DES的PN基本元素:库所(place)、变迁(transition)、弧(arc) 2.Petri特点: (1)可视化图形描述DES的静态结构和动态结构 (2)充分展示DES局部和局部直接的关系 (3)检查系统行为性能(例如防止诸如锁死、堆栈溢出) (4)能够直接从可视PN模型产生DES监控控制编码还可以实现DES的实时控制 (5)用于DES仿真,从而对系统分析 (6)通过模块化和层次化描述复杂的DES (7)支持数学上形式化描述与分析DES (8)PN模型可转化为其他DES模型 3.
petri网
定义了DES可能的状态、事件、及其它们之间的关系,这相当于连续状态变量系统CVDS的状态方程
2021-11-28 15:54:48
909KB
petri
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
STM32F4时钟触发ADC双通道采样DMA传输进行FFT+测频率+采样频率可变+显示波形
Spring相关的外文文献和翻译(含出处).zip
狂神说全部笔记内容.zip
张正友相机标定Opencv实现(完整程序+棋盘图)实例源码
mingw-w64-install.exe
数字信号处理——保研复习资料.pdf
opcua服务器模拟器+opcua客户端工具.rar
基于javaweb的网上购物系统(毕业论文+答辩PPT+开题报告+源代码)
基于STM32的FFT频谱分析+波形识别
cplex_studio129.win-x86-64.exe CPLEX 12.9直接安装可使用
适用于eNSP 1.3.00 可加载的USG6000V防火墙设备包
elsevier 爱思唯尔 系列期刊的word模板,template,单栏,双栏
多目标优化算法(二)MOEAD(附带NSGA2)的文档和代码(MATLAB)
多智能体的编队控制程序的补充(之前上传少了一个文件)
基于FPGA的DDS信号发生器设计(频率、幅度、波形可调)
最新下载
AFSim软件全套工具集下载
夏天IC助手1.8你们懂的
Spire.Doc去除水印
stm32ADC采集正弦波并用stm32DSP库的FFT处理数据计算失真度
应用数学基础学习指导
MegaRAID Storage Manager RAID管理工具
2022 Spire.Doc 4.8 Spire.Pdf 6.8
比特币自动炒币机器人app安卓版
TM1621模块化程序
SpireDoc word打印示例,去水印.NetCore+.netframework4.6双版本.zip
其他资源
VISIO图库
2018年数学建模Latex模板(最新版)
OPENSTACK介绍PPT
DAC8560驱动(Verilog)
aarch64-linux-android-4.9
在matlab 中配置VLfeat库成功调用
多格式音频格式转换器
完整的灰色模型软件
10套管理系统前台模板
openGL绘制的一个移动的2D小车,C++编写
FE8_1_SSOP16_V1_3.pdf
基于多层神经网络的饱和非线性输入自适应控制.pdf
Kubernetes实战(第二版)--第四章 介绍kubernetes API对象.pdf
2013年安徽大学研究生入学考试真题.pdf
visual c++ vc上传文件到FTP.zip
Kafka的初步认识
asp.NET学生选课系统实验实验报告
宠物商店(SSH实现)
《学籍管理系统》需求规格说明书
Tiny6410根文件系统yaffs2根文件系统
javaWeb个人博客系统页面SSH2框架
protues元器件名称
2018全国行政区划-省市县列表(花钱从买的最新的,良心价)
MATLAB(GUI)图割法(Grabcut)对象分割
Microwave Resonators and Filters