搜索
当前位置:
首页
--
工业技术
--
自动化技术、计算机技术
--
计算技术、计算机技术
--
一般性问题
--
理论、方法
--
自动机理论
自动制造系统的Petri网结构分析和控制器设计
几类基于量子逻辑的自动机的代数及逻辑刻画
基于模糊Petri网的混合系统表示及稳定性研究
状态转换系统的格值量化验证方法研究
UPPAAL时间自动机到UML子图转换方法研究及工具实现
基于元胞自动机的公共场所人员疏散模型研究
用元胞自动机模拟学习者行为和行人流疏散现象
基于Petri网的建筑工程项目时间—成本管理研究与优化
基于极大代数的Petri网同步模型研究
物流对能耗影响及吨钢能耗预测模型的研究
基于混合Petri网的立体仓库建模研究
基于Petri网的供应链建模及仿真优化
基于Petri网的故障诊断建模研究及其在风电机组中的应用
基于Petri网分解技术的电网故障诊断建模技术研究
Petri网化简算法及其动态特性研究
基于Petri网的PLC系统设计与监控策略研究
基于广义随机着色Petri网的C~3I系统建模与仿真技术研究
若干细胞自动机规则的符号动力学及其伪随机数发生器
复杂Bernoul1i移位细胞自动机的动力学研究
模糊Petri网的合成运算等相关性态研究
细胞自动机规则的广义子移位
S~4PR网的虹吸受控条件及其应用
高层建筑物人群疏散
基于Petri网的几个并发问题的建模与分析
改进的元胞自动机车辆微观行为仿真模型的研究
图像式自动机运动参数测试系统研究
黑白图像压缩的自动机方法
格值树自动机的最小化
单道批处理系统建模与验证
加权Moore机的同余与格值Moore机的约化
可编程图形环境下自动制造系统分析与控制
Petri网死锁迭代控制算法研究
基于Petri网的数字家庭无线抄表建模与分析
基于Token行为Petri网及其应用研究
基于时间Petri网与智能优化算法相结合的任务调度研究
Petri网的仿真软件的研究
基于分层思想的基本通信系统CPN建模
有界Petri网的语言识别算法研究
基于元胞自动机的集装箱码头前沿路网结构建模与分析
元胞自动机环境下水泥水化过程模拟及算法
部分多值逻辑函数集中准完备集的若干性质研究
部分K值逻辑中完满对称函数集个数的确定
基于索引π演算的关键动作建模及其索引π网转换问题的研究
基于面向对象混合Petri网的可重入生产系统建模研究
基于元胞自动机的停车场照明控制的研究
基于Petri网的生产物流仿真研究
模糊Petri网的约简技术及其闭环模型的研究
若干细胞自动机的符号动力学研究
一类超Bernoulli移位细胞自动机的动力学研究
基于Petri网的一类并发程序死锁预防策略
S~3PR网的严格极小信标计算及活性控制器设计
教学楼学生紧急疏散的自动机模拟研究
关于直觉模糊有限状态机若干问题的讨论
关于线性有限自动机可逆性的再讨论
有限模糊树自动机的代数性质与树语言
用元胞自动机研究激发介质中螺旋波的动力学行为
基于元胞自动机的证券市场中的羊群行为研究
元胞自动机在经济管理学中的应用研究
量子有限自动机等价性判定研究
基于异步元胞自动机的计算机病毒传播研究
基于着色Petri网的应急预案业务流程建模与分析研究
亚对数空间限定多墨水点交替式下推自动机的研究
基于Petri网的云浮新港业务流程优化研究
基于Petri网的情境感知服务逻辑建模研究
两类自动机的乘积研究
几类格值自动机的最小化算法研究
存在不可控变迁的Petri网死锁避免策略
皮带机群控系统的Petri网建模与规则化描述
基于有限自动机的软件行为模型评价方法研究
基于Petri网的喷码系统研究
基于Petri网的SIP协议一致性测试套的设计与实现
几类自动机的性质探讨
Petri网混惑结构研究及应用
基于计算模型的系统建模与验证
基于一维元胞自动机的伪随机数发生器的研究
Petri网死锁迭代控制中若干问题研究
WS~3PR网活性研究中的若干算法优化与实现
可逆逻辑门与可逆逻辑电路的Petri网建模与分析
有色Petri网的动态性质判定及其在组装生产线中的应用
Petri网表征语言和可达性分析
语言半环上的有限自动机的推广
基于Petri网的Job_Shop动态调度问题的模型和仿真
模型检测在配置中的应用
组合式Petri网对PI演算的转换与验证
面向对象模糊Petri网的理论及建模研究
基于细胞自动机的协同演化优化方法
通信距离受限的进程代数研究
基于工作流的Petri网替换特性研究
基于简化技术的受控Petri网的显式控制器设计
用元胞自动机模型模拟教学楼疏散过程
伪半环及其在自动机理论中的应用
基于随机Petri网的物流业务流程分析工具的研究与开发
动态环境下pert网络图的布局优化研究
部分四值逻辑中Sheffer函数的判定与构造
实时模型检测中精确加速的研究
基于Petri网和混合遗传算法的双资源车间调度
[1]
[2]
[3]
[4]
[5]
下一页
点击收藏
|
在线购卡
|
站内搜索
|
网站地图
版权所有
艾博士论文
Copyright(C) All Rights Reserved
联系方式: QQ:277865656