A framework for transforming, analyzing, and realizing software designs in unified modeling language

Unified Modeling Language (UML) is the most comprehensive and widely accepted object-oriented modeling language due to its multi-paradigm modeling capabilities and easy to use graphical notations, with strong international organizational support and industrial production quality tool support. However, there is a lack of precise definition of the semantics of individual UML notations as well as the relationships among multiple UML models, which often introduces incomplete and inconsistent problems for software designs in UML, especially for complex systems. Furthermore, there is a lack of methodologies to ensure a correct implementation from a given UML design. The purpose of this investigation is to verify and validate software designs in UML, and to provide dependability assurance for the realization of a UML design.^ In my research, an approach is proposed to transform UML diagrams into a semantic domain, which is a formal component-based framework. The framework I proposed consists of components and interactions through message passing, which are modeled by two-layer algebraic high-level nets and transformation rules respectively. In the transformation approach, class diagrams, state machine diagrams and activity diagrams are transformed into component models, and transformation rules are extracted from interaction diagrams. By applying transformation rules to component models, a (sub)system model of one or more scenarios can be constructed. Various techniques such as model checking, Petri net analysis techniques can be adopted to check if UML designs are complete or consistent. A new component called property parser was developed and merged into the tool SAM Parser, which realize (sub)system models automatically. The property parser generates and weaves runtime monitoring code into system implementations automatically for dependability assurance. The framework in the investigation is creative and flexible since it not only can be explored to verify and validate UML designs, but also provides an approach to build models for various scenarios. As a result of my research, several kinds of previous ignored behavioral inconsistencies can be detected.^

Energy-efficient self -organization of wireless acoustic sensor networks for ground target tracking

With the developments in computing and communication technologies, wireless sensor networks have become popular in wide range of application areas such as health, military, environment and habitant monitoring. Moreover, wireless acoustic sensor networks have been widely used for target tracking applications due to their passive nature, reliability and low cost. Traditionally, acoustic sensor arrays built in linear, circular or other regular shapes are used for tracking acoustic sources. The maintaining of relative geometry of the acoustic sensors in the array is vital for accurate target tracking, which greatly reduces the flexibility of the sensor network. To overcome this limitation, we propose using only a single acoustic sensor at each sensor node. This design greatly improves the flexibility of the sensor network and makes it possible to deploy the sensor network in remote or hostile regions through air-drop or other stealth approaches. Acoustic arrays are capable of performing the target localization or generating the bearing estimations on their own. However, with only a single acoustic sensor, the sensor nodes will not be able to generate such measurements. Thus, self-organization of sensor nodes into virtual arrays to perform the target localization is essential. We developed an energy-efficient and distributed self-organization algorithm for target tracking using wireless acoustic sensor networks. The major error sources of the localization process were studied, and an energy-aware node selection criterion was developed to minimize the target localization errors. Using this node selection criterion, the self-organization algorithm selects a near-optimal localization sensor group to minimize the target tracking errors. In addition, a message passing protocol was developed to implement the self-organization algorithm in a distributed manner. In order to achieve extended sensor network lifetime, energy conservation was incorporated into the self-organization algorithm by incorporating a sleep-wakeup management mechanism with a novel cross layer adaptive wakeup probability adjustment scheme. The simulation results confirm that the developed self-organization algorithm provides satisfactory target tracking performance. Moreover, the energy saving analysis confirms the effectiveness of the cross layer power management scheme in achieving extended sensor network lifetime without degrading the target tracking performance.

Energy-Efficient Self-Organization of Wireless Acoustic Sensor Networks for Ground Target Tracking

