Modelagem e simulação de redes em chip sem fio.

O paradigma das redes em chip (NoCs) surgiu a fim de permitir alto grau de integração entre vários núcleos de sistemas em chip (SoCs), cuja comunicação é tradicionalmente baseada em barramentos. As NoCs são definidas como uma estrutura de switches e canais ponto a ponto que interconectam núcleos de propriedades intelectuais (IPs) de um SoC, provendo uma plataforma de comunicação entre os mesmos. As redes em chip sem fio (WiNoCs) são uma abordagem evolucionária do conceito de rede em chip (NoC), a qual possibilita a adoção dos mecanismos de roteamento das NoCs com o uso de tecnologias sem fio, propondo a otimização dos fluxos de tráfego, a redução de conectores e a atuação em conjunto com as NoCs tradicionais, reduzindo a carga nos barramentos. O uso do roteamento dinâmico dentro das redes em chip sem fio permite o desligamento seletivo de partes do hardware, o que reduz a energia consumida. Contudo, a escolha de onde empregar um link sem fio em uma NoC é uma tarefa complexa, dado que os nós são pontes de tráfego os quais não podem ser desligados sem potencialmente quebrar uma rota preestabelecida. Além de fornecer uma visão sobre as arquiteturas de NoCs e do estado da arte do paradigma emergente de WiNoC, este trabalho também propõe um método de avaliação baseado no já consolidado simulador ns-2, cujo objetivo é testar cenários híbridos de NoC e WiNoC. A partir desta abordagem é possível avaliar diferentes parâmetros das WiNoCs associados a aspectos de roteamento, aplicação e número de nós envolvidos em redes hierárquicas. Por meio da análise de tais simulações também é possível investigar qual estratégia de roteamento é mais recomendada para um determinado cenário de utilização, o que é relevante ao se escolher a disposição espacial dos nós em uma NoC. Os experimentos realizados são o estudo da dinâmica de funcionamento dos protocolos ad hoc de roteamento sem fio em uma topologia hierárquica de WiNoC, seguido da análise de tamanho da rede e dos padrões de tráfego na WiNoC.

Fases e criticalidade no modelo ashkin - teller de três cores

The usual Ashkin-Teller (AT) model is obtained as a superposition of two Ising models coupled through a four-spin interaction term. In two dimension the AT model displays a line of fixed points along which the exponents vary continuously. On this line the model becomes soluble via a mapping onto the Baxter model. Such richness of multicritical behavior led Grest and Widom to introduce the N-color Ashkin-Teller model (N-AT). Those authors made an extensive analysis of the model thus introduced both in the isotropic as well as in the anisotropic cases by several analytical and computational methods. In the present work we define a more general version of the 3-color Ashkin-Teller model by introducing a 6-spin interaction term. We investigate the corresponding symmetry structure presented by our model in conjunction with an analysis of possible phase diagrams obtained by real space renormalization group techniques. The phase diagram are obtained at finite temperature in the region where the ferromagnetic behavior is predominant. Through the use of the transmissivities concepts we obtain the recursion relations in some periodical as well as aperiodic hierarchical lattices. In a first analysis we initially consider the two-color Ashkin-Teller model in order to obtain some results with could be used as a guide to our main purpose. In the anisotropic case the model was previously studied on the Wheatstone bridge by Claudionor Bezerra in his Master Degree dissertation. By using more appropriated computational resources we obtained isomorphic critical surfaces described in Bezerra's work but not properly identified. Besides, we also analyzed the isotropic version in an aperiodic hierarchical lattice, and we showed how the geometric fluctuations are affected by such aperiodicity and its consequences in the corresponding critical behavior. Those analysis were carried out by the use of appropriated definitions of transmissivities. Finally, we considered the modified 3-AT model with a 6-spin couplings. With the inclusion of such term the model becomes more attractive from the symmetry point of view. For some hierarchical lattices we derived general recursion relations in the anisotropic version of the model (3-AAT), from which case we can obtain the corresponding equations for the isotropic version (3-IAT). The 3-IAT was studied extensively in the whole region where the ferromagnetic couplings are dominant. The fixed points and the respective critical exponents were determined. By analyzing the attraction basins of such fixed points we were able to find the three-parameter phase diagram (temperature £ 4-spin coupling £ 6-spin coupling). We could identify fixed points corresponding to the universality class of Ising and 4- and 8-state Potts model. We also obtained a fixed point which seems to be a sort of reminiscence of a 6-state Potts fixed point as well as a possible indication of the existence of a Baxter line. Some unstable fixed points which do not belong to any aforementioned q-state Potts universality class was also found

