The aim of this thesis study is to design a hybrid energy system comprised of wind turbines, diesel generators and batteries to provide electricity for an off - grid rural community in Kenya. Wind Measurements collected over six years from 12 locations in Kenya have been studied and one site selected for this project due to its wind potential, geographical location and socio-economic potential. The energy system is designed to cater for the electricity demand of 500 households, one school, one medical clinic and an irrigation system. The system will support up to 3000 people. The Hybrid Optimization Model for Electric Renewables (HOMER) is the software tool that has been used to simulate the hybrid system and analyze its results. The optimization has been carried out and presented according to cost of electricity and sensitivity graphs have been used demonstrate the optimization based on diesel price and wind turbine hub height.

A Field-Programmable Gate Array (FPGA) is a configurable platform for implementing a variety of logic circuits. It implements a circuit by the means of logic elements, usually Lookup Tables, connected by a programmable routing network. To utilize an FPGA effectively Computer Aided Design (CAD) tools have been developed. These tools implement circuits by using a traditional CAD flow, where the circuit is analyzed, synthesized, technology mapped, and finally placed and routed on the FPGA fabric. This flow, while generally effective, can produce sub-optimal results because once a stage of the flow is completed it is not revisited. This problem is addressed by an enhanced flow known Physical Synthesis, which consists of a set of iterations of the traditional flow with one key difference: the result of each iteration directly affects the result of the following iteration. An optimization can therefore be evaluated and then adjusted as needed in the following iterations, resulting in an overall better implementation. This CAD flow is challenging to work with because for a given FPGA researchers require access to each stage of the flow in an iterative fashion. This is particularly challenging when targeting modern commercial FPGAs, which are far more complex than a simple Lookup Table and Flip-Flop model generally used by the academic community. This dissertation describes a unified framework, called the Physical Synthesis Toolkit (PST), for research and development of optimizations for modern FPGA devices. PST provides access to modern FPGA devices and CAD tool flow to facilitate research. At the same time the amount of effort required to adapt the framework to a new FPGA device is kept to a minimum. To demonstrate that PST is an effective research platform, this dissertation describes optimization and modeling techniques that were implemented inside of it. The optimizations include: an area reduction technique for XOR-based logic circuits implemented on a 4-LUT based FPGA (25.3% area reduction), and a dynamic power reduction technique that reduces glitches in a circuit implemented on an Altera Stratix II FPGA (7% dynamic power reduction). The modeling technique is a novel toggle rate estimation approach based on the XOR-based decomposition, which reduces the estimate error by 37% as compared to the latest release of the Altera Quartus II CAD tool.

Guarded evaluation is a power reduction technique that involves identifying sub-circuits (within a larger circuit) whose inputs can be held constant (guarded) at specific times during circuit operation, thereby reducing switching activity and lowering dynamic power. The concept is rooted in the property that under certain conditions, some signals within digital designs are not "observable" at design outputs, making the circuitry that generates such signals a candidate for guarding. Guarded evaluation has been demonstrated successfully for custom ASICs; in this work, we apply the technique to FPGAs. In ASICs, guarded evaluation entails adding additional hardware to the design, increasing silicon area and cost. Here, we apply the technique in a way that imposes minimal area overhead by leveraging existing unused circuitry within the FPGA. The LUT functionality is modified to incorporate the guards and reduce toggle rates. The primary challenge in guarded evaluation is in determining the specific conditions under which a sub-circuit's inputs can be held constant without impacting the larger circuit's functional correctness. We propose a simple solution to this problem based on discovering gating inputs using "non-inverting paths" and trimming inputs using "partial non-inverting paths" in the circuit's AND-Inverter graph representation. Experimental results show that guarded evaluation can reduce switching activity by as much as 32% for FPGAs with 6-LUT architectures and 25% for 4-LUT architectures, on average, and can reduce power consumption in the FPGA interconnect by 29% for 6-LUTs and 27% for 4-LUTs. A clustered architecture with four LUTs to a cluster and ten LUTs to a cluster produced the best power reduction results. We implement guarded evaluation at various stages of the FPGA CAD flow and analyze the reductions. We implement the algorithm as post technology mapping, post packing and post placement optimizations. Guarded Evaluation as a post technology mapping algorithm inserted the most number of guards and hence achieved the highest activity and interconnect reduction. However, guarding signals come with a cost of increased fanout and stress on routing resources. Packing and placement provides the algorithm with additional information of the circuit which is leveraged to insert high quality guards with minimal impact on routing. Experimental results show that post-packing and post-placement methods have comparable reductions to post-mapping with considerably lesser impact on the critical path delay and routability of the circuit.

No description available.

<p>In this thesis, we consider an amplify and forward half-duplex two-way-relay wireless communication system. For such a system, we estimate the channel information using a particular test signal set. The actual transmitted signal from a normalized square QAM constellation is then detected by choosing the symbol in the QAM constellation closest in distance to it. We derive an error probability which is found to be signal dependent for this system. An optimum design problem under a transmission power constraint based on this signal dependent asymptotic formula is then formulated leading to the optimum transmission power condition. Simulations show that under this optimum power transmission condition the system indeed yields optimum performance.</p> / Master of Applied Science (MASc)

