[pt] O planejamento hidrotérmico estocástico multi-etapa se destaca como um dos problemas mais importantes do setor elétrico, principalmente devido à sua grande relevância na operação do sistema. Este problema refere-se a determinar o despacho ótimo das usinas que minimizam o custo de operação sob as restrições físicas do sistema. Uma das principais dificuldades do problema reside nas representações de incerteza, pois a decisão de despacho deve considerar os diferentes cenários possíveis de afluência de água, geração renovável e demanda. Mais recentemente, o grande aumento de fontes renováveis variáveis trouxe a atenção dos pesquisadores para como melhorar a granularidade do modelo sem aumentar muito o tempo computacional. Neste trabalho é proposto uma nova formulação para um despacho econômico estocástico multi-etapa com unit-commitment. O modelo usa regras de decisão afins para ser computacionalmente tratável. A relação entre regras de decisão e o scenario approach é explorada e, ao construir o conjunto de incertezas, tanto a viabilidade da política da regra de decisão quanto a restrição probabilística do balanço de carga são automaticamente respeitadas. / [en] Multi-stage stochastic hydrothermal planning stands as one of the most critical problems in the power systems industry, mostly due to its vast implication in the system operation. The multi-stage stochastic hydrothermal scheduling refers to determining the economic dispatch of the power plants that minimize the global operation cost under the system s physical constraints. One of the main difficulties of the problem lies in the representations of uncertainty, as the dispatch decision must consider the different possible scenarios of water inflow, renewable generation, and the demand. More recently, we have seen a worldwide speed up in the integration of variable renewable sources. Nonetheless, these sources have a greater uncertainty in the short-term than the world has ever experienced. Therefore, to support the dispatch scheduling, the models must accurately represent the uncertainties without increasing computational time. In this work it is proposed a novel formulation for a multistage stochastic week-ahead economic dispatch with unit-commitment. The model uses affine decision rules to be computationally tractable. The relationship between the decision rules and the scenario approach is explored, and by building the uncertainty set with the scenario approach, both the feasibility of the decision rule policy and the chance-constraint on the load balance are respected.

[pt] Esta Tese Doutoral debruça-se sobre o uso retórico das alegorias de Gl 4,1–5,1 como forma de se compreender o debate paulino sobre a escravidão e a liberdade, a partir das regras de Hillel. Partindo da investigação das ferramentas semânticas e linguísticas que moldaram a interpretação da Escritura em contexto judaico do primeiro século, percebe-se como Paulo utiliza-se de tais técnicas e ensinamentos oriundos de escolas rabínicas em sua elaboração de Gl 4,1–5,1. Deste modo, a pesquisa visa estudar o texto bíblico seguindo os critérios acadêmicos reconhecidos para análises deste caráter, para compreender os elementos que norteiam o sentido teológico do uso paulino das distintas figuras paradigmáticas, centradas na ideia de filiação, como parte integrante de um grande argumento retórico, como estratégia de diálogo, defesa e resgate da comunidade da Galácia, ameaçada por indivíduos que buscavam contradizer a pregação do apóstolo / [en] This Doctoral Thesis focuses on the rhetorical use of the allegories of Gl 4,1–5,1 as away of understanding the Pauline debate on slavery and freedom, based on Hillel s rules. Starting from the investigation of the semantic and linguistic tools that shaped the interpretation of Scripture in the Jewish context of the first century, it is clear how Paul uses such techniques and teachings from rabbinical schools in his elaboration of Gl 4,1–5,1. In this way, the research aimsto study the biblical text following the academic criteria recognized for analyzes of this character, to understand the elements that guide the theological meaning of Paul s use of diferente paradigmatic figures, centered on the idea of filiation, as an integral part of a great argument rhetorical, as a strategy of dialogue, defense and rescue of the Galatian community, threatened byindividuals who sought to contradict the apostle s preaching.

