913 resultados para B formal method
Resumo:
This work reports the synthesis of the MgNb(2)O(6) and the ferroelectric lead magnesium niobate Pb(Mg(1/3)Nb(2/3))O(3) (PMN) using fine precursor powders obtained from a chemical Oxide Precursor Method (OPM). To obtain pyrochlore-free PMN ceramics, the synthesis of the precursor MgNb(2)O(6) powders was studied for 2-25 mol% excess of MgO and 10 mol% excess of PbO. Structural and microstructural properties of the sintered ceramics obtained by the cited method and by the classical columbite method were studied and compared. Results lead to good quality, pyrochlore-free PMN ceramic prepared by OPM, presenting greater grain size if compared with ceramic prepared by columbite method.
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
This work reports dielectric measurements performed on Pb(Zr0.53Ti0.47)O3 (PZT) thin films prepared by a polymeric precursor method. The -E curves obtained for the PZT film measured at 100 kHz, under a small ac 0.2 kV/cm signal-test and a dc scan featured a typical butterfly curve. However, the -E curves obtained for PZT film under a dc scan, with a scan rate of 0.003 V/s, shows a pronounced asymmetry. The absence of a symmetric secondary peak in -E curves could be an indication of essentially 180 domain switching.
Resumo:
Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B
Resumo:
The diversity of the V3 loop tip motif sequences of HIV-1 subtype B was analyzed in patients from Botucatu (Brazil) and Montpellier (France). Overall, 37 tetrameric tip motifs were identified, 28 and 17 of them being recognized in Brazilian and French patients, respectively. The GPGR (P) motif was predominant in French but not in Brazilian patients (53.5% vs 31.0%), whereas the GWGR (W) motif was frequent in Brazilian patients (23.0%) and absent in French patients. Three tip motif groups were considered: P, W, and non-P non-W groups. The distribution of HIV-1 isolates into the three groups was significantly different between isolates from Botucatu and from Montpellier (P < 0.001). A higher proportion of CXCR4-using HIV-1 (X4 variants) was observed in the non-P non-W group as compared with the P group (37.5% vs 19.1%), and no X4 variant was identified in the W group (P < 0.001). The higher proportion of X4 variants in the non-P non-W group was essentially observed among the patients from Montpellier, who have been infected with HIV-1 for a longer period of time than those from Botucatu. Among patients from Montpellier, CD4+ cell counts were lower in patients belonging to the non-P non-W group than in those belonging to the P group (24 cells/µL vs 197 cells/µL; P = 0.005). Taken together, the results suggest that variability of the V3 loop tip motif may be related to HIV-1 coreceptor usage and to disease progression. However, as analyzed by a bioinformatic method, the substitution of the V3 loop tip motif of the subtype B consensus sequence with the different tip motifs identified in the present study was not sufficient to induce a change in HIV-1 coreceptor usage.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
The artificial iris is the structure responsible for the dissimulation and aesthetics of ocular prosthesis. The objective of the present study was to evaluate the color stability of artificial iris of microwaveable polymerized ocular prosthesis, as a function of paint type, drying method and accelerated aging. A total of 40 discs of microwaveable polymerized acrylic resin were fabricated, and divided according to the blue paint type ( n = 5): hydrosoluble acrylic, nitrocellulose automotive, hydrosoluble gouache and oil paints. Paints where dried either at natural or at infrared light bulb method. Each specimen was constituted of one disc in colorless acrylic resin and another colored with a basic sclera pigment. Painting was performed in one surface of one of the discs. The specimens were submitted to an artificial aging chamber under ultraviolet light, during 1008 h. A reflective spectrophotometer was used to evaluate color changes. Data were evaluated by 3-way repeated-measures ANOVA and the Tukey HSD test (alpha = 0.05). All paints suffered color alteration. The oil paint presented the highest color resistance to artificial aging regardless of drying method. (C) 2010 British Contact Lens Association. Published by Elsevier Ltd. All rights reserved.
Resumo:
Objectives: This study compared three methods of Streptococcus mutans and Lactobacillus spp. detection in the oral cavity: saliva swab (SS)-sample of stimulated saliva collected with swab; whole saliva (WS)-sample of 2 ml of stimulated saliva; and the dental plaque method (DP)-plaque sample of all dental surfaces.Methods: Thirty children were included in this study. In the first 15 children, the SS and WS methods were carried out before the dental plaque collection, and in the following 15, the sequence was inverted to evaluate possible interference of the methods sequence. The samples were diluted and inoculated in SB20 and Rogosa agar, respectively for S. mutans and Lactobacillus spp., at 37 degrees C for 48 h.Results: the results (cfu/mL) of S. mutans were analysed by the statistical Friedman's test. The levels of Lactobacillus spp. were analysed by descriptive statistics due to the high proportion of zero counts in the culture. In the first sequence of methods, the number of S. mutans counted for the SS method was inferior to DP and WS (P < 0.05), and the results for the WS and DP methods were similar. The detection of Lactobacillus spp. was observed just by the WS (100 %) and SS (14.3 %) methods. However, in the second experimental set the number of S. mutans detected by the DP method was similar to those of the SS and WS, however, the WS method showed higher values than SS (P < 0.05). A greater number of Lactobacillus spp. was detected by the WS method (100 %), followed by SS (55.5 %) and DP (33.3 %).Conclusions: the dental plaque collection and the sample of stimulated whole saliva presented similar results in the S. mutans count. The most suitable method to detect the Lactobacillus spp. level in the oral cavity is the stimulated whole saliva method. (c) 2004 Elsevier Ltd. All rights reserved.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
We present a numerical solution for the steady 2D Navier-Stokes equations using a fourth order compact-type method. The geometry of the problem is a constricted symmetric channel, where the boundary can be varied, via a parameter, from a smooth constriction to one possessing a very sharp but smooth corner allowing us to analyse the behaviour of the errors when the solution is smooth or near singular. The set of non-linear equations is solved by the Newton method. Results have been obtained for Reynolds number up to 500. Estimates of the errors incurred have shown that the results are accurate and better than those of the corresponding second order method. (C) 2002 Elsevier B.V. All rights reserved.