当前位置：
首页
--
工业技术
--
自动化技术、计算机技术
--
计算技术、计算机技术
--
一般性问题
--
理论、方法
--
自动机理论
基于Petri网的生产物流仿真研究
基于元胞自动机的停车场照明控制的研究
基于面向对象混合Petri网的可重入生产系统建模研究
基于索引π演算的关键动作建模及其索引π网转换问题的研究
部分K值逻辑中完满对称函数集个数的确定
部分多值逻辑函数集中准完备集的若干性质研究
元胞自动机环境下水泥水化过程模拟及算法
基于元胞自动机的集装箱码头前沿路网结构建模与分析
有界Petri网的语言识别算法研究
基于分层思想的基本通信系统CPN建模
Petri网的仿真软件的研究
基于时间Petri网与智能优化算法相结合的任务调度研究
基于Token行为Petri网及其应用研究
基于Petri网的数字家庭无线抄表建模与分析
Petri网死锁迭代控制算法研究
可编程图形环境下自动制造系统分析与控制
加权Moore机的同余与格值Moore机的约化
单道批处理系统建模与验证
格值树自动机的最小化
黑白图像压缩的自动机方法
图像式自动机运动参数测试系统研究
改进的元胞自动机车辆微观行为仿真模型的研究
基于Petri网的几个并发问题的建模与分析
高层建筑物人群疏散
S~4PR网的虹吸受控条件及其应用
细胞自动机规则的广义子移位
模糊Petri网的合成运算等相关性态研究
复杂Bernoul1i移位细胞自动机的动力学研究
若干细胞自动机规则的符号动力学及其伪随机数发生器
基于广义随机着色Petri网的C~3I系统建模与仿真技术研究
基于Petri网的PLC系统设计与监控策略研究
Petri网化简算法及其动态特性研究
基于Petri网分解技术的电网故障诊断建模技术研究
基于Petri网的故障诊断建模研究及其在风电机组中的应用
基于Petri网的供应链建模及仿真优化
基于混合Petri网的立体仓库建模研究
物流对能耗影响及吨钢能耗预测模型的研究
基于极大代数的Petri网同步模型研究
基于Petri网的建筑工程项目时间—成本管理研究与优化
用元胞自动机模拟学习者行为和行人流疏散现象
基于元胞自动机的公共场所人员疏散模型研究
UPPAAL时间自动机到UML子图转换方法研究及工具实现
状态转换系统的格值量化验证方法研究
基于模糊Petri网的混合系统表示及稳定性研究
几类基于量子逻辑的自动机的代数及逻辑刻画
自动制造系统的Petri网结构分析和控制器设计
上一页
[8]
[9]
[10]
[11]
[12]
