Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.

Standardization of the Electromyographic Signal Through the Maximum Isometric Voluntary Contraction

The objective of this study was to analyze the electromyographic (EMG) data, before and after normalization. One hundred (100) normal subjects (with no signs and symptoms of temporomandibular disorders) participated in this study. A surface EMG of the masticatory muscles was performed. Two different tests were performed: maximum voluntary clench (MVC) on cotton rolls and MVC in intercuspal position. The normalization was done using the mean value of the EMG signal of the first examination. The coefficient of variation CV showed lower values for the standardized data. The standardization was effective in reducing the differences between records from the same subject and in different subjects.

Masticatory muscle activity during maximum voluntary clench in different research diagnostic criteria for temporomandibular disorders (RDC/TMD) groups

The research diagnostic criteria for temporomandibular disorders (RDC/TMD) are used for the classification of patients with temporomandibular disorders (TMD). Surface electromyography of the right and left masseter and temporalis muscles was performed during Maximum teeth clenching in 103 TMD patients subdivided according to the RDC/TMD into 3 non-overlapping groups: (a) 25 myogenous; (b) 61 arthrogenous; and (c) 17 psycogenous patients. Thirty-two control subjects matched for sex and age were also measured. During clenching, standardized total muscle activities (electromyographic potentials over time) significantly differed: 131.7 mu V/mu V s % in the normal subjects, 117.6 mu V/mu V s % in the myogenous patients, 105.3 mu V/mu V s % in the arthrogenous patients, 88.7 mu V/mu V s % in the psycogenous patients (p < 0.001, analysis of covariance). Symmetry in the temporalis muscles was larger in normal subjects (86.3%) and in myogenous patients (84.9%) than in arthrogenous (82.7%), and psycogenous patients (80.5%) (p=0.041). No differences were found for masseter muscle symmetry and torque coefficient (p>0.05). Surface electromyography of the masticatory muscles allowed an objective discrimination among different RDC/TMD subgroups. This evaluation could assist conventional clinical assessments. (C) 2007 Elsevier Ltd. All rights reserved.

Using Theory to Understand the Multiple Determinants of Low Participation in Worksite Health Promotion Programs

Low participation at the employee or worksite level limits the potential public health impact of worksite-based interventions. Ecological models suggest that multiple levels of influence operate to determine participation patterns in worksite health promotion programs. Most investigations into the determinants of low participation study the intrapersonal, interpersonal, and institutional influences on employee participation. Community- and policy-level influences have not received attention, nor has consideration been given to worksite-level participation issues. The purpose of this article is to discuss one macrosocial theoretical perspective—political economy of health—that may guide practitioners and researchers interested in addressing the community- and policy-level determinants of participation in worksite health promotion programs. The authors argue that using theory to investigate the full spectrum of determinants offers a more complete range of intervention and research options for maximizing employee and worksite levels of participation.

Co-activation of the abdominal and pelvic floor muscles during voluntary exercises

The response of the abdominal muscles to voluntary contraction of the pelvic floor (PF) muscles was investigated in women with no history of symptoms of stress urinary incontinence to determine whether there is co-activation of the muscles surrounding the abdominal cavity during exercises for the PF muscles. Electromyographic (EMG) activity of each of the abdominal muscles was recorded with fine-wire electrodes in seven parous females. Subjects contracted the PF muscles maximally in three lumbar spine positions while lying supine. In all subjects. the EMG activity of the abdominal muscles was increased above the baseline level during contractions of the PF muscles in at least one of the spinal positions. The amplitude of the increase in EMG activity of obliquus externus abdominis was greatest when the spine was positioned in flexion and the increase in activity of transversus abdominis was greater than that of rectus abdominis and obliquus externus abdominis when the spine was positioned in extension. In an additional pilot experiment. EMG recordings were made from the pubococcygeus and the abdominal muscles with fine-wire electrodes in two subjects during the performance of three different sub-maximal isometric abdominal muscle maneuvers. Both subjects showed an increase in EMG activity of the pubococcygeus with each abdominal muscle contraction. The results of these experiments indicate that abdominal muscle activity is a normal response to PF exercise in subjects with no symptoms of PF muscle dysfunction and provide preliminary evidence that specific abdominal exercises activate the PF muscles. Neurourol. Urodynam. 20:31-42, 2001. (C) 2001 Wiley-Liss, Inc.