Improving the Computational Efficiency in Symmetrical Numeric Constraint Satisfaction Problems

Models are used in science and engineering for experimentation, analysis, diagnosis or design. In some cases, they can be considered as numeric constraint satisfaction problems (NCSP). Many models are symmetrical NCSP. The consideration of symmetries ensures that NCSP-solver will find solutions if they exist on a smaller search space. Our work proposes a strategy to perform it. We transform the symmetrical NCSP into a newNCSP by means of addition of symmetry-breaking constraints before the search begins. The specification of a library of possible symmetries for numeric constraints allows an easy choice of these new constraints. The summarized results of the studied cases show the suitability of the symmetry-breaking constraints to improve the solving process of certain types of symmetrical NCSP. Their possible speedup facilitates the application of modelling and solving larger and more realistic problems.Ministerio de Ciencia y Tecnología DIP2003-0666-02-

Performance Assessment Strategies

Using engineering performance evaluations to explore design alternatives during the conceptual phase of architectural design helps to understand the relationships between form and performance; and is crucial for developing well-performing final designs. Computer aided conceptual design has the potential to aid the design team in discovering and highlighting these relationships; especially by means of procedural and parametric geometry to support the generation of geometric design, and building performance simulation tools to support performance assessments. However, current tools and methods for computer aided conceptual design in architecture do not explicitly reveal nor allow for backtracking the relationships between performance and geometry of the design. They currently support post-engineering, rather than the early design decisions and the design exploration process. Focusing on large roofs, this research aims at developing a computational design approach to support designers in performance driven explorations. The approach is meant to facilitate the multidisciplinary integration and the learning process of the designer; and not to constrain the process in precompiled procedures or in hard engineering formulations, nor to automatize it by delegating the design creativity to computational procedures. PAS (Performance Assessment Strategies) as a method is the main output of the research. It consists of a framework including guidelines and an extensible library of procedures for parametric modelling. It is structured on three parts. Pre-PAS provides guidelines for a design strategy-definition, toward the parameterization process. Model-PAS provides guidelines, procedures and scripts for building the parametric models. Explore-PAS supports the solutions-assessment based on numeric evaluations and performance simulations, until the identification of a suitable design solution. PAS has been developed based on action research. Several case studies have focused on each step of PAS and on their interrelationships. The relations between the knowledge available in pre-PAS and the challenges of the solution space exploration in explore-PAS have been highlighted. In order to facilitate the explore-PAS phase in case of large solution spaces, the support of genetic algorithms has been investigated and the exiting method ParaGen has been further implemented. Final case studies have focused on the potentials of ParaGen to identify well performing solutions; to extract knowledge during explore-PAS; and to allow interventions of the designer as an alternative to generations driven solely by coded criteria. Both the use of PAS and its recommended future developments are addressed in the thesis

Performance Assessment Strategies:

Using engineering performance evaluations to explore design alternatives during the conceptual phase of architectural design helps to understand the relationships between form and performance; and is crucial for developing well-performing final designs. Computer aided conceptual design has the potential to aid the design team in discovering and highlighting these relationships; especially by means of procedural and parametric geometry to support the generation of geometric design, and building performance simulation tools to support performance assessments. However, current tools and methods for computer aided conceptual design in architecture do not explicitly reveal nor allow for backtracking the relationships between performance and geometry of the design. They currently support post-engineering, rather than the early design decisions and the design exploration process. Focusing on large roofs, this research aims at developing a computational design approach to support designers in performance driven explorations. The approach is meant to facilitate the multidisciplinary integration and the learning process of the designer; and not to constrain the process in precompiled procedures or in hard engineering formulations, nor to automatize it by delegating the design creativity to computational procedures. PAS (Performance Assessment Strategies) as a method is the main output of the research. It consists of a framework including guidelines and an extensible library of procedures for parametric modelling. It is structured on three parts. Pre-PAS provides guidelines for a design strategy-definition, toward the parameterization process. Model-PAS provides guidelines, procedures and scripts for building the parametric models. Explore-PAS supports the solutions-assessment based on numeric evaluations and performance simulations, until the identification of a suitable design solution. PAS has been developed based on action research. Several case studies have focused on each step of PAS and on their interrelationships. The relations between the knowledge available in pre-PAS and the challenges of the solution space exploration in explore-PAS have been highlighted. In order to facilitate the explore-PAS phase in case of large solution spaces, the support of genetic algorithms has been investigated and the exiting method ParaGen has been further implemented. Final case studies have focused on the potentials of ParaGen to identify well performing solutions; to extract knowledge during explore-PAS; and to allow interventions of the designer as an alternative to generations driven solely by coded criteria. Both the use of PAS and its recommended future developments are addressed in the thesis

