Erros pré-analíticos em medicina laboratorial: uma revisão sistemática

MENEZES, Patrick Lourenço. Erros pré-analíticos em medicina laboratorial: uma revisão sistemática. 2013. 98 f. Dissertação (Mestrado em Saúde, Medicina Laboratorial e Tecnologia Forense) - Instituto de Biologia Roberto Alcântara Gomes, Universidade do Estado do Rio de Janeiro, Rio de Janeiro, 2013. A relevância evidente dos erros pré-analíticos como problema de saúde pública fica patente tanto no dano potencial aos pacientes quanto nos custos ao sistema de saúde, ambos desnecessários e evitáveis. Alguns estudos apontam que a fase pré-analítica é a mais vulnerável a erros, sendo responsável por, aproximadamente, 60 a 90% dos erros laboratoriais em consequência da falta orientação aos pacientes sobre os procedimentos que serão realizados no laboratório clínico. Objetivos: Sistematizar as evidências científicas relacionadas aos erros pré-analíticos dos exames laboratoriais de análises clínicas. Método: Uma revisão sistemática foi realizada, buscando as bases de dados do Medical Literature Analysis and Retrieval System Online (MEDLINE), Scopus(que inclui MEDLINE e Embase), ISI Web of Knowledge, SciFinder, Literatura Latino-Americana e do Caribe em Ciências da Saúde (Lilacs) (que inclui a Scientific Electronic Library Online SciELO) e o Índice Bibliográfico Espanhol de Ciências de Saúde (IBECS), para artigos publicados entre janeiro de 1990 e junho de 2012 sobre erros de exames laboratoriais que possam ocorrer na fase pré-analítica. Os estudos foram incluídos de acordo com os seguintes exames laboratoriais: hemograma, análise bioquímica do sangue total ou do soro, exames de coagulação sanguínea,uroanálise e exames hematológicos ou bioquímicos em outros materiais e categorizados pelo tipo de erro pré-analítico e pela frequência dos incidentes. Resultados: A busca nas bases de dados bibliográficas resultou no seguinte número de artigos recuperados: 547 na MEDLINE, 229 na Scopus, 110 na ISI, 163 na SciFinder, 228 na Lilacs e 64 na IBECS, perfazendo um total de 1.341 títulos. Ao fim da revisão sistemática, obteve-se um conjunto de 83 artigos para leitura de texto completo, dos quais 14 foram incluídos na revisão. Os estudos abrangeram diferentes tipos de laboratórios, setores técnicos e origem de erros, segundo a fase do processo laboratorial. Discussão: Sete artigos demonstraram erros de pedidos médicos, com uma alta variabilidade nos valores de incidência. Os seis artigos que estudaram erros de coleta de amostra observaram redução deste desfecho. As proporções de eventos adversos relatados e os impactos clínicos variaram, levando a consequências descritas como: erros decorrentes da flebotomia, recoleta de amostras, repetições de exames, atrasos na liberação de resultados de exames e possíveis danos ao paciente. Conclusões: O laboratório deve ter instruções por escrito para cada teste, que descreva o tipo de amostra e procedimento de coleta de amostra. Meios de identificação por código de barras, sistemas robóticos e analíticos reduzem os erros pré-analíticos. A melhoria da fase pré-analítica de testes laboratoriais permanece um desafio para muitos laboratórios clínicos.

Caracterização da microbiota envolvida nos processos aeróbios (lodos ativados) e anaeróbios (UASB) de uma indústria de alimentos.

