Fuel cell technology has undergone significant development in the past 15 years, spurred in part by its unique energy conversion characteristics; directly converting chemical energy to electrical energy. As fuel cell technology has past through the prototype/pre-commercialisation development, there is increasing interest in manufacturing and application issues. Of the six different fuel cell types pursued commercially, the Proton Exchange Membrane (PEM) fuel cell has received the greatest amount of research and development investment due to its suitability in a variety of applications. A particular application, to which state-of-the art PEMFC technology is suited, is backup/uninterruptible power supply (UPS) systems, or stand-by power systems. The most important feature of any backup/UPS system is reliability. Traditional backup power systems, such as those utilising valve regulated lead acid (VRLA) batteries, employ remote testing protocols that acquire battery state-of-health and state-of-charge information. This information plays a critical role in system management and reliability assurance. A similar testing protocol developed for a PEM fuel cell would be a valuable contribution to the commercialization of these systems for backup/UPS applications. This thesis presents a novel testing and analysis procedure, specifically designed for a PEM fuel cell in a backup power application. The test procedure electronically probes the fuel cell in the absence of hydrogen. Thus, the fuel cell is in an inactive, or passive, state throughout the testing process. The procedure is referred to as the passive state dynamic behaviour (PSDB) test. Analysis and interpretation of the passive test results is achieved by determining the circuit parameter values of an equivalent circuit model (ECM). A novel ECM of a fuel cell in a passive state is proposed, in which physical properties of the fuel cell are attributed to the circuit model components. Therefore, insight into the physical state of the fuel cell is achieved by determining the values of the circuit model parameters. A method for determining the circuit parameter values of many series connected cells (a stack) using the results from a single stack test is also presented. The PSDB test enables each cell in a fuel cell stack to be tested and analysed using a simple procedure that can be incorporated into a fuel cell system designed for backup power applications. An experimental system for implementing the PSDB test and evaluating the active performance of three different PEM fuel cells was developed. Each fuel cell exhibited the same characteristic voltage transient when subjected to the PSDB test. The proposed ECM was shown to accurately model the observed transient voltage behaviour of a single cell and many series connected cells. An example of how the PSDB test can provide information on the active functionality of a fuel cell is developed. This method consists of establishing baseline performance of the fuel cell in an active state, in conjunction with a PSDB test and identification of model parameter values. A subsequent PSDB test is used to detect changes in the state of the fuel cell that correspond to performance changes when the stack is active. An explicit example is provided, where certain cells in a stack were purposefully humidified. The change in state of the cells was identified by the PSDB test, and the performance change of the effected cells was successfully predicted. The experimental test results verify the theory presented in relation to the PSDB test and equivalent circuit model.

Insulated Gate Bipolar Transistor (IGBT) based voltage source converter (VSC) applica-tions embedded in power systems are growing. Optimal design of thermal management systems for such converters requires estimation of IGBT losses under various operating conditions, both normal and abnormal. Therefore, development of tools for estimating IGBT losses in EMT simulators is important as converters embedded in large power sys-tems are simulated in EMT simulators. Two circuit models are developed to simulate turn-on and turn-off transients using a be-havioral approach. These circuit models mimic the observed behavior in distinct phases of the turn-on and turn-off transients under the inductive load switching. In this model, the nonlinear nature of the circuit model of the IGBT is treated and converter specific in-fluential parameters are taken in to account. An excellent correlation between the meas-ured and simulated waveforms as well as measured and estimated switching losses is ob-served. Finally, an efficient method to incorporate switching loss calculation in an EMT program in the form of a lookup table created using the developed transient model is pro-posed.

With the aggressive scaling of complementary metal-oxide semiconductor (CMOS) nearing an inevitable physical limit and its well-known power crisis, the quest for an alternative/augmenting technology that surpasses the current semiconductor electronics is needed for further technological progress. Spintronic devices emerge as prime candidates for Beyond CMOS era by utilizing the electron spin as an extra degree of freedom to decrease the power consumption and overcome the velocity limit connected with the charge. By using the nonvolatility nature of magnetization along with its direction to represent a bit of information and then manipulating it by spin-polarized currents, routes are opened for combined memory and logic. This would not have been possible without the recent discoveries in the physics of nanomagnetism such as spin-transfer torque (STT) whereby a spin-polarized current can excite magnetization dynamics through the transfer of spin angular momentum. STT have expanded the available means of switching the magnetization of magnetic layers beyond old classical techniques, promising to fulfill the need for a new generation of dense, fast, and nonvolatile logic and storage devices. All-spin logic (ASL) is among the most promising spintronic logic switches due to its low power consumption, logic-in-memory structure, and operation on pure spin currents. The device is based on a lateral nonlocal spin valve and STT switching. It utilizes two nanomagnets (whereby information is stored) that communicate with pure spin currents through a spin-coherent nonmagnetic channel. By using the well-known spin physics and the recently proposed four-component spin circuit formalism, ASL can be thoroughly studied and simulated. Previous attempts to model ASL in the linear and diffusive regime either neglect the dynamic characteristics of transport or do not provide a scalable and robust platform for full micromagnetic simulations and inclusion of other effects like spin Hall effect and spin-orbit torque. In this thesis, we propose an improved stochastic magnetization dynamics/time-dependent spin transport model based on a finite-difference scheme of both the temporal and spatial derivatives to capture the key features of ASL. The approach yields new finite-difference conductance matrices, which, in addition to recovering the steady-state results, captures the dynamic behavior. The new conductance matrices are general in that the discretization framework can be readily applied and extended to other spintronic devices. Also, we provide a stable algorithm that can be used to simulate a generic ASL switch using the developed model.

