Teste de fluxo de dados de programas com ponteiros e registros.

Dois modelos mais precisos de análise de fluxo de dados voltados para o teste de programas que utilizaram ponteiros e campos de registros são apresentados. Os modelos propostos são baseados em uma abordagem conservadora e foram implementados na ferramenta POKE-TOOL. A conjectura é que a análise de fluxo de dados mais precisa aumenta a eficácia do teste a um custo razoável .Para investigar essa conjectura, um estudo de caso foi realizado para avaliar a eficácia eo custo da utilização dos dois modelos no teste com duas famílias diferentes de critérios de teste baseados em análise de fluxo de dados. Os resultados obtidos indicam que a eficácia dos modelos dependem do programa e dos defeitos que ele contém. A segunda observação em especial indica que existem defeitos cuja detecção é facilitada quando os modelos propostos são utilizados. Para uma das famílias de critérios de teste, foi observado que o custo adicional causado pela análise mais precisa de fluxo de dados é razoável.

Proposta e implementação de uma arquitetura reconfigurável híbrida para aplicações baseadas em fluxo de dados

The increase of applications complexity has demanded hardware even more flexible and able to achieve higher performance. Traditional hardware solutions have not been successful in providing these applications constraints. General purpose processors have inherent flexibility, since they perform several tasks, however, they can not reach high performance when compared to application-specific devices. Moreover, since application-specific devices perform only few tasks, they achieve high performance, although they have less flexibility. Reconfigurable architectures emerged as an alternative to traditional approaches and have become an area of rising interest over the last decades. The purpose of this new paradigm is to modify the device s behavior according to the application. Thus, it is possible to balance flexibility and performance and also to attend the applications constraints. This work presents the design and implementation of a coarse grained hybrid reconfigurable architecture to stream-based applications. The architecture, named RoSA, consists of a reconfigurable logic attached to a processor. Its goal is to exploit the instruction level parallelism from intensive data-flow applications to accelerate the application s execution on the reconfigurable logic. The instruction level parallelism extraction is done at compile time, thus, this work also presents an optimization phase to the RoSA architecture to be included in the GCC compiler. To design the architecture, this work also presents a methodology based on hardware reuse of datapaths, named RoSE. RoSE aims to visualize the reconfigurable units through reusability levels, which provides area saving and datapath simplification. The architecture presented was implemented in hardware description language (VHDL). It was validated through simulations and prototyping. To characterize performance analysis some benchmarks were used and they demonstrated a speedup of 11x on the execution of some applications

Uma abordagem dirigida por modelos para desenvolvimento de middlewares auto-adaptativos para transmissão de fluxo de dados baseado em restrições de QoS

The use of middleware technology in various types of systems, in order to abstract low-level details related to the distribution of application logic, is increasingly common. Among several systems that can be benefited from using these components, we highlight the distributed systems, where it is necessary to allow communications between software components located on different physical machines. An important issue related to the communication between distributed components is the provision of mechanisms for managing the quality of service. This work presents a metamodel for modeling middlewares based on components in order to provide to an application the abstraction of a communication between components involved in a data stream, regardless their location. Another feature of the metamodel is the possibility of self-adaptation related to the communication mechanism, either by updating the values of its configuration parameters, or by its replacement by another mechanism, in case of the restrictions of quality of service specified are not being guaranteed. In this respect, it is planned the monitoring of the communication state (application of techniques like feedback control loop), analyzing performance metrics related. The paradigm of Model Driven Development was used to generate the implementation of a middleware that will serve as proof of concept of the metamodel, and the configuration and reconfiguration policies related to the dynamic adaptation processes. In this sense was defined the metamodel associated to the process of a communication configuration. The MDD application also corresponds to the definition of the following transformations: the architectural model of the middleware in Java code, and the configuration model to XML

Uma abordagem para um plano de gestão de fluxo de dados na TV Unesp

Pós-graduação em Televisão Digital: Informação e Conhecimento - FAAC

Banco de dados de experimentos agrícolas: análise e projeto.

Especificação de requisitos. Modelagem de classes. Modelo de classes de objetos. Nível geral: diagrama de classes gerais. Modelo dinâmico. modelo funcional. Diagrama de fluxo de dados (DFD). Especificação de processos. Revisão de modelos analisados. Projeto orientado objeto. Organização do sistema. Projeto de objetos. Projeto de algoritmos. Diagrama: entidade-relacionamento. Interface gráfica com o usuário.

Avaliação in vitro da eficácia de produtos homeopáticos contendo momordica charantia através de bioensaios

