Your browser doesn't support javascript.
loading
Mostrar: 20 | 50 | 100
Resultados 1 - 17 de 17
Filtrar
1.
Vaccine ; 21(17-18): 1995-2002, 2003 May 16.
Artigo em Inglês | MEDLINE | ID: mdl-12706689

RESUMO

A series of phase I clinical studies were conducted to evaluate the safety of plasmid DNA and modified vaccinia virus Ankara malaria vaccines. The vaccines each encoded a polyepitope string fused to whole Plasmodium falciparum TRAP antigen. Forty-three healthy adult volunteers received the vaccines alone or in DNA/MVA prime-boost combinations. The DNA vaccine was administered either intramuscularly by needle or intradermally by a needleless delivery device. The MVA vaccine was administered intradermally by needle. The vaccines were well-tolerated by all three routes and in various DNA/MVA immunisation regimes. There were no severe or serious adverse events.


Assuntos
Fígado/parasitologia , Vacinas Antimaláricas/normas , Malária Falciparum/imunologia , Vacinas de DNA/normas , Vaccinia virus/imunologia , Vacinas Virais/imunologia , Adulto , Sequência de Aminoácidos , Antígenos de Protozoários/genética , Antígenos de Protozoários/imunologia , Proteínas Aviárias/genética , Proteínas Aviárias/imunologia , Epitopos/química , Epitopos/imunologia , Proteínas do Olho/genética , Proteínas do Olho/imunologia , Feminino , Humanos , Injeções Intramusculares , Vacinas Antimaláricas/administração & dosagem , Vacinas Antimaláricas/efeitos adversos , Masculino , Pessoa de Meia-Idade , Plasmídeos/imunologia , Prurido/induzido quimicamente , Segurança , Vacinas de DNA/administração & dosagem , Vacinas Virais/efeitos adversos , Vacinas Virais/normas
2.
Nat Med ; 6(3): 337-42, 2000 Mar.
Artigo em Inglês | MEDLINE | ID: mdl-10700238

RESUMO

Celiac disease (CD) is an increasingly diagnosed enteropathy (prevalence, 1:200-1:300) that is induced by dietary exposure to wheat gliadins (as well as related proteins in rye and barley) and is strongly associated with HLA-DQ2 (alpha1*0501, beta1*0201), which is present in over 90% of CD patients. Because a variety of gliadin peptides have been identified as epitopes for gliadin-specific T-cell clones and as bioactive sequences in feeding studies and in ex vivo CD intestinal biopsy challenge, it has been unclear whether a 'dominant' T-cell epitope is associated with CD. Here, we used fresh peripheral blood lymphocytes from individual subjects undergoing short-term antigen challenge and tissue transglutaminase-treated, overlapping synthetic peptides spanning A-gliadin to demonstrate a transient, disease-specific, DQ2-restricted, CD4 T-cell response to a single dominant epitope. Optimal gamma interferon release in an ELISPOT assay was elicited by a 17-amino-acid peptide corresponding to the partially deamidated peptide of A-gliadin amino acids 57-73 (Q65E). Consistent with earlier reports indicating that host tissue transglutaminase modification of gliadin enhances gliadin-specific CD T-cell responses, tissue transglutaminase specifically deamidated Q65 in the peptide of A-gliadin amino acids 56-75. Discovery of this dominant epitope may allow development of antigen-specific immunotherapy for CD.