[pt] Este trabalho tem como objetivo construir um classificador baseado em regras de inferência fuzzy, as quais são extraídas a partir de máquinas de vetor suporte (SVMs) e ajustadas com o auxílio de um algoritmo genético. O classificador construído visa a diagnosticar transformadores de potência. As SVMs são sistemas de aprendizado baseados na teoria do aprendizado estatístico e apresentam boa habilidade de generalização em conjuntos de dados reais. SVMs, da mesma forma que redes neurais (RN), geram um modelo caixa preta, isto é, um modelo que não explica o processo pelo qual sua saída é obtida. Entretanto, para alguns problemas, o conhecimento sobre como a classificação foi obtida é tão importante quanto a classificação propriamente dita. Alguns métodos propostos para reduzir ou eliminar essa limitação já foram desenvolvidos, embora sejam restritos à extração de regras simbólicas, isto é, contêm funções ou intervalos nos antecedentes das regras. No entanto, a interpretabilidade de regras simbólicas ainda é reduzida. De forma a aumentar a interpretabilidade das regras, o modelo FREx_SVM foi desenvolvido. Neste modelo as regras fuzzy são extraídas a partir de SVMs treinadas. O modelo FREx_SVM pode ser aplicado a problemas de classificação com n classes, não sendo restrito a classificações binárias. Entretanto, apesar do bom desempenho do modelo FREx_SVM na extração de regras linguísticas, o desempenho de classificação do sistema de inferência fuzzy obtido é ainda inferior ao da SVM, uma vez que as partições (conjuntos fuzzy) das variáveis de entrada são definidas a priori, permanecendo fixas durante o processo de aprendizado das regras. O objetivo desta dissertação é, portanto, estender o modelo FREx_SVM, de forma a permitir o ajuste automático das funções de pertinência das variáveis de entrada através de algoritmos genéticos. Para avaliar o desempenho do modelo estendido, foram realizados estudos de caso em dois bancos de dados: Iris, como uma base benchmark, e a análise de resposta em frequência. A análise de resposta em frequência é uma técnica não invasiva e não destrutiva, pois preserva as características dos equipamentos. No entanto, o diagnóstico é feito de modo visual comparativo e requer o auxílio de um especialista. Muitas vezes, este diagnóstico é subjetivo e inconclusivo. O ajuste automático das funções de pertinência correspondentes aos conjuntos fuzzy associados às variáveis de entrada reduziu o erro de classificação em até 13,38 por cento em relação à configuração sem este ajuste. Em alguns casos, o desempenho da configuração com ajuste das funções de pertinência supera até mesmo aquele obtido pela própria SVM. / [en] This work aims to develop a classifier model based on fuzzy inference rules, which are extracted from support vector machines (SVMs) and optimized by a genetic algorithm. The classifier built aims to diagnose power transformers. The SVMs are learning systems based on statistical learning theory and have provided good generalization performance in real data sets. SVMs, as artificial neural networks (NN), generate a black box model, that is, a model that does not explain the process by which its output is obtained. However, for some applications, the knowledge about how the classification was obtained is as important as the classification itself. Some proposed methods to reduce or eliminate this limitation have already been developed, although they are restricted to the extraction of symbolic rules, i.e. contain functions or ranges in the rules´ antecedents. Nevertheless, the interpretability of symbolic rules is still reduced. In order to increase the interpretability of the rules, the FREx_SVM model was developed. In this model the fuzzy rules are extracted from trained SVMs. The FREx_SVM model can be applied to classification problems with n classes, not being restricted to binary classifications. However, despite the good performance of the FREx_SVM model in extracting linguistic rules, the classification performance of fuzzy classification system obtained is still lower than the SVM, since the partitions (fuzzy sets) of the input variables are predefined at the beginning of the process, and are fixed during the rule extraction process. The goal of this dissertation is, therefore, to extend the FREx_SVM model, so as to enable the automatic adjustment of the membership functions of the input variables through genetic algorithms. To assess the performance of the extended model, case studies were carried out in two databases: iris benchmark and frequency response analysis. The frequency response analysis is a noninvasive and non-destructive technique, because it preserves the characteristics of the equipment. However, the diagnosis is carried out by visual comparison and requires the assistance of an expert. Often, this diagnosis is subjective and inconclusive. The automatic adjustment of the membership functions associated with input variables reduced the error up to 13.38 per cent when compared to the configuration without this optimization. In some cases, the classification performance with membership functions optimization exceeds even those obtained by SVM.

