A framework for specification and analysis of software architectures

Software architecture is the abstract design of a software system. It plays a key role as a bridge between requirements and implementation, and is a blueprint for development. The architecture represents a set of early design decisions that are crucial to a system. Mistakes in those decisions are very costly if they remain undetected until the system is implemented and deployed. This is where formal specification and analysis fits in. Formal specification makes sure that an architecture design is represented in a rigorous and unambiguous way. Furthermore, a formally specified model allows the use of different analysis techniques for verifying the correctness of those crucial design decisions. ^ This dissertation presented a framework, called SAM, for formal specification and analysis of software architectures. In terms of specification, formalisms and mechanisms were identified and chosen to specify software architecture based on different analysis needs. Formalisms for specifying properties were also explored, especially in the case of non-functional properties. In terms of analysis, the dissertation explored both the verification of functional properties and the evaluation of non-functional properties of software architecture. For the verification of functional property, methodologies were presented on how to apply existing model checking techniques on a SAM model. For the evaluation of non-functional properties, the dissertation first showed how to incorporate stochastic information into a SAM model, and then explained how to translate the model to existing tools and conducts the analysis using those tools. ^ To alleviate the analysis work, we also provided a tool to automatically translate a SAM model for model checking. All the techniques and methods described in the dissertation were illustrated by examples or case studies, which also served a purpose of advocating the use of formal methods in practice. ^

Assessment of anxiety sensitivity in depressed, older patients and its relation to hypochondriacal concerns

Anxiety disorders in older adults are often overlooked as part of other mental disorders or as part of medical illnesses. Theoretically, anxiety sensitivity is a common component in anxiety disorders, a personality construct and a fundamental fear. Anxiety sensitivity was assessed in a sample of older adults: 53 depressed, M age = 78.8 years; and 53 healthy controls, M age = 70.9 years. This study examined whether anxiety sensitivity: (1) explained unique variance beyond that explained by trait anxiety, (2) was observed in the depressed group in levels similar to individuals who suffer from non-panic, anxiety disorders, and (3) correlated with current number of medical illnesses, previous number of medical illnesses, and hypochondriasis. The results indicated that anxiety sensitivity: predicted hypochondriasis better than trait anxiety, was present in the depressed group similarly to individuals suffering from non-panic, anxiety disorders, and was strongly associated with hypochondriacal concerns. ^

Stressors, mediators, and health care outcomes of home enteral nutrition in family caregivers and their older adult care recipients

Family caregivers manage home enteral nutrition (HEN) for over 77% of an estimated 1 of every 400 Medicare recipients. Increasing usage of HEN in older adults combined with reliance on family caregivers raises concerns for the quality, outcomes, and costs of care. These concerns are relevant in light of Medicare limitations on nursing assistance and non-reimbursement for nutrition services, despite annual costs of over $600 million. This study applied stress process theories to assess stressor, mediator, and outcome variables salient to HEN and caregiving. In-home structured interviews occurred with a multi-ethnic sample of 30 caregiving dyads at 1–3 months after discharge on HEN. Care recipients were aged ≥60 (M = 68.4 years) and did not have dementia. Caregivers were aged ≥21, unpaid, and lived within 45 minutes of care recipients. Caregivers performed an average of 19.7 tasks daily for 61.9 hours weekly. Training needs were identified for 33 functional, care management, technical, and nutritional tasks. Preparedness scores were low (M = 1.73/4.0), and positively correlated with competence, self-rated quality of care and positive feelings, and negatively with overload, role captivity, and negative feelings (Ps < .05). Caregivers had multiple changes in lifestyle and dietary behaviors. Lifestyle changes positively correlated with overload, and negatively with preparedness and positive feelings. Dietary changes positively correlated with number of tasks, overload, role captivity and negative feelings, and negatively with preparedness (Ps < .01). Fifty-seven percent of caregivers aged >50 were at nutrition risk. Care recipients fared worse. Average weight change was −4.35 pounds (P < .001). Physical complications interrupted daily enteral infusions. Water intake was half of fluid need and associated with signs of dehydration (P < .001). Physical and social function was poor, with older subjects more impaired ( P < .04). Those with better prepared or less overloaded caregivers had higher functionality and QOL (P < .002). Complications, type of feeding tube, and caregiver preparedness correlated with frequency of health care utilization (Ps < .05). Efficacy of HEN in older adults requires specialized caregiver training, attention to caregivers' needs, and frequent monitoring from a highly skilled multidisciplinary team including dietitians. ^

