Made available in DSpace on 2015-10-06T13:03:27Z (GMT). No. of bitstreams: 0 Previous issue date: 2015-02-20. Added 1 bitstream(s) on 2015-10-06T13:18:30Z : No. of bitstreams: 1 000847308.pdf: 2279472 bytes, checksum: 02494ad6d7f724d4f500086bb01067de (MD5) / Na ovinocultura, a incidência da urolitíase é elevada, principalmente em machos criados sob manejo intensivo. A acidificação urinária com cloreto de amônio é um método eficiente para prevenção dessa doença. Os objetivos deste estudo com ovinos confinados recebendo dieta concentrada com elevado teor proteico, suplementados ou não com cloreto de amônio, foram: verificar o efeito da dieta fornecida no confinamento, rica em concentrado, sobre a formação de urólitos e desenvolvimento de urolitíase obstrutiva; analisar as características macroscópicas e histopatológicas do sistema urinário; relacionar os achados clínicos, os exames laboratoriais de função renal (ureia e creatinina) e necroscópicos com a presença de urólitos. Utilizaram-se 60 ovinos machos, mestiços Ile de France X White Dorper, com três a quatro meses de idade, distribuídos aleatoriamente em dois grupos: Grupo I (n=40), que recebeu 400mg/kg de cloreto de amônio/animal/dia, por via oral, por 42 dias consecutivos; Grupo II (n=20), não tratado com cloreto de amônio. A alimentação constituiu-se de 85% de concentrado, 15% de feno, sal mineral e água à vontade. Momentos (M) de avaliação clínica e colheita de sangue para dosagem sérica de ureia e creatinina foram determinados como: M0, imediatamente antes do início do experimento e em intervalos de sete dias nos momentos M1; M2; M3; M4; M5 e M6, totalizando 56 dias de confinamento. Após o período de confinamento, os animais foram sacrificados, realizou-se necropsia e o sistema urinário foi colhido para exame macro e microscópico. Os animais foram observados diariamente para verificar a incidência de urolitíase nos dois grupos, durante todo o período experimental, porém nenhum animal apresentou sintomatologia de urolitíase obstrutiva. Os valores da concentração sérica de creatinina estiveram abaixo e os valores de ureia ficaram acima do padrão de normalidade para a espécie. Encontram-se... / The incidence of urolithiasis is high in sheep raising, especially in males raised under intensive management. The urinary acidification with ammonium chloride is an effective method to prevent this disease. The objectives of this study with feedlot lambs getting concentrated diet with high protein content, supplemented or not with ammonium chloride, were to verify the effect of diet fed in confinement, rich in concentrated on the formation of uroliths and development of urolithiasis; analyzing the macroscopic and histopathological characteristics of the urinary system; relate the clinical findings, laboratory tests of renal function (urea and creatinine) and necropsy in the presence of uroliths. It was used 60 male sheep, crossbred Ile de France X White Dorper, three to four months old, randomly divided into two groups: Group I (n=40) received 400 mg/kg of ammonium chroride/animal/day orally, for 42 consecutive days; Group II (n=20) was not treated with ammonium chloride. The diet consisted of 85% concentrate, 15% hay, mineral salt and water ad libitum. Moments (M) for clinical evaluation and collection of blood for measurement of serum urea and creatinine were determined as M0, immediately prior to the beginning of the experiment and at intervals of seven days in moments M1, M2, M3, M4, M5 and M6, totaling 56 days of confinement. After the confinement period, the animals were sacrificed, necropsy was performed and their urinary systems were collected for macroscopic and microscopic examination. The animals were observed daily throughout the experimental period, but no animal showed symptoms of obstructive urolithiasis. The values of serum creatinine concentration were below the standard of normality and the values of urea remained above it. Microcalculus were found in the renal pelvis of five animals in both groups. In addition, other changes were found, such as congestion of the renal medullary region and hydronephrosis. The ...

