Development of an open architecture motion control system

A multipurpose open architecture motion control system was developed with three platforms for control and monitoring. The Visual Basic user interface communicated with the operator and gave instructions to the electronic components. The first platform had a BASIC Stamp based controller and three stepping motors. The second platform had a controller, amplifiers and two DC servomotors. The third platform had a DSP module. In this study, each platform was used on machine tools either to move the table or to evaluate the incoming signal. The study indicated that by using advanced microcontrollers, which use high-level languages, motor controllers, DSPs (Digital Signal Processor) and microcomputers, the motion control of different systems could be realized in a short time. Although, the proposed systems had some limitations, their jobs were performed effectively. ^

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. ^

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.^

Knowledge discovery using multiple sources of biological data

The primary aim of this dissertation is to develop data mining tools for knowledge discovery in biomedical data when multiple (homogeneous or heterogeneous) sources of data are available. The central hypothesis is that, when information from multiple sources of data are used appropriately and effectively, knowledge discovery can be better achieved than what is possible from only a single source. ^ Recent advances in high-throughput technology have enabled biomedical researchers to generate large volumes of diverse types of data on a genome-wide scale. These data include DNA sequences, gene expression measurements, and much more; they provide the motivation for building analysis tools to elucidate the modular organization of the cell. The challenges include efficiently and accurately extracting information from the multiple data sources; representing the information effectively, developing analytical tools, and interpreting the results in the context of the domain. ^ The first part considers the application of feature-level integration to design classifiers that discriminate between soil types. The machine learning tools, SVM and KNN, were used to successfully distinguish between several soil samples. ^ The second part considers clustering using multiple heterogeneous data sources. The resulting Multi-Source Clustering (MSC) algorithm was shown to have a better performance than clustering methods that use only a single data source or a simple feature-level integration of heterogeneous data sources. ^ The third part proposes a new approach to effectively incorporate incomplete data into clustering analysis. Adapted from K-means algorithm, the Generalized Constrained Clustering (GCC) algorithm makes use of incomplete data in the form of constraints to perform exploratory analysis. Novel approaches for extracting constraints were proposed. For sufficiently large constraint sets, the GCC algorithm outperformed the MSC algorithm. ^ The last part considers the problem of providing a theme-specific environment for mining multi-source biomedical data. The database called PlasmoTFBM, focusing on gene regulation of Plasmodium falciparum, contains diverse information and has a simple interface to allow biologists to explore the data. It provided a framework for comparing different analytical tools for predicting regulatory elements and for designing useful data mining tools. ^ The conclusion is that the experiments reported in this dissertation strongly support the central hypothesis.^

DIMUSE: An integrated framework for distributed multimedia system with database management and security support

With the recent explosion in the complexity and amount of digital multimedia data, there has been a huge impact on the operations of various organizations in distinct areas, such as government services, education, medical care, business, entertainment, etc. To satisfy the growing demand of multimedia data management systems, an integrated framework called DIMUSE is proposed and deployed for distributed multimedia applications to offer a full scope of multimedia related tools and provide appealing experiences for the users. This research mainly focuses on video database modeling and retrieval by addressing a set of core challenges. First, a comprehensive multimedia database modeling mechanism called Hierarchical Markov Model Mediator (HMMM) is proposed to model high dimensional media data including video objects, low-level visual/audio features, as well as historical access patterns and frequencies. The associated retrieval and ranking algorithms are designed to support not only the general queries, but also the complicated temporal event pattern queries. Second, system training and learning methodologies are incorporated such that user interests are mined efficiently to improve the retrieval performance. Third, video clustering techniques are proposed to continuously increase the searching speed and accuracy by architecting a more efficient multimedia database structure. A distributed video management and retrieval system is designed and implemented to demonstrate the overall performance. The proposed approach is further customized for a mobile-based video retrieval system to solve the perception subjectivity issue by considering individual user's profile. Moreover, to deal with security and privacy issues and concerns in distributed multimedia applications, DIMUSE also incorporates a practical framework called SMARXO, which supports multilevel multimedia security control. SMARXO efficiently combines role-based access control (RBAC), XML and object-relational database management system (ORDBMS) to achieve the target of proficient security control. A distributed multimedia management system named DMMManager (Distributed MultiMedia Manager) is developed with the proposed framework DEMUR; to support multimedia capturing, analysis, retrieval, authoring and presentation in one single framework.

