A Constraint Satisfaction Algorithm for the Generalized Inverse Phase Stability Problem

[1]  Farrokh Mistree,et al.  An inductive design exploration method for hierarchical systems design under uncertainty , 2008 .

[2]  Alexander J. Smola,et al.  Learning with kernels , 1998 .

[3]  Pascal Van Hentenryck,et al.  Numerica: A Modeling Language for Global Optimization , 1997, IJCAI.

[4]  Charles Audet,et al.  Mesh Adaptive Direct Search Algorithms for Constrained Optimization , 2006, SIAM J. Optim..

[5]  Pedro Barahona,et al.  Constraint reasoning in deep biomedical models , 2005, Artif. Intell. Medicine.

[6]  P. Wolfe.  A duality theorem for non-linear programming , 1961 .

[7]  Trung Le,et al.  A unified model for support vector machine and support vector data description , 2012, The 2012 International Joint Conference on Neural Networks (IJCNN).

[8]  Liqun Wang,et al.  Reliability Assessment Using Discriminative Sampling and Metamodeling , 2005 .

[9]  M. Eldred,et al.  Efficient Global Reliability Analysis for Nonlinear Implicit Performance Functions , 2008 .

[10]  A. Basudhar,et al.  An improved adaptive sampling scheme for the construction of explicit boundaries , 2010 .

[11]  Gunnar Eriksson,et al.  FactSage thermochemical software and databases , 2002 .

[12]  Wei Gong,et al.  An evaluation of adaptive surrogate modeling based optimization with two benchmark problems , 2014, Environ. Model. Softw..

[13]  Edward P. K. Tsang,et al.  Foundations of constraint satisfaction , 1993, Computation in cognitive science.

[14]  R. A. Miller,et al.  Sequential kriging optimization using multiple-fidelity evaluations , 2006 .

[15]  Robert P. W. Duin,et al.  Support vector domain description , 1999, Pattern Recognit. Lett..

[16]  Robert P. W. Duin,et al.  Support Vector Data Description , 2004, Machine Learning.

[17]  H. Maier,et al.  Multi-phase microstructure design of a low-alloy TRIP-assisted steel through a combined computational and experimental methodology , 2012 .

[18]  R. B. Kearfott,et al.  Abstract generalized bisection and a cost bound , 1987 .

[19]  Durward K. Sobek,et al.  The Second Toyota Paradox: How Delaying Decisions Can Make Better Cars Faster , 1995 .

[20]  A. Basudhar,et al.  Adaptive explicit decision functions for probabilistic design and optimization using support vector machines , 2008 .

[21]  Allen Corlies Ward,et al.  A theory of quantitative inference for artifact sets, applied to a mechanical design compiler , 1988 .

[22]  Anirban Basudhar,et al.  Computational Optimal Design and Uncertainty Quantification of Complex Systems Using Explicit Decision Boundaries , 2011 .

[23]  Farrokh Mistree,et al.  An Inductive Design Exploration Method for Robust Multiscale Materials Design , 2008 .

[24]  Boi Faltings,et al.  Consistency techniques for continuous constraints , 1996, Constraints.

[25]  Charles Audet,et al.  Calculating Optimal Conditions for Alloy and Process Design Using Thermodynamic and Properties Databases, the FactSage Software and the Mesh Adaptive Direct Search (MADS) Algorithm , 2010 .

[26]  A. Neumaier.  Complete search in continuous global optimization and constraint satisfaction , 2004, Acta Numerica.

[27]  Solomon W. Golomb,et al.  Backtrack Programming , 1965, JACM.

[28]  K. Ramani,et al.  Creating Polytope Representations of Design Spaces for Visual Exploration Using Consistency Techniques , 2010 .

[29]  H. Ye,et al.  Sigma phase formation and its effect on mechanical properties in the corrosion-resistant superalloy K44 , 2006 .

[30]  William J. Welch,et al.  Computer experiments and global optimization , 1997 .

[31]  William W. Finch,et al.  A SET-BASED SYSTEM FOR ELIMINATING INFEASIBLE DESIGNS IN ENGINEERING PROBLEMS DOMINATED BY UNCERTAINTY , 1997 .

[32]  Vladimir N. Vapnik,et al.  The Nature of Statistical Learning Theory , 2000, Statistics for Engineering and Information Science.

[33]  J. Beck,et al.  A new adaptive importance sampling scheme for reliability calculations , 1999 .

[34]  Matthew L. Ginsberg,et al.  Iterative Broadening , 1990, Artif. Intell..

[35]  Gert Cauwenberghs,et al.  Incremental and Decremental Support Vector Machine Learning , 2000, NIPS.

[36]  Sébastien Le Digabel,et al.  Calculating all local minima on liquidus surfaces using the FactSage software and databases and the Mesh Adaptive Direct Search algorithm , 2011 .

[37]  Christiaan J. J. Paredis,et al.  Using Support Vector Machines to Formalize the Valid Input Domain of Predictive Models in Systems Design Problems , 2010 .

[38]  Carolyn Conner Seepersad,et al.  Bayesian Network Classifiers for Set-Based Collaborative Design , 2012 .

[39]  N. Saunders,et al.  CALPHAD : calculation of phase diagrams : a comprehensive guide , 1998 .

[40]  Matthew L. Ginsberg,et al.  Limited Discrepancy Search , 1995, IJCAI.

[41]  David W. Rosen.  A Set-Based Design Method for Material-Geometry Structures by Design Space Mapping , 2015, DAC 2015.

[42]  Yan Wang,et al.  Sensitivity Analysis in Quantified Interval Constraint Satisfaction Problems , 2013, DAC 2013.

[43]  Yan Wang,et al.  Searching Feasible Design Space by Solving Quantified Constraint Satisfaction Problems , 2014 .

[44]  Carolyn Conner Seepersad,et al.  Hierarchical Design of Negative Stiffness Metamaterials Using a Bayesian Network Classifier , 2016 .

[45]  T. Gómez-Acebo,et al.  Systematic search of low melting point alloys in the Fe-Cr-Mn-Mo-C system ? , 2003 .

[46]  R. Arróyave,et al.  Thermodynamic analysis of two-stage heat treatment in TRIP steels , 2012 .

[47]  Jorge Cruz,et al.  Constraint Reasoning for Differential Models , 2005, Frontiers in Artificial Intelligence and Applications.

[48]  Bernhard Schölkopf,et al.  Support Vector Method for Novelty Detection , 1999, NIPS.

[49]  Margaret J. Robertson,et al.  Design and Analysis of Experiments , 2006, Handbook of statistics.

[50]  Michael James Sasena,et al.  Flexibility and efficiency enhancements for constrained global design optimization with kriging approximations. , 2002 .

[51]  J. Morral,et al.  Prediction of the lowest melting point eutectic in the FeCrMoVC system , 1997 .

[52]  Allen C. Ward,et al.  A Theory of Quantitative Inference, Applied to a Mechanical Design Compiler , 1989 .

[53]  S. Sinha.  A Duality Theorem for Nonlinear Programming , 1966 .

[54]  Pedro Barahona,et al.  Constraint Satisfaction Differential Problems , 2003, CP.