Homeopathic medicines have been used for over two hundred years without the examination of their effects on in vivo and in vitro assays, due to the peculiarity of homeopathic preparations, the high dilution, which creates a challenge for the use of usual analytical techniques of quality control of medicine.Although there is scarcity of literature and variety of experiments, recently there have been some studies with few in vitro assays which have shown positive responses when evaluating the mechanism of action of homeopathic medicines which are able to act on a specific system.The present study aims to evaluate the efficacy of homeopathic products containing Momordica charantia through bioassays.Homeopathic products were tested by the MTT to assess cytotoxicity in RAW 264.7 (macrophage-like cells) and in tumor cells HeLa (human cervical adenocarcinoma cells), CHO K1 (Chinese hamster ovary cells), PANC-1 (human pancreas cancer cells) and PC-3 (human prostate cancer cells), dosage of inflammatory mediators NO, TNF-α and IL-6 released by RAW 264.7 cells, analysis of the death process and cell cycle changes of PC-3 by flow cytometry. The data demonstrate that homeopathic products of Momordica charantia did not show cytotoxicity to RAW 264.7, increased the production of inflammatory mediators by RAW 264.7 synergistically with LPS, showed cytotoxicity to PC-3 with change in its cell cycle inhibiting its proliferation, being the 30CH the most potent sample. Correlation studies were conducted in order to evaluate the possible in vitro applicable models to the quality control of homeopathic products with Momordica charantia. The data showed that the best applicable models in assessing the quality are the MTT to assess cytotoxicity in RAW 264.7 and PC-3 in 24 hours for Momordica charantia fruit products and dosage of NO production by RAW 264.7 with and without LPS

Times assíncronos inicializadores para o planejamento da expansão da transmissão de energia elétrica baseados no modelo híbrido linear

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Análise dos efeitos citotóxicos, genotóxicos e mutagênicos do inseticida malation, utilizando os sistemas teste de Allium cepa e células de mamíferos

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Concordância dentre dois testes de capacidade aeróbia máxima em jogadores de futsal: teste de Ellestad e o vai e vem de 20m

O futsal é uma modalidade intermitente cuja a participação do metabolismo aeróbio é importante na ressíntese de ATP e CP gastos anaerobiamente. A capacidade aeróbia máxima (VO2max) pode ser mensurada por testes de campo e testes laboratoriais. Dentre os vários testes laboratoriais existentes, se destaca o teste de Ellestad, devido à sua segurança e capacidade diagnóstica de patologias cardíacas. Dentre os testes de campo se destaca o teste de Vai e Vem de 20m (VV20m), devido à sua alta validade e reprodutibilidade em adultos, e devido à alta especificidade ao futsal e ao futebol, comprovado pela existênicia de correlações significativas do desempenho no VV20m com várias medidas de performance no futebol. Porém, não existem estudos sobre a validação ou concordância do teste de Ellestad em atletas de esportes coletivos. Portanto, o objetivo do presente estudo foi testar a concordância do teste de Ellestad e o VV20m na predição do VO2max em atletas de futsal. Quinze jogadores semi-profissionais (25,4 ± 5,51 anos, 70,37 ± 5,74kg, 1,75 ± 0,04m e 8,43 ± 3,02% de gordura) realizaram os testes de Ellestad e o VV20m em ordens aleatórias, separados por quatro dias. A concordância foi testada pela comparação entre as diferenças (Teste t-studet para dados independentes), correlação (coeficiente de Pearson) e concordância (dipersão de Bland e Altman). Não houve diferença significativa entre os valores de VO2max estimados pelos dois protocolos, mas a correlação foi significativa (p < 0,05; r = 0,479; EPE: 1,8 mlO2×kg -1 ×min -1 ) entre os métodos. A análise de Bland e Altman apresentou concordância entre os testes para um intervalo de ±95% em torno da média da diferença (1,3 mlO2×kg -1 ×min -1 ), porém a dispersão indica um enviesamento positivo e significativo (p < 0,01), sugerindo que a a diferença aumenta com o aumento da média do VO2max. Assim, para atletas de alto rendimento, o teste de Ellestad não apresenta a mesma adequação na determinação do VO2max, quando comparado ao VV20m.

Correlação entre os resultados pré-operatórios de testes cardiopulmonares e a evolução pós-operatória em cirurgia bariátrica

Pós-graduação em Bases Gerais da Cirurgia - FMB

Programa de Gestão em Farmácia Pública módulo Saúde Mental: ferramenta gerencial para a assistência farmacêutica em um Centro de Atenção Psicossocial Álcool e Drogas

