退出
我的积分:
中文文献批量获取
外文文献批量获取
谭棉; 冯夫健;
贵州民族大学教务处 贵州贵阳550025;
形式化方法; 演化算法; 目标函数; 集合类;
机译:基于生态和经济标准的技术对象优化问题的形式化,基于模糊数学方法的求解算法的开发
机译:基于LLE和改进的PSO聚类算法的微震数据时间选取方法
机译:用于基于模式的安全软件系统开发的安全模式建模和形式化
机译:在基于模型的开发中使用形式化方法增强软件开发性能的克隆检测
机译:形式化和改进正式的折衷软件开发方法
机译:基于区域增长算法的拟人化乳房软件模型的开发与表征
机译:CaD / Cam软件集成的加工知识的形式化:应用于航空结构部件
机译:利用形式化和半形式化软件建模方法开发目标识别系统
机译:拉伸和接收织构过程中形成聚酯单胞,织构聚酯单键的方法所采用的形成和缠绕聚酯单胞的方法农业开发音频系统软件开发人员软件开发软件开发软件系统软件开发软件软件开发软件软件开发软件软件开发软件软件开发软件
机译:基于服务器页面的软件体系结构,使面向用例的演化软件原型成为可能
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。