O aumento crescente no número de processadores das arquiteturas paralelas que estão no topo dos rankings de desempenho, apesar de permitir uma maior capacidade de processamento, também traz consigo um aumento na taxa de falhas diretamente proporcional ao número de processadores. Atualmente, as técnicas de tolerância a falhas com recuperação retroativa são as mais empregadas em aplicações MPI, principalmente a técnica de checkpoint coordenado. No entanto, previsões afirmam que essa última técnica será inadequada para as arquiteturas emergentes. Em contrapartida, as técnicas de log de mensagens possuem características que as tornam mais apropriadas no novo cenário que se estabelece. O presente trabalho consiste em uma proposta de log de mensagens pessimista remoto com checkpoint não-coordenado e a avaliação de desempenho da comunicação MPI sobre Publish/Subscriber no qual se baseia o log de mensagens. O trabalho compreende: um estudo das técnicas de tolerância a falhas mais empregadas em ambientes de alto desempenho e a motivação para a escolha dessa variante de log de mensagens; a proposta de log de mensagens; uma implementação de comunicação Open MPI sobre OpenAMQ e sua respectiva avaliação de desempenho com comunicação tradicional TCP/IP e com o log de mensagens pessimista local da distribuição do Open MPI. Os benchmarks utilizados foram o NetPIPE, o NAS Parallel Benchmarks e a aplicação Virginia Hydrodynamics (VH-1). / The growing number of processors in parallel architectures at the top of performance rankings allows a higher processing capacity. However, it also brings an increase in the fault rate which is directly proportional to the number of processors. Nowadays, coordinated checkpoint is the most widely used rollback technique for system recovery in the occurrence of faults in MPI applications. Nevertheless, projections point that this technique will be inappropriate for the emerging architectures. On the other hand, message logging seems to be more appropriate to this new scenario. This work consists in a proposal of pessimistic message logging (remote based) with non-coordinated checkpoint and the performance evaluation of an MPI communication mechanism that works over Publish/Subscriber channels in which the proposed message logging is based. The work is organized as following: an study of fault tolerant techniques used in HPC and the motivation for choosing this variant of message logging; a message logging proposal; an implementation of Open MPI communication over OpenAMQ; performance evaluation and comparision with the tradicional TCP/IP communication and a pessimistic message logging (sender based) from Open MPI distribution. The benchmark set is composed of NetPIPE, NAS Parallel Benchmarks and Virginia Hydrodynamics (VH-1).

In der Dissertation werden Zwei-Ebenen-Optimierungsaufgaben mit spezieller Struktur untersucht. Von Interesse sind hierbei für den sogenannten pessimistischen Lösungszugang Existenzresultate für Lösungen, die Eckpunkteigenschaft einer Lösung, eine Regularisierungstechnik, Optimalitätsbedingungen sowie für den linearen Fall ein Verfahren zur Bestimmung einer global pessimistischen Lösung. Beim optimistischen Lösungszugang wird zunächst eine Verallgemeinerung des Lösungsbegriffes angegeben. Anschließend finden sich Betrachtungen zur Komplexität des Problems, zu Optimalitätsbedingungen sowie ein Abstiegs- und Branch&Bound-Verfahren für den linearen Fall wieder. Den Abschluss der Arbeit bilden ein Anwendungsbeispiel und numerische Testrechnungen.

O aumento crescente no número de processadores das arquiteturas paralelas que estão no topo dos rankings de desempenho, apesar de permitir uma maior capacidade de processamento, também traz consigo um aumento na taxa de falhas diretamente proporcional ao número de processadores. Atualmente, as técnicas de tolerância a falhas com recuperação retroativa são as mais empregadas em aplicações MPI, principalmente a técnica de checkpoint coordenado. No entanto, previsões afirmam que essa última técnica será inadequada para as arquiteturas emergentes. Em contrapartida, as técnicas de log de mensagens possuem características que as tornam mais apropriadas no novo cenário que se estabelece. O presente trabalho consiste em uma proposta de log de mensagens pessimista remoto com checkpoint não-coordenado e a avaliação de desempenho da comunicação MPI sobre Publish/Subscriber no qual se baseia o log de mensagens. O trabalho compreende: um estudo das técnicas de tolerância a falhas mais empregadas em ambientes de alto desempenho e a motivação para a escolha dessa variante de log de mensagens; a proposta de log de mensagens; uma implementação de comunicação Open MPI sobre OpenAMQ e sua respectiva avaliação de desempenho com comunicação tradicional TCP/IP e com o log de mensagens pessimista local da distribuição do Open MPI. Os benchmarks utilizados foram o NetPIPE, o NAS Parallel Benchmarks e a aplicação Virginia Hydrodynamics (VH-1). / The growing number of processors in parallel architectures at the top of performance rankings allows a higher processing capacity. However, it also brings an increase in the fault rate which is directly proportional to the number of processors. Nowadays, coordinated checkpoint is the most widely used rollback technique for system recovery in the occurrence of faults in MPI applications. Nevertheless, projections point that this technique will be inappropriate for the emerging architectures. On the other hand, message logging seems to be more appropriate to this new scenario. This work consists in a proposal of pessimistic message logging (remote based) with non-coordinated checkpoint and the performance evaluation of an MPI communication mechanism that works over Publish/Subscriber channels in which the proposed message logging is based. The work is organized as following: an study of fault tolerant techniques used in HPC and the motivation for choosing this variant of message logging; a message logging proposal; an implementation of Open MPI communication over OpenAMQ; performance evaluation and comparision with the tradicional TCP/IP communication and a pessimistic message logging (sender based) from Open MPI distribution. The benchmark set is composed of NetPIPE, NAS Parallel Benchmarks and Virginia Hydrodynamics (VH-1).

