退出
我的积分:
中文文献批量获取
外文文献批量获取
陈东; 宋文; 陈晓亮;
中国计算机学会;
订单处理; Petri网; 网上商城;
机译:激光增材制造蜂窝五模结构力学性能的数值模拟与实验验证
机译:消失模铸造过程中结晶器充型和排气压力的数值模拟与实验验证
机译:电信行业中基于随机Petri网的订单处理仿真与优化
机译:PNetTFV : 有色 Petri网 基于网络 在线固件 功能验证 计划 和实施
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:验证简化的气候模型,适用于模拟与银宇宙射线理论相关的CO2浓度增加的影响(适应模拟气候模型的验证以模拟与银河宇宙射线理论相关的CO2浓度增加的影响)
机译:计算科学:基于petri网展开的并行LTL-X模型检验的可预测性验证
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
机译:基于Petri网建模的工业物联网无人机验证方法
机译:执行订单验证系统,执行订单验证方法和执行订单验证程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。