DANTAS, Allberson Bruno de Oliveira. Certificação de componentes em uma plataforma de nuvens computacionais para serviços de computação de alto desempenho. 2017. 214 f. Tese (Doutorado em Ciência da Computação)-Universidade Federal do Ceará, Fortaleza, 2017. / Submitted by Gláucia Helena da Silveira Mota (glaucia@lia.ufc.br) on 2017-10-23T17:57:00Z No. of bitstreams: 1 2017_tese_abodantas.pdf: 3345763 bytes, checksum: 7d9c19651fdf5919fcc10ab432a72eeb (MD5) / Approved for entry into archive by Jairo Viana (jairo@ufc.br) on 2017-11-03T16:48:46Z (GMT) No. of bitstreams: 1 2017_tese_abodantas.pdf: 3345763 bytes, checksum: 7d9c19651fdf5919fcc10ab432a72eeb (MD5) / Made available in DSpace on 2017-11-03T16:48:46Z (GMT). No. of bitstreams: 1 2017_tese_abodantas.pdf: 3345763 bytes, checksum: 7d9c19651fdf5919fcc10ab432a72eeb (MD5) Previous issue date: 2017 / The development of correct and safe High Performance Computing (HPC) applications is a challenge for developers, since such applications generally use parallelism and run on heterogeneous parallel computing platforms. The Doctoral Thesis proposed in this document is aimed at presenting an architecture of a component certification mechanism for cloud computing platforms of high performance computing services. In particular, this mechanism is proposed within the context of the HPC Shelf platform, allowing the construction of certified components for functional and non-functional properties, which can be used to compose applications for expert users. Two particular certifier components are proposed using the certification mechanism introduced in this Thesis: SWC2 (Scientific Workflow Certifier Component) e C4 (Computation Component Certifier Component). SWC2 components are used to verify formal properties of workflows in HPC Shelf. In turn, C4 components are employed to verify formal properties on computation components. There are still tactical components, which expose the services of software formal verification infrastructures and can be orchestrated, by certifiers, by means of the TCOL (Tactical Component Orchestration Language) language, also proposed in this work. It is expected to contribute to the state-of-the-art in the following points: in cloud computing, by providing the first cloud infrastructure focused on software formal verification using exclusively high performance computing techniques; in component-oriented platforms, by providing nondisruptive components that can certify others in a reflexive way; enabling the creation of the so-called parallel certification systems, which are formed by the orchestration of provers to verify formal properties; in scientific workflows, by extracting the main verifiable patterns in these workflows; and in high performance computing applications, by providing a study on which software formal verification tools are able to verify their properties. / O desenvolvimento de aplicações de Computação de Alto Desempenho (CAD) corretas e seguras é um desafio para desenvolvedores, uma vez que tais aplicações geralmente utilizam paralelismo e executam em plataformas heterogêneas de computação paralela. A Tese de Doutorado proposta neste documento dispõe-se a apresentar a arquitetura de um mecanismo de certificação de componentes para plataformas de nuvens computacionais de serviços de computação de alto desempenho. Em particular, esse mecanismo é proposto no contexto da plataforma HPC Shelf, permitindo a construção de componentes certificados quanto a propriedades funcionais e não funcionais, os quais podem ser utilizados para compor aplicações para usuários especialistas. Dois componentes certificadores particulares são propostos utilizando o mecanismo de certificação introduzido na Tese: SWC2 (Scientific Workflow Certifier Component) e C4 (Computation Component Certifier Component). Componentes SWC2 são utilizados para verificar propriedades formais em workflows na HPC Shelf. Já os componentes C4 são empregados para verificar propriedades formais em componentes de computação. Existem ainda componentes táticos, que expõem serviços de infraestruturas de verificação formal de software e podem ser orquestrados, por certificadores, através da linguagem TCOL (Tactical Component Orchestration Language), também proposta nesse trabalho. Espera-se contribuir com o estado da arte nos seguintes pontos: em nuvens computacionais, fornecendo a primeira infraestrutura em nuvem voltada à verificação formal de software utilizando exclusivamente técnicas de CAD; em plataformas orientadas a componentes, provendo componentes não disruptivos que podem certificar outros de forma reflexiva; possibilitando a criação dos chamados sistemas de certificação paralela, os quais são formados por orquestrações de provadores para verificar propriedades formais; em workflows científicos, extraindo os principais padrões verificáveis desses workflows; e em aplicações de CAD, fornecendo um estudo sobre quais ferramentas de verificação formal de software se aplicam na verificação de suas propriedades.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Biológicas, Programa de Pós-Graduação em Biologia Vegetal, Florianópolis, 2014 / Made available in DSpace on 2015-02-05T20:57:03Z (GMT). No. of bitstreams: 1 330012.pdf: 3371927 bytes, checksum: a29f9650599966b5dcb909584872eb80 (MD5) Previous issue date: 2014 / A morfologia geral da subtribo Pleurothallidinae tem sido bem descrita, porém a falta de trabalhos anatômicos atuais reflete a grande lacuna na interpretação das sinapomorfias, ainda mais evidente quando se trata de representantes da rica flora brasileira, com elevado grau de endemismo. Assim, dando continuidade aos trabalhos de cunho descritivo, este estudo examinou a anatomia radicular de 56 espécies distribuídas em 11 gêneros pertencentes à subtribo Pleurothallidinae (Orchidaceae), sob microscopia de luz e microscopia eletrônica de varredura, a fim de identificar caracteres diagnósticos que possam ser utilizados na distinção entre os gêneros e espécies, auxiliando futuros trabalhos de taxonomia e sistemática do grupo. Os gêneros distinguem-se principalmente pelas características do complexo velame/exoderme e do cilindro central. Acianthera apresenta velame biestratificado com espessamento em "U" no epivelame, exoderme espessada em "O" e em "U" invertido, e medula esclerificada ou parenquimática. Anathallis apresenta velame biestratificado com espessamento em "U" no epivelame ou velame pluriestratificado com até quatro camadas, com espessamento reticulado no epivelame e helicoidal no endovelame, tilossomo do tipo baculado e lamelar, exoderme com paredes finas e medula esclerificada. Echinosepala apresenta velame pluriestratificado com até quatro camadas com espessamento anastomosado, exoderme espessada em "O", e medula parenquimática. Masdevallia apresenta velame pluriestratificado com até seis camadas com paredes perforadas, exoderme com paredes finas, e medula esclerificada. Myoxanthus apresenta velame biestratificado com espessamento em "U" no epivelame, velame com duas a três camadas, ou velame pluriestratificado com até quatro camadas, exoderme com paredes finas, e medula parenquimática. Octomeria apresenta velame com duas a três camadas com espessamento reticulado e anastomosado, exoderme espessada em "U" invertido, e medula esclerificada. Pabstiella apresenta velame biestratificado com epivelame espessado em "O", tilossomos, exoderme com paredes finas e medula esclerificada. Pleurothallis apresenta velame biestratificado, ou velame com duas a três camadas com espessamento reticulado no epivelame e helicoidal no endovelame, tilossomos do tipo lamelar, exoderme com parede fina ou espessada em "O", e medula esclerificada. Specklinia apresenta velame biestratificado com espessamento em "O" no epivelame, tilossomos, exoderme com paredes finas, e medula esclerificada. Stelis apresenta velame biestratificado com espessamento reticulado no epivelame e espessamento helicoidal no endovelame, tilossomo lamelar, exoderme espessada em "O" ou não espessada, e medula esclerificada. Zootrophion apresenta velame biestratificado, com espessamento em "U" no epivelame e anastomosado no endovelame, tilossomo do tipo discoide, exoderme com paredes finas, e medula esclerificada. Nossos resultados sugerem que as características anatômicas radiculares são potencialmente úteis para esclarecer as diferenças taxonômicas, e que representam uma ferramenta adicional para distinguir os gêneros na subtribo Pleurothallidinae. / Abstract: General Pleurothallidinae morphology has been well described, but the current lack of anatomical works reflects the wide gap in interpretation of the synapomorphies, even more evident when it comes to representatives of Brazilian rich flora, with high degree of endemism. Thus, continuing the work of descriptive, this study examined the root anatomy of 56 species in 11 genera of the subtribe Pleurothallidinae (Orchidaceae), under light microscopy and scanning electron microscopy, in order to identify diagnostic characters that could be used to distinguishing the genera and species, aiding future work of taxonomy and systematics of the group. The genera are distinguished primarily by the velamen/exodermis complex and central cilinder characteristics. Acianthera presents bistratified velamen with "U"-shaped thickening in epivelamen, "O" and inverted "U"-shaped thickening exodermis, and sclerified or parenchymatous pitch. Anathallis presents bistratified velamen with "U"-shaped thickening in epivelamen, or pluristratified velamen with up to four layers, with reticulate thickening in epivelamen and helicoidal thickening in endovelamen, with baculate and lamellate tilossome, thin walled exodermis, and sclerified pitch. Echinosepala presents pluristratified velamen with up to four layers with anastomosed thickening, "O"-shaped thickening exodermis, and parenchymatous pitch. Masdevallia presents pluristratified velamen with up to six layers with perforated walls, thin walled exodermis, and sclerified pitch. Myoxanthus presents bistratified velamen with "U"-shaped thickening in epivelamen, two to three layers velamen, or pluristratified velamen with up to four layers, thin walled exodermis, and parenchymatous pitch. Octomeria presents two to three layers velamen, with reticulate and anastomosed thickening, inverted "U" thickening exodermis, and sclerified pitch. Pabstiella presents bistratified velamen with "O"-shaped thickening in epivelamen, tilossomes, thin walled exodermis, and sclerified pitch. Pleurothallis presents bistratified velamen, or two to three layers velamen with reticulate thickening in epivelamen and helicoidal thickening in endovelamen, lamellate tilossomo, thin walled or "O"-shaped exodermis, and sclerified pitch. Specklinia presents bistratified velamen with "O"-shaped thickening in epivelamen, tilossomes, thin walled exodermis, and sclerified pitch. Stelis presents bistratified velamen with reticulate thickening in epivelamen and helicoidal thickening in endovelamen, lamellate tilossomo, thin walled or "O"-sharped exodermis, and sclerified pitch. Zootrophion presents bistratified velamen with "U"-sharped thickening in epivelamen and anastomosedthickening in endovelamen, discoid tilossome, thin walled exodermis, and sclerified pitch. Our results suggest that the root anatomical features are potentially useful to clarify the taxonomic differences, and which represent an additional tool for distinguishing the genera in the subtribe Pleurothallidinae.