O aumento da concentração de nutrientes nos corpos receptores, principalmente nitrogênio e fósforo oriundos de efluentes sanitários e industriais pode gerar o fenômeno da eutrofização. Para que isto não ocorra é necessário que este efluente passe por um tratamento adequado, no entanto, o papel desempenhado por diversos grupos de microrganismos encontrados nos sistemas de tratamento de efluentes não é completamente compreendido devido à complexidade das interações. Este trabalho teve como objetivo caracterizar a estrutura e dinâmica da comunidade microbiana (bactérias envolvidas no ciclo do nitrogênio e microfauna) e avaliar a atividade biológica dos reatores aeróbio e anaeróbio de uma indústria de alimentos. Os parâmetros físico-químicos da estação de tratamento foram monitorados, bem como foi feita a avaliação da estrutura e dinâmica da comunidade bacteriana envolvida no ciclo do nitrogênio por meio da técnica de Hibridização in situ Fluorescente. A microfauna do reator aeróbio foi caracterizada e classificada conforme o Índice Biótico do Lodo. A atividade biológica do lodo foi avaliada através do Teste de Respirometria e foram feitas correlações entre a microbiota encontrada no reator aeróbio e parâmetros físico-químicos. Os parâmetros físico-químicos analisados estiveram dentro dos limites permitidos pelas legislações federais e estaduais e os parâmetros Demanda Bioquímica de Oxigênio, Demanda Química de Oxigênio e Nitrogênio Kjeldahl foram reduzidos de 99,8%, 99,6% e 74,9%, respectivamente. Foi possível observar a presença tanto de bactérias oxidadoras de nitrito quanto de amônia em ambos os reatores analisados, bem como em cada ponto de coletas dentro dos reatores. A bactéria Pseudomonas fluorescens também ocorreu em todos os pontos de coleta dos dois reatores. Dentre os grupos que compõem a microfauna do lodo ativado, os ciliados rastejantes foram os mais frequentes, seguido pelas tecamebas, rotíferos, ciliados sésseis, ciliados livre natantes, flagelados e outros invertebrados. Além disso, não houve diferença entre as densidades dos grupos encontradas nos Pontos 1 e 2 do reator aeróbio e o Índice Biótico do Lodo encontrado foi igual a 8 (classe I). A semelhança apresentada entre a Taxa de Consumo de Oxigênio dos pontos 1 e 2, bem como a Taxa de Consumo de Oxigênio específica entre os pontos 1 e 2 sugere que o oxigênio é distribuído de forma homogênea dentro do tanque de aeração, fazendo com que os microrganismos tenham condições semelhantes de crescimento. Os ciliados livre natantes apresentaram correlação positiva com a DQO e DBO5 e os ciliados sésseis apresentaram correlação negativa com a DQO e com a DBO5. Os rotíferos apresentaram correlação negativa com Sólidos Suspensos Voláteis do reator aeróbio. Os ciliados rastejantes, tecamebas e rotíferos apresentaram correlação positiva com a microfauna total encontrada no reator aeróbio. Os ciliados livre natantes apresentaram correlação negativa com os ciliados sésseis, bactérias totais, Nitrobacter e outras bactérias; e correlação positiva com outros invertebrados. Os flagelados apresentaram correlação negativa com as bactérias totais, enquanto as outras bactérias apresentaram correlação positiva. Os outros invertebrados apresentaram correlação negativa com Nitrobacter.

Avaliação da função pulmonar em indivíduos obesos ou com sobrepeso e síndrome metabólica antes, três e seis meses após a colocação de balão intragástrico

