In simulation-based design, a key challenge is to formulate and solve analysis problems efficiently to evaluate a large variety of design alternatives. The solution of analysis problems has benefited from advancements in commercial off-the-shelf math solvers and computational capabilities. However, the formulation of analysis problems is often a costly and laborious process. Traditional simulation templates used for representing analysis problems are typically brittle with respect to variations in artifact topology and the idealization decisions taken by analysts. These templates often require manual updates and "re-wiring" of the analysis knowledge embodied in them. This makes the use of traditional simulation templates ineffective for multi-disciplinary design and optimization problems. Based on these issues, this dissertation defines a special class of problems known as variable topology multi-body (VTMB) problems that characterizes the types of variations seen in design-analysis interoperability. This research thus primarily answers the following question: How can we improve the effectiveness of the analysis problem formulation process for VTMB problems? The knowledge composition methodology (KCM) presented in this dissertation answers this question by addressing the following research gaps: (1) the lack of formalization of the knowledge used by analysts in formulating simulation templates, and (2) the inability to leverage this knowledge to define model composition methods for formulating simulation templates. KCM overcomes these gaps by providing: (1) formal representation of analysis knowledge as modular, reusable, analyst-intelligible building blocks, (2) graph transformation-based methods to automatically compose simulation templates from these building blocks based on analyst idealization decisions, and (3) meta-models for representing advanced simulation templates VTMB design models, analysis models, and the idealization relationships between them. Applications of the KCM to thermo-mechanical analysis of multi-stratum printed wiring boards and multi-component chip packages demonstrate its effectiveness handling VTMB and idealization variations with significantly enhanced formulation efficiency (from several hours in existing methods to few minutes). In addition to enhancing the effectiveness of analysis problem formulation, KCM is envisioned to provide a foundational approach to model formulation for generalized variable topology problems.

ASICs estruturados com leiautes regulares representam uma das soluções para a perda de rendimento de fabricação de circuitos integrados em tecnologias nanométricas causada pela distorção de fotolitografia. Um método de projeto de circuitos integrados ainda mais restritivo resulta em ASICs estruturados configuráveis apenas pelas camadas de vias, que são compostos pela repetição do mesmo modelo de bloco em todas as camadas do leiaute, exceto as camadas de vias. A escolha do modelo de bloco tem grande influência nas características do circuito final, criando a demanda por novas ferramentas de CAD que possam avaliar e comparar tais modelos em seus diversos aspectos. Esta tese descreve um ambiente de CAD baseado em SAT, capaz de avaliar o aspecto de capacidade lógica em padrões de blocos configuráveis por vias. O ambiente proposto é genérico, podendo tratar quaisquer padrões de bloco definido pelo usuário, e se comporta de maneira eficiente quando aplicado aos principais padrões já publicados na literatura. / Structured ASICs with regular layouts comprise a design-based solution for IC manufacturing yield loss in nanometer technologies caused by photolithography distortions. Via-configurable structured ASICs is even a more restrictive digital IC design method, based on the repetition of a block template comprising all layout layers except the vias one. The choice of such a design strategy impacts greatly the final circuit characteristics, arising the need for specific CAD tools to allow template evaluation and comparison in different aspects. This work presents a SAT-based CAD environment for evaluating the logical capacity aspect of via-configurable block templates. The proposed environment is able to support any user-defined template, and behaves efficiently when applied to block templates presented in related literature.