Made available in DSpace on 2016-04-26T20:21:11Z (GMT). No. of bitstreams: 1 MarianaGama.pdf: 821073 bytes, checksum: 402b9864ba857f81db2e8321d820abb4 (MD5) Previous issue date: 2005-10-18 / The legal basis of the contract of carriage of goods by sea is the main object of the present work. The choice of this topic was influenced by the great importance that it presents and by the little prominence that the current Brazilian doctrine grants to it. Furthermore, due to the increase of the Brazilian exportation, the subject-matter is each time more appreciated by the national courts. In the present work were considered not only rules of domestic law, mainly represented by the Civil Code of 2002, but also principles of international law represented by two international conventions about the subject: the International Convention for the Unification of Certain Rules of Law Relating to Bills of Lading (Brussels Convention, of 1924), and the United Nations Convention on the Carriage of Goods by Sea (the Hamburg Rules, of 1978). Certain rules of comparative law had also been indicated mainly when the subject is not regulated by the domestic legal system. Finally, it was made an analysis of two other kinds of economic exploitation of the ship: the chartering contract (time and voyage charter) and the bare boat charter, comparing them to the contract of carriage of goods by sea, and although they present some contact points with the contract, they differ from it. / O regime jurídico do contrato de transporte de mercadorias por via marítima é o principal objeto de estudo do presente trabalho. A escolha do tema foi influênciada pela grande importância que apresenta e devido ao pouco destaque que a doutrina brasileira atual lhe concede. Ademais, em função do aumento das exportações brasileiras, a matéria é cada vez mais apreciada pelos tribunais nacionais. No presente ensaio foram abordadas não somente as normas de direito interno, representadas principalmente pelo Código Civil de 2002, mas também as normas de direito internacional, consubstanciadas em duas convenções internacionais sobre a matéria: a Convenção Internacional para a Unificação de Certas Regras em Matéria de Conhecimentos (Convenção de Bruxelas, de 1924) e a Convenção das Nações Unidas para o Transporte de Mercadorias por Mar (Regras de Hamburgo, de 1978). Foram também indicados dispositivos de direito comparado, principalmente quando a matéria não for abordada pelo ordenamento jurídico pátrio. Por fim, foi feita uma análise de outras duas formas de exploração econômica do navio: o contrato de afretamento (por tempo e por viagem) e a locação, confrontando-as com o contrato de transporte marítimo de mercadorias, que, embora apresentem alguns pontos de contato, não se confundem com o contrato, objeto de comparação.

[pt] A distinção entre argumentar a partir de regra, e argumentar quando não há regra, é retomada para elucidar alguns aspectos da atividade justificatória no âmbito legal. A referida distinção encontrou em Rawls um porta-voz que realçou de modo incisivo sua importância para a prática legal. Antes dele, porém, Hume, Mill, Ryle e Toulmin, entre outros, já haviam tecido considerações relevantes ao tema. A distinção serve de motivação para dividir o campo da argumentação prática, particularmente da argumentação jurídica, em duas classes, a saber, argumentos de primeira e de segunda ordem. Nos argumentos de segunda ordem, uma regra atua na forma descrita no modelo de Toulmin. Nos argumentos de primeira ordem, caracterizados pela ausência de regra, procede-se mediante ponderação de razões, substanciadas em princípios gerais, valores morais, interesses políticos, programas econômicos, considerações religiosas e pretensões corporativas. Alguns exemplos ilustram a distinção. Argumenta-se que a base lógica dessa distinção assenta-se no conceito de regra como razão excludente, no sentido estabelecido por Joseph Raz. / [en] The distinction between justify a conclusion from rule and justify it when no rule is resumed to elucidate some aspects of legal activity. This distinction found in Rawls a spokesman that incisively pointed out its importance for the legal practice. Before him, however, Hume (A Treatise of Human Nature), Mill (A System of Logic), Ryle (The Concept of Mind) and Toulmin (The Uses of Argument), among others, had already made relevant considerations to the topic. The distinction serves as motivation to split the field of argumentation practice, particularly of the legal argument, into two classes, namely, arguments of first and second order. In the arguments of second order, a rule operates in the manner described in the Toulmin model, in the arguments of the first order, characterized by the absence of rule, by weighting of reasons, substantiated on general principles, moral values, political interests, religious considerations and corporate claims. Some examples illustrate the distinction. It is argued that the logical basis of this distinction is based on the concept of rule as exclusionary reason, within the meaning established by Joseph Raz.