Neste trabalho, buscou-se avaliar se o uso do balão intragástrico (BI) durante um período de seis meses por pacientes obesos ou com sobrepeso e com síndrome metabólica (SM) traz melhora nos parâmetros de função pulmonar, distribuição da gordura corporal e SM. Trata-se de um estudo longitudinal e intervencionista com indivíduos adultos que foram submetidos à avaliação antropométrica, da bioquímica sérica, dos parâmetros de função pulmonar e do padrão de distribuição da gordura corporal, antes da instalação do BI, durante o acompanhamento de seis meses e após a sua retirada. Nos dados obtidos três meses após a colocação do BI, os pacientes apresentaram aumento da capacidade de difusão ao monóxido de carbono com correlação positiva entre esta e o percentual total de gordura corporal (rs=0,39; p=0,05), o padrão ginoide (rs=0,41; p=0,05) e o padrão torácico (rs=0,42; p=0,01). Também foi observado que, após três meses da colocação do BI, houve redução significativa do índice de massa corpórea (IMC) (p=0,0001) e da força muscular inspiratória (p=0,009). Também houve aumento significativo da capacidade vital forçada (CVF) (p=0,0001), da capacidade pulmonar total (CPT) (p=0,001) e do volume de reserva expiratório (VRE) (p=0,0001). Ao fim do estudo, foi observada elevação estatisticamente significante da CPT (p=0,0001), capacidade residual funcional (p=0,0001), volume residual (VR) (p=0,0005) e VRE (p=0,0001). Também foi observada redução significativa do IMC, cuja mediana passou de 39,1 kg/m2 no início da avaliação para 34,5 kg/m2 no final dos seis meses (p=0,0001). Ao fim do estudo, 31 pacientes (77,5%) não apresentavam mais critérios diagnósticos para SM. Em relação aos parâmetros de distribuição da gordura corporal, também houve mudanças importantes com redução significante (p=0,0001) do percentual de gordura nos quatro padrões analisados (tronco, androide, ginoide e total). Houve correlação significante entre o delta da CPT e o delta da circunferência abdominal (ρ=-0,34; p=0,03), entre o delta da CRF e o delta do IMC (ρ=-0,39; p=0,01) e entre o delta do VRE e os deltas do IMC (ρ=-0,44; p=0,005) e do colesterol HDL (ρ=-0,37; p=0,02). Também houve correlação significante entre o delta do VRE com os deltas das gorduras de tronco (ρ=-0,51; p=0,004), androide (ρ=-0,46; p=0,01), ginoide (ρ=-0,55; p=0,001) e total (ρ=-0,59; p=0,0005).

Caracterização de Bacilos Gram-Negativos Não Fermentadores não usuais em bacteremias pelas técnicas de Matrix-Assisted Laser Desorption IonizationTime of Flight Mass Spectrometry, sequenciamento de DNA e método fenotípico convencional

Alguns Bastonetes Gram-negativos não fermentadores (BGNNF) costumam ser considerados clinicamente pouco significantes e a sua implicação em infecções é subestimada. Devido à similaridade fenotípica, mudanças taxonômicas, baixa reatividade bioquímica e limitações nos bancos de dados em sistemas comerciais, a identificação de BGNNF é frequentemente equivocada, culminando com a denominação de diferentes micro-organismos apenas como BGNNF, por falta de melhor diferenciação. O objetivo desse estudo foi avaliar, por métodos fenotípico convencional, proteômico e molecular, a identificação de BGNNF incomuns isolados em hemoculturas de pacientes atendidos em um hospital universitário no Rio de Janeiro. Foram selecionadas 78 amostras isoladas de hemoculturas caracterizadas no laboratório clinico como BGNNF para a identificação por sequenciamento dos genes 16S RNA e recA, por um conjunto amplo de testes fenotípicos manuais e por MALDI-TOF MS. Os micro-organismos predominantes na amostragem foram genotipados pela técnica de eletroforese em gel de campo pulsado (PFGE). Pelo sequenciamento do gene 16S rRNA, a maioria das amostras (n=31; 40%) foi incluída no gênero Burkholderia, seguido de Pseudomonas stutzeri (10%) e Delftia acidovorans (4%). Os demais isolados foram agrupados em 27 diferentes espécies. O sequencimento do gene recA identificou a maioria das espécies de Burkholderia como Burkholderia contaminans (n=19; 24%). Os testes fenotípicos incluíram as 31 amostras apenas no CBc e para as outras 47 amostras, a concordância com o sequenciamento do gene 16S rRNA em nível de espécie foi de 64% (n=30) e apenas em gênero a concordância foi de 17% (n=8). A análise comparativa geral da identificação por MALDI-TOF MS com o sequenciamento do gene16S rRNA mostrou que 42% (n=33) das 78 amostras foram concordantes em nível de espécie e 45% (n=35) apenas em gênero. Excluindo as amostras do CBc, houve um aumento da concordância em nível de espécie para 60%. As discordâncias parecem ser devido às diferenças nos perfis proteicos das amostras em relação às amostras-referência do banco de dados do equipamento e podem ser aprimorados com a atualização de perfis no sistema. A análise do polimorfismo genético de B. contaminans mostrou a ausência de um clone disseminado causando surto, além da provável origem ambiental das infecções. Os setores de nefrologia e hemodiálise contribuíram com maior número de pacientes com amostras positivas (5 pacientes e 9 amostras). Os grupos clonais BcoD e BcoE foram encontrados em pacientes assistidos no mesmo setor com diferença de quatro meses (BcoD, nefrologia) e 1,5 ano (BcoE, hemodilálise), entre as culturas, respectivamente. As discordâncias entre as técnicas ocorreram principalmente devido a dificuldade de identificação das espécies do CBc. Os BGNNF incomuns são de difícil caracterização independente da metodologia usada e nenhum método por si só foi capaz de identificar todas as amostras.