Submitted by Tatiana Lima (tatianasl@ufba.br) on 2015-03-23T19:53:51Z No. of bitstreams: 1 Soares Júnior, Jair Sampaio.pdf: 3716316 bytes, checksum: 0ed464d1e2ef44d783c119d942d5b049 (MD5) / Approved for entry into archive by Tatiana Lima (tatianasl@ufba.br) on 2015-04-06T17:55:50Z (GMT) No. of bitstreams: 1 Soares Júnior, Jair Sampaio.pdf: 3716316 bytes, checksum: 0ed464d1e2ef44d783c119d942d5b049 (MD5) / Made available in DSpace on 2015-04-06T17:55:50Z (GMT). No. of bitstreams: 1 Soares Júnior, Jair Sampaio.pdf: 3716316 bytes, checksum: 0ed464d1e2ef44d783c119d942d5b049 (MD5) / Dados públicos armazenados, nunca antes disponibilizados à população, hoje podem ser acessados livremente através da Internet. Paralelamente, impulsionado pelo aumento da capacidade computacional de armazenamento e processamento de dados, o Knowledge Discovery in Databases – KDD tem se tornado um método amplamente discutido para extração de conhecimento das bases públicas de dados. Este trabalho se propõe a contribuir para o estudo do desenvolvimento humano ao avaliar o potencial do KDD como método a ser empregado na mensuração do desenvolvimento social a partir de informações públicas. Por outro lado, a evolução do pensamento científico sobre o desenvolvimento converge cada vez mais para uma percepção transdisciplinar, complexa e intangível. Nessa perspectiva, os atuais métodos utilizados na construção de índices e sistemas de indicadores sociais, mostram-se insuficientes para representar o fenômeno e o KDD destaca-se em meio ao estado da arte das tecnologias de pesquisa empregadas no estudo desse tema como um método promissor, uma vez que contempla a modelagem de conceitos sociais e permite identificar e mensurar diversas relações entre os fatores associados ao fenômeno. A partir da teoria das medições, que se baseia na filosofia da ciência e na estatística, são exploradas as potencialidades analíticas do método na elaboração de índices sociais, tanto em nível teórico-metodológico – em que se discutem os construtos, modelos e indicadores – quanto em nível prático, através da sua aplicação ao contexto do desenvolvimento social no Brasil. Para isso, no nível teóricometodológico, são analisados quarenta e três dos mais conhecidos trabalhos nacionais e internacionais utilizados na mensuração do desenvolvimento social. No nível prático, são utilizados dados públicos do Instituto Brasileiro de Geografia e Estatística, Ministério da Saúde, Ministério da Educação e Ministério da Justiça de todos os 5.560 municípios brasileiros. Os resultados da pesquisa apontam que, de fato, o KDD apresenta-se como um método com grande potencial analítico em relação aos métodos tradicionais, revelando-se, também, como adequado à abordagem multivariada do fenômeno, uma vez que é capaz de refletir, na esfera das investigações da realidade social, a complexidade do fenômeno, em afinidade com as formulações teóricas mais recentes. Public data stored, never before available to the population today can be accessed freely via the Internet. In parallel, driven by increased computing storage and processing of data, Knowledge Discovery in Databases - KDD has become a widely discussed method for extracting knowledge from the public databases. This paper aims to contribute to the study of human development to assess the potential of KDD as a method to be employed in the measurement of social development from public information. Moreover, the evolution of scientific thinking on development converges increasingly to a perception disciplinary, complex and intangible. From this perspective, the current methods used in the construction of indexes and systems of social indicators, to be insufficient to represent the phenomenon and KDD stands out amid the state of the art search technologies employed to study this subject as a promising method, since it includes the modeling of social concepts and to identify and measure various relationships between factors associated with the phenomenon. From the theory of measurement based on philosophy of science and statistics, are exploring the potential of the analytical method in developing social indicators, both in theoretical and methodological - in which we discuss the constructs, models and indicators - as on a practical level, through its application to the context of social development in Brazil. For this, the theoretical and methodological, are analyzed Forty-three of the best known national and international work used in the measurement of social development. On a practical level, are used public data from the Brazilian Institute of Geography and Statistics, Ministry of Health, Ministry of Education and Ministry of Justice in all 5,560 Brazilian cities. The survey results indicate that, in fact, the KDD is presented as an analytical method with great potential in relation to traditional methods, revealing, too, as appropriate to the multivariate approach the phenomenon, since it is capable of reflecting, in the sphere of research of social reality, the complexity of the phenomenon, in affinity with the more recent theoretical formulations.