Assuntos
Doença Celíaca/imunologia , Epitopos/imunologia , Gliadina/imunologia , Fragmentos de Peptídeos/imunologia , Linfócitos T/imunologia , Transglutaminases/metabolismo , Adulto , Idade de Início , Sequência de Aminoácidos , Doença Celíaca/epidemiologia , Doença Celíaca/genética , Células Cultivadas , Epitopos/química , Feminino , Gliadina/química , Gliadina/farmacologia , Antígenos HLA-DQ/genética , Antígenos HLA-DQ/imunologia , Humanos , Interferon gama/biossíntese , Interleucina-10/biossíntese , Ativação Linfocitária , Linfócitos/efeitos dos fármacos , Linfócitos/imunologia , Masculino , Pessoa de Meia-Idade , Dados de Sequência Molecular , Fragmentos de Peptídeos/farmacologia , Prevalência , Reino Unido/epidemiologia
3.
Dev Biol (Basel) ; 104: 171-9, 2000.
Artigo em Inglês | MEDLINE | ID: mdl-11713817

RESUMO

A generic approach to inducing high level CD8+ T cell responses would be of value for prophylactic and therapeutic immunisation against several infectious diseases. However, it has been very difficult to achieve such immune responses using available vaccination strategies. Malaria is one of several diseases against which a new generation of better CD8+ T cell-inducing vaccines might be useful and is unusual in that it allows assessment of vaccine efficacy in small numbers of volunteers in carefully controlled challenge studies. Here we review the identification of a heterologous prime-boost regime using DNA priming and recombinant modified vaccinia Ankara (MVA) boosting that induces high level T cell responses in both mice and non-human primates. Clinical trials to determine whether this prime-boost approach is immunogenic in humans are in progress.


Assuntos
Vacinas Antimaláricas/administração & dosagem , Vacinas de DNA/administração & dosagem , Adjuvantes Imunológicos/administração & dosagem , Animais , Linfócitos T CD8-Positivos/imunologia , Ensaios Clínicos Fase I como Assunto , Vetores Genéticos , Humanos , Imunização Secundária , Imunoensaio , Fígado/parasitologia , Malária/imunologia , Malária/parasitologia , Malária/prevenção & controle , Primatas , Vaccinia virus/genética , Vaccinia virus/imunologia
4.
Vaccine ; 18(7-8): 623-32, 1999 Nov 12.
Artigo em Inglês | MEDLINE | ID: mdl-10547421

RESUMO

In influenza and malaria, CD8+ T cells play an important role in protective immunity in mice. An immunization strategy consisting of DNA priming followed by boosting with recombinant modified vaccinia virus Ankara (MVA) induces complete protection, associated with high levels of CD8+ T cells, against Plasmodium berghei sporozoite challenge in mice. Intradermal delivery of DNA with a gene gun requires smaller amounts of DNA than intramuscular injection, in order to induce similar levels of immune responses. The present study compares both routes for the induction of specific CD8+ T cell responses and protection using different prime-boost immunization regimes in the influenza and the malaria models. In the DNA/MVA regime, equally high CD8+ T cell responses and levels of protection are achieved using ten times less DNA when delivered with a gene gun compared to intramuscular injection.


Assuntos
Biolística , Linfócitos T CD8-Positivos/imunologia , Vacinas contra Influenza/administração & dosagem , Vacinas Antimaláricas/administração & dosagem , Malária/prevenção & controle , Infecções por Orthomyxoviridae/prevenção & controle , Vacinas de DNA/administração & dosagem , Vaccinia virus/genética , Animais , DNA de Protozoário/administração & dosagem , DNA de Protozoário/genética , DNA Viral/administração & dosagem , DNA Viral/genética , Feminino , Imunização Secundária , Vacinas contra Influenza/genética , Vacinas contra Influenza/imunologia , Malária/imunologia , Vacinas Antimaláricas/genética , Vacinas Antimaláricas/imunologia , Masculino , Camundongos , Camundongos Endogâmicos BALB C , Camundongos Endogâmicos C57BL , Infecções por Orthomyxoviridae/imunologia , Plasmodium berghei/imunologia , Vacinas Atenuadas/administração & dosagem , Vacinas Atenuadas/genética , Vacinas Atenuadas/imunologia , Vacinas de DNA/genética , Vacinas de DNA/imunologia , Vaccinia virus/imunologia
5.
Immunol Rev ; 170: 29-38, 1999 Aug.
Artigo em Inglês | MEDLINE | ID: mdl-10566139