Propriedades críticas do modelo z(4) em sistemas bi e tridimensionais

A real space renormalization group method is used to investigate the criticality (phase diagrams, critical expoentes and universality classes) of Z(4) model in two and three dimensions. The values of the interaction parameters are chosen in such a way as to cover the complete phase diagrams of the model, which presents the following phases: (i) Paramagnetic (P); (ii) Ferromagnetic (F); (iii) Antiferromagnetic (AF); (iv) Intermediate Ferromagnetic (IF) and Intermediate Antiferromagnetic (IAF). In the hierarquical lattices, generated by renormalization the phase diagrams are exact. It is also possible to obtain approximated results for square and simple cubic lattices. In the bidimensional case a self-dual lattice is used and the resulting phase diagram reproduces all the exact results known for the square lattice. The Migdal-Kadanoff transformation is applied to the three dimensional case and the additional phases previously suggested by Ditzian et al, are not found

Redes de Petri reactivas e hierárquicas - integração de formalismos no projecto de sistemas reactivos de tempo-real

Dissertação apresentada para obtenção do grau de Doutor em Engenharia Electrotécnica, especialidade de Sistemas Digitais, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Extração de casos de teste utilizando Redes de Petri hierárquicas e validação de resultados utilizando OWL.

Este trabalho propõe dois métodos para teste de sistemas de software: o primeiro extrai ideias de teste de um modelo desenvolvido em rede de Petri hierárquica e o segundo valida os resultados após a realização dos testes utilizando um modelo em OWL-S. Estes processos aumentam a qualidade do sistema desenvolvido ao reduzir o risco de uma cobertura insuficiente ou teste incompleto de uma funcionalidade. A primeira técnica apresentada consiste de cinco etapas: i) avaliação do sistema e identificação dos módulos e entidades separáveis, ii) levantamento dos estados e transições, iii) modelagem do sistema (bottom-up), iv) validação do modelo criado avaliando o fluxo de cada funcionalidade e v) extração dos casos de teste usando uma das três coberturas de teste apresentada. O segundo método deve ser aplicado após a realização dos testes e possui cinco passos: i) primeiro constrói-se um modelo em OWL (Web Ontology Language) do sistema contendo todas as informações significativas sobre as regras de negócio da aplicação, identificando as classes, propriedades e axiomas que o regem; ii) em seguida o status inicial antes da execução é representado no modelo através da inserção das instâncias (indivíduos) presentes; iii) após a execução dos casos de testes, a situação do modelo deve ser atualizada inserindo (sem apagar as instâncias já existentes) as instâncias que representam a nova situação da aplicação; iv) próximo passo consiste em utilizar um reasoner para fazer as inferências do modelo OWL verificando se o modelo mantém a consistência, ou seja, se não existem erros na aplicação; v) finalmente, as instâncias do status inicial são comparadas com as instâncias do status final, verificando se os elementos foram alterados, criados ou apagados corretamente. O processo proposto é indicado principalmente para testes funcionais de caixa-preta, mas pode ser facilmente adaptado para testes em caixa branca. Obtiveram-se casos de testes semelhantes aos que seriam obtidos em uma análise manual mantendo a mesma cobertura do sistema. A validação provou-se condizente com os resultados esperados, bem como o modelo ontológico mostrouse bem fácil e intuitivo para aplicar manutenções.

Redes de inovação em pequenas e médias empresas: um estudo de caso no setor têxtil

Dissertação de mestrado em Engenharia Industrial

Desenvolvimento de perfis aerodinâmicos a partir de suas características utilizando redes neurais artificiais

