Information flow control; CEGAR; Program dependence graph; Path condition; Abstraction refinement; Constraint solving;
机译:吊顶式包装空调的三维气流分析中的气流路径设计
机译:吊顶式包装空调的三维气流分析中的气流路径设计
机译:用于嵌入式天花板型封装空调的三维气流分析中的气流路径设计
机译:通过路径条件改进信息流分析
机译:开发井眼干预工具包,以分析初始井眼条件并评估注入压力,流路,压井和堵塞程序
机译:在低离子强度条件下改进用于电渗流评估的电流监测方法
机译:具有迭代细化的路径敏感数据流分析
机译:萨凡纳河工厂一般分离区的地下水流动和运输特征:流动模型细化和粒子跟踪分析报告。