Thesis (M.S.)--University of Wisconsin--Madison, 1967. / eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references.

Thesis (Ph. D.)--University of Wisconsin--Madison, 1965. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references.

Thesis (Ph. D.)--University of Hong Kong, 2001. / Includes bibliographical references (leaves 140-150).

Thesis (M.S.)--California Polytechnic State University, 2009. / Mode of access: Internet. Title from PDF title page; viewed on June 4, 2009. Major professor: John A. Saghri. "Presented to the faculty of California Polytechnic State University, San Luis Obispo." "In partial fulfillment of the requirements for the degree [of] Master of Science in Electrical Engineering." "May 2009." Includes bibliographical references (p. 47). Also available on microfiche.

Thesis (Ph. D.)--Carleton University, 1995. / Also available in electronic format on the Internet.

This thesis is aimed at the optimum design of uncertain mechanical components and systems involving multiple objectives and constraints. There are various mechanical and design problems that are encountered every now and then which require the output that equalize several conflicting objectives. In recent years several methods have been developed to find a solution to multiobjective problems. The most efficient method for obtaining a compromise solution is the game theory method, which is based on the Pareto minimum or optimum solution. A thorough methodology is developed, and subsequently applied to three examples problems. The first problem is to design four helical springs which are further used to support a milling machine. The objective is to minimize the weight of the spring, also to minimize the deflection, and to maximize the natural frequency thus making the problem as a multiobjective problem. Further the subjected constraint is the shear stress constraint. After finding the optimized solution of the deterministic problem, the problem is again solved using Stochastic Nonlinear Programming, and after that it is solved using Interval Analysis. Game theory is used individually in all the three cases. The second problem is to design a gear box where the objectives are defined as the weight of the gear box, stress developed in the shaft 1, and the stress developed in shaft 2. It is subjected to nine constraints which are bending stress in teeth, contact stress of teeth, transverse displacement of shafts 1 and 2, and constraints related to the torque. The third problem is to design a power screw and the objective is to minimize the volume of the screw, and to maximize the critical buckling load and thus making it a multiobjective problem. It is subjected to constraints of being screw to be self locking, then the shear stress in screw thread, and the bearing stress in threads. The results of all the three problems that are achieved using Deterministic, Stochastic Nonlinear Programming, and Interval Analysis Method are tabulated, and the value of each objective achieved using these three methods for each problem at a time are compared to find out the most optimized solution.

Thesis (Ph.D.)--University of Wyoming, 2007. / Title from PDF title page (viewed on June 17, 2009). Includes bibliographical references (p. 91-97).

Distributed computer systems are becoming increasingly prevalent, thanks to modern technology, and this leads to significant challenges for the software developers of these systems. In particular, in order to provide a certain service level agreement with users, the performance characteristics of the system are critical. However, developers today typically consider performance only in the later stages of development, when it may be too late to make major changes to the design. In this thesis, we propose a performance driven approach to development — based around tool support that allows developers to use performance modelling techniques, while still working at the level of program code. There are two central themes to the thesis. The first is to automatically relate performance models to program code. We define the Simple Imperative Remote Invocation Language (SIRIL), and provide a probabilistic semantics that interprets a program as a Markov chain. To make such an interpretation both computable and efficient, we develop an abstract interpretation of the semantics, from which we can derive a Performance Evaluation Process Algebra (PEPA) model of the system. This is based around abstracting the domain of variables to truncated multivariate normal measures. The second theme of the thesis is to analyse large performance models by means of compositional abstraction. We use two abstraction techniques based on aggregation of states — abstract Markov chains, and stochastic bounds — and apply both of them compositionally to PEPA models. This allows us to model check properties in the three-valued Continuous Stochastic Logic (CSL), on abstracted models. We have implemented an extension to the Eclipse plug-in for PEPA, which provides a graphical interface for specifying which states in the model to aggregate, and for performing the model checking.

Thesis (Ph. D.)--University of Hong Kong, 1994. / Includes bibliographical references (leaves 258-274).

The thesis examines technical efficiency using frontier efficiency estimation techniques from parametric and non-parametric approaches. Five different frontier efficiency estimation techniques are considered which are SFA, DFA, DEA-CCR, DEA-BCC and DEA-RAM. These techniques are then used on an artificially generated panel dataset using a two-input two-output production function framework based on characteristics of German life-insurers. The key contribution of the thesis is firstly, a study that uses simulated panel dataset to estimate frontier efficiency techniques and secondly, a research framework that compares multiple frontier efficiency techniques across parametric and non-parametric approaches in the context of simulated panel data. The findings suggest that, as opposed to previous studies, parametric and non-parametric approaches can both generate comparable technical efficiency scores with simulated data. Moreover, techniques from parametric approaches, i.e. SFA and DFA are consistent with each other whereas the same applies to non-parametric approaches, i.e. DEA models. The research study also discusses some important theoretical and methodological implication of the findings and suggests some ways whereby future research can enable to overcome some of the restrictions associated with current approaches.