One of the current major concerns in engineering is the development of aircrafts that have low power consumption and high performance. So, airfoils that have a high value of Lift Coefficient and a low value for the Drag Coefficient, generating a High-Efficiency airfoil are studied and designed. When the value of the Efficiency increases, the aircraft s fuel consumption decreases, thus improving its performance. Therefore, this work aims to develop a tool for designing of airfoils from desired characteristics, as Lift and Drag coefficients and the maximum Efficiency, using an algorithm based on an Artificial Neural Network (ANN). For this, it was initially collected an aerodynamic characteristics database, with a total of 300 airfoils, from the software XFoil. Then, through the software MATLAB, several network architectures were trained, between modular and hierarchical, using the Back-propagation algorithm and the Momentum rule. For data analysis, was used the technique of cross- validation, evaluating the network that has the lowest value of Root Mean Square (RMS). In this case, the best result was obtained for a hierarchical architecture with two modules and one layer of hidden neurons. The airfoils developed for that network, in the regions of lower RMS, were compared with the same airfoils imported into the software XFoil

Análise de propriedades topológicas das redes biológicas integradas da Escherichia coli e da Saccharomyces cerevisiae

Biological processes are complex and possess emergent properties that can not be explained or predict by reductionism methods. To overcome the limitations of reductionism, researchers have been used a group of methods known as systems biology, a new interdisciplinary eld of study aiming to understand the non-linear interactions among components embedded in biological processes. These interactions can be represented by a mathematical object called graph or network, where the elements are represented by nodes and the interactions by edges that link pair of nodes. The networks can be classi- ed according to their topologies: if node degrees follow a Poisson distribution in a given network, i.e. most nodes have approximately the same number of links, this is a random network; if node degrees follow a power-law distribution in a given network, i.e. small number of high-degree nodes and high number of low-degree nodes, this is a scale-free network. Moreover, networks can be classi ed as hierarchical or non-hierarchical. In this study, we analised Escherichia coli and Saccharomyces cerevisiae integrated molecular networks, which have protein-protein interaction, metabolic and transcriptional regulation interactions. By using computational methods, such as MathematicaR , and data collected from public databases, we calculated four topological parameters: the degree distribution P(k), the clustering coe cient C(k), the closeness centrality CC(k) and the betweenness centrality CB(k). P(k) is a function that calculates the total number of nodes with k degree connection and is used to classify the network as random or scale-free. C(k) shows if a network is hierarchical, i.e. if the clusterization coe cient depends on node degree. CC(k) is an indicator of how much a node it is in the lesse way among others some nodes of the network and the CB(k) is a pointer of how a particular node is among several ...(Complete abstract click electronic access below)

Uso de redes neurais artificiais na identificação de vocalização de suínos

Animal welfare has been an important research topic in animal production mainly in its ways of assessment. Vocalization is found to be an interesting tool for evaluating welfare as it provides data in a non-invasive way as well as it allows easy automation of process. The present research had as objective the implementation of an algorithm based on artificial neural network that had the potential of identifying vocalization related to welfare pattern indicatives. The research was done in two parts, the first was the development of the algorithm, and the second its validation with data from the field. Previous records allowed the development of the algorithm from behaviors observed in sows housed in farrowing cages. Matlab® software was used for implementing the network. It was selected a retropropagation gradient algorithm for training the network with the following stop criteria: maximum of 5,000 interactions or error quadratic addition smaller than 0.1. Validation was done with sows and piglets housed in commercial farm. Among the usual behaviors the ones that deserved enhancement were: the feed dispute at farrowing and the eventual risk of involuntary aggression between the piglets or between those and the sow. The algorithm was able to identify through the noise intensity the inherent risk situation of piglets welfare reduction.

Avaliação postural em escolares das redes estadual e particular de ensino de primeiro grau

Universidade Estadual de Campinas . Faculdade de Educação Física

Redes de capacita????o: a experi??ncia da Escola de Governo e das universidades p??blicas do estado do Paran??

