Towards First-Order Temporal Resolution

In this paper we show how to extend clausal temporal resolution to the ground eventuality fragment of monodic first-order temporal logic, which has recently been introduced by Hodkinson, Wolter and Zakharyaschev. While a finite Hilbert-like axiomatization of complete monodic first order temporal logic was developed by Wolter and Zakharyaschev, we propose a temporal resolution-based proof system which reduces the satisfiability problem for ground eventuality monodic first-order temporal formulae to the satisfiability problem for formulae of classical first-order logic.

Estudos eletroquímicos de permeação de hidrogênio e determinação de concentrações críticas de hidrogênio em um aço de alta dureza

Estudou-se, através do método eletroquímico de permeação, a difusão de hidrogênio no ferro puro e no aço DIN 90MnV8. Observou-se nestes materiais, que o coeficiente aparente de difusão de hidrogênio diminui no decorrer dos transientes de permeação, tendo-se interpretado este comportamento como causado pela presença de armadilhas reversíveis. Deduziu-se, para transientes de permeação obtidos entre dois estados estacionários de difusão, que a variação da concentração de hidrogênio preso a armadilhas reversiveis é dada por: Delta Ca = Na. In [(1+alfa)1/2 dividido por (1+beta)1/2], alfa = K.Co/p beta=K.Cl/p sendo Na a densidade de armadilhas; k e p, os parâmetros de captura e de liberação de uma armadilha e Co e Cl, a concentrasão inicial e final de H. Mediu-se, no ferro recozido, um coeficiente médio de difusão de hidrogênio de 6,4.10-5 cm²/s. A deformação com 50% de trabalho a frio no ferro reduz este valor em aproximadamente uma ordem de grandeza. Verificou-se no aço DIN 90MnV8 que o coeficiente de difusão de hidrogênio aumenta com o aumento dn temperatura de revenimento após a têmpera, atingindo o valor máximo de 7,0.10-6 cm²/s no aço esferoidizado. A dependência térmica do coeficiente de difusão no aço DIN 90MnV8 esferoidizado pode ser expressa por: D = 1,95 (+0,49) exp (-30,43kJ/mol.R.T.) (cm²/s) e neste mesmo aço temperado e revenido com 55RC de dureza por : D=0,29 (+- 0,05 ) exp (-28,47kJ/mol.R.T.) ( cm²/s). Uma nova metodolagia fractomecânica foi introduzida, a qual permite a determinação da cnncentração crítica de hidrogênio necessária para provocar o avanço de uma trinca estacionária. Observou-se no aço DIN 9OMnV8, que a concentração crítica de hidrogênio diminui com o aumento da dureza do aço e é menor quando um valor maior de KI é aplicado. O modo de fratura apresentado Por este aço revelou ser independente da concentração de hidrogênio e do valor de KI, sendo função unicamente de sua dureza.

Comportamento do aco inoxidavel ABNT 304 a corrosao-sob-tensao em solucoes aquosas neutras de nacl a temperatura de ebulicao utilizando a tecnica de carga constante

Estudou-se o comportamento do aço inoxidável ABNT 304 à corrosão-sob-tensão (C.S.T.) em soluções aquosas com 0,1%, 3,5% e 20% de NaCl, na temperatura de 103°C, através de ensaios de carga constante. Com auxílio das técnicas e conceitos de Mecânica de Fratura Linear Elástica e das análises eletroquímicas procurou-se encontrar as condições em que ocorre C.S.T. no sistema aço inoxidável austenítico/solução aquosa de NaCl a 103°C. Utilizou-se o corpo-de-prova do tipo dupla viga em balanço (T-notch double cantilever beam: TN-DCB), com intuito de observar a influência do fator de intensidade de tensão, concentração da solução e potencial eletroquímico. Estimou-se o valor do fator de intensidade de tensão limite (KICST) e a velocidade de propagação das trincas; também foram analisadas outras importantes características em termos mecanísticos. Definiu-se faixas de potenciais e valores de intensidade de tensão a partir dos quais ocorre o surgimento de trincas por C.S.T.. Fêz-se análises metalográficas dos corpos-de-prova onde se pode constatar trincas transgranulares bem típicas do fenômeno de C.S.T.. Foram feitos alguns testes em solução aquosa saturada de MgCl2, em ebulição, para se comparar as diferentes soluções quanto ao fenômeno de C.S.T.. Alterou-se as dimensões do corpo-de-prova para avaliar a orientação da propagação das trincas por C.S.T..

