RCAAP Repository

CAPES

A aplicação do recurso público é de suma importância dentro do contexto brasileiro, em virtude do crescimento da demanda da sociedade por serviços públicos enquanto o volume de recursos públicos sofre constantes retrações. A devida aplicação dos recursos de capital promove a transparência, eficácia e eficiência da gestão pública. O objetivo desta dissertação é desenvolver um modelo de apoio a decisão de alocação de recurso público de capital dentro de uma instituição pública de ensino técnico utilizando métodos de apoio a decisão multicritério. A pesquisa é baseada em um estudo de caso de aplicação dos métodos PROMETHEE II e FITradeoff em uma instituição pública. Verificou-se que os dois métodos são capazes de gerar resultados adequados quanto a escolha de cenários de investimentos, entretanto o FITradeoff apresenta vantagens quanto ao número de interações levando-se em conta o nível de conhecimento técnico do decisor, já que alguns métodos demandam um maior conhecimento por parte do decisor no que tange aos parâmetros para avaliação específicos dos métodos.

FACEPE

O setor têxtil no Brasil, atualmente, destaca-se como o terceiro maior produtor mundial de malhas com predominância em algodão, o Arranjo Produtivo Local Têxtil do Agreste de Pernambuco contribui significativamente para esse destaque, representando. O gerenciamento de processos de negócios (BPM) é um instrumento que auxilia no monitoramento do desempenho das organizações, concedendo à organização uma visão sistêmica do ambiente interno e externo, com relação a todos os participantes em todos os processos, bem como suas relações. Por sua vez, promove a eficácia e eficiência dos negócios com foco no controle de fluxo de processo ponta-a-ponta, atuando segundo as estratégias competitivas consideradas mais relevantes. O objetivo desse trabalho é avaliar o relacionamento e influência entre os elementos centrais às práticas de BPM e o desempenho das empresas, considerando informações de empresas situadas no Arranjo Produtivo Local (APL) Têxtil do Agreste de Pernambuco. O modelo de pesquisa e as hipóteses foram testadas utilizando o método dos mínimos quadrados parciais, com o uso do software SmartPLS 3.0. Como resultados observados, são destacadas a proposição e confirmação de hipóteses quanto ao relacionamento e influênciados processos no desempenho das empresas em estudo, que traz a constatação de que alinhar os objetivos estratégicos a forma como os processos internos são executados influencia o desempenho de diversos processos pertencentes aos outros elementos centrais de BPM.

CAPES

FACEPE

CAPES

Estudar os efeitos de uma política pública de transferência direta de renda ao longo do tempo é de fundamental interesse para dizer se a mesma teve ou não êxito em mudar a vida de seus beneficiários. Neste sentido, a avaliação de impacto da política no tempo de alocação para o trabalho dos beneficiários, tanto crianças quanto adultos, tem sido usada como critério para decidir sobre seu sucesso. A separação nestes dois grupos etários busca responder a duas questões importantes: se a política conseguiu reduzir o trabalho infantil e se, por outro lado, foi responsável por acomodar os adultos beneficiários. Esta avaliação pode ser feita por modelagem de regressão linear normal com uso do método de Diferença em Diferenças para a resposta de interesse (o tempo alocado para o trabalho). Logo, uma amostra de beneficiários (tratados) e não beneficiários (controles) é extraída para uma pesquisa longitudinal feita em pelo menos dois pontos distintos no tempo: um antes de aplicar a política e outro após. Porém, nem sempre os tratados e controles selecionados são comparáveis na amostra original. Para isso, é necessário parear os tratados com os controles mais próximos, dado um conjunto de características observáveis, por escores de propensão preditos por um modelo de regressão para a atribuição do tratamento (aqui, uma variável binária). Logo, os escores preditos e as observações nas covariáveis especificadas no modelo correspondente, que representam um conjunto de características observáveis, devem estar balanceados pelas duas classes na nova amostra pareada, o que é confirmado por testes de hipóteses. Ainda, ignorar características do plano amostral complexo empregado na pesquisa, como o uso de pesos amostrais desiguais, e tratar os dados como independentes e identicamente distribuídos pode enviesar a estimação do impacto pelo método de Diferença em Diferenças. Assim, a partir de dados amostrais complexos da Yemen National Social Protection Monitoring Survey, uma pesquisa longitudinal domiciliar, neste trabalho é avaliado o impacto do Social Welfare Fund para o tempo semanal de alocação para o trabalho pelo método de Diferença em Diferenças sob duas abordagens. Na primeira, o plano amostral complexo empregado é completamente ignorado. Na segunda, ele é considerado desde a etapa de pareamento até a avaliação de impacto. Ambas são aplicadas para os dois grupos etários sob estudo. Os escores são modelados por regressão logística e, após encontrar o banco pareado por eles, testesχ2 de Pearson para a hipótese nula de independência nas covariáveis e de Mann-Whitney para homogeneidade dos escores são realizados para confirmar o balanceamento.

