Os recentes avanços experimentados pela tecnologia CMOS tem permitido a fabricação de transistores em dimensões submicrônicas, possibilitando a integração de dezenas de milhões de dispositivos numa única pastilha de silício, os quais podem ser usados na implementação de sistemas eletrônicos muito complexos. Este grande aumento na complexidade dos projetos fez surgir uma demanda por ferramentas de verificação eficientes e sobretudo que incorporassem modelos físicos e computacionais mais adequados. A verificação de timing objetiva determinar se as restrições temporais impostas ao projeto podem ou não ser satisfeitas quando de sua fabricação. Ela pode ser levada a cabo por meio de simulação ou por análise de timing. Apesar da simulação oferecer estimativas mais precisas, ela apresenta a desvantagem de ser dependente de estímulos. Assim, para se assegurar que a situação crítica é considerada, é necessário simularem-se todas as possibilidades de padrões de entrada. Obviamente, isto não é factível para os projetos atuais, dada a alta complexidade que os mesmos apresentam. Para contornar este problema, os projetistas devem lançar mão da análise de timing. A análise de timing é uma abordagem independente de vetor de entrada que modela cada bloco combinacional do circuito como um grafo acíclico direto, o qual é utilizado para estimar o atraso do circuito. As primeiras ferramentas de análise de timing utilizavam apenas a topologia do circuito para estimar o atraso, sendo assim referenciadas como analisadores de timing topológicos. Entretanto, tal aproximação pode resultar em estimativas demasiadamente pessimistas, uma vez que os caminhos mais longos do grafo podem não ser capazes de propagar transições, i.e., podem ser falsos. A análise de timing funcional, por sua vez, considera não apenas a topologia do circuito, mas também as relações temporais e funcionais entre seus elementos. As ferramentas de análise de timing funcional podem diferir por três aspectos: o conjunto de condições necessárias para se declarar um caminho como sensibilizável (i.e., o chamado critério de sensibilização), o número de caminhos simultaneamente tratados e o método usado para determinar se as condições de sensibilização são solúveis ou não. Atualmente, as duas classes de soluções mais eficientes testam simultaneamente a sensibilização de conjuntos inteiros de caminhos: uma baseia-se em técnicas de geração automática de padrões de teste (ATPG) enquanto que a outra transforma o problema de análise de timing em um problema de solvabilidade (SAT). Apesar da análise de timing ter sido exaustivamente estudada nos últimos quinze anos, alguns tópicos específicos não têm recebido a devida atenção. Um tal tópico é a aplicabilidade dos algoritmos de análise de timing funcional para circuitos contendo portas complexas. Este constitui o objeto básico desta tese de doutorado. Além deste objetivo, e como condição sine qua non para o desenvolvimento do trabalho, é apresentado um estudo sistemático e detalhado sobre análise de timing funcional. / The recent advances in CMOS technology have allowed for the fabrication of transistors with submicronic dimensions, making possible the integration of tens of millions devices in a single chip that can be used to build very complex electronic systems. Such increase in complexity of designs has originated a need for more efficient verification tools that could incorporate more appropriate physical and computational models. Timing verification targets at determining whether the timing constraints imposed to the design may be satisfied or not. It can be performed by using circuit simulation or by timing analysis. Although simulation tends to furnish the most accurate estimates, it presents the drawback of being stimuli dependent. Hence, in order to ensure that the critical situation is taken into account, one must exercise all possible input patterns. Obviously, this is not possible to accomplish due to the high complexity of current designs. To circumvent this problem, designers must rely on timing analysis. Timing analysis is an input-independent verification approach that models each combinational block of a circuit as a direct acyclic graph, which is used to estimate the critical delay. First timing analysis tools used only the circuit topology information to estimate circuit delay, thus being referred to as topological timing analyzers. However, such method may result in too pessimistic delay estimates, since the longest paths in the graph may not be able to propagate a transition, that is, may be false. Functional timing analysis, in turn, considers not only circuit topology, but also the temporal and functional relations between circuit elements. Functional timing analysis tools may differ by three aspects: the set of sensitization conditions necessary to declare a path as sensitizable (i.e., the so-called path sensitization criterion), the number of paths simultaneously handled and the method used to determine whether sensitization conditions are satisfiable or not. Currently, the two most efficient approaches test the sensitizability of entire sets of paths at a time: one is based on automatic test pattern generation (ATPG) techniques and the other translates the timing analysis problem into a satisfiability (SAT) problem. Although timing analysis has been exhaustively studied in the last fifteen years, some specific topics have not received the required attention yet. One such topic is the applicability of functional timing analysis to circuits containing complex gates. This is the basic concern of this thesis. In addition, and as a necessary step to settle the scenario, a detailed and systematic study on functional timing analysis is also presented.

