The purpose of this thesis is implementation of RGB LED driver using circuit ON Semiconductor NCV7430. The main objective was to design a circuit solution for temperature compensation of the driver. The thesis aims to describe the driver and its functions and to eliminate thermal effects caused by heating the circuit by surroundings. It discusses the circuit thermal stabilization in the temperature range of -40 to 80 °C to the RGB diode lights to a constant color. The thesis presents various possibilities of the stabilization and method of evaluating the obtained parameters of applications. Next, the thesis solves the design of equipment for implementation of light effects. The equipment presents options and features of the RGB driver.

First part is an introduction into this thema, followed with second part, which clarifies (describes) the whole process from receiving the demand through part development till serial production approval. Third part describes the claim procedure, including all methods, used for solving the problems and followed with short analyse of production centres activities and sorting the claims by causer. All claims are given factors, which may cause claim occurence. Every factor is given by specific importance (weight) and the achieved data are evaluated. In final part I suggest the corrective actions.

This diploma thesis deals with the generation of the different drope stampings in industrial process in MBNS Kovárna Company. The main purpose of this thesis is analysis of the industrial process and finding the main factors influences on the process. It especially deals with forgings of the shafts and also flanges with the similar quality of material 42CrMo4. Reasons of the disagreements are focused on surface insensibilities of the forging - crack. First theoretic part introduces company, meaning of the quality of material and describes tools used for finding reasons of the generation of disagreements. In the second practical part is described the whole industrial process and determination of the reasons of disagreements. In concluding part the results are analyzed and some correctional recommendations are suggested.

Diploma thesis deals with the contemporary object-relational mapping (ORM) technologies for Java. It briefly describes also competing technologies for persisting objects in files, object and object-relational databases. However main part of the thesis is the persistence of objects in relational databases using ORM frameworks. The work begins with studying general methods and issues, that these frameworks have to solve. Next, it chooses and deeply describes some ORM frameworks. They are later demonstrated on the demo application. In the following part there is a description of the problems I have been facing during the implementation of the persistence using these frameworks. Finally, there is an evaluation and a comparison of these frameworks.

Les diagrammes de décision Multi-valués (MDD) sont des structures de données efficaces et largement utilisées dans les domaines tels que la vérification, l’optimisation et la programmation dynamique. Dans cette thèse, nous commençons par améliorer les principaux algorithmes tels que la réduction de MDD, permettant aux MDD de potentiellement compresser exponentiellement des ensembles de tuples, ou la combinaison de MDD, tels que l’intersection ou l’union. Ensuite, nous proposons des versions parallèles de ces algorithmes ainsi que des versions permettant de travailler avec la version non déterministe des MDD. De plus, dans le domaine des MDD relâchés, un domaine de plus en plus étudié, nous définissons les notions de réduction et combinaison relâchés, ainsi que leurs algorithmes associés. Nous résolvons le problème de l’échantillonnage des solutions d’un MDD avec respect de loi de probabilité tels que des fonctions de probabilité de masse ou des chaines de Markov. Pour permettre d’utiliser les MDD dans les solveurs de programmation par contraintes, nous proposons de nouveaux propagateurs pour toutes les contraintes basées sur des MDD, améliorant les performances des algorithmes existants, puis nous en introduisons une nouvelle contrainte, la contrainte de channeling. Grâce à eux, nous montrons que nous pouvons reformuler plusieurs contraintes et en définir de nouvelles tout en étant basés sur des MDD. Finalement nous appliquons nos algorithmes à des problèmes industriels réels de génération de texte et musique, et de modélisation de réservoir de pétrole. / Multivalued Decision Diagrams (MDDs) are efficient data structures widely used in several fields like verification, optimization and dynamic programming. In this thesis, we first focus on improving the main algorithms such as the reduction, allowing MDDs to potentially exponentially compress set of tuples, or the combination of MDDs such as the intersection of the union. We go further by designing parallel algorithms, and algorithms handling non-deterministic MDDs. We then investigate relaxed MDDs, that are more and more used in optimization, and define the notions of relaxed reduction or operation and design efficient algorithms for them. The sampling of solutions stored in a MDD is solved with respect to probability mass functions or Markov chains. In order to combine MDDs with constraint Programming, we design the propagators of all the types of MMDD constraints in solvers, and introduce a new one, the channeling constraint. These new propagators outperform the existing ones and allow the reformulation of several other constraints such as the dispersion constraint, and even to define new ones easily. We finally apply our algorithm to several real world industrial problems such as text and music generation and geomodeling of a petroleum reservoir.

The diploma thesis is focused on analysis of external and internal company´s environment. Analysis allows a selection of appropriate strategy leading to analysing of user´s requirements of information system and innovative proposals. It is analysed market of information systems. It is used qualitative research gathering up the information about requirements of financial brokers. This information is processed and helps to create innovative suggestions of current information system.