CAPES

Boudox Peres, Glaucia; Cabral Mota, Alexandre. A black-box testing technique for the detection of crashes based on automated test scenarios. 2009. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2009.

CAPES

Companhia Hidro Elétrica do São Francisco

Atualmente, muitos países estão sendo pressionados a remodelar a estrutura financeira e de serviços dos seus sistemas de saúde na tentativa de se adequarem às necessidades da crescente população idosa e ao aumento do número de pacientes crônicos. Esses grupos, normalmente, têm um índice alto de entradas em hospitais, bem como grandes períodos de internação, o que acarreta um impacto negativo na qualidade de vida do paciente, bem como um aumento no custo do tratamento. Esse cenário é responsável pela tendência mundial em se buscar alternativas para diminuir a pressão sofrida pelos sistemas de saúde. Com a expansão do acesso aos meios de comunicações por uma fração cada vez maior da população mundial, a alternativa que se mostra cada vez mais viável é o Telehomecare. O Telehomecare é uma aplicação da Telemedicina que promove serviços de saúde aos pacientes em suas casas. Por sua vez, Telemedicina é o uso de Tecnologia da Informação e Tecnologia de Telecomunicações para promover serviços de saúde à distância. Baseado nesses conceitos, este trabalho propõe um sistema Telehomecare para monitoramento de pacientes a partir de suas residências. Esse sistema consiste em uma unidade de monitoramento que se conecta a sensores de sinais vitais presentes na residência do paciente, capta os dados desses sensores e os transmitem de forma segura para uma central de monitoramento, onde esses dados podem ser armazenados, analisados e disponibilizados aos profissionais de saúde envolvidos no tratamento através de unidades de consulta. Este trabalho priorizou a implementação da unidade de monitoramento e implementou minimamente as outras partes para fazer a validação do sistema

A telefonia convencional é uma tecnologia que permite que pessoas possam, através da fala, se comunicar à distância. Esta tecnologia é basicamente composta pela rede de telefonia pública (PSTN) e por diversos equipamentos, dentre eles o telefone. Com a popularização da Internet, vislumbrou-se a capacidade de utilizar esta rede para efetuar chamadas telefônicas, de maneira semelhante ao sistema de telefonia convencional. A partir de então foi desenvolvida a tecnologia de voz sobre IP (VoIP), que adota um conjunto de técnicas e protocolos permitindo que a voz humana possa se propagar através de uma rede de comutação de dados, como a Internet. Esta tecnologia apresenta diversas vantagens, como a redução dos custos, flexibilidade e o desenvolvimento e agregação de novos serviços. Dentre estes novos serviços, este trabalho foca os serviços de conferência e de convergência entre redes. O serviço de conferência é a capacidade de estabelecer uma chamada entre três ou mais pessoas simultaneamente. O serviço de convergência entre redes é a capacidade de se efetuar uma chamada entre um computador conectado à Internet e um telefone que se encontre na PSTN ou vice-versa. No entanto, por dependerem da Internet, estes serviços estão sujeitos a uma baixa qualidade da voz, devido à variabilidade das condições de rede. Sob este contexto, este trabalho propõe uma metodologia para analisar o comportamento e o desempenho destes serviços, quando submetidas a condições variadas da rede. A partir de um ambiente controlado de rede, foram simulados diversos cenários de utilização destes serviços e configurados diferentes valores para os parâmetros críticos, como o número de participantes, capacidade do enlace, atraso, perda de pacotes e variação do atraso (jitter). Este estudo adotou a qualidade do áudio recebido como principal métrica de desempenho cujo cômputo foi efetuado pelo algoritmo PESQ MOS

