Design problems in engineering are typically complex, and are therefore decomposed into a hierarchy of smaller, simpler design problems by the design management. It is often the case in a hierarchical design problem that an upstream design team’s achievable performance space becomes the design space for a downstream design team. A Bayesian network classifier is proposed in this research to map and classify a design team’s attainable performance space. The classifier will allow for enhanced collaboration between design teams, letting an upstream design team efficiently identify and share their attainable performance space with a downstream design team. The goal is that design teams can work concurrently, rather than sequentially, thereby reducing lead time and design costs. In converging to a design solution, intelligently narrowing the design space allows for resources to be focused in the most beneficial regions. However, the process of narrowing the design space is non-trivial, as each design team must make performance trade-offs that may unknowingly affect other design teams. The performance space mapping provided by the Bayesian network classifier allows designers to better understand the consequences of narrowing the design space. This knowledge allows design decisions to be made at the system-level, and be propagated down to the subsystem-level, leading to higher quality designs. The proposed methods of mapping the performance space are then applied to a hierarchical, multi-level metamaterial design problem. The design problem explores the possibility of designing and fabricating composite materials that have desirable macro-scale mechanical properties as a result of embedded micro-scale inclusions. The designed metamaterial is found to have stiffness and loss properties that surpass those of conventional composite materials. / text

The high cost of fabricating VLSI circuits requires that they be validated, that is, shown to function correctly, before manufacture. The cost of design errors can be kept to a minimum if such validation occurs as early as possible; this is achieved by integrating validation into a hierarchical design procedure. In this thesis, a hierarchical approach to design, in which validation is performed between each pair of adjacent levels in the hierarchy, is developed. In order to adopt such an approach, a language is required for the formal description of hardware behaviour and structure. Therefore an important aspect of the development of the methodology, and a major theme of the thesis, is the development of languages to support the methodology. An enhanced version of CIRCAL, which enables large and abstract devices to be described concisely and supports formal reasoning about the behaviour of constructed systems, is presented. Specifications should accurately model the behaviour of real hardware and should be useful for design and validation; they should also be easy to write. In order to realise these goals, a number of specification techniques have been developed and a new language which enforces some of these techniques, thereby easing the specification task, is proposed. Ways in which a language may assist design have been investigated. Language constructs which restrict a designer, thereby removing some design decisions, have been developed. A simple correctness-preserving transformation is presented, illustrating another way in which a designer may be assisted by a formal language. Specification techniques play an important part in the validation task, as accurate and consistent modelling is vital in establishing the correctness of implementations. Techniques have also been developed which enable detailed implementations to be usefully compared with more abstract specifications. This is demonstrated in a large example, the specification, design and formal verification of a simple microprocessor. Finally, the concept of contextual constraints, restrictions on the environment in which a device may be placed, is introduced. A method of specifying such constraints has been developed, and it is shown that their formal treatment can provide assistance in specification, design and verification.

Electrically conductive fabrics are one of the major components of smart textile that attracts a lot of attention by the energy, medical, sports and military industry. The principal contributors to the conductivity of the smart textiles are the intrinsic properties of the fiber, functionalization by the addition of conductive particles and the architecture of fibers. In this study, intrinsic properties of non-woven carbon fabric derived from a novel linear lignin, poly-(caffeyl alcohol) (PCFA) discovered in the seeds of the vanilla orchid (Vanilla planifolia) was investigated. In contrast to all known lignins which comprise of polyaromatic networks, the PCFA lignin is a linear polymer. The non-woven fabric was prepared using electrospinning technique, which follows by stabilization and carbonization steps. Results from Raman spectroscopy indicate higher graphitic structure for PCFA carbon as compared to the Kraft lignin, as seen from G/D ratios of 1.92 vs 1.15 which was supported by a high percentage of graphitic (C-C) bond observed from X-ray photoelectron spectroscopy (XPS). Moreover, from the XRD and TEM a larger crystal size (Lc=12.2 nm) for the PCFA fiber was obtained which correlates to the higher modulus and conductivity of the fiber. These plant-sourced carbon fabrics have a valuable impact on zero carbon footprint materials. In order to improve the strength and flexibility of the non-woven carbon fabric, lignin was blended with the synthetic polymer Poly acrylonitrile (PAN) in different concertation, resulting in electrical conductivity up to (7.7 S/cm) on blend composition which is enough for sensing and EMI shielding applications. Next, the design of experiments approach was used to identify the contribution of the carbonization parameters on the conductivity of the fabrics and architecture of the fibers, results show carbonization temperature as the major contributing factor to the conductivity of non-woven fabric. Finally, a manufacturing procedure was develop inspired by the architecture of plant fibers to induce controlled porosity either on the skin or core of fibers which results in stiffness and flexibility in the fibers. Coaxial Electrospinning and Physical foaming (CO2 foaming) techniques were utilized to create the hierarchical fiber architecture. Finite Element model was developed to design for mechanical properties of the bioinspired fiber mesh. Results show the polymers contributes less in a coaxial design as compared to the individual fibers for mechanical properties. This manufacturing method can use for hierarchical functionalization of fibers by adding conductive nanoparticles at different levels of fiber cross-section utilized for sensing applications in sports and medical industry.

