In this thesis, we study three supply chain planning problems. The first two problems fall in the tactical planning level, while the third one falls in the strategic/tactical level. We present a direct application for the first two planning problems in the wind turbines industry. For the third problem, we show how it can be applied to supply chains in the food industry. Many countries and localities have the explicitly stated goal of increasing the fraction of their electrical power that is generated by wind turbines. This has led to a rapid growth in the manufacturing and installation of wind turbines. The globally installed capacity for the manufacturing of different components of the wind turbine is nearly fully utilized. Because of the large penalties for missing delivery deadlines for wind turbines, the effective planning of its supply chain has a significant impact on the profitability of the turbine manufacturers. Motivated by the planning challenges faced by one of the world’s largest manufacturers of wind turbines, we present a comprehensive tactical supply chain planning model for manufacturing of wind turbines in the first part of this thesis. The model is multi-period, multi-echelon, and multi-commodity. Furthermore, the model explicitly incorporates backorder penalties with a general cost structure, i.e., the cost structure does not have to be linear in function of the backorder delay. To the best of our knowledge, modeling-based supply chain planning has not been applied to wind turbines, nor has a model with all the above mentioned features been described in the literature. Based on real-world data, we present numerical results that show the significant impact of the capability to model backorder penalties with general cost structures on the overall cost of supply chains for wind turbines. With today’s rapidly changing global market place, it is essential to model uncertainty in supply chain planning. In the second part of this thesis, we develop a two-stage stochastic programming model for the comprehensive tactical planning of supply chains under supply uncertainty. In the first stage, procurement decisions are made while in the second stage, production, inventory, and delivery decisions are made. The considered supply uncertainty combines supplier random yields and stochastic lead times, and is thus the most general form of such uncertainty to date. We apply our model to the same wind turbines supply chain. We illustrate theoretical and numerical results that show the impact of supplier uncertainty/unreliability on the optimal procurement decisions. We also quantify the value of modeling uncertainty versus deterministic planning. Supplier selection with quantity discounts has been an active research problem in the operations research community. In this the last part of this thesis, we focus on a new quantity discounts scheme offered by suppliers in some industries. Suppliers are selected for a strategic planning period (e.g., 5 years). Fixed costs associated with suppliers’ selection are paid. Orders are placed monthly from any of the chosen suppliers, but the quantity discounts are based on the aggregated annual order quantities. We incorporate all this in a multi-period multi-product multi-echelon supply chain planning problem and develop a mixed integer programming (MIP) model for it. Leading commercial MIP solvers take 40 minutes on average to get any feasible solution for realistic instances of our model. With the aim of getting high-quality feasible solutions quickly, we develop an algorithm that constructs a good initial solution and three other iterative algorithms that improve this initial solution and are capable of getting very fast high quality primal solutions. Two of the latter three algorithms are based on MIP-based local search and the third algorithm incorporates a variable neighborhood Descent (VND) combining the first two. We present numerical results for a set of instances based on a real-world supply chain in the food industry and show the efficiency of our customized algorithms. The leading commercial solver CPLEX finds only a very few feasible solutions that have lower total costs than our initial solution within a three hours run time limit. All our iterative algorithms well outperform CPLEX. The VND algorithm has the best average performance. Its average relative gap to the best known feasible solution is within 1% in less than 40 minutes of computing time.