Na atualidade a disciplina de gerenciamento de projetos se tornou muito importante em diversos ramos de atividade. Na engenharia de software esta atividade é chave para se obter um produto de qualidade que atenda aos requisitos impostos pela necessidade do cliente. Os projetos da área de desenvolvimento de software são fundamentados no conhecimento adquirido com a experiência dos atores que interagem com esse processo e nos problemas que se propõem a resolver. Esse contexto traz a necessidade de um controle mais rigoroso e de integrantes que possuam, além do conhecimento a respeito do processo, habilidades e atitudes. O uso de simuladores ou jogos permite que esse tipo de cenário possa ser antecipado, seja para prevenção de ações ou mesmo para visualização e aprendizagem do processo. Nesse meio está a dinâmica de sistemas, que possibilita criar modelos de simulação de gerenciamento de projetos, permitindo a modelagem de sistemas dinâmicos complexos. Possibilitando a simulação para antecipação de resultado ou mesmo a capacitação. Esse trabalho tem como objetivo criar um Modelo de Simulação do Processo de Gestão de Projetos com base no Modelo Integrado para Construção de Jogos de Computador Aplicado à Capacitação em Gestão de Projetos, criado por Guedes [Guedes06] e utilizado na simulação do jogo Virtual Team. Modificando-o para que contemple outras características, aumentando mais a aproximação com a realidade, a quantidade de variáveis de simulação e possibilitando o seu uso na construção de máquinas de simulação para serem utilizadas na criação de jogos de negócio, para capacitação de gestores de projeto ou mesmo para uso em ferramentas de auxílio à gestão de projetos

Centro de Estudos e Sistemas Avançados do Recife

Centro de Estudos Avançados do Recife

Os contratos (modelos que descrevem mais detalhadamente a arquitetura e os componentes) podem ser utilizados para a construção de softwares corretos. Esta construção pode ser realizada através do (1) cálculo de refinamento, (2) refinamento da estratégia e (3) fazendo a geração automática de código. Embora (1) e (2) são soluções corretamente comprovadas, eles requerem bastante esforço. Por outro lado, (3) é uma solução mais simples para derivação do código. No entanto, esta solução não pode fornecer um código confiável em relação aos seus contratos (ao menos que se comprove que o gerador de código é correto). Este trabalho propõe uma estratégia de testes baseados em modelos para verificar se determinado gerador de código é correto. A estratégia inicia-se com JML (linguagem baseada em contrato utilizada no Java) usando como estudo de caso o JavaCard, JMLe (um gerador de código baseado em JML) e o Jartege (gerador de testes baseados em modelos). Além disso, através deste trabalho é realizado um experimento onde é investigado o número de erros encontrados no jmle variando os valores do parâmetros do Jartege no nosso estudo de caso

Esta dissertação trata da materialização das ações para formação de leitoras(es) de literatura, em contexto escolar, na Rede Municipal de Ensino de Caruaru/PE. Considera-se os eixos sobre o acesso e fomento à leitura e a formação de mediadoras(es) de leitura literária, apresentados no Plano Nacional do Livro e Leitura (PNLL) e a implementação do Projeto Escola Leitora no município, por esse enfatizar a importância da Biblioteca Escolar para a garantia do direito à leitura literária. Na fundamentação teórica discute-se as contradições para a materialização da política pública de leitura vislumbrada no PNLL, mediante a ênfase nos índices de desempenho que marca a política educacional brasileira na atualidade. O corpus para análise é formado por planos e leis que buscam institucionalizar uma política pública de leitura no Brasil e pelos discursos de professoras(es) de bibliotecas e supervisoras(es) escolares. Emprega-se, a análise de discurso na perspectiva do discurso enquanto prática social, conforme suporte teórico de FAIRCLOUGH (2001) e ORLANDI (2013), para responder o objetivo geral da pesquisa que é compreender como, à luz do Plano Nacional do Livro e Leitura, têm sido materializadas ações para a formação de leitoras(es) de literatura, em contexto escolar, na Rede Municipal de Ensino de Caruaru/PE, a partir do Projeto Escola Leitora. O campo de pesquisa é constituído por três escolas com condições para desenvolver ações de leitura literária com todas as turmas, a partir da Biblioteca Escolar, conforme os critérios estabelecidos na metodologia. Constata-se, como resultado da pesquisa, que a materialização de ações para a formação de leitoras(es) de literatura, em contexto escolar, acontece mediante resistências e tensões presentes nas práticas de clientelismo e no isolamento das vivências das ações de leitura. Compreende-se também que as formas de resistências estão presentes na concretização de ações que fortalecem a política de leitura, sendo essas formas de resistências provocadoras do debate sobre a precarização e a intensificação do trabalho docente no contexto das políticas econômicas de cunho neoliberal, situações essas que trazem, como consequência, o adoecimento e a readaptação de função de professoras(es).

