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

An indexing structure and application model for vehicles moving on road networks

Moving objects database systems are the most challenging sub-category among Spatio-Temporal database systems. A database system that updates in real-time the location information of GPS-equipped moving vehicles has to meet even stricter requirements. Currently existing data storage models and indexing mechanisms work well only when the number of moving objects in the system is relatively small. This dissertation research aimed at the real-time tracking and history retrieval of massive numbers of vehicles moving on road networks. A total solution has been provided for the real-time update of the vehicles' location and motion information, range queries on current and history data, and prediction of vehicles' movement in the near future. ^ To achieve these goals, a new approach called Segmented Time Associated to Partitioned Space (STAPS) was first proposed in this dissertation for building and manipulating the indexing structures for moving objects databases. ^ Applying the STAPS approach, an indexing structure of associating a time interval tree to each road segment was developed for real-time database systems of vehicles moving on road networks. The indexing structure uses affordable storage to support real-time data updates and efficient query processing. The data update and query processing performance it provides is consistent without restrictions such as a time window or assuming linear moving trajectories. ^ An application system design based on distributed system architecture with centralized organization was developed to maximally support the proposed data and indexing structures. The suggested system architecture is highly scalable and flexible. Finally, based on a real-world application model of vehicles moving in region-wide, main issues on the implementation of such a system were addressed. ^

Traffic congestion control in communication networks

Next generation networks are characterized by ever increasing complexity, intelligence, heterogeneous technologies and increasing user expectations. Telecommunication networks in particular have become truly global, consisting of a variety of national and regional networks, both wired and wireless. Consequently, the management of telecommunication networks is becoming increasingly complex. In addition, network security and reliability requirements require additional overheads which increase the size of the data records. This in turn causes acute network traffic congestions. There is no single network management methodology to control the various requirements of today's networks, and provides a good level of Quality of Service (QoS), and network security. Therefore, an integrated approach is needed in which a combination of methodologies can provide solutions and answers to network events (which cause severe congestions and compromise the quality of service and security). The proposed solution focused on a systematic approach to design a network management system based upon the recent advances in the mobile agent technologies. This solution has provided a new traffic management system for telecommunication networks that is capable of (1) reducing the network traffic load (thus reducing traffic congestion), (2) overcoming existing network latency, (3) adapting dynamically to the traffic load of the system, (4) operating in heterogeneous environments with improved security, and (5) having robust and fault tolerance behavior. This solution has solved several key challenges in the development of network management for telecommunication networks using mobile agents. We have designed several types of agents, whose interactions will allow performing some complex management actions, and integrating them. Our solution is decentralized to eliminate excessive bandwidth usage and at the same time has extended the capabilities of the Simple Network Management Protocol (SNMP). Our solution is fully compatible with the existing standards.

Optimization models for selecting bus stops for accessibility improvements for people with disabilities

Bus stops are key links in the journeys of transit patrons with disabilities. Inaccessible bus stops prevent people with disabilities from using fixed-route bus services, thus limiting their mobility. The Americans with Disabilities Act (ADA) of 1990 prescribes the minimum requirements for bus stop accessibility by riders with disabilities. Due to limited budgets, transit agencies can only select a limited number of bus stop locations for ADA improvements annually. These locations should preferably be selected such that they maximize the overall benefits to patrons with disabilities. In addition, transit agencies may also choose to implement the universal design paradigm, which involves higher design standards than current ADA requirements and can provide amenities that are useful for all riders, like shelters and lighting. Many factors can affect the decision to improve a bus stop, including rider-based aspects like the number of riders with disabilities, total ridership, customer complaints, accidents, deployment costs, as well as locational aspects like the location of employment centers, schools, shopping areas, and so on. These interlacing factors make it difficult to identify optimum improvement locations without the aid of an optimization model. This dissertation proposes two integer programming models to help identify a priority list of bus stops for accessibility improvements. The first is a binary integer programming model designed to identify bus stops that need improvements to meet the minimum ADA requirements. The second involves a multi-objective nonlinear mixed integer programming model that attempts to achieve an optimal compromise among the two accessibility design standards. Geographic Information System (GIS) techniques were used extensively to both prepare the model input and examine the model output. An analytic hierarchy process (AHP) was applied to combine all of the factors affecting the benefits to patrons with disabilities. An extensive sensitivity analysis was performed to assess the reasonableness of the model outputs in response to changes in model constraints. Based on a case study using data from Broward County Transit (BCT) in Florida, the models were found to produce a list of bus stops that upon close examination were determined to be highly logical. Compared to traditional approaches using staff experience, requests from elected officials, customer complaints, etc., these optimization models offer a more objective and efficient platform on which to make bus stop improvement suggestions.