Multiple predator effects and native prey responses to two non-native Everglades cichlids

Non-native predators may have negative impacts on native communities, and these effects may be dependent on interactions among multiple non-native predators. Sequential invasions by predators can enhance risk for native prey. Prey have a limited ability to respond to multiple threats since appropriate responses may conflict, and interactions with recent invaders may be novel. We examined predator–prey interactions among two non-native predators, a recent invader, the African jewelfish, and the longer-established Mayan cichlid, and a native Florida Everglades prey assemblage. Using field enclosures and laboratory aquaria, we compared predatory effects and antipredator responses across five prey taxa. Total predation rates were higher for Mayan cichlids, which also targeted more prey types. The cichlid invaders had similar microhabitat use, but varied in foraging styles, with African jewelfish being more active. The three prey species that experienced predation were those that overlapped in habitat use with predators. Flagfish were consumed by both predators, while riverine grass shrimp and bluefin killifish were eaten only by Mayan cichlids. In mixed predator treatments, we saw no evidence of emergent effects, since interactions between the two cichlid predators were low. Prey responded to predator threats by altering activity but not vertical distribution. Results suggest that prey vulnerability is affected by activity and habitat domain overlap with predators and may be lower to newly invading predators, perhaps due to novelty in the interaction.

The development of calibrants through characterization of volatile organic compounds from peroxide based explosives and a non-target chemical calibration compound

Detection canines represent the fastest and most versatile means of illicit material detection. This research endeavor in its most simplistic form is the improvement of detection canines through training, training aids, and calibration. This study focuses on developing a universal calibration compound for which all detection canines, regardless of detection substance, can be tested daily to ensure that they are working with acceptable parameters. Surrogate continuation aids (SCAs) were developed for peroxide based explosives along with the validation of the SCAs already developed within the International Forensic Research Institute (IFRI) prototype surrogate explosives kit. Storage parameters of the SCAs were evaluated to give recommendations to the detection canine community on the best possible training aid storage solution that minimizes the likelihood of contamination. Two commonly used and accepted detection canine imprinting methods were also evaluated for the speed in which the canine is trained and their reliability. As a result of the completion of this study, SCAs have been developed for explosive detection canine use covering: peroxide based explosives, TNT based explosives, nitroglycerin based explosives, tagged explosives, plasticized explosives, and smokeless powders. Through the use of these surrogate continuation aids a more uniform and reliable system of training can be implemented in the field than is currently used today. By examining the storage parameters of the SCAs, an ideal storage system has been developed using three levels of containment for the reduction of possible contamination. The developed calibration compound will ease the growing concerns over the legality and reliability of detection canine use by detailing the daily working parameters of the canine, allowing for Daubert rules of evidence admissibility to be applied. Through canine field testing, it has been shown that the IFRI SCAs outperform other commercially available training aids on the market. Additionally, of the imprinting methods tested, no difference was found in the speed in which the canines are trained or their reliability to detect illicit materials. Therefore, if the recommendations discovered in this study are followed, the detection canine community will greatly benefit through the use of scientifically validated training techniques and training aids.

Functional near infrared spectroscopy study of language, joint attention and motor skills