Performance Assessment Strategies:

Using engineering performance evaluations to explore design alternatives during the conceptual phase of architectural design helps to understand the relationships between form and performance; and is crucial for developing well-performing final designs. Computer aided conceptual design has the potential to aid the design team in discovering and highlighting these relationships; especially by means of procedural and parametric geometry to support the generation of geometric design, and building performance simulation tools to support performance assessments. However, current tools and methods for computer aided conceptual design in architecture do not explicitly reveal nor allow for backtracking the relationships between performance and geometry of the design. They currently support post-engineering, rather than the early design decisions and the design exploration process. Focusing on large roofs, this research aims at developing a computational design approach to support designers in performance driven explorations. The approach is meant to facilitate the multidisciplinary integration and the learning process of the designer; and not to constrain the process in precompiled procedures or in hard engineering formulations, nor to automatize it by delegating the design creativity to computational procedures. PAS (Performance Assessment Strategies) as a method is the main output of the research. It consists of a framework including guidelines and an extensible library of procedures for parametric modelling. It is structured on three parts. Pre-PAS provides guidelines for a design strategy-definition, toward the parameterization process. Model-PAS provides guidelines, procedures and scripts for building the parametric models. Explore-PAS supports the solutions-assessment based on numeric evaluations and performance simulations, until the identification of a suitable design solution. PAS has been developed based on action research. Several case studies have focused on each step of PAS and on their interrelationships. The relations between the knowledge available in pre-PAS and the challenges of the solution space exploration in explore-PAS have been highlighted. In order to facilitate the explore-PAS phase in case of large solution spaces, the support of genetic algorithms has been investigated and the exiting method ParaGen has been further implemented. Final case studies have focused on the potentials of ParaGen to identify well performing solutions; to extract knowledge during explore-PAS; and to allow interventions of the designer as an alternative to generations driven solely by coded criteria. Both the use of PAS and its recommended future developments are addressed in the thesis

Towards an Intelligent Learning Environment for Melody Composition Through Formalisation of Narmour's <i>Implication-Realisation Model</i>

This thesis describes research with the ultimate goal o f finding ways to use artificial intelligence (AI) to encourage and facilitate melody composition by musical novices. The work described in this thesis forms the groundwork for the development of intelligent learning environments for novice composers in this domain. There were two stages to the research. The first stage was the formalisation and testing of an existing analytical theory o f melody. This theory offers an explanation of how musical listeners break-up a melody into "chunks", and hear some notes as more important than others. The theory enables analysis of melodies in a hierarchical fashion. The formalisation process involved the implementation of a parser to create hierarchical analyses, and comparison of published analyses based on the theory with those created by the parser from the same melodies. From these results a critical evaluation of the analytical theory, and the parser, is presented. The second stage o f the research involved extending the parser with constraint-based generation techniques. One result is an AI tool (called MOTIVE), which can generate melodies given an analysis (from the parser, or constructed by the user) and a set of constraints to be applied at each hierarchical level. The features of the tool are presented, and a general architecture for an intelligent learning environment is proposed, within which MOTIVE would reside, which shows how the formalised analytical theory from the first part of the work could be used educationally by novice composers of melody

