退出
我的积分:
中文文献批量获取
外文文献批量获取
何加浪; 张琨; 孟锦; 张宏;
南京理工大学;
计算机科学与技术学院;
南京210094;
程序不变量; 进化计算; 程序修复; 智能修复;
机译:考虑电子和辐射热导率的浓气体中脉冲放电扩展模型。描述脉冲放电的方程组的不变量
机译:基于风险的动态不变量分类程序分析,用于逻辑错误检测
机译:寻求更好的进化程序修复:一种集成方法
机译:自动验证Ajax应用程序中基于模式的交互不变量
机译:使用改组的复杂进化算法优化路面维护和修复程序。
机译:含咖啡因的产品的消耗提高体育绩效:应用程序行为理论的扩展模型
机译:基于程序切片,抽象解释和不变量分析相结合的循环约束分析
机译:基于某种条件分布的晶体结构不变量计算程序。
机译:磁传感器,其包括基于不变量的换能器,该换能器以与共振频率不同的速率进行控制,以及基于不变量控制换能器的方法
机译:牙齿状况的扩展模型制作方法,包括使用陶瓷材料制作修复体,以及使用计算机辅助设计/计算机辅助制造系统制作患者的牙齿状况模型
机译:基于进化模拟的自动生成自动战术系统,具有相同特征的车辆,以及基于进化模拟的自动生成应急信息的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。