Magmatismo de alto-K constitui importante feição da evolução Brasiliana (Ediacarano) das províncias Borborema (NE) e Mantiqueira (Sul). Neste trabalho foram estudadas 07 intrusões dos domínios da Subprovíncia Transversal [Bom Jardim (SBJ), Toritama (ST), Fazenda Nova (SFN), Terra Nova (STN), Campina Grande (CCG), Pajeú (PP)] e do Domínio Pernambuco Alagoas (Suíte Serra do Catú-SSC) da Província Borborema-PB e, 04 intrusões [Lavras do Sul (SLS), Santo Antônio (SSA), Cruzeiro do Sul (PCS), Encruzilhada do Sul (SES)], da Província Mantiqueira. As intrusões estudadas estão dispostas ao longo de zonas de cisalhamento transcorrentes e suas ramificações de movimentações sincrônicas ou assíncronas, e/ou associadas a sistemas de falhas. São rochas metaluminosas de alto-K (SBJ, ST, SFN, STN, CCG, PP, SSC, SLS, SSA, PCS, SES) a peralcalinas (SES), incluindo enclaves máficos ricos em K, cogenéticos ou não. Dados U-Pb por LA-ICP-MS em zircão e titanita (STN) definem idades concordantes variando de 605 a 566 Ma (Ex: SBJ - 581,7 ± 1,4 Ma; SBJ/enclave - 581 ± 3,9 Ma; ST - 588,5 ± 7 Ma; SFN - 591,4 ± 4 Ma; CCG - 580,9 ± 1,2 Ma; CCG/gabro - 577,3 ± 6 Ma; PP - 565,6 ± 4,7 Ma; STN - 599 ± 13 Ma; SSC - 605,1 ± 3,5 Ma; SLS - 584,4 ± 4,8 Ma). Zircões e titanitas foram analisados geoquimicamente e suas imagens CL e BSE mostram zonação magmática, inclusões de apatita, monazita, e óxidos. Zircões apresentam padrões enriquecidos em ETRP, anomalia positiva de Ce e negativa de Eu, sugerindo origem ígnea. Valores de εHf(t) variam de -9 a -22, e idades modelo TDM de 1,5 Ga e 2,0 Ga. Razões Zr/Hf (ppm) em zircões sugerem mais de uma fonte para os granitóides estudados. Os granitoides estudados são classificados como shoshoníticos e transicionais. Os dados obtidos sugerem que as fontes destes granitoides envolveram grau variado de mistura entre magmas alcalinos e calcioalcalinos, este último possivelmente resultante da fusão de crosta inferior. A evolução dos magmas envolveu contaminação/assimilação de magmas gerados por fusão parcial da crosta. Cristalização fracionada foi o principal processo envolvido na evolução dos magmas shoshoníticos principalmente do SBJ. Semelhanças isotópicas e geoquímicas dos granitoides de alto-K nas províncias Borborema e Mantiqueira possibilitaram classificar o magmatismo de alto-K destas províncias como: 1) calcioalcalino de alto-K, (SFN, CCG) com valores de εNd(t) variando de -12 a -15, TDM 1,7-2,1 Ga, valores de εHf(t) de -17 a -23, ƒO2 de -6 a -23, e idade de cristalização variando de 591 a 581 Ma; 2) shoshonítico, (STN, SSC, SLS, SSA, PCS) com valores de εNd(t)= -1,2 a -14, TDM=1,2-1,9 Ga, εHf(t)=-12, ƒO2 de 0 a -23, δ18O=5,8-9,3, e idade de cristalização 605-584 Ma; 3) transicional shoshonítico-alcalino, (SBJ, ST, Gabro-CCG, PP) com valores de εNd(t) variando de -9 a -19, TDM = 1,7-2,2 Ga, εHf(t)=-9 a -22, ƒO2 de 2 a -24, e idade de cristalização no intervalo 588-566 Ma; 4) toleítico-alcalino, (SES) com valores de εNd(t) = -16, TDM = 2,1 Ga, ƒO2 de -13 a -19, e idade de cristalização 585 Ma.