Sistema inteligente com entrada e saída remota sem fio.

Este trabalho avalia o desempenho de um controlador fuzzy (tipo Takagi-Sugeno-Kang) quando, utilizando tecnologia sem fio para conectar as entradas e a saída do controlador aos sensores/atuadores, sofre perda das informações destes canais, resultado de perdas de pacotes. Tipicamente são utilizados controladores PID nas malhas de controle. Assim, o estudo realizado compara os resultados obtidos com os controladores fuzzy com os resultados dos controladores PID. Além disso, o trabalho visa estudar o comportamento deste controlador implementado em uma arquitetura microprocessada utilizando números inteiros nos cálculos, interpolação com segmentos de reta para as funções de pertinência da entrada e singletons nas funções de pertinência da saída. Para esse estudo foi utilizado, num ambiente Matlab/Simulink, um controlador fuzzy e o aplicativo True Time para simular o ambiente sem fio. Desenvolvido pelo Departamento de Controle Automático da Universidade de Lund, o True Time é baseado no Matlab/Simulink e fornece todas as ferramentas necessárias para a criação de um ambiente de rede (com e sem fio) virtual. Dado o paradigma de que quanto maior for a utilização do canal, maior a degradação do mesmo, é avaliado o comportamento do sistema de controle e uma proposta para diminuir o impacto da perda de pacotes no controle do sistema, bem como o impacto da variação das características internas da planta e da arquitetura utilizada na rede. Inicialmente são realizados ensaios utilizando-se o controlador fuzzy virtual (Simulink) e, posteriormente, o controlador implementado com dsPIC. Ao final, é apresentado um resumo desses ensaios e a comprovação dos bons resultados obtidos com um controlador fuzzy numa malha de controle utilizando uma rede na entrada e na saída do controlador.

Arquitetura de uma rede de interconexão com memória compartilhada baseada na topologia crossbar

Multi-Processor System-on-Chip (MPSoC) possui vários processadores, em um único chip. Várias aplicações podem ser executadas de maneira paralela ou uma aplicação paralelizável pode ser particionada e alocada em cada processador, a fim de acelerar a sua execução. Um problema em MPSoCs é a comunicação entre os processadores, necessária para a execução destas aplicações. Neste trabalho, propomos uma arquitetura de rede de interconexão baseada na topologia crossbar, com memória compartilhada. Esta arquitetura é parametrizável, possuindo N processadores e N módulos de memórias. A troca de informação entre os processadores é feita via memória compartilhada. Neste tipo de implementação cada processador executa a sua aplicação em seu próprio módulo de memória. Através da rede, todos os processadores têm completo acesso a seus módulos de memória simultaneamente, permitindo que cada aplicação seja executada concorrentemente. Além disso, um processador pode acessar outros módulos de memória, sempre que necessite obter dados gerados por outro processador. A arquitetura proposta é modelada em VHDL e seu desempenho é analisado através da execução paralela de uma aplicação, em comparação à sua respectiva execução sequencial. A aplicação escolhida consiste na otimização de funções objetivo através do método de Otimização por Enxame de Partículas (Particle Swarm Optimization - PSO). Neste método, um enxame de partículas é distribuído igualmente entre os processadores da rede e, ao final de cada interação, um processador acessa o módulo de memória de outro processador, a fim de obter a melhor posição encontrada pelo enxame alocado neste. A comunicação entre processadores é baseada em três estratégias: anel, vizinhança e broadcast. Essa aplicação foi escolhida por ser computacionalmente intensiva e, dessa forma, uma forte candidata a paralelização.

Hardware Reconfigurável para Controladores Nebulosos.