RESUMO

One of the current challenges in vaccine design is the development of antigen delivery systems or vaccination strategies that induce high protective levels of CD8+ T cells. These cells are crucial for protection against certain tumours and intracellular pathogens such as the liver-stage parasite of malaria. A liver-stage malaria vaccine should therefore include CD8+ T-cell-inducing components. This review provides an overview of prime-boost immunisation strategies that result in protective CD8+ T-cell responses against malaria with an emphasis on work from our laboratory. Possible mechanisms explaining why heterologous prime-boost strategies, in particular boosting with replication-impaired recombinant poxviruses, are so effective are discussed.


Assuntos
Linfócitos T CD8-Positivos/imunologia , Imunização Secundária/métodos , Adjuvantes Imunológicos/administração & dosagem , Animais , Epitopos/administração & dosagem , Vetores Genéticos , Humanos , Malária/imunologia , Malária/prevenção & controle , Vacinas Antimaláricas/administração & dosagem , Camundongos , Primatas , Vacinas de DNA/administração & dosagem
6.
Vaccine ; 16(4): 394-8, 1998 Feb.
Artigo em Inglês | MEDLINE | ID: mdl-9607061

RESUMO

The PowderJect system, a device that uses compressed helium gas to accelerate microscopic particles into the skin, was used as a delivery system for DNA vaccines to elicit a virus-specific cytotoxic T cell response (CTL) in mice. Transient expression of beta-galactosidase (beta-Gal) was observed in the epidermis when gold particles coated with beta-Gal expression plasmid were delivered to mouse skin with the device. When DNA encoding the nucleoprotein gene (NP) of influenza A virus was used to coat gold particles, a strong and specific anti-NP CTL response was elicited by immunizations with nanogram amounts of the NP DNA vector. This study shows the potential for application of the PowderJect system to intradermal delivery of DNA in order to elicit an immune response.


Assuntos
Biolística/métodos , Vírus da Influenza A/imunologia , Vacinas de DNA/administração & dosagem , Vacinas Virais/administração & dosagem , Animais , Masculino , Camundongos , Camundongos Endogâmicos C57BL , Infecções por Orthomyxoviridae/prevenção & controle , Linfócitos T Citotóxicos/imunologia , Vacinas de DNA/imunologia , Vacinas Virais/imunologia
7.
Regul Pept ; 50(2): 193-9, 1994 Feb 24.
Artigo em Inglês | MEDLINE | ID: mdl-7514801

RESUMO

Amylin inhibits glucose-induced insulin secretion in the rat pancreas. To study the mechanism by which amylin acts on the B-cell, we have investigated, in the perfused rat pancreas, the effect of synthetic rat amylin (75 pM) on insulin release elicited by secretagogues acting on the B-cell via the adenylate cyclase/cAMP system, i.e., glucagon (10 nM), gastric inhibitory polypeptide (GIP, 1 nM), forskolin (1 microM) and isobutylmethylxanthine (IBMX, 75 microM). In addition, we examined the effect of amylin on GIP-induced insulin release in pancreata from rats pretreated with pertussis toxin, an agent which inactivates certain Gi proteins coupled to adenylate cyclase. Amylin inhibited the insulin response to glucagon (approx. 70%), GIP (approx. 90%), IBMX (approx. 75%) as well as the early phase of forskolin-induced insulin output (approx. 74%). However, amylin failed to modify GIP-induced insulin release in pancreata obtained from pertussis toxin pretreated rats. These results would indicate that the inhibitory effect of amylin on insulin secretion could be, at least in part, attributed to its interfering with the adenylate cyclase/cAMP system. Furthermore, prevention of the inhibitory effect of amylin on GIP-induced insulin output by pertussis toxin pretreatment, supports the concept that amylin can inhibit insulin release via a pertussis toxin-sensitive Gi protein coupled to the adenylate cyclase system.