Assessment of the occurrence and potential effects of pharmaceuticals and personal care products in South Florida waters and sediments

A LLE-GC-MS method was developed to detect PPCPs in surface water samples from Big Cypress National Park, Everglades National Park and Biscayne National Park in South Florida. The most frequently found PPCPs were caffeine, DEET and triclosan with detected maximum concentration of 169 ng/L, 27.9 ng/L and 10.9 ng/L, respectively. The detection frequencies of hormones were less than PPCPs. Detected maximal concentrations of estrone, 17β-estradiol, coprostan-3-ol, coprostane and coprostan-3-one were 5.98 ng/L, 3.34 ng/L, 16.5 ng/L, 13.5 ng/L and 6.79 ng/L, respectively. An ASE-SPE-GC-MS method was developed and applied to the analysis of the sediment and soil area where reclaimed water was used for irrigation. Most analytes were below detection limits, even though some of analytes were detected in the reclaimed water at relatively high concentrations corroborating the fact that PPCPs do not significantly partition to mineral phases. An online SPE-HPLC-APPI-MS/MS method and an online SPE-HPLC-HESI-MS/MS method were developed to analyze reclaimed water and drinking water samples. In the reclaimed water study, reclaimed water samples were collected from the sprinkler for a year-long period at Florida International University Biscayne Bay Campus, where reclaimed water was reused for irrigation. Analysis results showed that several analytes were continuously detected in all reclaimed water samples. Coprostanol, bisphenol A and DEET's maximum concentration exceeded 10 μg/L (ppb). The four most frequently detected compounds were diphenhydramine (100%), DEET (98%), atenolol (98%) and carbamazepine (96%). In the study of drinking water, 54 tap water samples were collected from the Miami-Dade area. The maximum concentrations of salicylic acid, ibuprofen and DEET were 521 ng/L, 301 ng/L and 290 ng/L, respectively. The three most frequently detected compounds were DEET (93%), carbamazepine (43%) and salicylic acid (37%), respectively. Because the source of drinking water in Miami-Dade County is the relatively pristine Biscayne aquifer, these findings suggest the presence of wastewater intrusions into the delivery system or the onset of direct influence of surface waters into the shallow aquifer.

Dynamic modeling and analysis of single-stage boost inverters under normal and abnormal conditions

Inverters play key roles in connecting sustainable energy (SE) sources to the local loads and the ac grid. Although there has been a rapid expansion in the use of renewable sources in recent years, fundamental research, on the design of inverters that are specialized for use in these systems, is still needed. Recent advances in power electronics have led to proposing new topologies and switching patterns for single-stage power conversion, which are appropriate for SE sources and energy storage devices. The current source inverter (CSI) topology, along with a newly proposed switching pattern, is capable of converting the low dc voltage to the line ac in only one stage. Simple implementation and high reliability, together with the potential advantages of higher efficiency and lower cost, turns the so-called, single-stage boost inverter (SSBI), into a viable competitor to the existing SE-based power conversion technologies.^ The dynamic model is one of the most essential requirements for performance analysis and control design of any engineering system. Thus, in order to have satisfactory operation, it is necessary to derive a dynamic model for the SSBI system. However, because of the switching behavior and nonlinear elements involved, analysis of the SSBI is a complicated task.^ This research applies the state-space averaging technique to the SSBI to develop the state-space-averaged model of the SSBI under stand-alone and grid-connected modes of operation. Then, a small-signal model is derived by means of the perturbation and linearization method. An experimental hardware set-up, including a laboratory-scaled prototype SSBI, is built and the validity of the obtained models is verified through simulation and experiments. Finally, an eigenvalue sensitivity analysis is performed to investigate the stability and dynamic behavior of the SSBI system over a typical range of operation. ^

