Uma metodologia para modelagem e avaliação da dependabilidade de redes industriais sem fio

Ensuring the dependability requirements is essential for the industrial applications since faults may cause failures whose consequences result in economic losses, environmental damage or hurting people. Therefore, faced from the relevance of topic, this thesis proposes a methodology for the dependability evaluation of industrial wireless networks (WirelessHART, ISA100.11a, WIA-PA) on early design phase. However, the proposal can be easily adapted to maintenance and expansion stages of network. The proposal uses graph theory and fault tree formalism to create automatically an analytical model from a given wireless industrial network topology, where the dependability can be evaluated. The evaluation metrics supported are the reliability, availability, MTTF (mean time to failure), importance measures of devices, redundancy aspects and common cause failures. It must be emphasized that the proposal is independent of any tool to evaluate quantitatively the target metrics. However, due to validation issues it was used a tool widely accepted on academy for this purpose (SHARPE). In addition, an algorithm to generate the minimal cut sets, originally applied on graph theory, was adapted to fault tree formalism to guarantee the scalability of methodology in wireless industrial network environments (< 100 devices). Finally, the proposed methodology was validate from typical scenarios found in industrial environments, as star, line, cluster and mesh topologies. It was also evaluated scenarios with common cause failures and best practices to guide the design of an industrial wireless network. For guarantee scalability requirements, it was analyzed the performance of methodology in different scenarios where the results shown the applicability of proposal for networks typically found in industrial environments

Deciding difference logic in a Nelson-Oppen combination framework

O método de combinação de Nelson-Oppen permite que vários procedimentos de decisão, cada um projetado para uma teoria específica, possam ser combinados para inferir sobre teorias mais abrangentes, através do princípio de propagação de igualdades. Provadores de teorema baseados neste modelo são beneficiados por sua característica modular e podem evoluir mais facilmente, incrementalmente. Difference logic é uma subteoria da aritmética linear. Ela é formada por constraints do tipo x − y ≤ c, onde x e y são variáveis e c é uma constante. Difference logic é muito comum em vários problemas, como circuitos digitais, agendamento, sistemas temporais, etc. e se apresenta predominante em vários outros casos. Difference logic ainda se caracteriza por ser modelada usando teoria dos grafos. Isto permite que vários algoritmos eficientes e conhecidos da teoria de grafos possam ser utilizados. Um procedimento de decisão para difference logic é capaz de induzir sobre milhares de constraints. Um procedimento de decisão para a teoria de difference logic tem como objetivo principal informar se um conjunto de constraints de difference logic é satisfatível (as variáveis podem assumir valores que tornam o conjunto consistente) ou não. Além disso, para funcionar em um modelo de combinação baseado em Nelson-Oppen, o procedimento de decisão precisa ter outras funcionalidades, como geração de igualdade de variáveis, prova de inconsistência, premissas, etc. Este trabalho apresenta um procedimento de decisão para a teoria de difference logic dentro de uma arquitetura baseada no método de combinação de Nelson-Oppen. O trabalho foi realizado integrando-se ao provador haRVey, de onde foi possível observar o seu funcionamento. Detalhes de implementação e testes experimentais são relatados

Física estatística aplicada a sistemas sociais através do estudo de redes complexas

In this work a study of social networks based on analysis of family names is presented. A basic approach to the mathematical formalism of graphs is developed and then main theoretical models for complex networks are presented aiming to support the analysis of surnames networks models. These, in turn, are worked so as to be drawn leading quantities, such as aggregation coefficient, minimum average path length and connectivity distribution. Based on these quantities, it can be stated that surnames networks are an example of complex network, showing important features such as preferential attachment and small-world character

Uma investigação das sequências de fase Hebbianas descritas como grafos de assembleias neuronais