Assuntos
Adenilil Ciclases/metabolismo , Amiloide/farmacologia , AMP Cíclico/metabolismo , Insulina/metabolismo , Ilhotas Pancreáticas/efeitos dos fármacos , 1-Metil-3-Isobutilxantina/farmacologia , Animais , Colforsina/farmacologia , Polipeptídeo Inibidor Gástrico/farmacologia , Glucagon/farmacologia , Secreção de Insulina , Polipeptídeo Amiloide das Ilhotas Pancreáticas , Ilhotas Pancreáticas/metabolismo , Masculino , Perfusão , Ratos , Ratos Wistar
8.
FEBS Lett ; 338(1): 98-102, 1994 Jan 24.
Artigo em Inglês | MEDLINE | ID: mdl-8307165

RESUMO

In the present study we have determined the molecular mass of the beta-cell sulfonylurea receptor in its native form by two different experimental approaches; gel filtration chromatography and radiation inactivation analysis. We first confirmed that the denatured photolabelled MIN6 beta-cell receptor had a molecular size of 141 +/- 2 kDa (mean +/- S.E., n = 8). Under non-denaturing conditions, using gel filtration chromatography, apparent molecular masses of 166 +/- 1 kDa (mean +/- S.E., n = 3) and 182 +/- 5 kDa (mean +/- S.E., n = 4) were determined for the photoaffinity-labelled and unlabelled sulfonylurea receptor, respectively. We conclude that in the solubilized state the receptor exists as a monomer. Radiation inactivation analysis indicated that the receptor has a target size of 250 +/- 30 kDa (mean +/- S.E., n = 7). This value for the molecular mass is larger than that obtained from SDS-PAGE following photolabelling of the receptor (141 kDa) suggesting that the beta-cell sulfonylurea receptor is composed of more than one subunit in the native membrane.


Assuntos
Transportadores de Cassetes de Ligação de ATP , Ilhotas Pancreáticas/química , Canais de Potássio Corretores do Fluxo de Internalização , Canais de Potássio/química , Receptores de Droga/química , Marcadores de Afinidade , Membrana Celular/química , Células Cultivadas , Cromatografia em Gel , Eletroforese em Gel de Poliacrilamida , Peso Molecular , Canais de Potássio/efeitos da radiação , Receptores de Droga/efeitos da radiação , Receptores de Sulfonilureias
9.
Biochem Pharmacol ; 45(11): 2343-7, 1993 Jun 09.
Artigo em Inglês | MEDLINE | ID: mdl-8517876

RESUMO

The 8-37 fragment of human calcitonin gene-related peptide [(8-37)hCGRP] antagonizes the effects of calcitonin gene-related peptide (CGRP) and amylin in a number of tissues. We have studied the influence of (8-37)hCGRP on the effects of both CGRP and amylin on insulin secretion. In the perfused rat pancreas, homologous CGRP and amylin, at 75 pM, exerted comparable inhibitory effects on the insulin response to 9 mM glucose (ca. 70%; P < 0.025). These effects were antagonized by (8-37)hCGRP (1 microM). Our results suggest that CGRP and amylin act on the B-cell, at least in part, through a common receptor.


Assuntos
Amiloide/farmacologia , Peptídeo Relacionado com Gene de Calcitonina/farmacologia , Glucose/antagonistas & inibidores , Insulina/metabolismo , Pâncreas/efeitos dos fármacos , Fragmentos de Peptídeos/farmacologia , Amiloide/antagonistas & inibidores , Animais , Peptídeo Relacionado com Gene de Calcitonina/antagonistas & inibidores , Secreção de Insulina , Polipeptídeo Amiloide das Ilhotas Pancreáticas , Masculino , Pâncreas/metabolismo , Perfusão , Ratos , Ratos Wistar
10.
Regul Pept ; 43(1-2): 91-6, 1993 Jan 22.
Artigo em Inglês | MEDLINE | ID: mdl-8426912