Interactions of different arsenic species with thols: Chemical and biological implications

Arsenic has been classified as a group I carcinogen. It has been ranked number one in the CERCLA priority list of hazardous substances due to its frequency, toxicity and potential for human exposure. Paradoxically, arsenic has been employed as a successful chemotherapeutic agent for acute promyelocytic leukemia and has found some success in multiple myeloma. Since arsenic toxicity and efficacy is species dependent, a speciation method, based on the complementary use of reverse phase and cation exchange chromatography, was developed. Inductively coupled plasma mass spectrometer (ICP-MS), as an element specific detector, and electrospray ionization mass spectrometer (ESI-MS), as a molecule specific detector, were employed. Low detection limits in the µg. L−1 range on the ICP-MS and mg. L−1 range on the ESI-MS were obtained. The developed methods were validated against each other through the use of a Deming plot. With the developed speciation method, the effects of both pH on the stability of As species and reduced glutathione (GSH) concentration on the formation and stability of arsenic glutathione complexes were studied. To identify arsenicals in multiple myeloma (MM) cell lines post arsenic trioxide (ATO) and darinaparsin (DAR) incubation, an extraction method based on the use of ultrasonic probe was developed. Extraction tools and solvents were evaluated and the effect of GSH concentration on the quantitation of arsenic glutathione (As-GSH) complexes in MM cell extracts was studied. The developed method was employed for the identification of metabolites in DAR incubated cell lines where the effect of extraction pH, DAR incubation concentration and incubation time on the relative distribution of the As metabolites was assessed. A new arsenic species, dimethyarsinothioyl glutathione (DMMTA V-GS), a pentavalent thiolated arsenical, was identified in the cell extracts through the use of liquid chromatography tandem mass spectrometry. The formation of the new metabolite in the extracts was dependent on the decomposition of s-dimethylarsino glutathione (DMA(GS)). These results have major implications in both the medical and toxicological fields of As because they involve the metabolism of a chemotherapeutic agent and the role sulfur compounds play in this mechanism.

Inspection of parts with complex geometry and welds with structural health monitoring techniques

Structural Health Monitoring (SHM) systems were developed to evaluate the integrity of a system during operation, and to quickly identify the maintenance problems. They will be used in future aerospace vehicles to improve safety, reduce cost and minimize the maintenance time of a system. Many SHM systems were already developed to evaluate the integrity of plates and used in marine structures. Their implementation in manufacturing processes is still expected. The application of SHM methods for complex geometries and welds are two important challenges in this area of research. This research work started by studying the characteristics of piezoelectric actuators, and a small energy harvester was designed. The output voltages at different frequencies of vibration were acquired to determine the nonlinear characteristics of the piezoelectric stripe actuators. The frequency response was evaluated experimentally. AA battery size energy harvesting devices were developed by using these actuators. When the round and square cross section devices were excited at 50 Hz frequency, they generated 16 V and 25 V respectively. The Surface Response to Excitation (SuRE) and Lamb wave methods were used to estimate the condition of parts with complex geometries. Cutting tools and welded plates were considered. Both approaches used piezoelectric elements that were attached to the surfaces of considered parts. The variation of the magnitude of the frequency response was evaluated when the SuRE method was used. The sum of the square of the differences was calculated. The envelope of the received signal was used for the analysis of wave propagation. Bi-orthogonal wavelet (Binlet) analysis was also used for the evaluation of the data obtained during Lamb wave technique. Both the Lamb wave and SuRE approaches along with the three methods for data analysis worked effectively to detect increasing tool wear. Similarly, they detected defects on the plate, on the weld, and on a separate plate without any sensor as long as it was welded to the test plate.

