Co-simulação distribuída de sistemas heterogêneos

Na simulação heterogênea de um sistema eletrônico complexo, um mesmo modelo pode ser composto por partes distintas em relação às tecnologias ou linguagens utilizadas na sua descrição, níveis de abstração, ou pela combinação de partes de software e de hardware (escopo da co-simulação). No uso de modelos heterogêneos, a construção de uma ponte eficaz entre diferentes simuladores, em conjunto com a solução de problemas tais como sincronização e tradução de dados, são alguns dos principais desafios. No contexto do projeto de sistemas embarcados, a validação desses sistemas via co-simulação está sujeita a estes desafios na medida em que um mesmo modelo de representação precisa suportar a cooperação consistente entre partes de hardware e de software. Estes problemas tornam-se mais significativos quando abordados em ambientes distribuídos, o que aumenta a complexidade dos mecanismos que gerenciam os ítens necessários à correta cooperação entre partes diferentes. Contudo, embora existam abordagens e ferramentas voltadas para o tratamento de modelos heterogêneos, inclusive em ambientes distribuídos, ainda persiste uma gama de limitações causadas pela distribuição e heterogeneidade de simuladores. Por exemplo, restrições quanto à variedade de tecnologias (ou linguagens) utilizadas na descrição das partes de um modelo, flexibilidade para o reuso de partes existentes, ou em tarefas de gerenciamento de sincronização/dados/interface/distribuição. Além disso, em geral, nas soluções existentes para simulação heterogênea, alterações são necessárias sobre as partes do modelo, limitando a preservação de sua integridade. Esta é uma característica indesejável, por exemplo, no reuso de componentes IP (Intellectual Property) Neste contexto, esta tese apresenta o DCB (Distributed Co-simulation Backbone), cujo propósito geral é o suporte à execução distribuída dos modelos heterogêneos. Para isso, são observados de modo integrado quatro fatores básicos: a distribuição física; a independência dos componentes (partes); o encapsulamento das estratégias de gerenciamento de tempo, de dados e de comunicação; e a sincronização híbrida. Em geral, as soluções existentes valorizam um fator em detrimento dos demais, dependendo dos propósitos envolvidos e sua variação em relação ao grau de especificidade (soluções proprietárias ou restritas a um escopo de aplicações). O Tangram, também discutido nesta tese em termos de requisitos, é uma proposta de ambiente para projeto de modelos heterogêneos distribuídos. No contexto da especificação do DCB, esta proposta tem como objetivo geral agregar num mesmo ambiente funcionalidades de apoio para a busca e catalogação de componentes, seguidas do suporte à construção e à execução distribuída de modelos heterogêneos via DCB. À luz dos princípios de generalidade e flexibilidade da arquitetura do DCB, o Tangram visa permitir que o projetista reduza seu envolvimento com detalhes relacionados ao provimento de condições necessárias à cooperação entre componentes heterogêneos. No escopo desta tese, ênfase foi dada à co-simulação de sistemas embarcados, ênfase esta observada também na construção do protótipo do Tangram/DCB, e nos estudos de caso. Contudo, a estrutura do DCB é apropriada para qualquer domínio onde a simulação possa ser utilizada como instrumento de validação, entre outros propósitos.

Um Estudo de coordenação dinâmica de agentes aplicado ao gerenciamento de tráfego veicular urbano

Em sistemas de controle de tráfego veicular urbano existem diversas abordagens que lidam com o problema da redução do congestionamento de tráfego. Uma classe destas abordagens aplica a sincronização de semáforos a m de permitir que os veículos que viajam em um sentido possam passar diversos cruzamentos sem paradas. Este trabalho apresenta dois métodos de coordenação de agentes aplicados à sincroniza ção de semáforos. O primeiro método inspira-se em mecanismos de coordenação observados em insetos sociais e o segundo modela o problema de coordenação de semá- foros como um problema de otimização de restrições distribuído e faz sua resolução em tempo real utilizando mediação cooperativa. Inicialmente são apresentados conceitos básicos de sistemas de tráfego urbano, Swarm Intelligence e problemas de otimização de restrições. A partir dos conceitos iniciais, são apresentados os modelos propostos. Os resultados mostram que as abordagens propostas geram a coordenação entre os sem áforos sendo que o modo que os agentes estão coordenados pode mudar para se adaptar às mudanças nas condições do ambiente, gerando melhores condições de uxo de tráfego.