Efeito dos aminoácidos de cadeia ramificada e seus cetoácidos sobre a atividade da creatinaquinase de cérebros de ratos jovens

A Doença do Xarope do Bordo é uma alteração metabólica hereditária caracterizada bioquimicamente pelo acumulo dos aminoácidos de cadeia ramificada e seus respectivos aminoácidos no sangue e nos tecidos destes pacientes. Os mecanismos patogênicos das alterações neurológicas presentes nos pacientes ainda são pouco conhecidos. Há evidências de que o metabolismo energético esteja alterado no cérebro dos pacientes. A creatinaquinase, enzima chave no metabolismo energético, está envolvida transporte e manutenção da energia cerebral. Neste trabalho investigamos a inibição da creatinaquinase pelos aminoácidos de cadeia ramificada in vitro em cérebro de ratos em desenvolvimento, nas concentrações semelhantes as encontradas no plasma destes pacientes. O mesmo efeito não foi verificado com os cetoácidos de cadeia ramificada. Verificamos ainda que este efeito também ocorreu em ratos tratados com leucina de forma crônica do 60 ao 210 dia, e de forma aguda quando tratados por 12 horas com intervalos de três horas. Os parâmetros cinéticos estudados mostraram um Km baixo (0,8 – 1,4 mM) para a fosfocreatina como substrato, cuja variação no cérebro oscila entre 4 a 8 mM. Assim nas condições fisiopatológicas a enzima estaria saturada em ralação à fosfocreatina, sendo difícil a competição com os aminoácidos de cadeia ramificada, principalmente devido ao alto Ki encontrado (6 a 26 mM), exceto em situações de baixas concentrações deste substrato. Entretanto, o Km encontrado para o ADP como substrato (0,3 ± 0,1 mM) é semelhante à concentração do ADP do cérebro (0,2 – 0.4 mM). Como o Ki encontrado também é alto (14 – 30 mM), é possível que a competição entre o ADP como substrato e os aminoácidos de cadeia ramificada diminua a atividade da enzima alterando a homeostasia energética do cérebro, contribuindo para o dano neurológico encontrado nos pacientes com a Doença do Xarope de Bordo. Os dados deste trabalho propõem um novo mecanismo fisiopatológico para as alterações neurológicas encontradas na Doença do Xarope do Bordo. Os aminoácidos de cadeia ramificada, acumulados no cérebro destes pacientes, ocasionando a inibição da creatinaquinase estariam competindo com o ADP, produzindo deste modo um desequilíbrio energético e conseqüentemente o dano neurológico.

Relação entre estadiamento, características histopatológicas, proliferação celular e prognóstico de carcinoma espinocelular de língua

O objetivo deste trabalho foi avaliar a correlação entre parâmetros clínicos (TNM), graduação histopatológica, número de AgNORs por núcleo e expressão de Ki-67 na zona de invasão com o prognóstico de carcinoma espinocelular de língua. Foram selecionados dez casos de carcinoma espinocelular de língua e divididos em dois grupos: bom prognóstico (ausência de metástases á distância e/ou regionais, sobrevida livre de doença) e mau prognóstico (presença de metástases, recidiva, óbito). O material de biópsia foi submetido às técnicas de hematoxilina/eosina, de impregnação pela prata para evidenciação das NORs e de detecção imunohistoquímica do antígeno de proliferação nuclear Ki-67. Concluiu-se que T4 por si só já é um indicador de mau prognóstico e que nos tumores de grau II, a proliferação celular pode refletir o prognóstico do tumor.