With the developments in computing and communication technologies, wireless sensor networks have become popular in wide range of application areas such as health, military, environment and habitant monitoring. Moreover, wireless acoustic sensor networks have been widely used for target tracking applications due to their passive nature, reliability and low cost. Traditionally, acoustic sensor arrays built in linear, circular or other regular shapes are used for tracking acoustic sources. The maintaining of relative geometry of the acoustic sensors in the array is vital for accurate target tracking, which greatly reduces the flexibility of the sensor network. To overcome this limitation, we propose using only a single acoustic sensor at each sensor node. This design greatly improves the flexibility of the sensor network and makes it possible to deploy the sensor network in remote or hostile regions through air-drop or other stealth approaches. Acoustic arrays are capable of performing the target localization or generating the bearing estimations on their own. However, with only a single acoustic sensor, the sensor nodes will not be able to generate such measurements. Thus, self-organization of sensor nodes into virtual arrays to perform the target localization is essential. We developed an energy-efficient and distributed self-organization algorithm for target tracking using wireless acoustic sensor networks. The major error sources of the localization process were studied, and an energy-aware node selection criterion was developed to minimize the target localization errors. Using this node selection criterion, the self-organization algorithm selects a near-optimal localization sensor group to minimize the target tracking errors. In addition, a message passing protocol was developed to implement the self-organization algorithm in a distributed manner. In order to achieve extended sensor network lifetime, energy conservation was incorporated into the self-organization algorithm by incorporating a sleep-wakeup management mechanism with a novel cross layer adaptive wakeup probability adjustment scheme. The simulation results confirm that the developed self-organization algorithm provides satisfactory target tracking performance. Moreover, the energy saving analysis confirms the effectiveness of the cross layer power management scheme in achieving extended sensor network lifetime without degrading the target tracking performance.

How source credibility and message claims interact in determining advertising effectiveness

Credible endorsers are often used in advertisements. However, there is conflicting evidence on the role source credibility plays in persuasion. Early research found that source credibility affects persuasion when subjects pay attention to the communication. Other research indicates that a credible source enhances persuasion when people do not scrutinize the message claims carefully and thoroughly. This effect is opposite to what was indicated by early research. More recent research indicates that source credibility may affect persuasion when people scrutinize the message claims, but limits this effect to advertisements with certain type of claims (i.e., ambiguous or extreme claims). This dissertation proposes that source credibility might play a broader role during persuasion than suggested by the empirical literature. Source credibility may affect persuasion, at low levels of involvement, by serving as a peripheral cue. It may also affect persuasion, at high involvement, by serving as an argument or biasing elaboration. ^ Each of these possibilities was explored in an experiment using a 3 (source credibility) x 2 (type of claim) x 2 (levels of involvement) full factorial design. The sample consisted of 180 undergraduate students from a major southeastern University. ^ Results indicated that, at high levels of involvement, the credibility of the source affected persuasion. This effect was due to source credibility acting as an argument within the advertisement. This study did not find that source credibility affected persuasion by biasing elaboration, at high involvement, or by serving as a peripheral cue, at low involvement. ^

Causal attributions for success or failure by passing and failing students in College Algebra

Success in mathematics has been identified as a predictor of baccalaureate degree completion. Within the coursework of college mathematics, College Algebra has been identified as a high-risk course due to its low success rates. ^ Research in the field of attribution theory and academic achievement suggests a relationship between a student's attributional style and achievement. Theorists and researchers contend that attributions influence individual reactions to success and failure. They also report that individuals use attributions to explain and justify their performance. Studies in mathematics education identify attribution theory as the theoretical orientation most suited to explain academic performance in mathematics. This study focused on the relationship among a high risk course, low success rates, and attribution by examining the difference in the attributions passing and failing students gave for their performance in College Algebra. ^ The methods for the study included a pilot administration of the Causal Dimension Scale (CDSII) which was used to conduct reliability and principal component analyses. Then, students (n = 410) self-reported their performance on an in-class test and attributed their performance along the dimensions of locus of causality, stability, personal controllability, and external controllability. They also provided open-ended attribution statements to explain the cause of their performance. The quantitative data compared the passing and failing groups and their attributions for performance on a test using One-Way ANOVA and Pearson chi square procedures. The open-ended attribution statements were coded in relation to ability, effort, task difficulty, and luck and compared using a Pearson chi square procedure. ^ The results of the quantitative data comparing passing and failing groups and their attributions along the dimensions measured by the CDSII indicated statistical significance in locus of causality, stability, and personal controllability. The results comparing the open-ended attribution statements indicated statistical significance in the categories of effort and task difficulty. ^

Characteristics of the Commission on Accreditation of Allied Health Education Programs or National Athletic Trainers' Association -accredited athletic training programs associated with first -attempt passing rates on the NATABOC examination