Norm-based comparison of SF -12 physical and mental health scale scores for a sample of employees of Broward County

In the new health paradigm, the connotation of health has extended beyond the measures of morbidity and mortality to include wellness and quality of life. Comprehensive assessments of health go beyond traditional biological indicators to include measures of physical and mental health status, social role-functioning, and general health perceptions. To meet these challenges, tools for assessment and outcome evaluation are being designed to collect information about functioning and well-being from the individual's point of view.^ The purpose of this study was to profile the physical and mental health status of a sample of county government employees against U.S. population norms. A second purpose of the study was to determine if significant relationships existed between respondent characteristics and personal health practices, lifestyle and other health how the tools and methods used in this investigation can be used to guide program development and facilitate monitoring of health promotion initiatives.^ The SF-12 Health Survey (Ware, Kosinski, & Keller, 1995), a validated measure of health status, was administered to a convenience sample of 450 employees attending one of nine health fairs at an urban worksite. The instrument has been utilized nationally which enabled a comparative analysis of findings of this study with national results.^ Results from this study demonstrated that several respondent characteristics and personal health practices were associated with a greater percentage of physical and/or mental scale scores that were significantly "worse" or significantly "better" than the general population. Respondent characteristics that were significantly related to the SF-12 physical and/or mental health scale scores were gender, age, education, ethnicity, and income status. Personal health practices that were significantly related to SF-12 physical and/or mental scale scores were frequency of vigorous exercise, presence of chronic illness, being at one's prescribed height and weight, eating breakfast, smoking and drinking status. This study provides an illustration of the methods used to analyze and interpret SF-12 Health Survey data, using norm-based interpretation guidelines which are useful for purposes of program development and collecting information on health at the community level. ^

Personnel selection, safety performance, and job performance: Are safe workers better workers?

The present dissertation consists of two studies that combine personnel selection, safety performance, and job performance literatures to answer an important question: are safe workers better workers? Study 1 tested a predictive model of safety performance to examine personality characteristics (conscientiousness and agreeableness), and two novel behavioral constructs (safety orientation and safety judgment) as predictors of safety performance in a sample of forklift loaders/operators (N = 307). Analyses centered on investigating safety orientation as a proximal predictor and determinant of safety performance. Study 2 replicated Study 1 and explored the relationship between safety performance and job performance by testing an integrative model in a sample of machine operators and construction crewmembers (N = 323). Both Study 1 and Study 2 found conscientiousness, agreeableness, and safety orientation to be good predictors of safety performance. While both personality and safety orientation were positively related to safety performance, safety orientation proved to be a more proximal determinant of safety performance. Across studies, results surrounding safety judgment as a predictor of safety performance were inconclusive, suggesting possible issues with measurement of the construct. Study 2 found a strong relationship between safety performance and job performance. In addition, safety performance served as a mediator between predictors (conscientiousness, agreeableness and safety orientation) and job performance. Together these findings suggest that safe workers are indeed better workers, challenging previous viewpoints to the contrary. Further, results implicate the viability of personnel selection as means of promoting safety in organizations.^

The Lack of a Structured Universal Healthcare System in the United States: How This Affects the Lives of Millions of Americans and What Can Be Done About It

The purpose of this research is to explore on a deeper level the healthcare system of the United States, its background, and other factors that could provide possible solutions to simplify the fragmented healthcare system. The ultimate goal is the formation of concise ideas that could make the system, which prevents millions of Americans from obtaining adequate medical attention, substantially better. The paper will offer a better insight into the four different models of healthcare insurance found around the world in other developed countries with the purpose of establishing a comparison with that of the United States. The changes implemented by the Patient Protection and Affordable Care Act of 2010 are also analyzed to arrive at the conclusion of whether it has helped more American citizens get access to medical attention. Quality Improvement tools and thorough analysis of different methods from a financial, managerial, legal, and administrative perspective are used to provide valuable information that could aid in the implementation of modifications to the healthcare system of the United States in the near future.