Made available in DSpace on 2014-06-12T15:54:23Z (GMT). No. of bitstreams: 2 arquivo6881_1.pdf: 1905257 bytes, checksum: 04bfefe5198fb11e1af4564f77de083a (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Petróleo Brasileiro S.A. / Apesar de componentes serem tratados como unidades básicas de composição no desenvolvimento baseado em componentes (CBD), para que eles obtenham um disseminado status de serem facilmente conectados como peças de lego a integração de componentes precisa ser cuidadosamente projetada, sistematizada e verificada; somente isto poderá garantir arquiteturas confiáveis. Além dos argumentos gerais sobre redução de custo através de reuso, abordagens CBD precisam oferecer uma interessante, e frutífera, oportunidade para o desenvolvimento de sistemas críticos de alta qualidade e viável no contexto industrial. Para alcançar esta meta, propomos neste trabalho uma abordagem sistematizada para a construção de sistemas baseados em componentes (CBS) confiáveis. A abordagem foca na realização de análises que consideram preocupações de engenharia no CBD. Ela se baseia em um modelo de componentes que caracteriza os blocos de construção de nossa abordagem de desenvolvimento, e que impõe as restrições necessárias para sua interação segura. Além disto, definimos restrições de construção para o nosso modelo de componentes, baseadas em regras de composição para componentes. Estas permitem verificar quando dois componentes são compatíveis para trocarem informações. As regras de composição compreendem um método sistematizado para preservar, por construção, propriedades comportamentais em composições de componentes; em particular, focamos na preservação de progresso local e da ausência de deadlock nas composições. Como conseqüência, é possível prever o comportamento de uma vasta gama de CBS, antes de sua implementação, com base em propriedades conhecidas do sistema. Em nossa abordagem, também propomos alternativas de verificação mais amenas: a) predições de condições de composição baseadas na análise de metadados de componentes; b) simplificações em verificações de componente associados a estilos arquiteturais específicos. Toda a abordagem é apoiada pela álgebra de processos CSP, que oferece modelos semânticos que suportam uma vasta gama de verificações e comparações de processos. Além disto, ilustramos a aplicação desta abordagem através de dois estudos de caso, que focam em diferentes aspectos da nossa abordagem, e verificamos mecanicamente a preservação de propriedades comportamentais de componentes na evolução dessas aplicações

Made available in DSpace on 2014-06-12T17:16:09Z (GMT). No. of bitstreams: 2 arquivo132_1.pdf: 6310979 bytes, checksum: ece214e2cd501c82a3b213147ccfd495 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / Secretaria de Educação de Pernambuco / Esta pesquisa analisou o Programa de Correção de Fluxo Se Liga , desenvolvido na Rede Pública de Ensino de PE, a fim de identificar suas concepções de ensino e aprendizagem e efeitos de suas práticas na aprendizagem dos alunos no que concerne ao domínio do sistema de escrita alfabética (doravante, SEA), e das capacidades de leitura e produção textual. A pesquisa foi desenvolvida em duas turmas: uma na cidade de Camaragibe e outra na cidade de São Lourenço da Mata, ambas no estado de Pernambuco. Durante um ano letivo, utilizamos como procedimentos metodológicos a análise documental, observações de aulas, entrevistas semi-estruturadas e mini-entrevistas, aplicação de pré-testes e pós-testes diagnósticos. Os resultados da pesquisa revelaram que o programa Se Liga tem seu ensino pautado no método silábico de alfabetização, demonstrando uma concepção associacionista de aprendizagem, tanto no material didático (cartilha e caderno de exercícios de alfabetização) quanto nas práticas propostas às docentes, que deveriam seguir fielmente as atividades do programa. No entanto, a análise das práticas revelou que ambas as professoras não se limitaram ao material do Se Liga e, com algumas variações, acrescentaram um grande número de atividades suplementares ao material disposto pelo programa. Especialmente a professora 1, inovou bastante, criando tarefas diferenciadas para seus alunos com distintos níveis de aprendizagem. Os resultados demonstraram ainda que um grande percentual de alunos das turmas avaliadas ingressaram no programa Se Liga já na hipótese alfabética de escrita e com um desempenho considerável em leitura (de palavras, frases e textos) e menor em produção de textos. Entretanto, considerando o perfil inicial das turmas avaliadas, destacamos, além da não necessidade de esses estudantes terem frequentado as turmas do Se Liga , o pouco avanço das aprendizagens desses e dos demais alunos, tanto na apropriação do SEA quanto na consolidação da alfabetização, elemento quase ausente nas práticas observadas

