Spelling suggestions: "subject:"[een] STATE SPACE"" "subject:"[enn] STATE SPACE""
1 |
Design and implementation of a dc/dc resonant converter for power system applicationsFazel Darbandi, Arash 13 March 2013 (has links)
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.
|
2 |
Systematic and Scalable Testing of Concurrent ProgramsSimsa, Jiri 16 December 2013 (has links)
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.
|
3 |
Design and implementation of a dc/dc resonant converter for power system applicationsFazel Darbandi, Arash 13 March 2013 (has links)
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.
|
4 |
Dynamic synthesis of joined/hermetic shell structures using state space method /Tavakoli, Massoud Seyed January 1987 (has links)
No description available.
|
5 |
A study of information and common knowledge when states are maximal descriptions, with an application to gamesShin, Hyun Song January 1988 (has links)
No description available.
|
6 |
Vibrations of composite laminated cylindrical shellsTimarci, Taner January 1995 (has links)
No description available.
|
7 |
State space modeling and identification of stochastic linear structural systemsPridham, Brad A. Wilson, John C. January 2004 (has links)
Thesis (Ph.D.)--McMaster University, 2005. / Supervisor: John C. Wilson. Includes bibliographical references (leaves 299-310).
|
8 |
Modeling gene regulatory networks using a state-space model with time delaysKoh, Chu Shin 17 March 2008
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.
|
9 |
Modeling gene regulatory networks using a state-space model with time delaysKoh, Chu Shin 17 March 2008 (has links)
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.
|
10 |
Essays on state space models and macroeconomic modellingDelle Monache, Davide January 2011 (has links)
No description available.
|
Page generated in 0.0532 seconds