Made available in DSpace on 2018-08-01T23:39:27Z (GMT). No. of bitstreams: 1 tese_11151_THIAGO20180208-121729.pdf: 132159 bytes, checksum: 9e929dc3a810133dcfa73bffb22e8286 (MD5) Previous issue date: 2017-06-20 / A análise das nulidades processuais sempre ocasionará, em alguma medida, considerações ao nível da Teoria Geral do Direito. As próprias características do instituto evidenciam tal conexão. Se não é viável a construção de uma teoria geral das nulidades em virtude das diferenças intrínsecas de cada disciplina, será sempre possível um exame das nulidades a partir da Teoria Geral do Direito. Em suas categorias, fundamentais e comuns a toda a dinâmica jurídica, tal disciplina cede o aporte necessário para o entendimento do instituto em seus aspectos primordiais, ainda não particularizados pelas peculiaridades de cada seara específica. E assim se procede no presente estudo. Nos capítulos iniciais, intenta-se a uma análise das nulidades que, partindo da Teoria Geral do Direito, alcance a Teoria Geral do Processo com dialeticidade de referenciais, coerência e coesão. Para tanto, perpassa-se pelo exame de conceitos basilares como os de norma jurídica, de fato jurídico, de ato jurídico e de processo judicial. Nos demais capítulos, procede-se à definição das nulidades processuais em seus caracteres principais para, em sequência imediata, executar o exame do instituto no contexto do Código de Processo Civil de 2015, analisando os elementos de sua disciplina, de sua principiologia, as inovações fixadas e o significado do instituto em um processo judicial tendente a uma nova feição: desta vez, verdadeiramente democrática. Palavras-chave: Teoria Geral do Direito. Nulidades Processuais. Direito Processual Civil. Código de Processo Civil de 2015.

In recent years, more and more vendors adopt Linux to be the embedded operating system for their electronic products because of its combination of reliability, performance, good tool chains, portability, and configurability. However, Linux kernel is complex, and different electronic products may use different platforms. For this reason, it often requires that Linux be ported to different platforms. In this thesis, we describe the details of how we port Linux to a new platform which is similar to but not exactly the same as another platform and thus is not currently supported by the kernel. Moreover, we propose two robust debugging techniques to solve the problems we had encountered in this thesis. One is to make it easier to trace a module with ICE; the other is to allow us to access the internal registers of the processor through the /proc filesystem rather than write a program every time we need to access those internal registers for the purpose of, say, debugging. By using these techniques, we show that the time required to port and debug a Linux kernel can be definitely reduced.

Made available in DSpace on 2016-08-29T15:32:43Z (GMT). No. of bitstreams: 1 tese_2732_TeseDoutoradoJoseGeraldodasNevesOrlandi.pdf: 8320830 bytes, checksum: ad078d97b1d65ad078a4b1758473a3eb (MD5) Previous issue date: 2008-08-22 / Este trabalho apresenta, implementa e testa um sistema de visão a laser, para construção de mapas de superfície de navegação e localização de obstáculos para robôs quadrúpedes. À medida que o robô navega em uma trajetória pré-definida, o sistema mapeia a superfície, identifica os obstáculos e toma decisões para se desviar ou transpô-los, dependendo de suas dimensões, definindo assim as ações de navegação do robô até o seu ponto de destino da trajetória. O sistema de visão usa uma câmera CCD e um sistema laser microcontrolado, que gera linhas de laser para varrer a superfície à frente do robô. As imagens adquiridas são então processadas por alguns algoritmos, de modo que os perfis do laser incidindo sobre os obstáculos são usados para gerar imagens de profundidade, que representam mapas 2½D da superfície. O sistema desenvolvido integra sucessivas imagens de profundidade para extrair dados relevantes dos obstáculos, e, juntamente com os dados de odometria e cinemática do robô, faz o mapeamento da superfície. Uma estratégia de controle baseada na navegação reativa, que usa uma árvore de decisão binária, foi implementada, para permitir ao robô navegar em superfícies com obstáculos de forma segura e eficiente. Os resultados experimentais mostraram que o sistema é eficiente. O robô Guará, que foi utilizado nos testes, navegou em ambiente com obstáculos desconhecidos, desviando-se ou transpondo-os, até atingir o ponto de destino da trajetória.