京都大学 / 0048 / 新制・課程博士 / 博士(生命科学) / 甲第20531号 / 生博第373号 / 新制||生||49(附属図書館) / 京都大学大学院生命科学研究科高次生命科学専攻 / (主査)教授 松田 道行, 教授 上村 匡, 教授 見学 美根子 / 学位規則第4条第1項該当 / Doctor of Philosophy in Life Sciences / Kyoto University / DFAM

No description available.

This paper presents the theory, design, and validation of a microphone calibrator used to calibrate multiple microphones simultaneously. This work was done in conjunction with the development of an acoustic energy density probe, which was used to validate the calibrator. The probe uses multiple microphones to acquire the data needed to compute the acoustic energy density. The probe microphones are 0.006 m diameter electret microphones which typically do not have an ideal “flat" response over a wide range of frequencies as compared to precision condenser microphones. The probe microphone characteristics prompted the need for simultaneous, multi-microphone magnitude calibration. The idea behind the calibration process was to simultaneously subject each microphone on the probe to the same known acoustic pressure over the frequency range of the probe (0-2 kHz). This is done using equal-length small-diameter tubes connected to a single source at each microphone. The calibrator was modeled using and equivalent circuit model. The model results are presented and compared to measured results. The calibrator was validated to result in the same pressure along individual paths to each microphone simultaneously. Test results show that the calibrator can calibrate each probe microphone within ± 0.5 dB up to 2000 Hz, and within ± 1 dB up to 4900 Hz with a confidence level of 95%. Directivity tests were performed to further characterize the probe. Using a correction factor the probe is shown to be directionally independent.

No / Synthetic Biology aspires to design, compose and engineer biological systems that implement specified behaviour. When designing such systems, hypothesis testing via computational modelling and simulation is vital in order to reduce the need of costly wet lab experiments. As a case study, we discuss the use of computational modelling and stochastic simulation for engineered genetic circuits that implement Boolean AND and OR gates that have been reported in the literature. We present performance analysis results for nine different state-of-the-art stochastic simulation algorithms and analyse the dynamic behaviour of the proposed gates. Stochastic simulations verify the desired functioning of the proposed gate designs.