Análise da distribuição de um simulador multinível

A validação de projetos de sistemas eletrônicos pode ser feita de diversas maneiras, como tem sido mostrado pelas pesquisas em síntese automática e verificação formal. Porém, a simulação ainda é o método mais utilizado. O projeto de um sistema digital típico pode ser desenvolvido em diversos níveis de abstração, como os níveis algorítmico, lógico ou analógico. Assim, a simulação também deve ser executada em todos esses níveis. A simulação apresenta, contudo, o inconveniente de não conseguir conciliar uma alta acuracidade de resultados com um baixo tempo de simulação. Quanto mais detalhada é a descrição do circuito, maior é o tempo necessário para simulá-lo. O inverso também é verdadeiro, ou seja, quanto menor for a acuracidade exigida, menor será o tempo dispendido. A simulação multinível tenta conciliar eficiêencia e acuracidade na simulação de circuitos digitais, propondo que partes do circuito sejam descritas em diferentes níveis de abstração. Com isso, somente as partes mais críticas do sistema são descritas em detalhes e a velocidade da simulação aumenta. Contudo, essa abordagem não é suficiente para oferecer um grande aumento na velocidade de simulação de grandes circuitos. Assim, surge como alternativa a aplicação de técnicas de processamento distribuído à simulação multinível. Os aspectos que envolvem a combinação dessas duas técnicas são abordados nesse trabalho. Como plataforma para os estudos realizados, optou-se por usar duas ferramentas desenvolvidas nessa Universidade: os simuladores do Sistema AMPLO e o Sistema Operacional HetNOS. São estudadas técnicas de sincronização em sistemas distribuídos, fundamentais para o desenvolvimento dos simuladores e, finalmente, são propostas alternativas para a distribuição dos simuladores. É realizada, ainda, uma análise comparativa entre as versões propostas.

Súmula vinculante e ratio decidendi : uma abordagem empírica a respeito de redesenho institucional e cultura jurídica

A Reforma do Judiciário de 2004 é parte de um longo processo de tentativas políticas de implementação de mudanças que não surgiriam espontaneamente na cultura jurídica. A súmula vinculante é exemplar desse histórico, pois se trata de instrumento voltado para corrigir problemas persistentes que decorrem da ausência de uma cultura jurídica de precedentes no Brasil. Entretanto, o próprio funcionamento do instituto depende da adequada aplicação da lógica de precedentes, pois a clareza dos enunciados vinculantes aprovados decorre da clareza da ratio decidendi de seus respectivos precedentes. Além do estudo dos debates legislativos que criaram o instituto da súmula vinculante, bem como dos procedimentos de aprovação das súmulas vinculantes penais editadas até o final de 2010, pesquisou-se como o Supremo Tribunal Federal administrou o manejo deste instituto conflitante com a maneira tradicional de fundamentação judicial e de referência não-fática, mas conceitual, entre decisões passadas.

A posse de bens públicos: revisão crítica da jurisprudência do Superior Tribunal de Justiça

A posse é, sem dúvidas, um dos temas mais complexos situados dentro do Direito das Coisas. Dentre as inúmeras matérias que dizem respeito ao regime jurídico da posse, o debate sobre quais bens podem ser possuídos é acirrado tendo em vista, especialmente, a carência de alguma referência legislativa positivada sobre o tema. Historicamente se construiu na doutrina e na jurisprudência a noção de que os bens públicos não são passíveis de posse por particulares, salvo se houver autorização da administração pública para tanto. Durante a vigência do Código Civil Brasileiro de 1916, algumas referências legislativas indiretas permitiram à maior parte da doutrina argumentar pela impossibilidade de reconhecimento da posse de bens públicos, muito embora houvesse quem sustentasse o exato oposto. O atual Código Civil Brasileiro de 2002 não repetiu as referências indiretas constantes do texto do código anterior, e, junto com a legislação esparsa, criou um sistema de proteção possessória próprio, favorável ao possuidor, em conformidade com uma política pública desenvolvimentista através do incentivo ao aproveitamento econômico pleno do direito de propriedade. Somado a isto, foram promulgadas leis que abordam de maneira diferente o reconhecimento da posse de bens públicos, dando ensejo a uma reconstrução dos entendimentos pretéritos. Mesmo com a reforma legislativa, doutrina e jurisprudência pátrias continuam a sustentar que bens públicos não são passíveis de posse por particulares. O Superior Tribunal de Justiça do Brasil possui entendimento pacífico de que não se pode reconhecer a posse de bens públicos, mas tão somente a detenção, independentemente de qualquer verificação fática. Cumpre a sugestão de uma reflexão mais profunda acerca do tema, tendo em vista as relevantes alterações legislativas ocorridas no Brasil. Neste trabalho, propõe-se uma reflexão crítica sobre os argumentos encontrados nos tribunais e na doutrina para sustentar a inviabilidade da posse de bens públicos.

