当前位置：
首页
--
工业技术
--
自动化技术、计算机技术
--
计算技术、计算机技术
--
一般性问题
--
理论、方法
--
自动机理论
基于Petri网的生化免疫检测设备调度问题的研究
基于体系结构级的嵌入式软件能耗模型及性能研究
基于流程挖掘的业务流程行为一致性优化分析
基于抽象技术的流程模型变化传播分析
基于Petri网的业务流程行为相似性分析方法研究
可配置的业务流程模型变化域的优化分析
基于区域事件日志过程挖掘方法研究
基于一维元胞自动机的交通流量研究与分析
基于变迁优先权的一类Petri网的监督控制器设计
位置自动机的优化表示与实现
多边形邻域元胞自动机算法研究
慢病管理路径建模方法研究与系统应用
基于Petri网的两种晶圆产品同时加工的组合设备调度与控制问题研究
基于随机Petri网的无人机配送业务流程设计
离散事件系统观测结构及隐蔽性研究
确定性时延Petri网带权标记图的性能优化
Petri网结构行为分析与结构辨识
基于Petri网的离散事件系统混或诊断和监督控制研究
折纸序列的差分序列的自动机性质
基于模糊Petri网的复杂系统模型检测并行化研究
量子有穷树自动机的代数性质
基于强赋值幺半群和半环的带输出加权自动机的研究
格值交替自动机的若干问题研究
基于确定随机Petri网和蒙特卡洛仿真的动态故障树定量可靠性分析方法研究
并发系统的组合结构研究及应用
基于Petri网的卷烟物流配送中心流程优化应用研究
基于元胞自动机的单车道交通流模型研究
物联网环境下基于Petri网的分布式制造资源感知和过程控制研究
基于Petri网配送流程设计与优化--以甘肃省烟草公司为例
基于投影时序逻辑的Petri网模型检测
基于Petri网的遥感产品生产模型研究与应用
基于生态位元胞自动机的低丘缓坡资源建设适宜性评价--以安宁市为例
网络舆情传播的模糊元胞自动机模型研究
基于广义随机Petri网的BPEL工作流可靠性评估模型及应用
基于维度细胞自动机的对称加密算法及其周期性分析
可调整时间自动机可达性算法的研究与实现
基于模糊Petri网的网络故障诊断分析研究
面向加工番茄品质预测的模糊Petri网推理方法研究
云环境下基于着色Petri网的测试选择工具设计和实现
基于Petri网的某冷链物流企业配送流程优化研究
基于随机混成自动机的联锁系统事故预测
无线顺序控制系统的Petri网建模与故障诊断
一种营销系统的设计实现及基于Petri网的性能分析
基于Petri网的因果图故障诊断研究
基于Petri网的“系统的系统”的建模与仿真的研究
基于Petri网的多流程形式化表示与验证的研究与实现
基于资源约束PETRI网的建模和资源优化研究
手表自动机构分析
面向临床路径的分层赋时着色Petri网建模及优化调度方法研究
基于排队Petri网的OLTP系统性能建模方法研究与实现
上一页
[1]
[2]
[3]
[4]
[5]
下一页
