The high cost of fabricating VLSI circuits requires that they be validated, that is, shown to function correctly, before manufacture. The cost of design errors can be kept to a minimum if such validation occurs as early as possible; this is achieved by integrating validation into a hierarchical design procedure. In this thesis, a hierarchical approach to design, in which validation is performed between each pair of adjacent levels in the hierarchy, is developed. In order to adopt such an approach, a language is required for the formal description of hardware behaviour and structure. Therefore an important aspect of the development of the methodology, and a major theme of the thesis, is the development of languages to support the methodology. An enhanced version of CIRCAL, which enables large and abstract devices to be described concisely and supports formal reasoning about the behaviour of constructed systems, is presented. Specifications should accurately model the behaviour of real hardware and should be useful for design and validation; they should also be easy to write. In order to realise these goals, a number of specification techniques have been developed and a new language which enforces some of these techniques, thereby easing the specification task, is proposed. Ways in which a language may assist design have been investigated. Language constructs which restrict a designer, thereby removing some design decisions, have been developed. A simple correctness-preserving transformation is presented, illustrating another way in which a designer may be assisted by a formal language. Specification techniques play an important part in the validation task, as accurate and consistent modelling is vital in establishing the correctness of implementations. Techniques have also been developed which enable detailed implementations to be usefully compared with more abstract specifications. This is demonstrated in a large example, the specification, design and formal verification of a simple microprocessor. Finally, the concept of contextual constraints, restrictions on the environment in which a device may be placed, is introduced. A method of specifying such constraints has been developed, and it is shown that their formal treatment can provide assistance in specification, design and verification.

Design theories and methodologies are guidelines to develop design solutions. Among many, the Axiomatic design theory (ADT) and Systematic design procedures (SDP) are two well-known approaches to design. For practical applications, the choice of the design methodology is difficult as there is no study to compare them. To close in such gap in literature, this thesis presents a study on comparison of these two design approaches. To facilitate the comparison, design of a solid state fermenter was taken as a vehicle. The fermenter chosen for this study is was used for detoxification of phorbol esters from Jatropha curcas. Jatopha curcas is a woody plant and is one of the major sources for the production of bio-diesel as it is readily available and has unique composition. Processing Jatopha curcas for biodiesel also yields protein rich Jatopha curcas seed cake. This can be used as animal feedstock, cattle fodder or live feed stock. It is however known that phorbol esters present in the seed cake hinder the utilization of the seed cake as live feed stock. Solid state fermentation by fungi is an effective process to denature phorbol esters, which has been demonstrated at the laboratory scale. Development of an industrial scale solid state fermenter (SSF) is necessary. This study applies SDP and ADT the same deign problem of SSF and compared based on the result of the design. It is noted that in ADT, the evaluation of design alternatives neither considers the cost of the system under design nor the delivery time of the system, but SDP does. To make the comparison on the same ground, an extension of ADT enabling it to consider the cost and delivery time (or time) was developed. Several conclusions can be drawn from this study and they are: (1) ADT and SDP are complementary to each other and the one that integrates both is more effective to design; (2) The essence of Axiom 2 of ADT is to evaluate design alternatives with all factors that lead to difficulty to realize the design, but unfortunately the information content in the current ADT literature only considers the functional or quality aspect; (3) Previous reports suggest the presence of zigzag process only in ADT, However in this study it is evident that SDP exercises the zigzag process as well; (4) the proposed formulation of information content by taking into consideration of the quality, cost, time aspects is more effective in design practice as quite often the cost and time are very important aspects to the customer. The contribution of this thesis study is of two-fold. First, the SSF designed in this study is a pilot one in the field of the biochemical process and it has potential to be implemented. Second, this study concludes several unique findings of ADT and SDP with their relationship, which have further resulted in an integrated ADT and SDP design approach and a more complete formulation of information content capable of evaluating design alternatives from all aspects rather than the functional aspect only.

No description available.

