900 resultados para constraint based design
Resumo:
Aromatic thermosetting copolyester (ATSP) has promise in high-temperature applications. It can be employed as a bulk polymer, as a coating and as a matrix for carbon fiber composites (ATSP/C composites). This work focuses on the applications of high performance ATSP/C composites. The morphology of the ATSP matrix in the presence of carbon fiber was studied. The effect of liquid crystalline character of starting oligomers used to prepare ATSP on the final crystal structure of the ATSP/C composite was evaluated. Matrices obtained by crosslinking of both liquid crystalline oligomers (ATSP2) and non-liquid crystalline oligomers (ATSP1) tend to crystallize in presence of carbon fibers. The crystallite size of ATSP2 is 4 times that of ATSP1. Composites made from ATSP2 yield tougher matrices compared to those made from ATSP1. Thus toughened matrices could be achieved without incorporating any additives by just changing the morphology of the final polymer. The flammability characteristics of ATSP were also studied. The limiting oxygen index (LOI) of bulk ATSP was found to be 40% whereas that of ATSP/C composites is estimated to be 85%. Thus, ATSP shows potential to be used as a flame resistant material, and also as an aerospace reentry shield. Mechanical properties of the ATSP/C composite were characterized. ATSP was observed to bond strongly with reinforcing carbon fibers. The tensile strength, modulus and shear modulus were comparable to those of conventionally used high temperature epoxy resins. ATSP shows a unique capability for healing of interlaminar cracks on application of heat and pressure, via the Interchain Transesterification Reaction (ITR). ITR can also be used for reduction in void volume and healing of microcracks. Thus, ATSP resin systems provide a unique intrinsic repair mechanism compared to any other thermosetting systems in use today. Preliminary studies on measurement of residual stresses for ATSP/C composites indicate that the stresses induced are much lower than that in epoxy/C composites. Thermal fatigue testing suggests that ATSP shows better resistance to microcracking compared to epoxy resins.
Resumo:
INTRODUCTION: In common with much of the developed world, Scotland has a severe and well established problem with overweight and obesity in childhood with recent figures demonstrating that 31% of Scottish children aged 2-15 years old were overweight including obese in 2014. This problem is more pronounced in socioeconomically disadvantaged groups and in older children across all economic groups (Scottish Health Survey, 2014). Children who are overweight or obese are at increased risk of a number of adverse health outcomes in the short term and throughout their life course (Lobstein and Jackson-Leach, 2006). The Scottish Government tasked all Scottish Health Boards with developing and delivering child healthy weight interventions to clinically overweight or obese children in an attempt to address this health problem. It is therefore imperative to deliver high quality, affordable, appropriately targeted interventions which can make a sustained impact on children’s lifestyles, setting them up for life as healthy weight adults. This research aimed to inform the design, readiness for application and Health Board suitability of an effective primary school-based curricular child healthy weight intervention. METHODS: the process involved in conceptualising a child healthy weight intervention, developing the intervention, planning for implementation and subsequent evaluation was guided by the PRECEDE-PROCEED Model (Green and Kreuter, 2005) and the Intervention Mapping protocol (Lloyd et al. 2011). RESULTS: The outputs from each stage of the development process were used to formulate a child healthy weight intervention conceptual model then develop plans for delivery and evaluation. DISCUSSION: The Fit for School conceptual model developed through this process has the potential to theoretically modify energy balance related behaviours associated with unhealthy weight gain in childhood. It also has the potential to be delivered at a Health Board scale within current organisational restrictions.
Resumo:
Green roofs are a maturing application of best management practices for controlling urban stormwater runoff. The majority of green roofs are planted with drought resistant, higher plant species, such as the genus Sedum. However, other plant varieties, such as mosses, may be equally applicable. Residential roofs and natural terrestrial communities were sampled in both Maryland and Tennessee to determine moss community structure and species water composition. This served as a natural analog for potential green roof moss communities. During sampling, 21 species of moss were identified throughout the 37 total sites. The average percent moss cover and water composition across all roof sites was 40.7% and 38.6%, respectively and across all natural sites, 76.7% and 47.7%, respectively. Additional maximum water holding capacity procedures were completed on sedum and 19 of the 21 sampled moss species to assess their individual potential for stormwater absorption. Sedum species on average held 166% of their biomass in water, while moss species held 732%. The results of this study are used as a basis to propose moss species that will improve green roof performance.
Resumo:
Safe operation of unmanned aerial vehicles (UAVs) over populated areas requires reducing the risk posed by a UAV if it crashed during its operation. We considered several types of UAV risk-based path planning problems and developed techniques for estimating the risk to third parties on the ground. The path planning problem requires making trade-offs between risk and flight time. Four optimization approaches for solving the problem were tested; a network-based approach that used a greedy algorithm to improve the original solution generated the best solutions with the least computational effort. Additionally, an approach for solving a combined design and path planning problems was developed and tested. This approach was extended to solve robust risk-based path planning problem in which uncertainty about wind conditions would affect the risk posed by a UAV.
H-infinity control design for time-delay linear systems: a rational transfer function based approach
Resumo:
The aim of this paper is to present new results on H-infinity control synthesis for time-delay linear systems. We extend the use of a finite order LTI system, called comparison system to H-infinity analysis and design. Differently from what can be viewed as a common feature of other control design methods available in the literature to date, the one presented here treats time-delay systems control design with classical numeric routines based on Riccati equations arisen from H-infinity theory. The proposed algorithm is simple, efficient and easy to implement. Some examples illustrating state and output feedback design are solved and discussed in order to put in evidence the most relevant characteristic of the theoretical results. Moreover, a practical application involving a 3-DOF networked control system is presented.
Resumo:
English
Resumo:
Part 20: Health and Care Networks
Resumo:
253 p.
Resumo:
The overarching theme of this thesis is mesoscale optical and optoelectronic design of photovoltaic and photoelectrochemical devices. In a photovoltaic device, light absorption and charge carrier transport are coupled together on the mesoscale, and in a photoelectrochemical device, light absorption, charge carrier transport, catalysis, and solution species transport are all coupled together on the mesoscale. The work discussed herein demonstrates that simulation-based mesoscale optical and optoelectronic modeling can lead to detailed understanding of the operation and performance of these complex mesostructured devices, serve as a powerful tool for device optimization, and efficiently guide device design and experimental fabrication efforts. In-depth studies of two mesoscale wire-based device designs illustrate these principles—(i) an optoelectronic study of a tandem Si|WO3 microwire photoelectrochemical device, and (ii) an optical study of III-V nanowire arrays.
The study of the monolithic, tandem, Si|WO3 microwire photoelectrochemical device begins with development and validation of an optoelectronic model with experiment. This study capitalizes on synergy between experiment and simulation to demonstrate the model’s predictive power for extractable device voltage and light-limited current density. The developed model is then used to understand the limiting factors of the device and optimize its optoelectronic performance. The results of this work reveal that high fidelity modeling can facilitate unequivocal identification of limiting phenomena, such as parasitic absorption via excitation of a surface plasmon-polariton mode, and quick design optimization, achieving over a 300% enhancement in optoelectronic performance over a nominal design for this device architecture, which would be time-consuming and challenging to do via experiment.
The work on III-V nanowire arrays also starts as a collaboration of experiment and simulation aimed at gaining understanding of unprecedented, experimentally observed absorption enhancements in sparse arrays of vertically-oriented GaAs nanowires. To explain this resonant absorption in periodic arrays of high index semiconductor nanowires, a unified framework that combines a leaky waveguide theory perspective and that of photonic crystals supporting Bloch modes is developed in the context of silicon, using both analytic theory and electromagnetic simulations. This detailed theoretical understanding is then applied to a simulation-based optimization of light absorption in sparse arrays of GaAs nanowires. Near-unity absorption in sparse, 5% fill fraction arrays is demonstrated via tapering of nanowires and multiple wire radii in a single array. Finally, experimental efforts are presented towards fabrication of the optimized array geometries. A hybrid self-catalyzed and selective area MOCVD growth method is used to establish morphology control of GaP nanowire arrays. Similarly, morphology and pattern control of nanowires is demonstrated with ICP-RIE of InP. Optical characterization of the InP nanowire arrays gives proof of principle that tapering and multiple wire radii can lead to near-unity absorption in sparse arrays of InP nanowires.
Resumo:
The main objective for physics based modeling of the power converter components is to design the whole converter with respect to physical and operational constraints. Therefore, all the elements and components of the energy conversion system are modeled numerically and combined together to achieve the whole system behavioral model. Previously proposed high frequency (HF) models of power converters are based on circuit models that are only related to the parasitic inner parameters of the power devices and the connections between the components. This dissertation aims to obtain appropriate physics-based models for power conversion systems, which not only can represent the steady state behavior of the components, but also can predict their high frequency characteristics. The developed physics-based model would represent the physical device with a high level of accuracy in predicting its operating condition. The proposed physics-based model enables us to accurately develop components such as; effective EMI filters, switching algorithms and circuit topologies [7]. One of the applications of the developed modeling technique is design of new sets of topologies for high-frequency, high efficiency converters for variable speed drives. The main advantage of the modeling method, presented in this dissertation, is the practical design of an inverter for high power applications with the ability to overcome the blocking voltage limitations of available power semiconductor devices. Another advantage is selection of the best matching topology with inherent reduction of switching losses which can be utilized to improve the overall efficiency. The physics-based modeling approach, in this dissertation, makes it possible to design any power electronic conversion system to meet electromagnetic standards and design constraints. This includes physical characteristics such as; decreasing the size and weight of the package, optimized interactions with the neighboring components and higher power density. In addition, the electromagnetic behaviors and signatures can be evaluated including the study of conducted and radiated EMI interactions in addition to the design of attenuation measures and enclosures.
Resumo:
Today, modern System-on-a-Chip (SoC) systems have grown rapidly due to the increased processing power, while maintaining the size of the hardware circuit. The number of transistors on a chip continues to increase, but current SoC designs may not be able to exploit the potential performance, especially with energy consumption and chip area becoming two major concerns. Traditional SoC designs usually separate software and hardware. Thus, the process of improving the system performance is a complicated task for both software and hardware designers. The aim of this research is to develop hardware acceleration workflow for software applications. Thus, system performance can be improved with constraints of energy consumption and on-chip resource costs. The characteristics of software applications can be identified by using profiling tools. Hardware acceleration can have significant performance improvement for highly mathematical calculations or repeated functions. The performance of SoC systems can then be improved, if the hardware acceleration method is used to accelerate the element that incurs performance overheads. The concepts mentioned in this study can be easily applied to a variety of sophisticated software applications. The contributions of SoC-based hardware acceleration in the hardware-software co-design platform include the following: (1) Software profiling methods are applied to H.264 Coder-Decoder (CODEC) core. The hotspot function of aimed application is identified by using critical attributes such as cycles per loop, loop rounds, etc. (2) Hardware acceleration method based on Field-Programmable Gate Array (FPGA) is used to resolve system bottlenecks and improve system performance. The identified hotspot function is then converted to a hardware accelerator and mapped onto the hardware platform. Two types of hardware acceleration methods – central bus design and co-processor design, are implemented for comparison in the proposed architecture. (3) System specifications, such as performance, energy consumption, and resource costs, are measured and analyzed. The trade-off of these three factors is compared and balanced. Different hardware accelerators are implemented and evaluated based on system requirements. 4) The system verification platform is designed based on Integrated Circuit (IC) workflow. Hardware optimization techniques are used for higher performance and less resource costs. Experimental results show that the proposed hardware acceleration workflow for software applications is an efficient technique. The system can reach 2.8X performance improvements and save 31.84% energy consumption by applying the Bus-IP design. The Co-processor design can have 7.9X performance and save 75.85% energy consumption.
Resumo:
We analysed the use of microneedle-based electrodes to enhance electroporation of mouse testis with DNA vectors for production of transgenic mice. Different microneedle formats were developed and tested, and we ultimately used electrodes based on arrays of 500 μm tall microneedles. In a series of experiments involving injection of a DNA vector expressing Green Fluorescent Protein (GFP) and electroporation using microneedle electrodes and a commercially available voltage supply, we compared the performance of flat and microneedle electrodes by measuring GFP expression at various timepoints after electroporation. Our main finding, supported by both experimental and simulated data, is that needles significantly enhanced electroporation of testis.
Resumo:
Cardiovascular disease (CVD) is the leading cause of death worldwide. With atherosclerosis as the underlying cause for many CVD events, prevention or reduction of subclinical atherosclerotic plaque burden (SAPB) through a healthier lifestyle may have substantial public health benefits. The objective was to describe the protocol of a randomized controlled trial investigating the effectiveness of a 30-month worksite-based lifestyle program aimed to promote cardiovascular health in participants having a high or a low degree of SAPB compared with standard care. We will conduct a randomized controlled trial including middle-aged bank employees from the Progression of Early Subclinical Atherosclerosis cohort, stratified by SAPB (high SAPB n = 260, low SAPB n = 590). Within each stratum, participants will be randomized 1:1 to receive a lifestyle program or standard care. The program consists of 3 elements: (a) 12 personalized lifestyle counseling sessions using Motivational Interviewing over a 30-month period, (b) a wrist-worn physical activity tracker, and (c) a sit-stand workstation. Primary outcome measure is a composite score of blood pressure, physical activity, sedentary time, body weight, diet, and smoking (ie, adapted Fuster-BEWAT score) measured at baseline and at 1-, 2-, and 3-year follow-up. The study will provide insights into the effectiveness of a 30-month worksite-based lifestyle program to promote cardiovascular health compared with standard care in participants with a high or low degree of SAPB.
Resumo:
Declarative techniques such as Constraint Programming can be very effective in modeling and assisting management decisions. We present a method for managing university classrooms which extends the previous design of a Constraint-Informed Information System to generate the timetables while dealing with spatial resource optimization issues. We seek to maximize space utilization along two dimensions: classroom use and occupancy rates. While we want to maximize the room use rate, we still need to satisfy the soft constraints which model students’ and lecturers’ preferences. We present a constraint logic programming-based local search method which relies on an evaluation function that combines room utilization and timetable soft preferences. Based on this, we developed a tool which we applied to the improvement of classroom allocation in a University. Comparing the results to the current timetables obtained without optimizing space utilization, the initial versions of our tool manages to reach a 30% improvement in space utilization, while preserving the quality of the timetable, both for students and lecturers.
Resumo:
A High-Performance Computing job dispatcher is a critical software that assigns the finite computing resources to submitted jobs. This resource assignment over time is known as the on-line job dispatching problem in HPC systems. The fact the problem is on-line means that solutions must be computed in real-time, and their required time cannot exceed some threshold to do not affect the normal system functioning. In addition, a job dispatcher must deal with a lot of uncertainty: submission times, the number of requested resources, and duration of jobs. Heuristic-based techniques have been broadly used in HPC systems, at the cost of achieving (sub-)optimal solutions in a short time. However, the scheduling and resource allocation components are separated, thus generates a decoupled decision that may cause a performance loss. Optimization-based techniques are less used for this problem, although they can significantly improve the performance of HPC systems at the expense of higher computation time. Nowadays, HPC systems are being used for modern applications, such as big data analytics and predictive model building, that employ, in general, many short jobs. However, this information is unknown at dispatching time, and job dispatchers need to process large numbers of them quickly while ensuring high Quality-of-Service (QoS) levels. Constraint Programming (CP) has been shown to be an effective approach to tackle job dispatching problems. However, state-of-the-art CP-based job dispatchers are unable to satisfy the challenges of on-line dispatching, such as generate dispatching decisions in a brief period and integrate current and past information of the housing system. Given the previous reasons, we propose CP-based dispatchers that are more suitable for HPC systems running modern applications, generating on-line dispatching decisions in a proper time and are able to make effective use of job duration predictions to improve QoS levels, especially for workloads dominated by short jobs.