Controle de processos é uma das muitas aplicações que aproveitam as vantagens do uso da teoria de conjuntos nebulosos. Nesse tipo de aplicação, o controlador é, geralmente, embutido no dispositivo controlado. Esta dissertação propõe uma arquitetura reconfigurável eficiente para controladores nebulosos embutidos. A arquitetura é parametrizável, de tal forma, que permite a configuração do controlador para que este possa ser usado na implementação de qualquer aplicação ou modelo nebuloso. Os parâmetros de configuração são: o número de variáveis de entrada (N); o número de variáveis de saída (M); o número de termos linguísticos (Q); e o número total de regras (P). A arquitetura proposta proporciona também a configuração das características que definem as regras e as funções de pertinência de cada variável de entrada e saída, permitindo a escalabilidade do projeto. A composição das premissas e consequentes das regras são configuráveis, de acordo com o controlador nebuloso objetivado. A arquitetura suporta funções de pertinência triangulares, mas pode ser estendida para aceitar outras formas, do tipo trapezoidal, sem grandes modificações. As características das funções de pertinência de cada termo linguístico, podem ser ajustadas de acordo com a definição do controlador nebuloso, permitindo o uso de triângulos. Virtualmente, não há limites máximos do número de regras ou de termos linguísticos empregados no modelo, bem como no número de variáveis de entrada e de saída. A macro-arquitetura do controlador proposto é composta por N blocos de fuzzificação, 1 bloco de inferência, M blocos de defuzzificação e N blocos referentes às características das funções de pertinência. Este último opera apenas durante a configuração do controlador. A função dos blocos de fuzzificação das variáveis de entrada é executada em paralelo, assim como, os cálculos realizados pelos blocos de defuzzificação das variáveis de saída. A paralelização das unidades de fuzzificação e defuzzificação permite acelerar o processo de obtenção da resposta final do controlador. Foram realizadas várias simulações para verificar o correto funcionamento do controlador, especificado em VHDL. Em um segundo momento, para avaliar o desempenho da arquitetura, o controlador foi sintetizado em FPGA e testado em seis aplicações para verificar sua reconfigurabilidade e escalabilidade. Os resultados obtidos foram comparados com os do MATLAB em cada aplicação implementada, para comprovar precisão do controlador.

Sobre a motivação da sentença no processo civil: Estado constitucional democrático de direito, discurso justificativo e legitimação do exercício da jurisdição

O presente trabalho, plasmado em metodologia jurídica, reflete criticamente sobre o problema da motivação da sentença civil como elemento de organização e de funcionamento do Estado Constitucional Democrático de Direito. A motivação é condição essencial de jurisdicionalidade, no sentido de que sem motivação não há exercício legítimo da função jurisdicional. O trabalho faz uma abordagem da natureza da motivação como discurso justificativo, jurídico e racional, da validade dos critérios de escolha ou de valoração empregados pelo juiz em sua decisão. O raciocínio do juiz é apresentado sob dupla feição: raciocínio decisório interno (contexto de descoberta ou deliberação) e raciocínio justificativo externo (contexto de justificação ou de validação). O conjunto das funções técnico-instrumental (endoprocessual) e político-garantística (extraprocessual) é objeto de investigação. A motivação, nos planos teórico e prático, exerce também a função de garantia do garantismo processual. A tese da inexistência jurídica da sentença tem três eixos teóricos: omissão total da motivação gráfica; falta de motivação ideológica, equiparada à hipótese de ausência de motivação gráfica; incompatibilidade lógica radical entre as premissas ou entre as premissas e a conclusão final, que também equivale à ausência total de motivação. O trabalho retrata um modelo de injustiça atemporal vivificado pelo juiz Crono, oposto à motivação como inestimável fator de legitimação argumentativa da jurisdição. A obrigatoriedade de motivação pública é o traço característico da jurisdição de nossa contemporaneidade e representa a maior conquista civilizatória do processo équo e justo.

Análise numérica do problema de difusão anômala unidimensional