Constraint reasoning for differential models

The basic motivation of this work was the integration of biophysical models within the interval constraints framework for decision support. Comparing the major features of biophysical models with the expressive power of the existing interval constraints framework, it was clear that the most important inadequacy was related with the representation of differential equations. System dynamics is often modelled through differential equations but there was no way of expressing a differential equation as a constraint and integrate it within the constraints framework. Consequently, the goal of this work is focussed on the integration of ordinary differential equations within the interval constraints framework, which for this purpose is extended with the new formalism of Constraint Satisfaction Differential Problems. Such framework allows the specification of ordinary differential equations, together with related information, by means of constraints, and provides efficient propagation techniques for pruning the domains of their variables. This enabled the integration of all such information in a single constraint whose variables may subsequently be used in other constraints of the model. The specific method used for pruning its variable domains can then be combined with the pruning methods associated with the other constraints in an overall propagation algorithm for reducing the bounds of all model variables. The application of the constraint propagation algorithm for pruning the variable domains, that is, the enforcement of local-consistency, turned out to be insufficient to support decision in practical problems that include differential equations. The domain pruning achieved is not, in general, sufficient to allow safe decisions and the main reason derives from the non-linearity of the differential equations. Consequently, a complementary goal of this work proposes a new strong consistency criterion, Global Hull-consistency, particularly suited to decision support with differential models, by presenting an adequate trade-of between domain pruning and computational effort. Several alternative algorithms are proposed for enforcing Global Hull-consistency and, due to their complexity, an effort was made to provide implementations able to supply any-time pruning results. Since the consistency criterion is dependent on the existence of canonical solutions, it is proposed a local search approach that can be integrated with constraint propagation in continuous domains and, in particular, with the enforcing algorithms for anticipating the finding of canonical solutions. The last goal of this work is the validation of the approach as an important contribution for the integration of biophysical models within decision support. Consequently, a prototype application that integrated all the proposed extensions to the interval constraints framework is developed and used for solving problems in different biophysical domains

The evaluation of computer performance by means of state-dependent queueing network models

Imperial Users onl

Modelling chassis flexibility in vehicle dynamics simulation

This thesis deals with the development of advanced mathematical models for the assessment of the influence of chassis flexibility on vehicle handling qualities. A review of the literature relevant to the subject is presented and discussed in the first part of the thesis. A preliminary model that includes chassis flexibility is then developed and employed for a first assessment of the significance of chassis flexibility. In the second part of the thesis a symbolic multibody library for vehicle dynamics simulations is introduced. This library constitutes the basis for the development of an advanced 14-degrees-of-freedom vehicle model that includes chassis flexibility. The model is then demonstrated using a set of data relative to a real vehicle. Finally, simulation results are discussed and conclusions are presented. The advanced model fully exploits a novel multibody formulation which represent the kinematics and the dynamics of the system with a level of accuracy which is typical of numeric multibody models while retaining the benefits of purpose-developed hand- derived models. More specifically, a semi-recursive formulation, a velocity projection technique and a symbolic development are, for the first time, coupled with flexible body modelling. The effect of chassis flexibility on vehicle handling is observed through the analysis of open- and closed-loop manoeuvres. Results show that chassis flexibility induces variations of lateral load transfer distribution and suspension kinematics that sensibly affect the steady-state behaviour of the vehicle. Further effects on dynamic response and high-speed stability are demonstrated. Also, optimal control theory is employed to demonstrate the existence of a strict correlation between chassis flexibility and driver behaviour. The research yields new insights into the dynamics of vehicles with a flexible chassis and highlights critical aspects of chassis design. Although the focus is on sports and race cars, both the modelling approach and the results can be extended to other vehicles.EThOS - Electronic Theses Online ServiceGBUnited Kingdo