Santrauka Tema „Teisės normų kolizijos ir jų sprendimo taisyklės” aktuali, originali ir nauja. Temos aktualumas reiškiasi galimybe naujai pažvelgti į reiškinį; temos originalumas reiškiasi jos naujumu. Šiame darbe nagrinėjama teisės normų kolizijos: sąvoka, kilimo priežastys, kolizijų sprendimo (šalinimo) taisyklės. Kadangi jurisprudencijoje nėra vieningos nuomonės kolizijų klausimu, darbe pateikiama keletas labiausiai reikšmingų nuomonių kolizijų sąvokos klausimu. Pažymėtina, kad pateiktose sąvokose figuruoja visas sąvokas jungiantis elementas – prieštaravimai, ar tai tarp teisės normų, ar tai tarp esamos teisinės tvarkos ir siekių ją pakeisti. Darbe akcentuojamas sąvokos „teisės kolizija” daugiareikšmiškumas; ši sąvoka apima: prieštaravimus tarp teisės principų ir teisės normų, tarp atskirų teisės normų, tarp vertybių, tarp teisės normų ir jų aiškinimo; teisės sampratų, teisinės sąmonės kolizijas. Poreikis turėti efektyvią teisę skatina jos paieškas; visuomeninių santykių bei procesų teisinis reguliavimas ne visada atneša lauktų rezultatų. Pagaliau, dėl visuomeninių santykių kaitos, vystymosi, nespėjama kurti teisės normų taip greitai ir sparčiai, kaip greitai ir sparčiai keičiasi visuomeninis gyvenimas bei socialinė elgsena, kuriems siekiama daryti atitinkamą įtaką. To pasėkoje kyla prieštaravimai visuomeniniame gyvenime. Tai be abejo atsispindi ir teisėje. Darbe analizuotas teisės normų kolizijų ir teisės normų konkurencijos tarpusavio santykio klausimas; prieita išvados... [toliau žr. visą tekstą] / SUMMARY Collisions of Legal Norms and the Rules for Their Settlement The subject „Collisions of Legal Norms and the Rules for Their Settlement” is urgent, original and new. An urgency of the subject expresses itself by an opportunity of a new attitude towards the problem; an originality of the problem expresses itself by its novelty. In the Paper, collisions of legal norms, including their definition, causes of their appearance and the rules for their settlement (liquidation), are discussed upon. Because of absence of a uniform opinion on collisions in law, several most important opinions on the definition of collisions are provided in the Paper. It should be noted that contradictions – between legal norms or between the legal order and striving to alter it – as an element that unites all definitions is presented in each of them. In the Paper, a polysemy of the definition „a collision of law” is emphasized; this definition includes contradictions between principles of law and legal norms, between individual legal norms, between values, between legal norms and their interpretations, between definitions of law as well as collisions related to legal conscience. A need in effective law encourages looking for it; a legal regulation of public relations and processes not always ensures expected results. Finally, it is impossible to develop legal norms upon rapid changing of public relations when the public life and social behavior to be impacted by them are permanently altering... [to full text]

La thèse est composée de deux parties. La première partie traite de la gestion des qualifications dans l'industrie des semi-conducteurs. La contrainte de qualification définit l'éligibilité d'une machine à processer un produit. La gestion des qualifications nécessite de résoudre un problème d'allocation et d'équilibrage des charges sur des machines parallèles non-identiques et partiellement reconfigurables. Nous avons défini et introduit des indicateurs pour la gestion des qualifications en tenant compte de la capacité des équipements ainsi que la contrainte de regroupements de lots (batching). Plusieurs algorithmes d'équilibrage de charge sont proposés et validés pour le calcul de la charge optimale sur un parc d'équipements. Ce concept est industrialisé au sein de l'entreprise Soitec et fait partie du processus de prise de décision.La deuxième partie de la thèse porte sur la planification de production en boucle fermée. Le processus de fabrication des plaques SOI à Soitec s'appuie sur la Technologie Smart-Cut. En utilisant cette technologie, une des deux matières premières peut être réutilisée à plusieurs reprises pour la fabrication des produits finis. Le couplage de deux lignes de production crée un système manufacturier en boucle fermée. Nous avons proposé un modèle de dimensionnement de lots original pour la planification de production de ce système manufacturier, que nous avons validé avec des données industrielles. En se basant sur le problème industriel, un problème mono-produit et sans contrainte de capacité est défini, analysé et résolu pour une version simplifiée du problème. / In the first part, we take a binding restriction, called qualification, present in semiconductor manufacturing as a lever for increasing flexibility and optimizing capacity utilization. A qualification determines the processing authorization of a product on a machine (like an eligibility constraint). In order to define the best qualification, the production volume should be allocated to parallel non-identical machines which are partially reconfigurable. Capacitated flexibility measures are introduced to define the best qualification which increases machine capacity utilization at most. Batching is another industrial constraint encountered in semiconductor industry. It influences workload balancing and qualification management. Several workload balancing algorithms are proposed to find the optimal workload balance of a workcenter. Variability measures are also proposed to evaluate the workload variability of a workcenter. The second part deals with closed-loop production planning. Soitec uses Smart-Cut Technology to fabricate SOI wafers. Using this technology, one of the two raw materials used to fabricate SOI wafers can be reused several times to make other SOI wafers. However, before coming back to the SOI fabrication line, the used raw material (by-product) must be reworked in another production line. An original closed-loop production planning model adapted to the supply chain specificities of Soitec is proposed, and is validated using industrial data. Based on this industrial model, a single-item uncapacitated closed-loop lot-sizing model is defined, analyzed, and a dynamic programming algorithm is proposed for a simplified version of the problem.