Made available in DSpace on 2016-08-29T15:37:22Z (GMT). No. of bitstreams: 1 tese_5500_Dione Henrique Breda Binoti.pdf: 396596 bytes, checksum: d94855bd246ddeec9329de261fbed1d5 (MD5) Previous issue date: 2011-08-30 / A atividade leiteira é praticada em todo o território nacional e aproximadamente 70% da produção de leite do Brasil provem de animais derivados de cruzamentos de raças européias especializadas para produção de leite com raças zebuínas de excelente adaptação às condições tropicais. Estudos de Perfil Metabólico têm se concentrado em raças especializadas puras, assim objetivou-se aferir o perfil metabólico protéico de dois grupos genéticos de vacas Holandês x Gir, de segunda ordem de lactação, em dois períodos da lactação, na estação seca do ano. Também se procurou relacionar os resultados com os de estudos com raças puras. Foi conduzido na Fazenda Santa Luzia, pertencente ao Grupo Cabo Verde, Passos - MG. Os dados foram coletados entre maio e agosto de 2009, em vacas ½ HG (37) e vacas ¾ HG (35). Foram estudados dois períodos da lactação: de 28 a 60 e de 110 a 130 dias. O manejo alimentar do rebanho foi conduzido de acordo com a produção de leite. Foram coletados, de cada animal, em jejum, 10 mL de sangue, sem anticoagulante, e 4,5 mL, com anticoagulante EDTA. Foram avaliados a produção de leite e o escore de condição corporal e determinados os teores séricos de uréia, albumina, proteínas totais e hemoglobina em espectrofotômetro manual, baseado em procedimentos específicos para cada componente. Os resultados mostraram que a produção de leite foi mais elevada em animais ¾ HG, em ambos os períodos da lactação e o escore de condição corporal mais elevado nos animais do segundo período da lactação, mas semelhantes quando se comparam grupos genéticos. Embora entre períodos da lactação tenham ocorrido diferenças dentro de cada grupo genético para uréia, albumina e proteínas totais, entre os dois grupos genéticos os resultados para essas variáveis, assim como para hemoglobina, foram semelhantes. Contudo, os dois grupos genéticos apresentaram resultados distintos dos obtidos com raças puras, demonstrando a necessidade de se reconsiderar o manejo, principalmente nutricional, desses grupos genéticos em relação às raças puras. Assim, sugere-se que outras pesquisas possam ser realizadas, visando a elucidar essa incerteza e possibilitar a construção de tabelas de valores de referência específicas para esses grupos genéticos.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Elétrica, Florianópolis, 2012. / Made available in DSpace on 2013-06-26T00:14:15Z (GMT). No. of bitstreams: 1 315360.pdf: 3349382 bytes, checksum: 432f93912f257b96adcfdf3ad88c19eb (MD5) / Os sinais eletrocardiográficos (ECG), quando coletados no padrão de 12 derivações, fornecem praticamente toda a informação sobre a atividade elétrica do coração. O ECG de 12 derivações é o exame mais utilizado e difundido no meio dos profissionais médicos a fim de detectar cardiopatias e problemas funcionais do coração. Tendo ciência destas informações, foi construído neste trabalho um sistema de aquisição, o qual engloba o hardware do equipamento e o software de interface com o usuário, capaz de coletar sinais de ECG neste padrão. O hardware implementado possui fonte de alimentação integrada a qual é totalmente isolada da rede elétrica por meio de um conversor DC/DC e optoisoladores, além disto, o protótipo possui tamanho reduzido, o que torna este um equipamento portátil. Porém, a principal vantagem reside no fato dos conversores A/D do circuito integrado ADS1298 (front-end de ECG) possuírem 24 bits de discretização, o que resulta em uma resolução de conversão A/D de 296 nV. O equipamento pode trabalhar com frequências de amostragem de 250 ou 500 Hz, que são compatíveis com os valores encontrados em produtos comerciais disponíveis no mercado. Foram também implementadas análises, baseadas no processamento digital de sinais, capazes de fornecer informações de natureza quantitativa da repolarização cardíaca. Estas análises fornecem parâmetros baseados em medidas temporais, como os intervalos QT e RR, por exemplo, e parâmetros calculados a partir da decomposição dos sinais adquiridos em suas componentes principais, como o TWR e TCRT. Estudos prévios tem demonstrado boa capacidade de tais parâmetros na estratificação de risco de desenvolvimento de arritmias cardíacas e na diferenciação entre grupos de indivíduos saudáveis e com cardiopatia, porém ainda são necessários mais testes para uma melhor generalização destes resultados. Assim, este trabalho descreve em maiores detalhes, o projeto e construção do hardware proposto, do software de interface com o usuário e os algoritmos de pré-processamento e análise dos sinais implementados. Ao final do trabalho, foi realizado um estudo piloto com dez indivíduos saudáveis a fim de testar o sistema de aquisição e a robustez dos algoritmos de processamento e análise desenvolvidos.<br> / Abstract : The classical 12-lead ECG provides all information about the electrical activity and functioning of the heart. The 12-lead ECG is the medical test most used and popular among the medical professionals in order to detect heart problems and functional heart. Due to the previous information, it was built in this paper an acquisition system, which includes the hardware and software user interface able to collect ECG signals at the 12-lead standard. The hardware implemented has integrated power supply which one is completely isolated from the electric main through a DC/DC conversor and opto-isolators. Moreover, the prototype has a reduced size which makes this a portable device. However, the main advantage lies in the fact that the A/D converters of the integrated circuit ADS1298 (front-end of ECG) have 24-bit discretization, which results in a resolution of A/D conversion of 296 nV. Importantly, the equipment can work with sampling frequencies of 250 or 500 Hz, which are compatible with the values found in commercial products available on the medical electronics market. It were also implemented several analyzes based on digital signal processing, capable of providing quantitative cardiac repolarization information. These analyzes provide temporal measurements based on parameters such as QT and RR intervals, for example, parameters calculated from the decomposition of the acquired signals in their principal components, such as TWR and TCRT. Previous studies have demonstrated good ability of these parameters to stratify the risk of cardiac arrhythmias and differentiation between groups of healthy individuals and heart disease, but more tests are still needed to better generalization of these results. In summary, this paper describes the design and construction of the proposed hardware, software user interface and algorithms for pre-processing and analysis of signals implemented. At the end of the study, it was conducted a pilot study in ten healthy subjects to test the acquisition system and the robustness of the algorithms for processing and analysis developed.