Field programmable gate array based target detection and gesture recognition

The move from Standard Definition (SD) to High Definition (HD) represents a six times increases in data, which needs to be processed. With expanding resolutions and evolving compression, there is a need for high performance with flexible architectures to allow for quick upgrade ability. The technology advances in image display resolutions, advanced compression techniques, and video intelligence. Software implementation of these systems can attain accuracy with tradeoffs among processing performance (to achieve specified frame rates, working on large image data sets), power and cost constraints. There is a need for new architectures to be in pace with the fast innovations in video and imaging. It contains dedicated hardware implementation of the pixel and frame rate processes on Field Programmable Gate Array (FPGA) to achieve the real-time performance. ^ The following outlines the contributions of the dissertation. (1) We develop a target detection system by applying a novel running average mean threshold (RAMT) approach to globalize the threshold required for background subtraction. This approach adapts the threshold automatically to different environments (indoor and outdoor) and different targets (humans and vehicles). For low power consumption and better performance, we design the complete system on FPGA. (2) We introduce a safe distance factor and develop an algorithm for occlusion occurrence detection during target tracking. A novel mean-threshold is calculated by motion-position analysis. (3) A new strategy for gesture recognition is developed using Combinational Neural Networks (CNN) based on a tree structure. Analysis of the method is done on American Sign Language (ASL) gestures. We introduce novel point of interests approach to reduce the feature vector size and gradient threshold approach for accurate classification. (4) We design a gesture recognition system using a hardware/ software co-simulation neural network for high speed and low memory storage requirements provided by the FPGA. We develop an innovative maximum distant algorithm which uses only 0.39% of the image as the feature vector to train and test the system design. Database set gestures involved in different applications may vary. Therefore, it is highly essential to keep the feature vector as low as possible while maintaining the same accuracy and performance^

Synthesis and Biological Evaluation of Novel Folic Acid Receptor-Targeted, β-Cyclodextrin-Based Drug Complexes for Cancer Treatment

Drug targeting is an active area of research and nano-scaled drug delivery systems hold tremendous potential for the treatment of neoplasms. In this study, a novel cyclodextrin (CD)-based nanoparticle drug delivery system has been assembled and characterized for the therapy of folate receptor-positive [FR(+)] cancer. Water-soluble folic acid (FA)-conjugated CD carriers (FACDs) were successfully synthesized and their structures were confirmed by 1D/2D nuclear magnetic resonance (NMR), matrix-assisted laser desorption ionization time-of-flight mass spectrometer (MALDI-TOF-MS), high performance liquid chromatography (HPLC), Fourier transform infrared spectroscopy (FTIR), and circular dichroism. Drug complexes of adamatane (Ada) and cytotoxic doxorubicin (Dox) with FACD were readily obtained by mixed solvent precipitation. The average size of FACD-Ada-Dox was 1.5–2.5 nm. The host-guest association constant Ka was 1,639 M−1 as determined by induced circular dichroism and the hydrophilicity of the FACDs was greatly enhanced compared to unmodified CD. Cellular uptake and FR binding competitive experiments demonstrated an efficient and preferentially targeted delivery of Dox into FR-positive tumor cells and a sustained drug release profile was seen in vitro. The delivery of Dox into FR(+) cancer cells via endocytosis was observed by confocal microscopy and drug uptake of the targeted nanoparticles was 8-fold greater than that of non-targeted drug complexes. Our docking results suggest that FA, FACD and FACD-Ada-Dox could bind human hedgehog interacting protein that contains a FR domain. Mouse cardiomyocytes as well as fibroblast treated with FACD-Ada-Dox had significantly lower levels of reactive oxygen species, with increased content of glutathione and glutathione peroxidase activity, indicating a reduced potential for Dox-induced cardiotoxicity. These results indicate that the targeted drug complex possesses high drug association and sustained drug release properties with good biocompatibility and physiological stability. The novel FA-conjugated β-CD based drug complex might be promising as an anti-tumor treatment for FR(+) cancer.

