Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos

Refinement and initial validation of a multidimensional composite scale for use in assessing acute postoperative pain in cats

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Maxillo-mandibular counter-clockwise rotation and mandibular advancement with TMJ Concepts (R) total joint prostheses Part III - Pain and dysfunction outcomes

47 end-stage TMJ patients with high occlusal plane angulation, treated with TMJ custom-fitted total joint prostheses and simultaneous maxillo-mandibular counter-clockwise rotation were evaluated for pain and dysfunction presurgery (T1) and at the longest follow-up (T2). Patients subjectively rated their facial pain/headache, TMJ pain, jaw function, diet and disability. Objective functional changes were determined by measuring maximum interincisal opening (MIO) and laterotrusive movements. Patients were divided according to the number of previous failed TMJ surgeries: Group 1 (0-1), Group 2 (2 or more). Significant subjective pain and dysfunction improvements (37-52%) were observed (<0.001). MIO increased 14% but lateral excursion decreased 60%. The groups presented similar absolute changes, but Group 2 showed more dysfunction at T1 and T2. For patients who did not receive fat grafts around the prostheses and had previous failure of proplast/teflon and or silastic TMJ implants, more than half required surgery for TMJ debridement and removal of foreign body giant cell reaction and heterotopic bone formation. End-stage TMJ patients can be treated in one operation with TMJ custom-made total joint prostheses and maxillo-mandibular counter-clockwise rotation, for correction of dentofacial deformity and improvement in pain and TMJ dysfunction; Group 1 patients had better results than Group 2 patients.

Postoperative periodontal pain prevention using two dexamethasone medication protocols: A double-blind, parallel-group, placebo-controlled randomized clinical trial

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

Medical conditions and body pain in patients presenting orofacial pain

OBJETIVO: Verificar a frequência de problemas médicos autorrelatados e a frequência de áreas de dor no corpo em pacientes com dor orofacial, comparando-os a pacientes submetidos a tratamento odontológico de rotina. MÉTODOS: Os dados foram coletados dos arquivos da Clínica de Dor Orofacial (Grupo A, n=319) e de clínicas de tratamento odontológico rotineiro (Grupo B, n=84) da Faculdade de Odontologia de Araraquara, São Paulo, Brasil. Os indivíduos responderam a questionários e preencheram um mapa corporal indicando os locais de dor. RESULTADOS: O teste de Mann-Whitney demonstrou que o Grupo A apresentou uma média de relatos de problemas médicos superior ao Grupo B (p=0,004). Para ambos os grupos, o teste de correlação de Pearson demonstrou correlação positiva entre os problemas médicos e a frequência de áreas dolorosas (respectivamente, 0,478, p=0,001 e 0,246, p=0,000). CONCLUSÕES: O Grupo A relatou maior número de problemas médicos e houve correlação positiva entre a frequência desses problemas e a de áreas de dor para ambos os grupos.

Evaluation of different occlusal splints and counselling in the management of myofascial pain dysfunction

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

An epidemiologic study of headaches in brazilian schoolchildren with a focus on pain frequency

O objetivo deste estudo foi avaliar a prevalência e frequência de cefaléia em escolares brasileiros. Um estudo transversal foi conduzido entre Março e Novembro de 2004 em São José do Rio Preto, Estado de São Paulo, Brasil. Uma amostra de 5.232 crianças das escolas foi selecionada utilizando método de amostragem estratificada proporcional. Para a coleta dos dados, um questionário foi entregue nas escolas aos estudantes para ser respondida pelos pais e/ou responsáveis. do total de respostas recebidas, 84,2% relataram cefaléia durante o último ano. Houve diferenças significativas na frequência da queixa de cefaléia entre meninos e meninas. As meninas relataram cefaléias mais frequentes do que os meninos, com prevalência de cefaléias diárias duas vezes maior em meninas. Uma maior frequência de cefaléia foi também relatada com o aumento da idade. O estudo demonstrou que a prevalência de cefaléia foi alta, com uma maior frequência (mensais, semanais e diárias) em meninas e no grupo etário mais velho.

Sleep, stress, neurocognitive profile and healthrelated quality of life in adolescents with idiopathic musculoskeletal pain

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Applications of the hexanic fraction of Agave sisalana Perrine ex Engelm (Asparagaceae): control of inflammation and pain screening

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Carprofen and buprenorphine prevent hyperalgesia in a model of inflammatory pain in cats