The complexity of distributed computing systems has raised two unprecedented challenges for system management. First, various customers need to be assured by meeting their required service-level agreements such as response time and throughput. Second, system power consumption must be controlled in order to avoid system failures caused by power capacity overload or system overheating due to increasingly high server density. However, most existing work, unfortunately, either relies on open-loop estimations based on off-line profiled system models, or evolves in a more ad hoc fashion, which requires exhaustive iterations of tuning and testing, or oversimplifies the problem by ignoring the coupling between different system characteristics (ie, response time and throughput, power consumption of different servers). As a result, the majority of previous work lacks rigorous guarantees on the performance and power consumption for computing systems, and may result in degraded overall system performance. In this thesis, we extensively study adaptive performance/power management and power-efficient performance management for distributed computing systems such as information dissemination systems, power grid management systems, and data centers, by proposing Multiple-Input-Multiple-Output (MIMO) control and hierarchical designs based on feedback control theory. For adaptive performance management, we design an integrated solution that controls both the average response time and CPU utilization in information dissemination systems to achieve bounded response time for high-priority information and maximized system throughput in an example information dissemination system. In addition, we design a hierarchical control solution to guarantee the deadlines of real-time tasks in power grid computing by grouping them based on their characteristics, respectively. For adaptive power management, we design MIMO optimal control solutions for power control at the cluster and server level and a hierarchical solution for large-scale data centers. Our MIMO control design can capture the coupling among different system characteristics, while our hierarchical design can coordinate controllers at different levels. For power-efficient performance management, we discuss a two-layer coordinated management solution for virtualized data centers. Experimental results in both physical testbeds and simulations demonstrate that all the solutions outperform state-of-the-art management schemes by significantly improving overall system performance.