A presente dissertação tem como objetivo analisar o comportamento da solução numérica da equação de difusão anômala com distribuição de fluxo bimodal, no regime estacionário, através de dois métodos numéricos. Foram desenvolvidos modelos utilizando o Método de Elementos Finitos e o Método de Volumes Finitos para a solução numérica desta equação. No modelo do Método de Elementos Finitos utilizou-se polinômios cúbicos de Hermite como funções de interpolação. No modelo de Volumes Finitos foi utilizada uma discretização de ordem superior para a avaliação das derivadas da equação em estudo. Em ambos os métodos, os modelos desenvolvidos consideram a utilização de diferentes tipos de condições de contorno para a solução do problema. Foram analisadas as influências de parâmetros da equação, das condições de contorno e do refinamento da malha na solução numérica. Os resultados apresentam a análise de erros da solução numérica através da comparação desta com a solução analítica.

Localização de Terminais Móveis utilizando Correlação de Assinaturas de Rádio-Frequência.

Nesta dissertação são analisados métodos de localização baseados na rede, com destaque para os métodos de correlação de assinaturas de rádio-frequência (DCM - Database Correlation Methods). Métodos baseados na rede não requerem modificações nos terminais móveis (MS - Mobile Stations), sendo portanto capazes de estimar a localização de MS legados, i.e., sem suporte específico a posicionamento. Esta característica, associada a alta disponibilidade e precisão dos métodos DCM, torna-os candidatos viáveis para diversas aplicações baseadas em posição, e em particular para a localização de chamadas para números de emergência - polícia, defesa civil, corpo de bombeiros, etc. - originadas de telefones móveis celulares. Duas técnicas para diminuição do tempo médio para produção de uma estimativa de posição são formuladas: a filtragem determinística e a busca otimizada utilizando algoritmos genéticos. Uma modificação é realizada nas funções de avaliação utilizadas em métodos DCM, inserindo um fator representando a inacurácia intrínseca às medidas de nível de sinal realizadas pelos MS. As modificações propostas são avaliadas experimentalmente em redes de telefonia móvel celular de segunda e terceira gerações em ambientes urbanos e suburbanos, assim como em redes locais sem fio em ambiente indoor. A viabilidade da utilização de bancos de dados de correlação (CDB - Correlation Database) construídos a partir de modelagem de propagação é analisada, bem como o efeito da calibração de modelos de propagação empíricos na precisão de métodos DCM. Um dos métodos DCM propostos, utilizando um CDB calibrado, teve um desempenho superior ao de vários outros métodos DCM publicados na literatura, atingindo em área urbana a precisão exigida dos métodos baseados na rede pela regulamentação FCC (Federal Communications Commission) para o serviço E911 (Enhanced 911 ).

Implementação de algoritmos genéticos paralelos em uma arquitetura MPSoC.

Essa dissertação apresenta a implementação de um algoritmo genético paralelo utilizando o modelo de granularidade grossa, também conhecido como modelo das ilhas, para sistemas embutidos multiprocessados. Os sistemas embutidos multiprocessados estão tornando-se cada vez mais complexos, pressionados pela demanda por maior poder computacional requerido pelas aplicações, principalmente de multimídia, Internet e comunicações sem fio, que são executadas nesses sistemas. Algumas das referidas aplicações estão começando a utilizar algoritmos genéticos, que podem ser beneficiados pelas vantagens proporcionadas pelo processamento paralelo disponível em sistemas embutidos multiprocessados. No algoritmo genético paralelo do modelo das ilhas, cada processador do sistema embutido é responsável pela evolução de uma população de forma independente dos demais. A fim de acelerar o processo evolutivo, o operador de migração é executado em intervalos definidos para realizar a migração dos melhores indivíduos entre as ilhas. Diferentes topologias lógicas, tais como anel, vizinhança e broadcast, são analisadas na fase de migração de indivíduos. Resultados experimentais são gerados para a otimização de três funções encontradas na literatura.

Modelagem automática de sistemas fuzzy utilizando otimização por enxame de partículas.