This study explores the depictions of technology and scientists in the literature of five writers during the 1960s. Scientists and technology associated with nuclear, computer, and space science are examined, focusing on their respective treatments by the following writers: John Barth, Kurt Vonnegut, Thomas Pynchon, Isaac Asimov, and Arthur C. Clarke. Despite the close connections between the abovementioned sciences, space science is largely spared from negative critiques during the sixties. Through an analysis of Barth's Giles Goat-boy, Vonnegut's Cat's Cradle, Pynchon's The Crying of Lot 49, Asimov's short stories "Key Item," "The Last Question," "The Machine That Won the War," "My Son, the Physicist," and Clarke's 2001: A Space Odyssey, it is argued that altruistic goals of space science during the 1960s protect it from the satirical treatments that surround the other sciences.

The diploma thesis deals with the project of transport solution for new buildings of BD Panorama Boskovice. The project documentation elaborates the design of the road, sidewalks and parking spaces to the proposed 4 apartment buildings in Boskovice The work corresponds to the extent of the design documentation for construction (PDPS).

Diploma thesis addresses the implementation and design of the new library object. The proposed building will serve as public city library with the possession of 102 200 book units. The building will offer department for adults as well as kids section, technical literature, an audiovisual collection, computer rooms and study rooms, reading rooms. There are also plenty of chill zones. In the building are additional services as coffee shop, gallery and lecture hall for different kinds of events and purposes. Library has three floors and one basement solved as an underground parking lot. The building is roofed by warm flat roof. The structural system is reinforced concrete skeletal system with glass facade system, the external wall in some places as sanitary facilities, secondary staircase and coffee shop is walled with bricks with an external thermal insulation composite system. The ground plan of the library is square with dimensions 35, 45 x 35, 45 meters. The building is located in the city centre of Písek, surrounding terrain is slightly sloping. The solved area contains newly designed asphalt road, which leads to the underground parking lot.

This paper deals with problem of procedurally generated city. There are described steps of creation of city. These steps are: road generation, extraction of minimal cycles in graph, division of lots and generation of buildings. Road and buildings are generated by L-system. Our system generate a city from input images, such as height map, map of population density and map of water areas. Proposed approaches are used for implementation of application for generation of city.

The project deals with structure design of a new – built house for elderly with accommodation capacity up to 28 persons. It is situated on the south side of the village Papradno in a flat lot with area of 6018,4 m2.The house for elderly was designed for disabled people, it has got two floors with irregular shape and the floor area of 920,83 m2 . On the first floor there is an accommodation part of building situated on the southwest side and there is an another part of building where are situated rooms like (kitchen for serving meals, dining room, boiler room, changing room for employee...) it is situated on the northeast side. On the second floor there is an accommodation part of building it is identical as in the first floor. And the another part of second floor it has got rooms like (offices, storages, chapel, club room...). A bearing system composed of uninforcement concret foundation, wall system of ceramic block Porotherm and the slab system composed of bearing panels Spiroll. The Spiroll panels is a bearing system for flat roof with clasic layer order.