In comparison with PWM converters, resonant converters are gaining increasing popularity for cases in which efficiency and power density are at a premium. However, the lack of an accurate small-signal model has become an impediment to performance optimization. Many modeling attempts have been made to date. Besides the discrete time-domain modeling, most continuous-time modeling approaches are based on fundamental approximation, and are thus unable to provide sufficient accuracy for practical use. An equivalent circuit model was proposed by Yang, which works well for series resonant converters (SRCs) with high Q (quality factor), but which is inadequate for LLC resonant converters. Furthermore, the model is rather complicated, with system orders that are as high as five and seven for the SRC and LLC converter, respectively. The crux of the modeling difficulty is due to the underlying assumption based on the use of a band-pass filter for the resonant tank in conjunction with a low-pass output filter, which is not the case for most practical applications. The matter is further complicated by the presence of a rectifier, which is a nonlinearity that mixes and matches the original modulation frequency. Thus, the modulation signal becomes intractable when using a frequency-domain modeling approach. This dissertation proposes an extended describing function modeling that is based on a Fourier analysis on the continuous-time-domain waveforms. Therefore, all important contributions from harmonics are taken into account. This modeling approach is demonstrated on the frequency-controlled SRC and LLC converters. The modeling is further extended to, with great accuracy, a charge-controlled LLC converter. In the case of frequency control, a simple third-order equivalent circuit model is provided with high accuracy up to half of the switching frequency. The simplified low-frequency model consists of a double pole and a pair of right-half-plane (RHP) zeros. The double pole, when operated at a high switching frequency, manifests the property of a well-known beat frequency between the switching frequency and the resonant frequency. As the switching frequency approaches the resonant frequency of the tank, a new pair of poles is formed, representing the interaction of the resonant tank and the output filter. The pair of RHP zeros, which contributes to additional phase delay, was not recognized in earlier modeling attempts. In the case of charge control, a simple second-order equivalent circuit model is provided. With capacitor voltage feedback, the order of the system is reduced. Consequently, the resonant tank behaves as an equivalent current source and the tank property is characterized by a single pole. The other low-frequency pole represents the output capacitor and the load. However, the capacitor voltage feedback cannot eliminate the high-frequency poles and the RHP zeros. These RHP zeros may be an impediment for high-bandwidth design if not properly treated. Based on the proposed model, these unwanted RHP zeros can be mitigated by either changing the resonant tank design or by proper feedback compensation. The accurate model is essential for a high-performance high-bandwidth LLC converter. / Doctor of Philosophy / For high-frequency power conversion, resonant converters are increasingly popular. However, the lack of an accurate small-signal model has become an impediment to performance optimization. The existing equivalent circuit model and its simplified circuit were based on fundamental approximation, where the resonant tank was deemed a good band-pass filter. These models work well for series resonant converters (SRCs) with high Q (quality factor), but are inadequate for LLC resonant converters. The crux of the modeling difficulty is due to the fact that the operation of this type of resonant converter is based on the use of a band-pass filter in conjunction with a low-pass filter. The matter is further complicated by the presence of a rectifier, which is a nonlinearity that mixes and matches the original modulation frequency. Thus, the modulation signal becomes intractable when using a frequency-domain modeling approach. This dissertation proposes an extended describing function modeling that is based on a Fourier analysis on the continuous-time-domain waveforms. Therefore, all important contributions from harmonics are taken into account. This modeling approach is demonstrated on the frequency-controlled SRC, frequency-controlled LLC converter, and charge-controlled LLC converter, and the resulting models are proven to be accurate at all frequencies. A simple equivalent circuit model is provided that targets the frequency range below the switching frequency. This simple, accurate model is able to predict the small-signal behaviors of the LLC converter with high accuracy at half of the switching frequency. At high modulation frequencies, the resonant converter behaves like a non-minimum phase system, which was neither recognized nor characterized before. This property can be represented by RHP zeros, and these RHP zeros may be an impediment for high-bandwidth design if not properly treated. Based on the proposed model, these unwanted RHP zeros can be mitigated by either changing the resonant tank design or by proper feedback compensation. Accurate modeling is essential for a high-performance high-bandwidth LLC converter.

<div>Cables play an important role in the design of a power system. DC cable design presents unique challenges due to the fact that space charge can accumulate within the dielectric over time. Space charge accumulation is a function of temperature, electric field, and dielectric properties. Of particular concern is that the space charge leads to electric fields that are sufficient to break down the cable, particularly during transient conditions such as voltage reversal.</div><div><br></div><div>In this research, a focus is on the development of a coupled thermal- and electricalequivalent-circuit model that is general and provides the ability to predict the electric fields and space charge accumulation within single and multi-conductor DC cables. In contrast to traditional analytical models, the approach is more general, allowing for exploration of a wide spectrum of geometries. In contrast to traditional numerical methods, including finite element or finite difference, apriori knowledge of the electric field behavior is used to discretize the dielectric into a small number of electric flux tubes. The electric field dynamics within each tube are then modeled using a first order nonlinear differential equation. The relatively coarse discretization enables the solution to be computed rapidly. This is useful in population-based design where a large number of candidate evaluations is necessary to explore a design space. The modeling approach has been validated using several examples presented in the literature. In addition, its usefulness has been highlighted in the optimization of a 20 kV cable wherein objectives include minimization of mass and loss. </div>

Two methods of dielectric characterization are presented that offer quick and cost-effective solutions for screening complex dielectric material properties. Through Direct-Print Additive Manufacturing (DPAM) methods, a dielectric material of choice is dispensed into a capacitor structure and characterized through 1-port s-parameter measurements. The presented methods use fixtures that are modeled and validated through simulation then implemented in practice. Advanced simulations are performed to gain insights which are used to optimize the dielectric characterization performance of the fixtures. Additional investigations are performed which investigate the durability of the fixture and material within by exposing the combination to rough environmental conditions for an extended duration. The presented capacitor structures are investigated to characterize dielectric materials within the bandwidth of 0.1-15 GHz, saving the time and effort required in using multiple dielectric characterization methods that cover the same bandwidth. Both methods are compared based on the results for each method achieved in practice while considering the process required perform each method. The pros and cons of the presented characterization methods are weighed which highlights the key aspects for successfully characterizing dielectric materials with each method as well as revealing the potential limitations associated with each.