No description available.

Máquinas de Estados Finitos, além de suas inúmeras aplicações, são amplamente utilizadas na Engenharia de Software para modelar especificações de sistemas. Nesses modelos, projetistas podem inserir, inadvertidamente, estados redundantes, ou seja, que exibem o mesmo comportamento. A eliminação desses estados traz diversos benefícios para as atividades que utilizam o modelo, como menor complexidade e menos recursos físicos para implementação. O processo de eliminação desses estados é denominado minimização, e pode ser realizado em tempo polinomial para máquinas completamente especificadas. Por outro lado, a minimização de máquinas parciais, cuja especificação não cobre todo o domínio de entrada, somente pode ser obtida em tempo polinomial com o uso de abordagens não determinísticas, ou seja, trata-se de um problema NP-Completo. Este trabalho apresenta uma estratégia para a minimização de máquinas de estados finitos parciais que faz o uso de heurísticas e otimizações para tornar o processo mais eficiente. Visando mensurar tal ganho de eficiência, foram realizados experimentos, nos quais os tempos de execução de uma implementação do método proposto foram medidos, juntamente com os tempos de implementações de dois outros métodos conhecidos. Os resultados mostraram vantagens significativas de performance para o novo método em relação aos métodos anteriores / Finite State Machines are largely used on Software Engineering to model systems specifications. In these models, designers may inadvertently include redundant states, i.e., states which exhibit the same input/output behavior. The absence of such states brings benefits to the modeling activities, reducing the complexity and taking less physical resources on implementations. The process of eliminating redundant states is known as minimization, and can be accomplished in polynomial time for completely specified machines. On the other hand, the minimization of partially specified machines, i.e., machines which have undefined behavior for some inputs, can only be done in polynomial time when non-deterministic approaches are applied. It is a known NP-Complete problem. This work presents a deterministic approach to minimize incompletely specified Finite State Machines, using heuristics and optimizations to accomplish the task more efficiently. In order to measure the performance improvements, experiments were done, observing the running time of an implementation of the proposed method, along with running times of implementations of two other known methods. The results revealed a significant performance advantage when using the proposed approach

Neste trabalho, estudamos as Singularidades das folheações mutuamente ortogonais, numa variedade orientada M^3 de dimensão 3, cujas folhas são as curvas integrais dos campos de direções de curvatura principal associadas a uma imersão : M^3 R^4. Damos aqui continuidade às contribuições de R. Garcia referente ao estudo das singularidades genéricas das folheações principais. Apresentamos as configurações principais numa vizinhança dos pontos parcialmente umbílicos de codimensão 1, ou seja, as singularidades das folheações principais que aparecem genericamente em famílias a 1 parâmetro de hipersuperfícies imersas em R^4, e os diagramas de bifurcação pertinentes. Enfraquecendo a condição de genericidade, da maneira mais simples possível, encontramos oito tipos genéricos: D_1^ 1, D^1_ 2, D^1_ 3, D^1_, D^1_{1h,p}, D^1_{1h,n}, D^1_p e D^1_c , definidos ao longo do trabalho. Nesta tese consubstanciamos matematicamente a seguinte conclusão: As singularidades das folheações principais, que aparecem genericamente em famílias a 1 parâmetro de hipersuperfícies imersas em R^4, são os pontos parcialmente umbílicos D_1^ 1, D^1_ 2, D^1_ 3, D^1_, D^1_{1h,p}, D^1_{1h,n}, D^1_ e D^1_ , cujas definições e propriedades serão apresentados aqui. A parte central desta tese é estabelecer, analítica e geometricamente, a configuração principal destes pontos incluindo seus diagramas de bifurcação. / In this work we study the mutually ortogonal foliations, in oriented three dimensional manifolds M^3, whose leaves are the integral curves of the principal curvature direction fields associated to immersions : M^3 R^4. We focus on behavior of these foliation around singularities. Here we extend the contributions of R. Garcia concerning the study of generic singularities. To this end we establish the principal configurations in a neighborhood of partially umbilic points of codimension one. These are the singularities which appear generically in one parameter families of hypersurfaces and give their bifurcation diagrams. We express the condition of genericity by minimally weakening those given by R. Garcia and by adding instead new higher order ones. This procedure leads to the novel generic types: D^1_1, D^1_2, D^1_3, D^1_, D^1_{1h,p}, D^1_{1h,n}, D^1_p and D^1_c , studied in this work. The central part of this thesis is to establish, analitically and geometrically, the local principal configurations at these points, including their bifurcations diagrams.

