EBR-2 Reactor; Programming; Reactor Cooling Systems; Algorithms; Computer Calculations; Design; Fluid Flow; Heat Transfer; Hydraulics; Meetings;
机译:一种高阶嵌入式域方法,将具有积分傅立叶伪谱串联的预测校正傅立叶 - 傅立叶方法组合,用于求解复杂域中的线性偏微分方程
机译:?〜(n + 1)环形区域中格林函数和单函数的Bergman核的显式
机译:在mathbbR n + 1 sup> {mathbb {R} ^ {n + 1}}中的环形形状域中,格林函数的显式公式和单函数的Bergman核
机译:星图表面积的显式公式及其正确性的证明
机译:通过部分证明组合对象导向软件的静态和动态验证
机译:肝部分切除术的非严格和个体增强的术后恢复(ERAS)
机译:分离逻辑中的自动相互显式感应证明