RESUMO

Islet amyloid polypeptide (IAPP), also called amylin, has been localized in the B-cell secretory granule and is co-secreted with insulin. We have investigated the effect of synthetic amidated rat amylin on the insulin release evoked by 9 mM glucose in the isolated, perfused rat pancreas. Amylin, in a range of 75 nM-75 pM, significantly inhibited this insulin response in a dose-dependent manner. The correlation between the logarithm of amylin concentrations and the percentages of inhibition was highly significant (r = 0.98, P < 0.01). The lowest effective amylin concentration tested (75 pM) is within the range of amylin levels reported for the effluent of the perfused rat pancreas. Finally, pre-infusion of the rat pancreas with a high amylin concentration (75 nM) did not alter the insulin response to glucose, thus excluding a toxic effect of amylin on the B-cell. These observations support the concept that amylin plays a role in the control of insulin secretion.


Assuntos
Amiloide/farmacologia , Insulina/metabolismo , Ilhotas Pancreáticas/efeitos dos fármacos , Animais , Relação Dose-Resposta a Droga , Glucose/farmacologia , Técnicas In Vitro , Secreção de Insulina , Polipeptídeo Amiloide das Ilhotas Pancreáticas , Ilhotas Pancreáticas/metabolismo , Masculino , Ratos , Ratos Wistar
11.
Metabolism ; 41(3): 306-9, 1992 Mar.
Artigo em Inglês | MEDLINE | ID: mdl-1347399

RESUMO

Pancreatic polypeptide (PP) secretory cells are abundant in the islets of Langerhans. Results concerning the effects of exogenous PP on islet-cell secretion are controversial. This might be due in part to species specificity, given that most reports refer to studies performed using PP of bovine, porcine, or human origin in a heterologous animal model. Thus, we have investigated the influence of synthetic rat PP (80 nmol/L) on unstimulated insulin, glucagon, and somatostatin release, and on the responses of these hormones to glucose (11 mmol/L) and to arginine (3.5 mmol/L) in a homologous animal model, the perfused rat pancreas. Infusion of rat PP (rPP) reduced unstimulated insulin release by 35% (P = .03), and the insulin responses to glucose by 65% (P = .029) and to arginine by 50% (P = .026), without modifying glucagon output. rPP did not affect somatostatin secretion, either in unstimulated conditions or in the presence of 11 mmol/L glucose. However, it induced a clear-cut increase in somatostatin release during 3.5 mmol/L arginine infusion. Our observation that rPP inhibited insulin secretion without affecting glucagon and somatostatin output points to a direct effect of PP on B-cell function. However, during aminogenic priming of the D cell, the inhibition of insulin output induced by rPP was accompanied by an increase in somatostatin release. Thus, in this circumstance, it might be considered that the blocking effect of PP on B-cell secretion could be, at least in part, mediated by a D-cell paracrine effect.


Assuntos
Glucagon/metabolismo , Insulina/metabolismo , Ilhotas Pancreáticas/metabolismo , Polipeptídeo Pancreático/farmacologia , Somatostatina/metabolismo , Animais , Arginina/farmacologia , Glucose/farmacologia , Secreção de Insulina , Ilhotas Pancreáticas/efeitos dos fármacos , Cinética , Masculino , Perfusão , Ratos , Ratos Endogâmicos , Fatores de Tempo
12.
Regul Pept ; 34(3): 159-67, 1991 Jul 09.
Artigo em Inglês | MEDLINE | ID: mdl-1681569

RESUMO