Bayesian statistical methods have long been computationally out of reach because the analysis often requires integration of high-dimensional functions. Recent advancements in computational tools to apply Markov Chain Monte Carlo (MCMC) methods are making Bayesian data analysis accessible for all statisticians. Two such computer tools are Win-BUGS and SASR 9.2's PROC MCMC. Bayesian methodology will be introduced through discussion of fourteen statistical examples with code and computer output to demonstrate the power of these computational tools in a wide variety of settings.

A generalized design-comparable effect size modeling and estimation for multiple baseline designs across individuals has been proposed and evaluated by Restricted Maximum Likelihood method in a hierarchical linear model using R. This report evaluates the exact approach of the modeling and estimation by SAS. Three models (MB3, MB4 and MB5) with same fixed effects and different random effects are estimated by PROC MIXED procedure with REML method. The unadjusted size and adjusted effect size are then calculated by matrix operation package PROC IML. The estimations for the fixed effects of the three models are similar to each other and to that of R. The variance components estimated by the two software packages are fairly close for MB3 and MB4, but the results are different for MB5 which exhibits boundary conditions for variance-covariance matrix. This result suggests that the nlme library in R works differently than the PROC MIXEDREML method in SAS under extreme conditions. / text

O objetivo principal deste trabalho é introduzir os modelos log-Birnbaum-Saunders mistos (log-BS mistos) e estender os resultados para os modelos log-Birnbaum-Saunders t-Student mistos (log-BS-t mistos). Os modelos log-BS são bastante conhecidos desde o trabalho de Rieck e Nedelman (1991) e particularmente receberam uma grande atenção nos últimos 10 anos com vários trabalhos publicados em periódicos internacionais. Contudo, o enfoque desses trabalhos tem sido em modelos log-BS ou log-BS generalizados com efeitos fixos, não havendo muita atenção para modelos com efeitos aleatórios. Inicialmente, apresentamos no trabalho uma revisão das distribuições Birnbaum-Saunders e Birnbaum-Saunders generalizada (BSG) e em seguida discutimos os modelos log-BS e log-BS-t com efeitos fixos, para os quais revisamos alguns resultados de estimação e diagnóstico. Os modelos log-BS mistos são então apresentados precedidos de uma revisão dos métodos de quadratura de Gauss Hermite (QGH). Embora a estimação dos parâmetros nos modelos log-BS mistos seja efetuada através do procedimento Proc NLMIXED do SAS (Littell et al, 1996), aplicamos o método de quadratura não adaptativa a fim de obtermos aproximações para o logaritmo da função de verossimilhança do modelo log-BS de intercepto aleatório. Com essas aproximações derivamos as funções escore e a matriz hessiana, além das curvaturas normais de influência local (Cook, 1986) para alguns esquemas de perturbação usuais. Os mesmos procedimentos são aplicados para os modelos log-BS-t de intercepto aleatório. Discussões sobre a predição dos efeitos aleatórios, teste para o componente de variância dos modelos com intercepto aleatório e análises de resíduos são também apresentados. Finalmente, comparamos os ajustes de modelos log-BS e log-BS mistos a um conjunto de dados reais. Métodos de diagnóstico são utilizados na comparação dos modelos ajustados. / The aim of this work is to introduce the log-Birnbaum-Saunders mixed models (log-BS mixed models) and to extend the results to log-Birnbaum-Saunders Student-t mixed models (log-BS-t mixed models). The log-BS models are well-known since the work by Rieck and Nedelman (1991) and particularly have received great attention in the last 10 years with various published papers in international journals. However, the emphasis given in such works has been in fixed-effects models with few attention given to random-effects models. Firstly, we present in this work a review on Birnbaum-Saunders and generalized Birnbaum-Saunders distributions and so we discuss log-BS and log-BS-t fixed-effects models for which some results on estimation and diagnostic are presented. Then, we introduce the log-BS mixed models preceded by a review on Gauss-Hermite quadrature. Although the parameter estimation of the marginal log-BS and log-BS-t mixed models are performed in the procedure NLMIXED of SAS (Littell et al., 1996), we apply the quadrature methods in order to obtain approximations for the likelihood function of the log-BS and log-BS-t random intercept models. These approximations are used to derive the respective score functions, observed information matrices as well as the normal curvature of local influence (Cook, 1986) under some usual perturbation schemes. Discussions on the prediction of the random effects, variance component tests and residual analysis are also given. Finally, we compare the fits of log-BS and log-BS-t mixed models to a real data set. Diagnostic methods are used in the comparisons.