Hydrogel formulation for enhanced regeneration in cell transplantation

Myocardial cell transplantation can compensate for the loss of necrotic cardiomyocytes. The objective of this research study was to reformulate the hydrogel with concentrations of growth factors, such as Leukemia Inhibitory Factor (LIF), Hepatocyte Growth Factor (HGF), and Interleukin-6 (IL-6). A controlled delivery system of PEO-PPO-PEO was formulated for release of a single growth factor and of multiple growth factors. Cytotoxicity and proliferation assay for single growth factors starting with 4000 skeletal myoblasts yielded their highest proliferation at 4 days with HGF (25,500 cells) and LIF (42,000 cells), while IL-6 (115,000 cells) generated its highest proliferation at 5 days. Combination of LIF and IL-6 resulted in highest proliferation at day 2 (220,000 cells), HGF and LIF (108,000 cells), and HGF and IL-6 (80,000 cells) both at 5 days. Viability at 37°C was maintained during the five days at 98-99%. The formulation was successful in myotube formation while maintaining a high purity of myoblasts in culture. The new formulation induced controlled release of growth factors and skeletal myoblasts delivery under favorable conditions while increasing the proliferation of myoblasts.

An Indexing Structure and Application Model for Vehicles Moving on Road Networks

Moving objects database systems are the most challenging sub-category among Spatio-Temporal database systems. A database system that updates in real-time the location information of GPS-equipped moving vehicles has to meet even stricter requirements. Currently existing data storage models and indexing mechanisms work well only when the number of moving objects in the system is relatively small. This dissertation research aimed at the real-time tracking and history retrieval of massive numbers of vehicles moving on road networks. A total solution has been provided for the real-time update of the vehicles’ location and motion information, range queries on current and history data, and prediction of vehicles’ movement in the near future. To achieve these goals, a new approach called Segmented Time Associated to Partitioned Space (STAPS) was first proposed in this dissertation for building and manipulating the indexing structures for moving objects databases. Applying the STAPS approach, an indexing structure of associating a time interval tree to each road segment was developed for real-time database systems of vehicles moving on road networks. The indexing structure uses affordable storage to support real-time data updates and efficient query processing. The data update and query processing performance it provides is consistent without restrictions such as a time window or assuming linear moving trajectories. An application system design based on distributed system architecture with centralized organization was developed to maximally support the proposed data and indexing structures. The suggested system architecture is highly scalable and flexible. Finally, based on a real-world application model of vehicles moving in region-wide, main issues on the implementation of such a system were addressed.

Avaliação da atividade anti-Helicobacter pylori e citotóxica in vitro de extratos orgânicos obtidos das folhas de Encholirium spectabile e Syzygium cumini