Esta dissertaçãoo investiga a utilização de Particle Swarm Optimization (PSO) para a obtenção automática de sistemas fuzzy do tipo Mamdani, tendo como insumo apenas as definições das variáveis do problema, seus domínios e a função objetivo. Neste trabalho utilizam-se algumas técnicas conhecidas na tentativa de minimizar a obtenção de sistemas fuzzy que não sejam coerentes. As principais técnicas usadas são o método de Wang e Mendell, chamado de WM, para auxiliar na obtenção de regras, e os conceitos de clusterização para obtenção das funções de pertinência. Na função de avaliação proposta, considera-se não somente a acurácia do sistema fuzzy, através da medida do erro, mas também a sua interpretabilidade, através da medida da compacidade, que consiste da quantidade de regras e funções membro, da distinguibilidade, que permite evitar que as funções membro não se confundam, e da completude, que permite avaliar que as funções membro abranjam o máximo do domínio. O propósito deste trabalho consiste no desenvolvimento de um algoritmo baseado em PSO, cuja função de avaliação congregue todos esses objetivos. Com parâmetros bem definidos, o algoritmo pode ser utilizado em diversos tipos de problemas sem qualquer alteração, tornando totalmente automática a obtenção de sistemas fuzzy. Com este intuito, o algoritmo proposto é testado utilizando alguns problemas pré-selecionados, que foram classificados em dois grupos, com base no tipo de função: contínua ou discreta. Nos testes com funções contínuas, são utilizados sistemas tridimensionais, com duas variáveis de entrada e uma de saída, enquanto nos testes com funções discretas são utilizados problemas de classificação, sendo um com quatro variáveis e outro com seis variáveis de entrada. Os resultados gerados pelo algoritmo proposto são comparados com aqueles obtidos em outros trabalhos.

The Ancillary Harvest of Atlantic Menhaden, Brevoortia tyrannus, Roe on the North Carolina Coast

Gravid Atlantic menhaden, Brevoortia tyrannus, are available along the central coast of North Carolina during the fall and are harvested by the purse-seine fleet from the port of Beaufort. Virtually all of the catch, sexually immature fish included, is reduces to fish meal, fish oil, and fish solubles; however, minor quantities of roe from ripening female menhaden are extracted for local consupmtion. Routine and selective port sampling information was used to characterize the seasonal and biostatistical nautre of the roe menhaden catches at Beaufort. Fishermen recognize two size classes of roe Atlantic menhaden: "forerunners," which are usually the smallest and earliest adult menhaden encountered in the Fall Fishery, and "mammy shad," which are the largest menhaden harvested and produce the greatest roe yields. Roe is extracted from femal fish at various points along the reduction process stream and by several techniques. Vessel cremen and factory personnel extract menhaden roe for personal and local consumption. Undetermined quantities of menhaden roe are channeled into local retail seafood markets. Wholesale prices are about $20 per gallon of roe, while retail prices are about $5 per pound. Carteret County, North Carolina, is probably the only area on the U.S. Atlantic and Gulf coasts where menhaden roe is sold in retail seafood markets. The potential of extracting menhaden roe for foreign markets is discussed

The Origins and Early History of the Steamer Albatross, 1880–18

Spencer Fullerton Baird (Fig. 1), a noted systematic zoologist and builder of scientific institutions in 19th century America, persuaded the U.S. Congress to establish the United States Commission of Fish and Fisheries1 in March 1871. At that time, Baird was Assistant Secretary of the Smithsonian Institution. Following the death of Joseph Henry in 1878, he became head of the institution, a position he held until his own demise in 1887. In addition to his many duties as a Smithsonian official, including his prominent role in developing the Smithsonian’s Federally funded National Museum as the repository for governmental scientific collections, Baird directed the Fish Commission from 1871 until 1887. The Fish Commission’s original mission was to determine the reasons and remedies for the apparent decline of American fisheries off southern New England as well as other parts of the United States. In 1872, Congress further directed the Commission to begin a large fish hatching program aimed at increasing the supply of American food f

Aqui se jaz, aqui se paga : o mercado da morte e do morrer em tempos de imortalidade