Purificação, caracterização e atividade bioinseticida de um inibidor de tripsina de sementes de Crotalaria pallida

A proteinaceous trypsin inhibitor was purified from Crotalaria pallida seeds by ammonium sulphate fractionation, affinity chromatography on immobilized Trypsin-Sepharose and TCA precipitation. The trypsin inhibitor, named ITC, had Mr of 32.5 kDa by SDS-PAGE and was composed by two subunits with 27.7 and 5.6 kDa linked by disulphide bridges, a typical characteristic of Kunitz-Inhibitor family. ITC was stable until 50°C, and at 100°C its residual activity was of about 60%. Also, ITC was stable at pHs 2 to 12. The inhibition of trypsin by ITC was non-competitive, with a Ki of 8,8 x 10-7M. ITC inhibits weakly other serine proteinases such as chymotrypsin and elastase. The inhibition of papain (44% of inhibition), a cysteine proteinase was an indicative of the bi-functionality of ITC. In vitro assays against digestive proteinases from several Lepdoptera, Diptera and Coleoptera pests were made. ITC inhibited in 100% digestive enzymes of Ceratitis capitata (fruit fly), Spodoptera frugiperda and Alabama argillacea, the last one being a cotton pest. It also inhibited in 74.4% Callosobruchus maculatus (bean weevil) digestive enzymes, a Coleoptera pest. ITC, when added in artificial diet models, affected weakly the development of C. capitata larvae and it had a WD50 of 2.65% to C. maculatus larvae

Purificação, caracterização e análise da atividade bioinseticida, de um inibidor de tripsina em sementes de catanduva (Piptadenia moniliformis)

One Kunitz-type trypsin inhibitors (PmTI) was purified from Piptadenia moniliformis seeds, a tree of the sub-family Mimosoideae, by TCA precipitation, affinity chromatography on immobilized trypsin-Sepharose, DEAE cellulose (ion exchange) and Superose 12 (molecular exclusion) column FPLC/AKTA. The inhibitor has Mr of 25 kDa by SDS-PAGE and chromatography molecular exclusion. The N-terminal sequence of this inhibitor showed high homology with other family Kunitz inhibitors. This also stable variations in temperature and pH and showed a small decrease in its activity when incubated with DDT in the concentration of 100mM for 120 minutes. The inhibition of trypsin by PmTI was competitive, with Ki of 1.57 x10-11 M. The activity of trypsin was effectively inhibited by percentage of inhibition of 100%, among enzymes tested, was not detected inhibition for the bromelain, was weak inhibitor of pancreatic elastase (3.17% of inhibition) and inhibited by 76.42% elastase of neutrophils, and inhibited in a moderate, chymotrypsin and papain with percentage of inhibition of 42.96% and 23.10% respectively. In vitro assays against digestive proteinases from Lepidoptera, Diptera and Coleoptera pests were carried out. Several degrees of inhibition were found. For Anthonomus grandis and Ceratitis capitata the inhibition was 89.93% and 70.52%, respectively, and the enzymes of Zabrotes subfasciatus and Callosobruchus maculatus were inhibited by 5.96% and 9.41%, respectively, and the enzymes of Plodia. interpunctella and Castnia licus were inhibited by 59.94% and 23.67, respectively. In vivo assays, was observed reduction in the development of larvae in 4rd instar of C. capitata, when PmTI was added to the artificial diet, getting WD50 and LD50 of 0.30% and 0.33%, respectively. These results suggest that this inhibitor could be a strong candidate to plant management programs cross transgenic

Purificação, caracterização e avaliação da atividade antiproliferativa de um inibidor de quimotripsina tipo kunitz de semente de Eryhrina velutina

