Foram sintetizados poliisoprenos OH-telequélicos a partir da borracha natural (Hevea Brasiliensis por oxidação das ligações duplas desta com H5IO6 seguido de redução com LiAIH4 e por via fotoquímica usando H2O2. As funcionalidades dos poliisoprenos foram determinadas após modificação dos grupos terminais. Foi desenvolvida uma técnica de determinação da funcionalidade por ¹H-RMN utilizando como reagentes o isocianato de fenila ou isocianato de naftila. Os resultados foram comparados com os obtidos por titulação usando o cloreto 3,5-dinitrobenzoila como reagente. Os poliisoprenos OH-telequélicos foram utilizados para preparar piluiretanas de triisocianato de trifenilmetano como reticulante. / OH-telechelic polyisoprenes have been prepared from natural rubber (Hevea Brasiliensis) by oxydation of the double bonds using H5IO6 and by photochemistry using H202. In order to determine the polyisoprenes functionalities a modification of the terminal groups was performed. A functionality determination technique by ¹H-RMN was developed using phenyl ou naphtyl isocyanates as reagents. The results were compared with the functionalities obtained through the titration technique with 3,5-dinitrobenzoyl chloride as reagent. The polyisoprenes OH - telechelics were reacted with triphenylbmethane triisocyanate to prepare polyurethanes.

Procedimentos de teste para dispositivos eletrônicos tem sido construídos de forma a lidar com problemas, tais como geração de padrões de teste, cobertura de falhas e outros parâmetros tais como custo e tempo. Com o surgimento dos circuitos VLSI (Very Large Scale Integration), tais como os processadores, os problemas do teste tem aumentado. Com relação aos processadores, sua complexidade é um convite para o uso de procedimentos de teste funcionais, ignorando a estrutura física dos circuitos. Adicionalmente, informações sobre a estrutura do processador são geralmente desconhecidas por parte do usuário. No nível funcional, um processador é tratado como um sistema composto por blocos funcionais, cuja descrição pode ser obtida no manual do usuário. Cada bloco e caracterizado pela sua função, como por exemplo, a unidade lógica e aritmética, registradores, memória, etc... Testar o processador consiste em exercitar cada bloco com padrões de teste determinados. A utilização do processador transputer em situações onde se faz necessário um certo nível de confiabilidade depende da utilização de técnicas para detecção on-line. No presente trabalho é proposto um procedimento para o teste funcional do transputer. O teste funcional aqui proposto permite detecção de falhas on-line, em um contexto de aplicação periódica (pela suspensão temporária mas sem alteração do contexto da aplicação do usuário), com baixa degradação no desempenho global do sistema. Hipóteses e procedimentos relacionados a fabricação de circuitos não são considerados. Para possibilitar o uso de técnicas de teste convencionais, o transputer IMS T800 é particionado em blocos funcionais e um modelo para o teste, baseado na organização desse componente, e proposto. Este modelo é apoiado pela similaridade desse processador com um sistema microprocessado. Após o particionamento cada bloco funcional pode ser testado em separado; para os blocos que possuem organização como a de microprocessadores convencionais (tais como parte da CPU e a FPU), utiliza-se como base o método proposto por Robach and Saucier [ROB80]. De acordo com este método de teste funcional, as instruções do processador são modeladas por intermédio de grafos, que formam a base para definição de um conjunto mínimo de instruções. A execução desse conjunto exercita todos os elementos pertencentes ao respectivo bloco funcional do transputer. Entretanto, o procedimento proposto não é uma aplicação direta da metodologia citada, devido a características particulares do transputer, especialmente no que diz respeito ao paralelismo de operações, e sua estrutura de blocos internos. Com relação aos testes on-line, a utilização de um conjunto de instruções reduzido possibilita a realização de um teste rápido, reduzindo perdas de desempenho. Para os blocos restantes, de acordo com suas características, são construídos procedimentos de teste específicos. A freqüência de execução é ajustável para cada bloco. Dependendo das exigências da aplicação, alguns procedimentos podem ser omitidos, reduzindo a carga provocada pelo procedimento de teste no desempenho do sistema. A validação do procedimento de teste é realizada de duas maneiras: injeção de falhas, para verificar a capacidade de detecção: e avaliação de desempenho, para identificar o nível de degradação causado pela utilização do procedimento de teste em um sistema genérico. Apesar desse trabalho ter sido desenvolvido com base na estrutura da maquina TNODE [TEL91] e na abordagem de teste global descrita em [NUN93b], o procedimento de teste proposto pode ser utilizado em qualquer sistema composto por transputers, cujos parâmetros de aplicação se enquadrem nos requisitos usados neste trabalho. / Test procedures for electronic devices have been planned in order to deal with problems as test pattern generation, fault coverage and other parameters as cost and time. With the advent of very large scale integration (VLSI) circuits, such as the microprocessors, the test problems have arised. Concerning processors, their complexity is an invitation to the use of functional test procedures, ignoring the physical structure of the circuit. Further, structural information about the processor is, in general, unknown by users. In a functional level, a processor is seen as a system made up of functional blocks, whose description can be obtained from the user's manual. Each block is characterized by its function, as arithmetic and logic unit, registers, memory, etc... Testing the processor consists of exercising every block with specified test patterns. The use of the transputer processor in situations where reliability is needed depends on the use of on-line detection techniques. In this work, a functional test procedure for the transputer is proposed. The functional test here proposed intends to allow on-line fault detection, in a context of periodical application, with low degradation in global system performance. Hypotheses and procedures related to the fabrication process are not concerned. In order to make possible the use of conventional test techniques, the IMS T800 transputer is partitioned in functional blocks and a test model, based on the architecture of this component, is proposed. This model is supported by the similarity of this processor with a microprocessor system. Then each functional block may be tested in separate; for the blocks that have conventional microprocessor architecture (as part of the CPU and the FPU), the method proposed by Robach and Saucier [ROB80] is used. According to this functional test method, processor instructions are modeled by means of graphs which are the basis to find a minimal instruction set. The execution of this set exercises all elements that belong to the respective functional block of the transputer. Therefore, it is not a straight application of that methodology due to particular characteristics of the transputer, specially concerning the parallelism of operation and its internal blocks structure. Concerning on-line tests, the use of a reduced instruction set allows a fast test realization, reducing the overhead over system performance. For the remainder blocks, specific test procedures are built according to their features. The frequency of execution is adjustable to each block. Depending on the application constraints, some procedures may be omitted, reducing the overhead produced by the test procedure over the system performance. The validation of the test procedure may be done by means of: fault injection, to verify the faults coverage parameters; and performance evaluation, to identify degradation level caused by the inclusion of test procedure in a generic system. Although this work has been developed with basis in the structure of the T-NODE machine [TEL91] and the global test approach described in [NUN93b], it can be used in other transputer systems whose application parameters are similar to those here used.

CHINELATE, Gerla Castello Branco. Gelado comestível à base de leite de búfala com ingredientes funcionais: aplicação de linhaça (Linum usitatissunum L.) e quitosana. 2008. 117 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências Agrárias, Departamento de Tecnologia de Alimentos, Fortaleza-CE, 2008 / Submitted by Nádja Goes (nmoraissoares@gmail.com) on 2016-06-06T15:51:27Z No. of bitstreams: 1 2008_dis_gcbchinelate.pdf: 927557 bytes, checksum: 66282687ffd7515d80af96acd6a7fc4e (MD5) / Approved for entry into archive by Nádja Goes (nmoraissoares@gmail.com) on 2016-06-06T15:52:24Z (GMT) No. of bitstreams: 1 2008_dis_gcbchinelate.pdf: 927557 bytes, checksum: 66282687ffd7515d80af96acd6a7fc4e (MD5) / Made available in DSpace on 2016-06-06T15:52:24Z (GMT). No. of bitstreams: 1 2008_dis_gcbchinelate.pdf: 927557 bytes, checksum: 66282687ffd7515d80af96acd6a7fc4e (MD5) Previous issue date: 2008 / In the last decades, there is a growing in the interest research and consume foods products with functional properties. The flaxseed (Linum usitatissimun L.) has been considerate a functional ingredient of great importance is due its functional combinations such a linolênico acid, lignans and fibers that are potentially beneficial to our health. Several research evidence the positive effects of adding flaxseed to the food to the combat and prevention of many diseases, for example, cancer, constipation, menopause, disease cardiovascular, among others. The chitosan, considered a soluble fiber of the animal origin, have been researched by its hypocholesterolemic action and as a co adjuvant in the reduction of weight. The processed foods with long shelf life, with nutritional and sensorial quality guaranteed, present consumption potential. The ice cream, a dairy product obtained by the freezing of a pasteurized mix of ingredients, has a large share of the market desserts. Thus, this work had purpose, develop the prescriptions of ice cream of buffalo milk, skimmed, supplemented with flaxseed (5%, 10% and 15%) and chitosan in order to get the acquisition of products with an alternative source of fibers, evaluate the effects in the quality physic-chemical, chemical, microbiological and sensorial characteristics. The addition of flaxseed flour and chitosan provoked significant increases on protein mineral salts and fibers contents of ice cream, transforming them in a product with high content of alimentary fibers. Among the samples of ice cream added to formulations of flour flaxseed, the SQL-10 (2% of chitosan and 10% of flaxseed) was the most accepted attributes for flavor, texture, sweetness, flavor and residual global acceptance. For the test-ordering of preference, the formulation SQL-0 (2% of chitosan and 0% of flaxseed) was the most preferred while the formulation SQL-10 (2% of chitosan and 10% of flaxseed) was second place in the test. The ice cream with chitosan and flaxseed flour processed are within the concepts of functional food, because have in their formulations functional ingredients that provide benefits to health in order to promote improvement in quality of life. / Os benefícios do consumo de produtos alimentícios com propriedades funcionais vêm aumentando e desenvolvendo interesse nas últimas décadas em muitos pesquisadores e consumidores. A linhaça (Linum usitatissimum L.) tem sido considerada um ingrediente funcional de grande importância por conter combinações funcionais como o ácido linolênico (ALA), lignanas e fibras que estão relacionados ao seu potencial benéfico à saúde. Vários estudos evidenciam os benefícios da alimentação suplementada com linhaça na prevenção e tratamento de diversas enfermidades como: doenças cardiovasculares, câncer, artrite, sintomas indesejáveis da menopausa, constipação, entre outras. A quitosana, considerada uma fibra solúvel de origem animal, vem sendo pesquisada por sua ação hipocolesterolêmica e como coadjuvante na redução de peso. Alimentos processados com vida de prateleira longa, assegurada qualidade nutricional e sensorial, apresentam crescente potencial de consumo. O sorvete, sendo um produto lácteo obtido pelo congelamento de uma mistura pasteurizada de ingredientes, apresenta uma grande fatia no mercado de sobremesas. Assim, este trabalho teve como objetivo desenvolver formulações de sorvetes de leite de búfala desnatado suplementadas com linhaça (0%, 5%, 10% e 15%) e quitosana (2%), visando a obtenção de produtos como uma fonte alternativa de fibras, avaliar os efeitos destes ingredientes funcionais às características físico-químicas, químicas, nutricionais, microbiológicas e sensoriais. A adição de quitosana e linhaça promoveram incremento significativo nos teores de proteínas, sais minerais e fibra alimentar, tornando dos gelados comestíveis estudados, produtos com alto teor de fibra alimentar. Dentre as amostras de sorvetes das formulações adicionadas de farinha de linhaça, a SQL-10 (10% de linhaça) foi a mais aceita em relação aos atributos sabor, textura, doçura, sabor residual e aceitação global. Para o teste de ordenação–preferência, a formulação SQL-0 (2% de quitosana e 0% de linhaça) foi a mais preferida enquanto que a formulação SQL-10 (2% de quitosana e 10% de linhaça) ficou em segundo lugar no teste. Os sorvetes processados com quitosana e farinha de linhaça se enquadram nos conceitos de alimento funcional, devido a possuírem nas suas formulações ingredientes funcionais que proporcionam benefícios à saúde com o intuito de promover melhoria na qualidade de vida.

Alimentos funcionais podem ser entendidos como aqueles que, em virtude de seus componentes fisiologicamente ativos, fornecem benefícios à saúde além da nutrição básica. Esta emergente categoria de alimentos surgiu no Japão, em meados da década de 1980. A partir de então, outros países desenvolveram o seu sistema regulatório acerca de Alimentos Funcionais. No Brasil, é possível alegar que determinados alimentos possuem propriedades funcionais e/ou de saúde. Em função disso, surge uma série de incongruências e interações importantes entre legislação de alimentos e de medicamentos. Uma análise nas publicações de registros deferidas pela ANVISA possibilita constatar que um mesmo produto poderá ser registrado nestas duas categorias. As reivindicações da saúde não devem ser evitadas, pois, podem ser um importante veículo de informação para os consumidores. Todavia, é preciso que regras claras sejam estabelecidas para que o consumidor tenha acesso ao real instrumento para o cuidado com a saúde. Agências regulatórias de qualquer país devem estar direcionadas para garantir aos consumidores segurança e qualidade dos alimentos. Serão necessárias regras mais claras para a indústria, para que ao fim do processo o consumidor não seja enganado por falsas promessas de cura. O aprofundamento do debate acerca da legislação de Alimentos funcionais traz a tona a suspeita da legitimação do processo de medicalização dos alimentos por parte das agências reguladoras, tanto no âmbito nacional quanto internacional. Este trabalho não objetivou discutir a funcionalidade dos alimentos. O foco da nossa atenção está em demonstrar os riscos sanitários relativos à ausência de definições claras acerca da regulamentação desta emergente categoria de alimentos e ainda discutir suas implicações para a Saúde Pública. / Functional Food can be understood as the ones that, because of their physiologically active components, provide health benefits besides the basic nutrition. That emergent food category appeared in Japan in the middle eighties. From then, other countries developed their regulatory system concerning Functional Food. In Brazil it is possible to allege that certain kinds of food have functional and/or health properties. Observing that situation, we can see many important incongruities and interactions between food and medicine legislation. An analysis at the conceding register published by ANVISA shows that the same product can be registered in both categories. Heal claims cant be avoided, since it can be an important vehicle of information to the consumers. However, it is necessary to establish clear rules so that the consumers can have access to a real instrument for their health care. Regulation agencies of any country must be directed to guarantee to the consumers food security and quality. Clear rules for industries are necessary so that at the end of the process the consumer is not deceived by fake promises of cure. Going deeper into the discussion about Functional Food legislation emerges the suspect of the legitimacy of the process of turning food into medicine by the regulation agencies, both on national and international scopes. The objective of this study is not to discuss food functionality. Our focus of attention was to demonstrate the sanitary risks related to absence of clear definitions about the regulation of that arising food category and, besides, discuss its implications to Public Health.

Esta dissertação apresenta um método adaptado do estudo de repetitividade e reprodutibilidade para analisar a capacidade e o desempenho de sistemas de medição, no contexto da análise de dados funcionais. Dado funcional é a variável de resposta dada por uma coleção de dados que formam um perfil ou uma curva. O método adaptado contribui para o avanço do estado da arte sobre a análise de sistemas de medição. O método proposto é uma alternativa ao uso de métodos tradicionais de análise, que usados de forma equivocada, podem deteriorar a qualidade dos produtos monitorados através de variáveis de resposta funcionais. O método proposto envolve a adaptação de testes de hipótese e da análise de variância de um e dois fatores usados em comparações de populações, na avaliação de sistemas de medições. A proposta de adaptação foi baseada na utilização de distâncias entre curvas. Foi usada a Distância de Hausdorff como uma medida de proximidade entre as curvas. A adaptação proposta à análise de variância foi composta de três abordagens. Os métodos adaptados foram aplicados a um estudo simulado de repetitividade e reprodutibilidade. O estudo foi estruturado para analisar cenários em que o sistema de medição foi aprovado e reprovado. O método proposto foi denominado de ANOVA das Distâncias. / This work presents a method to analyze a measurement system's performance in a functional data analysis context, based on repeatability and reproducibility studies. Functional data are a collection of data points organized as a profile or curve. The proposed method contributes to the state of the art on measurement system analysis. The method is an alternative to traditional methods often used mistakenly, leading to deterioration in the quality of products monitored through functional responses. In the proposed method we adapt hypothesis tests and one-way and two-way ANOVA to be used in measurement system analysis. The method is grounded on the use of distances between curves. For that matter the Hausdorff distance was chosen as a measure of proximity between curves. Three ANOVA approaches were proposed and applied in a simulated repeatability and reproducibility study. The study was structured to analyze scenarios in which the measurement system was approved or rejected. The proposed method was named ANOVA of the distances.

The development of economically viable production systems, which can make compatible good beef cattle profit and the preservation of natural grassland ecosystems, should be supported by knowledge of dynamic of vegetation that occur after some management practices. Vegetation dynamic studies show the existence of populations replacement processes which can be observed in space and time, in different scales. Modeling these systems would be one alternative to achieve this premise. To achieve this purpose, this thesis, is divided in two chapters. In the are presented, respectively, temporal dynamics of grasslands vegetation, based on species composition (taxons) or Plants´ Functional Types (PFT) groups. These were based on the traits: Specific Leaf Area (SLA) e Leaf Dry Matter Content (LDM), which grouped Poaceae family species in four groups (A, B, C and D). Data used in this thesis came from vegetation relévés from 1995 to 2001, and data predict by Markov chains. Typical disturbance factors of grassland vegetation, grazing and burning, and their interactions, combined with relief position, express the scenarios which should be modeled along the time. Results obtained by using ordination and randomization analysis show that is possible using this tool to build up predictive models of vegetation composition in grassland areas, independently from the evaluation being based on taxons or PFT. When it was based in taxons, a certain degree of imprecision in the estimation of forage mass of species with a low initial contribution. Grazing and relief position were determinant of ordination trajectory, and that was not possible to identify in burning. When based in PFTs, results obtained from model validation, from ordination analysis and from randomization tests, showed a tendency of trajectories and of predicted values of functional groups, which is more suitable for plots under grazing. Using this model, as a management tool for areas under grazing, is in dependence of new validation researches, using new data, but for this is necessary to make strong the exchange of informations among research groups in this area. / O desenvolvimento de sistemas de produção viáveis economicamente, que tornem compatíveis bons ganhos animais com a preservação dos ecossistemas de pastagens naturais, deve ser apoiado pelo conhecimento da dinâmica da vegetação que ocorre após determinadas práticas de manejo. Estudos de dinâmica da vegetação revelam processos de substituição de populações, que podem ser observados no espaço e no tempo, em diferentes escalas. A modelagem destes sistemas pode representar uma alternativa para revelar esses processos. Deste modo, a presente tese, está dividida em dois capítulos, sendo abordadas, respectivamente, as dinâmicas temporais da vegetação, baseadas na composição de espécies da área (Táxons) ou dos grupos de Tipos Funcionais de Plantas (TFP). Estes foram baseados nos atributos Área Foliar Específica (AFE) e Teor de Matéria Seca Foliar (TMS), os quais agruparam as espécies pertencentes à família Poaceae, em quatro grupos (A, B, C e D). Os dados utilizados nesta tese foram procedentes de inventários da vegetação, dos anos de 1995 a 2001, e de matrizes de transição das Cadeias de Markov. Os fatores pastejo e queima, e suas interações, combinados com as posições de relevo, foram os fatores de distúrbio que expressam os cenários a serem modelados no tempo. Os resultados obtidos através das análises de ordenação e aleatorização demonstram a aplicabilidade das Cadeias de Markov na construção de modelos preditivos da composição da vegetação em áreas campestres, independentemente da avaliação ser baseada em Taxóns ou TFP. Quando a avaliação foi realizada com base em Táxons, houve certa imprecisão na estimativa de valores de massa de forragem das espécies com baixa contribuição inicial. Os fatores pastejo e posição topográfica apresentaram-se como determinantes das trajetórias de ordenação, o que não foi identificado para o fator queima. Com relação aos TFP, os resultados obtidos na validação do modelo, através das análises de ordenação e aleatorização, indicam uma tendência das trajetórias e dos valores preditos para grupos de TFP, serem mais adequados para as parcelas sobre influencia de pastejo. A difusão deste modelo, como ferramenta de manejo das áreas sobre pastejo, depende ainda de novas validações, utilizandose novos grupos de dados, para isso se torna necessário o fortalecimento do intercâmbio de informações entre os grupos de pesquisa nesta área.

Made available in DSpace on 2016-06-02T20:28:26Z (GMT). No. of bitstreams: 1 3559.pdf: 499785 bytes, checksum: 08c3a73aa07cbea987903f5c2a785444 (MD5) Previous issue date: 2011-03-23 / Financiadora de Estudos e Projetos / We study scalar conservation laws, with the deduction of an explicit formula of a smooth solution with compact support, we also present the behavior of the solution given by the formula when the initial value is zero outside a finite interval. In order to study the uniqueness of a given conservation law under certain hypotheses. / Neste trabalho estudamos leis de conservação escalar, com a dedução de uma fórmula explícita de uma solução suave de suporte compacto, também apresentamos o comportamento da solução dada pela fórmula quando o dado inicial é nulo fora de algum intervalo limitado e por fim estudamos a unicidade para uma dada lei de conservação sob certas hipóteses.

Foram sintetizados poliisoprenos OH-telequélicos a partir da borracha natural (Hevea Brasiliensis por oxidação das ligações duplas desta com H5IO6 seguido de redução com LiAIH4 e por via fotoquímica usando H2O2. As funcionalidades dos poliisoprenos foram determinadas após modificação dos grupos terminais. Foi desenvolvida uma técnica de determinação da funcionalidade por ¹H-RMN utilizando como reagentes o isocianato de fenila ou isocianato de naftila. Os resultados foram comparados com os obtidos por titulação usando o cloreto 3,5-dinitrobenzoila como reagente. Os poliisoprenos OH-telequélicos foram utilizados para preparar piluiretanas de triisocianato de trifenilmetano como reticulante. / OH-telechelic polyisoprenes have been prepared from natural rubber (Hevea Brasiliensis) by oxydation of the double bonds using H5IO6 and by photochemistry using H202. In order to determine the polyisoprenes functionalities a modification of the terminal groups was performed. A functionality determination technique by ¹H-RMN was developed using phenyl ou naphtyl isocyanates as reagents. The results were compared with the functionalities obtained through the titration technique with 3,5-dinitrobenzoyl chloride as reagent. The polyisoprenes OH - telechelics were reacted with triphenylbmethane triisocyanate to prepare polyurethanes.

Procedimentos de teste para dispositivos eletrônicos tem sido construídos de forma a lidar com problemas, tais como geração de padrões de teste, cobertura de falhas e outros parâmetros tais como custo e tempo. Com o surgimento dos circuitos VLSI (Very Large Scale Integration), tais como os processadores, os problemas do teste tem aumentado. Com relação aos processadores, sua complexidade é um convite para o uso de procedimentos de teste funcionais, ignorando a estrutura física dos circuitos. Adicionalmente, informações sobre a estrutura do processador são geralmente desconhecidas por parte do usuário. No nível funcional, um processador é tratado como um sistema composto por blocos funcionais, cuja descrição pode ser obtida no manual do usuário. Cada bloco e caracterizado pela sua função, como por exemplo, a unidade lógica e aritmética, registradores, memória, etc... Testar o processador consiste em exercitar cada bloco com padrões de teste determinados. A utilização do processador transputer em situações onde se faz necessário um certo nível de confiabilidade depende da utilização de técnicas para detecção on-line. No presente trabalho é proposto um procedimento para o teste funcional do transputer. O teste funcional aqui proposto permite detecção de falhas on-line, em um contexto de aplicação periódica (pela suspensão temporária mas sem alteração do contexto da aplicação do usuário), com baixa degradação no desempenho global do sistema. Hipóteses e procedimentos relacionados a fabricação de circuitos não são considerados. Para possibilitar o uso de técnicas de teste convencionais, o transputer IMS T800 é particionado em blocos funcionais e um modelo para o teste, baseado na organização desse componente, e proposto. Este modelo é apoiado pela similaridade desse processador com um sistema microprocessado. Após o particionamento cada bloco funcional pode ser testado em separado; para os blocos que possuem organização como a de microprocessadores convencionais (tais como parte da CPU e a FPU), utiliza-se como base o método proposto por Robach and Saucier [ROB80]. De acordo com este método de teste funcional, as instruções do processador são modeladas por intermédio de grafos, que formam a base para definição de um conjunto mínimo de instruções. A execução desse conjunto exercita todos os elementos pertencentes ao respectivo bloco funcional do transputer. Entretanto, o procedimento proposto não é uma aplicação direta da metodologia citada, devido a características particulares do transputer, especialmente no que diz respeito ao paralelismo de operações, e sua estrutura de blocos internos. Com relação aos testes on-line, a utilização de um conjunto de instruções reduzido possibilita a realização de um teste rápido, reduzindo perdas de desempenho. Para os blocos restantes, de acordo com suas características, são construídos procedimentos de teste específicos. A freqüência de execução é ajustável para cada bloco. Dependendo das exigências da aplicação, alguns procedimentos podem ser omitidos, reduzindo a carga provocada pelo procedimento de teste no desempenho do sistema. A validação do procedimento de teste é realizada de duas maneiras: injeção de falhas, para verificar a capacidade de detecção: e avaliação de desempenho, para identificar o nível de degradação causado pela utilização do procedimento de teste em um sistema genérico. Apesar desse trabalho ter sido desenvolvido com base na estrutura da maquina TNODE [TEL91] e na abordagem de teste global descrita em [NUN93b], o procedimento de teste proposto pode ser utilizado em qualquer sistema composto por transputers, cujos parâmetros de aplicação se enquadrem nos requisitos usados neste trabalho. / Test procedures for electronic devices have been planned in order to deal with problems as test pattern generation, fault coverage and other parameters as cost and time. With the advent of very large scale integration (VLSI) circuits, such as the microprocessors, the test problems have arised. Concerning processors, their complexity is an invitation to the use of functional test procedures, ignoring the physical structure of the circuit. Further, structural information about the processor is, in general, unknown by users. In a functional level, a processor is seen as a system made up of functional blocks, whose description can be obtained from the user's manual. Each block is characterized by its function, as arithmetic and logic unit, registers, memory, etc... Testing the processor consists of exercising every block with specified test patterns. The use of the transputer processor in situations where reliability is needed depends on the use of on-line detection techniques. In this work, a functional test procedure for the transputer is proposed. The functional test here proposed intends to allow on-line fault detection, in a context of periodical application, with low degradation in global system performance. Hypotheses and procedures related to the fabrication process are not concerned. In order to make possible the use of conventional test techniques, the IMS T800 transputer is partitioned in functional blocks and a test model, based on the architecture of this component, is proposed. This model is supported by the similarity of this processor with a microprocessor system. Then each functional block may be tested in separate; for the blocks that have conventional microprocessor architecture (as part of the CPU and the FPU), the method proposed by Robach and Saucier [ROB80] is used. According to this functional test method, processor instructions are modeled by means of graphs which are the basis to find a minimal instruction set. The execution of this set exercises all elements that belong to the respective functional block of the transputer. Therefore, it is not a straight application of that methodology due to particular characteristics of the transputer, specially concerning the parallelism of operation and its internal blocks structure. Concerning on-line tests, the use of a reduced instruction set allows a fast test realization, reducing the overhead over system performance. For the remainder blocks, specific test procedures are built according to their features. The frequency of execution is adjustable to each block. Depending on the application constraints, some procedures may be omitted, reducing the overhead produced by the test procedure over the system performance. The validation of the test procedure may be done by means of: fault injection, to verify the faults coverage parameters; and performance evaluation, to identify degradation level caused by the inclusion of test procedure in a generic system. Although this work has been developed with basis in the structure of the T-NODE machine [TEL91] and the global test approach described in [NUN93b], it can be used in other transputer systems whose application parameters are similar to those here used.

Esta tese parte da problematização de generalizações historiográficas que apontam que a casa-pátio na arquitetura moderna brasileira é, predominantemente, de influência italiana. Diante disso, se propõe a fazer um re-exame de dezessete casas de Daniele Calabi e Rino Levi, produzidas entre as décadas de 1940 e 1960. Levi e Calabi tiveram formação italiana e atuaram juntos em São Paulo entre 1939 e 1949, sendo que a relação entre ambos é considerada na historiografia da arquitetura brasileira como fundamental para a consolidação do uso da casa-pátio no modernismo brasileiro. A tese sustenta a hipótese de que o que confere unidade às suas obras efetivamente não é o tipo-pátio, que assume diversas configurações no modernismo, mas a espacialidade depreendida dessas casas. Entende-se por espacialidade a experiência concreta que o espaço promove em seu interior e o significado que ele passa a ter para as pessoas, sendo o estudo dos diferentes tipos de espacialidade arquitetônica tratado pela tipologia espacial. Assim, o trabalho objetiva analisar comparativamente as casas de Calabi e Levi, buscando identificar aspectos da tipologia formal-funcional e da tipologia espacial que lhes confiram unidade. Conciliando a abordagem tipológica com uma abordagem historiográfica, a tese está dividida em três partes. A primeira tem enfoque historiográfico, com vida, obras e possíveis referências projetuais dos arquitetos. A segunda e a terceira partes se voltam à análise tipológica formal-funcional e espacial, respectivamente, e a reflexões relativas aos temas do tipo, do caráter e da espacialidade na arquitetura moderna. Observou-se que Calabi adota esquemas-pátios de matriz tradicional italiana e Levi recorre mais a esquemas miesianos e wrightianos, assim como outros tantos arquitetos paulistas e cariocas contemporâneos, dispersando a dominante referência italiana na casa-pátio moderna brasileira. Apesar disso, ambos buscam estabelecer em seus projetos uma dialética relação entre extroversão e introversão, que remete a uma espacialidade e a um caráter mediterrâneo comum. / This thesis starts questioning the historiographical generalizations which point out that the house-yard in Brazilian modern architecture has predominantly Italian influences. Given this, it claims to do a re-examination of seventeen Daniele Calabi and Rino Levi’s houses, produced between the 1940s and 1960s. Levi and Calabi had both Italian graduation background and had worked together in São Paulo between 1939 and 1949, and the relationship is considered in the historiography of Brazilian architecture as essential to consolidate the use of house-yard in Brazilian modernism. The thesis supports the hypothesis that what gives unity to their work is not really the type “yard”, which takes different configurations in modernism, but the spaciousness of these houses. Spatiality is understood as the concrete experience that promotes the space inside and the meaning that it will take for people, and the study of different types of architectural spatiality treated by spatial typology. Thus, this thesis aims to analyze comparatively the houses of Calabi and Levi, seeking to identify aspects of the formal typology and the typology and functional space that give them unity. Combining the typological approach with a historiographical approach, the thesis is divided into three parts. The first is historiographical approach, with life, works and possible design references of the architects. The second and third parts are focused on the formal typological analysis, functional and spatial, respectively, and reflections on the themes of type and character of spatiality in modern architecture. It was noted that Calabi adopts yard-schemes from traditional Italian matrix and Levi uses more Mies and Wright schemes, like many other contemporary architects from Sao Paulo and Rio de Janeiro, scattering the dominant Italian reference in the modern Brazilian courtyard-house. Still, both seek to establish in their projects a dialectical relation between extroversion and introversion, which refers to a common spatiality and Mediterranean character.