Hebb proposed that synapses between neurons that fire synchronously are strengthened, forming cell assemblies and phase sequences. The former, on a shorter scale, are ensembles of synchronized cells that function transiently as a closed processing system; the latter, on a larger scale, correspond to the sequential activation of cell assemblies able to represent percepts and behaviors. Nowadays, the recording of large neuronal populations allows for the detection of multiple cell assemblies. Within Hebb’s theory, the next logical step is the analysis of phase sequences. Here we detected phase sequences as consecutive assembly activation patterns, and then analyzed their graph attributes in relation to behavior. We investigated action potentials recorded from the adult rat hippocampus and neocortex before, during and after novel object exploration (experimental periods). Within assembly graphs, each assembly corresponded to a node, and each edge corresponded to the temporal sequence of consecutive node activations. The sum of all assembly activations was proportional to firing rates, but the activity of individual assemblies was not. Assembly repertoire was stable across experimental periods, suggesting that novel experience does not create new assemblies in the adult rat. Assembly graph attributes, on the other hand, varied significantly across behavioral states and experimental periods, and were separable enough to correctly classify experimental periods (Naïve Bayes classifier; maximum AUROCs ranging from 0.55 to 0.99) and behavioral states (waking, slow wave sleep, and rapid eye movement sleep; maximum AUROCs ranging from 0.64 to 0.98). Our findings agree with Hebb’s view that neuronal assemblies correspond to primitive building blocks of representation, nearly unchanged in 10 the adult, while phase sequences are labile across behavioral states and change after novel experience. The results are compatible with a role for phase sequences in behavior and cognition

Teoria do déficit de autocuidado análise da sua importância e aplicabilidade na prática de enfermagem

submeter a teoria do déficit de autocuidado de Orem a uma reflexão crítica. Metodologia: estudo teórico sobre os aspectos Importância e Aplicabilidade contidos no Modelo de Análise Crítica de Chinn e Kramer para análise crítica da teoria do déficit de autocuidado. Desenvolvido no período de outubro a dezembro de 2008. Resultados: o posicionamento da teoria do déficit de autocuidado está essencialmente relacionado à filosofia da enfermagem e demonstra potencial para influenciar ações de enfermagem, em especial relativas à educação para o autocuidado em pacientes portadores de cardiopatia isquêmica. Conclusões: a enfermagem, mediante a teoria do déficit de autocuidado, pode oferecer condições mais saudáveis e de maior autonomia ao indivíduo portador de cardiopatia isquêmica

A teoria de Callista Roy, a nanda-i e o cuidado ao paciente prostatectomizado

Trata-se de um estudo descritivo de caso clínico, com abordagem qualitativa, o qual possui como objetivo estabelecer relações entre os diagnósticos de enfermagem da NANDA-I e os problemas de adaptação segundo o Modelo Teórico de Roy em um paciente prostatectomizado. A coleta de dados ocorreu em um hospital universitário localizado na cidade de Natal-RN, no mês de janeiro de 2011, por meio de um roteiro de entrevista e exame físico. Os diagnósticos que apresentaram relações entre a NANDA-I e o Modelo de Roy foram: dor, ansiedade, constipação, sono, atividade, volume de líquido e infecção. Conclui-se que grande parte dos problemas adaptativos segundo o Modelo de Roy, manifestados pelos pacientes no pós-operatório de prostatectomia, possuem semelhança com os diagnósticos da NANDA-I

Justiça juvenil: teoria e prática no sistema socioeducativo

Em um momento histórico de violações e ameaças aos direitos fundamentais de crianças e adolescentes, é preciso somar esforços na luta pela transformação das políticas voltadas para esses sujeitos. A ideologia que fundamenta a criminalização de adolescentes pobres e da periferia é a mesma que impõe a redução da idade penal e que autoriza e legitima as violências institucionais cometidas no sistema socioeducativo. “Justiça juvenil: teoria e prática no sistema socioeducativo” vem apresentar fundamentos teóricos e experiências práticas com vistas à desconstrução desses processos ideológicos e à defesa intransigente da proteção integral

Recursos intangíveis de um destino turístico: um estudo de desempenho da cidade de Natal tendo como base a teoria das capacidades dinâmicas