Na área de inteligência artificial existem algoritmos de aprendizado, notavelmente aqueles pertencentes à área de aprendizado de máquina AM , capazes de automatizar a extração do conhecimento implícito de um conjunto de dados. Dentre estes, os algoritmos de AM simbólico são aqueles que extraem um modelo de conhecimento inteligível, isto é, que pode ser facilmente interpretado pelo usuário. A utilização de AM simbólico é comum no contexto de classificação, no qual o modelo de conhecimento extraído é tal que descreve uma correlação entre um conjunto de atributos denominados premissas e um atributo particular denominado classe. Uma característica dos algoritmos de classificação é que, em geral, estes são utilizados visando principalmente a maximização das medidas de cobertura e precisão, focando a construção de um classificador genérico e preciso. Embora essa seja uma boa abordagem para automatizar processos de tomada de decisão, pode deixar a desejar quando o usuário tem o desejo de extrair um modelo de conhecimento que possa ser estudado e que possa ser útil para uma melhor compreensão do domínio. Tendo-se em vista esse cenário, o principal objetivo deste trabalho é pesquisar métodos de computação evolutiva multiobjetivo para a construção de regras de conhecimento individuais com base em critérios definidos pelo usuário. Para isso utiliza-se a biblioteca de classes e ambiente de construção de regras de conhecimento ECLE, cujo desenvolvimento remete a projetos anteriores. Outro objetivo deste trabalho consiste comparar os métodos de computação evolutiva pesquisados com métodos baseado em composição de rankings previamente existentes na ECLE. É mostrado que os métodos de computação evolutiva multiobjetivo apresentam melhores resultados que os métodos baseados em composição de rankings, tanto em termos de dominância e proximidade das soluções construídas com aquelas da fronteira Pareto-ótima quanto em termos de diversidade na fronteira de Pareto. Em otimização multiobjetivo, ambos os critérios são importantes, uma vez que o propósito da otimização multiobjetivo é fornecer não apenas uma, mas uma gama de soluções eficientes para o problema, das quais o usuário pode escolher uma ou mais soluções que apresentem os melhores compromissos entre os objetivos / Machine Learning algorithms are notable examples of Artificial Intelligence algorithms capable of automating the extraction of implicit knowledge from datasets. In particular, Symbolic Learning algorithms are those which yield an intelligible knowledge model, i.e., one which a user may easily read. The usage of Symbolic Learning is particularly common within the context of classification, which involves the extraction of knowledge such that the associated model describes correelation among a set of attributes named the premises and one specific attribute named the class. Classification algorithms usually target into creating knowledge models which maximize the measures of coverage and precision, leading to classifiers that tend to be generic and precise. Althought this constitutes a good approach to creating models that automate the decision making process, it may not yield equally good results when the user wishes to extract a knowledge model which could assist them into getting a better understanding of the domain. Having that in mind, it has been established as the main goal of this Masters thesis the research of multi-objective evolutionary computing methods to create individual knowledge rules maximizing sets of arbitrary user-defined criteria. This is achieved by employing the class library and knowledge rule construction environment ECLE, which had been developed during previous research work. A second goal of this Masters thesis is the comparison of the researched evolutionary computing methods against previously existing ranking composition methods in ECLE. It is shown in this Masters thesis that the employment of multi-objective evolutionary computing methods produces better results than those produced by the employment of ranking composition-based methods. This improvement is verified both in terms of solution dominance and proximity of the solution set to the Pareto-optimal front and in terms of Pareto-front diversity. Both criteria are important for evaluating the efficiency of multi-objective optimization algorithms, for the goal of multi-objective optimization is to provide a broad range of efficient solutions, so the user may pick one or more solutions which present the best trade-off among all objectives