Athletic training is an allied health profession recognized by the American Medical Association requiring certification by examination. There are two routes towards certification as an athletic trainer: attending a university with an accredited athletic training program or with an internship program By 2004, the only route towards certification will be by attending a Commission on Accreditation of Allied Health Education Programs (CAAHEP) or National Athletic Trainers' Association (NATA) accredited athletic training program. CAAHEP looks at passing rates on the NATA Board of Certification (NATABOC) examination when granting accreditation. This study examined characteristics of programs associated with first time passing rates. ^ Directors from 39 CAAHEP or NATA accredited athletic training programs completed a descriptive 17-question survey regarding academic characteristics, faculty characteristics, and program characteristics. Analysis used Spearman's rho correlation coefficient, with significance of p = <.05. Four program directors were interviewed to gather additional insight. ^ There were three program characteristics that showed a significant positive association with first attempt passing rates: the number of full-time and part-time approved clinical instructors (ACIs), and the number of students in the program. Further investigation found a statistically significant association between a low ratio of ACIs to athletic training students and first time passing rates. ACIs are certified athletic trainers (ATCs) who have received special training in order to supervise athletic training students. CAAHEP mandates a 1:8 ratio of ATCs to athletic training student. This study showed that a smaller ratio of ATC to student in combination with ACI training was significantly associated with higher first time passing rates. The number of courses above the required 13 delineated by the Education Council showed a significant negative association with first attempt passing rates. ^ Universities seeking or maintaining accreditation should incorporate characteristics associated with a higher passing rate on the NATABOC examination. Characteristics include utilizing a large number of full-time and part-time ACIs, admitting a large number of students into the program while maintaining a low ACI to athletic training student ratio, and offering curricula that focuses on the 13 courses that have been deemed relevant to the athletic training curriculum by the Education Council. ^

From Wovoka to Wounded Knee: deprivation of Sioux traditional life and the massacre of Wounded Knee in 1890

The purpose of this thesis is to explore deprivation experienced by the nineteenth century Sioux who suffered the loss of traditional lands, economic independence, buffalo, tribal customs, and religion. After years of reservation life, starvation, and deprivation at the hands of the U.S. government, white settlers, and reservation agents, the Sioux anxiously sought out a Paiute Indian Messiah named Wovoka whose message of a new Indian world spread rapidly throughout the Dakotas. The use of extensive historical and religious documents, as well as primary sources, will argue that the extent of desperation experienced by the Sioux drove them to accept the Ghost Dance as a substitute for the Sun Dance, the center of their traditional religious complex. With its hope of the resurrection of dead Indians, return of the buffalo, and renewal of the earth, it was immediately adopted leading ultimately to the massacre at Wounded Knee in 1890 and the passing of Wovoka's religion into history.

Aerodynamic Testing of Variable Message Signs

The increasing nationwide interest in intelligent transportation systems (ITS) and the need for more efficient transportation have led to the expanding use of variable message sign (VMS) technology. VMS panels are substantially heavier than flat panel aluminum signs and have a larger depth (dimension parallel to the direction of traffic). The additional weight and depth can have a significant effect on the aerodynamic forces and inertial loads transmitted to the support structure. The wind induced drag forces and the response of VMS structures is not well understood. Minimum design requirements for VMS structures are contained in the American Association of State Highway Transportation Officials Standard Specification for Structural Support for Highway Signs, Luminaires, and Traffic Signals (AASHTO Specification). However the Specification does not take into account the prismatic geometry of VMS and the complex interaction of the applied aerodynamic forces to the support structure. In view of the lack of code guidance and the limited number research performed so far, targeted experimentation and large scale testing was conducted at the Florida International University (FIU) Wall of Wind (WOW) to provide reliable drag coefficients and investigate the aerodynamic instability of VMS. A comprehensive range of VMS geometries was tested in turbulence representative of the high frequency end of the spectrum in a simulated suburban atmospheric boundary layer. The mean normal, lateral and vertical lift force coefficients, in addition to the twisting moment coefficient and eccentricity ratio, were determined using the measured data for each model. Wind tunnel testing confirmed that drag on a prismatic VMS is smaller than the 1.7 suggested value in the current AASHTO Specification (2013). An alternative to the AASHTO Specification code value is presented in the form of a design matrix. Testing and analysis also indicated that vortex shedding oscillations and galloping instability could be significant for VMS signs with a large depth ratio attached to a structure with a low natural frequency. The effect of corner modification was investigated by testing models with chamfered and rounded corners. Results demonstrated an additional decrease in the drag coefficient but a possible Reynolds number dependency for the rounded corner configuration.