Macroscopic fundamental diagrams (MFD) reveal the relations among flow, speed and density in a large geographic region. After literature review on macroscopic analysis, the similar methodology is applied in this thesis. The purpose of the thesis is to find the evidence that is able to prove MFD existing in Stockholm urban region. Both floating car data (FCD) based on global positioning system (GPS) data from taxis travelling in Stockholm region and traffic data from fixed detectors data source are used to construct the fundamental diagrams. Geographically, the usage of data is extended from single link to multiple links, then to the entire study region. The temporal phase is restricted in one weekday and weekend. The diagram of flow vs. speed based on single detector is found disordered, by contrast, the diagrams of cumulative flow, speed and density for all detectors represent orderly. MFD diagrams proposed in Yokohama case study by Geroliminis and Daganzo are reproduced with cumulative data in this thesis.  Therefore, it can be proved that MFD exists when using data from multiple links. However, the cumulative data from fixed detectors only represents the traffic on links where they locate, not the entire region. To overcome it, GPS data from taxis, which covers the whole region, is analyzed with same method. Because full taxis travel in the same manner as normal vehicles, they are selected to approximate traffic in whole region. A neat curve of flow vs. speed is produced and it coincides with corresponding diagram in the reference paper. It enhances the conclusion that MFD exists in the entire study region. Moreover, based on the constant ratio between average link flow and region exit flow, a controlling density policy is discussed in aiming for maximizing trip completion.

Diagrams are useful to visualize and design complex structures and relationships. They are frequently used in areas like software engineering or data flow management. There are a plethora of tools that allow a user to draw a diagram; however, they represent a diagram as an image. On the contrary, there are tools specifically designed to utilize a model behind the diagram, but they often lack in the area of user interaction and user interface. The thesis aims to try to bridge this gap, by providing a multiplatform implementation of diagram editing library in Flutter. By doing so, the library allows developers to focus on the utilization of the underlying diagram model. This will support the creation of new applications that offer modern user interface and utilize the diagram model. The library is not tailored to a single use-case or a diagram type. Instead, it focuses on general support of view or edit diagram operations. As Flutter can run in multiple environments, like mobile phones or web browsers, the library is designed to provide a user friendly experience for all of these platforms. The library design allows easy implementation and application in different areas, use-cases. This is demonstrated on two proof-of-concept diagram editing applications that use the library. 1

An influence diagram is a widely-used graphical model for representing and solving problems of sequential decision making under imperfect information. A closely-related model for the same class of problems is a partially observable Markov decision process (POMDP). This dissertation leverages the relationship between these two models to develop improved algorithms for solving influence diagrams. The primary contribution is to generalize two classic dynamic programming algorithms for solving influence diagrams, Arc Reversal and Variable Elimination, by integrating them with a dynamic programming technique originally developed for solving POMDPs. This generalization relaxes constraints on the ordering of the steps of these algorithms in a way that dramatically improves scalability, especially in solving complex, multi-stage decision problems. A secondary contribution is the adoption of a more compact and intuitive representation of the solution of an influence diagram, called a strategy. Instead of representing a strategy as a table or as a tree, a strategy is represented as an acyclic graph, which can be exponentially more compact, making the strategy easier to interpret and understand.

The Moelven Valåsen AB sawmill will within a 5-year period increase production from 375,000 𝑚3to approximately 500,000 𝑚3per year by building a new saw line. This has more led to the company going up from 2 shifts to 3 shifts to be able to meet this demand. This has led to the finished goods inventory before the customer has become full, and as a result the company has had to stand still. To investigate this, this thesis has investigated what the flow of the finished goods inventory looks like with the help of some tools to analyze the flow but at the same time develop the problems that may be the basis for this problem of the inventory becoming full. What has been concluded is that there are many different challenges to solving this problem. This thesis has provided an overview of where the problem may be in the flow and what it is due to. What has also been developed are some improvement proposals that could benefit the company and be developed so that the capacity of the warehouse can increase and become more efficient. / Sågverket Moelven Valåsen AB kommer inom en 5 års period att utöka produktionen från 375 000 𝑚3  till ca 500 000 𝑚3 per år genom att bygga en ny såglinje. Detta har mer fört att företaget har gått upp från 2 skift till 3 skift för att kunna möta denna efterfrågan. Det har lett till att färdigvarulagret innan kund har blivit fullt, och resultera i att företaget har behövt stått stilla. För att undersöka detta har detta examensarbete undersökt hur flödet på färdigvarulagret ser ut med hjälp av en del verktyg för att analysera flödet men samtidigt ta fram problematiken som kan tänkas ligga till grund till detta problem med att lagret blir fullt.  Det som har kommit fram till är att det finns många olika utmaningar för att lösa detta problem. Detta examensarbete har gett en överblick vart problematiken kan tänkas ligga i flödet och vad det beror på. Det som också har tagits fram är en del förbättringsförslag som skulle kunna gynna företaget och utvecklas till att kapaciteten på lagret kan öka och effektiviseras.