当前位置：
首页
--
工业技术
--
自动化技术、计算机技术
--
计算技术、计算机技术
--
一般性问题
--
理论、方法
--
自动机理论
柔性制造系统可视化环境设计
Petri网分析软件设计与实现
基于Petri网的工作流模型研究
具有连续和离散变量的软件系统需求建模
全自动医学检验分析仪控制系统Petri网建模应用研究
基于加权Petri网的云计算的服务过程的研究
基于改进差分进化算法的模糊Petri网参数优化策略的研究
基于Petri网的工作流模型扩展方法研究
基于Petri网的知识表示方法研究
基于模糊有色Petri网的故障诊断方法
基于可能性Petri网的模糊系统建模与分析方法
基于时空Petri网的CPS建模与验证研究
基于元胞自动机和多智能体的溃决时空分析模型
基于Petri网废旧家电产品拆卸与回收工艺研究
复杂产品研制的风险评估与决策方法研究
基于Petri网的有限资源调配问题优化模型的研究
递归π演算向Petri网的转换研究
模糊Petri网系统的性态研究及其在信息处理中的应用
基于规划论和有色Petri网的应急调度与仿真模型研究
颜色Petri网的电子商务协议形式化分析方法研究
基于Petri网的混流装配线建模与重构优化研究
基于Petri网的港口供应链业务流程优化
关于自动机代数理论的研究
Petri网可视化工具的设计及仿真
关于同步自动机和（？）ern（？）猜想的若干研究
基于信标迭代控制的Petri网死锁预防策略
集群行为与合作行为涌现的元胞自动机模型
Petri网的符号分析技术及其应用研究
基于Petri网的可重入生产系统调度问题研究
自适应网络异步元胞自动机病毒传播模型
基于时间着色Petri网的SIP协议形式化验证与分析
协同应用流程并行交互的形式化建模研究
两种不同定义下的可逆模糊自动机
通用模糊自动机
模糊集代数与模糊树语言的封闭性
直觉模糊有限自动机及其乘积研究
两类格值有限自动机的性质及其最小化问题
基于约束交互自动机的构件行为一致性研究
基于有色Petri网的自动化立体仓库的建模研究
基于可达树对无界 Petri网性能检测的方法研究
基于元胞自动机的群体行为仿真
基于细胞簇的细胞自动机数据聚类研究及应用
UML2.0序列图到事件确定有限自动机转换的研究
元胞自动化的动力学行为及演化复杂性研究
基于元胞自动机的轨道交通建模及其仿真研究
基于SOA-Petri网技术的政府绩效外评估模型的构建
模糊有限自动机与基于量子逻辑的自动机的一些拓扑性质
量子自动机的乘积研究
脉冲神经膜系统模型与理论研究
基于QCA的逻辑线路设计与研究
上一页
[5]
[6]
[7]
[8]
[9]
下一页
