Filtering by
- All Subjects: Electrical Engineering
The self-heating model assumes that the heat transport within the device follows Energy Balance model which may not be accurate. To properly study heat transport within the device, a state of the art Monte Carlo device simulator is necessary. In this regard, the Phonon Monte Carlo(PMC) simulator is developed. Phonons are treated as quasi particles that carry heat energy. Like electrons, phonons obey a corresponding Boltzmann Transport Equation(BTE) which can be used to study their transport. The direct solution of the BTE for phonons is possible, but it is difficult to incorporate all scattering mechanisms. In the Monte Carlo based solution method, it is easier to incorporate different relevant scattering mechanisms. Although the Monte Carlo method is computationally intensive, it provides good insight into the physical nature of the transport problem. Hence Monte Carlo based techniques are used in the present work for studying phonon transport. Monte Carlo simulations require calculating the scattering rates for different scattering processes. In the present work, scattering rates for three phonon interactions are calculated from different approaches presented in the literature. Optical phonons are also included in the transport problem. Finally, the temperature dependence of thermal conductivity for silicon is calculated in the range from 100K to 900K and is compared to available experimental data.
On the other hand, high pressure, temperatures that can reach boiling, and the pH of different hot springs ranging from <2 to >9 make hot spring ecosystem a unique environment that is difficult to study. WSN allows many scientific studies in harsh environments that are not feasible with traditional instrumentation. However, wireless pH sensing for long time in situ data collection is still challenging for two reasons. First, the existing commercial-off-the-shelf pH meters are frequent calibration dependent; second, biofouling causes significant measurement error and drift. In this work, 2-dimentional graphene pH sensors were studied and calibration free graphene pH sensor prototypes were fabricated. Test result shows the resistance of the fabricated device changes linearly with the pH values (in the range of 3-11) in the surrounding liquid environment. Field tests show graphene layer greatly prevented the microbial fouling. Therefore, graphene pH sensors are promising candidates that can be effectively used for wireless pH sensing in exploration of hot spring ecosystems.
Current sensing capability inside a system is much sought after for applications which include Peak-current mode control, Current limiting, Overload protection. Current sensing is extremely important for current sharing in Multi-phase topologies. Existing approaches such as Series resistor, SenseFET, inductor DCR based current sensing are simple but their drawbacks such low efficiency, low accuracy, limited bandwidth demand a novel current sensing scheme.
This research presents a systematic design procedure of a 5V - 1.8V, 8A 4-Phase Buck regulator with a novel current sensing scheme based on replication of the inductor current. The proposed solution consists of detailed system modeling in PLECS which includes modification of the peak current mode model to accommodate the new current sensing element, derivation of power-stage and Plant transfer functions, Controller design. The proposed model has been verified through PLECS simulations and compared with a transistor-level implementation of the system. The time-domain parameters such as overshoot and settling-time simulated through transistor-level
implementation is in close agreement with the results obtained from the PLECS model.
This thesis details the design process of a variable gain amplifier (VGA) based circuit which maintains a consistent output power over a wide range of input power signals. This effect is achieved by using power detection circuitry to adjust the gain of the VGA based on the current input power so that it is amplifier to a set power level. The paper details the theory behind this solutions as well as the design process which includes both simulations and physical testing of the actual circuit. It also analyses results of these tests and gives suggestions as to what could be done to further improve the design. The VGA based constant output power solution was designed as a section of a larger circuit which was developed as part of a senior capstone project, which is also briefly described in the paper.
1) Falsification: given a CPS, and a property of interest that the CPS must satisfy under all allowed operating conditions, does the CPS violate, i.e. falsify, the property?
2) Conformance testing: given a model of a CPS, and an implementation of that CPS on an embedded platform, how can we characterize the properties satisfied by the implementation, given the properties satisfied by the model?
Both problems arise in the context of Model-Based Design (MBD) of CPS: in MBD, the designers start from a set of formal requirements that the system-to-be-designed must satisfy.
A first model of the system is created.
Because it may not be possible to formally verify the CPS model against the requirements, falsification tries to verify whether the model satisfies the requirements by searching for behavior that violates them.
In the first part of this dissertation, I present improved methods for finding falsifying behaviors of CPS when properties are expressed in Metric Temporal Logic (MTL).
These methods leverage the notion of robust semantics of MTL formulae: if a falsifier exists, it is in the neighborhood of local minimizers of the robustness function.
The proposed algorithms compute descent directions of the robustness function in the space of initial conditions and input signals, and provably converge to local minima of the robustness function.
The initial model of the CPS is then iteratively refined by modeling previously ignored phenomena, adding more functionality, etc., with each refinement resulting in a new model.
Many of the refinements in the MBD process described above do not provide an a priori guaranteed relation between the successive models.
Thus, the second problem above arises: how to quantify the distance between two successive models M_n and M_{n+1}?
If M_n has been verified to satisfy the specification, can it be guaranteed that M_{n+1} also satisfies the same, or some closely related, specification?
This dissertation answers both questions for a general class of CPS, and properties expressed in MTL.