In modern power system, the energy conversion includes a large number of the energy processors, and demands high quality, small, lightweight, reliable and efficient power procedures. The existing linear power regulators can only handle low power levels and demonstrate a low efficiency in the power processing. Pulse-width modulated (PWM) converters demonstrate high turn on and turn off losses, and increase in the electromagnetic interference (EMI). Resonant power conversion becomes more suitable in the renewable energy and energy harvesting applications. Since the resonant conversion requires operating in high frequency, the electrical components such as transformers, filter inductors and capacitors become much smaller and lighter. This can result in reducing size and cost. In addition, use of soft switching technique in the resonant conversion reduced the switching losses and EMI level. In this research project, a DC/DC resonant converter has been designed and modelled in PSCAD/EMTDC. The functionality of DC/DC resonant converter is validated in a hardware implementation of the small scale DC system.

The challenge this thesis addresses is to speed up the development of concurrent programs by increasing the efficiency with which concurrent programs can be tested and consequently evolved. The goal of this thesis is to generate methods and tools that help software engineers increase confidence in the correct operation of their programs. To achieve this goal, this thesis advocates testing of concurrent software using a systematic approach capable of enumerating possible executions of a concurrent program. The practicality of the systematic testing approach is demonstrated by presenting a novel software infrastructure that repeatedly executes a program test, controlling the order in which concurrent events happen so that different behaviors can be explored across different test executions. By doing so, systematic testing circumvents the limitations of traditional ad-hoc testing, which relies on chance to discover concurrency errors. However, the idea of systematic testing alone does not quite solve the problem of concurrent software testing. The combinatorial nature of the number of ways in which concurrent events of a program can execute causes an explosion of the number of possible interleavings of these events, a problem referred to as state space explosion. To address the state space explosion problem, this thesis studies techniques for quantifying the extent of state space explosion and explores several directions for mitigating state space explosion: parallel state space exploration, restricted runtime scheduling, and abstraction reduction. In the course of its research exploration, this thesis pushes the practical limits of systematic testing by orders of magnitude, scaling systematic testing to real-world programs of unprecedented complexity.

In modern power system, the energy conversion includes a large number of the energy processors, and demands high quality, small, lightweight, reliable and efficient power procedures. The existing linear power regulators can only handle low power levels and demonstrate a low efficiency in the power processing. Pulse-width modulated (PWM) converters demonstrate high turn on and turn off losses, and increase in the electromagnetic interference (EMI). Resonant power conversion becomes more suitable in the renewable energy and energy harvesting applications. Since the resonant conversion requires operating in high frequency, the electrical components such as transformers, filter inductors and capacitors become much smaller and lighter. This can result in reducing size and cost. In addition, use of soft switching technique in the resonant conversion reduced the switching losses and EMI level. In this research project, a DC/DC resonant converter has been designed and modelled in PSCAD/EMTDC. The functionality of DC/DC resonant converter is validated in a hardware implementation of the small scale DC system.

No description available.

No description available.

No description available.

Thesis (Ph.D.)--McMaster University, 2005. / Supervisor: John C. Wilson. Includes bibliographical references (leaves 299-310).

Computational gene regulation models provide a means for scientists to draw biological inferences from large-scale gene expression data. The expression data used in the models usually are obtained in a time series in response to an initial perturbation. The common objective is to reverse engineer the internal structure and function of the genetic network from observing and analyzing its output in a time-based fashion. In many studies (Wang [39], Resendis-Antonio [31]), each gene is considered to have a regulatory effect on another gene. A network association is created based on the correlation of expression data. Highly correlated genes are thought to be co-regulated by similar (if not the same) mechanism. Gene co-regulation network models disregard the cascading effects of regulatory genes such as transcription factors, which could be missing in the expression data or are expressed at very low concentrations and thus undetectable by the instrument. As an alternative to the former methods, some authors (Wu et al. [40], Rangel et al. [28], Li et al. [20]) have proposed treating expression data solely as observation values of a state-space system and derive conceptual internal regulatory elements, i.e. the state-variables, from these measurements. This approach allows one to model unknown biological factors as hidden variables and therefore can potentially reveal more complex regulatory relations.<p>In a preliminary portion of this work, two state-space models developed by Rangel et al. and Wu et al. respectively were compared. The Rangel model provides a means for constructing a statistically reliable regulatory network. The model is demonstrated on highly replicated Tcell activation data [28]. On the other hand, Wu et al. develop a time-delay module that takes transcriptional delay dynamics into consideration. The model is demonstrated on non-replicated yeast cell-cycle data [40]. Both models presume time-invariant expression data. Our attempt to use the Wu model to infer small gene regulatory network in yeast was not successful. Thus we develop a new modeling tool incorporating a time-lag module and a novel method for constructing regulatory networks from non-replicated data. The latter involves an alternative scheme for determining network connectivity. Finally, we evaluate the networks generated from the original and extended models based on a priori biological knowledge.

Computational gene regulation models provide a means for scientists to draw biological inferences from large-scale gene expression data. The expression data used in the models usually are obtained in a time series in response to an initial perturbation. The common objective is to reverse engineer the internal structure and function of the genetic network from observing and analyzing its output in a time-based fashion. In many studies (Wang [39], Resendis-Antonio [31]), each gene is considered to have a regulatory effect on another gene. A network association is created based on the correlation of expression data. Highly correlated genes are thought to be co-regulated by similar (if not the same) mechanism. Gene co-regulation network models disregard the cascading effects of regulatory genes such as transcription factors, which could be missing in the expression data or are expressed at very low concentrations and thus undetectable by the instrument. As an alternative to the former methods, some authors (Wu et al. [40], Rangel et al. [28], Li et al. [20]) have proposed treating expression data solely as observation values of a state-space system and derive conceptual internal regulatory elements, i.e. the state-variables, from these measurements. This approach allows one to model unknown biological factors as hidden variables and therefore can potentially reveal more complex regulatory relations.<p>In a preliminary portion of this work, two state-space models developed by Rangel et al. and Wu et al. respectively were compared. The Rangel model provides a means for constructing a statistically reliable regulatory network. The model is demonstrated on highly replicated Tcell activation data [28]. On the other hand, Wu et al. develop a time-delay module that takes transcriptional delay dynamics into consideration. The model is demonstrated on non-replicated yeast cell-cycle data [40]. Both models presume time-invariant expression data. Our attempt to use the Wu model to infer small gene regulatory network in yeast was not successful. Thus we develop a new modeling tool incorporating a time-lag module and a novel method for constructing regulatory networks from non-replicated data. The latter involves an alternative scheme for determining network connectivity. Finally, we evaluate the networks generated from the original and extended models based on a priori biological knowledge.

No description available.