Este trabalho tem por objetivo geral apresentar uma ferramenta computacional auxiliar na gestão dos serviços farmacêuticos bem como alguns resultados alcançados com a sua aplicação na sistematização do atendimento aos usuários do Centro de Atenção Psicossocial álcool e drogas (CAPS ad) do município de Vitória-ES, conhecido como Centro de Prevenção e Tratamento de Toxicômanos (CPTT). O Programa de Gestão em Farmácia Pública (PGFP) Módulo Saúde Mental possui um formato de banco de dados relacional, desenvolvido sob a plataforma Access e possui interface com o gerador de planilhas e gráficos do tipo Excel , aplicáveis a outras farmácias de unidades do tipo CAPS ad. Desde 2004 vem sendo utilizado e aperfeiçoado com uma proposta de informatizar a administração da farmácia, possibilitando a instrumentalização do farmacêutico via emissão de relatórios para a gestão técnica, operacional e estratégica, além de propiciar a avaliação do serviço baseando-se em indicadores sócio demográficos, de morbidade e específicos da Assistência Farmacêutica voltados para o campo da toxicodependência. Para ilustrar o uso do PGFP são apresentados dados pertencentes a 489 prontuários de usuários cadastrados na farmácia no período de janeiro de 2007 a dezembro de 2008, além de 50 prescrições médicas sistematicamente selecionadas para cada ano, coletadas a partir do sistema. Com isso, foi possível elaborar o perfil demográfico, sóciosanitário dos usuários além de aspectos relacionados a Assistência Farmacêutica local. Foi utilizado o programa computacional SPSS 11.5 for Windows para a análise estatística exploratória descritiva (distribuição de freqüências) e inferencial (teste qui-quadrado) dos dados contidos nos prontuários. Dentre algumas dessas análises, observou-se a prevalência do Crack (44%) como substância psicoativa. Revelou que a maioria dos usuários cadastrados são homens (82,4%), com faixa etária prevalente entre 25 e 34 anos (31,7%) e com grau de escolaridade equivalente ao 1 Grau Incompleto (41,3%). Com relação aos aspectos relacionados a Assistência Farmacêutica pode-se observar um No. médio de medicamentos prescritos por receita entre 1,6 1,7 itens/receita; um percentual mínimo de 96% das receitas atendidas na farmácia; e o Clonazepam como o medicamento mais prescrito no período. São citadas algumas limitações do PGFP e dos dados apresentados. Conclui-se o presente estudo fazendo-se alusão a relevância do Programa de Gestão em Farmácia Pública (PGFP), em relação não somente ao seu potencial de uso na gestão estratégica e operacional da Assistência Farmacêutica em Saúde Mental (álcool e drogas), mas fundamentalmente, como importante ferramenta de informação que propicia a elucidação do perfil da drogadição, despertando a percepção para os aspectos ligados à saúde pública e as implicações sócio-econômicas sobre a população em estudo.

Mães obesas, filhotes obesos: estudo experimental

O aumento da obesidade materna pode refletir em efeitos deletérios na prole adulta, manifestos diferentemente de acordo com o gênero do indivíduo. Este trabalho teve como objetivo verificar a hipótese de que a obesidade materna provoca alterações metabólicas, na estrutura do tecido adiposo e hepático e mudanças de perfil inflamatório nas proles adultas de machos e fêmeas. Fêmeas C57BL/ 6 receberam dieta padrão (SC, 17% da energia proveniente do lipídeo) ou dieta hiperlipídica (HF; 49% da energia proveniente do lipídeo) durante oito semanas pré-gestacionais até a lactação. Após o desmame, os filhotes foram divididos nos grupos: SCM (machos), SCF (fêmeas), HFM (machos) e HFF (fêmeas). As características metabólicas foram avaliadas pela massa corporal (MC), glicemia de jejum, área sob a curva no teste oral de tolerância a glicose; concentrações de triglicerídes (TG) hepáticos e estimativa da esteatose hepática; análise plasmática de insulina, colesterol total (CT), triglicerídes (TG) e adipocinas; distribuição e análise morfológica do tecido adiposo e estado pró-inflamatório dos filhotes. Diferenças entre os grupos foram analisadas pelo Teste T não pareado (dados entre progenitoras e pares de grupos nas proles); one-way ANOVA com pós-teste de Tukey (para proles) e two-way ANOVA (efeito da dieta materna e gênero). O nível de significância adotado foi de P≤0,05. Progenitoras HF tiveram maior MC (+20%), glicemia elevada (+22%) e intolerância à glicose em comparação ao grupo SC. A partir da quarta semana, a MC mostrou-se maior nas proles HF, em ambos os gêneros, quando comparados às proles SC. Na 12 semana, a MC foi 20% maior no grupo HF macho e 30% maior no grupo HF fêmea do que seus controles (p<0,0001, ambos os gêneros). Intolerância à glicose foi observada em machos e fêmeas HF em relação aos seus contrapares SC (+20%, p<0,05). Proles HF demonstraram hepatomegalia com maior acúmulo de TG hepático, resultando em maior percentual de esteatose em machos (27%) e fêmeas HF (25%). Proles HF apresentaram incremento na adiposidade (+20%) e nos níveis de CT e TG do que seus congêneres SC. Níveis plasmáticos de leptina e insulina foram maiores, enquanto houve diminuição da adiponectina no grupo HF macho em relação ao grupo SC macho. Hipertrofia de adipócitos foi observada nas proles HF. TNF-alfa, IL-6 e leptina foram mais expressos em proles HF, porém diminuição na expressão de adiponectina foi evidenciada nas proles geradas por mães obesas. A luz do exposto, a dieta HF administrada em mães antes e durante períodos de gestação e lactação leva à obesidade materna que tem consequências na prole, tais como remodelamento do tecido adiposo, juntamente com alterações bioquímicas e metabólicas dos adipócitos, intensificando o estado pró-inflamatório da prole, em ambos os gêneros, na idade adulta.