This paper examines the different attitudes of the Republic of Korea (South Korea) and the United States of America with regards to the Kaesong Industrial Complex, a joint inter-Korean economic project located in the Democratic People's Republic of Korea (North Korea). The paper uses the theoretical framework of Social Constructivism to analyze the different ideas available in the political discourse of both actors with regards to North Korean policy in general and policy towards Kaesong specifically. The paper relates these ideas to the positions both actors have taken with regards to the inclusion of Kaesong products in the S. Korean-U.S. FTA.

The dissertation thesis with the topic „Simulation Modelling of Electrical Drives for Selected Critical Applications“ focuses on the area of given applications in civil aviation. The selected application that the thesis deals with is an electrically driven and electronically controlled fuel pump supplying fuel to an aviation motor of the APU type. The thesis gives a comprehensive description of the design cycle of the unit and demonstrates implementing all the required critical functions. In the course of the design of the unit modern techniques in mathematical modelling, simulation, verification, monitoring and prediction of the operation status of airborne equipment were uses to the utmost extent. The purpose of these was to show the suitability of their application with regard to decreasing design time and cost, increasing lifetime and servicing intervals, as well as increasing user comfort and decreasing price. At the same time the required reliability was to be kept. The thesis also aims to prove and verify the suitability of using electronically commutated dc motors in critical applications in civil aviation. To reach this goal, it is necessary to design a robust drive control which would meet the given reliability requirements.

本論文旨在探討2008年後中國與日本兩國的政治、經濟關係。1990年代中期以來，中日兩國出現經濟關係持續高速開展，而政治關係冷淡的結構性矛盾現象。然而，2008年金融風暴的發生，嚴重衝擊日本經濟，中國卻仍維持高經濟成長率，且超越日本成為全球第二大經濟體，中日的國家能力與國際地位皆發生了劇烈變化。本文藉由結構現實主義與互賴理論為研究途徑，並以「政冷經熱」概念加以補充，嘗試結合「中日戰略互惠關係」、「釣魚臺主權爭議」、「參拜靖國神社」、「中日經貿概況」、「中日韓FTA」與「稀土」等中日間雙邊關係多項議題的現實情勢，探討2008年以來中日政治與經濟關係的變化。研究發現：2008年以來，中日因釣魚臺主權爭議激化、衝突頻率增加及層級增強，並於參拜靖國神社問題中日雙方亦無法取得共識，且中日戰略互惠關係的建構受到侷限，進而導致中日經貿總額連年呈現負增長、中日韓FTA談判進程延宕、稀土之爭危機懸而未決。顯示中日關係「政冷」導致「經冷」，結構性因素影響大於經濟互賴因素的影響。