Esta tese busca compreender o que os rituais funerários contemporâneos revelam sobre as maneiras com as quais as pessoas têm lidado com a morte e o morrer na atualidade. Desse eixo central se ramificam reflexões sobre a relação dos homens com o tempo, com o envelhecimento e com a finitude. Evidenciando que os modos atuais de lidar com a morte e o morrer envolvem flagrantes processos de mercantilização, patologização, medicalização e espetacularização. O crescente uso de serviços funerários de tanatoestética apontam não somente técnicas de maquiagem dos mortos, mas também estratégias de maquiagem da morte. O investimento financeiro, antes direcionado às preocupações transcendentes com o futuro da alma do morto, se reverte em intervenções físicas no corpo morto, de maneira que ele não emita sinal algum da morte que o tomou e proteja os sobreviventes do contato com a finitude. Essa dissimulação é sinalizada pela redução progressiva do espaço que a sociedade contemporânea tem destinado ao luto e ao sofrimento, categorias com cada vez mais frequência equiparadas a condições patológicas. Utilizando metodologia qualitativa, com pesquisa de campo realizada tanto no Brasil como em Portugal, durante período de doutorado sanduíche no exterior, observou-se um acentuado estreitamento entre as realidades morte e consumo. Indicando uma transposição da lógica comercial de mercado às práticas funerárias tradicionais. Assim, funções simbólicas dos rituais fúnebres vem sendo modificadas e regidas pela lógica do consumo, apresentado na atualidade como alternativa unidimensional para a imperativa vivência initerrupta do prazer e da felicidade. Constatou-se que - apesar da crescente popularização de discussões sobre o tema morte no meio acadêmico, na área da saúde e na mídia - não há aceno de ruptura no seu enquadramento como tabu. Apenas é permitido socialmente que ela ocupe locais determinados: o lugar de espetáculo, de produto, da técnica, da banalização ou mesmo do humor publicitário. As observações e as reflexões realizadas em todo o processo de construção desta tese nos inclinam a considerar que continua vedado o aprofundamento de questões ligadas à expressão de sentimentos de dor e de pesar diante das perdas. Assim como se acentuam os processos de patologização do luto e de distanciamento das demandas existênciais promovidas pela consciência da própria finitude e da passagem do tempo; do tempo de vida de cada um

Posicionamento aproximado do estado final para sistemas térmicos descritos pela equação do calor.

Neste trabalho, será considerado um problema de controle ótimo quadrático para a equação do calor em domínios retangulares com condição de fronteira do tipo Dirichlet é nos quais, a função de controle (dependente apenas no tempo) constitui um termo de fonte. Uma caracterização da solução ótima é obtida na forma de uma equação linear em um espaço de funções reais definidas no intervalo de tempo considerado. Em seguida, utiliza-se uma sequência de projeções em subespaços de dimensão finita para obter aproximações para o controle ótimo, o cada uma das quais pode ser gerada por um sistema linear de dimensão finita. A sequência de soluções aproximadas assim obtidas converge para a solução ótima do problema original. Finalmente, são apresentados resultados numéricos para domínios espaciais de dimensão 1.

A disciplina do nome empresarial: natureza e tutela jurídica

O trabalho analisa o nome empresarial como sinal revelador da personalidade do empresário individual, da sociedade empresária e da empresa individual de responsabilidade limitada. Vincula-se à linha de pesquisa Empresa e Atividades Econômicas. A pesquisa é do tipo teórico e adotou o método dedutivo, tendo objetivo analítico. As fontes utilizadas foram bibliográficas e documentais. Trata da disciplina jurídica do nome empresarial no Brasil, realizando uma evolução histórica legislativa e mostrando o aprimoramento do instituto. Descreve seu regramento jurídico atual e o distingue dos demais sinais integrantes dos elementos da empresa. Aponta as funções exercidas pelo nome empresarial. Discute a posição do nome empresarial como direito fundamental e direito da personalidade e identifica o âmbito da proteção, visando a ampliar sua abrangência material e territorial. Assinala sua proteção de forma absoluta, independentemente do ramo de atividade, e examina a respectiva tutela nos campos administrativo, civil e penal.

"Mãe, por que me abandonaste?": mito do amor materno, abandono e circulação de crianças em camadas populares.

