997 resultados para Blake, Augusto Victorino Alves Sacramento, 1827-1903
Resumo:
Mode of access: Internet.
Resumo:
Purpose: The aim of this study was to evaluate the characteristics of various titanium surfaces modified by cold plasma nitriding in terms of adhesion and proliferation of rat osteoblastlike cells. Materials and Methods: Samples of grade 2 titanium were subjected to three different surface modification processes: polishing, nit riding by plasma direct current, and nitriding by cathodic cage discharge. To evaluate the effect of the surface treatment on the cellular response, the adhesion and proliferation of osteoblastlike cells (MC3T3) were quantified and the results were analyzed by Kruskal-Wallis and Friedman statistical tests. Cellular morphology was observed by scanning electron microscopy. Results: There was more MC3T3 cell attachment on the rougher surfaces produced by cathodic cage discharge compared with polished samples (P < .05). Conclusions: Plasma nitriding improves titanium surface roughness and wettability, leading to osteoblastlike cell adhesion. INT J ORAL MAXILLOFAC IMPLANTS 2011;26:237-244
Resumo:
Bilioma é qualquer coleção de bile fora das vias biliares. Geralmente, resulta de complicações cirúrgicas e trauma abdominal. A ocorrência espontânea é rara, ocasionalmente associada a coledocolitíase. Relata-se um caso de bilioma espontâneo, cujo diagnóstico foi confirmado radiologicamente. À laparotomia, observou-se bilioma retroperitoneal. A colangiografia transoperatória não evidenciou fístula. Após drenagem, o paciente teve boa evolução e alta hospitalar.
Resumo:
OBJETIVO: Avaliar a importância diagnóstica da punção aspirativa por agulha fina (PAAF) em crianças e adolescentes portadores de linfadenopatias e tumores sólidos. MÉTODOS: Análise retrospectiva dos pacientes com idade igual ou inferior a 18 anos, atendidos no Centro de Pediatria Cirúrgica do Hospital Universitário de Brasília, Universidade de Brasília, no período de julho de 2000 a julho de 2005. Foram calculados: sensibilidade, especificidade, precisão (acurácia) diagnóstica, valor preditivo positivo e valor preditivo negativo. RESULTADOS: Em 50 pacientes estudados, os resultados da PAAF mostraram sensibilidade de 90,9%; especificidade de 100%, precisão diagnóstica de 95% e valores preditivos positivo e negativo de 100% e 90%, respectivamente. CONCLUSÃO: Em nossa experiência, a PAAF é um método preciso, simples e seguro, útil no diagnóstico de linfadenopatias e tumores sólidos em crianças e adolescentes.
Resumo:
O presente trabalho avaliou o perfil sensorial e a aceitabilidade de méis de abelhas sem ferrão submetidos a dois processos de conservação, objetivando obter maior vida de prateleira. Foram utilizadas amostras de méis de Melipona scutellaris e M. quadrifasciata, coletadas no Estado da Bahia entre dezembro de 2005 e janeiro de 2006. As amostras foram submetidas aos processos de pasteurização e desumidificação, passando em seguida por avaliação sensorial. O perfil sensorial foi determinado no Laboratório de Entomologia do Centro de Ciências Agrárias, Ambientais e Biológicas da Universidade Federal do Recôncavo da Bahia, em Cruz das Almas, Estado da Bahia. Os atributos analisados foram: fluidez, cor, aroma, cristalização, sabor e aceitabilidade. Os resultados mostraram que os processos de conservação utilizados não interferem no perfil sensorial e na aceitabilidade do produto.
Resumo:
A utilização de sementes para formação de gramados esportivos e ornamentais tem assumido grande importância no Brasil, principalmente pelo baixo custo em relação à formação por placas de tapetes naturais. As "bermudas" [Cynodon dactylon (L.) Pers] são as principais gramas utilizadas na formação de campos esportivos e, dentre os problemas enfrentados, destaca-se a dificuldade de estabelecimento adequado da cultura, fato que exige a utilização de sementes de alto potencial fisiológico, de modo a permitir rápida emergência e desenvolvimento das plantas. Assim, estudaram-se procedimentos para a condução do teste de envelhecimento acelerado para determinar o potencial fisiológico de sementes dessa espécie, incluindo a avaliação da eficiência do uso de solução saturada de NaCl como alternativa para a realização do teste. Para tanto, cinco lotes de sementes foram submetidos aos testes de germinação, emergência de plântulas e envelhecimento acelerado (períodos de 48, 72 e 96 h, a 41 e 45 ºC, com e sem o uso de solução saturada de NaCl). O experimento foi conduzido em delineamento inteiramente casualizado. O envelhecimento acelerado com o uso de solução saturada de NaCl, dentre os procedimentos estudados, é o método mais adequado para avaliação do potencial fisiológico de sementes de grama-bermuda, sendo que a combinação 45 ºC/48 h é eficiente para a classificação dos lotes em diferentes níveis de vigor.
Resumo:
Este relatório surge no âmbito do estágio profissionalizante do Mestrado em Treino Desportivo da Universidade Lusófona de Humanidades e Tecnologias, realizado na equipa de Juvenis A do Clube de Futebol “os Belenenses”, que disputou o Campeonato Nacional – Série C, na época de 2011/12. O relatório focar-se-á na descrição, fundamentação e reflexão das decisões e acções subjacentes ao treino desportivo da equipa, contextualizando o jogo de futebol no grupo etário sub-17, bem como a relação com as exigências que se irão colocar no escalão etário subsequente e no percurso até sénior. O relatório encontra-se dividido em três tipos de planificação: (1) Planificação Conceptual, que inclui uma reflexão do jogo de futebol no quadro do grupo etário em que o estágio foi realizado bem como e a relação com as exigências que se irão colocar no futuro imediato e a longo prazo; a análise do clube relativamente à sua história, constrangimentos, organização e objectivos gerais; uma detalhada referência aos jogadores e à equipa que suportou a sua preparação para a competição; a definição do modelo de jogo a adoptar e o planeamento anual. (2) Planificação Estratégica, que inclui os pressupostos para a preparação da equipa, e da aquisição e aperfeiçoamento no tempo do modelo de jogo a adoptar, isto é, no desenvolvimento de um planeamento de treino; (3) Planificação Táctica, que refere a aplicação de um modelo de análise do treino, bem como a utilização deste instrumento para o melhoramento das capacidades individuais e colectivas da equipa, aferindo a congruência com o modelo de jogo idealizado pelo Treinador.
Resumo:
Este trabalho tem como objetivo estudar a influência do tratamento superficial, através da técnica de nitretação a plasma, no processo de fresamento com fresas de aço rápido AISI M2. Foram investigados os efeitos deste tratamento superficial no processo de corte, variando-se a forma de refrigeração/lubrificação das fresas com fluído de corte convencional (emulsão) em abundância, com minimização e sem fluído (lubrificação a seco). Na nitretação, a composição da mistura de gases utilizada nos experimentos foi de 5% N2 e 95% H2 em volume, a uma pressão de tratamento de 5 mbar (3,8 Torr). A temperatura utilizada foi de 440oC, durante um tempo de tratamento de 30 minutos, resultando em uma camada nitretada com uma zona de difusão com aproximadamente 8µm de profundidade. As ferramentas empregadas no processo de fresamento foram investigadas através de medição de forças de usinagem, medições de desgaste na superfície de incidência (flanco) e na superfície de saída (face), sendo as camadas nitretadas caracterizadas por metalografia óptica e microdureza. Foi observado um desempenho superior das fresas nitretadas apenas para as condições de corte a seco.
Resumo:
A utilização de sementes para formação de gramados esportivos e ornamentais tem assumido grande importância no Brasil, principalmente pelo baixo custo em relação à formação por placas de tapetes naturais. As bermudas [Cynodon dactylon (L.) Pers] são as principais gramas utilizadas na formação de campos esportivos e, dentre os problemas enfrentados, destaca-se a dificuldade de estabelecimento adequado da cultura, fato que exige a utilização de sementes de alto potencial fisiológico, de modo a permitir rápida emergência e desenvolvimento das plantas. Assim, estudaram-se procedimentos para a condução do teste de envelhecimento acelerado para determinar o potencial fisiológico de sementes dessa espécie, incluindo a avaliação da eficiência do uso de solução saturada de NaCl como alternativa para a realização do teste. Para tanto, cinco lotes de sementes foram submetidos aos testes de germinação, emergência de plântulas e envelhecimento acelerado (períodos de 48, 72 e 96 h, a 41 e 45 ºC, com e sem o uso de solução saturada de NaCl). O experimento foi conduzido em delineamento inteiramente casualizado. O envelhecimento acelerado com o uso de solução saturada de NaCl, dentre os procedimentos estudados, é o método mais adequado para avaliação do potencial fisiológico de sementes de grama-bermuda, sendo que a combinação 45 ºC/48 h é eficiente para a classificação dos lotes em diferentes níveis de vigor.
Resumo:
Smart card applications represent a growing market. Usually this kind of application manipulate and store critical information that requires some level of security, such as financial or confidential information. The quality and trustworthiness of smart card software can be improved through a rigorous development process that embraces formal techniques of software engineering. In this work we propose the BSmart method, a specialization of the B formal method dedicated to the development of smart card Java Card applications. The method describes how a Java Card application can be generated from a B refinement process of its formal abstract specification. The development is supported by a set of tools, which automates the generation of some required refinements and the translation to Java Card client (host) and server (applet) applications. With respect to verification, the method development process was formalized and verified in the B method, using the Atelier B tool [Cle12a]. We emphasize that the Java Card application is translated from the last stage of refinement, named implementation. This translation process was specified in ASF+SDF [BKV08], describing the grammar of both languages (SDF) and the code transformations through rewrite rules (ASF). This specification was an important support during the translator development and contributes to the tool documentation. We also emphasize the KitSmart library [Dut06, San12], an essential component of BSmart, containing models of all 93 classes/interfaces of Java Card API 2:2:2, of Java/Java Card data types and machines that can be useful for the specifier, but are not part of the standard Java Card library. In other to validate the method, its tool support and the KitSmart, we developed an electronic passport application following the BSmart method. We believe that the results reached in this work contribute to Java Card development, allowing the generation of complete (client and server components), and less subject to errors, Java Card applications.
Resumo:
The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy