Résolution par satisfaction de contraintes appliquée à l'aide à la décision en conception architecturale. (Constraint satisfaction solving applied to decision support for embodiment design)
暂无分享,去创建一个
[1] Amaresh Chakrabarti,et al. Towards a decision-support framework for the embodiment phase of mechanical design , 1992, Artif. Intell. Eng..
[2] Eugene C. Freuder. A Sufficient Condition for Backtrack-Free Search , 1982, JACM.
[3] Pierre Marquis,et al. Consistency restoration and explanations in dynamic CSPs Application to configuration , 2002, Artif. Intell..
[4] Ian F. C. Smith,et al. Constraint-Based Support for Collaboration in Design and Construction , 1999 .
[5] Krzysztof R. Apt,et al. The Essence of Constraint Propagation , 1998, Theor. Comput. Sci..
[6] G. Verfaillie,et al. Maintien de solution dans les problèmes dynamiques de satisfaction de contraintes : bilan de quelques approches , 1995 .
[7] Frédéric Goualard,et al. Box consistency through weak box consistency , 1999, Proceedings 11th International Conference on Tools with Artificial Intelligence.
[8] Yoann Vernat. Formalisation et qualification de modèles par contraintes en conception préliminaire , 2004 .
[9] Gilles Trombettoni,et al. Using Graph Decomposition for Solving Continuous CSPs , 1998, CP.
[10] Frédéric Benhamou,et al. Interval Constraint Logic Programming , 1994, Constraint Programming.
[11] Ram D. Sriram,et al. The Representation of Function in Computer-Based Design , 1999 .
[12] Thomas Schiex,et al. Mixed Constraint Satisfaction: A Framework for Decision Problems under Incomplete Knowledge , 1996, AAAI/IAAI, Vol. 1.
[13] Luc Jaulin,et al. Inner and Outer Approximations of Existentially Quantified Equality Constraints , 2006, CP.
[14] Peter van Beek,et al. A Theoretical Evaluation of Selected Backtracking Algorithms , 1995, IJCAI.
[15] Pierre Borne. Les réseaux de neurones. , 2006 .
[16] Vanessa Ho Kon Tiat. Aide à la décision pour la conception préliminaire de procédés d'évaporation flash. , 2006 .
[17] Christian Blum,et al. Metaheuristics in combinatorial optimization: Overview and conceptual comparison , 2003, CSUR.
[18] Brian Falkenhainer,et al. Dynamic Constraint Satisfaction Problems , 1990, AAAI.
[19] William P. Birmingham,et al. Automated design for concurrent engineering , 1994, IEEE Expert.
[20] James Bowen,et al. Constraint-based software for concurrent engineering , 1993, Computer.
[21] Pascal Van Hentenryck,et al. CLP(Intervals) Revisited , 1994, ILPS.
[22] Khaled Hadj-Hamou,et al. Contribution a la conception de produits a forte diversité et de leur chaine logistique : une approche par contraintes. , 2002 .
[23] Philippe Janssen. Aide à la conception : une approche basée sur la satisfaction de contraintes , 1990 .
[24] Bernard Yannou,et al. Towards a Conceptual Design Explorer Using Metamodeling Approaches and Constraint Programming , 2003, DAC 2003.
[25] Dominique Scaravetti. Formulation préalable d'un problème de conception, pour l'aide à la décision en conception préliminaire , 2004 .
[26] Ian F. C. Smith,et al. Creating design objects from cases for interactive spatial composition , 1996 .
[27] I. E. Idel'cik. Memento des Pertes de Charge , 1999 .
[28] Ian F. C. Smith,et al. Constraint solving and preference activation for interactive design , 1998, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.
[29] Taufiq Mulyanto. Utilisation des techniques de programmation par contraintes pour la conception d'avions , 2002 .
[30] Elise Vareilles,et al. Conception et approches par propagation de contraintes : contribution à la mise en oeuvre d'un outil d'aide interactif , 2005 .
[31] Guido D. Salvucci,et al. Ieee standard for binary floating-point arithmetic , 1985 .
[32] Marc Christie,et al. An Algorithm to Compute Inner Approximations of Relations for Interval Constraints , 1999, Ershov Memorial Conference.
[33] Barry O'Sullivan,et al. Constraint-Aided Conceptual Design , 2002, Engineering research series.
[34] Mark Klein. An Exception Handling Approach to Enhancing Consistency, Completeness, and Correctness in Collaborative Requirements Capture , 1997 .
[35] Anna C. Thornton,et al. A Mathematical Framework for the Key Characteristic Process , 1999 .
[36] Ugo Montanari,et al. Networks of constraints: Fundamental properties and applications to picture processing , 1974, Inf. Sci..
[37] Mark R. Cutkosky,et al. Combining Constraint Propagation and Backtracking for Distributed Engineering , 2002 .
[38] Boi Faltings,et al. Consistency techniques for continuous constraints , 1996, Constraints.
[39] V. Stahl. Interval Methods for Bounding the Range of Polynomials and Solving Systems of Nonlinear Equations , 2007 .
[40] James Bowen,et al. Mixed quantitative/qualitative method for evaluating compromise solutions to conflicts in collaborative design , 1995, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.
[41] Pascal Van Hentenryck,et al. A Generic Arc-Consistency Algorithm and its Specializations , 1992, Artif. Intell..
[42] Hélène Fargier,et al. Compiling CSPs into Tree-Driven Automata for Interactive Solving , 2003, Constraints.
[43] Pascal Van Hentenryck,et al. Numerica: A Modeling Language for Global Optimization , 1997, IJCAI.
[44] Frédéric Benhamou,et al. Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques , 2006, TOMS.
[45] Yahia Lebbah,et al. Solving Constraints over Floating-Point Numbers , 2001, CP.
[46] Gilles Trombettoni,et al. Constructive Interval Disjunction , 2007, CP.
[47] Christian Bessiere,et al. Domain Filtering Consistencies , 2011, J. Artif. Intell. Res..
[48] David E. Smith,et al. Constraint Manage-ment Methodology for Conceptual Design Tradeoff Studies , 1996 .
[49] Patrice Boizumault,et al. COINS: a constraint-based interactive solving system , 2002, WLPE.
[50] Simon Szykman,et al. A functional basis for engineering design: Reconciling and evolving previous efforts , 2002 .
[51] J. Merlet,et al. Multi-criteria optimal design of parallel manipulators based on interval analysis , 2005 .
[52] Rainer Weigel,et al. Interactive Configuration using Constraint Satisfaction Techniques , 1996, AAAI 1996.
[53] Béatrice Madelaine. Détermination d'un modèle dynamique pertinent pour la commande : de la réduction à la construction , 1998 .
[54] Frédéric Goualard,et al. A Reinforcement Learning Approach to Interval Constraint Propagation , 2008, Constraints.
[55] Marius-Calin Silaghi,et al. Intelligent Domain Splitting for CSPs with Ordered Domains , 1999, CP.
[56] R. BAKER KEARFOTT,et al. EXISTENCE VERIFICATION FOR HIGHER DEGREE SINGULAR ZEROS OF COMPLEX NONLINEAR SYSTEMS , 2000 .
[57] Markus Stumptner,et al. An Overview of Knowledge-Based Configuration , 1997, AI Commun..
[58] Michael R. Genesereth,et al. Progressive Negotiation for Resolving Conflicts among Distributed Heterogeneous Cooperating Agents , 1994, AAAI.
[59] Gilles Trombettoni,et al. When Interval Analysis Helps Inter-block Backtracking , 2006, CP.
[60] Siegfried M. Rump,et al. Algorithms for verified inclusions—theory and practice , 1988 .
[61] Pascal Van Hentenryck,et al. Newton - Constraint Programming over Nonlinear Constraints , 1998, Sci. Comput. Program..
[62] Eugene C. Freuder. Synthesizing constraint expressions , 1978, CACM.
[63] Frédéric Goualard. Langages et environnements en programmation par contraintes d'intervalles , 2000 .
[64] Ramesh Sharda,et al. Model-driven decision support systems: Concepts and research directions , 2007, Decis. Support Syst..
[65] Zhihui Yao,et al. On estimating the feasible solution space of design , 1997, Comput. Aided Des..
[66] P. Sébastian,et al. The embodiment design constraint satisfaction problem of the BOOTSTRAP facing interval analysis and genetic algorithm based decision support tools , 2007 .
[67] Philippe Refalo. Tight Cooperation and Its Application in Piecewise Linear Optimization , 1999, CP.
[68] Frédéric Benhamou,et al. Continuous and Interval Constraints , 2006, Handbook of Constraint Programming.
[69] F. Messine,et al. The electromagnetic actuator design problem: a general and rational approach , 2004, IEEE Transactions on Magnetics.
[70] Callie Berliner,et al. Cost Management for Today's Advanced Manufacturing: The Cam-I Conceptual Design , 1988 .
[71] Frédéric Goualard,et al. Revising Hull and Box Consistency , 1999, ICLP.
[72] Paul S. Wang. The Undecidability of the Existence of Zeros of Real Elementary Functions , 1974, JACM.
[73] Eric Monfroy,et al. Chaotic iteration for distributed constraint propagation , 1999, SAC '99.
[74] E. K. Antonsson,et al. Modeling imprecision in product design , 1994, Proceedings of 1994 IEEE 3rd International Fuzzy Systems Conference.
[75] R. Baker Kearfott. On Existence and Uniqueness Verification for Non-Smooth Functions , 2002, Reliab. Comput..
[76] Isabel Pérez-Grande,et al. Optimization of a commercial aircraft environmental control system , 2002 .
[77] Boi Faltings,et al. Solving Mixed and Conditional Constraint Satisfaction Problems , 2003, Constraints.
[78] Daniel Richardson,et al. Some undecidable problems involving elementary functions of a real variable , 1969, Journal of Symbolic Logic.
[79] Xuan-Ha Vu,et al. RIGOROUS SOLUTION TECHNIQUES FOR NUMERICAL CONSTRAINT SATISFACTION PROBLEMS , 2005 .
[80] Erik K. Antonsson,et al. Imprecision in Engineering Design , 1995 .
[81] Krzysztof R. Apt,et al. Principles of constraint programming , 2003 .
[82] R. Baker Kearfott,et al. A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization , 1995, TOMS.
[83] Abdelaziz Arbaoui. Aide à la décision pour la définition d'un système éolien, adéquation au site et à un réseau faible , 2006 .
[84] Patrick Sebastian,et al. Global optimization of a dryer by using neural networks and genetic algorithms , 1999 .
[85] Jürgen Garloff. Convergent Bounds for the Range of Multivariate Polynomials , 1985, Interval Mathematics.
[86] Pascal Van Hentenryck,et al. Solving Large Combinatorial Problems in Logic Programming , 1990, J. Log. Program..
[87] Eugene C. Freuder,et al. Configuration as Composite Constraint Satisfaction , 1996 .
[88] Olivier Lhomme,et al. Consistency Techniques for Numeric CSPs , 1993, IJCAI.
[89] D. Anthoine,et al. Références bibliographiques , 1974, Acta Endoscopica.
[90] Xavier Fischer. Strategie de conduite du calcul pour l'aide a la decision en conception mecanique integree ; application aux appareils a pression , 2000 .
[91] Jérome Pailhes,et al. Aided Decision-Making for an Embodiment Design Problem , 2005 .
[92] Toby Walsh,et al. Handbook of Constraint Programming , 2006, Handbook of Constraint Programming.
[93] David L. Waltz,et al. Generating Semantic Descriptions From Drawings of Scenes With Shadows , 1972 .
[94] Marius-Calin Silaghi,et al. Approximation Techniques for Non-linear Problems with Continuum of Solutions , 2002, SARA.
[95] David A. McAllester,et al. Solving Polynomial Systems Using a Branch and Prune Approach , 1997 .