退出
我的积分:
中文文献批量获取
外文文献批量获取
韩雪魁; 张柳; 史俊斌;
军械工程学院维修工程实验中心,石家庄,050003;
Petri网; 任务完成概率; ExSpect; (Executable Specification tool); 仿真模型;
机译:基于搜索理论的反舰导弹拦截概率算法的改进基于搜索理论的反舰导弹拦截概率算法的改进%
机译:基于任务完成概率的双重模块化冗余检查站管理
机译:基于扩展面向对象的Petri网的红外成像导弹指导性能评估方法
机译:基于Petri网的预防性维修的装备作战部队任务完成仿真模型。
机译:基于普通和时间Petri网的Muzima指纹模块的建模,分析和仿真
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:基于petri网和概率模型检验的Internet蠕虫传播建模,仿真与验证方法。
机译:基于递推方程的随机petri网并行仿真
机译:基于扩展Petri网的仿真系统
机译:基于扩展Petri网的仿真器
机译:基于仿真的Petri网的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。