Helicobacter pylori is a spiral, Gram negative, mobile, and microaerophilic bacteria recognized as a major cause of gastritis, ulcer, gastric cancer, and gastric low grade, B cell, mucosa – associated lymphoid tissue (MALT) lymphoma, constituting an important microorganism in medical microbiology. Its importance comes from the difficulty of treatment because the requirement of multiple drugs use, besides the increasing emergence of resistant and multiresistant strains to antibiotics used in th e clinic. In order to expand safe and effective therapeutic options , chemical studies on medicinal plants by obtaining extracts, fractions, isolated compounds or essential oils with some biological activity has been intensified . Given the above, the objective was to evaluate the inhi bitory activity of organic extracts derived from Syzygium cumini and Encholirium spectabile, with antiulcer history, and the essential oil, obtained from S. cumini, against H. pylori (ATCC 43504) by the disk diffusion method, for qualitative evaluation, an d determination of minimum inhibitory concentration (MIC) using the broth microdilution method, for quantitative analysis. Also was evaluated the extracts in vitro toxicity by a hemolytic assay using sheep red blood cells, and VERO and HeLa cells using the MTT assay to analyze cell viability. The extracts of both plant used in antimicrobial assays did not inhibit bacterial growth, however the essential oil of S. cumini (SCFO) proved effective, showing MIC value of 205 μg/mL (0.024 % dilution of the original oil). In the hemolytic assay, the same oil shows moderate toxicity, by promote 25% hemolysis at 1000 μg/mL. Regarding the cytotoxicity in cell culture, the SCFO, at 260 μg/mL, affected the cell viability around 80% of HeLa and 50% of VERO cells. So the oi l obtained from S. cumini leaves has antimicrobial activity against H. pylori and cytotoxicity potential, suggesting a source of new molecule drug candidates, since new stages of toxicity in vitro and in vivo, as well, chemical characterization be evaluate d. Moreover, the development of a prospective drug delivery system can result in a prototype to be used in preclinical tests.

Micropartículas contendo nanopartículas de quitosana usando sulfato e genipina para liberação modificada da triancinolona: obtenção, caracterização e estudo em células tumorais

Chitosan is a polymer biocompatibility and biodegradability widely used in drug delivery systems. The co-crosslinking of chitosan with sodium sulfate and genipin, to form particulate systems is related of making them more resistant to acidic pH and to modulate the release kinetics for the oral route. Triamcinolone is a glucocorticoid with anti-inflammatory and immunosuppressive actions. The nanoparticles were prepared by co-crosslinking and characterized for particle size, PDI, zeta potential, crosslinking degree, encapsulation rate, morphology, infrared spectroscopy, thermal analysis, release kinetics and cells studies. The nanoparticles were prepared initially without genipin with sodium sulphate and the particles parameters were monitored in function of different ratio of drug / polymer, different concentrations of sodium sulfate and polysorbate 80 and the drip mode of crosslinkers on polymers. After optimizing conditions, the chosen system parameters without genipin included mean diameter of 312.20 ± 5.70 nm, PDI 0.342 ± 0.013 and zeta potential of 20.18 ± 2.28 mV. The genipin was introduced into the system analyzing different concentrations (0.5, 1.0 and 2.0 mM) and crosslinking times (3, 6, 12 and 24 h). Evaluating crosslinking time with genipin (0.5 mM) it was showed that varying the genipin reaction time the systems size ranged from 235.1 to 334.4 nm, the PDI from 0.321 to 0.392 and zeta potential 20.92 to 30.39 mV. The crosslinking degree that coud vary from 14 to 30 %. Nanoparticles without genipina, 6 h and 24 h crosslinking time were dried by spray-drying method. Analysis by scanning electron micrograph (SEM) revealed that the microparticles showed spherical morphology. The encapsulation rate was 75 ± 2.3 % using validated HPLC methodology. The infrared analysis showed chemical interactions between the components of the formulation. Thermal analysis showed that systems with a higher degree of crosslinking had a higher thermal stability. On release kinetics, increasing the degree of crosslinking was able to decrease the concentration and rate of release of triamcinolone. In studies with liver cancer cells (HepG2) and colon (HT-29), the microparticulate prepared with triamcinolone and 24 h of crosslinking with genipin showed a potential for antitumor activity in hepatic cell line HepG2. Therefore, a new delivery system for triamcinolone on polymeric nanoparticles of chitosan cocrosslinked with genipin and sodium sulfate was obtained with hepatic antitumor potential.

Nanopartículas catiônicas de poli (ácido lático) para liberação modificada de peptídios da peçonha do escorpião Tityus serrulatus