The European legislation prohibits the use of lead containing solders in Europe. However, lead free solders have a higher melting point (typical 20%) and their mechanical characteristics are worse. Additional problems are aging and adhesion of the solder on the electronic circuits. Thus, research activities must focus on the optimization of the properties of Sn-Ag-Cu based lead free solders chosen by the industry. Two main objectives are treated in this work. In the center of the first one is the study of curious hysteresis effects of metallic cadmium-antimony alloys after thermal cycles by measuring electronic transport phenomena (thermoelectric power and electrical resistivity). The second objective, within the framework of “cotutelle” between the universities of Metz and of Chemnitz and supported by COST531, is to study more specifically lead free solders. A welding must well conduct electricity and well conduct and dissipate heat. In Metz, we determined the electrical conductivity, the thermoelectric power and the thermal conductivity of various lead free solders (Sn-Ag-Cu, Sn-Cu, Sn-Ag, Sn-Sb) as well in the liquid as well in the solid state. The results have been compared to classical lead-tin (Pb-Sn) solders. In Chemnitz we measured the surface tension, the interfacial tension and the density of lead free solders. We also measured the viscosity of these solders without and with additives, in particular nickel. These properties were related to the industrial problems of wettability and spreadability. Lastly, we solidified alloys under various conditions. We observed undercooling. We developed a technique of mixture of nanocristalline powder with lead free solders "to sow" the liquid bath in order to obtain "different" solids which were examined using optical and electron microscopy. / Die europäische Gesetzgebung verbietet die Benutzung von Lötmitteln, die Blei enthalten. Bleilose Lote haben aber einen höheren Schmelzpunkt (typisch 20%) und ihre mechanischen Eigenschaften sind schlechter. Zusätzliche Probleme sind das Alterungsverhalten und das Haftvermögen des Lots an den Leiterbahnen. Daher müssen sich Forschungsaktivitäten auf die Optimierung der Eigenschaften von bleifreien Sn-Ag-Cu (SAC) Loten konzentrieren, die von der Industrie gewählt wurden. Zwei Hauptgebiete werden in dieser Arbeit bearbeitet. Im Zentrum des Ersten stehen seltsame Hysterese-Effekte von metallischen Kadmium- Antimon Legierungen bei thermischen Zyklen, wobei Transporteigenschaften wie die thermoelektrische Kraft und der elektrische Widerstand untersucht werden. Die zweite Aktivität, die in einer Kooperation der Universitäten Metz und Chemnitz (cotutelle) bearbeitet und die durch COST531 unterstützt wird, besteht in der detaillierten Erforschung des Lötprozesses ohne Blei. Eine Lötverbindung muß den Strom gut führen und die Wärme gut ableiten. In Metz haben wir die elektrische Leitfähigkeit, die thermoelektrische Kraft und das Wärmeleitvermögen bestimmt für verschiedene bleilose Lote (Sn-Ag-Cu, Sn-Cu, Sn-Ag, Sn-Sb), sowohl im flüssigen als auch festen Zustand. Die Ergebnisse wurden mit dem klassischen bleihaltigen Lötzinn (Sn-Pb) verglichen. In Chemnitz haben wir die Oberflächen- und Grenzflächenspannung und die Dichte bleifreier Lote gemessen. Ebenfalls wurde die Viskosität dieser Lote ohne und mit Zusätzen (insbesondere Nickel) gemessen. Diese Eigenschaften wurden in Beziehung gesetzt zu den industriellen Problemen der Benetzbarkeit und des Fließverhaltens. Schließlich haben wir Legierungen unter verschiedenen Bedingungen verfestigt. Wir haben Unterkühlung beobachtet. Wir haben eine Technik entwickelt, basierend auf einer Mischung von Lot mit Pulver. Durch "Einsäen" von Nanokristallen in das flüssige Bad erhielten wir "verschiedene" Festkörper, die mit optischer und Elektronenmikroskopie untersucht wurden.

Traffic congestion is a severe problem in urban areas and it leads to the emission of greenhouse gases and air pollution. In general, drivers lack knowledge of the location and availability of free parking spaces in urban cities. This leads to people driving around searching for parking places, and about one-third of traffic congestion in cities is due to drivers searching for an available parking lot. In recent years, various solutions to provide parking information ahead have been proposed. The vast majority of these solutions have been applied in large cities, such as Beijing and San Francisco. This thesis has been conducted in collaboration with Knowit and Dukaten to predict parking occupancy in car parks one hour ahead in the relatively small city of Linköping. To make the predictions, this study has investigated the possibility to use long short-term memory and gradient boosting regression trees, trained on historical parking data. To enhance decision making, the predictive uncertainty was estimated using the novel approach Monte Carlo dropout for the former, and quantile regression for the latter. This study reveals that both of the models can predict parking occupancy ahead of time and they are found to excel in different contexts. The inclusion of exogenous features can improve prediction quality. More specifically, we found that incorporating hour of the day improved the models’ performances, while weather features did not contribute much. As for uncertainty, the employed method Monte Carlo dropout was shown to be sensitive to parameter tuning to obtain good uncertainty estimates.