Made available in DSpace on 2015-12-10T14:22:39Z (GMT). No. of bitstreams: 0 Previous issue date: 2015-07-17. Added 1 bitstream(s) on 2015-12-10T14:28:50Z : No. of bitstreams: 1 000855341.pdf: 1074140 bytes, checksum: 98940109d9d06c8c7f2bf99d2642cb2b (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Gatos são animais carnívoros, com elevada necessidade de aminoácidos. O aproveitamento de carboidratos por esses animais já foi estudado, contudo existem informações, relacionadas ao metabolismo deste nutriente, que ainda não são bem esclarecidas para a espécie. O objetivo deste estudo foi avaliar o efeito do consumo de dietas com diferentes relações entre amido e proteína sobre a formação e excreção do oxalato e o índice de supersaturação relativa da urina para oxalato de cálcio (SSR OxCa). Foram avaliados alimentos extrusados com diferentes proporções de amido (CHO) e Proteína (PB): Dieta A 47 com 47% de CHO e 25% de PB; dieta A 32 com 31,9% de CHO e 38% de PB; dieta A 19 com 19,2% de CHO e 52% de PB e dieta A 8 com 8,3 % de CHO e 62% de PB (na matéria seca). O estudo foi organizado em 4 blocos de 18 dias, cada um com quatro rações e oito gatos, totalizando 32 gatos e oito repetições por ração. Os gatos permaneceram em gaiolas metabólicas durante 10 dias de adaptação à dieta, seguidos de sete dias de coleta total de urina e fezes. Durante os dois primeiros dias de coleta a urina foi recolhida em garrafas com 1mL de H2SO4 (1N) e nos cinco dias seguintes em garrafas com 100mg de timol. Na urina produzida em cada período de 24 horas foi aferido o volume, densidade e pH. A urina de 5 dias de cada gato (colhida com timol) foi homogeneizada, sendo determinados os teores de cálcio, fósforo, cloro, enxofre, magnésio, sódio, potássio, citrato, oxalato, ácido úrico, creatinina e ureia. Na urina acidificada foram determinados o nitrogênio e energia bruta. Amostras de sangue para obtenção do plasma foram colhidas no 18º dia de cada período, sendo analisadas para oxalato e creatinina. Os alimentos e as fezes foram avaliados para matéria seca, matéria mineral, amido, fibra bruta e energia bruta. Com base nesses resultados foi calculada a SSR OxCa e a excreção fracionada de oxalato. Os resultados obtidos... / Cats are carnivores and have high amino acids requirements. The use of carbohydrates by these animals has been evaluated; however, there are some information that is not well understood. The objective of this study was to evaluate the effect of consumption of diets with different relations between starch and protein on the formation and excretion of oxalate, and the relative supersaturation index of calcium oxalate in urine (SSR OxCa). Four diets were extruded with different starch (CHO) and protein (CP) ratios: diet 47 with 47% of CHO and 25% of CP; diet 32 with 31.9% of CHO and 38% of CP; diet 19 with 19.2% of CHO and 52% of CP; and diet 8 with 8.3% of CHO and 62% of CP (dry matter basis). The experiment was organized in 4 blocks of 18 days; there were 4 diets and 8 cats in each block, resulting in eight animals per diet. Animals were kept in metabolic cages during 10 days for diet adaptation followed by 7 days of total urine and feces collection. Urine was collected in bottles with 1 ml of H2SO4 (1N) in the first two days of the collection period and the last five days in bottles with 100 mg of thymol. Volume, density and pH of urine were measured each 24 hours during the whole experiment. Urine harvested with thymol were homogenized and analyzed for calcium, phosphorus, chlorine, sulfur, magnesium, sodium, potassium, citrate, oxalate, uric acid and creatinine. In the acidic urine were determined nitrogen and gross energy. Blood samples were taken at 18th day of the experiment and evaluated for oxalate and creatinine. Food and feces were evaluated for dry matter, ash, starch, crude fiber and gross energy. Based on the results SSR OxCa and fractional excretion of oxalate were calculated. Data were submitted to analysis of variance and when significant differences were detected in the F test, multiple comparisons were performed using polynomial contrasts (P <0.05). Starch inclusion up to 47% did not restrict the diet consumption by ... / FAPESP: 2013/15766-9

Made available in DSpace on 2015-06-17T19:34:06Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-01-20. Added 1 bitstream(s) on 2015-06-18T12:47:24Z : No. of bitstreams: 1 000830960.pdf: 880039 bytes, checksum: b69fb05cbe6aca536831308c641111b4 (MD5) / INTRODUÇÃO: A Litíase do Trato Urinário (LTU) é uma afecção altamente prevalente na prática clínica diária, sendo conhecida há vários séculos. Sabe-se que, na maioria dos pacientes, os cálculos recorrentes apresentam composição similar aos previamente formados, sugerindo que este processo seja multifatorial e influenciado também pelas características da urina. Neste sentido, a variação do pH urinário exerceria papel fundamental na composição do cálculo renal. Classicamente, a urina 24h tem se constituído como uma das mais importantes ferramentas auxiliares na investigação e no tratamento dos fatores envolvidos na etiologia da LTU. Entretanto, a coleta desse tipo de exame apresenta grandes dificuldades práticas. Pesquisas recentes sugerem que a determinação do pH urinário obtido em amostra isolada de urina poderia ser tão representativa quanto a dosagem realizada na urina de 24 horas. Diante do exposto, novos estudos são necessários para auxiliar na determinação da metodologia ideal de avaliação e monitoramento do pH urinário em pacientes portadores de litíase renal. PACIENTES E MÉTODO: Foram avaliados prospectivamente 114 pacientes, portadores de litíase renal, acompanhados no ambulatório de metabolismo em nefrolitíase do Hospital de Clinicas da Faculdade de Medicina de Botucatu. Após análise das principais características clínicas, todos os pacientes realizaram coleta de urina de 24 horas (U24h) e, uma segunda amostra foi obtida em jejum (Ujj), no dia da entrega do exame. Duas metodologias distintas (tira reagente e a leitura com pHmetro digital) foram empregadas para a determinação dos valores de pH urinário. RESULTADOS: Dos 114 indivíduos avaliados, 44 (39%) eram homens e 70 (61%) mulheres, com média de idade de 51,11 ± 12,93 anos. O índice de massa corporal médio (IMC) foi de 28,71 ± 4,56 Kg/m2. Na U24h, a análise do pH por tira reagente apresentou pH médio de 6,07 ± 0,74; valor ... / INTRODUCTION: Urinary lithiasis (UL) is a highly prevalent condition in clinical practice, and has been known for centuries. In most patients, recurrent calculi composition is similar to the original ones, suggesting that it may be a multifactorial process, also influenced by urine characteristics. Thus, urinary pH variation may have an important role in calculus composition. Classically, 24-h urine collection (U24-h) is considered one of the most useful tools in investigation and treatment of urinary lithiasis etiology. However, this test is cumbersome to perform. Recent research suggests that a fasting urine pH may be as representative as U24-h. Therefore, further studies are necessary to determine the ideal methodology for evaluating and monitoring the urinary pH in patients with nephrolithiasis. SUBJECTS AND METHODS: A total of 114 patients with nephrolithiasis that are in use of citrate potassium were prospectively evaluated. All patients collected 24-h urine (U24h); and an aditional fasting sample was obtained (Uf) when delivering the first one at the lab. Two different methods (pH test paper and digital pHmeter) were used for the urinary pH determination. RESULTS: Among the 114 individuals evaluated, 44 (39%) were male and 70 (61%) female; mean age was 51.11 ± 12.93 years old and average body mass index (BMI) was 28.71 ± 4.56 kg / m2. Mean U24-h pH for test paper was 6.07 ± 0.74 and 6.02 ± 0.82 for Uf. Likewise, considering the digital pHmeter methodology, mean pH was 5.8 ± 0.78 and 5.75 ± 0.83, for U24-h and Uf, respectively. There was a good statistical correlation between urinary pH values obtained from pH test paper and pHmeter, for both types of urine sample (U24-h and Uf). CONCLUSION: The pH measurement in fasting urine sample was as effective as the standard method (U24-h) in the evaluation of patients with nephrolithiasis using potassium citrate

Submitted by Fatima Fonseca (fatima.fonseca@sibi.ufrj.br) on 2017-06-27T12:19:14Z No. of bitstreams: 1 130158.pdf: 3222523 bytes, checksum: bfd13947750daa6899bbeb64a1b9d4e6 (MD5) / Made available in DSpace on 2017-06-27T12:19:14Z (GMT). No. of bitstreams: 1 130158.pdf: 3222523 bytes, checksum: bfd13947750daa6899bbeb64a1b9d4e6 (MD5) Previous issue date: 1972-09 / A finalidade deste trabalho é analisar grelhas com elementos de eixo curvo e secção variável usando métodos matriciais, através do computador. O programa segue basicamente a orientação de Gere e Weaver e desenvolve-se também outro programa para calcular linhas de influência em vigas curvas com elementos circulares, com apoios elásticos. Desenvolvem-se os conceitos teóricos e a adaptação do programa ao caso de elementos curvos de inércia variável, nos primeiros capítulos, e em seguida, apresenta-se a listagem dos programas em linguagem FORTRAN e resolvem-se alguns problemas práticos com a aplicação de ambos. / In the present thesis plane grids with curved members of uniform and non-uniform cross-sections are analysed using matrix techniques. An available program proposed by Gere and Weaver has been extended to analyse them. The author develops a second program for the determination of influence lines in curved beams composed of circular segments, with elastic suports. In the first part of the thesis the theory of curved members with variable cross-section is reviewed. In the second part FORTRAN listings of the two programs are presented and some applications to practical problems.

Orientador: Raimundo Souza Lopes / Banca: Carlos Alberto Hussni / Banca: Fernando José Benesi / Resumo: Diversos fatores podem contribuir para a formação de cálculos urinários, dentre estes, o desequilíbrio nutricional e a dureza da água consumida pelos ruminantes. O objetivo deste estudo foi identificar as características de propriedades que predispõem à urolitíase, através da avaliação da água, da dieta e determinações séricas e urinárias de cálcio, fósforo, magnésio, cloretos, sódio, potássio, cálculo da excreção fracionada (EF) dos eletrólitos, e da uréia, creatinina, proteína total, albumina e globulinas séricas. Foram colhidas amostras de sangue e urina de bovinos, Guzerá, criados semi intensivamente, distribuídos por dois grupos. O primeiro denominado grupo urolitíase (Gu), composto de animais com histórico, sinais clínicos e confirmação ultrassonográfica que apresentavam urolitíase; o segundo: grupo controle (Gc), sem histórico, nem sintomas da doença. Os bovinos do grupo urolitíase consumiam água com dureza total na concentração de 166,0 mg CaCO3/L. A dieta dos animais do Gu apresentava maior concentração de fósforo e relação Ca:P inadequada. Os teores de fósforo sérico e urinário dos animais do Gu foram maiores do que os do Gc, assim como a concentração sérica de magnésio (p<0,05). Não houve aumento nas concentrações de uréia e creatinina no grupo urolitíase, mas ocorreu hipoproteinemia por hipoglobulinemia (p<0,05). As EFs de cálcio, fósforo e sódio não diferiram entre os grupos (p>0,05), mas houve diminuição significativa nas EFs de magnésio, cloretos e de potássio do grupo urolitíase (p<0,05). A união destes fatores contribuiu para a ocorrência da urolitíase, sendo dureza total da água e a alta concentração de fósforo na dieta os principais fatores na gênese dos cálculos em bovinos. / Abstract: Many factors can contribute for the formation of urinary calculi, amongst these, the nutritional imbalances and the hardness of the water consumed for ruminants. The objective of this study was to identify the characteristics of properties that predispose to urolithiasis, through the evaluation of the water, of the diet, and serum and urinary determinations of calcium, phosphorus, magnesium, chlorides, sodium, potassium, calculation of the fractional electrolyte excretion (FE), and urea, creatinine, total protein serum levels, albumin and globulins. Samples of blood and urine of bovines, Guzerá, reared semi intensively, distributed for two groups, the first one, called urolithiasis group (Gu), composed by animals with history, clinical signals and ultrasonography confirmation of urolithiasis; the second one: controlled group (Gc), without history, nor symptoms of the illness. The bovines of the urolithiasis group consumed water with total hardness in the concentration of 166,0 mg CaCO3/L. The diet of the animals of the Gu presented greater phosphorus concentration and inadequate Ca:P relation. The levels of serum and urinary phosphorus of the animals of the Gu were higher of the Gc, as well as the serum magnesium concentration (p<0,05). The urea and creatinine concentrations didn't have an increase in the urolithiasis group, but occurred hypoproteinemia for hypoglobulinemia in the Gu (p<0,05). The FEs of calcium, phosphorus and sodium had not differed between the groups (p>0,05), but had significant reduction in the FEs of magnesium, chlorides and potassium of the urolithiasis group (p<0,05). The union of these factors contributed for urolithiasis occurrence, being the total hardness of the water and the high phosphorus diet concentration the major factors in genesis of the calculations in bovines. / Mestre

Orientador: Araildo Lima da Silva / Banca: José Marques Luiz / Banca: Jivaldo do Rosário Matos / Resumo: O presente trabalho propõe criar uma sistema de identificação de elementos constituintes de cálculos urinários e que seja viável sua utilização durante os procedimentos cirúrgicos. Até o presente temos equipamento importados de elevado custo para a visualização endoscópica. Com nosso modelo pretendemos disponibilizar para urologistas um equipamento com configuração mínima, de baixo custo com a possibilidade de dar durante os procedimento cirúrgicos a identificação por imagem dos elementos formadores dos cálculos urinários. Para desenvolvimento do estudocoletamos amostras de cálculos urinários obtidas de pacientes que os haviam eliminado e as fotografamos utilizando-nos de um ureteroscópio, uma câmera digital de vþdeo cirurgia de um PC Pentium 133 equipado com uma placa de vídeocaptura. As fotografia foram processadas pelo programa de domínio público Image J, sendo criados histograms e, posteriorment, comparados estes histograms entre si e com os histogramas obtidos a partir de amostras preparadas em laboratório, exportando o banco de dados gerado pelo Image J para o programa Excel da Microsoft. Concomitantemente solicitamos análise cristalográfica destes cálculos para estudo de suas composições em laboratório especializado. Solicitamos, também que fossem criados artificialmente, em laboratório, cálculos puros de oxalato de cálcio para que também fossem analisados pelo método proposto. Com as medidas anteriores acreditamos que possamos correlacionar a imagem com a análise cristalográfica dos cálculos urinários através do estudo de histograms o que, sem dúvida, nos permitirá desenvolver melhores equipamentos para litotripsia. / Abstract: The present work intends to create and identification system of constituent elements of urinary calculi and it's vialibility during the surgical procedures. Al this time we use imported high cost equipment for endoscopic visualization. Our model intendeds to make available for urologists and equipment with minimum configuration, low cost and the possibility to identificate through images during the surgical procedures constituent elments of the urinary calculi. In order to develop the study we captured urinary samples of urinary calculi in conventional open surgeries and photographed them using ureteroscope, a digital camera of video surgery and a PC Pentium 133 equipped with a video capture device. The pictures were processed by the program of public domain Imae J, that creaes histograms and, lately, make a comparison amog themselves and with the laboratory made calculi, exporting the database generated by Image J for the program Excel of Microsoft. Concomitantly we requested a crystallographic analysis of these urinary calculi for study of their compositions in a specialized laboratory. We requested, also that a pure calculi of calcium oxalate were created artificially so they were also analyzed by the proposed method. With these previous measures we believed that we can correlate the image with the crystallographic analysis of the urinary calculi through the study of histograms and, without a dobt, we will develop better equipments for litotripsy. / Mestre

O trabalho que se descreve consiste na implementação do programa FullProf para refinamento estrutural. Trata-se de um programa baseado no método Rietveld, disponível na internet. Uma vez adaptado às instalações locais, o programa foi submetido a uma série de ensaios para avaliação de seu comportamento frente a possíveis artefatos experimentais e computacionais, bem como frente à estratégia de refinamento. Constatou-se que o programa é muito sensível à estratégia de refinamento, podendo-se perder em mínimos locais; os parâmetros de rede e as posições atômicas informados inicialmente podem apresentar erro máximo de cerca de 1 % e 20 %, respectivamente, dependendo da amostra; erros na interpretação do refinamento podem resultar de equívocos de apreciação dos fatores de qualidade de ajuste, uma vez que são susceptíveis a alguns tipos de artefatos experimentais e computacionais; a sensibilidade frente à correta definição do grupo espacial é grande e erros nesta definição acarretam em divergência no processo de refinamento; os parâmetros de assimetria são importantes para o ajuste de picos difratados a baixos ângulos; o uso do parâmetro refinável que descreve o deslocamento experimental da origem da escala 2q, é imprescindível. Finalmente o programa foi usado para refinamento estrutural de amostras do tipo FexCo1-xTa2O6; determinação de cristalinidade relativa em polipropilenos isotáticos e identificação de fases em ligas submetidas a tratamentos de superfície. / The work described in the present Dissertation consists of the program FullProf implementation. It is a program for structural refinement, based on the Rietveld method, available in the internet. Once adapted to the local facilities, the program was submitted to a series of evaluation essays of its behaviour against possible experimental and computational artefacts and refinement strategy as well. It was verified that the program is very sensitive to the refinement strategy, occasionally going to be trapped in local minima; the initial cell parameters and atomic positions can present, respectively, maximum deviation of about 1% and 20%, depending on the sample; mistakes on the refinement interpretation can result from equivocated appreciation of the agreement factors, since they are susceptible to some kind of experimental and computational artefacts; the sensibility facing the correct definition of the space group is high and mistakes in this definition usually result in refinement divergence; the asymmetry parameters are important for the fitting of diffracted peaks in low angles; the use of the zero- 2q parameter, related to the experimental shift of the 2q-scale origin, is indispensable. Finally, the program was used for structural refinement of samples of the type FexCo1-xTa2O6; determination of relative crystalline fraction in isotactic polypropylene and phase identification in alloys submitted to surface treatments.

É apresentado um estudo relativo a energias de separação de nucleons nucleares. Os resultados de cálculos de energias de separação nos métodos de Hartree-Fock e de Brueckner-Hartree-Fock são comparados com os resultados experimentais. Fica evidenciada nos resultados obtidos, uma grande instabilidade nos valores de quase todos os parâmetros. tal resultado indica que uma análise mais sofisticada de comportamento dos valores dos parâmetros deve ser feita, sendo esboçada uma linha de trabalho futuro.

Dissertação (mestrado) - Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2010. / Submitted by Allan Wanick Motta (allan_wanick@hotmail.com) on 2011-05-09T17:06:46Z No. of bitstreams: 1 2010_WashingtnLuisRibeirodeCarvalhoSegundo.pdf: 529113 bytes, checksum: 3c74f1ea1498ab7ee05b3f8cca2df3e5 (MD5) / Approved for entry into archive by Patrícia Nunes da Silva(patricia@bce.unb.br) on 2011-05-11T20:45:58Z (GMT) No. of bitstreams: 1 2010_WashingtnLuisRibeirodeCarvalhoSegundo.pdf: 529113 bytes, checksum: 3c74f1ea1498ab7ee05b3f8cca2df3e5 (MD5) / Made available in DSpace on 2011-05-11T20:45:58Z (GMT). No. of bitstreams: 1 2010_WashingtnLuisRibeirodeCarvalhoSegundo.pdf: 529113 bytes, checksum: 3c74f1ea1498ab7ee05b3f8cca2df3e5 (MD5) / O cálculo גex representa uma solução importante dentro da classe de cálculos de substituições explícitas que lidam com “nomes”, em oposição aqueles que codificam suas variáveis por índices. Delia Kesner obteve, através de um conjunto de provas construtivas, demonstrações das importantes propriedades do גex. Dentre elas, destacamos a PSN, isso é, a Preservação da Normalização Forte, cuja demonstração faz uso de uma estratégia de redução perpétua, que permitiu uma caracterização indutiva do conjunto SN גex. Estendemos a especificação em Coq, já realizada para o cálculo ג, de B. Aydemir et al, e que utiliza lógica nominal para construção de princípios de indução e recursão _-estrutural. Dessa forma nossa especificação inclui a substituição explícita (s[x=t]) na gramática de termos. Avançamos definindo os sistemas de reescrita e as relações de redução do גex, e concluímos por formalizar alguns resultados para o cálculo, a saber: a FC (Composição Completa), a SIM (Simulação de um passo da β-redução) e ainda outros que caminham para a formalização da PSN. _______________________________________________________________________________ ABSTRACT / The גex-calculus represents an important solution among all the class of explicit substitutions calculi that deal with "names", as opposed to those that encode variables by indices. Delia Kesner developed the proofs, through a set of constructive ones, of important properties of the _ex calculus. Among them, we highlight the PSN property, that is, the Preservation of Strong Normalization, whose proof uses a perpetual reduction strategy which allowed an inductive characterization of the set SN גex. We extended the specifi cation already done in Coq for the -calculus by B. Aydemir et al, using nominal logic to build principles of ג -structural induction and recursion. In this way our specification includes the explicit substitution (s[x=t]) in the grammar of the terms. We go foward by de_ning the rewriting systems and the reduction relations for the ג ex and we conclude by formalizing some results for this calculus, as follows: The FC (Full Composition), SIM (Simulation of One Step of β -Reduction) and others that go in the direction of the formalization of the PSN.

É apresentado um estudo relativo a energias de separação de nucleons nucleares. Os resultados de cálculos de energias de separação nos métodos de Hartree-Fock e de Brueckner-Hartree-Fock são comparados com os resultados experimentais. Fica evidenciada nos resultados obtidos, uma grande instabilidade nos valores de quase todos os parâmetros. tal resultado indica que uma análise mais sofisticada de comportamento dos valores dos parâmetros deve ser feita, sendo esboçada uma linha de trabalho futuro.