O objetivo principal deste trabalho é introduzir os modelos log-Birnbaum-Saunders mistos (log-BS mistos) e estender os resultados para os modelos log-Birnbaum-Saunders t-Student mistos (log-BS-t mistos). Os modelos log-BS são bastante conhecidos desde o trabalho de Rieck e Nedelman (1991) e particularmente receberam uma grande atenção nos últimos 10 anos com vários trabalhos publicados em periódicos internacionais. Contudo, o enfoque desses trabalhos tem sido em modelos log-BS ou log-BS generalizados com efeitos fixos, não havendo muita atenção para modelos com efeitos aleatórios. Inicialmente, apresentamos no trabalho uma revisão das distribuições Birnbaum-Saunders e Birnbaum-Saunders generalizada (BSG) e em seguida discutimos os modelos log-BS e log-BS-t com efeitos fixos, para os quais revisamos alguns resultados de estimação e diagnóstico. Os modelos log-BS mistos são então apresentados precedidos de uma revisão dos métodos de quadratura de Gauss Hermite (QGH). Embora a estimação dos parâmetros nos modelos log-BS mistos seja efetuada através do procedimento Proc NLMIXED do SAS (Littell et al, 1996), aplicamos o método de quadratura não adaptativa a fim de obtermos aproximações para o logaritmo da função de verossimilhança do modelo log-BS de intercepto aleatório. Com essas aproximações derivamos as funções escore e a matriz hessiana, além das curvaturas normais de influência local (Cook, 1986) para alguns esquemas de perturbação usuais. Os mesmos procedimentos são aplicados para os modelos log-BS-t de intercepto aleatório. Discussões sobre a predição dos efeitos aleatórios, teste para o componente de variância dos modelos com intercepto aleatório e análises de resíduos são também apresentados. Finalmente, comparamos os ajustes de modelos log-BS e log-BS mistos a um conjunto de dados reais. Métodos de diagnóstico são utilizados na comparação dos modelos ajustados. / The aim of this work is to introduce the log-Birnbaum-Saunders mixed models (log-BS mixed models) and to extend the results to log-Birnbaum-Saunders Student-t mixed models (log-BS-t mixed models). The log-BS models are well-known since the work by Rieck and Nedelman (1991) and particularly have received great attention in the last 10 years with various published papers in international journals. However, the emphasis given in such works has been in fixed-effects models with few attention given to random-effects models. Firstly, we present in this work a review on Birnbaum-Saunders and generalized Birnbaum-Saunders distributions and so we discuss log-BS and log-BS-t fixed-effects models for which some results on estimation and diagnostic are presented. Then, we introduce the log-BS mixed models preceded by a review on Gauss-Hermite quadrature. Although the parameter estimation of the marginal log-BS and log-BS-t mixed models are performed in the procedure NLMIXED of SAS (Littell et al., 1996), we apply the quadrature methods in order to obtain approximations for the likelihood function of the log-BS and log-BS-t random intercept models. These approximations are used to derive the respective score functions, observed information matrices as well as the normal curvature of local influence (Cook, 1986) under some usual perturbation schemes. Discussions on the prediction of the random effects, variance component tests and residual analysis are also given. Finally, we compare the fits of log-BS and log-BS-t mixed models to a real data set. Diagnostic methods are used in the comparisons.

