AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
谢羿;
沈阳黎明航空发动机(集团)有限责任公司,辽宁 沈阳 110043;
图数据; 可达; MapReduce; 并行化; 保持图;
机译:具有语义信息的Petri网模型可达性图的并行计算
机译:基于可达性图降低的并发系统基于模型的测试
机译:基于PC集群的有限状态机可达性分析的并行实现方法(基于分区二分决策图)
机译:K-plet和耦合BFS:基于图的指纹表示和匹配算法
机译:矢量和并行计算机上基于方程式的化学过程流程图的前沿算法。
机译:使用一个或多个多根二进制决策图对电路进行基于可达性的验证
机译:用于基于并行计算生成二进制全息图的装置和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。