当前位置：
首页
--
工业技术
--
自动化技术、计算机技术
--
计算技术、计算机技术
--
一般性问题
--
理论、方法
--
自动机理论
CA的符号动力学研究
基于Petri网的广义互斥约束转换算法研究
基于Petri网的离散事件系统的监控器综合与故障检测
基于Petri网的机械系统可靠性分析与故障诊断研究
基于Petri网的情境感知服务建模及冲突发现
几种S*PR网子类的活性条件及其应用
含有不可控变迁的线性约束转换研究
基于Petri网的离散事件系统控制器设计及应用研究
基于Petri网的铁路运输安全的研究及应用
时钟操纵在时间系统形式验证中的应用
基于着色Petri网的知识流建模及应用研究--基于通信知识的实证研究
基于Petri网的乳制品冷链运作效率仿真研究
基于改进Petri网的第三方物流配送业务流程建模研究
复杂三维微观结构及其演化过程的可视化方法研究
大流量网络下串匹配算法的优化研究
多主体模型定量验证方法研究
基于对象Petri网的服务集成建模与合理性初步分析
服务行为交互模型及可信计算方法研究
基于Petri网的混合系统建模与仿真方法研究
计算机联锁安全关键软件可靠性设计
基于时间调度的柔性制造系统控制器设计
LTLNFBA:LTL公式到Büchi自动机的转换
一类离散事件系统不透明性研究
IMA机载网络可靠性建模与评价研究
基于元胞自动机的多代产品扩散研究
基于内部结构的业务流程相似性度量的研究
基于自动机的公共无线网络恶意智能设备行为检测
基于OCTPN的CPS建模与分析
基于NFC点对点模式的在线式服务安全协议设计
基子面向对象Petri网的物流配送中心流程优化研究
基于扩展Petri网的云工作流建模研究
基于改进Petri网的电网故障诊断研究
基于Petri网的第三方冷链物流流程优化
混成自动机验证技术及应用研究
有关两类混合细胞自动机动力学行为的研究
基于扩展时间Petri网的嵌入式中断建模与验证
基于T-不变量的Petri网状态空间压缩算法
基于元胞自动机模型的公共场所人员应急疏散研究
基于Petri网的RBAC模型安全性分析与冲突处理
关于语言的共轭和同步自动机的若干研究
基于改进petri网算法的电网故障诊断研究
基于乘客行为的地铁车站运行脆弱性分析与评估研究
基于模糊Petri网的事故致因分析方法研究
基于Petri网和启发式搜索的调度算法研究
基于多核机群的Petri网并行模型及其算法研究
基于FlexSim的CS公司原料仓进出库作业仿真优化研究
基于着色Petri网建模及故障诊断方法的研究与应用
基于Petri网的带宽共享协议建模与验证研究
基于Petri网的I/O虚拟化性能优化研究
基于Petri网的业务流程分解工具研究
上一页
[2]
[3]
[4]
[5]
[6]
下一页