Ocean wave as a renewable energy source possesses great potential for solving the world energy crisis and benefit human beings. The total theoretical potential wave power on the ocean-facing coastlines of the world is around 30,000 TWh, although cannot all be adopted for generating electricity, the amount of the power can be absorbed still can occupy a large portion of the world's total energy consumption. However, multiple reasons have stopped the ocean wave energy from being widely adopted, and among those reasons, the most important one is immature of the Power Take-off (PTO) technology. In this dissertation, a self-reactive two-body wave energy point absorber that is embedded with a novel PTO using the unique mechanism of Mechanical Motion Rectifier (MMR) is investigated through design, analysis and testing to improve the energy harvesting efficiency and the reliability of the PTO. The MMR mechanism can transfer the reciprocated bi-directional movement of the ocean wave into unidirectional rotation of the generator. As a result, this mechanism brings in two advantages towards the PTO. The first advantage it possess is that the alternating stress of the PTO is changed into normal stress, hence the reliability of the components are expected to be improved significantly. The other advantage it brings in is a unique phenomenon of engagement and disengagement during the operation, which lead to a piecewise nonlinear dynamic property of the PTO. This nonlinearity of the PTO can contribute to an expanded frequency domain bandwidth and better efficiency, which are verified through both numerical simulation and in-lab experiment. During the in-lab test, the prototyped PTO achieved energy transfer efficiency as high as 81.2%, and over 40% of efficiency improvement compared with the traditional non-MMR PTO under low-speed condition, proving the previously proposed advantage. Through a more comprehensive study, the MMR PTO is further characterized and a refined dynamic model. The refined model can accurately predict the dynamic response of the PTO. The major factors that can influence the performance of the MMR PTO, which are the inertia of the PTO, the damping coefficient, and the excitation frequency, are explored through analysis and experiment comprehensively. The results show that the increase on the inertia of the PTO and excitation frequency, and decrease on the damping coefficient can lead to a longer disengagement of the PTO and can be expressed analytically. Besides the research on the PTO, the body structure of the point absorber is analyzed. Due to the low-frequency of the ocean wave excitation, usually a very large body dimension for the floating buoy of the point absorber is desired to match with that frequency. To solve this issue, a self-reactive two-body structure is designed where an additional frequency between the two interactive bodies are added to match the ocean wave frequency by adopting an additional reactive submerged body. The self-reactive two-body structure is tested in a wave to compare with the single body design. The results show that the two-body structure can successfully achieve the frequency matching function, and it can improve more than 50% of total power absorption compared with the single body design. / Doctor of Philosophy / Ocean wave as a renewable energy source possesses great potential for solving the world energy crisis and benefit human beings. The total theoretical potential wave power on the ocean-facing coastlines of the world is around 30,000 TWh, although impossible to be all transferred into electricity, the amount of the power can be absorbed still can cover a large portion of the world's total energy consumption. However, multiple reasons have stopped the ocean wave energy from being widely adopted, and among those reasons, the most important one is immature of the Power Take-off (PTO) technology. In this dissertation, a novel two body wave energy converter with a PTO using the unique mechanism of Mechanical Motion Rectifier (MMR) is investigated through design, analysis, and testing. To improve the energy harvesting efficiency and the reliability of the PTO, the dissertation induced a mechanical PTO that uses MMR mechanism which can transfer the reciprocated bi-directional movement of the ocean wave into unidirectional rotation of the generator. This mechanism brings in a unique phenomenon of engagement and disengagement and a piecewise nonlinear dynamic property into the PTO. Through a comprehensive study, the MMR PTO is further characterized and a refined dynamic model that can accurately predict the dynamic response of the PTO is established. The major factors that can influence the performance of the MMR PTO are explored and discussed both analytically and experimentally. Moreover, as it has been theoretically hypothesis that using a two-body structure for designing the point absorbers can help it to achieve a frequency tuning effect for it to better match with the excitation frequency of the ocean wave, it lacks experimental verification. In this dissertation, a scaled two-body point absorber prototype is developed and put into a wave tank to compare with the single body structure. The test results show that through the use of two-body structure and by designing the mass ratio between the two bodies properly, the point absorber can successfully match the excitation frequency of the wave. The highest power capture width ratio (CWR) achieved during the test is 58.7%, which exceeds the results of similar prototypes, proving the advantage of the proposed design.

