Dissertations / Theses on the topic 'Implementation and Optimization'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Implementation and Optimization.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Bruccoleri, Christian. "Flower constellation optimization and implementation." [College Station, Tex. : Texas A&M University, 2007. http://hdl.handle.net/1969.1/ETD-TAMU-2404.
Full textJerez, Juan Luis. "Custom optimization algorithms for efficient hardware implementation." Thesis, Imperial College London, 2013. http://hdl.handle.net/10044/1/12791.
Full textIrshad, Saba, and Purna Chandra Nepal. "Rise Over Thermal Estimation Algorithm Optimization and Implementation." Thesis, Blekinge Tekniska Högskola, Sektionen för ingenjörsvetenskap, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-4023.
Full textsaabairshad@gmail.com
Karlsson, Victor, and Susanna Olsson. "Implementation of dynamic route optimization - drivers and barriers." Thesis, Linköpings universitet, Kommunikations- och transportsystem, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-150134.
Full textBanjac, Goran. "Operator splitting methods for convex optimization : analysis and implementation." Thesis, University of Oxford, 2018. https://ora.ox.ac.uk/objects/uuid:17ac73af-9fdf-4cf6-a946-3048da3fc9c2.
Full textSafi, Mohammed. "Bridge Life Cycle Cost Optimization : Analysis, Evaluation & Implementation." Thesis, KTH, Civil and Architectural Engineering, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-11908.
Full textIn infrastructure construction projects especially bridge investments, the most critical decisions that significantly affect the whole bridge LCC are the early stages decisions. Clearly, it's more beneficial to correctly choose the optimum bridge than to choose the optimum construction or repair method.
The ability of a bridge to provide service over time demands appropriate maintenance by the agency. Thus the investment decision should consider not only the initial activity that creates a public good, but also all future activities that will be required to keep that investment available to the public.
This research is aiming for bridge sustainability, enhance the bridge related decision making, and facilitate the usage of the bridge related feedbacks. The development of a reliable and usable computer tool for bridge LCC & LCA evaluation is the main target.
Toward the main goal, many steps were fulfilled. A unique integrated Bridge LCC evaluation methodology was developed. Two systematic evaluation ways were developed, one for bridge user cost and one for the bridge aesthetical and cultural value. To put these two systematic ways in practice, two preliminary computer programs were developed for this purpose. Today and future works are focusing on developing methodology and preliminary computer tool for bridge agency cost as well as the bridge LCA evaluation. KTH unique LCC evaluation system will enable the decision makers to correctly choose the optimum bridge in the early stages decision making phases as well as any later on reparation method.
ETSI
Abed, El-Fattah Safi Mohammed. "Bridge Life Cycle Cost Optimization : Analysis, Evaluation, & Implementation." Thesis, KTH, Bro- och stålbyggnad, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-36944.
Full textMüllner, Marie. "Optimization and implementation of gold-nanoparticles for medical imaging." Diss., Ludwig-Maximilians-Universität München, 2015. http://nbn-resolving.de/urn:nbn:de:bvb:19-182484.
Full textGina, Ervin. "Implementation and Optimization of an Inverse Photoemission Spectroscopy Setup." Scholar Commons, 2012. http://scholarcommons.usf.edu/etd/4050.
Full textLee, Bin Hong Alex. "Empty container logistics optimization : an implementation framework and methods." Thesis, Massachusetts Institute of Technology, 2014. http://hdl.handle.net/1721.1/90715.
Full textCataloged from PDF version of thesis.
Includes bibliographical references (pages 68-70).
Empty container logistics is a huge cost component in an ocean carrier's operations. Managing this cost is important to ensure profitability of the business. This thesis proposes a 3-stage framework to handle empty container logistics with cost management as the objective. The first stage studies the forecasting of laden shipment demand, which provides the empty container supply requirement. Based on the supply needs, the problem of optimizing the fleet size was then addressed by using an inventory model to establish the optimal safety stock level. Simulations were used to understand the sensitivity of safety stock to desired service level. The final stage involves using mathematical programming to optimize repositioning costs incurred by carriers to ship empty containers to places which need them due to trade imbalance. At the same time, costs that are incurred due to leasing and storage are considered. A comparison between just-in-time and pre-emptive replenishment was performed and impact due to uncertainties is investigated. The framework is then implemented in a Decision Support System for an actual ocean carrier and is used to assist the empty container logistics team to take the best course of action in daily operations. The results from the optimizations show that there are opportunities for the carrier to reduce its fleet size and cut empty container logistics related costs.
by Bin Hong Alex Lee.
S.M. in Engineering and Management
Hanson, Clyde Russell 1959. "Implementation of Fletcher-Reeves in the GOSPEL optimization package." Thesis, The University of Arizona, 1989. http://hdl.handle.net/10150/277144.
Full textAytekin, Arda. "Asynchronous Algorithms for Large-Scale Optimization : Analysis and Implementation." Licentiate thesis, KTH, Reglerteknik, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-203812.
Full textQC 20170317
Avventi, Enrico. "Spectral Moment Problems : Generalizations, Implementation and Tuning." Doctoral thesis, KTH, Optimeringslära och systemteori, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-39026.
Full textQC 20110906
Jones, Martin Stuart. "An object-oriented framework for the implementation of search techniques." Thesis, University of East Anglia, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.323313.
Full textDaroui, Danesh. "Implementation and optimization of partial element equivalent circuit-based solver /." Luleå, 2010. http://pure.ltu.se/ws/fbspretrieve/4634257.
Full textZhang, Jiaxiang. "Computational models of perceptual decision : neural representation, optimization, and implementation." Thesis, University of Bristol, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.495775.
Full textLeroyer, Pierre S. M. Massachusetts Institute of Technology. "Robust crew pairing : delays analysis and implementation of optimization approaches." Thesis, Massachusetts Institute of Technology, 2005. http://hdl.handle.net/1721.1/36168.
Full textIncludes bibliographical references (p. 91-92).
With increasing delays and airport congestion that disturb airline operations, the development of robust schedules is becoming crucial. Increased traffic and poor weather are a few of the causes of airport congestion, rising delays and lengthening passenger trips. In this thesis, we identify the latest trend in the flight arrival and departure delays, differentiating major U.S. airports from other smaller airports. We also quantify the types of delays airlines should work to mitigate. We then analyze the effects of schedules changes that were implemented by a major U.S. airline at their largest hub. We measure the effects of these schedule changes on on-time performance, taxi time, plane utilization, and passenger connection and total travel time. We also analyze how extensive is the practice of adding buffer time to flight times to improve schedule reliability. Finally, we propose and implement a new model to achieve robust crew schedules, that is, crew schedules that are less likely to be inoperable due to disruptions during operations. We show that with an increase in crew costs of 0.2%, we can decrease the number of times crews must connect between different aircraft by 32%.
by Pierre Leroyer.
S.M.
venkesh, kandari. "Implementation and Performance Optimization of WebRTC Based Remote Collaboration System." Thesis, Blekinge Tekniska Högskola, Institutionen för kommunikationssystem, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-12891.
Full textWang, Shuo. "Development and Implementation of a Network-Level Pavement Optimization Model." University of Toledo / OhioLINK, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=toledo1321624751.
Full textFuller, Samuel Gaylin. "Optimization and Hardware Implementation of SYBA-An Efficient Feature Descriptor." BYU ScholarsArchive, 2019. https://scholarsarchive.byu.edu/etd/7520.
Full textCurti, Nico <1992>. "Implementation and optimization of algorithms in Biomedical Big Data Analytics." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2020. http://amsdottorato.unibo.it/9371/1/PhDThesis.pdf.
Full textKim, Sunwook. "Multigrid Accelerated Cellular Automata for Structural Optimization: A 1-D Implementation." Thesis, Virginia Tech, 2002. http://hdl.handle.net/10919/9971.
Full textMaster of Science
Söderström, Ola. "Testing and Tuning of Optimization Algorithms : On the implementation of Radiotherapy." Thesis, Uppsala universitet, Analys och sannolikhetsteori, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-255478.
Full textMadrigal, Marcelino. "Optimization models and techniques for implementation and pricing of electricity markets." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/NQ60555.pdf.
Full textBhanot, Sunil. "Implementation and optimization of a Global Navigation Satellite System software radio." Ohio : Ohio University, 1998. http://www.ohiolink.edu/etd/view.cgi?ohiou1176840392.
Full textSekerka-Bajbus, Michael A. (Michael Alexander). "The BPM design optimization and implementation of 3-branch waveguide devices /." Thesis, McGill University, 1989. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=59606.
Full textIn particular, a 3-branch passive power divider, a linear mode confinement modulator, and an active 3-branch switch were studied through their design and implementation. The theoretically predicted performance parameters were found to agree well with the measured values.
Wan, Jin Hao M. Eng Massachusetts Institute of Technology. "Geometric modeling and optimization in 3D solar cells : implementation and algorithms." Thesis, Massachusetts Institute of Technology, 2014. http://hdl.handle.net/1721.1/92087.
Full textCataloged from PDF version of thesis.
Includes bibliographical references (page 63).
Conversion of solar energy in three-dimensional (3D) devices has been essentially untapped. In this thesis, I design and implement a C++ program that models and optimizes a 3D solar cell ensemble embedded in a given landscape. The goal is to find the optimum arrangement of these solar cells with respect to the landscape buildings so as to maximize the total energy collected. On the modeling side, in order to calculate the energies generated from both direct and reflected sunlight, I store all the geometric inputs in a binary space partition tree; this data structure in turn efficiently supports a crucial polygon clipping algorithm. On the optimization side, I deploy simulated annealing (SA). Both advantages and limitation of SA lead me to restrict the solar cell docking sites to orthogonal grids imposed on the building surfaces. The resulting program is an elegant trade-off between accuracy and efficiency.
by Jin Hao Wan.
M. Eng.
Xu, Shiyu. "TOMOGRAPHIC IMAGE RECONSTRUCTION: IMPLEMENTATION, OPTIMIZATION AND COMPARISON IN DIGITAL BREAST TOMOSYNTHESIS." OpenSIUC, 2014. https://opensiuc.lib.siu.edu/dissertations/979.
Full textTengberg, Oskar. "Implementation of Hydro Power Plant Optimization for Operation and Production Planning." Thesis, Luleå tekniska universitet, Institutionen för teknikvetenskap och matematik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-74274.
Full textTappenden, Rachael Elizabeth Helen. "Development & Implementation of Algorithms for Fast Image Reconstruction." Thesis, University of Canterbury. Mathematics and Statistics, 2011. http://hdl.handle.net/10092/5998.
Full textRamachandran, Adithya. "HEV fuel optimization using interval back propagation based dynamic programming." Thesis, Georgia Institute of Technology, 2016. http://hdl.handle.net/1853/55054.
Full textKhalid, Adeel S. "Development and Implementation of Rotorcraft Preliminary Design Methodology using Multidisciplinary Design Optimization." Diss., Georgia Institute of Technology, 2006. http://hdl.handle.net/1853/14013.
Full textChen, Min. "Implementation and optimization of a modulated filter bank based on allpass filters." Thesis, University of Ottawa (Canada), 2001. http://hdl.handle.net/10393/9192.
Full textXiong, Xiao. "Power optimization for wireless sensor networks security based on an FPGA implementation." Thesis, University of Salford, 2009. http://usir.salford.ac.uk/26973/.
Full textKordik, Andrew Michael. "Hardware Implementation of Post-Compression Rate-Distortion Optimization for EBCOT in JPEG2000." University of Dayton / OhioLINK, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=dayton1313791202.
Full textKalas, Vinayak Jagannathrao. "Application-oriented optimization of robot elastostatic calibration : implementation on hexapod positioning systems." Thesis, Montpellier, 2020. http://www.theses.fr/2020MONTS018.
Full textHexapods are increasingly being used for high-precision 6-DOF positioning applications such as for positioning mirrors in telescopes and for positioning samples in synchrotrons. These robots are designed and controlled to be very repeatable and accurate. However, structural compliance of these positioning systems limits their positioning accuracy. As accuracy requirements become more stringent in emerging applications, compensating for inaccuracy due to structural compliance becomes necessary.In this regard, firstly, a method for elastostatic calibration of hexapods is presented. This method uses a lumped stiffness parameter model to parametrize the relationship between the platform deflections and the force/moment applied on it. These parameters can be estimated using deflection measurements performed using known forces/moments applied on the platform. The estimated parameters can then be used to predict and correct hexapod’s positioning errors due to compliance.Secondly, a new approach is presented to optimize stiffness identification for robot elastostatic calibration. In this, a framework is proposed to formulate criteria to choose best set of poses and forces for stiffness identification experiment. The parameters identified under experimental conditions (poses and forces) suggested by these criteria ensure minimum impact of errors influencing stiffness identification (uncertainty of deflection measurements and errors in forces applied) on compensation quality. Additionally, it also maximizes accuracy after compensation at desired pose(s), along desired axe(s) of the platform and with desired forces/moments on the platform. This stiffness identification optimization framework ensures best compensation for positioning errors due to compliance as per the positioning requirements of the application at hand.Lastly, a method is presented to eliminate the influence of thermal deflection of a hexapod on the measured 6-DOF pose of its platform. This method is necessary when thermal deflections of the hexapod are large enough to impact results of a study, which was the case with some tests performed to validate methods developed in this thesis.The efficacy of presented methods have been validated by means of simulation studies on a bipod and experimental studies on a high-precision hexapod positioning system
Hasan, Md Mubashwar. "Design, Optimization and Implementation of a High Frequency Link Multilevel Cascaded Inverter." Thesis, Curtin University, 2018. http://hdl.handle.net/20.500.11937/69364.
Full textOlsson, Daniel. "Applications and Implementation of Kernel Principal Component Analysis to Special Data Sets." Thesis, KTH, Optimeringslära och systemteori, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-31130.
Full textKingston, Derek Bastian. "Implementation issues of real-time trajectory generation on small UAVs /." Diss., CLICK HERE for online access, 2004. http://contentdm.lib.byu.edu/ETD/image/etd357.pdf.
Full textDjehiche, Younes, and Erik Bröte. "Implementation of mean-variance and tail optimization based portfolio choice on risky assets." Thesis, KTH, Skolan för teknikvetenskap (SCI), 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-198071.
Full textZhang, Yu. "Implementation of Reliability Centered Asset Management method on Power Systems." Thesis, KTH, Skolan för elektro- och systemteknik (EES), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-201717.
Full textKapitalförvaltning har inom alla områdem blivit allt viktigare, speciellt inomelkraftsteknik. Det beror i huvudsak av två orsaker. Den första är storinvesteringskostnad, vilket inkluderar design, konstruktion, utrustning och underhåll.Den andra är den höga straffavgiften för system operatören vid elavbrott. Dessutom,på grund av den nyligen avreglerade elmarknaden, så fäster elföretagen meruppmärksamhet på investerings och underhållskostnader. En av deras huvudmål är attmaximera underhållsprestandan. Så utmaningen för operatörerna är att levereratillförlitlig elkraft till kunder, samtidigt vara kostnadseffektiva mot leveratörer.Reliability Centered Asset Management (RCAM) är bland de bästa metoderna för attlösa detta problem. En enklare RCAM metod är introducerad först i denna rapport.Modellen inkluderar en underhållsstrategi-definition, underhållskostnad-kalkyl och enIIoptimiserings modell. Grundad på denna enklare modell, andra förbättringar ärtillagda och en ny modell är föreslagen. Förbättringarna inrymmer en nyunderhållsstrategi, ökad felfrekvens och en ny målfunktion. Den nya modellentillhandahåller också en tidsbaserad underhållsplan.
Grünauer, Florian. "Design, optimization, and implementation of the new neutron radiography facility at FRM-II." [S.l.] : [s.n.], 2005. http://deposit.ddb.de/cgi-bin/dokserv?idn=978958950.
Full textBoisard, Olivier. "Optimization and implementation of bio-inspired feature extraction frameworks for visual object recognition." Thesis, Dijon, 2016. http://www.theses.fr/2016DIJOS016/document.
Full textIndustry has growing needs for so-called “intelligent systems”, capable of not only ac-quire data, but also to analyse it and to make decisions accordingly. Such systems areparticularly useful for video-surveillance, in which case alarms must be raised in case ofan intrusion. For cost saving and power consumption reasons, it is better to perform thatprocess as close to the sensor as possible. To address that issue, a promising approach isto use bio-inspired frameworks, which consist in applying computational biology modelsto industrial applications. The work carried out during that thesis consisted in select-ing bio-inspired feature extraction frameworks, and to optimize them with the aim toimplement them on a dedicated hardware platform, for computer vision applications.First, we propose a generic algorithm, which may be used in several use case scenarios,having an acceptable complexity and a low memory print. Then, we proposed opti-mizations for a more global framework, based on precision degradation in computations,hence easing up its implementation on embedded systems. Results suggest that whilethe framework we developed may not be as accurate as the state of the art, it is moregeneric. Furthermore, the optimizations we proposed for the more complex frameworkare fully compatible with other optimizations from the literature, and provide encourag-ing perspective for future developments. Finally, both contributions have a scope thatgoes beyond the sole frameworks that we studied, and may be used in other, more widelyused frameworks as well
Zhu, Di. "Large Scale ETL Design, Optimization and Implementation Based On Spark and AWS Platform." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-215702.
Full textMängden data som genereras internet-produkt-användare ökar lavinartat och exponentiellt. Det finns otaliga exempel på detta; klick-strömmen från hemsidor med miljontals användare, geospatial information från GISbaserade Android och iPhone appar, eller från sensorer på autonoma bilar.Mängden händelser från de här typerna av data kan enkelt uppnå miljardantal dagligen, därför är det föga förvånande att det är möjligt att extrahera insikter från de här data-strömmarna. Till exempel kan man sätta upp automatiserade övervakningssystem eller kalibrera bedrägerimodeller effektivt. Att handskas med data i de här storleksordningarna är dock inte helt problemfritt, det finns flertalet tekniska bekymmer som enkelt kan uppstå. Datan är inte alltid på samma form, den kan vara av olika dimensioner vilket gör det betydligt svårare att designa en effektiv data-pipeline, transformera datan och lagra den persistent i ett data-warehouse. Onekligen finns det traditionella sätt att bygga ETL’s på från mainframe [1], RDBMS, till MapReduce och Hive. Dock har det med upptäckten och ökade populariteten av Spark och AWS blivit mer robust, effektivt, billigare och enklare att implementera system för att samla data, bygga dimensions-enliga modeller och genomföra analys av massiva data-set. Den här uppsatsen bidrar till en ökad förståelse kring hur man bygger och optimerar ETL-pipelines baserade på AWS och Spark och jämför med huvudsakliga nuvarande Data-pipelines med hänsyn till diverse aspekter. Uppsatsen drar nytta av att ha tillgång till ett massivt data-set med miljarder användar-events genererade dagligen från ett bil-transport-bolag i mellanöstern.
Moberg, My. "Liquid Chromatography Coupled to Mass Spectrometry : Implementation of Chemometric Optimization and Selected Applications." Doctoral thesis, Uppsala : Acta Universitatis Upsaliensis, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-7071.
Full textZhang, Yi. "Implementation and optimization of thread-local variables for a race-free Java dialect." Thesis, McGill University, 2012. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=107849.
Full textMalgré la popularité de JAVA, de potentiels accès concurrents aux données peuvent causer des problèmes à l'exécution d'un programme. Les accès concurrents aux données sont considérés comme des erreur par les langages de programmation et compliquent grandement le processus de programmation et d'optimisation. Une version de JAVA sans accès concurrents serait la bienvenue et simplifierait ce processus. Cette thèse n'est qu'une partie d'une recherche plus importante visant à établir une version de JAVA sans accès concurrents. Elle implémente et optimise les accès en thread local et introduit une nouvelle sémantique pour ce langage. Une part importante de l'implémentation d'un langage sans concurrence est de distinguer les données locales de thread des données partagées car ces 2 types de données doivent être traitées différemment. Ceci est complexe en JAVA, car avec la sémantique actuelle, tous les objets sont alloués en un seul tas (heap) et implicitement partagés entre plusieurs threads. De plus, le mécanisme de stockage en thread local de Java est étrange et inefficace. Plusieurs des nouveaux langages concurrents, comme OpenMP, UPC et D, utilisent des "directives de partage" pour distinguer les données partagées des données locales de thread, et ont des structures faisant un usage avancé des données locales de thread. Notre but ici est d'appliquer certaines idées de ces langages dans un contexte JAVA dans le but de fournir un modéle de programmation plus simple et plus fiable. Cependant, apporter ces fonctionnalités sous forme d'extension a JAVA peut en affecter les performance du fait de la structure de la classe ThreadLocal de JAVA. Nous implémentons donc un mécanisme qui garantit efficacement que seul le processus propriétaire accède aux classes et variables d'instances. Aussi bien les classes que les variables d'instances héritent des valeurs du processus parent par copie, ce qui permet aux objets de processus enfants d'avoir des copies locales si précisé dans la syntaxe. En particulier, l'accès à des variables de classe utilise un accès direct aux variables du processus local via un tas local, ce qui est plus rapide et facile que le mécanisme par défaut de mappage défini pour les objet ThreadLocal. Notre conception améliore le performance de faon significative comparé à la méthode d'accès au processus local traditionnelle pour les variables de classe et fournit une syntaxe simplifiée et plus attrayante. Nous évaluons ensuite notre approche en modifiant des outils de test (benchmarks) complexes existants pour faire un meilleur usage de leurs fonctionnalités en processus local, ceci illustrant la faisabilité et nous permettant de mesurer les performances dans un contexte réaliste. Ce travail a pour but de nous rapprocher de la conception d'une version JAVA sans concurrence aussi bien que de montrer comment un support amélioré des données en thread local pourrait être implémenté dans d'autres langages.
Blanchard, Roxann Russell. "Recovered energy logic--device optimization for circuit implementation in silicon and heterostructure technologies." Thesis, Massachusetts Institute of Technology, 1994. http://hdl.handle.net/1721.1/34066.
Full textIncludes bibliographical references (p. 91-93).
by Roxann Russell Blanchard.
M.S.
Roozbehani, Mardavij. "Optimization of Lyapunov invariants in analysis and implementation of safety-critical software systems." Thesis, Massachusetts Institute of Technology, 2008. http://hdl.handle.net/1721.1/46515.
Full textIncludes bibliographical references (leaves 168-176).
This dissertation contributes to two major research areas in safety-critical software systems, namely, software analysis, and software implementation. In reference to the software analysis problem, the main contribution of the dissertation is the development of a novel framework, based on Lyapunov invariants and convex optimization, for verification of various safety and performance specifications for software systems. The enabling elements of the framework for software analysis are: (i) dynamical system interpretation and modeling of computer programs, (ii) Lyapunov invariants as behavior certificates for computer programs, and (iii) a computational procedure for finding the Lyapunov invariants. (i) The view in this dissertation is that software defines a rule for iterative modification of the operating memory at discrete instances of time. Hence, it can be modeled as a discrete-time dynamical system with the program variables as the state variables, and the operating memory as the state space. Three specific modeling languages are introduced which can represent a broad range of computer programs of interest to the control community. These are: Mixed Integer-Linear Models, Graph Models, and Linear Models with Conditional Switching. (ii) Inspired by the concept of Lyapunov functions in stability analysis of nonlinear dynamical systems, Lyapunov invariants are introduced and proposed for analysis of behavioral properties, and verification of various safety and performance specifications for computer programs. In the same spirit as standard Lyapunov functions, a Lyapunov invariant is an appropriately defined function of the state which satisfies a difference inequality along the trajectories. It is shown that variations of Lyapunov invariants satisfying certain technical conditions can be formulated for verification of several common specifications.
(cont.) These include but are not limited to: absence of overflow, absence of division-by-zero, termination in finite time, and certain user-specified program assertions. (iii) A computational procedure based on convex relaxation techniques and numerical optimization is proposed for finding the Lyapunov invariants that prove the specifications. The framework is complemented by the introduction of a notion of optimality for the graph models. This notion can be used for constructing efficient graph models that improve the analysis in a systematic way. It is observed that the application of the framework to (graph models of) programs that are semantically identical but syntactically different does not produce identical results. This suggests that the success or failure of the method is contingent on the choice of the graph model. Based on this observation, the concepts of graph reduction, irreducible graphs, and minimal and maximal realizations of graph models are introduced. Several new theorems that compare the performance of the original graph model of a computer program and its reduced offsprings are presented. In reference to the software implementation problem for safety-critical systems, the main contribution of the dissertation is the introduction of an algorithm, based on optimization of quadratic Lyapunov functions and semidefinite programming, for computing optimal state space implementations for digital filters. The particular implementation that is considered is a finite word-length implementation on a fixed-point processor with quantization before or after multiplication. The objective is to minimize the effects of finite word-length constraints on performance deviation while respecting the overflow limits. The problem is first formulated as a special case of controller synthesis where the controller has a specific structure, which is known to be a hard non-convex problem in general.
(cont.) It is then shown that this special case can be convexified exactly and the optimal implementation can be computed by solving a semidefinite optimization problem. It is observed that the optimal state space implementation of a digital filter on a machine with finite memory, does not necessarily define the same transfer function as that of an ideal implementation.
by Mardavij Roozbehani.
Ph.D.
Tatjana, Jakšić Krüger. "Development, implementation and theoretical analysis of the bee colony optimization meta-heuristic method." Phd thesis, Univerzitet u Novom Sadu, Fakultet tehničkih nauka u Novom Sadu, 2017. https://www.cris.uns.ac.rs/record.jsf?recordId=104550&source=NDLTD&language=en.
Full textДокторска дисертације се бави испитивањем метахеуристичке методеоптимизације колонијом пчела. Извршена је теоријска анализаасимптотске конвергенције методе посматрањем конвергенције низаслучајних променљивих. Установљени су довољни и потребни условиза које метода конвергира ка оптималном решењу. Предложене су тристратегије паралелизације и пет одговарајућих имплементација конст-руктивне варијанте методе за рачунаре са дистрибуираном меморијом.Извршено је експериментално испитивање утицаја параметара методена њене перформансе за два различита комбинаторна проблема:проблем распоређивања и проблем задовољивости.
Doktorska disertacije se bavi ispitivanjem metaheurističke metodeoptimizacije kolonijom pčela. Izvršena je teorijska analizaasimptotske konvergencije metode posmatranjem konvergencije nizaslučajnih promenljivih. Ustanovljeni su dovoljni i potrebni usloviza koje metoda konvergira ka optimalnom rešenju. Predložene su tristrategije paralelizacije i pet odgovarajućih implementacija konst-ruktivne varijante metode za računare sa distribuiranom memorijom.Izvršeno je eksperimentalno ispitivanje uticaja parametara metodena njene performanse za dva različita kombinatorna problema:problem raspoređivanja i problem zadovoljivosti.
Kanaglekar, Rohit. "Development and Implementation of Discontinuous Galerkin (DG) Finite Element Methods for Topology Optimization." University of Cincinnati / OhioLINK, 2005. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1115995821.
Full text