当前位置：
首页
--
工业技术
--
自动化技术、计算机技术
--
计算技术、计算机技术
--
一般性问题
--
理论、方法
--
自动机理论
模糊时空知识的本体表示与基于Petri网的构建方法研究
基于Petri网高耗能产业群供应链协同建模及分析
佛山三水港码头作业流程优化与仿真
基于一类特殊S~3PR网的多项式复杂度死锁避免策略研究
基于Petri网的UML状态图的形式化验证
无穷状态自动机序列，k-正则序列及相关问题的研究
基于Petri网的工程机械制造企业生产物流系统优化研究
土地规划约束下的城市土地利用变化元胞自动机模拟
分层模糊有色Petri网及其在C~3I系统的应用
基于时间自动机的嵌入式工业控制系统建模与分析
基于Petri网的油田档案管理系统研究
微后坐力自动机动力学分析
基于DSM的产品研发流程优化研究
基于时间自动机的ECA规则系统建模与交互问题验证
某新型重载高速自动机动力学分析
某新型自动机主要受热部件热分析及冷却技术研究
基于区域势场和费用势场的行人流模型研究
基于Petri网行为轮廓挖掘配置信息的方法研究
基于自动机理论的高效模型检验算法研究
与Petri网融合的电信计费系统任务控制器的设计与实现
基于CPN的移动云计算任务迁移的验证与仿真的研究
基于Petri网行为包含的业务流程变化域传播分析
基于颜色Petri网的离散事件系统性能评价
基于元胞自动机的林火蔓延三维模拟仿真研究
数据约束下的业务流程Petri网模型的变化域分析与控制
基于自动机理论的软件项目进度监控方法研究
行为约束下的业务流程查找与控制
基于组合形式规范的混成系统形式化验证方法研究
k-正则序列的研究
几个序列的因子复杂度和排列复杂度
关于类Cantor序列逆元的研究
基于Petri网及事件日志的过程挖掘方法研究
基于UML和Petri网的电子政务需求建模与验证方法研究
基于知识元的突发事件推演规则验证方法研究
基于Petri网的工作流模型在自动化办公系统中的研究与应用
基于Petri网的石油石化行业应急管理流程研究
基于元胞自动机和背景场理论的行人行为仿真研究
基于有限状态自动机的公交车到站时间预测模型
基于Petri网的造船企业跨车间作业建模与优化调度
预测单层柱面网壳动力响应及破坏模式的细胞自动机方法
加权自动机的拓扑和代数特征研究
航空运输网络中不确定性因素对航班延误波及的影响研究
基于树结构的流程模型间差别检测算法研究
基于扩展混成Petri网的CPS建模与分析
自动机理论在验证PSL中的应用
基于网结构压缩技术的petri网监控器设计
适用于ICONIX过程的UML图有色Petri网建模技术
逆向物流中基于模糊着色Petri网的汽车报废量仿真预测
Petri网层次结构建模中的状态一致性问题
自动机的代数表示和形式语言的研究
上一页
[1]
[2]
[3]
[4]
[5]
下一页