Efeitos transgeracionais da restrição materna de vitamina D em camundongos: rim e metabolismo da glicose

A vitamina D, atualmente, é relacionada também ao metabolismo da glicose e o desenvolvimento de órgãos. Fêmeas de camundongos suíços (F0) foram alimentadas por uma das dietas experimentais: SC (dieta padrão) ou VitD- (dieta sem vitamina D). A prole de machos foi estudada nas idades: nascimento, 10 dias, desmame e seis meses, nas gerações F1 e F2. Avaliou-se a biometria [Massa Corporal (MC), Comprimento nasoanal (CNA) e Pressão Arterial (PA)], urina de 24 horas, glicemia e Teste Oral de Tolerância à Glicose (TOTG). Durante a eutanásia, o sangue foi coletado para análise bioquímica e os tecidos foram removidos para análise estereológica, morfométrica e Western blotting (WB). Não houve diferença de MC ao nascimento. Ao desmame, o grupo F2-VitD- teve maior MC que F2-SC (P=0,03) e aos seis meses, os grupos F1 e F2-VitD- tiveram MC mais elevada (P<0,05 vs SC). A PA foi crescente na prole VitD-, sendo maior em F1-VitD- (P=0,001). A glicemia e TOTG foram alterados somente na F1-VitD-, seguida de esteatose hepática (+99%), hipertrofia da ilhota pancreática (+40%) e elevação do triglicerídeo sanguíneo (P<0,01). O WB de fígado mostrou elevação de FAS (+18%, P<0,01), no grupo com esteatose. Curiosamente, embora a F2-VitD- tenha apresentado elevação de MC, somente o colesterol total fora alterado (P<0,05). Quanto à nefrogênese, houve 50% mais glomérulos imaturos em F1-VitD- que F1-SC (P<0,0001). Porém, na F2 houve aumento somente de 20% (P<0,001). Aos 10 dias, F1-VitD- teve 150% mais glomérulos imaturos e 25% mais glomérulos maduros que SC-F1 (P<0,0001). O WB de rim mostrou que a prole F1-VitD- apresentou maior expressão de renina, ao desmame e aos seis meses, enquanto que a expressão de podocina foi reduzida (P=0,0004). Não houve diferença na análise de WT1. A restrição materna em vitamina D altera a morfologia do pâncreas e fígado, com resistência à insulina, altera a expressão renal de importantes fatores, assim como retarda a maturação glomerular estendendo o período da nefrogênese, principalmente na geração F1.

Carboxilesterase na adaptação do metabolismo de lipídios do pacu à hipoxia