The aging infrastructure worldwide and the typical increase in service loads relative to original design loads make it essential to develop effective techniques for strengthening and rehabilitating existing structures, to enhance their resistance. An effective method for strengthening existing steel I-beams is to weld either one or two cover plates to the flange(s). In many cases, it is not feasible to completely unload the beam before carrying out the strengthening procedure. In these conditions, operators resort to strengthen beams while under loading. In such scenarios, it becomes a challenging task to assess the lateral torsional buckling (LTB) capacity of the member under present steel design standards (e.g., CAN/CSA-S16 2019 and ANSI/AISC360 2022) which do not consider the effect of pre-strengthening loads on LTB resistance. Within this context, the present study investigates the effects of pre-strengthening loads on the critical moment capacity by developing a series of solutions, ranging from elaborate and accurate to simplified but approximate, to predict the elastic LTB capacity of beams strengthened with cover plate(s) while under load. In this respect, the study contributes to the existing body of knowledge through four aspects: In the first contribution, a shell-based finite element (FE) study is developed to analyze the effect of various geometric and loading parameters on the LTB capacity of doubly symmetric beams strengthened symmetrically with two cover plates. The study carefully simulates the entire history, including the application of pre-existing loads, clamping forces to align the initially straight steel cover plates with the bent beam configuration, the rebound effect arising after clamping force removal, the contact at the interfaces between cover plates and flanges induced by welding, and the application of post-strengthening loads up to the point of elastic LTB initiation for the strengthened system, as determined by eigenvalue analysis. A simplified design equation is then proposed to quantify the post-strengthening critical moment capacity. The validity of the equation is assessed against FE results and its merits and limitations are discussed. The study shows that web distortional effects play a crucial role in reducing the elastic critical moment capacity. Practical recommendations are provided to mitigate such distortional effects and hence maximize the elastic critical moment capacity of the strengthened beams. The second contribution formulates a variational principle for the LTB analysis of doubly symmetric beams strengthened symmetrically with identical steel cover plates. The formulation considers the full sequence of loading and strengthening and captures the effects of pre-strengthening loads and the beneficial effects of pre-buckling deformation (PBD). The study examines the effect of geometry, partial strengthening schemes, presence of different pre- and post-strengthening load patterns, and load height effects. The variational principle is subsequently used to develop a FE formulation, culminating in a quadratic eigenvalue problem. The validity of the FE formulation is assessed through comparisons with other numerical techniques predictions as well as experimental results by others, and subsequently used to conduct a parametric study to characterize the gain in elastic critical moment capacity attained by cover plate strengthening. For beams partly strengthened with cover plates along their spans, the study identifies the optimum locations for cover plates that maximize the critical moments. The third contribution builds upon the variational principle developed by formulating a simple and approximate energy-based design-oriented solution to quantify the LTB resistance of simply supported I-beams strengthened with cover plates. The solution captures the detrimental effect of loads acting on the beam before strengthening and the beneficial effects resulting from PBD, pre- and post-strengthening load heights, as well as moment gradient effects. The potential use of the equations developed in practical applications involving beam strengthening is illustrated through design examples. The fourth contribution expands the variational formulation to include beams with monosymmetric cross-sections and/or symmetric beams with unsymmetric cover plate geometries. The modified variational principle is used to develop a thin-walled beam FE formulation, which is subsequently employed to predict the non-distortional LTB capacity of monosymmetric strengthened beams. Comparative analyses with shell models confirm the validity of the proposed solutions, and practical design recommendations for suppressing web distortion are provided. The effects of various design parameters on the total elastic critical moment capacity are evaluated in a systematic parametric study. The study identifies the loading conditions under which the magnitude of pre-strengthening loads significantly influences the predicted total critical moments. The solutions developed in the present study equip structural designers and analysts with novel techniques that reliably quantify the LTB strength of steel beams strengthened with cover plates, thus enabling them to optimize strengthening strategies for beams whose strengths are governed by LTB modes of failure.

This thesis is devoted toMultiobjective Optimization Design (MOOD) procedures for controller tuning applications, by means of EvolutionaryMultiobjective Optimization (EMO).With such purpose, developments on tools, procedures and guidelines to facilitate this process have been realized. This thesis is divided in four parts. The first part, namely Fundamentals, is devoted on the one hand, to cover the theorical background required for this Thesis; on the other hand, it provides a state of the art review on current applications of MOOD for controller tuning. The second part, Preliminary contributions on controller tuning, states early contributions using the MOOD procedure for controller tuning, identifying gaps on methodologies and tools used in this procedure. The contribution within this part is to identify the gaps between the three fundamental steps of theMOOD procedure: problemdefinition, search and decisionmaking. These gaps are the basis for the developments presented in parts III and IV. The third part, Contributions on MOOD tools, is devoted to improve the tools used in Part II. Although applications on the scope of this thesis are related to controller tuning, such improvements can also be used in other engineering fields. The first contribution regards the decision making process, where tools and guidelines for design concepts comparison in m-dimensional Pareto fronts are stated. The second contribution focuses on amending the gap between search process and decisionmaking. With this in mind, a mechanism for preference inclusion within the evolutionary process is developed. With this it is possible to calculate pertinent approximations of the Pareto front; furthermore, it allows to deal efficiently with many-objective and constrained optimization instances. Finally, in the fourth part, Final contributions on controller tuning, a stochastic sampling procedure for proportional-integral-derivative (PID) controllers is proposed, to guarantee that (1) any sampled controller will stabilize the closed loop and (2) any stabilizing controller could be sampled. Afterwards, two control engineering benchmarks are solved using this sampling strategy, the MOOD guidelines highlighted trough this Thesis for multivariable controller tuning and the tools developed in Part III. / Reynoso Meza, G. (2014). Controller Tuning by Means of Evolutionary Multiobjective Optimization: a Holistic Multiobjective Optimization Design Procedure [Tesis doctoral]. Editorial Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/38248