共 50 条
- [2] Maintaining formal specifications - Decomposition of large Z-specifications ICSM 2005: PROCEEDINGS OF THE 21ST IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, 2005, : 443 - 452
- [4] Efficient optimization of a large-scale biorefinery system using a novel decomposition based approach CHEMICAL ENGINEERING RESEARCH & DESIGN, 2020, 160 : 175 - 189
- [6] DECOMPOSITION METHODS USING COMPOUND PROPOSALS FOR LARGE-SCALE OPTIMIZATION LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 1992, 180 : 231 - 240
- [7] Optimization of waveguide diplexers using shadow specifications 2001 IEEE MTT-S INTERNATIONAL MICROWAVE SYMPOSIUM DIGEST, VOLS 1-3, 2001, : 2107 - 2110
- [8] Large System Decomposition and Simulation Methodology Using Axiomatic Analysis 2010 IEEE INTERNATIONAL SYSTEMS CONFERENCE, 2010, : 223 - 227
- [9] A Novel PID Gain Tuning for a System with Target Specifications using Evolutionary Constrained Optimization 2015 10TH ASIAN CONTROL CONFERENCE (ASCC), 2015,
- [10] Optimization of equational specifications using genetic techniques EUROMICRO SYMPOSIUM ON DIGITAL SYSTEM DESIGN, PROCEEDINGS: ARCHITECTURES, METHODS AND TOOLS, 2002, : 252 - 258