当前位置：
首页
--
工业技术
--
自动化技术、计算机技术
--
计算技术、计算机技术
--
一般性问题
--
理论、方法
--
自动机理论
基于Petri网和混合遗传算法的双资源车间调度
实时模型检测中精确加速的研究
部分四值逻辑中Sheffer函数的判定与构造
动态环境下pert网络图的布局优化研究
基于随机Petri网的物流业务流程分析工具的研究与开发
伪半环及其在自动机理论中的应用
用元胞自动机模型模拟教学楼疏散过程
基于简化技术的受控Petri网的显式控制器设计
基于工作流的Petri网替换特性研究
通信距离受限的进程代数研究
基于细胞自动机的协同演化优化方法
面向对象模糊Petri网的理论及建模研究
组合式Petri网对PI演算的转换与验证
模型检测在配置中的应用
基于Petri网的Job_Shop动态调度问题的模型和仿真
语言半环上的有限自动机的推广
Petri网表征语言和可达性分析
有色Petri网的动态性质判定及其在组装生产线中的应用
可逆逻辑门与可逆逻辑电路的Petri网建模与分析
WS~3PR网活性研究中的若干算法优化与实现
Petri网死锁迭代控制中若干问题研究
基于一维元胞自动机的伪随机数发生器的研究
基于计算模型的系统建模与验证
Petri网混惑结构研究及应用
几类自动机的性质探讨
基于Petri网的SIP协议一致性测试套的设计与实现
基于Petri网的喷码系统研究
基于有限自动机的软件行为模型评价方法研究
皮带机群控系统的Petri网建模与规则化描述
存在不可控变迁的Petri网死锁避免策略
几类格值自动机的最小化算法研究
两类自动机的乘积研究
基于Petri网的情境感知服务逻辑建模研究
基于Petri网的云浮新港业务流程优化研究
亚对数空间限定多墨水点交替式下推自动机的研究
基于着色Petri网的应急预案业务流程建模与分析研究
基于异步元胞自动机的计算机病毒传播研究
量子有限自动机等价性判定研究
元胞自动机在经济管理学中的应用研究
基于元胞自动机的证券市场中的羊群行为研究
用元胞自动机研究激发介质中螺旋波的动力学行为
有限模糊树自动机的代数性质与树语言
关于线性有限自动机可逆性的再讨论
关于直觉模糊有限状态机若干问题的讨论
教学楼学生紧急疏散的自动机模拟研究
S~3PR网的严格极小信标计算及活性控制器设计
基于Petri网的一类并发程序死锁预防策略
一类超Bernoulli移位细胞自动机的动力学研究
若干细胞自动机的符号动力学研究
模糊Petri网的约简技术及其闭环模型的研究
上一页
[8]
[9]
[10]
[11]
[12]
下一页