A chymotrypsin inhibitor was purified from Erythrina velutina seeds by ammonium sulphate fractionation, affinities chromatographies on Trypsin-Sepharose, Quimotrypsin-Sepharose and reversed phase C-18 FPLC/AKTA system. The inhibitor, named EvCI, shown molecular mass of 17 kDa, as determined by SDSPAGE. 2D-PAGE showed four isoinhibitors with pI values of 4,42, 4,63, 4,83 and 5,06, with molecular mass of 17 kDa each. The aminoacid sequence of EvCI was determined by MALDI-TOF-MS and showed a high similarity with other Kunitz-type inhibitor of Erythrina variegata. EvCI competitively inhibited chymotrypsin, with Ki of 4 x10-8 M, but did not inhibited trypsin, pancreatic elastase, bromelain and papain. The inhibitory activity of EvCI was stable over wide pH and temperature ranges. In the presence of DTT 100 mM for 120 min, EvCI lost 50 % of activity. Cytotoxicity was studied in HeLa, MDA, HepG2, K562 and PC3 cells after 72-h incubation period. EvCl inhibited HeLa cells growth with an IC50 value of 50 μg/ml. Subsequent studies in HeLa cells analysis of cell death by annexin V/PI double-staining and cell cycle, using flow cytometry. The results provide evidence for a cytostatic activity of EvCl and support further studies on potential application of this inhibitors as an antiproliferative agent in combined therapy against cervical cancer

Um novo inibidor de tripsina multifuncional de sementes de Erythrina velutina: caracterizacao e propriedades farmacologicas

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Parâmetros eletrocardiográficos e valores séricos e urinários de sódio e potássio em cães tratados com furosemida

The serum and urine Na+ and K+ levels and their relationship with electrocardiography characteristics,were studied in 15 male adult mongrel dogs, treated twice-a-day,with 2, 4, 8mg/kg of live weight doses of furosemide and furosemide associated with KCl during 35 days. Urine samples were analyzed weekly in order to determine the Na+ and K+ concentrations and to evaluate the urinary excretion of both cations. Electrocardiography was performed simultaneously, using limb derivations, speed 50mm/sec and calibration of 1 cm corresponding to 1mV. Data showed decreased seric concentrations of Na+ and Ki, increase in Na+ fractional excretion between days 7 and 21 of the treatment, slower heart rate and longer PR, QRS and QT intervals in the ECG. Briefly 2mg/kg furosemide associated with KCl was the most suitable treatment since it induced lesser side effects.

Características de latossolos roxos desenvolvidos de rochas alcalinas e básicas de Jaboticabal, SP

Comparou-se as características químicas, físicas e mineralógicas de Latossolos Roxos desenvolvidos de rocha alcalina (LRe) e de rocha eruptiva básica (LRd), da região de Jaboticabal, SP. Os resultados indicaram que o LRe apresenta-se num estádio de desenvolvimento, comparativamente, menos evoluído que o LRd, enquanto esse se apresenta com tendência para a maturidade. Os menores teores de argila e ferro total e maiores teores de saturação por bases, Ki e CTC da fração argila apresentados pelo LRe comprovam esta tendência. Conclui-se que a ocorrência de Latossolo Roxo eutrófico no campus da UNESP-Jaboticabal, pode estar associada a participação de rochas alcalinas na sua pedogênese.

Modelos para estimativa do subfator cobertura-manejo (CiII) relativo à erosão entressulcos

