当前位置:
首页
--
工业技术
--
自动化技术、计算机技术
--
计算技术、计算机技术
--
一般性问题
--
理论、方法
--
自动机理论
离散事件动态系统的若干故障诊断问题研究
基于Petri网分解技术的死锁分析与控制
基于结构和可达图分析的Petri网优化控制器研究
基于结构的一类适应资源变化的Petri网模型控制研究
云环境下基于Petri网的用户行为分析研究
S~3PR网的同步与控制研究
具有不可观察事件的最大—加自动机的状态估计和故障诊断
基于时延Petri网的最优路径研究
一种基于弱互模拟的编排映射方法
一种将顺序图映射到有色Petri网的方法
一种将协作图编排映射到Peer的方法
基于Petri网的BPMN 2.0编排的语义定义和分析
云计算性能与节能的动态优化研究
基于Petri网的区域配送中心收拣货作业优化研究
一种新的自动机构造理论(PFA)
基于元胞自动机的小学生群体紧急疏散研究
面向资源的有色Petri网模型控制研究
基于Petri网的交通灯控制模型研究
Petri网状态空间压缩与状态可达性检索研究
基于Petri网的自动制造系统去中心化监督控制策略研究
基于可达图分析的Petri网控制器优化设计
具有动态控制需求的离散事件系统的控制重构研究
一类柔性制造系统Petri网模型状态计算的代数方法
Pi演算对有界Petri网系统的模拟
面向工业过程故障诊断的条件状态模糊Petri网建模与推理
Petri网仿真软件设计与实现
Petri网结构特性分析工具的设计与实现
基于Petri网的离散事件系统的监督控制
基于Petri网的电商平台用户访问行为相似度分析及应用
关于并发加权μ-演算若干问题的研究
基于改进Petri网的智能配电网故障分析方法研究
基于元胞自动机的中小学校人员疏散模型研究
基于AFFPN模型的矿井机车无人驾驶系统的故障分析
工业过程变量间动态时延挖掘方法与应用
记忆细胞自动机与扭转型Smale马蹄的符号动力学研究
若干记忆细胞自动机的符号动力学性质
支持流程建模的工作流重复任务识别和噪声日志检测方法
基于数学和物理机理分析的行人流费用势场元胞自动机模型
多组合设备的Petri网建模及优化调度
基于Petri网与BAT的造纸、屠宰、啤酒行业排放限值的仿真
基于元胞自动机的城市交通流建模及其仿真研究
回溯自动机的文法、机器模型及其在解析器中的应用
免疫系统的计算机模型研究
雾霾天气下道路交通流特性研究
数据约束下的业务流程Petri网建模与优化方法
基于TF-HBPN的复杂系统行为分析方法研究
基于DPI的流量识别与控制系统的设计与实现
基于行为特征网的业务流程模型分解挖掘方法
基于融合网的业务流程变化传播分析
基于Petri网通讯行为轮廓的业务流程挖掘研究
[1]
[2]
[3]
[4]
[5]
下一页