Made available in DSpace on 2014-06-12T17:35:10Z (GMT). No. of bitstreams: 2 arquivo2441_1.pdf: 18881385 bytes, checksum: 844e628241034102560cf3c07572ab1c (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O uso de câmeras digitais portáteis tornou-se uma alternativa viável para a aquisição de imagens de documentos devido a seu baixo custo, portabilidade e evolução. Essa aplicação não originalmente prevista vem tornando-se corriqueira. Tais dispositivos estão atualmente embarcadas em muitos dos equipamentos portáteis, como telefones celulares, palm tops, e outros dispositivos eletrônicos fáceis de utilizar e transportar, usados diariamente por milhares de pessoas. Devido a este novo uso dado às câmeras digitais, são necessários novos algoritmos capazes de processar essas imagens, melhorando-as e assim possibilitando um acesso regular e eficaz da informação nelas contidas. Uma vez que essas imagens podem apresentar problemas, como perda de foco, distorções de perspectiva, distorções causadas pela lente, bem como bordas mais complexas do que as encontradas em documentos escaneados. Esta dissertação analisa alguns dos fatores influentes na qualidade de documentos digitalizados através do uso de câmeras digitais e apresenta o ambiente PhotoDoc. Esse ambiente foi concebido de forma a ser amigável ao usuário, o qual a partir da interface gráfica do PhotoDoc poderá automaticamente: remover bordas, corrigir perspectiva, buscar por imagens de documentos fotografados, realçá-las, binarizá-las e transcrever estas imagens com o auxílio de ferramentas de OCR (Optical character recognition). Escolheu-se desenvolver o ambiente proposto nesta dissertação na forma de plugin do ImageJ, por se tratar de um software que apresenta uma série de outras funcionalidades para o processamento de imagens. Esse conjunto único de características torna o PhotoDoc uma solução pioneira, pois não existe ferramenta acadêmica ou comercial com tal funcionalidades até a presente data

Made available in DSpace on 2014-06-12T18:01:37Z (GMT). No. of bitstreams: 2 arquivo3765_1.pdf: 1126848 bytes, checksum: 6084e693b2b53f5b42f4016d8d99549b (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Neste trabalho, tratamos de refinamento de testes de hipóteses nos modelos de regressão não-lineares simétricos heteroscedásticos com função de ligação quaisquer para a média e para o parâmetro de escala. Desenvolvemos e apresentamos, em notação matricial, um fator de correção de Bartlett para a estatística da razão de verossimilhanças nesta classe de modelos. Apresentamos também um teste de razão de verossimilhanças. Apresentamos, em notação matricial, fatores de correção de Bartlett para melhorar as estatísticas da razão de verossimilhanças nesta classe de modelos

Made available in DSpace on 2014-06-12T18:06:28Z (GMT). No. of bitstreams: 2 arquivo9494_1.pdf: 666309 bytes, checksum: 4faa8c71261be077a2ec6d10fce3028a (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2012 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / A presente dissertação aborda estimação pontual e estimação intervalar dos parâmetros que indexam a distribuição Lomax. No que tange à estimação pontual, consideramos esquemas analíticos e numéricos (bootstrap) de correção de viés, que são comparados através de simulação de Monte Carlo. Também analisamos via simulação diferentes estratégias (inclusive algumas baseadas em reamostragem de bootstrap) de estimação intervalar

Made available in DSpace on 2014-06-12T18:06:36Z (GMT). No. of bitstreams: 2 arquivo9498_1.pdf: 801043 bytes, checksum: ccc5adc29d401845fe6ebd6adf82f473 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2012 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Nesta dissertação abordamos o desempenho do teste da razão de verossimilhanças usual e suas versões modificadas em pequenas amostras na classe dos modelos não lineares simétricos heteroscedásticos (MNLSH), mais especificamente, nos modelos t􀀀Student com 4 graus de liberdade e Exponencial potência com parâmetro de forma k = 0; 3. Além do teste usual, são considerados os testes baseados na estatística da razão de verossimilhanças corrigida via Bartlett (1937), LR, na estatística da razão de verossimilhanças perfiladas modificadas via Cox e Reid (1987), LRm; e sua respectiva versão corrigida via DiCiccio e Stern (1994), LRm. Desse modo, os objetivos principais deste trabalho são obter um fator de correção de Bartlett para a estatística LRm na classe dos MNLSH e realizar um estudo de simulação para avaliar o desempenhos dos testes de hipóteses baseados na estatística da razão de verossimilhanças usual, LR, e nas estatísticas LR, LRm e LRm . Neste estudo de simulação avaliamos o comportamento dos quatro testes em questão com relação ao tamanho, poder e discrepância relativa de quantis em amostras de tamanhos finitos e pode-se observar que, de modo geral, o teste baseado na estatística LRm apresentou o melhor desempenho

Orientador: Ingedore Grunfeld Villaça Koch / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Estudos da Linguagem / Made available in DSpace on 2018-07-24T09:53:32Z (GMT). No. of bitstreams: 1 Ruiz_ElianaMariaSeverinoDonaio_D.pdf: 9129330 bytes, checksum: 583ea6631470e8bc6562183cc1c2d095 (MD5) Previous issue date: 1998 / Resumo: Com o objetivo de encontrar respostas para uma questão metodológica fundamental do ensino da língua escrita na escola ("Como corrigir redações?"), esta tese tem dois momentos principais: um descritivo e outro analítico. No primeiro, mostro como se realiza a prática escolar de intervenção escrita (correção de redações) de um grupo de professores-sujeitos que trabalham com reescrita em sala de aula. E, no segundo momento, procuro analisar os resultados dessa prática, a partir de uma leitura comparativa de retextualizações (reescritas de redações corrigidas por esses professores) efetuadas por um grupo de alunos-sujeitos. Os instrumentos teóricos de que me servi como fundamento da análise -seja dos textos interventivos dos professores (correções), seja dos textos reescritos dos alunos (revisão) - assentam-se na concepção sócio-interacionista de linguagem, centrada no texto (ou no discurso). A análise apontou para uma convivência, na escola, de práticas diferenciadas de correção de redação, regidas por concepções diversas de linguagem. Apontou, ainda, para a estreita relação entre as tarefas de correção e de revisão, revelando a pertinência da postura teórica do professor no trabalho interventivo que realiza, uma vez que também de sua atuação como corretor dependerá a performance escrita do aluno como revisor. A análise mostrou, além disso, as vantagens de uma abordagem textual-interativa das redações, no trabalho de correção (leitura interventiva), já que retextualizações dela decorrentes mostram-se qualitativamente muito mais produtivas do que as que respondem unicamente a outros tipos de correção, centradas na concepção de linguagem em sua imanência. Contudo, por não ser tal postura a dominante no atual ensino de língua, e por estar a visão sócio-interacionista de linguagem ainda restrita ao trabalho específico deste o daquele professor-sujeito, esta tese aponta para a necessidade de uma revisão, pelos professores em exercício, da postura teórica vigente na escola, com base em recentes contribuições dos estudos da linguagem / Abstract: Aiming to find answers for a fundamental methodological question of written language teaching at school ("how to correct compositions"), this thesis has two principal foci: the first descriptive and the second analytical. I will show how intervention in the correction of composition functions in a group of teachers working with rewrites in class. Then, I try to analyze the results of this practice from the point of view comparative retextualization (compositions produced by a group of students that have been corrected and rewritten). The theoretical instruments I have used as a basis for my analysis - whether for the textual interventions on the part of teachers or whether for the rewritten texts - will be found within a social-interactive conception of language that focuses on text or discourse. The analysis points to a cohabitation of various correction skills, ruled by diverse conceptions of language. As student performance depends on the teacher in his or her role of 'corrector', the analysis also demonstrates a narrow relation between correction and revision tasks, indicating the relevance of the teacher's theoretical position in his or her intervention. The analysis showed, moreover, the advantages of a textual-interactive position for the correction of compositions ('interventive' reading), since retextualization on this basis is more productive than those forms of correction centered on a view of language stressing immanency. However, since this is not the ideologically dominant position in language teaching nowadays, and since a socio-interactive view of language is to be found only in the specific work of this or that teacher, the thesis will suggest the necessity of a revision, on the part of composition teachers, of their conception of language on the basis of recent contributions to language studies / Doutorado / Doutor em Linguística

Submitted by Etelvina Domingos (etelvina.domingos@ufpe.br) on 2015-03-05T17:13:08Z No. of bitstreams: 2 DLFA.pdf: 666309 bytes, checksum: 4faa8c71261be077a2ec6d10fce3028a (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-05T17:13:08Z (GMT). No. of bitstreams: 2 DLFA.pdf: 666309 bytes, checksum: 4faa8c71261be077a2ec6d10fce3028a (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012-02-28 / CAPES / A presente dissertação aborda estimação pontual e estimação intervalar dos parâmetros que indexam a distribuição Lomax. No que tange à estimação pontual, consideramos esquemas analíticos e numéricos (bootstrap) de correção de viés, que são comparados através de simulação de Monte Carlo. Também analisamos via simulação diferentes estratégias (inclusive algumas baseadas em reamostragem de bootstrap) de estimação intervalar.

Submitted by Etelvina Domingos (etelvina.domingos@ufpe.br) on 2015-03-05T17:58:21Z No. of bitstreams: 2 MA.pdf: 801043 bytes, checksum: ccc5adc29d401845fe6ebd6adf82f473 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-05T17:58:21Z (GMT). No. of bitstreams: 2 MA.pdf: 801043 bytes, checksum: ccc5adc29d401845fe6ebd6adf82f473 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012-02 / CAPES / Nesta dissertação abordamos o desempenho do teste da razão de verossimilhanças usual e suas versões modificadas em pequenas amostras na classe dos modelos não lineares simétricos heteroscedásticos (MNLSH), mais especificamente, nos modelos tStudent com 4 graus de liberdade e Exponencial potência com parâmetro de forma k = 0; 3. Além do teste usual, são considerados os testes baseados na estatística da razão de verossimilhanças corrigida via Bartlett (1937), LR , na estatística da razão de verossimilhanças perfiladas modificadas via Cox e Reid (1987), LRm; e sua respectiva versão corrigida via DiCiccio e Stern (1994), LR m . Desse modo, os objetivos principais deste trabalho são obter um fator de correção de Bartlett para a estatística LRm na classe dos MNLSH e realizar um estudo de simulação para avaliar o desempenhos dos testes de hipóteses baseados na estatística da razão de verossimilhanças usual, LR, e nas estatísticas LR , LRm e LR m . Neste estudo de simulação avaliamos o comportamento dos quatro testes em questão com relação ao tamanho, poder e discrepância relativa de quantis em amostras de tamanhos finitos e pode-se observar que, de modo geral, o teste baseado na estatística LR m apresentou o melhor desempenho.

O fim da obrigatoriedade da correção monetária das demonstrações contábeis em 1995, fez com que as empresas brasileiras deixassem de reconhecer os efeitos da inflação na apuração dos seus resultados. Porém, mesmo com a aparente estabilização monetária promovida pelo Plano Real, a inflação acumulada de janeiro de 1996 a dezembro de 2004 ultrapassou 160% de acordo com dois dos principais indicadores nacionais. A inflação não deixou de existir com a extinção da correção monetária e, as empresas inseridas nesse contexto de alta generalizada dos preços, simplesmente deixaram de reconhecer seus efeitos na apuração de seus resultados. Nesse trabalho, coletamos as demonstrações contábeis de todas as empresas não financeiras de capital aberto listadas na Bolsa de Valores de São Paulo no período de 1996 a 2004 e procedemos com a Correção Monetária de Balanço, de acordo com a metodologia prevista na legislação brasileira. Os resultados do Teste de Diferença de Médias para Observações Emparelhadas e o Teste de Postos com Sinais de Wilcoxon para Pares Combinados mostraram que a desconsideração dos efeitos inflacionários distorceu o lucro das 255 empresas da amostra com um nível de confiança de 99%. Os resultados da correção monetária foram então comparados com o total de lucros distribuídos em dividendos por essas empresas, agrupadas em dezoito setores de diferentes atividades econômicas. As análises do índice de correlação de Pearson forneceram evidências de que os setores que mais ganharam com a inflação foram também aqueles que mais distribuíram dividendos aos acionistas e os setores que mais perderam com a corrosão do poder aquisitivo da moeda foram os que menos tiveram capacidade de distribuir lucro. O estudo empírico fornece uma visão mais clara de como a inflação tem impactado o lucro das empresas brasileiras e como o seu não reconhecimento pode afetar a distribuição desse lucro e a riqueza dos acionistas. / The end of obligatory price level adjustment of financial statements in 1995 accounts for Brazilian companies not recognition of the inflation effects in profit determination. However, even with the apparent monetary stabilization cause by the Real Plan, the accumulated inflation from January 1996 to December 2004 surpassed 160%, according to two of the main national indicators. Even with the end of price level adjustment, inflation still exists and the companies included in this ambit of generalized price increase, simply did not recognize their profit determination. For this work, we collected incomes statements of all non-financial Brazilian stock companies listed at São Paulo Stock Exchange from 1996 to 2004 and dealt with the Price Level Adjustment according to the methodology foreseen in Brazilian Legislation. The results of the T-Test and Wilcoxon Matched-Pairs Signed-Ranks Test showed that the lack of consideration for inflationary effects distorted the profit of the 255 companies of the sample with a 99% level of reliance. The results of price level adjustment were, then, compared to the total profit distributed in dividends by these companies, joint into eighteen sectors of different economical activities. The analyses of Pearson\'s index of correlation evidenced that the sectors that had most of the benefit from inflation were also the ones that participated more in the distribution of the dividends to the shareholders and the sector that have lost more with the purchasing power degradation were the ones that had less capacity to distribute profit. The empiric study provides a better understanding of how inflation has caused impact on Brazilian companies profit and how not recognizing inflation can affect the distribution of this profit and the richness of the shareholders.