Near infrared spectroscopy (NIRS) is an emerging non-invasive optical neuro imaging technique that monitors the hemodynamic response to brain activation with ms-scale temporal resolution and sub-cm spatial resolution. The overall goal of my dissertation was to develop and apply NIRS towards investigation of neurological response to language, joint attention and planning and execution of motor skills in healthy adults. Language studies were performed to investigate the hemodynamic response, synchrony and dominance feature of the frontal and fronto-temporal cortex of healthy adults in response to language reception and expression. The mathematical model developed based on granger causality explicated the directional flow of information during the processing of language stimuli by the fronto-temporal cortex. Joint attention and planning/ execution of motor skill studies were performed to investigate the hemodynamic response, synchrony and dominance feature of the frontal cortex of healthy adults and in children (5-8 years old) with autism (for joint attention studies) and individuals with cerebral palsy (for planning/execution of motor skills studies). The joint attention studies on healthy adults showed differences in activation as well as intensity and phase dependent connectivity in the frontal cortex during joint attention in comparison to rest. The joint attention studies on typically developing children showed differences in frontal cortical activation in comparison to that in children with autism. The planning and execution of motor skills studies on healthy adults and individuals with cerebral palsy (CP) showed difference in the frontal cortical dominance, that is, bilateral and ipsilateral dominance, respectively. The planning and execution of motor skills studies also demonstrated the plastic and learning behavior of brain wherein correlation was found between the relative change in total hemoglobin in the frontal cortex and the kinematics of the activity performed by the participants. Thus, during my dissertation the NIRS neuroimaging technique was successfully implemented to investigate the neurological response of language, joint attention and planning and execution of motor skills in healthy adults as well as preliminarily on children with autism and individuals with cerebral palsy. These NIRS studies have long-term potential for the design of early stage interventions in children with autism and customized rehabilitation in individuals with cerebral palsy.

Intracranial Volume Estimation and Graph Theoretical Analysis of Brain Functional Connectivity Networks