The aim of this study is to compare anthropometric parameters of the trunk between a group of patients with low back pain and a control group without pain. These findings would support the theory that low back pain may be caused by non-ideal postural-locomotion development in childhood, resulting in measurable morphological variations in adulthood. 60 individuals with low back pain (patients) and 60 healthy volunteers (controls) participated in the study. It was confirmed that the distance between the jugular fossa and xiphoid process is shorter in relation to the body height in the group of patients versus the control group. Conversely, there was a significantly longer distance between the xiphoid and symphysis relative to the body height among the patients. Furthermore, diastasis of rectus abdominis muscle was observed more frequently in the low back pain group. These findings suggest that patients with low back pain present with trunk morphological differences when compared with a matching healthy group. Keywords Low back pain, jugular fossa to xiphoid process distance, xiphoid to symphysis distance, rectus abdominis muscle diastasis, motor development, morphology, anthropometry

A evolução tecnológica é fato marcante e constante no século XXI. Vendo as inúmeras vantagens, o Poder Judiciário Brasileiro resolveu encarar o desafio e se render à tecnologia como forma de oferecer ao cidadão uma prestação jurisdicional mais célere, transparente, eficiente. Para isso, foi promulgada a Lei nº 11419/2006, que autorizou o uso de meio eletrônico na tramitação de processos judiciais, e estipulou as regras para observância pelos órgãos. Com este estudo dissertativo, pretendemos discorrer sobre o contexto histórico acerca do processo eletrônico no Brasil, como se deu a trajetória da realidade brasileira até a promulgação da lei 11419, as leis que foram aprovadas ao longo dos anos que autorizavam algum tipo de meio tecnológico para facilitar os trâmites processuais. O trabalho também versa sobre a implantação do processo eletrônico no Brasil e suas consequências. Como objeto principal do estudo, será analisada a implantação do sistema processual eletrônico no Estado do Tocantins, e em segundo plano demonstraremos a realidade do Poder Judiciário como um todo, em cada esfera de competência, analisando os dados obtidos e fazendo um estudo comparativo dos diversos sistemas de processo eletrônico que atualmente estão em pleno funcionamento no ordenamento jurídico brasileiro, inclusive fazendo um breve apontamento dos sistemas processuais eletrônicos que atualmente estão em uso por estes órgãos. Ao final, deixaremos registrado as sugestões para análise por parte da Comissão de Tecnologia da Informação do Tribunal de Justiça do Tocantins, para avaliação da funcionalidade e posterior inclusão, atualizando o sistema e-Proc, o processo eletrônico eleito pelo TJTO. / Technological progress is remarkable fact and contained in the twenty-first century. Seeing the numerous vantanges, the Brazilian Judiciary decided to face the challenge and surrender to technology as a way to offer citizens a judicial provide faster, transparent, efficient. For this, it was enacted Law No. 11419/2006, which authorized the use of electronic means in the course of judicial proceedings, and sets out the rules for compliance by agencies. With this dissertational study, we intend to discuss the historical context about the electronic process in Brazil, how was the trajectory of Brazilian reality until the enactment of Law 11419, the laws that have been passed over the years authorizing some kind of technological means to facilitate procedural formalities. The work will also discuss the implementation of the electronic process in Brazil and its consequences. As the main object of study, the implementation of the electronic court system in the state of Tocantins will be analyzed, and in the background demonstrate the reality of the judiciary as a whole, in every sphere of competence, analyzing the data and making a study comparison of the various electronic processing systems that are currently in full operation in the Brazilian legal system, including making a brief note of the procedural electronic systems that are currently in use by these agencies. At the end, we leave recorded suggestions for consideration by the Commission of Information Technology of Tocantins Court of Justice to assess the functionality and subsequent inclusion, updating the e-Proc system, the electronic process elected by TJTO.

The purpose of this study was to determine if using a multistage approach for the empirical selection of anchor items would lead to more accurate DIF detection rates than the anchor selection methods proposed by Kopf, Zeileis, & Strobl (2015b). A simulation study was conducted in which the sample size, percentage of DIF, and balance of DIF were manipulated. The outcomes of interest were true positive rates, false positive rates, familywise false positive rates, anchor contamination rates, and familywise anchor contamination rates. Results showed the proposed multistage methods produced lower anchor contamination rates than the non-multistage methods under some conditions, but there were generally no meaningful differences in true positive and false positive rates.