Os peixes são vertebrados que vivem em vários habitats. Adaptações de sua fisiologia e de sua bioquímica são estudadas para entender como conseguem sobreviver aos desafios presentes em cada ambiente. A diminuição da concentração de oxigênio dissolvido na água é um fenômeno natural cíclico em águas do Pantanal e da Amazônia. A crescente poluição antrópica dos rios da Amazônia e do Pantanal pode, somada à hipoxia, oferecer ameaça à permanência de muitas espécies de peixes. Ao estudarmos a carboxilesterase (CarbE), enzima importante para a biotransformação de xenobióticos, observamos que sua atividade diminuía em plasma de pacu, um peixe típico do Pantanal, mantido em hipoxia durante 42 horas. As carboxilesterases participam de inúmeras reações químicas no organismo, incluindo uma transesterificação capaz de produzir ésteres etílicos tóxicos de ácido graxo (FAEE, fatty acid ethyl esters) a partir de etanol e ésteres de ácidos graxos. Já que a diminuição da atividade de CarbE poderia ser uma vantagem, pois que o etanol (um produto da glicólise em peixes sob hipoxia) seria menos esterificado, resolvemos saber mais sobre a bioquímica da CarbE do plasma e do fígado de pacus. Os pacus foram submetidos à hipoxia por diminuição da concentração até 0,5 mg O2/L por meio de borbulhamento de nitrogênio na água. Os animais ficaram nessas condições por 42 horas, quando então coletamos sangue e retiramos seus fígados. A atividade de CarbE ensaiada foi 50% menor no soro e 25% menor nos microssomos de fígado se comparada com a de peixes sob 6 mg O2/L. A CarbE isolada do soro dos pacus em normoxia possui massa molecular relativa de 56.000. A eletroforese em gel desnaturante com a fração purificada rendeu três bandas, mas o gel nativo apresentou só duas bandas com atividades sobre α-naftil acetato. Inferimos que mais do que uma isoforma da enzima está no plasma dos pacus. A CarbE isolada do soro não possui atividade de lipase sobre o Tween 20, mas os microssomos dos fígados dos animais em normoxia e hipoxia possuem. No entanto, a CarbE possui atividade sobre acil-CoA assim como o microssomo de fígado. A enzima pura apresenta Vmáx três vezes maior e uma KM quatro vezes maior do que a atividade presente nos microssomos. Além disso, os microssomos do fígado dos pacus em normoxia podem hidrolisar acil-CoA com o dobro da velocidade daqueles em hipoxia. A atividade clássica de CarbE do soro foi inibida por 4-HNE a 4 mM. A atividade de acil-CoA dos microssomos de fígado também foi sensível a 4-HNE a 4 mM, enquanto 2 mM de 4-HNE inibiu metade desta atividade do soro.

ISOLATION AND PROPERTIES OF A BLOOD-COAGULATION FACTOR-X ACTIVATOR FROM THE VENOM OF KING COBRA (OPHIOPHAGUS HANNAH)

A specific blood coagulation factor X activator was purified from the venom of Ophiophagus hannah by gel filtration and two steps of FPLC Mono-Q column ion-exchange chromatography. It showed a single protein band both in sodium dodecyl sulfate-polyacrylamide gel electrophoresis (SDS-PAGE) and alkaline polyacrylamide gel electrophoresis. The mol. wt was estimated to be 62,000 in non-reducing conditions and 64,500 in reducing conditions by SDS-PAGE. The isoelectric point was found to be pH 5.6. The enzyme had weak amidolytic activities toward CBS 65-25, but it showed no activities on S-2266, S-2302, thrombin substrate S-2238, plasmin substrate S-2251 or factor Xa substrate S-2222. It had no arginine esterase activity toward substrate benzoylarginine ethylester (BAEE). The enzyme activated factor X in vitro and the effect was absolutely Ca2+ dependent, with a Hill coefficient of 6.83. It could not activate prothrombin nor had any effect on fibrinogen and thus appeared to act specifically on factor X. The procoagulant activity of the enzyme was almost completely inhibited by serine protease inhibitors like PMSF, TPCK and soybean trypsin inhibitor; partially inhibited by L-cysteine. Metal chelator EDTA did not inhibit its procoagulant activity. These results suggest that the factor X activator from O. hannah venom is a serine protease.

AN ACTIVATOR OF BLOOD-COAGULATION FACTOR-X FROM THE VENOM OF BUNGARUS-FASCIATUS