“Conflito de interesses” nas sociedades anônimas: análise do art. 156 e sua eficácia jurídica

O presente estudo objetiva analisar, sob o ponto de vista doutrinário e jurisprudencial, a redação da disposição legal do art. 156, contida na Lei 6.404, de 1976, “Lei das Sociedades Anônimas, acerca do conflito de interesses de administrador que, por conter um conceito jurídico indeterminado ainda não aclarado por lei nem pela Comissão de Valores Mobiliários, é objeto de decisões divergentes quanto a sua aplicação fática, gerando impactos em sua eficácia jurídica. Inicialmente serão explicitadas as teorias doutrinárias que referendam o tema e cuja aplicação encontram terreno na jurisprudência. Em seguida, será contextualizado historicamente o surgimento do conflito de interesses de administrador no direito pátrio. Após esta exposição, tratar-se-á do conceito de eficácia jurídica a ser utilizado nesta análise, para que se possa alcançar sua verificação no art. 156.

Uma extensão do protocolo CAN para aplicações críticas em sistemas distribuídos

Sistemas computacionais de tempo-real são tipicamente construídos a partir de primitivas de sincronização que fornecem uma noção do tempo no objetivo de coordenar a execução múltiplos fluxos de instruções em um processador. Quando o processamento é centralizado, a base de tempo destas primitivas é extraída do oscilador local da plataforma, permitindo que as ações do sistema sejam devidamente ordenadas, respeitando restrições de tempo e causalidade. No entanto, em sistemas distribuídos o problema não pode ser resolvido desta forma em decorrência de imperfeições nos dispositivos físicos. Diferenças mínimas na freqüência de osciladores fazem com que as bases de tempo dos componentes divirjam cada vez mais ao longo do tempo, dificultando ou até mesmo impossibilitando um ordenamento consistente de eventos. Por esta razão, sincronização de relógios é um serviço de fundamental importância, sobretudo em aplicações críticas, onde os níveis de confiabilidade exigidos são mais elevados. O presente trabalho consiste na proposta e implementação de uma plataforma de comunicação otimizada para sistemas de controle distribuídos, caracterizados por uma alta regularidade no comportamento da comunicação. O objetivo é propor uma solução em baixo nível com suporte para o projeto de sistemas distribuídos no domínio de aplicações críticas. A plataforma proposta, à qual foi atribuído o nome CASCA, sigla para “Communication Architecture for Safety- Critical Applications”, é de fato uma extensão time-triggered do protocolo CAN. Acima da camada de enlace do protocolo original foram projetados mecanismos sincronização de relógios e criação inicial da base de tempo, implementados na forma de uma combinação de hardware e software. Principais características da plataforma são jitter mínimo, uma base de tempo global essencialmente distribuída e particionamento temporal. Diferentes alternativas de projeto foram consideradas, observando com maior atenção a viabilidade de prototipação em dispositivos FPGA para fins de validação e aplicação imediata em plataformas reconfiguráveis. Como forma de validação da plataforma, um sistema elementar formado por três nodos foi sintetizado com sucesso em bancada obtendo-se como resultado uma base de tempo essencialmente distribuída com precisão menor do que um micro-segundo.

Gestão da demandas em cadeias farmacêuticas brasileiras: um estudo de casos múltiplos

