QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 面向智能制造实时监控的不确定复杂事件处理研究 学位论文 工学博士, 北京: 中国科学院大学, 2016 作者:  毛娜 收藏  |  浏览/下载：28/0  |  提交时间：2016/06/15 实时监控  CEP  NFA  不确定性  否定操作符  检测优化  多规则耦合  原型系统   Mission Planning for Electromagnetism Environment Monitors Satellite Based on Genetic Algorithm 会议论文 2015 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS AND AUTOMATION, 2015-01-01 作者:  Lin Zhenhai 收藏  |  浏览/下载：4/0  |  提交时间：2020/01/06 Electromagnetism environment monitors satellite  Mission planning  Constraints satisfaction problem models  Genetic algorithm  Greedy algorithm   Mission Planning for Electromagnetism Environment Monitors Satellite Based on Heuristic Tabu Search Algorithm 会议论文 2015 27TH CHINESE CONTROL AND DECISION CONFERENCE (CCDC), 2015-01-01 作者:  Lin, Zhenhai 收藏  |  浏览/下载：2/0  |  提交时间：2020/01/06 Electromagnetism environment monitors satellite  Mission planning  Constraints satisfaction problem models  Heuristic tabu search algorithm  Dynamic programming method   Production Scheduling of a Large-Scale Steelmaking Continuous Casting Process via Unit-Specific Event-Based Continuous-Time Models: Short-Term and Medium-Term Scheduling 期刊论文 INDUSTRIAL & ENGINEERING CHEMISTRY RESEARCH, 2012, 卷号: 51, 期号: 21, 页码: 7300-7319 作者:  Li, Jie;  Xiao, Xin;  Tang, Qiuhua;  Floudas, Christodoulos A. 收藏  |  浏览/下载：17/0  |  提交时间：2013/10/17 ROBUST OPTIMIZATION APPROACH  MULTIPURPOSE BATCH PROCESSES  STEEL-MAKING  LAGRANGIAN-RELAXATION  PROGRAMMING MODEL  FORMULATION  PLANT  FRAMEWORK  UNCERTAINTY  ALGORITHM   A propositional logic-based method for verification of feature models 其他 2004-01-01 Zhang, W; Zhao, H; Mei, H 收藏  |  浏览/下载：2/0  |  提交时间：2015/11/13 constructing finite algebras with falcon 期刊论文 Journal of Automated Reasoning, 1996, 卷号: 17, 期号: 1, 页码: 1-22 Zhang Jian 收藏  |  浏览/下载：13/0  |  提交时间：2010/08/11 model generation  finite algebras  constraint satisfaction  least number heuristic