A specific activator of blood coagulation factor X was purified from the venom of Bungarus fasciatus by gel filtration and by ion-exchange chromatography on a Mono-Q column (FPLC). It consisted of a single polypeptide chain, with a mel. wt of 70,000 in reducing and non-reducing conditions. The enzyme had an amidolytic activity towards the chromogenic substrates S-2266 and S-2302 but it did not hydrolyse S-2238, S2251 or S-2222, which are specific substrates for thrombin, plasmin and factor Xa, respectively. The enzyme activated factor X in vitro and the effect was Ca2+ dependent with a Hill coefficient of 7.9. As with physiological activators, the venom activator cleaves the heavy chain of factor X, producing the activated factor Xa alpha. The purified factor X activator from B. fasciatus venom did not activate prothrombin, nor did it cleave or clot purified fibrinogen. The amidolytic activity and the factor X activation activity of the factor X activator from B. fasciatus venom were readily inhibited by serine protease inhibitors such as diisopropyl fluorophosphate (DFP), phenylmethanesulfonyl fluoride (PMSF), benzamidine and by soybean trypsin inhibitor but not by EDTA. These observations suggest that the factor X activator from B. fasciatus venom is a serine protease. It therefore differs from those of activators obtained from Vipera russelli and Bothrops atrox venoms, which are metalloproteinases.

菜花烙铁头蛇毒中一种具有激肤释放酶与纤维蛋白原溶酶活性的Jerdonase

通过DEAF Sephadex t-50阴离子交换、超细Sephadex 6100分子筛和反相高效液相CQ色谱层析，从菜花烙铁头蛇毒冻干粉中纯化出一种具有激肤释放酶活性和。纤维蛋白原溶酶活性的丝氨酸蛋白酶，命名为Jerdonase。在12 .5%胶浓度的SD6还原电泳条件下，该酶分子量大约为55 kD，在非还原电泳条件下，分子量大约为53 kD。此酶是一种糖蛋白，含有约35 .8%的中性糖。它的N末端氨基酸序列为IIGGDEENINEHPFLVALYDA，其序列和蛇毒中其他丝氨酸蛋白酶具有非常高的序列相似性。Jerdonase能够催化BAEE、 S-2238和S-2302的水解，其水解活性可被PMSF抑制，但是EDTA对此没有影响。Jerdonase能优先水解人纤维蛋白原的An链，同时伴随有微弱的B[3链水解活性。另外，此酶能够水解牛低分子量的激肤原，释放舒缓激肤。总之，所有的结果表明Jerdonase是一个具有多功能活性的蛇毒丝氨酸蛋白酶。

Jerdonase, a novel serine protease with kinin-releasing and fibrinogenolytic activity from Trimeresurus jerdonii venom

A novel kinin-releasing and fibrin (ogen)olytic enzyme termed jerdonase was purified to homogeneity from the venom of Trimeresurus jerdonii by DEAE Sephadex A-50 anion exchange, Sephadex G-100 (superfine) gel filtration and reverse-phase high performance liquid chromatography (RP-HPLC). Jerdonase migrated as a single band with an approximate molecular weight of 55 kD under the reduced conditions and 53 kD under the non-reduced conditions. The enzyme was a glycoprotein containing 35.8% neutral carbohydrate. The N-terminal amino acid sequence of jerdonase was determined to be IIGGDECNINEHPFLVALYDA, which showed high sequence identity to other snake venom serine proteases. Jerdonase catalyzed the hydrolysis of BAEE, S-2238 and S-2302, which was inhibited by phenymethylsulfonyl fluoride (PMSF), but not affected by ethylenediaminetetraacetic acid (EDTA). Jerdonase preferentially cleaved the Aalpha-chain of human fibrinogen with lower activity towards Bbeta-chain. Moreover, the enzyme hydrolyzed bovine low-molecular-mass kininogen and releasing bradykinin. In conclusion, all results indicated that jerdonase was a multifunctional venom serine protease.

扫描电镜细胞样品制备方法的改进

国家自然科学基金资助项目 (30 170 72 6 ) ; 86 3计划项目 (2 0 0 1AA6 2 6 0 30和 2 0 0 2AA6 2 6 0 10 ) ) ; 中国科学院及其水生生物研究所院创新项 目 (KSCX2 SW 30 2和 2 2 0 313)