Modelo para programação visual de matrizes (MVM): uma nova abordagem para visualização, manipulação e programação de algoritmos matriciais.

Para muitos usuários, a programação visual é uma alternativa atrativa às linguagens de programação textuais. Uma das razões para esta atração é que a representação visual de um problema está muito mais próxima com a forma pela qual a solução é obtida ou entendida se comparada à representação textual. Este trabalho apresenta um modelo para a programação visual de matrizes baseado nos paradigmas de fluxo de dados e planilhas eletrônicas. O fluxo de dados e a planilha forma a base semântica da linguagem, enquanto as representações gráficas do grafo direcionado e de uma planilha fundamentam sua base sintática. Este modelo consiste em um conjunto de diagramas bidimensionais e de regras de transformação. Os processos são implementados como redes de fluxo de dados e os dados são representados por planilhas. As planilhas podem ser vistas como variáveis do tipo matriz que armazenam dados bidimensionais, ou como funções, que recebem e produzem valores utilizados por outros processos. Neste caso, as planilhas são programadas seguindo o paradigma de programação por demonstrações que incorporam um poderoso construtor de interação, reduzindo significativamente a utilização de recursos e repetições. O modelo proposto pode ser utilizado em diversos domínios de aplicação, principalmente para simplificar a construção de modelos matemáticos de simulação e análise estatística.

As NEE no ensino básico : caso específico da dislexia

O objetivo do estudo em epígrafe foi o de analisar se a dislexia em crianças do ensino básico é identificada e se a intervenção é atempada. A tese centra-se nas seguintes hipóteses: 1) Nem todos os casos de dislexia são identificados no ensino básico público de Portugal continental; 2) O número relativo de crianças identificadas com dislexia não difere entre as zonas geográficas de Portugal continental; 3) A maior parte das crianças identificadas com dislexia, que frequentam o ensino básico em Portugal continental, estão abrangidas pela educação especial. Os instrumentos de recolha de dados utilizados foram questionários eletrónicos e entrevistas, que possibilitaram uma análise quantitativa e qualitativa dos dados. Esta análise foi realizada mediante a aplicação de testes paramétricos e não paramétricos, tendo em conta as características da distribuição dos dados. Para o efeito, utilizámos o programa estatístico SPSS, versão 20. Para a realização da análise de conteúdo das entrevistas, empregámos o programa WebQDA. A amostra foi constituída por 535 professores coordenadores de educação especial e por 256 diretores de agrupamentos de escolas, pertencentes às cinco zonas NUTS II de Portugal continental. As entrevistas foram realizadas em três agrupamentos de escolas, três hospitais e um centro de saúde, referentes a uma parte da região Centro, tendo sido feitas a cinquenta profissionais da área da educação e da saúde, a saber: oito médicos de família, seis médicos pediatras, dezoito professores de educação especial, onze psicólogos e sete terapeutas da fala. Os resultados indicam que as crianças com dislexia não estão todas identificadas, existindo dificuldades na realização do diagnóstico e na intervenção, essencialmente por falta de formação dos profissionais neste domínio e por dificuldades na articulação entre os diversos grupos de profissionais da educação e da saúde. Atinente ao número de crianças identificadas com dislexia, pela aplicação do teste Kruskal Wallis, os dados sugerem que existem diferenças, estatisticamente significativas, entre as cinco zonas NUTS II do continente português, demonstrando que nas zonas Centro e Norte há menos crianças identificadas com dislexia do que nas restantes.

Relé diferencial numérico para proteção de transformadores

Dissertação de Mestrado, Engenharia Elétrica e Eletrónica, Especialização em Sistemas de Energia e Controlo, Faculdade de Ciências e Tecnologia, Universidade do Algarve, 2015