A model of nociceptive threshold determination was developed for evaluation of NSAID analgesia in cats. In a crossover study, eight cats received carprofen (4 mg/kg), buprenorphine (0.01 mg/kg) or saline (0.3 ml) subcutaneously before intradermal kaolin injection on the antebrachium to induce mild inflammation. Pressure thresholds were measured at the injected site using blunt-ended pins advanced by manual inflation of a bladder within a bracelet. Bladder pressure was recorded as threshold (PT) at the behavioural end point. Baseline PT were recorded before kaolin injection (time 0). PT was measured at 2-10 h intervals for 52 h. PT below the lower 95% confidence interval (CI) of baseline values indicated hyperalgesia. After saline, hyperalgesia was detected from 2-6 h, 22-26 h, and at 30 and 36 h. After carprofen, PT remained within the 95% CI. After buprenorphine, PT remained within the 95% CI except at 2 h. Carprofen and to some extent buprenorphine, prevented inflammatory hyperalgesia. (C) 2007 Elsevier Ltd. All rights reserved.

Thermography and ultrasonography in back pain diagnosis of equine athletes

The object of the current study was to evaluate the efficacy of thermography and ultrasonography in the diagnosis of thoracolumbar lesions in Quarter Horse athletes and associate the different types of lesions found with the athletic modality practiced. Twenty-four horses were admitted to the Surgery Service for Large Animals of the Veterinary and Animal Science Faculty, UNESP, Botucatu, Brazil, with complaints of back problems. All the horses were submitted for physical examinations to confirm the existence of thoracolumbar alterations and then for thermography and ultrasonography Thermography was used to map the lesioned areas of this region and ultrasonography for lesion characterization. The lesions found were supraspinous desmitis, interspinous desmitis, dorsal intervertebral osteoarthritis, and impingement of the spinous processes or kissing spines. The existence of a relation between the type of event practiced by the horse and the type of lesion found was determined. In horses that competed in the barrel race, a predominance of lesions in the thoracic caudal, thoracolumbar, and cranial lumbar regions occurred, with intervertebral osteoarthritis and interspinous desmitis being the most common. In cutting horses, most of the lesions were observed in the caudal lumbar region, whereas horses competing in reining showed a preferential location for lesions in the middle lumbar, with a predominance of supraspinous desmitis and myositis. Thermography associated with ultrasonography was shown to be efficient in the diagnosis of the thoracolumbar lesions of these horses.

Multidisciplinary approach to chronic pain from myofascial pain dysfunction syndrome: A four-year experience at a Brazilian center

Chronic pain is the major complaint of myofascial pain dysfunction syndrome (MPDS) and is a complex problem which involves physical, psychological and social aspects, the etiology of MPDS is multifactorial and the multidisciplinary approach is essential for differential diagnosis and for comprehensive treatment planning, In 1993, the Dental School of Piracicaba-UNICAMP, Brazil, opened a Center for Pain Studies (CPS), staffed by health care providers including, dentists, psychologists, physicians, physiotherapists and phonoaudiologists. The major aims of the CPS are to provide clinical care and to develop basic and applied research, Sixty-two MPDS patients had been admitted to the CPS by 1997, There were 60 females and 2 males, mean age -32.5 years, the mean duration of chronic pain was 48 months. Pain intensity and unpleasantness were measured employing the Visual Analogue Scale, the tendency to develop stress-related diseases was assessed by the Social Readjustment de Scale, There was a mean reduction of chronic pain of 69.89% and 71.78% relative to intensity and unpleasantness, respectively, the experience of clinical attendance at a multidisciplinary center showed the relevance of a team consisting of health care providers from different specialties with well-established aims, completely integrated and sensitive enough to understand the painful complaints of MPDS patients.

The newborn pain cry: Descriptive acoustic spectrographic analysis

Introduction: Study the characteristics of pain vocal emission of newborns during venepuncture through acoustic analysis and relate it to NIPS pain scale and some variables of the newborns.Methods: Emissions of 111 healthy term newborns were recorded, whose lifetime varied from 24 to 72 h. The acoustic analysis was realized with GRAM 5.7 software verifying the occurrence of tense strangled voice quality, sounds, concentration of acoustic energy, breaks, double harmonic breaks and frequency instability, type of phonation, vocal attack and cough. The NIPS scale was realized during venepuncture and descriptive statistical analysis and correlation through Spearman test.Results: Hundred percent of the emissions had guttural sounds, vowels, hard vocal attack, frequency, breaks, double harmonic breaks and tense strangled voice quality; 34.2% higher fundamental frequency; 62.2% periods of emission absence and 100% occurrence of tracing instability, concentration of acoustic energy, inspiratory and expiratory phonation. The cough occurred in 14.4%. The signs of vocal tract constriction associated with all. The parameters. There was a negative correlation between the higher fundamental frequencies and the weight of newborns and positive correlation between cough and NIPS score.Conclusions: the newborn pain emission is tense and strident, the modifications of frequency and spectrographic tracing and the presence of sounds show laryngeal and vocal tract participation. The smaller the newborn weight, the bigger the presence of higher fundamental frequency with tense strangled voice quality and the bigger the NIPS score, the more frequent the cough. Such characteristics make pain crying peculiar, helping in the evaluation of pain during a procedure. (c) 2006 Elsevier B.V.. All rights reserved.