Over the last few years, public transportation has become more desirable as capacity of existing roadways failed to keep up with rapidly increasing traffic demand. Buses are one of the most common modes of public transportation with low impact on network capacity, especially in small and congested urban areas. However, the use of regularly scheduled buses as the main public transport mode can become useless with the presence of traffic congestion and dense construction areas. In cases like these, innovative solutions, such as bus rapid transit (BRT), can provide an increased level of service without having to resort to other, more expensive modes, such as light rail transit (LRT) and metro systems (subways). Transit signal priority (TSP), which provides priority to approaching buses at signalized intersections by extending the green or truncating the red, can also increase the performance of the bus service. Understanding the combined impact of TSP and BRT on network traffic operations can be complex. Although TSP has been implemented worldwide, none of the previous studies have examined in depth the effects of using conditional and unconditional TSP strategies with a BRT system. The objective of this research is to evaluate the effectiveness of BRT without TSP, then with conditional or unconditional TSP strategies. The micro-simulation software VISSIM was used to compare different TSP and BRT scenarios. These simulation scenarios include the base scenario (before implementation of the TSP and BRT systems), Unconditional TSP (TSP activates for all buses), Conditional TSP 3 minutes behind (TSP only activates for buses that are 3 minutes or more behind schedule), Conditional TSP 5 minutes behind (only activates for buses 5 minutes or more behind schedule), BRT with no TSP, BRT with Unconditional TSP, BRT with Conditional TSP 3 minutes behind, and BRT with Conditional TSP 5 minutes behind. The VISSIM simulation model was developed, calibrated and validated using a variety of data that was collected in the field. These data included geometric data, (number of lanes, intersection geometries, etc.); traffic data (average daily traffic volumes at major intersections, turning movement percentages at intersections, heavy vehicle percentages, bus passenger data, etc.); and traffic control data (signal types, timings and phasings, split history, etc.). Using this field data ensured the simulation model was sufficient for modeling the test corridor. From this model, the main performance parameters (for all vehicles and for buses only) for through movements in both directions (eastbound and westbound) along the corridor were analyzed for the various BRT/TSP scenarios. These parameters included average travel times, average speed profiles, average delays, and average number of stops. As part of a holistic approach, the effects of BRT and TSP on crossing street delay were also evaluated. Simulation results showed that TSP and BRT scenarios were effective in reducing travel times (up to 26 %) and delays (up to 64%), as well as increasing the speed (up to 47%), compared to the base scenario. The most effective scenarios were achieved by combining BRT and TSP. Results also showed that BRT with Conditional TSP 3 minutes behind significantly improved travel times (17 – 26%), average speed (30 – 39%), and average total delay per vehicle (11 – 32%) for the main corridor through movements compared with the base scenario, with only minor effects on crossing street delays. BRT with Unconditional TSP resulted in significant crossing street delays, especially at major intersections with high traffic demand, which indicates that this scenario is impractical for implementation in the corridor. Additionally, BRT with Conditional TSP 3 minutes behind had better travel time savings than BRT with Conditional TSP 5 minutes behind for both travel directions, making this the most beneficial scenario. This research provided an innovative approach by using nested sets (hierarchical design) of TSP and BRT combination scenarios. Coupled with microscopic simulation, nested sets in the hierarchical design are used to evaluate the effectiveness of BRT without TSP, then with conditional or unconditional TSP strategies. The robust methodology developed in this research can be applied to any corridor to understand the combined TSP and BRT effects on traffic performance. Presenting the results in an organized fashion like this can be helpful in decision making. This research investigated the effects of BRT along I-Drive corridor (before and after conditions) at the intersection level. Intersection analysis demonstrated based on real life data for the before and after the construction of BRT using the Highway Capacity SoftwareTM (HCS2010) that was built based on the Highway Capacity Manual (HCM 2010) procedures for urban streets and signalized intersections. The performance measure used in this analysis is the level of service (LOS) criteria which depends on the control delay (seconds per vehicle) for each approach and for the entire intersection. The results show that implementing BRT did not change the LOS. However, the control delay has improved at most of the intersections' approaches. The majority of intersections operated with an overall LOS "C" or better except for Kirkman Road intersection (T2) with LOS "E" because it has the highest traffic volumes before and after BRT construction. This research also used regression analysis to observe the effect of the tested scenarios analyzed in VISSIM software compared to the No TSP – No BRT base model for all vehicles and for buses only. The developed regression model can predict the effect of each scenario on each studied Measures of Performance (MOE). Minitab statistical software was used to conduct this multiple regression analysis. The developed models with real life data input are able to predict how proposed enhancements change the studied MOEs. The BRT models presented in this research can be used for further sensitivity analysis on a larger regional network in the upcoming regional expansion of the transit system in Central Florida. Since this research demonstrated the operational functionality and effectiveness of BRT and TSP systems in this critical corridor in Central Florida, these systems' accomplishments can be expanded throughout the state of Florida to provide greater benefits to transit passengers. Furthermore, to demonstrate the methodology developed in this research, it is applied to a test corridor along International Drive (I-Drive) in Orlando, Florida. This corridor is key for regional economic prosperity of Central Florida and the novel approach developed in this dissertation can be expanded to other transit systems.

Since the discovery of Mycobacterium tuberculosis (Mtb) as the bacterial agent causing tuberculosis, the permanent eradication of this disease has proven challenging. Although a number of drugs exist for the treatment of tuberculosis, 1.7 million people still die every year from this infection. The current treatment regimen involves lengthy combination therapy with four different drugs in an effort to combat the development of resistance. However, multidrug-resistant and extensively drug-resistant strains are emerging in all parts of the world. Therefore, new drugs effective in the treatment of tuberculosis are much-needed. The work presented in this thesis was focused on the early stages of drug discovery by applying different hit identification and hit expansion strategies in the exploration of two new potential drug targets, glutamine synthetase (GS) and 1-deoxy-D-xylulose-5-phosphate reductoisomerase (DXR). A literature survey was first carried out to identify new Mtb GS inhibitors from compounds known to inhibit GS in other species. Three compounds, structurally unrelated to the typical amino acid derivatives of previously known GS inhibitors, were then discovered by virtual screening and found to be Mtb GS inhibitors, exhibiting activities in the millimolar range. Imidazo[1,2-a]pyridine analogues were also investigated as Mtb GS inhibitors. The chemical functionality, size requirements and position of the substituents in the imidazo[1,2-a]pyridine hit were investigated, and a chemical library was designed based on a focused hierarchical design of experiments approach. The X-ray structure of one of the inhibitors in complex with Mtb GS provided additional insight into the structure–activity relationships of this class of compounds. Finally, new α-arylated fosmidomycin analogues were synthesized as inhibitors of Mtb DXR, exhibiting IC50 values down to 0.8 µM. This work shows that a wide variety of aryl groups are tolerated by the enzyme. Cinnamaldehydes are important synthetic intermediates in the synthesis of fosmidomycin analogues. These were prepared by an oxidative Heck reaction from acrolein and various arylboronic acids. Electron-rich, electron-poor, heterocyclic and sterically hindered boronic acids could be employed, furnishing cinnamaldehydes in 43–92% yield.