O objetivo desta tese foi analisar os recursos intangíveis de um destino turístico. Foi feito um estudo de desempenho da cidade de Natal tendo como base a teoria das capacidades dinâmicas. Inicialmente, foi desenvolvido um instrumento de pesquisa para oportunizar a construção de um modelo de medida com vistas à captação de variáveis latentes para os recursos intangíveis existentes no setor do turismo em Natal-RN. Em seguida, foi realizada uma análise dos recursos intangíveis que são evidenciados pelos turistas acerca da cidade. Finalmente, foi feita a investigação de um modelo de estrutura que estabeleceu as relações entre as variáveis latentes dos recursos intangíveis e a percepção de desempenho do turismo na cidade de Natal. Procedeu-se uma revisão de literatura para construção de um modelo inicial acerca dos ativos intangíveis dentro da teoria das capacidades e foram relacionados dez recursos, quais sejam: recursos humanos prestadores de serviços; recursos humanos como gestores; cultura local; conservação do meio ambiente; know-how empresarial; inovação empresarial; tecnologia; marca; preço; e promoção. Estes dez recursos, em conjunto, seriam responsáveis pelo desempenho do destino turístico. Após ser realizada uma análise de equações estruturais, apenas quatro recursos manifestaram relações com o desempenho: marca; cultura; conservação do meio ambiente; e preço. Análisando dos dados, verificou-se que a variável desempenho positivo da cidade na ótica do turista se manifestou fortemente e foi influenciada de forma forte pela cultura local, marca e conservação do meio ambiente em conjunto. O preço foi influenciado pelo desempenho positivo mostrando que o turista sente que o preço pago foi satisfatório diante dos atributos do destino Provavelmente, isso seja um ponto positivo muito forte para o destino turístico de Natal, pois, em termos de recursos intangíveis e de juntos formarem capacidades, eles são inimitáveis, raros e são capazes de se ajustarem às mudanças organizacionais e ambientais, para reconfigurar os ativos e as estruturas de um destino, corroborando, assim, com a teoria das capacidades dinâmicas. Esses recursos da cidade de Natal, como destino turístico, são únicos e provavelmente têm um peso muito maior para o desempenho da cidade do que problemas existentes na localidade. Logo, esses atributos devem ser estimulados a continuar crescendo e se modificando de acordo com as exigências atuais e futuras de consumo

Teoria de carteiras e a alocação de parques eólicos offshore

The consumption of energy on the planet is currently based on fossil fuels. They are responsible for adverse effects on the environment. Renewables propose solutions for this scenario, but must face issues related to the capacity of the power supply. Wind energy offshore emerging as a promising alternative. The speed and stability are greater winds over oceans, but the variability of these may cause inconvenience to the generation of electric power fluctuations. To reduce this, a combination of wind farms geographically distributed was proposed. The greater the distance between them, the lower the correlation between the wind velocity, increasing the likelihood that together achieve more stable power system with less fluctuations in power generation. The efficient use of production capacity of the wind park however, depends on their distribution in marine environments. The objective of this research was to analyze the optimal allocation of wind farms offshore on the east coast of the U.S. by Modern Portfolio Theory. The Modern Portfolio Theory was used so that the process of building portfolios of wind energy offshore contemplate the particularity of intermittency of wind, through calculations of return and risk of the production of wind farms. The research was conducted with 25.934 observations of energy produced by wind farms 11 hypothetical offshore, from the installation of 01 simulated ocean turbine with a capacity of 5 MW. The data show hourly time resolution and covers the period between January 1, 1998 until December 31, 2002. Through the Matlab R software, six were calculated minimum variance portfolios, each for a period of time distinct. Given the inequality of the variability of wind over time, set up four strategies rebalancing to evaluate the performance of the related portfolios, which enabled us to identify the most beneficial to the stability of the wind energy production offshore. The results showed that the production of wind energy for 1998, 1999, 2000 and 2001 should be considered by the portfolio weights calculated for the same periods, respectively. Energy data for 2002 should use the weights derived from the portfolio calculated in the previous time period. Finally, the production of wind energy in the period 1998-2002 should also be weighted by 1/11. It follows therefore that the portfolios found failed to show reduced levels of variability when compared to the individual production of wind farms hypothetical offshore

Processo de implantação de um sistema integrado de gestão em uma organização pública à luz da teoria da hospitalidade :um estudo de caso