Understanding pathways of neurological disorders requires extensive research on both functional and structural characteristics of the brain. This dissertation introduced two interrelated research endeavors, describing (1) a novel integrated approach for constructing functional connectivity networks (FCNs) of brain using non-invasive scalp EEG recordings; and (2) a decision aid for estimating intracranial volume (ICV). The approach in (1) was developed to study the alterations of networks in patients with pediatric epilepsy. Results demonstrated the existence of statistically significant (p

Racial/ethnic differences on the body image perceptions and weight concerns of fourth grade girls

The purpose of this study was to determine the racial and ethnic differences on body image perceptions and weight concerns of fourth grade girls. A purposive sample of 182 fourth grade girls were eligible to participate, 166 were included in the data analysis. The Children's Eating Attitude Test (ChEAT) and a Dieting and Demographic Questionnaire (DDQ) were used to determine eating attitudes of fourth grade girls. A pictoral instrument that was modified from the original was used to assess body image. Anthropometric data was assessed and body mass index (BMI) values were used to classify subjects into percentiles. Results revealed that 56% of all fourth grade girls studied wanted to be thinner and 53% had tried to lose weight. Significantly more non-Hispanic white (NHW) girls reported wanting to be thinner than non-Hispanic black (NHB) and H girls (65.5% vs.32% and 47%, respectively, P=0.005) No significant racial/ethnic differences were revealed for the ChEAT scores. However, 19% of all subjects studied fell into the category indicative of anorexia nervosa. H girls who were less than the 85" %tile for BMI chose significantly smaller figures as their perceived body image (3.5±0.7) than both NHB and NHW girls (4.0±0.6 and 3.9±0.5, respectively, P<0.01). These findings demonstrated that weight concerns were prevalent among girls ages 9- 11 years. NHW and H girls may have more concerns about their body size and shape than their NHB counterparts. Implementing intervention programs at an early age may prevent eating disorders in adolescence and adulthood.

Physical activity and nutrition related variables in hispanic and non-hispanic college students

It has been estimated that one in four adults have sedentary lifestyles. In addition there appears to be an increase in obesity across the life span. It is of great importance to the health of this nation to understand how to promote more active lifestyles through the identification of lifestyle behaviors of active individuals and potential predictors of physical activity (PA). Seven hundred and seventy-seven college students were surveyed to investigate the relationship between nutrition related variables (i.e., dietary restraint, nutrition knowledge, food choice and body weight concerns) and PA. In this study, over half of the students reported doing 30 minutes of moderate intensity PA daily. Vigorously active males and females chose low fat foods more often than the less active group. Exercisers and non-exercisers had similar nutrition knowledge. The results of this study suggest that students who are more active are more conscience about making healthier food choices.

Evoking non-repertory verbal behavior across operant classes : the effects of motor echoic sign language training within the context of a motivating operation

The individual effects that echoic, mand, and sign language training procedures have on the acquisition of verbal behavior have been widely demonstrated, but more efficient strategies are still needed. This study combined all three treatment strategies into one treatment intervention in order to investigate the joint effects they may have on verbal behavior. Six participants took part in the study. Intervention totaled 1 hour/day for 5 days/week until mastery criterion for motor echoic behavior was achieved. Although motor echoic behavior were solely targeted for acquisition, significant increases in spontaneous motor mands were noted in all treatment participants. Additionally, 4 treatment participants also demonstrated significant gains in vocal echoics and spontaneous vocal mands. No significant increases were noted for the control participant. Results suggest that the aforementioned procedure may provide more efficient results as a first-step to teaching a functional repertoire of verbal behavior to developmentally delayed children.

Assessment of anxiety sensitivity in depressed, older patients and its relation to hypochondriacal concerns

Anxiety disorders in older adults are often overlooked as part of other mental disorders or as part of medical illnesses. Theoretically, anxiety sensitivity is a common component in anxiety disorders, a personality construct and a fundamental fear. Anxiety sensitivity was assessed in a sample of older adults: 53 depressed, M age = 78.8 years; and 53 healthy controls, M age = 70.9 years. This study examined whether anxiety sensitivity: (1) explained unique variance beyond that explained by trait anxiety, (2) was observed in the depressed group in levels similar to individuals who suffer from non-panic, anxiety disorders, and (3) correlated with current number of medical illnesses, previous number of medical illnesses, and hypochondriasis. The results indicated that anxiety sensitivity: predicted hypochondriasis better than trait anxiety, was present in the depressed group similarly to individuals suffering from non-panic, anxiety disorders, and was strongly associated with hypochondriacal concerns.

The Development of Calibrants through Characterization of Volatile Organic Compounds from Peroxide Based Explosives and a Non-target Chemical Calibration Compound

Detection canines represent the fastest and most versatile means of illicit material detection. This research endeavor in its most simplistic form is the improvement of detection canines through training, training aids, and calibration. This study focuses on developing a universal calibration compound for which all detection canines, regardless of detection substance, can be tested daily to ensure that they are working with acceptable parameters. Surrogate continuation aids (SCAs) were developed for peroxide based explosives along with the validation of the SCAs already developed within the International Forensic Research Institute (IFRI) prototype surrogate explosives kit. Storage parameters of the SCAs were evaluated to give recommendations to the detection canine community on the best possible training aid storage solution that minimizes the likelihood of contamination. Two commonly used and accepted detection canine imprinting methods were also evaluated for the speed in which the canine is trained and their reliability. As a result of the completion of this study, SCAs have been developed for explosive detection canine use covering: peroxide based explosives, TNT based explosives, nitroglycerin based explosives, tagged explosives, plasticized explosives, and smokeless powders. Through the use of these surrogate continuation aids a more uniform and reliable system of training can be implemented in the field than is currently used today. By examining the storage parameters of the SCAs, an ideal storage system has been developed using three levels of containment for the reduction of possible contamination. The developed calibration compound will ease the growing concerns over the legality and reliability of detection canine use by detailing the daily working parameters of the canine, allowing for Daubert rules of evidence admissibility to be applied. Through canine field testing, it has been shown that the IFRI SCAs outperform other commercially available training aids on the market. Additionally, of the imprinting methods tested, no difference was found in the speed in which the canines are trained or their reliability to detect illicit materials. Therefore, if the recommendations discovered in this study are followed, the detection canine community will greatly benefit through the use of scientifically validated training techniques and training aids.

Design for placement of modified optodes to non-invasively map cerebral function

By using near infrared spectroscopy (NIRS) and by modifying the current Somanetics® optodes being used with the INVOS oximeter, the modified optodes are made to be fairly functional not only across the forehead, but across the hairy regions of the scalp as well. A major problem arises in the positioning of these optodes on the patients scalp and holding them in place while recording data. Another problem arises in the inconsistent repeatability of the trends displayed in the recorded data. A method was developed to facilitate the easy placement of these optodes on the patients scalp keeping in mind thepatient's comfort. The sensitivity of the optodes, too, was improved by incorporating better refined techniques for manufacturing the fiber optic brushes and fixing the same to the optode transmitting and receiving windows. The modified and improved optodes, in the single as well as in the multiplexed modes, were subjected to various tests on different areas of the brain to determine their efficiency and functionality.