Egg-laying hens coming from commercial hatchery go through hatchery procedures considered as stressful and engaging prolonged stress response in adult chickens. The aim of our study was to evaluate the impact of commercial hatching procedure on the affective state of chicks, on their short- and long-term memory and on their need for social reinstatement. To assess the affective state of the chicks we used a cognitive bias protocol integrating the ecological response of a chick to the picture of another chick, to an owl and to an ambiguous cue mixing features of both the chickand the owl pictures. Short-term memory was evaluated by using a delayed matching-to-sample experiment (with 10, 30,60 and 120 s delays), with conspecifics as sample stimuli. We assessed long-term memory with an arena containing multiple doors leading to conspecifics, in which a chick had to remember which door was open after a delay of one hour or three hours. Finally, we observed the need for social reinstatement through a sociality test arena allowing a chick to be more or less close to conspecifics. We found that chicks coming from commercial hatchery were in a depressive affective state compare to control group. Those chicks also showed higher need for social reinstatement and loss weight. No differences were found regarding short- and long-time working memory between the two groups, but the methods used during these experiments will be discussed. Studying how commercial procedures impact the cognition and more specifically the emotions and state of mind of chickens, is a necessary step forward into the understanding of farm animals’ welfare.

The diploma thesis is focused on the issues of financial planning. In the introductory chapter the basic theoretical terms, which are important to understanding the issue, are explained. The aim of this thesis is to create a financial plan for selected company for the next 3 years, which is also the subject of the main part of this diploma thesis. The financial plan is compiled in two variants: optimistic and pessimistic. In both options of the financial plan the consequences of the company's planned investment will incorporate. At the end of the thesis, the evaluation and control of the results of both variants of the financial plan is made.

In der Dissertation werden Zwei-Ebenen-Optimierungsaufgaben mit spezieller Struktur untersucht. Von Interesse sind hierbei für den sogenannten pessimistischen Lösungszugang Existenzresultate für Lösungen, die Eckpunkteigenschaft einer Lösung, eine Regularisierungstechnik, Optimalitätsbedingungen sowie für den linearen Fall ein Verfahren zur Bestimmung einer global pessimistischen Lösung. Beim optimistischen Lösungszugang wird zunächst eine Verallgemeinerung des Lösungsbegriffes angegeben. Anschließend finden sich Betrachtungen zur Komplexität des Problems, zu Optimalitätsbedingungen sowie ein Abstiegs- und Branch&Bound-Verfahren für den linearen Fall wieder. Den Abschluss der Arbeit bilden ein Anwendungsbeispiel und numerische Testrechnungen.

Il est souvent arrivé que, par le passé, les scientifiques affirment l'existence d'objets inobservables dont ils rejettent aujourd'hui l'existence. Quelle leçon tirer de ce fait ? On est tenté d'en conclure que les méthodes qu'emploient les scientifiques pour connaître l'inobservable ne sont pas fiables, de sorte que cette connaissance serait située hors de leur portée. Cette thèse identifie et rejette deux présupposés qui conduisent à cette conclusion, à savoir que la méthode de l'hypothèse serait la seule manière de produire des connaissances des inobservables, et que cette méthode se déploierait de manière instantanée. Si, au contraire, les modalités concrètes de l'activité expérimentale et la dimension diachronique de la recherche théorique sont prises en compte, chacun de ces deux présupposés doit être rejeté comme abstrait. La connaissance des effondrements théoriques passés légitime alors la croyance en la vérité des théories actuelles. / History of science presents us with numerous cases in which scientists conclude that an unobservable entity previously posited as real actually does not exist. What the lesson is to be drawn from this fact ? One is tempted to draw the conclusion that the methods employed by scientists to produce knowledge of unobservable objects are not reliable: gaining this knowledge would be beyond their reach. This thesis identifies and rejects two presuppositions that lead to this conclusion: that the method of hypothesis is the only way to produce knowledge of unobservables and that it can be employed in an instantaneous manner. On the contrary, if the concrete modalities of the experimental activity and the diachronical dimension of theoretical research are taken into account, each of these two presuppositions appear to be too abstract and should be rejected. Knowledge of past theoretical collapses then legitimates the belief in the truth of current scientific theories.

The aim of this diploma thesis is to prepare the financial plan of the selected company for the planned period 2018 – 2020. The financial plan is based on analysis of company´s data of past periods for the 5 periods in retrospect. The preparation of the financial plan is preceded not only by the financial analysis of past years' data and the strategic analysis of the environment but also by the determination of the company's strategies and objectives. The financial plan for the period 2018 - 2020 will be completed in two variants. In the last part an assessment of the financial plan variant with objectives will be made.

This master´s thesis is focused on the proposal of financial business plan for the company HEDVA, a.s. for years 2020 to 2023. First chapter is aiming goals and approaches of processing this thesis. Second chapter contains theoretical solution, which is needed for financial planning. The third part contain introduction of the company and its strategic and financial analysis. Last part of master´s thesis is focused on suggestion of the financial plan in optimistic and pessimistic variant, including their evaluation.

Diploma thesis is based on finding out main financial planning issues. The first part of thesis is dealing with theoretical aspects, which are necessary to know for setting up a financial plan. After this part is the practical part, which includes detailed procedure for setting up a financial plan for company H.A.Kovochem. Financial plan is created in an optimistic and pessimistic alternative. The final part of the thesis is evaluation and control of these two alternatives of plans