Atualmente as empresas precisam de sistemas ágeis a mudanças constantes do ambiente do negócio e para garantir que os sistemas cumpram com sua finalidade, os desenvolvedores devem possuir uma compreensão mais aprofundada sobre a organização, seus objetivos, metas e estratégias de mercado. O principal problema para o desenvolvimento de sistemas de software tem sido a dificuldade em se obter informações sobre o domínio da aplicação. Essa dificuldade levou ao surgimento de técnicas de modelagem organizacional, sendo uma atividade valiosa para a compreensão do ambiente empresarial. O EKD - Enterprise Knowledge Development - é uma metodologia que fornece uma forma sistemática e controlada de analisar, entender, desenvolver e documentar uma organização. Infelizmente não possui uma sintaxe e semântica bem definidas, dificultando análises mais complexas dos modelos. Como resultado, o modelo de processos de negócio do EKD pode ser ambíguo e de difícil análise, principalmente em sistemas mais complexos, não sendo possível verificar a consistência e completude do modelo. Neste trabalho, esses problemas serão estudados sob uma abordagem baseada em redes de Petri. O formalismo de redes de Petri a torna uma importante técnica de modelagem para a representação de processos. Além disso, redes de Petri permitem rastrear cada etapa da operação sem ambigüidade e possuem métodos eficientes de análise que garantem que o modelo está livre de erros. Assim, este trabalho tem como objetivo desenvolver um método de avaliação do modelo de processo de negócio do EKD (MPN-EKD). Por meio desse método é possível verificar se o modelo tem erros de construção e travamentos. Este método pode ser aplicado em modelos direcionados para o desenvolvimento de sistema de informação ou de controle do fluxo de trabalho, e pode ser utilizado também para o estudo de estratégias de trabalho e simulação do fluxo de trabalho. / Nowadays all companies need fast systems and frequent changes on the business environment and to guarantee that the systems are reaching their goals, the developers must have a deeper comprehension of the enterprise, its goals and market strategies. The main problem to the development of software systems has been the difficulty to obtain information about the application domain. This difficulty leaded to the creation of enterprise modeling techniques, which is a valuable activity for the comprehension of business environment. The EKD - Enterprise Knowledge Development - is a methodology that gives a systematic and controlled way to analyze, understand, develop, and document an enterprise. Unfortunately it doesn\'t have syntax neither a semantic well defined, which doesn\'t help on more complex analyses of the models. As a result, the enterprise process model of EKD can be ambiguous and hard to analyze, especially on more complex systems, and also it is not possible to verify the consistency and entireness of the model. On this paper, these problems will be studied under an approach based on Petri nets. Because of the Petri nets formalism this is an important modeling technique to process representation. Furthermore, Petri nets allow the tracking of each step of the operation without ambiguity and also they have efficient methodology for analyses, which guarantee the accuracy of the model. Therefore, this work has the objective to develop an evaluation methodology of the business process model of EKD (MPN-EKD). Such methodology will make possible the verification of possible building and locking model errors. This methodology can be applied to information systems or workflow, and also can be used to study the strategies of work and workflow simulations.