A análise de um modelo de erosão é um crítico passo no desenvolvimento de uma ferramenta de predição da erosão aplicável e válida; isso é crucial para avaliar o desempenho dos modelos existentes para assegurar que as estimativas de um modelo condizem com a realidade. O objetivo do presente trabalho foi avaliar modelos para a predição do subfator cobertura e manejo (CiII) relativo à erosão entressulcos. Um experimento fatorial completo foi conduzido com cinco doses de resíduo de milho (0; 0,05; 0,15; 0,40 e 0,80 kg m-2), quatro declives e duas repetições, sob condições de prévio umedecimento para determinar as taxas de erosão entressulcos (Di) e enxurrada (R). Num primeiro experimento, foi avaliada a erodibilidade entressulcos (Ki) e o subfator cobertura e manejo (CiII), em parcelas experimentais de 0,5 x 0,75 m, em solo recentemente preparado. Num segundo experimento, foram avaliados Di, R, Ki e CiII, também em parcelas de 0,5 x 0,75 m, em solo recém- preparado. Os valores de Di, R, Ki e CiII, obtidos no segundo experimento, foram utilizados na avaliação dos modelos testados. Os modelos CiII = e-2,50 CS/100 e CiII = e -2,238 CS/100 apresentaram boas estimativas para o subfator CiII.

Inorganic pyrophosphate-phosphohydrolytic activity associated with rat osseous plate alkaline phosphatase

Purified membrane-bound alkaline phosphatase from rat osseous plate hydrolyzed pyrophosphate in the presence of magnesium ions, with a specific activity of 92.7 U/mg. Optimal apparent pH for pyrophosphatase activity was 8.0 and it remained unchanged on increasing the pyrophosphate concentration. In the absence of magnesium ions the enzyme had a K-m = 88 mu M and V = 36.7 U/mg for pyrophosphate and no inhibition by excess substrate was observed. Pyrophosphatase activity was rapidly destroyed at temperatures above 40 degrees C, but magnesium ions apparently protected the enzyme against danaturation. Sodium metavanadate (Ki = 1.0 mM) was a competitive inhibitor of pyrophosphatase activity, while levamisole (Ki = 8.2 mM) and theophylline (Ki = 7.4 mM) were uncompetitive inhibitors. Magnesium ions (K-0.5 = 1.7 mu M) stimulated pyrophosphatase activity, while cobalt (Ki = 48.5 mu M) and zinc (Ki = 22.0 mu M) ions were non-competitive inhibitors. Manganese and calcium ions had no effect on pyrophosphatase activity. The M-w of the pyrophosphatase: protein was 130 kDa by gel filtration, but a value of 65 kDa was obtained by dissociative gel electrophoresis, suggesting that it was a dimer of apparently identical subunits. These results suggested that pyrophosphatase activity stems from the membrane-bound osseous plate alkaline phosphatase and not from a different protein.

POLYPHENOLOXIDASE FROM ATEMOYA FRUIT (ANNONA CHERIMOLA MILL. ANNONA SQUAMOSA L.)

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Immobilization of streptavidin in sol-gel films: Application on the diagnosis of hepatitis C virus

Recent advances have accelerated the development of biosensors for the analysis of specific gene sequences. In this kind of biosensor, a DNA probe is immobilized on a transducer and the hybridization with the target DNA is monitored by suitable methodology. In the present work, the streptavidin (STA) was encapsulated in thin films siloxane-poly(propylene oxide) hybrids prepared by sol-gel method and deposited on the graphite electrode surface by dip-coating process. Biotinylated 18-mer probes were immobilized through STA and a novel amperometric DNA biosensor for the detection and genotyping of the hepatitis C virus (genotypes 1, 2A/C, 2B and 3) is described. The HCV RNA from serum was submitted to reverse transcriptase-linked polymerase chain reaction (RT-PCR) and biotin-labeled cDNA was obtained. Thus, the cDNA was hybridized to the target-specific oligonucleotide probe immobilized on the graphite electrode surface and following the avidin-peroxidase conjugate was added. The enzymatic response was investigated by constant potential amperometry at -0.45 V versus Ag/AgCl using H2O2 and KI solutions. HCV RNA negative and positive controls and positive samples of sera patients were analyzed and the results were compared to commercial kit. The proposed methodology appeared to be suitable and convenient tool for streptavidin immobilization and diagnose of HCV disease. (c) 2006 Elsevier B.V. All rights reserved.