Reported accidents involving the poisoning scorpions are still frequent in Brazil, mainly caused by Tityus serrulatus, known as yellow scorpion. Although antivenom sera are produced routinely by various government laboratories, the effectiveness of its use depends on how quickly treatment is initiated and efficiency in the production of antibodies by the immunized animals. In this study, the development of cationic polymeric nanoparticles of poly(lactic acid) aimed to create a modified delivery system for peptides and proteins of T. serrulatus venom, able to enhance the production of serum antibodies against the scorpion toxins. The cationic nanoparticles were obtained by a low energy nanoprecipitation, after study of the parameters’ variations effects over the physicochemical properties of the particles. The surface functionalization of the nanoparticles with the hyperbranched polyethyleneimine was proved by zeta potential analysis and enabled the adsorption by electrostatic interaction of different types of proteins. The protein loading efficiency of 40-80 % to bovine serum albumin (BSA) and 100 % to scorpion venom peptides evaluated by spectrophotometry and polyacrylamide gel electrophoresis confirmed the success of the selected parameters established for obtainment of nanoparticles, produced with size between 100 to 250 nm. The atomic force microscopy analysis and in vitro release showed that the spherical nanoparticles provided a sustained release profile of proteins by diffusion mechanism, demonstrating the potential for application of the nanoparticles in vivo.

Nanopartículas catiônicas de poli (ácido lático) para liberação modificada de peptídios da peçonha do escorpião Tityus serrulatus

Reported accidents involving the poisoning scorpions are still frequent in Brazil, mainly caused by Tityus serrulatus, known as yellow scorpion. Although antivenom sera are produced routinely by various government laboratories, the effectiveness of its use depends on how quickly treatment is initiated and efficiency in the production of antibodies by the immunized animals. In this study, the development of cationic polymeric nanoparticles of poly(lactic acid) aimed to create a modified delivery system for peptides and proteins of T. serrulatus venom, able to enhance the production of serum antibodies against the scorpion toxins. The cationic nanoparticles were obtained by a low energy nanoprecipitation, after study of the parameters’ variations effects over the physicochemical properties of the particles. The surface functionalization of the nanoparticles with the hyperbranched polyethyleneimine was proved by zeta potential analysis and enabled the adsorption by electrostatic interaction of different types of proteins. The protein loading efficiency of 40-80 % to bovine serum albumin (BSA) and 100 % to scorpion venom peptides evaluated by spectrophotometry and polyacrylamide gel electrophoresis confirmed the success of the selected parameters established for obtainment of nanoparticles, produced with size between 100 to 250 nm. The atomic force microscopy analysis and in vitro release showed that the spherical nanoparticles provided a sustained release profile of proteins by diffusion mechanism, demonstrating the potential for application of the nanoparticles in vivo.

Structural failures due to lack of bracing

The goal of the research is to provide an overview of those factors that play a major role in structural failures and also to focus on the importance that bracing has in construction accidents. A temporary bracing system is important to construction safety, yet it is often neglected. Structural collapses often occur due to the insufficient support of loads that are applied at the time of failure. The structural load is usually analyzed by conceiving the whole structure as a completed entity, and there is frequently a lack of design or proper implementation of systems that can provide stability during construction. Often, the specific provisions and requirements of temporary bracing systems are left to the workers on the job site that may not have the qualifications or expertise for proper execution. To effectively see if bracing design should get more attention in codes and standards, failures which could have been avoided with the presence and/or the correct design of a bracing system were searched and selected among a variety of cases existing in the engineering literature. Eleven major cases were found, which span in a time frame of almost 70 years, clearly showing that the topic should get more attention. The case studies are presented in chronological order and in a systematic way. The failed structure is described in its design components and the sequence of failure is reconstructed. Then, the causes and failure mechanism are presented. Advice on how to avoid similar failures from happening again and hypothetic solutions which could have prevented the collapses are identified. The findings shows that insufficient or nonexistent bracing mainly results from human negligence or miscalculation of the load analysis and show that time has come to fully acknowledge that temporary structures should be more accounted for in design and not left to contractors' means and methods of construction.