Esta tese parte da construção histórica da família como instituição importante para a nossa sociedade e que vem experimentando profundas mudanças sociais, culturais e legais, desde o século XVII, notadamente a partir da segunda metade do século XX. Nesse período essas mudanças refletiram sobre a estrutura e dinâmica das famílias, principalmente no que diz respeito ao que vinha sendo concebido como funções femininas, bastante atreladas à maternidade, e masculinas, em geral sinônimas de provedor. Todas essas transformações vêm afetando diretamente as relações conjugais e filiais. Em meio a tantas transformações fez-se necessária uma analise da implicação que também atravessa essa tese. Foram realizadas 8 entrevistas com mães e filhos adultos que se afastaram quando estes ainda eram crianças, por motivos variados, visando por em análise os sentidos que os envolvidos constroem para e sobre este afastamento tão socialmente naturalizado como abandono. Esse comportamento, no que diz respeito à mulher/mãe causa certo estranhamento em função da crença no amor materno como atributo natural da mulher que vira mãe. As entrevistas realizadas permitiram-nos concluir o quanto o exercício do cuidado materno ganha dimensões tão importantes que a mãe é valorada em função da maior ou menor aproximação com os filhos, e como esses filhos, ao naturalizarem o comportamento da genitora, associado ao cuidado, entendem o seu afastamento como abandono. Foi possível também observar como alguns filhos identificaram no afastamento da mãe uma preferência pela conjugalidade, pois o investimento realizado na construção de um novo relacionamento pode não contabilizar esses filhos. Em decorrência dessa separação entre mãe e filhos nas historias que ouvimos, que repercurtem a bibliografia da área, esses filhos circularam por muitas casas de familiares, conhecidos e desconhecidos. Nos discursos das mães as ideias de afastamento e abandono não aparecem. O direito a buscar a felicidade com outro parceiro e a entrega cuidadosa do filho são alguns dos sentidos que elas dão.

Análise do teor de carbono nas espécies de mangue em Guaratiba (Rio de Janeiro, RJ)

Os manguezais são ecossistemas complexos, que estão sujeitos a processos que ocorrem ao longo de diferentes escalas temporais e espaciais. Essa complexidade reforça a importância de se empregar abordagens que possam alcançar essas escalas. As florestas de mangue, entre outras funções, funcionam como sequestradoras e fixadoras de carbono, sendo importantes para o equilíbrio do balanço global de gás carbônico. Estudos relacionados a diversos biomas mostram que há diferença de teor de carbono para espécies diferentes. Diversas estimativas de estoque e sequestro de carbono em florestas de mangue adotam o valor de 45% para o teor de carbono nas espécies de mangue. O presente estudo realizado em Guaratiba, Rio de Janeiro, coletou ramos, folhas, troncos, partes reprodutivas e raízes subterrâneas das espécies ali encontradas: Avicennia schaueriana, Laguncularia racemosa e Rhizophora mangle, essa última teve ainda a coleta de rizóforos, para determinação do teor de carbono nos diferentes compartimentos das diferentes espécies. As amostragens foram realizadas nos diferentes tipos fisiográficos (franja, bacia e transição). O material seco foi triturado e determinado por autoanalisador CHN. Os resultados foram testados estatisticamente, através de análise de variância (ANOVA) e teste de Tukey para identificação de diferenças entre os tipos fisiográficos, espécies e compartimentos (para p<0,05). Foi obtido um valor de teor de carbono orgânico para as partes lenhosas (44,1%) para todas as espécies; um valor para partes verdes de A. schaueriana e L. racemosa de 42,6% e R. mangle de 44,9%; e um valor para raiz de A. schaueriana e L. racemosa de 42,6% e R. mangle de 40,0%. Não foi detectada influência dos tipos fisiográficos sobre o teor de carbono na floresta de mangue estudada. Os resultados aqui obtidos demonstram ainda que deve-se ter cautela na utilização de um valor único e global para o teor de carbono em espécies de mangue.