Made available in DSpace on 2016-04-26T20:24:10Z (GMT). No. of bitstreams: 1 Ageu Libonati Junior.pdf: 1491313 bytes, checksum: 6538878ff3c8597ea2f029b85b469926 (MD5) Previous issue date: 2016-02-16 / The tax exemption when related to human rights, must admit ample means of investigation, not restricted to the literal plane or grammar. Thus, it examined the international and domestic legislation of the Brazilian state, noting to national and foreign doctrine, and the study of judgments of Brazilian courts. Was researched and analyzed the relevant case law under the higher courts, involving the environment, hospital services, and the exemptions related to serious illness and labor income earned by diplomatic servers from foreign governments and international organizations that Brazil is a member or have by treaty or convention. Thus, the objective of this doctoral thesis is to demonstrate that the tax exemption related to the effectiveness of human rights admit large research methods, not limited to the literal or grammatical method. Thus, traditional methods of interpretation of the legal rule in the Brazilian doctrine were investigated, not running out on them, since the present work is to study the interpretation of tax exemption related to human rights. The objective is of paramount importance because the fiscalist character of national legislation related to the exemption, requiring a restrictive interpretation of the exemption rule. And that it is unacceptable because human rights are positivized in the Brazilian constitutional system, as fundamental rights, as is observed Article 5 of the Federal Constitution. Moreover, the Constitution, in Articles 1 to 4, ruled that the Federative Republic of Brazil is founded on the dignity of the human person and social work values and goals to eradicate poverty and marginalization, the prevalence of human rights all closely related to human rights. Thus, the interpretation of tax exemptions related to human rights should be focused on the fundamentals, objectives, principles that lead the Federative Republic of Brazil, and invalidated the norm that restricts the methods of interpretation. We concluded in the end that the interpretation of tax exemptions related human rights can not ignore the legal reality that those won special mention in the Constitution, becoming the standards of the most important in the system. Thus, we demonstrate satisfactorily and with support in elite doctrine that the tax exemption when related to human rights, allow ample means of investigation, because there is a deep relationship between the Constitution and human rights, which authorizes us to conclude that all interpretation and assertiveness of law must take into account the Universal Declaration of Human Rights / A isenção tributária, quando relacionada aos direitos humanos, deve admitir amplos meios de investigação, não se restringido ao plano de literalidade ou gramatical. Dessa forma, o objetivo da presente tese é demonstrar que a isenção tributária relacionada à efetividade dos direitos humanos admite amplos métodos de investigação. Neste sentido por meio de pesquisa documental e bibliográfica examinamos legislação internacional e interna do estado brasileiro, anotando-se a doutrina nacional e estrangeira, bem como o estudo de decisões judiciais dos tribunais brasileiro. Pesquisamos e analisamos ainda a jurisprudência de relevo, no âmbito dos tribunais superiores, envolvendo o meio ambiente, os serviços hospitalares, as isenções relacionadas a doenças graves e os rendimentos do trabalho auferidos por servidores diplomáticos de governos estrangeiros e de organismos internacionais de que o Brasil faz parte ou se tenha por tratado ou convênio. Utilizamos os métodos tradicionais de interpretação da norma jurídica na doutrina brasileira, não nos atendo somente a esses, uma vez que este trabalho tem por estudo a interpretação da isenção tributária relacionada aos direitos humanos. A relevância científica e social deste tema denota que o caráter fiscalista da legislação nacional, relacionado à desoneração, impõe uma interpretação restritiva da norma de isenção. Dentre os resultados encontrados, isso não é aceitável, pois os direitos humanos estão positivados no sistema constitucional brasileiro, como direitos fundamentais, consoante observamos no artigo 5º da Constituição Federal. Ademais, a Carta Magna, em seus artigos 1º a 4º, determinou que a República Federativa do Brasil tem como fundamentos a dignidade da pessoa humana e os valores sociais do trabalho e, como escopo, erradicar a pobreza e a marginalização, todos intimamente relacionados com os direitos humanos. Assim, a interpretação das isenções tributárias deve estar focada nos fundamentos, objetivos e princípios que conduzem a República Federativa do Brasil, sendo invalidada a norma que restringe os métodos de interpretação. Concluímos que a interpretação das isenções tributárias não pode ignorar a realidade jurídica de que aqueles ganharam especial destaque no texto constitucional, constituindo-se nas normas das mais importantes no sistema. Demonstramos, então, com amparo na doutrina de escol, que a isenção tributária, quando voltada aos direitos humanos, admite amplos meios de investigação, pois existe profunda relação entre o texto constitucional e os direitos humanos, o que nos autoriza deduzir que toda a interpretação e a positivação do direito tem que levar em consideração a Declaração Universal dos Direitos do Homem