Apesar de ser um dos principais componentes da gestão da cadeia de suprimentos, devido ao seu impacto na melhoria de diversos processos, a gestão da demanda ainda é, na prática, bastante ineficiente, resultando em sérios problemas operacionais em diversas cadeias. Comparando os dados quantitativos de três cadeias farmacêuticas e tendo como base entrevistas realizadas com responsáveis pelas áreas de suprimentos de três grandes laboratórios, a pesquisa investigou e mapeou a configuração da cadeia de suprimentos farmacêutica no Brasil, analisou a amplificação da demanda (“efeito chicote”) e o nível de sincronização entre oferta e demanda ao longo de diversos elos da cadeia. Mesmo sendo reconhecidos, pelos três casos, como fatores relevantes para o alcance das estratégias associadas a suprimentos, conceitos como compartilhamento de informações, cooperação e integração de processos não são implementados, resultando em elevada variabilidade de demanda e distorções entre a oferta e a procura. Além disso, o estudo concluiu também que a política fiscal brasileira e a regulamentação do setor farmacêutico são fortes barreiras que dificultam a implementação de conceitos e processos para a melhoria do desempenho operacional da cadeia farmacêutica, tornando a gestão da demanda uma ferramenta usada apenas para monitoramento de vendas

inVídeo: uma aplicação de vídeo interactivo sobre a Internet

A utilização de vídeo e áudio sobre a Internet tem ganho nos últimos anos um interesse crescente. Na verdade, o interesse não é recente, mas os limites tecnológicos de variadíssimas ordens impediam o desenvolvimento e a utilização alargada de aplicações com media ricos. Os avanços nas tecnologias relacionadas com, por exemplo, a compressão, as redes e as ferramentas multimédia possibilitaram o desenvolvimento e o funcionamento, de uma forma alargada, de sistemas multimédia. O trabalho apresentado nesta dissertação descreve a especificação e a implementação de um sistema de formação à distância, designado inVídeo, que utiliza o vídeo como elemento central. O sistema tem como objectivo proporcionar formação por intermédio de uma aplicação que permite a visualização paralela de um vídeo com imagens ou animações, acompanhada com outros dados, como texto e acesso a ficheiros que podem ser descarregados. O enquadramento para esta aplicação surgiu das necessidades de formação contínua de um centro hospitalar, todavia a aplicação foi desenvolvida para poder ser utilizada noutras instituições. A especificação passou pela descrição do problema e sua modelação utilizando um método para o desenvolvimento de aplicações interactivas, o WISDOM. A implementação descreve o sistema desenvolvido, a justificação das opções tecnológicas e os resultados de um inquérito feito aos utilizadores do sistema. O desenvolvimento do sistema levou ao estudo e, em alguns casos, à utilização de um conjunto de tecnologias distintas. Os estudos iniciais abordaram as tecnologias que possibilitam a utilização do vídeo sobre a Internet e algumas das suas condicionantes. Seguiram-se a composição, sincronização e interactividade multimédia, e por fim o uso de metadados para conteúdos educacionais. A resposta dada pelos utilizadores durante a utilização do sistema foi bastante satisfatória e revelou um grande interesse no uso do vídeo sobre a Internet. A construção de aplicações para Internet utilizando media exigentes deixou de ser a tarefa complexa que era há alguns anos, isto devido aos avanços tecnológicos. Todavia o desenvolvimento ainda necessita de muita ponderação e do enquadramento de muitos factores relacionados com a codificação dos media e com a heterogeneidade das redes, dos utilizadores e dos equipamentos.