Submitted by Milena Rubi (milenarubi@ufscar.br) on 2017-06-01T17:00:50Z No. of bitstreams: 1 MORAES_Rodrigo_2016.pdf: 42751751 bytes, checksum: 25891a495567a6bce1d41328abf03d12 (MD5) / Approved for entry into archive by Milena Rubi (milenarubi@ufscar.br) on 2017-06-01T17:00:58Z (GMT) No. of bitstreams: 1 MORAES_Rodrigo_2016.pdf: 42751751 bytes, checksum: 25891a495567a6bce1d41328abf03d12 (MD5) / Approved for entry into archive by Milena Rubi (milenarubi@ufscar.br) on 2017-06-01T17:01:04Z (GMT) No. of bitstreams: 1 MORAES_Rodrigo_2016.pdf: 42751751 bytes, checksum: 25891a495567a6bce1d41328abf03d12 (MD5) / Made available in DSpace on 2017-06-01T17:01:09Z (GMT). No. of bitstreams: 1 MORAES_Rodrigo_2016.pdf: 42751751 bytes, checksum: 25891a495567a6bce1d41328abf03d12 (MD5) Previous issue date: 2016-11-25 / Não recebi financiamento / The APIs are becoming increasingly more popular and they play a important role in software development. However, many APIs are large and complex that makes them hard to learn. Among avaliable resources to learn to use an API, there are the code samples. A code sample can be used to demonstrate to a programmer how to use API’s components together to attain a specific goal. But, code sample are static and they haven’t information about how to adapt the code snippet shown as example to programmer’s context. Tools have been proposed to assist the programmers in finding and adapting code snippets that may be useful for a programming task. A specific type of these tools are the code template tools. Code templates are code snippets manually registered containing integration directives. The integration directives instruct the code template tool on how to adapt a code snippet to programmer’s context. In this work, code snippet tools are investigated and it is proposed a code template tool called IPS. It presents some novelties in relation to other code template tools. In the IPS, a code template can be associated to a Java class and the IPS has a code template recommender that is automatically updated as the source code is edited by the programmer. Also it is proposed the role parameters, a new concept for the parameters of code templates that extends the concept of the parameters associated to a type which is present in current code template tools. The role parameters has the objective of accepting arguments that would at first be incompatible with a specific type, but that obey a expected pattern. / As APIs têm se tornado cada vez mais populares e elas têm um papel fundamental no desenvolvimento de software. No entanto, muitas APIs são grandes e complexas o que torna a aprendizagem delas difícil. Entre os recursos disponíveis para se aprender a utilizar uma API, há os exemplos de código. Um exemplo de código pode demonstrar a um programador como componentes de uma API podem ser utilizados juntos para atingir um determinado objetivo. Porém, exemplos de código são estáticos e não contêm informações de como adaptar o trecho de código apresentado como exemplo para o contexto do programador. Ferramentas têm sido propostas para auxiliar os programadores a encontrarem e adaptarem trechos de códigos que possam ser úteis para uma tarefa de programação. Um tipo específico dessas ferramentas são as ferramentas de templates de código. Templates de código são trechos de códigos cadastrados manualmente contendo diretivas de integração. As diretivas de integração instruem a ferramenta a como adaptar um trecho de código para o contexto do programador. Neste trabalho, ferramentas de trechos de código são investigadas e é proposta uma ferramenta de template de código denominada IPS. Ela apresenta novidades em relação às outras ferramentas de templates de código. No IPS, um template de código pode ser associado a uma classe Java e o IPS possui um recomendador de templates de código que é automaticamente atualizado conforme o código fonte é editado pelo programador. Também é proposto os parâmetros do tipo role, um novo conceito que estende o conceito dos parâmetros associados a um tipo que está presente nas ferramentas de templates de código atuais. Os parâmetros do tipo role têm como objetivo aceitar argumentos que seriam a princípio incompatíveis com um determinado tipo, porém que sigam um determinado padrão esperado.