Made available in DSpace on 2014-06-11T19:32:13Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-04-19Bitstream added on 2014-06-13T20:03:22Z : No. of bitstreams: 1 ebaid_gmx_dr_botfm.pdf: 1264184 bytes, checksum: daa1de14991327d1b14b47a86e0084da (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / O presente trabalho teve por objetivo determinar os efeitos da suplementação nutricional de azeite de oliva extra-virgem e seus fenóis, oleuropeína e ácido caféico, sobre os parâmetros morfométricos, calorimétricos e estresse oxidativo no músculo cardíaco de ratos normais e obesos. Para tanto, foram utilizados 48 ratos, Wistar, 180,52 ± 21,05g, divididos inicialmente em 2 grupos. O grupo P (n=24) foi mantido com ração padrão e água ad libitum e o grupo H (n=24) foi mantido com ração rica em colesterol e sacarose e água ad libitum. Após 21 dias de tratamento os dois grupos foram divididos em 4 subgrupos cada (n=6): (C) considerados controles, mantidos com as respectivas dietas P, ou H e sem suplementação; (AO) receberam respectivamente ração P ou H e suplementação nutricional com azeite de oliva extra-virgem (Colavita, Itália) (3mL/Kg/dia); (O) receberam ração P ou H, respectivamente e suplementação nutricional com oleuropeína (Genay, France) (0,023mg/Kg/dia); (AC) receberam respectivamente ração P ou H e suplementação nutricional com ácido caféico (Sigma, USA) (2,66mg/Kg/dia). O experimento teve duração de 43 dias. Ingestão de ração hipercalórica induziu obesidade. A análise calorimétrica permitiu sugerir que os efeitos da suplementação nutricional com azeite de oliva foram similares à suplementação com ácido cafeico, tanto o azeite de oliva como o ácido cafeico induziram elevação na oxidação de lipídios, independentemente da dieta utilizada. Administração de azeite de oliva e oleuropeína apresentaram atividade antioxidante evidenciada pela elevação nas substâncias antioxidantes totais e redução nas concentrações de hidroperóxido de lipídio, no tecido cardíaco de animais mantidos... / Not Available

A lactação é um processo fisiológico complexo que ainda não foi compreendido na sua totalidade. Inúmeros fatores intervêm na síntese e secreção do leite, sendo os mais importantes a nutrição e o metabolismo endógeno dos nutrientes. A qualidade do leite é valorizada tanto pela sua composição química, como pelo conteúdo de células somáticas. No entanto, visando a comercialização do leite, as maiores mudanças e melhoras na qualidade podem ser atingidas através da manipulação da dieta dos animais, em especial em vacas leiteiras de alta produção. Avaliar os processos de absorção de alimentos, bem como o metabolismo catabólico e anabólico direcionado para a síntese do leite, têm sido uma grande preocupação na pesquisa de nutrição e bioquímica da produção animal. O principal objetivo da presente pesquisa foi gerar modelos matemáticos que pudessem explicar a participação de diferentes metabólitos sobre a composição química do leite. Neste intuito foram coletadas amostras de fluído ruminal, sangue, urina e leite de 140 vacas da raça Holandesa nas primeiras semanas de lactação e mantidas sob sistema semi-intensivo de produção e dieta controlada. Os animais foram selecionados de sistemas de produção no ecossistema do Planalto Médio de Rio Grande do Sul e foram amostrados em dois períodos climáticos críticos. No fluido ruminal foram avaliados o pH e o tempo de redução do azul de metileno. No sangue foram determinados os metabólitos: glicose, colesterol, β-hidroxibutirato (BHB), triglicerídeos, fructosamina, ácidos graxos não esterificados (NEFA), proteínas totais, albumina, globulina, uréia, creatinina, cálcio, fósforo e magnésio. As enzimas: aspartato amino transferase (AST), gama glutamil transferase (GGT) e creatina kinase (CK). Os hormônios: cortisol, insulina, triiodotironina (T3), tiroxina (T4), e leptina. Foi efetuado hemograma, para conhecer: hematócrito, hemoglobina, e contagem total e diferencial de células brancas. Na urina foram dosados: corpos cetônicos, pH e densidade. No leite foi determinada: proteína, gordura, lactose, sólidos totais, sólidos não gordurosos, contagem de células somáticas e uréia. Para a determinação de cada um dos metabólitos ou compostos foram usadas técnicas específicas validadas internacionalmente. Os diferentes valores obtidos constituíram os parâmetros básicos de entrada para a construção dos diversos modelos matemáticos executados para predizer a composição do leite. Mediante procedimentos de regressão linear múltipla algoritmo Stepwise, procedimentos de correlação linear simples de Pearson e procedimentos de análise computacional através de redes neurais, foram gerados diferentes modelos para identificar os parâmetros endógenos de maior relevância na predição dos diferentes componentes do leite. A parametrização das principais rotas bioquímicas, do controle endócrino, do estado de funcionamento hepático, da dinâmica ruminal e da excreção de corpos cetônicos aportou informação suficiente para predizer com diferente grau de precisão o conteúdo dos diferentes sólidos no leite. O presente trabalho é apresentado na forma de quatro artigos correspondentes aos parâmetros energéticos, de controle endócrino, modelagem matemática linear múltipla e predição através de Artificial Neural Networks (ANN).

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2015. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2016-02-22T20:16:00Z No. of bitstreams: 1 2015_SayedMajidRezaee.pdf: 1299294 bytes, checksum: 5ae8992f8de2423bc23cf06bdeaeeb09 (MD5) / Approved for entry into archive by Marília Freitas(marilia@bce.unb.br) on 2016-05-26T16:32:15Z (GMT) No. of bitstreams: 1 2015_SayedMajidRezaee.pdf: 1299294 bytes, checksum: 5ae8992f8de2423bc23cf06bdeaeeb09 (MD5) / Made available in DSpace on 2016-05-26T16:32:15Z (GMT). No. of bitstreams: 1 2015_SayedMajidRezaee.pdf: 1299294 bytes, checksum: 5ae8992f8de2423bc23cf06bdeaeeb09 (MD5) / Nas últimas décadas, o problema de separação cega de fontes (BSS, do inglês Blind Source Separation) – que trata de estimar um conjunto desconhecido de fontes de sinais a partir de versões misturadas destes – tornou-se relevante em vários campos da engenharia, incluindo o processamento matricial, comunicações sem fio, processamento de sinais médicos, processamento de voz e engenharia biomédica. A fim de resolver o problema de BSS no contexto de modelos lineares, considerando-se várias técnicas possíveis, a Análise de Componentes Independentes (ICA, do inglês Independent Component Analysis) – que utiliza a independência estatística das fontes como uma premissa – demonstrou ser uma das mais importantes estratégias de solução. Além disso, embora o modelo de BSS/ICA para sinais reais ou complexos esteja bem estabelecido, a recente perspectiva de uma formulação do problema com sinais e modelos definidos em corpos de Galois oferece várias possibilidades de análise e contribuições. Esta dissertação de mestrado realiza um estudo da Análise de Componentes Independentes em corpos de Galois, considerando os conceitos teóricos e abordagens para o problema, assim como dos algoritmos estado-da-arte até agora propostos, em termos de suas capacidades de separação e custo computacional. Especificamente, as técnicas dos algoritmos AMERICA e MEXICO são estudadas juntamente com o algoritmo cobICA. Como as simulações experimentais indicam, devido à sua complexidade computacional menor e uma qualidade de desempenho satisfatório, o algoritmo cobICA apresenta-se como uma solução de compromisso entre os algoritmos AMERICA e MEXICO para executar BSS/ICA em corpos de Galois. / Over the past decades, the Blind Source Separation (BSS) problem – which deals with estimating an unknown set of source signals from their measured mixtures –has become prevalent in several engineering fields, including array processing, wireless communications, medical signal processing, speech processing and biomedical engineering. In order to solve the BSS problem in the context of linear models, considering several possible techniques, Independent Component Analysis (ICA) – which uses statistical independence of the source signals as a premise – has been shown to be one of the most important approaches. Furthermore, although the BSS/ICA framework for real- or complex-valued signals is firmly established, the recent perspective of a BSS/ICA formulation where the signals and models are defined over Galois fields gives several possibilities of analyzes and contributions. This Master’s thesis performs a study on Independent Component Analysis over Galois fields, considering the theoretical concepts and aspects of the problem and the investigation, in terms of capability and efficiency, of the state-of-the-art algorithms so far introduced. In this context, AMERICA and MEXICO techniques are studied, along with cobICA algorithm – a bioinspired framework based on cob-aiNet[C] immune-inspired algorithm –, mainly focusing on comparing the quality of separation and on discussing the computational burden of each technique. As the experimental simulations indicate, due to its lower computational complexity and a satisfactory performance quality, cobICA takes place as a compromise solution between AMERICA and MEXICO algorithms, to perform BSS/ICA over Galois fields.

A lactação é um processo fisiológico complexo que ainda não foi compreendido na sua totalidade. Inúmeros fatores intervêm na síntese e secreção do leite, sendo os mais importantes a nutrição e o metabolismo endógeno dos nutrientes. A qualidade do leite é valorizada tanto pela sua composição química, como pelo conteúdo de células somáticas. No entanto, visando a comercialização do leite, as maiores mudanças e melhoras na qualidade podem ser atingidas através da manipulação da dieta dos animais, em especial em vacas leiteiras de alta produção. Avaliar os processos de absorção de alimentos, bem como o metabolismo catabólico e anabólico direcionado para a síntese do leite, têm sido uma grande preocupação na pesquisa de nutrição e bioquímica da produção animal. O principal objetivo da presente pesquisa foi gerar modelos matemáticos que pudessem explicar a participação de diferentes metabólitos sobre a composição química do leite. Neste intuito foram coletadas amostras de fluído ruminal, sangue, urina e leite de 140 vacas da raça Holandesa nas primeiras semanas de lactação e mantidas sob sistema semi-intensivo de produção e dieta controlada. Os animais foram selecionados de sistemas de produção no ecossistema do Planalto Médio de Rio Grande do Sul e foram amostrados em dois períodos climáticos críticos. No fluido ruminal foram avaliados o pH e o tempo de redução do azul de metileno. No sangue foram determinados os metabólitos: glicose, colesterol, β-hidroxibutirato (BHB), triglicerídeos, fructosamina, ácidos graxos não esterificados (NEFA), proteínas totais, albumina, globulina, uréia, creatinina, cálcio, fósforo e magnésio. As enzimas: aspartato amino transferase (AST), gama glutamil transferase (GGT) e creatina kinase (CK). Os hormônios: cortisol, insulina, triiodotironina (T3), tiroxina (T4), e leptina. Foi efetuado hemograma, para conhecer: hematócrito, hemoglobina, e contagem total e diferencial de células brancas. Na urina foram dosados: corpos cetônicos, pH e densidade. No leite foi determinada: proteína, gordura, lactose, sólidos totais, sólidos não gordurosos, contagem de células somáticas e uréia. Para a determinação de cada um dos metabólitos ou compostos foram usadas técnicas específicas validadas internacionalmente. Os diferentes valores obtidos constituíram os parâmetros básicos de entrada para a construção dos diversos modelos matemáticos executados para predizer a composição do leite. Mediante procedimentos de regressão linear múltipla algoritmo Stepwise, procedimentos de correlação linear simples de Pearson e procedimentos de análise computacional através de redes neurais, foram gerados diferentes modelos para identificar os parâmetros endógenos de maior relevância na predição dos diferentes componentes do leite. A parametrização das principais rotas bioquímicas, do controle endócrino, do estado de funcionamento hepático, da dinâmica ruminal e da excreção de corpos cetônicos aportou informação suficiente para predizer com diferente grau de precisão o conteúdo dos diferentes sólidos no leite. O presente trabalho é apresentado na forma de quatro artigos correspondentes aos parâmetros energéticos, de controle endócrino, modelagem matemática linear múltipla e predição através de Artificial Neural Networks (ANN).

Made available in DSpace on 2014-06-12T15:49:10Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Atualmente observa-se por parte dos desenvolvedores de sistemas, uma tendência de utilizar componentes pré-fabricados de software com vistas a promover o reuso, diminuindo o custo e acelerando o processo de desenvolvimento do software. Sistemas podem ser desenvolvidos através da interconexão de componentes obedecendo a uma arquitetura definida pelo desenvolvedor. No escopo deste trabalho, essa arquitetura baseada em componentes é denominada de configuração do sistema. O conceito de repositório ativo de componentes foi proposto na literatura para auxiliar o programador durante o desenvolvimento de sistemas, provendo-lhe informações sobre componentes sem que ele tenha que requisitá-las. Este trabalho apresenta uma extensão do conceito inicialmente proposto para repositório ativo de componentes, de forma que esta entidade seja não apenas capaz de auxiliar no desenvolvimento de programas, mas que passe a ser também capaz de atuar na evolução do sistema, otimizando a configuração do mesmo em resposta a mudanças ocorridas no seu contexto em tempo de execução. Adotando-se a abordagem proposta neste trabalho, de posse de uma representação do contexto de execução do sistema, um repositório ativo utiliza algoritmos de otimização para tentar encontrar configurações ideais para o sistema. Essas novas configurações são montadas a partir dos componentes armazenados no próprio repositório. Para realização de uma prova de conceito dos serviços de otimização, foi desenvolvida uma implementação de um repositório ativo de componentes denominado REATIVO e de uma versão baseada em componentes de um middleware para televisão digital denominado FlexTV. O FlexTV serviu de base para o que hoje é a parte procedural do middleware Ginga, do Sistema Brasileiro de TV Digital. Modificações no contexto de execução do FlexTV são reportadas ao REATIVO, que pode disparar uma reconfiguração do middleware através de um rearranjo de seus componentes. Os resultados dos experimentos realizados neste trabalho mostraram que é possível promover a adaptação de um sistema orientado a componentes complexo, como é o caso do middleware FlexTV, utilizando os serviços do repositório REATIVO, tornando a sua configuração mais adequada ao seu contexto de execução, sem levá-lo a um estado de falha

Made available in DSpace on 2014-06-12T15:59:51Z (GMT). No. of bitstreams: 2 arquivo5652_1.pdf: 2564164 bytes, checksum: 6b08baa8253889819823661c59e9a6a0 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / A disciplina de Reuso de Software tem crescido em importância, tornando-se uma ferramenta estratégica para empresas que almejam um aumento de produtividade, a obtenção de baixos custos e a alta qualidade dos seus produtos. Porém, antes de obtermos as vantagens inerentes ao reuso, é preciso termos mecanismos hábeis a fim de facilitar o armazenamento, a busca, a recuperação e o gerenciamento dos artefatos reusáveis. Nesse contexto, encaixa-se a idéia de repositórios de reuso. Um repositório de reuso pode ser entendido como uma base preparada para o armazenamento e a recuperação de componentes. O mesmo pode ser visto também, como um grande facilitador, que atua como suporte aos engenheiros de software e outros usuários no processo de desenvolvimento de software para e com reuso. Na literatura, existem diversos trabalhos que exploram repositórios de reuso, porém, o foco desses trabalhos está, quase sempre, voltado a questões de busca e recuperação de componentes e, muitas vezes, aspectos importantes de repositórios de reuso não são explorados adequadamente, como, por exemplo, o uso destes como ferramenta para auxiliar gerentes no monitoramento e controle do reuso em uma organização. Por outro lado, algumas questões levantadas por empresas que desejam construir um repositório de reuso continuam mal respondidas. Tais questões geralmente incluem: Que papéis um repositório deve desempenhar no contexto de reutilização? Quais são os principais requisitos de um repositório de reuso? Quais as alternativas práticas existentes? Como um repositório de reuso pode ser projetado? Motivado por essas questões, esta dissertação apresenta a especificação, o projeto e a implementação de um repositório de reuso baseado na análise das soluções existentes e em uma experiência prática de construção de um ambiente de reuso para fábricas de software. Adicionalmente, são discutidos os resultados obtidos, os problemas encontrados, e as direções futuras para pesquisa e o desenvolvimento