Made available in DSpace on 2014-06-11T19:26:08Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-02-24Bitstream added on 2014-06-13T20:14:42Z : No. of bitstreams: 1 buchweitz_ed_me_jabo.pdf: 457129 bytes, checksum: fa6a9d6b3e092340a34ec3de2d5161cc (MD5) / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / A baixa freqüência de genes recessivos deletérios e letais e a grande proporção de locos favoráveis já fixados nos híbridos comerciais, associado a uma seleção fenotípica eficiente entre e dentro de linhagens pode permitir a obtenção de híbridos promissores. Em média, são gastos de 8 a 10 anos para que um novo híbrido chegue ao mercado, o que implica diretamente no custo final das sementes. Para reduzir esse tempo é interessante viabilizar a utilização de linhagens parcialmente endogâmicas nos cruzamentos para agilizar o processo de obtenção de híbridos superiores e reduzir os custos da produção de sementes híbridas. Diante da necessidade de identificar híbridos de destaque e de encontrar alternativas que conduzam à redução dos custos e do tempo para a obtenção de sementes híbridas, o objetivo desse trabalho foi avaliar o potencial de linhagens parcialmente endogâmicas de milho com três (S3) e quatro (S4) gerações de autofecundação, obtidas de híbridos simples comerciais, com relação à heterose dos híbridos resultantes / The low frequency of deleterious recessive and lethal genes and the large proportion of favorable loci already set in commercial hybrids combined with an efficient phenotypic selection among and within strains may allow the achievement of promising lines. On average, spending 8 to 10 years for a new hybrid to reach the market, which directly implies the final cost of the seeds. To reduce this time it is interesting to enable the use of partly inbred lines at intersections to expedite the process of obtaining superior hybrids and reduce the costs of producing hybrid seeds. Faced with the need to identify hybrids highlighted and to find alternatives that lead to the reduction of costs and time required for the production of hybrid seeds, the purpose of this study was to evaluate the potential of partly inbred lines of maize with three (S3) and four (S4) generations of selfing, obtained from commercial single cross hybrids, with respect to the follow-on hybrid heterosis