The identification of pancreastatin in pancreatic extracts prompted the investigation of its effects on islet cell function. However, in most of the investigations to date, pig pancreastatin was tested in heterologous species. Since there is great interspecies variability in the amino acid sequence of pancreastatin, we have investigated the influence of rat pancreastatin on insulin, glucagon and somatostatin secretion in a homologous animal model, namely the perfused rat pancreas. During 5.5 mM glucose infusion, pancreastatin (40 nM) inhibited insulin secretion (ca. 40%, P less than 0.025) as well as the insulin responses to 10 mM arginine (ca. 50%, P less than 0.025) and to 1 nM vasoactive intestinal polypeptide (ca. 50%; P less than 0.05). Pancreastatin failed to significantly modify glucagon or somatostatin release under any of the above experimental conditions. In addition, a lower pancreastatin concentration (15.7 nM) markedly suppressed the insulin release evoked by 11 mM glucose (ca. 85%, P less than 0.05). Our present observations reinforce the concept that pancreastatin is an effective inhibitor of insulin secretion, influencing the B-cell function directly and not through an A-cell or D-cell paracrine effect.


Assuntos
Glucagon/metabolismo , Antagonistas da Insulina/farmacologia , Pâncreas/metabolismo , Hormônios Pancreáticos/farmacologia , Somatostatina/metabolismo , Animais , Arginina/fisiologia , Cromogranina A , Glucose/fisiologia , Insulina/metabolismo , Secreção de Insulina , Masculino , Pâncreas/efeitos dos fármacos , Perfusão , Ratos , Ratos Endogâmicos , Peptídeo Intestinal Vasoativo/fisiologia
13.
Life Sci ; 49(10): 761-5, 1991.
Artigo em Inglês | MEDLINE | ID: mdl-1678849

RESUMO

We have investigated the effect of a high concentration (750 nM) of synthetic amidated rat amylin on unstimulated somatostatin and insulin secretion as well as on the response of these hormones to arginine. Amylin consistently reduced insulin output but it did not significantly modify somatostatin release. These findings indicate that the inhibitory effect of amylin on insulin secretion is not mediated by a D-cell paracrine effect.


Assuntos
Amiloide/farmacologia , Insulina/metabolismo , Somatostatina/metabolismo , Animais , Arginina/farmacologia , Antagonistas da Insulina , Secreção de Insulina , Polipeptídeo Amiloide das Ilhotas Pancreáticas , Masculino , Ratos , Ratos Endogâmicos , Somatostatina/antagonistas & inibidores
14.
Regul Pept ; 31(1): 23-31, 1990 Oct 29.
Artigo em Inglês | MEDLINE | ID: mdl-2270316

RESUMO

Amylin, a 37-amino acid polypeptide, is the main component of amyloid deposits in the islets of Langerhans, and has been identified in the B-cell secretory granules. We have investigated the effect of rat amylin on the insulin and glucagon release by the isolated, perfused rat pancreas. Amylin infusion at 750 nM, markedly reduced unstimulated insulin release (ca. 50%, P less than 0.025), whereas it did not modify glucagon output. At the same concentration, amylin also blocked the insulin response to 9 mM glucose (ca. 80%, P less than 0.025) without affecting the suppressor effect of glucose on glucagon release. The inhibitory effect of amylin on glucose-induced insulin secretion was confirmed by lowering the amylin concentration (500 nM) and increasing the glucose stimulus (11 mM); again, no effect of amylin on glucagon release was observed. Finally, amylin, at 500 nM, reduced the insulin response to 3.5 mM arginine (ca. 40%, P less than 0.025) without modifying the secretion of glucagon elicited by this amino acid. It can be concluded that, in the rat pancreas, the inhibitory effect of homologous amylin on unstimulated insulin secretion, as well as on the insulin responses to metabolic substrates (glucose and arginine), favours the concept of this novel peptide as a potential diabetogenic agent.