As worldwide energy consumption continues to increase, so does the demand for renewable energy sources. The total available wave energy resource for the United States alone is 2,640 TWh/yr; nearly two thirds of the 4,000 TWh of electricity used in the United States each year. It is estimated that nearly half of that available energy is recoverable through wave energy conversion techniques. In this thesis, a two-body 'point absorber' type wave energy converter with a mechanical power-takeoff is investigated. The two-body wave energy converter extracts energy through the relative motion of a floating buoy and a neutrally buoyant submerged body. Using a linear frequency-domain model, analytical solutions of the optimal power and the corresponding power-takeoff components are derived for the two-body wave energy converter. Using these solutions, a case study is conducted to investigate the influence of the submerged body size on the absorbed power of the device in regular and irregular waves. Here it is found that an optimal mass ratio between the submerged body and floating buoy exists where the device will achieve resonance. Furthermore, a case study to investigate the influence of the submerged body shape on the absorbed power is conducted using a time-domain numerical model. Here it is found that the submerged body should be designed to reduce the effects of drag, but to maintain relatively large hydrodynamic added mass and excitation force. To validate the analytical and numerical models, a 1/30th scale model of a two-body wave energy converter is tested in a wave tank. The results of the wave tank tests show that the two-body wave energy converter can absorb nearly twice the energy of a single-body 'point absorber' type wave energy converter. / Master of Science

This dissertation addresses the issues of high power consumption and verification associated with a novel hardware design methodology based on high-level synthesis using action-oriented specifications. High-level synthesis of hardware designs is the process of automatically converting high-level behavioral specifications of designs into their corresponding RTL (Register Transfer Level) descriptions. From a designer's perspective, writing high-level specifications of a design alleviates the burden of handling various scheduling and concurrency issues, which can be automatically handled by the high-level synthesis tool. In the recent past, EDA (Electronic Design Automation) industry has seen efforts by various vendors to make such synthesis process practical for generating efficient hardware designs. In most of these cases, the inputs to high-level synthesis tools are the control data-flow graphs (CDFGs) or hierarchical variants of those. These models sequentialize parts of the computation in the form of computation threads. In contrast, in the last couple of years, advances have been made in an alternative high-level hardware design methodology where the specifications are action-oriented rather than the composition of sequential threads. In this paradigm, a hardware design is described in terms of atomic actions and then synthesized into the RTL code. Action-oriented synthesis process inherently targets the reduction of area and latency of a hardware design. However, two important issues that have not been addressed adequately are (1) power optimizations during such synthesis and (2) verification of action-oriented specifications and synthesized power-minimized implementations of the designs. With the proliferation of power-hungry portable devices, ever shrinking geometries and increasing clock frequencies, power consumption of hardware designs has become a critical metric (besides area and latency) that should be taken into consideration while evaluating the viability and success of a synthesis process. In this work, we analyze the complexity of low-power problems associated with the action-oriented specification models, and propose algorithms and techniques for power optimization during the action-oriented synthesis process. Furthermore, verification of hardware designs generated from such models is required in order to verify the changes caused in their structures or behaviors as part of any used power minimization techniques. Verification of high-level action-oriented models is also important for ensuring the correctness of the designs early in the design cycle. In this work, we also propose various formal verification techniques that can be used for verifying desired correctness properties as well as behaviors of power-minimized action-oriented designs at high-level. / Ph. D.

abstract: Currently, one of the biggest limiting factors for long-term deployment of autonomous systems is the power constraints of a platform. In particular, for aerial robots such as unmanned aerial vehicles (UAVs), the energy resource is the main driver of mission planning and operation definitions, as everything revolved around flight time. The focus of this work is to develop a new method of energy storage and charging for autonomous UAV systems, for use during long-term deployments in a constrained environment. We developed a charging solution that allows pre-equipped UAV system to land on top of designated charging pads and rapidly replenish their battery reserves, using a contact charging point. This system is designed to work with all types of rechargeable batteries, focusing on Lithium Polymer (LiPo) packs, that incorporate a battery management system for increased reliability. The project also explores optimization methods for fleets of UAV systems, to increase charging efficiency and extend battery lifespans. Each component of this project was first designed and tested in computer simulation. Following positive feedback and results, prototypes for each part of this system were developed and rigorously tested. Results show that the contact charging method is able to charge LiPo batteries at a 1-C rate, which is the industry standard rate, maintaining the same safety and efficiency standards as modern day direct connection chargers. Control software for these base stations was also created, to be integrated with a fleet management system, and optimizes UAV charge levels and distribution to extend LiPo battery lifetimes while still meeting expected mission demand. Each component of this project (hardware/software) was designed for manufacturing and implementation using industry standard tools, making it ideal for large-scale implementations. This system has been successfully tested with a fleet of UAV systems at Arizona State University, and is currently being integrated into an Arizona smart city environment for deployment. / Dissertation/Thesis / Masters Thesis Computer Engineering 2018

This thesis presents circuit-level techniques for soft error mitigation, low-power design with performance trade-off, and variation-tolerant low-power design. The proposed techniques are divided into two broad categories. First, error compensation techniques, which are used for soft error mitigation and also for low-power operation of linear and non-linear filters. Second, a framework for variation tolerant low-power operation of wireless devices is presented. This framework analyzes the effects of circuit "tuning knobs" such as voltage, frequency, wordlength precision, etc. on system performance, and power efficiency. Process variations are considered as well, and the best operating tuning knob levels are determined, which results in maximum system wide power savings while keeping the system performance within acceptable limits. Different methods are presented for variation-tolerant and power-efficient wireless communication. Techniques are also proposed for application driven low-power operation of the OFDM baseband receiver.