Magíster en Ciencias de la Ingeniería, Mención Ingeniería Sísmica / La presente investigación corresponde a un estudio numérico del sistema viga-conexión DBT sometido a carga monotónica, con el objetivo de comparar los resultados numéricos, con los teóricos establecidos en el FEMA 350. La elección de los sistemas vigas conexión, se logró mediante un proceso de prueba y error de 4 estructuras destinadas al uso habitacional que fueron modeladas como marcos sismorresistentes en 2D sometidas a la combinación de cargas gravitacionales y dinámicas de diseño hasta cumplir con las disposiciones establecidas en la NCh 433 Of 2009. La primera parte corresponde a una revisión bibliográfica. Con esta se ha construido un marco teórico que permite entender el comportamiento del sistema viga -conexión. Una vez determinados los posibles modos de falla que controlan el comportamiento de los sistemas, se ha diseñado una serie de 24 especímenes con 4 posibles modos de falla teóricos. Esta serie, denominada DBT será estudiada en esta investigación de forma numérica mediante la construcción de modelos de elementos finitos y luego los resultados serán correlaciones con aquellos determinados de manera teórica. La segunda parte es la construcción de un modelo computacional de elementos finitos con el software ANSYS en su versión 15. Corresponde a un modelo 3D, este considera las no linealidades de los materiales y discontinuidades geométricas. La primera y segunda validación se realizó comparando la curva de comportamiento de la conexión aislada y el sistema viga-conexión con los estudios realizados previo a esta tesis. La tercera parte es el estudio de la respuesta monotónica del sistema mediante el modelo de elementos finitos para cada modo de falla considerado. De esta manera se ha podido comparar con los modos de falla teóricos en la etapa de diseño. Se determinó que existe una buena correlación entre los valores de momento numéricos y teóricos y que la rotulación plástica de la viga, es el mecanismo que disipa la mayor cantidad de energía. Además, la degradación de rigidez en la conexión, es producto de un estado inicial y de término del desplazamiento del perno a corte, hasta que entra en contacto con la perforación del alma, que gracias a la relajación que otorga el aplastamiento del ala de la viga, es que los pernos sometidos a corte y tracción no fallan, que la rigidez para el modo de falla por apalancamiento y fractura del área neta, están de mejor manera representadas teóricamente por la estipulada en el AISC 2010 y FEMA 350 (2000), respectivamente. En futuras investigaciones, se debe completar el modelo, someterlos a una mayor rotación para gatillar la fractura del área neta de la T stub.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-08-09T22:51:25Z No. of bitstreams: 1 CarlosAlbertoDeAlbuquerqueSilva_TESE.pdf: 4568486 bytes, checksum: 5ddf18d55603ffd49ea2899025e1615f (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-08-10T23:15:49Z (GMT) No. of bitstreams: 1 CarlosAlbertoDeAlbuquerqueSilva_TESE.pdf: 4568486 bytes, checksum: 5ddf18d55603ffd49ea2899025e1615f (MD5) / Made available in DSpace on 2016-08-10T23:15:49Z (GMT). No. of bitstreams: 1 CarlosAlbertoDeAlbuquerqueSilva_TESE.pdf: 4568486 bytes, checksum: 5ddf18d55603ffd49ea2899025e1615f (MD5) Previous issue date: 2015-09-04 / Ag?ncia Nacional do Petr?leo - ANP / As Redes Neurais Artificiais (RNAs), que constituem uma das ramifica??es da Intelig?ncia Artificial (IA), est?o sendo empregadas como solu??o para v?rios problemas complexos, existentes nas mais diversas ?reas. Para a solu??o destes problemas torna-se indispens?vel que sua implementa??o seja feita em hardware. Em meio as estrat?gias a serem adotadas e satisfeitas durante a fase de projeto e implementa??o das RNAs em hardware, as conex?es entre os neur?nios s?o as que necessitam de maior aten??o. Recentemente, encontram-se RNAs implementadas tanto em circuitos integrados de aplica??o espec?fica (Application Specific Integrated Circuits - ASIC) quanto em circuitos integrados, configurados pelo usu?rio, a exemplo dos Field Programmable Gate Array (FPGAs), que possuem a capacidade de serem reconfigurados parcialmente, em tempo de execu??o, formando, portanto, um Sistema Parcialmente Reconfigur?vel (SPR), cujo emprego proporciona diversas vantagens, tais como: flexibilidade na implementa??o e redu??o de custos. Tem-se observado um aumento considerado no uso destes dispositivos para a implementa??o de RNAs. Diante do exposto, prop?e-se a implementa??o de uma matriz de neur?nios dinamicamente reconfigur?vel no FPGA Virtex 6 da Xilinx, descrita em linguagem de hardware e que possa absorver projetos baseados em plataforma de sistemas embarcados, dedicados ao controle distribu?do de equipamentos normalmente utilizados na ind?stria. Prop?e-se ainda, que a configura??o das topologias das RNAs que possam vir a ser formadas, seja realizada via software. / The Artificial Neural Networks (ANN), which is one of the branches of Artificial Intelligence (AI), are being employed as a solution to many complex problems existing in several areas. To solve these problems, it is essential that its implementation is done in hardware. Among the strategies to be adopted and met during the design phase and implementation of RNAs in hardware, connections between neurons are the ones that need more attention. Recently, are RNAs implemented both in application specific integrated circuits's (Application Specific Integrated Circuits - ASIC) and in integrated circuits configured by the user, like the Field Programmable Gate Array (FPGA), which have the ability to be partially rewritten, at runtime, forming thus a system Partially Reconfigurable (SPR), the use of which provides several advantages, such as flexibility in implementation and cost reduction. It has been noted a considerable increase in the use of FPGAs for implementing ANNs. Given the above, it is proposed to implement an array of reconfigurable neurons for topologies Description of artificial neural network multilayer perceptrons (MLPs) in FPGA, in order to encourage feedback and reuse of neural processors (perceptrons) used in the same area of the circuit. It is further proposed, a communication network capable of performing the reuse of artificial neurons. The architecture of the proposed system will configure various topologies MLPs networks through partial reconfiguration of the FPGA. To allow this flexibility RNAs settings, a set of digital components (datapath), and a controller were developed to execute instructions that define each topology for MLP neural network.

Máquinas de Estados Finitos, além de suas inúmeras aplicações, são amplamente utilizadas na Engenharia de Software para modelar especificações de sistemas. Nesses modelos, projetistas podem inserir, inadvertidamente, estados redundantes, ou seja, que exibem o mesmo comportamento. A eliminação desses estados traz diversos benefícios para as atividades que utilizam o modelo, como menor complexidade e menos recursos físicos para implementação. O processo de eliminação desses estados é denominado minimização, e pode ser realizado em tempo polinomial para máquinas completamente especificadas. Por outro lado, a minimização de máquinas parciais, cuja especificação não cobre todo o domínio de entrada, somente pode ser obtida em tempo polinomial com o uso de abordagens não determinísticas, ou seja, trata-se de um problema NP-Completo. Este trabalho apresenta uma estratégia para a minimização de máquinas de estados finitos parciais que faz o uso de heurísticas e otimizações para tornar o processo mais eficiente. Visando mensurar tal ganho de eficiência, foram realizados experimentos, nos quais os tempos de execução de uma implementação do método proposto foram medidos, juntamente com os tempos de implementações de dois outros métodos conhecidos. Os resultados mostraram vantagens significativas de performance para o novo método em relação aos métodos anteriores / Finite State Machines are largely used on Software Engineering to model systems specifications. In these models, designers may inadvertently include redundant states, i.e., states which exhibit the same input/output behavior. The absence of such states brings benefits to the modeling activities, reducing the complexity and taking less physical resources on implementations. The process of eliminating redundant states is known as minimization, and can be accomplished in polynomial time for completely specified machines. On the other hand, the minimization of partially specified machines, i.e., machines which have undefined behavior for some inputs, can only be done in polynomial time when non-deterministic approaches are applied. It is a known NP-Complete problem. This work presents a deterministic approach to minimize incompletely specified Finite State Machines, using heuristics and optimizations to accomplish the task more efficiently. In order to measure the performance improvements, experiments were done, observing the running time of an implementation of the proposed method, along with running times of implementations of two other known methods. The results revealed a significant performance advantage when using the proposed approach

Neste trabalho, estudamos as Singularidades das folheações mutuamente ortogonais, numa variedade orientada M^3 de dimensão 3, cujas folhas são as curvas integrais dos campos de direções de curvatura principal associadas a uma imersão : M^3 R^4. Damos aqui continuidade às contribuições de R. Garcia referente ao estudo das singularidades genéricas das folheações principais. Apresentamos as configurações principais numa vizinhança dos pontos parcialmente umbílicos de codimensão 1, ou seja, as singularidades das folheações principais que aparecem genericamente em famílias a 1 parâmetro de hipersuperfícies imersas em R^4, e os diagramas de bifurcação pertinentes. Enfraquecendo a condição de genericidade, da maneira mais simples possível, encontramos oito tipos genéricos: D_1^ 1, D^1_ 2, D^1_ 3, D^1_, D^1_{1h,p}, D^1_{1h,n}, D^1_p e D^1_c , definidos ao longo do trabalho. Nesta tese consubstanciamos matematicamente a seguinte conclusão: As singularidades das folheações principais, que aparecem genericamente em famílias a 1 parâmetro de hipersuperfícies imersas em R^4, são os pontos parcialmente umbílicos D_1^ 1, D^1_ 2, D^1_ 3, D^1_, D^1_{1h,p}, D^1_{1h,n}, D^1_ e D^1_ , cujas definições e propriedades serão apresentados aqui. A parte central desta tese é estabelecer, analítica e geometricamente, a configuração principal destes pontos incluindo seus diagramas de bifurcação. / In this work we study the mutually ortogonal foliations, in oriented three dimensional manifolds M^3, whose leaves are the integral curves of the principal curvature direction fields associated to immersions : M^3 R^4. We focus on behavior of these foliation around singularities. Here we extend the contributions of R. Garcia concerning the study of generic singularities. To this end we establish the principal configurations in a neighborhood of partially umbilic points of codimension one. These are the singularities which appear generically in one parameter families of hypersurfaces and give their bifurcation diagrams. We express the condition of genericity by minimally weakening those given by R. Garcia and by adding instead new higher order ones. This procedure leads to the novel generic types: D^1_1, D^1_2, D^1_3, D^1_, D^1_{1h,p}, D^1_{1h,n}, D^1_p and D^1_c , studied in this work. The central part of this thesis is to establish, analitically and geometrically, the local principal configurations at these points, including their bifurcations diagrams.

El objetivo del presente estudio es determinar la frecuencia de interferencias oclusales en pacientes edéntulos parciales clase III de Kennedy, que acuden a la Clínica Odontológica de la Universidad Santo Toribio de Mogrovejo de la provincia de Chiclayo, 2015. El diseño del estudio fue transversal y descriptivo. La población de estudio fue representada por 40 pacientes de la clínica odontológica universitaria que cumplieron con los criterios de selección. Se diseñó una ficha de recolección de datos. Se capacitó y se realizó la calibración intra e interexaminador de los investigadores gracias a la participación de un especialista en Rehabilitación Oral, a fin de lograr una estandarización en los criterios de evaluación, verificado mediante índice de Kappa. Se encontró que el 73% del total de los pacientes presentaban interferencias oclusales en céntrica, el 53% en protrusiva, el 80% en lateralidad derecha y el 65% en lateralidad izquierda. Para obtener los resultados de nuestro estudio utilizamos el software Microsoft Excel. Básandonos en nuestros resultados, la mayoría de pacientes edéntulos parciales clase III de Kennedy, presentaron interferencias oclusales, tanto en céntrica, protrusiva, lateralidad derecha e izquierda. / Tesis

Este trabalho trata das medidas de máxima entropia para certos difeomorfismos em nilvariedades. Considere um difeomorfismo parcialmente hiperbólico f definido em T3, dinamicamente coerente com folheação central compacta. Suponha ainda que a aplicação induzida por f no espaço das folhas centrais é um homeomorfismo de Anosov transitivo em T2. Mostramos que o conjunto das medidas ergódicas hiperbólicas de máxima entropia é enumerável. Usando o princípio de invariância, mostramos que se o primeiro retorno de f à alguma folha periódica tem número de rotação irracional, então, f tem no máximo duas medidas ergódicas de máxima entropia e ter apenas uma medida de máxima entropia equivale a ser extensão de rotação. Se a aplicação de primeiro retorno à alguma folha central periódica é Morse-Smale, então existe um su-toro periódico, ou temos uma cota superior para o número de medidas ergódicas de máxima entropia que depende do número de atratores da dinâmica nessa folha. Além disso, estudamos a topologia da bacia das medidas ergódicas de máxima entropia para uma outra classe de difeomorfismos especiais que são genéricos no espaço dos difeomorfismos absolutamente parcialmente hiperbólicos e denotada por SPH1(M). / This work is about maximal entropy measures for certain diffeomorphisms on nilmanifolds. Consider a partially hyperbolic diffeomorphism f on T3 , C2 , dinamically coherent with compact center foliation which is a circle bundle. Assume that the map induced by f on the space of center leaves is a transitive Anosov homeomorphism. We show that the set of hyperbolic ergodic maximal entropy measures of f is countable. Using the invariance principle, we show that if the first return map to some periodic leaf has irrational rotation number then f has at most two ergodic maximal entropy measures and, in this case, if f has only one maximal entropy measure then f is a rotation extension. If the first return map to some periodic leaf is Morse-Smale then either there exists some periodic su-torus or an upper bound for the number of ergodic maximal entropy measure depending on the number of the attractors of the dynamics in this leaf. Moreover, we study the topology of basin of ergodic maximal entropy measures of another set of special diffeomorphisms that are generic in the space of absolutely partially hyperbolic systems and denoted by SPH1(M).