1 |
Implementation of ^153Sm in Dual Photon Absorptiometry for the Detection of BMCRowntree, Robert 08 1900 (has links)
A ¹⁵³Sm source was used with a dual photon absorptiometry technique in vitro to determine the feasibility of using this isotope as an alternative source to ¹⁵³Gd for further in vivo studies. The source activity was typically .4 Ci (i.e., at the source collimator exit) with a half life of 46.8 hours and photon energies of "103" keV and ¹⁵³Eu X-rays at "42.5" keV. The system was evaluted using phantom measurements of water, aluminum and polyethylene to simulate soft tissue, bone and fat respectively. During stationary measurements, a total absorber thickness between 15 and 22.5 cm. was used in conjunction with an aluminum thickness range of .314 to 1.91 em. (.848-5.16 g/cm²). The coefficient of variation and the accuracy at most total absorber thicknesses was less than 2%. This showed that ¹⁵³Sm could produce precision and accuracy comparable to ¹⁵³Gd. When polyethylene (fat) was present, as the amount of polyethylene in the RST measurement increased, the error due to a difference in the amount of polyethylene between the RST and the BMC measurements increased. For a percent difference in polyethylene thickness between the RST and BMC measurement of less than 50% at 16.3% RST polyethylene content, measurements of aluminum (bone) above 1.8 g/cm²(.662 cm. of aluminum) produced results accurate to within 10% of the true aluminum (BMC) value for this experimental geometry. Motional studies were performed using a modified OHIO NUCLEAR rectilinear scanner. The optimal scan speed was shown to be in the range of 4-6 mm./sec. with a sample space of between .5 to .7 cm.. The worst-case dose using the optimal scan parameters was determined as 6.2 and 1. 4 mRad per scan of approximately 24 minutes for bone and soft tissue respectively. The combination of stationary and motional in vitro studies indicated that ¹⁵³Sm could be an economical and effective alternative to ¹⁵³Gd for clinical studies. A Monte Carlo simulation was implemented to determine the optimal detector collimator entrance size. Simulation of the experimental geometry indicated that the .6 cm. detector collimation used experimentally was near the optimal size to produce efficient results in terms of accuracy and precision. A brief summary of Monte Carlo methods and radiation theory is also included. / Thesis / Master of Engineering (ME)
|
2 |
Ensuring Trust Of Third-Party Hardware Design With Constrained Sequential Equivalence CheckingShrestha, Gyanendra 25 October 2012 (has links)
Globalization of semiconductor design and manufacturing has led to a concern of trust in the final product. The components may now be designed and manufactured from anywhere in the world without the direct supervision of the buyer. As a result, the hardware designs and fabricated chips may be vulnerable to malicious alterations by an adversary at any stage of VLSI design flow, thus compromising the integrity of the component. The effect of any modifications made by the adversary can be catastrophic in the critical applications. Because of the stealthy nature of such insertions, it is extremely difficult to detect them using traditional testing and verification methods. Therefore, the trust of the hardware systems require a new approach and have drawn much attention in the hardware security community.
For many years, the researchers have developed sophisticated techniques to detect, isolate and prevent malicious attacks in cyber security community assuming that the underlying hardware platform is extremely secure and trustworthy. But the hardware may contain one or more backdoors that can be exploited by software at the time of operation. Therefore, the trust of the computing system cannot be guaranteed unless we can guarantee the trust of the hardware platform.
A malicious insertion can be very stealthy and may only involve minor modification in the hardware design or the fabricated chip. The insertion may require rare or specific conditions in order to be activated. The effect may be denial of service, change of function, destruction of chip, leakage of secret information from cryptographic hardware etc.
In this thesis, we propose a novel technique for the detection of malicious alteration(s) in a third party soft intellectual property (IP) using a clever combination of sequential equivalence checking (SEC) and automatic test generation. The use of powerful inductive invariants can prune a large illegal state space, and test generation helps to provide a sensitization path for nodes of interest. Results for a set of hard-to-verify designs show that our method can either ensure that the suspect design is free from the functional effect of any malicious change(s) or return a small group of most likely malicious signals. / Master of Science
|
3 |
Hardware Emulation of Sequential ATPG-Based Bounded Model CheckingFord, Gregory Fick 21 February 2014 (has links)
No description available.
|
4 |
Estudo para fabricação de refletores automobilísticos utilizando um material compósito termofixo e um material termoplástico / Study for manufacturing automobile reflectors using a thermoset composite material and a thermoplastic materialSouza, Eliseu William de 05 July 2010 (has links)
Na montagem de um farol automobilístico são utilizados diversos materiais, tais como insertos metálicos nas fixações, vidros nas lâmpadas, materiais poliméricos nas lentes, carcaças, molduras, vedações e refletores, além de vernizes, tintas, película de metal para reflexão do feixe luminoso. Há cerca de quatro décadas foi iniciada a confecção dos refletores utilizando o BMC (bulk moulding compound), sigla em inglês para composto para moldagem em forma de massa, que é um compósito polimérico termofixo. Este material apresenta inúmeras vantagens sobre o metal, tal como forma e geometria que podem se integrar facilmente ao desenho do carro, elevada produtividade, baixo custo e da elevada resistência térmica. Contudo, apresentam o inconveniente de não poderem ser reciclados. Uma opção ao BMC tem sido o PEI [poli (éter imida)], que é um material polimérico termoplástico de alto desempenho que apresenta propriedades atrativas para essa utilização. Oferece também elevada produtividade, porém com um custo elevado se comparado ao BMC. Tem a vantagem de pode ser reciclado. De modo a analisar o potencial dos dois materiais e extrair deles suas vantagens competitivas, bem como determinar suas possíveis limitações, o presente trabalho apresenta os resultados de caracterização mecânica, análise térmica, ensaios de impacto, ensaios de temperatura de deflexão térmica (HDT) e reaproveitamento de resíduos de BMC, incorporando-o ao PVC [poli (cloreto de vinila)], resultando uma nova blenda polimérica. O estudo conclui que ambos os materiais podem ser utilizados para fabricação de refletores automobilísticos. No entanto, o preço do PEI é maior que o do BMC, o que desestimula sua utilização em produtos de alta escala de produção, como, por exemplo, o produto do presente trabalho. O BMC por sua vez não pode ser reciclado, exigindo um custo adicional para seu reaproveitamento de maneira a evitar seu descarte em aterro sanitário. / For assembly of an automobile headlight a lot of materials are used such as metallic inserts anchors, glass in the lamps, lens of polymeric materials, bezels, frames, fences and reflectors as well as paints, metallic sheet for reflection of the luminous beam. About four decades ago begun the manufacturing of BMC reflectors, which is a thermoset composite material. This material presents countless advantages on the metal, such as shape and geometry that can easily integrate the designing of cars, high productivity, low cost and high heat resistance. However, they have the disadvantage of not being able to be recycled. An option to the BMC has been the PEI [poly (ether imide)], which is a high performance polymeric thermoplastic material which brings attractive properties for the production of reflectors. It also offers high productivity, however with a high cost compared to BMC. It also has the advantage of being recycled. In order to analyze the potential of both materials and extract their competitive advantages, as well as determine their possible limitations, this study presents the results of mechanical characterization, thermal analysis, impact tests, tests on heat deflection temperature (HDT) and the reuse of BMC waste, incorporating it to PVC [poly (vinyl chloride)], resulting in a new polymeric blend. The study concludes that both materials can be used for manufacturing automobile reflectors. However, the price of PEI is higher than the one of BMC, which discourages their use in high-scale production products, as the one of this work. The BMC for your time can not be recycled, demanding an extra cost for their reuse, avoiding its disposal in landfill.
|
5 |
Estudo para fabricação de refletores automobilísticos utilizando um material compósito termofixo e um material termoplástico / Study for manufacturing automobile reflectors using a thermoset composite material and a thermoplastic materialEliseu William de Souza 05 July 2010 (has links)
Na montagem de um farol automobilístico são utilizados diversos materiais, tais como insertos metálicos nas fixações, vidros nas lâmpadas, materiais poliméricos nas lentes, carcaças, molduras, vedações e refletores, além de vernizes, tintas, película de metal para reflexão do feixe luminoso. Há cerca de quatro décadas foi iniciada a confecção dos refletores utilizando o BMC (bulk moulding compound), sigla em inglês para composto para moldagem em forma de massa, que é um compósito polimérico termofixo. Este material apresenta inúmeras vantagens sobre o metal, tal como forma e geometria que podem se integrar facilmente ao desenho do carro, elevada produtividade, baixo custo e da elevada resistência térmica. Contudo, apresentam o inconveniente de não poderem ser reciclados. Uma opção ao BMC tem sido o PEI [poli (éter imida)], que é um material polimérico termoplástico de alto desempenho que apresenta propriedades atrativas para essa utilização. Oferece também elevada produtividade, porém com um custo elevado se comparado ao BMC. Tem a vantagem de pode ser reciclado. De modo a analisar o potencial dos dois materiais e extrair deles suas vantagens competitivas, bem como determinar suas possíveis limitações, o presente trabalho apresenta os resultados de caracterização mecânica, análise térmica, ensaios de impacto, ensaios de temperatura de deflexão térmica (HDT) e reaproveitamento de resíduos de BMC, incorporando-o ao PVC [poli (cloreto de vinila)], resultando uma nova blenda polimérica. O estudo conclui que ambos os materiais podem ser utilizados para fabricação de refletores automobilísticos. No entanto, o preço do PEI é maior que o do BMC, o que desestimula sua utilização em produtos de alta escala de produção, como, por exemplo, o produto do presente trabalho. O BMC por sua vez não pode ser reciclado, exigindo um custo adicional para seu reaproveitamento de maneira a evitar seu descarte em aterro sanitário. / For assembly of an automobile headlight a lot of materials are used such as metallic inserts anchors, glass in the lamps, lens of polymeric materials, bezels, frames, fences and reflectors as well as paints, metallic sheet for reflection of the luminous beam. About four decades ago begun the manufacturing of BMC reflectors, which is a thermoset composite material. This material presents countless advantages on the metal, such as shape and geometry that can easily integrate the designing of cars, high productivity, low cost and high heat resistance. However, they have the disadvantage of not being able to be recycled. An option to the BMC has been the PEI [poly (ether imide)], which is a high performance polymeric thermoplastic material which brings attractive properties for the production of reflectors. It also offers high productivity, however with a high cost compared to BMC. It also has the advantage of being recycled. In order to analyze the potential of both materials and extract their competitive advantages, as well as determine their possible limitations, this study presents the results of mechanical characterization, thermal analysis, impact tests, tests on heat deflection temperature (HDT) and the reuse of BMC waste, incorporating it to PVC [poly (vinyl chloride)], resulting in a new polymeric blend. The study concludes that both materials can be used for manufacturing automobile reflectors. However, the price of PEI is higher than the one of BMC, which discourages their use in high-scale production products, as the one of this work. The BMC for your time can not be recycled, demanding an extra cost for their reuse, avoiding its disposal in landfill.
|
6 |
A Comparison of Child Morbidity and Mortality in Two Contrasting Medieval Cemeteries in Denmark.Schutkowski, Holger, Bennike, P., Lewis, Mary Elizabeth, Valentin, F. 29 June 2009 (has links)
No / This study compares associations between demographic profiles, long bone lengths, bone mineral content, and frequencies of stress indicators in the preadult populations of two medieval skeletal assemblages from Denmark. One is from a leprosarium, and thus probably represents a disadvantaged group (Næstved). The other comes from a normal, and in comparison rather privileged, medieval community (Æbelholt). Previous studies of the adult population indicated differences between the two skeletal collections with regard to mortality, dental size, and metabolic and specific infectious disease. The two samples were analyzed against the view known as the osteological paradox (Wood et al. [1992] Curr. Anthropol. 33:343-370), according to which skeletons displaying pathological modification are likely to represent the healthier individuals of a population, whereas those without lesions would have died without acquiring modifications as a result of a depressed immune response. Results reveal that older age groups among the preadults from Næstved are shorter and have less bone mineral content than their peers from Æbelholt. On average, the Næstved children have a higher prevalence of stress indicators, and in some cases display skeletal signs of leprosy. This is likely a result of the combination of compromised health and social disadvantage, thus supporting a more traditional interpretation. The study provides insights into the health of children from two different biocultural settings of medieval Danish society and illustrates the importance of comparing samples of single age groups.
|
7 |
Avaliação do perfil de absorção da vivenina-2 e desenvolvimento de extrato seco padronizado de \'Lychnophora ericoides\' com máxima extração deste flavonóide / Evaluation of the absorption profile of vicenina-2 and development of standardized dry extract of Lychnophora ericoides with high chemical content of this flavonoidDiniz, Andréa 28 January 2008 (has links)
As informações sobre a absorção de flavonóides ainda são muito controversas e na sua grande maioria os estudos foram realizados com O-heterosídeos, flavonóides bastante instáveis. Para o estudo de previsão de absorção de flavonóide foi utilizado a vicenina-2, que é um flavonóide C-heterosídeo, com atividade antinflamatório. A relação entre retenção-atividade (QRAR) usando a cromatografia micelar de biopartição (BMC) foi a técnica empregada para atingir tal objetivo. Os resultados deste método in vitro foram comparados com resultados obtidos em ensaios in vivo de permeação intestinal em ratos obtendo-se as mesmas taxas de absorção de 60%. A taxa de união a proteínas plasmáticas foi avaliada por eletroforese capilar (EC) e indicou uma relação entre estrutura-taxa de união a albumina (HSA). A presença ou a disponibilidade da hidroxila em C3 do anel C do flavonóide parece ser determinante para altas taxas de união a HSA, e as substituições no anel B não demonstraram importantes relações na taxa de união a HSA. No estudo de afinidade dos polifenólicos a proteínas plasmáticas totais verificou-se uma alteração de comportamento de ligação em relação a HSA de alguns compostos. Esse comportamento foi atribuído a uma degradação sérico pelas enzimas presentes no plasma ou pela competição pelos sítios de ligação dos compostos fenólicos com substâncias endógenas. Após a obtenção da informação de que a vicenina-2 é um flavonóide que possui absorção intestinal, foi possível desenvolver o extrato de Lychnophora ericoides com máxima extração de vicenina-2, utilizando delineamento fatorial. Esse delineamento estatístico mostrou-se eficiente para a obtenção de produto farmacêutico, utilizando um mínimo de experimentos. Nesses estudos, além do controle químico da presença de vicenina-2, estudos de genotoxicidade e atividade antinflamatória pela inibição da atividade sobre o óxido nítrico foram realizados e verificou-se que o extrato fluido padronizado, não possui atividade genotóxica e mantém a atividade antinflamatória, vista pela inibição da formação do NO. O extrato fluido padronizado com tais propriedades foi obtido com etanol 20° GL, 24 de maceração simples e proporção droga:solvente de 1:5. A secagem desse extrato, com o objetivo de melhorar a estabilidade e garantir propriedades tecnológicas adequadas, foi realizada por nebulização (spray dryer). O pó obtido foi avaliado e manteve suas propriedades. / Information on flavonoid absorption is still too controversial. Studies have been mostly carried out with O-heterosides, very unstable flavonoids. As for the study of flavonoid absorption forecast, vicenine-2 was used, which is a C-heteroside flavonoid with anti-inflammatory activity. The quantitative relationship retention-activity (QRAR) using biopartition micellar chromatography (BMC) was the technique used to achieve this purpose. The results of this method in vitro were compared with results obtained in tests in vivo of intestinal permeation with rats and the same 60% absorption rates were obtained. The linking rate to plasmatic proteins was evaluated by capillary electrophoresis (CE) and indicated a relation between structure-rate of linking to albumin (HSA). The presence or the availability of hydroxyl in C3 of the C ring of the flavonoid seems to be determinant for high linking rates to HSA and the replacements in the B ring did not show important relations in the linking rate to HSA. As for total plasmatic proteins, it was also possible to verify that flavonoid heteroside seem to undergo metabolism by enzymes present in the plasma. After obtaining the information that vicenin-2 is a flavonoid which has intestinal absorption, the development of an extract of Lychnophora ericoides enriched with vicenin-2 was possible, using factorial outlining. This statistical outlining showed to be efficient for obtaining a pharmaceutical product, using few experiments. In these studies, besides the chemical control of vicenin-2 presence, genotoxicity and anti-inflammatory (on nitric oxide (NO)) studies were carried out and it was verified that the standardized fluid extract does not have genotoxic activity and keeps the anti-inflammatory activity, that can be seen by the inhibition of NO formation. The standardized fluid extract with such properties was produced with ethanol 20 GL, 24 of simple maceration and ratio plant:solvent of 1:5. The drying process of this extract, with the purpose of improving stability and assuring adequate technological properties, was carried out by nebulization (spray dryer). The obtained result was evaluated and kept its properties.
|
8 |
Avaliação do perfil de absorção da vivenina-2 e desenvolvimento de extrato seco padronizado de \'Lychnophora ericoides\' com máxima extração deste flavonóide / Evaluation of the absorption profile of vicenina-2 and development of standardized dry extract of Lychnophora ericoides with high chemical content of this flavonoidAndréa Diniz 28 January 2008 (has links)
As informações sobre a absorção de flavonóides ainda são muito controversas e na sua grande maioria os estudos foram realizados com O-heterosídeos, flavonóides bastante instáveis. Para o estudo de previsão de absorção de flavonóide foi utilizado a vicenina-2, que é um flavonóide C-heterosídeo, com atividade antinflamatório. A relação entre retenção-atividade (QRAR) usando a cromatografia micelar de biopartição (BMC) foi a técnica empregada para atingir tal objetivo. Os resultados deste método in vitro foram comparados com resultados obtidos em ensaios in vivo de permeação intestinal em ratos obtendo-se as mesmas taxas de absorção de 60%. A taxa de união a proteínas plasmáticas foi avaliada por eletroforese capilar (EC) e indicou uma relação entre estrutura-taxa de união a albumina (HSA). A presença ou a disponibilidade da hidroxila em C3 do anel C do flavonóide parece ser determinante para altas taxas de união a HSA, e as substituições no anel B não demonstraram importantes relações na taxa de união a HSA. No estudo de afinidade dos polifenólicos a proteínas plasmáticas totais verificou-se uma alteração de comportamento de ligação em relação a HSA de alguns compostos. Esse comportamento foi atribuído a uma degradação sérico pelas enzimas presentes no plasma ou pela competição pelos sítios de ligação dos compostos fenólicos com substâncias endógenas. Após a obtenção da informação de que a vicenina-2 é um flavonóide que possui absorção intestinal, foi possível desenvolver o extrato de Lychnophora ericoides com máxima extração de vicenina-2, utilizando delineamento fatorial. Esse delineamento estatístico mostrou-se eficiente para a obtenção de produto farmacêutico, utilizando um mínimo de experimentos. Nesses estudos, além do controle químico da presença de vicenina-2, estudos de genotoxicidade e atividade antinflamatória pela inibição da atividade sobre o óxido nítrico foram realizados e verificou-se que o extrato fluido padronizado, não possui atividade genotóxica e mantém a atividade antinflamatória, vista pela inibição da formação do NO. O extrato fluido padronizado com tais propriedades foi obtido com etanol 20° GL, 24 de maceração simples e proporção droga:solvente de 1:5. A secagem desse extrato, com o objetivo de melhorar a estabilidade e garantir propriedades tecnológicas adequadas, foi realizada por nebulização (spray dryer). O pó obtido foi avaliado e manteve suas propriedades. / Information on flavonoid absorption is still too controversial. Studies have been mostly carried out with O-heterosides, very unstable flavonoids. As for the study of flavonoid absorption forecast, vicenine-2 was used, which is a C-heteroside flavonoid with anti-inflammatory activity. The quantitative relationship retention-activity (QRAR) using biopartition micellar chromatography (BMC) was the technique used to achieve this purpose. The results of this method in vitro were compared with results obtained in tests in vivo of intestinal permeation with rats and the same 60% absorption rates were obtained. The linking rate to plasmatic proteins was evaluated by capillary electrophoresis (CE) and indicated a relation between structure-rate of linking to albumin (HSA). The presence or the availability of hydroxyl in C3 of the C ring of the flavonoid seems to be determinant for high linking rates to HSA and the replacements in the B ring did not show important relations in the linking rate to HSA. As for total plasmatic proteins, it was also possible to verify that flavonoid heteroside seem to undergo metabolism by enzymes present in the plasma. After obtaining the information that vicenin-2 is a flavonoid which has intestinal absorption, the development of an extract of Lychnophora ericoides enriched with vicenin-2 was possible, using factorial outlining. This statistical outlining showed to be efficient for obtaining a pharmaceutical product, using few experiments. In these studies, besides the chemical control of vicenin-2 presence, genotoxicity and anti-inflammatory (on nitric oxide (NO)) studies were carried out and it was verified that the standardized fluid extract does not have genotoxic activity and keeps the anti-inflammatory activity, that can be seen by the inhibition of NO formation. The standardized fluid extract with such properties was produced with ethanol 20 GL, 24 of simple maceration and ratio plant:solvent of 1:5. The drying process of this extract, with the purpose of improving stability and assuring adequate technological properties, was carried out by nebulization (spray dryer). The obtained result was evaluated and kept its properties.
|
9 |
Cartografia de um corpo em cena: extração e codificação de matrizes corporais através do método Body Mind Centering / Mapping of a body on stage: extraction and encoding matrix body through the method body mind centeringZamarioli, Debora 10 December 2009 (has links)
Este projeto está intimamente ligado à criação artística do ator, suas abordagens, reflexões e métodos. Ele está no âmbito da pesquisa do corpo cênico, de seus movimentos e de sua continua (re)significação perante quem o assiste e, por sua vez, da sua própria (re)organização. Para isso, cartografei meu próprio processo de aprendizagem e criação através dos diálogos entre o método de educação do movimento, Body Mind Centering®, inicialmente desenvolvido pela americana Bonnie Bainbridge Cohen, das formas de extração e codificação de matrizes corporais mapeadas por Renato Ferracini, e dos princípios da performance estudados por Renato Cohen. Assim, o desafio desta pesquisa foi a utilização do material perceptivo, proveniente da prática corporal, para a elaboração cênica. Ou seja, transcrever as sensações em matrizes codificadas, visando uma apresentação final em que este procedimento fosse (in)visível. / The present project is closely linked to the artistic creation of the actor, his approaches, thoughts and methods. The project is located in the realm of the research of the scenic body , its movements and its continuous (re)meaning in the face of the spectator and, on its turn, facing its own (re)organization. To achieve my goal I mapped our own learning and creation process through the dialog between the method of educating the movement, called Body Mind Centering ®, firstly developed by Bonnie Bainbridge, through the method of extracting and encoding the body matrixes mapped by Renato Ferracini, and through the performances studied by Renato Cohen. Therefore, the challenge of the present research was the use of perceptive material, deriving from the body practice used to build the scene. That means, translate the sensations into coded matrixes, aiming a final presentation where the said procedure would be (in)visible.
|
10 |
Cartografia de um corpo em cena: extração e codificação de matrizes corporais através do método Body Mind Centering / Mapping of a body on stage: extraction and encoding matrix body through the method body mind centeringDebora Zamarioli 10 December 2009 (has links)
Este projeto está intimamente ligado à criação artística do ator, suas abordagens, reflexões e métodos. Ele está no âmbito da pesquisa do corpo cênico, de seus movimentos e de sua continua (re)significação perante quem o assiste e, por sua vez, da sua própria (re)organização. Para isso, cartografei meu próprio processo de aprendizagem e criação através dos diálogos entre o método de educação do movimento, Body Mind Centering®, inicialmente desenvolvido pela americana Bonnie Bainbridge Cohen, das formas de extração e codificação de matrizes corporais mapeadas por Renato Ferracini, e dos princípios da performance estudados por Renato Cohen. Assim, o desafio desta pesquisa foi a utilização do material perceptivo, proveniente da prática corporal, para a elaboração cênica. Ou seja, transcrever as sensações em matrizes codificadas, visando uma apresentação final em que este procedimento fosse (in)visível. / The present project is closely linked to the artistic creation of the actor, his approaches, thoughts and methods. The project is located in the realm of the research of the scenic body , its movements and its continuous (re)meaning in the face of the spectator and, on its turn, facing its own (re)organization. To achieve my goal I mapped our own learning and creation process through the dialog between the method of educating the movement, called Body Mind Centering ®, firstly developed by Bonnie Bainbridge, through the method of extracting and encoding the body matrixes mapped by Renato Ferracini, and through the performances studied by Renato Cohen. Therefore, the challenge of the present research was the use of perceptive material, deriving from the body practice used to build the scene. That means, translate the sensations into coded matrixes, aiming a final presentation where the said procedure would be (in)visible.
|
Page generated in 0.1561 seconds