东亚低等鲤科鱼类细胞色素b基因序列测定及系统发育

采用PCR技术获得了14种主要分布于东亚的低等鲤科鱼类细胞色素b基因的全序列. 所得1 140 bp细胞色素b基因序列与10种取自GenBank, 分布在北美和欧洲的相关鲤科鱼类的同一基因序列一起排序后, 得到了24种鲤科鱼类的DNA序列矩阵. 此矩阵经过最大似然(maximum likelihood)法计算后获得了低等鲤科及相关种类的系统发育分支图解. 分支系统图显示鲤科的雅罗鱼亚科和亚科鱼类并不形成单系类群. 亚科鱼类中的马口鱼、等是原始的鲤科鱼类, 处于分支图的基部. 而其余的亚科鱼类则分散

AMPS modeling of light J-V characteristics of a-Si based solar cells

AMPS (Analysis of microelectronic and photonic structures) mode,which was developed by Pennsylvania State University, has been used to module the light J-V characteristics of a-Si solar cells with a structure of TCO/p-a-SiC:H/i-a-Si:H/n-a-Si:H/ metal. The effects of valence band offset and contact barriers at p/i and TOC/p, n/metal interfaces on the light J-V characteristics have been examined. The modeling has qualitatively categorized and explained the non-ideal J-V behaviors (rollover, crossover, Voc shift,and rollunder) observed in a-Si based solar cells.

可满足性问题研究

数理逻辑是计算机科学的基础，而逻辑公式的可满足性问题是计算机科学和人工智能领域中的一个著名而又重要的问题。它在计算机科学和人工智能研究中有广泛的应用。本文将重点介绍实际可用的判定算法及其相关技术。 本文的研究分两大方向，分别是命题逻辑的可满足性问题研究和一阶逻辑的可满足性问题研究。命题逻辑的可满足性问题（Satisfiability Problem）是一个历史悠久的问题，一般简称为 SAT问题。SAT 问题的求解算法有两大类，分别是确定性算法和非确定性算法。本文只研究确定性算法的相关内容，尤其是如何进行剪枝。我们充分调研了SAT求解算法和求解工具的相关知识，在此基础上，提出了local Lemma 这个剪枝技术，该技术可以更加充分地挖掘剪枝信息，达到进行更多剪枝的目的。 在一阶逻辑的可满足性问题研究方面，本文采取直接搜索可行的一阶逻辑模型的方法研究有限论域上的一阶逻辑的可满足性问题。该方法本质上就是深度优先的回溯搜索。因此，我们的研究重点就是如何找到问题的更高效的一阶逻辑的表示以及如何采用启发式的方式进行剪枝。在这个问题上，我的主要工作有两个：一个是模型搜索中适用于谓词的同构消去技术，包括Row by Row策略和Ramsey Number 策略两个技术；另一个是 DASH（Decision Assignment Scheme Heuristic），用来在生成有限模型的时候边搜索边消除同构子空间。DASH 能用近乎零代价保证输出的模型都是互不同构的。这两个技术都是基于有限论域中的元素的固有对称性，换言之，就是需要有限论域中的元素是两两可交换的。 在已有的成果的基础上，我们又尝试使用它们去求解一些数学中的实际问题，如拟群拉丁方，有限射影平面，正交拉丁方（组）等。我们给出了在这几个方面的一些尝试和初步结果，包括一个重要的定理和若干效率提高了几个数量级的改进。 值得一提的是，和马菲菲共同提出的横截矩阵（Transversal Matrix）概念是一个新颖的成果，使得正交拉丁方的表示和求解取得了明显的改进。在这个概念的基础上，进一步给出了几个定理，进行了理论上的拓展。实验数据表明，我们的求解途径和技术能有效解决拉丁方相关的问题。