Made available in DSpace on 2016-04-04T18:31:32Z (GMT). No. of bitstreams: 1 Andreiwid Sheffer Correa.pdf: 4501821 bytes, checksum: 3d9f7fecc118ff0dc70b11ea481d5e67 (MD5) Previous issue date: 2012-11-23 / The unstructured and unplanned implementation of technological solutions leads to wastage of resources and imposes itself as a barrier to achieving the potential benefits of information technologies and communication. The problem increases when managers who operate these technologies are part of the public administration, as structural issues make this scenario open for merely temporary, strictly proprietary, experimental or doomed to obsolescence solutions, resulting in interoperability problems. Thus, the possible damage extrapolates financial issues and compromise expected social return. In an attempt to avoid this problem, several countries are developing and adopting government interoperability frameworks to guide their actions in electronic government. These architectures expose successful solutions for technical, semantic and organizational dimension of interoperability, and reflect on the best path according to the understanding of its government. However, specifically for the technical dimension, there is no way to evaluate the effectiveness of these architectures and assess how the solutions are interoperable. This work aims to propose a maturity model for technical interoperability in order to assess the use of standards and assist software and systems engineers, as well as professionals in general, to focus their efforts on the use of recommended technologies by good practices. It has been based on e-PING architecture, which is the Brazilian standard for interoperability. In addition, this work proposes the development and use of a rule-based system that implements fuzzy logic to assist evaluation and adherence to the model. To verify model feasibility and validate the developed system, this paper also uses a real scenario as the basis of analysis of interoperability. / A implementa??o desestruturada e n?o planejada de solu??es tecnol?gicas ? fonte de desperd?cio de recursos e imp?e-se como barreira para obten??o dos potenciais benef?cios do uso das tecnologias da informa??o e comunica??o. O problema acentua-se quando gestores dessas tecnologias atuam para a administra??o p?blica, pois quest?es estruturais fazem com que este cen?rio abra espa?o para solu??es pontuais e transit?rias, estritamente propriet?rias, experimentais ou fadadas ? obsolesc?ncia, o que resulta em problemas de interoperabilidade. Desse modo, os poss?veis danos extrapolam o sentido financeiro por comprometer o retorno social esperado. Na tentativa de contornar essa quest?o, v?rios pa?ses v?m desenvolvendo e adotando as arquiteturas de interoperabilidade governamentais para orientar suas a??es de governo eletr?nico. Essas arquiteturas buscam evidenciar, a partir dos aspectos t?cnicos, sem?nticos ou organizacionais, as solu??es bem sucedidas e aceitas universalmente, al?m de refletirem o melhor caminho para a interoperabilidade, segundo o entendimento de cada governo. No entanto, especificamente para o aspecto t?cnico, n?o existe um meio para avaliar a efetiva utiliza??o dessas arquiteturas e aferir o qu?o interoper?veis as solu??es se encontram. Este trabalho visa propor um modelo de maturidade para interoperabilidade t?cnica com o objetivo de medir o uso de padr?es de interoperabilidade e auxiliar engenheiros de softwares e de sistemas, assim como profissionais em geral, a direcionar seus esfor?os no emprego de tecnologias consagradas pelas boas pr?ticas de mercado. Tem-se, como base para a constru??o do modelo, a arquitetura e-PING, que ? o padr?o brasileiro de interoperabilidade. Adicionalmente, este trabalho prop?e o desenvolvimento e utiliza??o de um sistema baseado em regras que emprega l?gica nebulosa para auxiliar no processo de avalia??o da ader?ncia ao modelo. Para verifica??o da viabilidade do modelo e valida??o do sistema desenvolvido, este trabalho tamb?m utiliza um cen?rio real para servir de base de an?lise da interoperabilidade.

Orientador: Nival Nunes de Almeida / Inclui Listas de ilustrações; e lista de abreviaturas e siglas. / Inclui Glossário. / Dissertação (mestrado) - Escola de Guerra Naval, Programa de Pós-Graduação em Estudos Marítimos (PPGEM), Rio de Janeiro, 2016. / Bibliografia: f.122-127 / O objetivo desta dissertação é apresentar as possibilidades e limitações do uso de medidas de restrição e controle da navegação para proteger a infraestrutura crítica offshore localizada nas bacias do Espírito Santo, Campos e Santos. Por meio do método hi / This thesis aims to present possibilities and limitations for using maritime traffic restriction and control measures to protect offshore critical infrastructure assets located at Espírito Santo, Campos and Santos Basin. Through the hypothetical-deductive / Made available in DSpace on 2018-02-14T18:06:20Z (GMT). No. of bitstreams: 0 Previous issue date: 2016. Added 1 bitstream(s) on 2019-02-13T18:01:10Z : No. of bitstreams: 1 000015a5.pdf: 3638703 bytes, checksum: 29a297725330a3642755ca7f422d61be (MD5)