ASICs estruturados com leiautes regulares representam uma das soluções para a perda de rendimento de fabricação de circuitos integrados em tecnologias nanométricas causada pela distorção de fotolitografia. Um método de projeto de circuitos integrados ainda mais restritivo resulta em ASICs estruturados configuráveis apenas pelas camadas de vias, que são compostos pela repetição do mesmo modelo de bloco em todas as camadas do leiaute, exceto as camadas de vias. A escolha do modelo de bloco tem grande influência nas características do circuito final, criando a demanda por novas ferramentas de CAD que possam avaliar e comparar tais modelos em seus diversos aspectos. Esta tese descreve um ambiente de CAD baseado em SAT, capaz de avaliar o aspecto de capacidade lógica em padrões de blocos configuráveis por vias. O ambiente proposto é genérico, podendo tratar quaisquer padrões de bloco definido pelo usuário, e se comporta de maneira eficiente quando aplicado aos principais padrões já publicados na literatura. / Structured ASICs with regular layouts comprise a design-based solution for IC manufacturing yield loss in nanometer technologies caused by photolithography distortions. Via-configurable structured ASICs is even a more restrictive digital IC design method, based on the repetition of a block template comprising all layout layers except the vias one. The choice of such a design strategy impacts greatly the final circuit characteristics, arising the need for specific CAD tools to allow template evaluation and comparison in different aspects. This work presents a SAT-based CAD environment for evaluating the logical capacity aspect of via-configurable block templates. The proposed environment is able to support any user-defined template, and behaves efficiently when applied to block templates presented in related literature.

The international community has long relied on United Nations (UN) peace operations as the means of creating and maintaining international peace and security, however the realities of what a “successful” mission looks like remains obscured, as the experiences and definitions of success may differ between the various players involved. While a shared definition of success and operational structure remains elusive, it is clear that the assessment of UN missions must be conducted in a holistic manner, from mandate crafting, to mission transition and exit. Among these realities is that the assessment of UN peace operation success is all too often hindered by political partiality with the determination of mission success frequently held hostage by faulty political processes. It is essential that evaluative frameworks encompass the various stages of a peace operation, in order to illustrate the political challenges that often obstruct the planning and assessment of a UN mission. Highlighting the political obstacles associated with holistic mission planning and assessment, against the backdrop of ongoing, ad hoc UN peace operation deployments to Haiti, breaks down existing normative positions and exposes the realities and voids in current methodology.

This diploma thesis defines the term indexing and in preamble are discussed known indexing algorithms and difference between indexing static and moving objects. The practical part of this diploma thesis is aimed to designing and implementing of indexing algorithm for open source application MaNGOS with respect to generic design pattern and effectiveness of spatial search queries for selection of the objects given properties in the specified area. At the end I present and discuss reached results.

Mural paintings in the urban environment in 16th and beginning of 17th century has been rather an ignored topic, however its artistic interpretation and iconographic concept says a lot about the life of residents during Renaissance. The art phenomenon in this work was studied on the borderland between Bohemia and Moravia, currently the place of Havlíčkův Brod, Pelhřimov and Jihlava districts. At the same time, this division facilitated systematic research and listing of surviving paintings. First, the study focuses on the summary of a colourful historical situation in the given place and religious affairs related in particular, but not only to the New Utraquism and Lutheranism which followed up local Utraquist foundations from the Hussite Era. One of the aims of the work is to study the relationship between religion and artistic or iconographic interpretation of paintings. Selected artistic sources related in particular to the graphic works of that time play also important role. This is why other chapters are dedicated to the study of the theory of art of mural paintings, urban houses abroad and in the concerned location, study of sacral interiors within the context of the Saxon environment, and the last chapter deals with the thematic and iconographic study of collected paintings. The results...

This project is focused on software design and implementation. This software represents a generator of web information system source code developed in ASP.NET 2.0. The information system requires the SQL database. The source code generated by this application is the base of the next development in Visual Studio 2008. This project inspects similar generators too.

The subject of the diploma thesis entitled Development of pedagogical staff in relation to trends in the management of secondary schools is the analysis of approaches in terms of national strategy, but also in terms of secondary schools themselves. The theoretical part presents the educational policy and educational system in the Czech Republic, the legislative concept and definition of education and a description of the control body, which is the Czech School Inspectorate. The work also contains a theoretical basis and theoretical background of the issues focused on the strategic management of human resources in general, but also in the concept of secondary education. The starting point of the research is the approach to strategic management of human resources in the field of education of teachers at secondary schools according to conceptual documents focusing on the quality of education and development of teachers in the Czech Republic and the use of funds offered by the Ministry of Education, Youth and Sports. Documents and approaches related to the strategy of educational policy for the following period had examined, as well as the set quality criteria of secondary schools and grammar schools. Based on the findings from the above strategic and conceptual documents concerning secondary schools...