In the present time, public organizations are employing more and more solutions that uses information technology in order to ofer more transparency and better services for all citizens. Integrated Systems are IT which carry in their kernel features of integration and the use of a unique database. These systems bring several benefits and face some obstacles that make their adoption difficult. The conversion to a integrated system may take years and, thus, the study of the adoption of this IT in public sector organizations become very stimulant due to some peculiarities of this sector and the features of this technology. First of all, information about the particular integrated system in study and about its process of conversion are offered. Then, the researcher designs the configuration of the conversion process aim of this study the agents envolved and the moments and the tools used to support the process in order to elaborate the methodology of the conversion process understood as the set of procedures and tools used during all the conversion process. After this, the researcher points out, together with all the members of the conversion team, the negative and positive factors during the project. Finally, these factors were analysed through the Hospitality Theory lens which, in the researcher opinion, was very useful to understand the elements, events and moments that interfered in the project. The results consolidated empirically the Hospitality Theory presumptions, showing yet a limitation of this theory in the case in study

A teoria democrática e a participação popular : as trajetórias participativas no Recife e em Módena

This work basically achieve three goals. Critically investigate the liberal democratic regime and its historical reformulation, rejecting the popular power and popular self-organization, limiting the entry of normal citizen in decision-making, believing in the market as a mediating body in regulating of the different life spheres of social. Starting from the critical liberal democracy, it discussed the concept of popular participation in the democracy, searching new democratically horizons, where the masses could have the opportunity to make decisions about their own destiny. On the basis of theoretical discussion on participation, we discuss a concrete instrument of participation, the Participatory Budgeting, comparing two participatory experiences in North and South

A Eficácia dos direitos fundamentais nos contratos civis e de consumo: uma teoria contratual baseada na colisão dos direitos ou bens constitucionalmente protegidos

The apparent virtuosity that if could wait of the globalization and the neoliberalism has given signals of deterioration in the contractual relations, especially in contracts of mass consumption, generating innumerable offensive situations to the basic rights and the goods constitutionally protected of the contractors. In the world of today, still that it does not reveal any desire, the individual practically is compelled to contract, for force of necessities and customs completely imposed, mainly in face of the essentiality of the services or agreed to goods. Ahead of as much and unexpected changes in the civil liames and of consumption, dictated for the globalization, it comes to surface the reflection if the private law e, more specifically, the civil law, meet prepared adequately to deal with these new parameters of the economy. The present dissertation has the intention to investigate if the globalization and the consequent neoliberalism, in this beginning of third millennium, will imply to revive of the principles and the basics paradigms of the contracts that consolidated and had kept, for more than two centuries, the liberal State. One notices that the study of this phenomenon it gains importance to the measure where if it aggravates the decline of the social State (Welfare State), with the embrittlement and the loss of the autonomy of the state authority, over all in countries of delayed modernity, as it is the case of Brazil, that presents deep deficiencies to give or to promote, with a minimum of quality and efficiency, essential considered public services to the collective and that if they find consecrated in the Federal Constitution, as basic rights or as goods constitutionally protecting, the example of the health, the education, the housing, the security, the providence, the insurance, the protection the maternity, the infancy and of aged and deficient. To the end, the incidence of constant basic rights of the man in the Constitution is concluded that, in the process of interpretation of the right contractual conflicts that have as object rights or goods constitutionally proteges, in the universe of the globalized perhaps economy and of the neoliberalismo, it consists in one of the few ways - unless the only one - that still they remain to over all deal with more adequately the contractual relations, exactly that if considers the presence of clauses generalities in the scope of the legislation infraconstitutional civil and of consumption, front the private detainers of social-economic power. To be able that it matters necessarily in disequilibrium between the parts, whose realignment depends on the effect and the graduation that if it intends to confer to the basic right in game in the private relation. The Constitution, when allowing the entailing of the basic rights in the privates relations, would be assuming contours of a statute basic of all the collective, giving protection to the man against the power, if public or independently private

Teoria da despesa pública: uma leitura ético-constitucional em busca do possível da reserva