The dissertation thesis with the topic „Simulation Modelling of Electrical Drives for Selected Critical Applications“ focuses on the area of given applications in civil aviation. The selected application that the thesis deals with is an electrically driven and electronically controlled fuel pump supplying fuel to an aviation motor of the APU type. The thesis gives a comprehensive description of the design cycle of the unit and demonstrates implementing all the required critical functions. In the course of the design of the unit modern techniques in mathematical modelling, simulation, verification, monitoring and prediction of the operation status of airborne equipment were uses to the utmost extent. The purpose of these was to show the suitability of their application with regard to decreasing design time and cost, increasing lifetime and servicing intervals, as well as increasing user comfort and decreasing price. At the same time the required reliability was to be kept. The thesis also aims to prove and verify the suitability of using electronically commutated dc motors in critical applications in civil aviation. To reach this goal, it is necessary to design a robust drive control which would meet the given reliability requirements.

Diploma thesis deals with solving of the problem with heat shield used in a turbocharger for heavy duty vehicles. The description of the problem origin with focus on environmental standarts and therefore a need of changes in turbocharger construction, is included. Further, the procedure for finding the component failure causes using the results of stress tests and analyses performed is described step by step. Most of the practical part is focused on a use of quality tools for finding a root cause of heat shield failure and also on advanced material analysis, verifying the results from quality analysis performed. An the end of the thesis there are suggested and accepted measures for elimination of similar failure recurrence and recommendations for further development.

The deals of thesis were described methods for designing safety applications, made analysis of possible microcontroller faults of long-run system, described software and hardware methods for fault detection in microcontroller and applied some March test to microcontroller. To application were chosen MATS+, PMOVI and March SS tests. These tests were modified to word-oriented memory. Further it was made analysis of modified tests to determination fault coverage, testing times and program memory requirement. To determination of fault coverage was created virtual memory with fault function models. March tests were compared with each other and with another pattern test (checkboard test).

This diploma thesis deals with an optimization of hydrostatic slide of the large-portal gantry machine FRU (TOS Kuřim). First part of the thesis concerns with an analysis of the current practice in hydrostatic guides in the field of heavy gantry machines, an usage of alternative materials for a construction of carrying parts of machines, and possibilities of current simulation methods. Aim of the second part of this thesis is a brief clarification of the principle of mathematical optimization, and creation of general methodology of construction optimization by means of system analysis. Optimization calculations were processed by ANSYS Workbench 11.0. There is achieved adjusted and optimized design of the hydrostatic slide as the result of the thesis. Moreover, the comparison of key deformations was added. Created methodology is applicable in both an area of construction of gantry machines, and a wide spectrum of construction fields.

The master thesis deals with the development of the tool for risk analysis support in information security. At first we perform a theoretical basis for security development of lifecycle process (SDL). Afterwards the theory of risk analysis based on fault tree analysis is described. Considering this knowledge base system was designed and implemented. Next chapter describes the best practice refer to the typical example of use and presents the potencial using of this tool in practice. Final chapter deals with the possibility of future expansion of this application.

In the recent years, the PRC has demonstrated strong economic growth and intensified its diplomatic connections with the globalized world. The Deng reforms of the 1970s were the starting point for this ‘open-up’ approach. The particular relevance for the LAC region became an utmost important part in the development of the PRC in the 21st century. Therefore, natural resources are the driving force of their economic growth and a high supply of agricultural products is essential to feed their growing population. These two economic aspects are in the center of the foreign political and economic interests of the PRC. However, the intentions of nation states are always unclear, which gives room for various theoretical interpretations. The possible threat of the rising PRC is consequently contrasted by the perspective of a ‘peaceful rise of the PRC’. It is inevitable that the LAC region looms large over this debate.  This research will analyze and contribute towards a better understanding of the rise of the PRC. To be able to provide a precise contribution, this research focuses on the case of the China-Chile economic and foreign political relations after the coming into force of the FTA in 2006. Based on a conceptual analysis of the foreign and economic relations of the PRC with Chile, this research will also apply defensive neorealism and neoliberal institutionalism to provide a better understanding of the strategies and motivations of the PRC towards Chile. Even though Chile is an independent country of the LAC region, this research will also partly integrate the research finding into the bigger picture of the relations between the PRC and the LAC region in general.