Assuntos
Amiloide/farmacologia , Arginina/farmacologia , Glucose/farmacologia , Antagonistas da Insulina/farmacologia , Insulina/metabolismo , Pâncreas/efeitos dos fármacos , Animais , Glucagon/metabolismo , Técnicas In Vitro , Polipeptídeo Amiloide das Ilhotas Pancreáticas , Masculino , Ratos , Ratos Endogâmicos
15.
Diabetes ; 39(8): 996-1001, 1990 Aug.
Artigo em Inglês | MEDLINE | ID: mdl-1695589

RESUMO

Results of studies on the effects of exogenous galanin on islet cell secretion are controversial. Until recently, only pig galanin has been available, and structural dissimilarities among the galanin molecules of different species might have contributed to discrepancies among the study results. Thus, we investigated the influence of synthetic rat galanin (50 nM) on unstimulated insulin, glucagon, and somatostatin release and on the responses of these hormones to arginine (10 mM), glucose (16.6 mM), and vasoactive intestinal polypeptide (VIP; 1 nM) in a homologous animal model, the perfused rat pancreas. In addition, the effect of an equimolar concentration of pig galanin on arginine-induced islet cell secretion was examined. Infusion of rat galanin reduced unstimulated insulin release (approximately 60%, P less than 0.01) and the insulin responses to arginine (approximately 30%, P less than 0.025), glucose (100%, P less than 0.01), and VIP (approximately 80%, P less than 0.025). Galanin also inhibited unstimulated somatostatin secretion (approximately 15%, P less than 0.05) and virtually abolished the somatostatin output evoked by arginine, glucose, and VIP. Conversely, rat galanin increased unstimulated glucagon output (approximately 20%, P less than 0.05), potentiated the glucagon response to arginine (approximately 50%, P less than 0.05) and VIP (approximately 90%, P less than 0.05), and counteracted the suppressor effect of glucose on alpha-cell secretion. Pig galanin inhibited the insulin output elicited by arginine (approximately 45%, P less than 0.05) but did not affect the somatostatin and glucagon responses to the aminogenic stimulus. In conclusion, the opposite effects of galanin on insulin and glucagon secretion favor the concept of galanin as a diabetogenic agent. Galanin also behaves as a potent inhibitor of somatostatin release. Finally, the importance of using homologous galanin to study the biological activity of this peptide must be emphasized.


Assuntos
Glucagon/metabolismo , Insulina/metabolismo , Pâncreas/metabolismo , Peptídeos/farmacologia , Somatostatina/metabolismo , Animais , Arginina/farmacologia , Relação Dose-Resposta a Droga , Galanina , Glucose/farmacologia , Secreção de Insulina , Masculino , Pâncreas/efeitos dos fármacos , Peptídeos/administração & dosagem , Perfusão , Ratos , Ratos Endogâmicos , Peptídeo Intestinal Vasoativo/farmacologia
16.
Artigo em Inglês | MEDLINE | ID: mdl-21869241

RESUMO

A noninductive method for mechanical theorem proving is presented, which deals with a recursive class of theorems involving iterative functions and predicates. The method is based on the symbolic evaluation of the formula to be proved and requires no inductive step. Induction is avoided since a metatheorem is proved which establishes the conditions on the evaluation of any formula which are sufficient to assure that the formula actually holds. The proof of a supposed theorem consists in evaluating the formula and checking the conditions. The method applies to assertions that involve element-by-element checking of typed homogeneous sequences which are hierarchically constructed out of the primitive type consisting of the truth values. The sequences can be computed by means of iterative and ``accumulator'' functions. The paper includes the definition of a simple typed iterative language in which both predicates and functions are expressed. The language precisely defines the scope of the proof method. The method proves a wide variety of theorems about iterative functions on sequences, including that which states that REVERSE is its own inverse, and that it can be inversely distributed on APPEND, that FLATTEN can be distributed on APPEND and that each element of any sequence is a MEMBER of the sequence itself. Although the method is not complete, it does provide the basis for an extremely efficient tool to be used in a complete mechanical theorem prover.

SELEÇÃO DE REFERÊNCIAS
DETALHE DA PESQUISA