Diagnóstico das propriedades de consistência temporal em DMI`s: uma abordagem baseada na TDF RT-LOTOS

Orientador: Paulo Nazareno Maia Sampaio

Publicidade em celulares utilizando o sistema de busca de perfil

ARAÚJO, B. G. ; VALENTIM, R. A. M. . Publicidade em celulares utilizando o sistema de busca de perfil. Holos, Natal,v. 1, p. 109-118, 2010. Disponível em:

Desenvolvimento, pobreza e meio ambiente no seridó potiguar: um estudo centrado nas micro-regiões do seridó oriental e ocidental

This research work intends to carry out a study focused on the dynamic between development, poverty reduction and conservation of natural resources. To consider this relationship to the region chosen was the micro-region of Eastern and Western Seridó in the state of Rio Grande do Norte. In recent years, several studies (Araújo, 2011; BASTOS, 2009) have pointed out that after a period of economic crisis in its tripodproductive, formed by the activities of farming, cotton farming, mining and faced in the eighties, this region of the State of Rio Grande do Norte, has not only shown signs of economic recovery but also improve their social indicators. On the other hand, studies of desertification as the view of the state of RN (produced in cooperation between the Government of RN and research institutions) and the Sustainable Development Plan of Seridó (ADES, 2000), indicate that there is an ongoing French process of degradation of natural resources that is capable of compromising the ability of sustaining such a system. To verify this reality and likely finding this relationship, this work is adopted for this study, the analysis of evolution of secondary data from official bodies such as the IBGE on HDI, per capita income and other social indicators between 2000 and 2009. Here is another time of the survey analysis of qualitative data collected from interviews with institutions of academic intervention in nature, researchers at the Federal University of Rio Grande do Norte (UFRN) State agencies that address the issue of the Middle Environment in Seridó: Institute for Sustainable Development of the NB (IDEMA) and the Brazilian Institute of Environment and the Amazon (IBAMA) and institutions of direct intervention in the region, as the Agency's Sustainable Development Seridó (adhesive) and the Joint Semi-Arid (ASA). After crossing data from quantitative and qualitative, it was found that the dynamics of the region's economic Seridó Potiguar partially answers the improvement of social indicators of poverty. Contribution by the State in this shared stock transfer income. Regarding the influence of productive restructuring in the region on issues of environment, it is noted that the ceramic tile industry, responsible for the absorption percentage of the population with limited ingress into the urban economy, given the low education, accounts for the increase of susceptibility to the ongoing process of desertification in North Seridó Rio Grande. We conclude finally that the guarantee of increased income, freedom and conservation of natural resources ensures primarily by changing the beliefs and values, especially on the part of the business sector, which use natural resources so predatory, aimed at maintaining their rates of return on investment. And concomitantly, the synchronization between technological change, through the use of new energy sources, and institutional change.

Comunicação e cidades: interlocuções para uma interdisciplinaridade nas ciências sociais

This thesis aims at producing knowledge by putting together various theories and empirical analyses. In other words, from an interdisciplinary approach within the Social Sciences and having as background Communication and the City, this work presents, in each chapter, a disciplinary field Literature, Architecture, History and Geography , with which they relate, exhibits its theoretical pillars and performs a case study as a factual and critical contribution, considering the urban spaces of Rio de Janeiro, Brasília, São Paulo and Natal. By so doing, the thesis covers the period from the end of the XIX to the beginning of the XXI Century. Overall, the thesis is an interconnected and dialogic set that points to a cosmology of plural knowledge

A moralidade e a vida pregressa do candidato como condição autônoma de elegibilidade

The objective of this work was about fixing the free will paradigm as negative evaluation of political rights which presents a new classification dde such rights, producing species: a) conditions of eligibility autonomous (free will), b) eligibility requirements heteronomous (will third party) and c) ineligibility (court decisions / administrative). This morality and life history as a condition of eligibility unattended, making a hermeneutic analysis of art. 14, § 9 of the Constitution, considering the justification of the views of the voting Minister Carlos Ayres Brito Appeal in Ordinary No 1069/2006 of the Supreme Electoral Tribunal (where Eurico Miranda). Are fixed concepts of morality and life history from the perspective of the moral act freely and consciously. Has resulted in the identification of the moral virtues of honesty and integrity, which are voluntary acts as a reference to morality and integrity respectively. Justifies the morality and life history as a condition of eligibility unattended. who depend exclusively on the willingness of the candidate. It is noteworthy that the conditions for eligibility as a factual finding does not violate the law and does not allow punitive sanctions or setting a deadline in case of refusal to register the application. Attributed to political parties to take responsibility in their statutes moral criteria for the nomination convention in pre candidates, giving an ethical dimension. Analyzes the law under the Clean Record of morality and life history of the candidate and the possible impact on the electoral context.

O serviço público de fornecimento de água nas regiões metropolitanas: cooperação entre entes da federação e desenvolvimento

This work aims to study the material conflict of jurisdiction as to the ownership of public water supply, between the municipalities and the Member States, in metropolitan areas. One of the important points of analysis is the realization of the fundamental right of access to water, a right that is implicit in the Constitution of 1988, being prevented from having their achievement considering the lack of definition of the ownership of the service. Knowing discussed the essential public service, in all its stages, it will realize it is a complex activity that depends for its operation, joint activities of federal entities and the society. In its pursuit of development (understood as better conditions of life), that in view of the Federal Law nº 11.445 of 2007 is the universal access to service, require the adoption of popular participation and the positive benefits of the state, such as planning. Moreover, it will find cooperation between federal entities (after the study of Brazilian federalism) peaceful solution to the conflict through the adoption of joint management or shared, depending on the factual situation and legal