No Estado do Paran??, o movimento de forma????o e desenvolvimento dos servidores p??blicos ?? difundido a partir da cria????o da Escola de Governo, em 2004. Este artigo tem como objetivo apresentar a experi??ncia da constru????o de uma rede de capacita????o em pol??ticas p??blicas voltada ?? qualifica????o dos quadros de carreira de n??vel superior, analisando os desdobramentos e os fatores limitadores da rede. Apresenta a rede de capacita????o constru??da em parceria entre a Escola de Governo do Paran?? e seis Institui????es P??blicas de Ensino Superior (Universidade Estadual de Londrina, Universidade Estadual de Maring??, Universidade Estadual de Ponta Grossa, Universidade do Centro-Oeste do Paran??, Universidade do Oeste do Paran??, e a Universidade Federal do Paran??). A metodologia utilizada neste paper ?? o estudo de caso que relatar?? a constru????o da rede de capacita????o com as seguintes etapas: identifica????o dos diversos atores e a institui????o de c??mara t??cnica para a discuss??o e formata????o de curso de especializa????o que atendesse ??s necessidades e especificidades da Escola de Governo do Paran??; o processo seletivo; o desenvolvimento do Curso de P??s-Gradua????o, pelas Universidades p??blicas parceiras; o acompanhamento do Curso pela equipe da Escola de Governo do Paran??; os projetos de interven????o feitos pelos alunos; a dissemina????o do conhecimento produzido. O ponto alto do trabalho em rede se deu com as discuss??es do Curso na C??mara T??cnica: tem??tica do curso, fontes de recursos, projeto do curso, o p??blico-alvo, o ambiente de aprendizagem, o acesso ?? tecnologia, o suporte acad??mico e administrativo, o acompanhamento e avalia????o, a difus??o/dissemina????o do conhecimento. Dos resultados obtidos a partir da intera????o entre os integrantes da rede destacam-se: 19 turmas de um curso de P??s-Gradua????o em Formula????o e Gest??o de Pol??ticas P??blicas num total de 572 especialistas, al??m da realiza????o de um Semin??rio de Gest??o P??blica no Paran??, da cria????o do Reposit??rio Institucional SabeRES em Gest??o P??blica de acesso livre e da publica????o de livros sobre Gest??o de Pol??ticas P??blicas no Paran??, contendo artigos publicados pelos alunos sobre tem??ticas relacionadas ?? gest??o p??blica. Com isso, o Estado do Paran?? iniciou um processo de constru????o de saberes em gest??o p??blica a partir da reflex??o de suas pr??prias viv??ncias e experi??ncias, e de uma rela????o harmoniosa e inovadora entre produtores de saberes ??? a institui????o acad??mica e a administra????o p??blica ??? os quais criaram condi????es para a constru????o do conhecimento, o que n??o teria sido poss??vel de maneira isolada. Essa rede de conhecimento em pol??ticas p??blicas, por ter sido coletivamente constru??da, revelou que mais importante que o conhecimento em si e o processo da sua constru????o, foi a transposi????o desses resultados para a realidade n??o apenas dos produtores desse conhecimento, mas para todos os que atuam e s??o beneficiados pela gest??o p??blica

Curso: redes de pol??ticas p??blicas: o desafio da governan??a

O curso tem como objetivo apresentar as principais pol??ticas p??blicas implementadas pelos sistemas pol??ticos contempor??neos decorrentes de uma complexa e cont??nua intera????o entre diversos atores, tanto dentro quanto fora do governo.Nesse sentido, busca-se compreender a estrutura subjacente a essa intera????o, denominada rede de pol??ticas p??blicas. Assim, o curso discute as principais caracter??sticas destas redes, suas possibilidades e limita????es

Colet??nea de pol??ticas p??blicas: volume 2: redes de pol??tica p??blica

O principal objetivo deste livro ?? constituir uma fonte de pesquisa para o estudo do processo de produ????o e implementa????o de pol??ticas p??blicas. Por meio de textos selecionados, analisa-se o pr??prio conceito de pol??ticas p??blicas, discute-se as defini????es utilizadas para distinguir suas diversas fases e apresenta-se algumas das principais correntes te??ricas de an??lise sobre o processo de pol??ticas p??blicas.

A experi??ncia da Escola Nacional de Administra????o P??blica na articula????o de redes de capacita????o

Este artigo relata algumas das experi??ncias da ENAP como membro, articuladora e incentivadora da atua????o em rede entre institui????es voltadas ?? forma????o e ?? capacita????o de servidores p??blicos. ?? dado destaque ?? an??lise da experi??ncia da Rede Descentralizada de Capacita????o de gestores sociais, vivenciada em parceria com o Minist??rio do Desenvolvimento Social, no per??odo de 2007 e 2008. Ao final s??o apresentadas algumas contribui????es ?? reflex??o sobre os resultados dessas iniciativas.