Brazilian law passes through a crisis of effectiveness commonly attributed to the extravagance of fundamental rights and public shortage. However, public finances are not dogmatically structured to solve the conflicts around the limitations of public spending. There are ethical conditioning factors, like morality, proportionality and impartiality, however, these principles act separately, while the problem of public shortage is holistic. Also, the subjectivity of politics discretionary in the definition of public spending, which is supported in an indeterminate concept of public interest, needs material orientation about the destination of public funds, making it vulnerable to ideological manipulation, resulting in real process of catching rights. Not even the judicial activism (such as influx of constitutionalism) is shown legally appropriate. The Reserve of Possible, also presents basic ethical failure. Understanding the formation of public shortage is therefore essential for understanding the crisis of effectiveness of state responsibilities, given the significant expansion of the state duty of protection, which does not find legal technique of defense of the established interests. The premise of argument, then, part of the possibility of deducting minimal model ethical of desire to spend (public interest) according to objective parameters of the normative system. Public spending has always been treated disdainfully by the Brazilian doctrine, according to the legal character accessory assigned to the monetary cost. Nonetheless, it is the meeting point between economics and law, or is in the marrow of the problem of public shortage. Expensive Subjects to modernity, as the effectiveness of fundamental rights, pass necessarily an ethical legal system of public spending. From the ethical principles deducted from the planning, only the democratic principle guides the public spending through the approval of public spending in the complex budget process. In other words, there is an ethical distancing of economic reality in relation to state responsibilities. From the dogmatic belief of insufficiency, public spending is evaluated ethically, according to the foundations of modern constitutionalism, in search of possible of the financial reserve, certain that the ethics of public economy is a sine qua non condition for legal ethics.

O direito fundamental contra a autoincriminação: a análise a partir de uma teoria do Processo Penal Constitucional

The right against self-incrimination is a fundamental right that works in the criminal prosecution, and therefore deserves a study supported by the general theory of criminal procedure. The right has a vague origin, and despite the various historical accounts only arises when there is a criminal procedure structured that aims to limit the State´s duty-power to punish. The only system of criminal procedure experienced that reconciles with seal self-incrimination is the accusatory model. The inquisitorial model is based on the construction of a truth and obtaining the confession at any cost, and is therefore incompatible with the right in study. The consecration of the right arises with the importance that fundamental rights have come to occupy in the Democratic Constitutional States. In the Brazilian experience before 1988 was only possible to recognize that self-incrimination represented a procedural burden for accused persons. Despite thorough debate in the Constituent Assembly, the right remains consecrated in a textual formula that´s closer to the implementation made by the Supreme Court of the United States, known as "Miranda warnings", than the text of the Fifth Amendment to the U.S. Constitution that established originally the right against self-incrimination with a constitutional status. However, the imprecise text does not prevent the consecration of the principle as a fundamental right in Brazilian law. The right against self-incrimination is a right that should be observed in the Criminal Procedure and relates to several of his canons, such as the the presumption of not guilty, the accusatory model, the distribution of the burden of proof, and especially the right of defense. Because it a fundamental right, the prohibition of self-incrimination deserves a proper study to her constitutional nature. For the definition of protected persons is important to build a material concept of accused, which is different of the formal concept over who is denounced on the prosecution. In the objective area of protection, there are two objects of protection of the norm: the instinct of self-preservation of the subject and the ability to self-determination. Configuring essentially a evidence rule in criminal procedure, the analysis of the case should be based on standards set previously to indicate respect for the right. These standard include the right to information of the accused, the right to counsel and respect the voluntary participation. The study of violations cases, concentrated on the element of voluntariness, starting from the definition of what is or is not a coercion violative of self-determination. The right faces new challenges that deserve attention, especially the fight against terrorism and organized crime that force the development of tools, resources and technologies about proves, methods increasingly invasive and hidden, and allow the use of information not only for criminal prosecution, but also for the establishment of an intelligence strategy in the development of national and public security

Pobreza multidimensional na região nordeste: uma aplicação da Teoria dos Conjuntos Fuzzy (em 2010)

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior