退出
我的积分:
中文文献批量获取
外文文献批量获取
陈强; 高飞;
海军装备研究院;
海军指挥自动化工作站;
切片技术; UML活动图; 数据依赖; 控制依赖;
机译:一种基于转换的方法,用于使用UML活动图测试并发程序
机译:基于重写的基于逻辑的语义和UML活动图分析:图形转换方法
机译:从UML活动图的决策切片为面向对象软件生成测试用例
机译:一种综合方法,用于基于学习的基于自动化切片切片片运动校正,用于短轴电影心脏MR图像堆栈
机译:vizSlice:一种通过可视化了解切片数据的方法。
机译:自由呼吸切片采集的回顾性4D MR图像构造:一种基于图的新颖方法
机译:摘要切片:一种基于摘要解释和模型检查的程序切片新方法
机译:一种从机身马赫切片区域获得机身法线区域的半经验方法
机译:一种制造方法,一种生成切片数据的方法,一种制造设备以及一种用于生成切片数据的设备
机译:用于基于粒子的模拟的切片数据结构以及将基于切片的数据结构加载到GPU中的基于粒子的模拟的方法
机译:基于逻辑切片读取温度的基于逻辑切片的日志结构文件系统中自动分层数据的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。