You searched for subject:(model order reduction).
Showing records 1 – 30 of
111 total matches.
◁ [1] [2] [3] [4] ▶
Delft University of Technology
1.
Zimmerling, J.T.
Modeling of wave propagation in open domains: A Krylov subspace approach:.
Degree: 2014, Delft University of Technology
URL: http://resolver.tudelft.nl/uuid:aea44c4e-2658-474d-b9ea-c046066ac881 
► Simulating electromagnetic or acoustic wave propagation in complex open structures is extremely important in many areas of science and engineering. In a wide range of…
(more)
▼ Simulating electromagnetic or acoustic wave propagation in complex open structures is extremely important in many areas of science and engineering. In a wide range of applications, ranging from photonics and plasmonics to seismic exploration, efficient wave field solvers are required in various design and optimization frameworks.
In this thesis, a Krylov subspace projection methodology is presented to efficiently solve wave propagation problems on unbounded domains. To
model the extension of the computational domain to infinity, an optimal complex scaling method is introduced. Traditionally, complex scaling has been used to simulate open quantum systems. Here, an optimized complex scaling method is implemented that allows us to simulate wave propagation on unbounded domains provided we compute the propagating waves via a stability-corrected wave function. In our Krylov subspace framework, this wave function is approximated by polynomial or rational functions, which are obtained via Krylov subspace projection. We show that the field approximations are actually expansions in terms of approximate open resonance modes of the system and we present a novel and highly efficient Krylov subspace implementation for media exhibiting second-
order relaxation effects. Numerical examples for one-, two-, and three-dimensional problems illustrate the performance of the method and show that our Krylov resonance expansions significantly outperform conventional solution methods.
Advisors/Committee Members: Remis, R.F..
Subjects/Keywords: Computational Electromagnetics; Krylov subspace; model order reduction
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Zimmerling, J. T. (2014). Modeling of wave propagation in open domains: A Krylov subspace approach:. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:aea44c4e-2658-474d-b9ea-c046066ac881
Chicago Manual of Style (16th Edition):
Zimmerling, J T. “Modeling of wave propagation in open domains: A Krylov subspace approach:.” 2014. Masters Thesis, Delft University of Technology. Accessed August 19, 2019.
http://resolver.tudelft.nl/uuid:aea44c4e-2658-474d-b9ea-c046066ac881.
MLA Handbook (7th Edition):
Zimmerling, J T. “Modeling of wave propagation in open domains: A Krylov subspace approach:.” 2014. Web. 19 Aug 2019.
Vancouver:
Zimmerling JT. Modeling of wave propagation in open domains: A Krylov subspace approach:. [Internet] [Masters thesis]. Delft University of Technology; 2014. [cited 2019 Aug 19].
Available from: http://resolver.tudelft.nl/uuid:aea44c4e-2658-474d-b9ea-c046066ac881.
Council of Science Editors:
Zimmerling JT. Modeling of wave propagation in open domains: A Krylov subspace approach:. [Masters Thesis]. Delft University of Technology; 2014. Available from: http://resolver.tudelft.nl/uuid:aea44c4e-2658-474d-b9ea-c046066ac881
University of Waikato
2.
Shaw, Adrian Mark.
Partial Order Reduction with Compositional Verification
.
Degree: 2014, University of Waikato
URL: http://hdl.handle.net/10289/9001
► This thesis expands the usage of partial order reduction methods in reducing the state space of large models in model checking. The work done can…
(more)
▼ This thesis expands the usage of partial
order reduction methods in reducing the state space of large models in
model checking. The work done can be divided into two parts. In the first part we introduce two new ample conditions that utilise strongly connected components in place of two existing ample conditions that use cycles. We use these new conditions to optimise existing partial
order reduction verifiers and extend them to verify nonblocking properties. We also introduce two selection strategies for choosing ample event sets and an improved ample algorithm in
order to improve the efficiency of ample set computation, and investigate how the various combinations of these suggested algorithmic improvements effect several models of varying size. The second part of the thesis introduces the concept of using partial
order reduction techniques in combination with compositional verification techniques. We introduce a modified version of the silent continuation rule that makes use of the independence relationship from partial
order reduction methods and include algorithms by which they may be implemented in a
model verifier. All of the original concepts developed in this thesis are also proven correct.
Advisors/Committee Members: Malik, Robi (advisor).
Subjects/Keywords: Partial order reduction;
Model checking;
compositional verification
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Shaw, A. M. (2014). Partial Order Reduction with Compositional Verification
. (Masters Thesis). University of Waikato. Retrieved from http://hdl.handle.net/10289/9001
Chicago Manual of Style (16th Edition):
Shaw, Adrian Mark. “Partial Order Reduction with Compositional Verification
.” 2014. Masters Thesis, University of Waikato. Accessed August 19, 2019.
http://hdl.handle.net/10289/9001.
MLA Handbook (7th Edition):
Shaw, Adrian Mark. “Partial Order Reduction with Compositional Verification
.” 2014. Web. 19 Aug 2019.
Vancouver:
Shaw AM. Partial Order Reduction with Compositional Verification
. [Internet] [Masters thesis]. University of Waikato; 2014. [cited 2019 Aug 19].
Available from: http://hdl.handle.net/10289/9001.
Council of Science Editors:
Shaw AM. Partial Order Reduction with Compositional Verification
. [Masters Thesis]. University of Waikato; 2014. Available from: http://hdl.handle.net/10289/9001
Rochester Institute of Technology
3.
Cappello, Matthew.
A Model Order Reduction Method for Lightly Damped State Space Systems.
Degree: MS, Electrical Engineering, 2012, Rochester Institute of Technology
URL: https://scholarworks.rit.edu/theses/8591
► This paper introduces a model order reduction method that takes advantage of the near orthogonality of lightly damped modes in a system and the…
(more)
▼ This paper introduces a
model order reduction method that takes advantage of the near orthogonality of lightly damped modes in a system and the modal separation of diagonalized models to reduce the
model order of flexible systems in both continuous and discrete time. The
reduction method is computationally fast and cheap, not requiring any singular value decompositions or large matrix operations. Numeric solutions to the infinite time Lyapunov equations are presented, and used to solve for the observability and controllability grammians of diagonalized models. Four different modal importance calculations are produced from the diagonalized
model's grammians and are compared to the Hankel singular values of balanced
model order reduction. The frequency response functions (FRF) of the reduced diagonalized models are compared to models reduced using the balanced
reduction method. A weighted integral of the FRF error is taken as a metric for judging which
reduction method is better for each individual
model. For low
order or lightly damped higher
order systems the diagonal
reduction method results in significantly less FRF error than the balanced
model order reduction.
Advisors/Committee Members: Mark Hopkins, Athimoottil Mathew, Vincent Amuso.
Subjects/Keywords: Damped; Grammian; Model; Order; Orthogonal; Reduction
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Cappello, M. (2012). A Model Order Reduction Method for Lightly Damped State Space Systems. (Masters Thesis). Rochester Institute of Technology. Retrieved from https://scholarworks.rit.edu/theses/8591
Chicago Manual of Style (16th Edition):
Cappello, Matthew. “A Model Order Reduction Method for Lightly Damped State Space Systems.” 2012. Masters Thesis, Rochester Institute of Technology. Accessed August 19, 2019.
https://scholarworks.rit.edu/theses/8591.
MLA Handbook (7th Edition):
Cappello, Matthew. “A Model Order Reduction Method for Lightly Damped State Space Systems.” 2012. Web. 19 Aug 2019.
Vancouver:
Cappello M. A Model Order Reduction Method for Lightly Damped State Space Systems. [Internet] [Masters thesis]. Rochester Institute of Technology; 2012. [cited 2019 Aug 19].
Available from: https://scholarworks.rit.edu/theses/8591.
Council of Science Editors:
Cappello M. A Model Order Reduction Method for Lightly Damped State Space Systems. [Masters Thesis]. Rochester Institute of Technology; 2012. Available from: https://scholarworks.rit.edu/theses/8591
Indian Institute of Science
4.
Milind, R.
Clustering for Model Reduction of Circuits : Multi-level Techniques.
Degree: 2014, Indian Institute of Science
URL: http://hdl.handle.net/2005/2774
► Miniaturisation of electronic chips poses challenges at the design stage. The progressively decreasing circuit dimensions result in complex electrical behaviour that necessitates complex models. Simulation…
(more)
▼ Miniaturisation of electronic chips poses challenges at the design stage. The
progressively decreasing circuit dimensions result in complex electrical behaviour
that necessitates complex models.
Simulation of complex circuit models involves extraordinarily large compu-
tational complexity. Such complexity is better managed through
Model Order
Reduction.
Model order reduction has been successful in large reductions in
system
order for most types of circuits, at high levels of accuracy. However,
multiport circuits with large number of inputs/outputs, pose an additional
computational challenge. A strategy based on
exible clustering of interconnects
results in more e cient
reduction of multiport circuits. Clustering methods
traditionally use Krylov-subspace methods such as PRIMA for the actual
model
reduction step. These clustering methods are unable to reduce the
model order to
the optimum extent. SVD-based methods like Truncated Balanced Realization
have shown higher
reduction potential than Krylov-subspace methods.
In this thesis, the di erences in
reduction potential and computational cost
thereof between SVD-based methods and Krylov-subspace methods are identi ed,
analyzed and quanti ed. A novel algorithm has been developed, utilizing a
particular combination of both these methods to achieve better results. It
enhances the clustering method for
model reduction using Truncated Balanced
Realization as a second-level
reduction technique. The algorithm is tested and
signi cant gains are illustrated. The proposed novel algorithm preserves the
other advantages of the current clustering algorithm.
Advisors/Committee Members: Raha, Soumyendu.
Subjects/Keywords: MOR; Model Order Reduction; Clustering based Model Reduction; Model Order Reduction Algorithms; PRIMA Clustering Model Reduction; Linear Circuits -; Electronic Circuits; Krylov-subspace Methods; Model Reduction; Electronic Engineering
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Milind, R. (2014). Clustering for Model Reduction of Circuits : Multi-level Techniques. (Thesis). Indian Institute of Science. Retrieved from http://hdl.handle.net/2005/2774
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Milind, R. “Clustering for Model Reduction of Circuits : Multi-level Techniques.” 2014. Thesis, Indian Institute of Science. Accessed August 19, 2019.
http://hdl.handle.net/2005/2774.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Milind, R. “Clustering for Model Reduction of Circuits : Multi-level Techniques.” 2014. Web. 19 Aug 2019.
Vancouver:
Milind R. Clustering for Model Reduction of Circuits : Multi-level Techniques. [Internet] [Thesis]. Indian Institute of Science; 2014. [cited 2019 Aug 19].
Available from: http://hdl.handle.net/2005/2774.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Milind R. Clustering for Model Reduction of Circuits : Multi-level Techniques. [Thesis]. Indian Institute of Science; 2014. Available from: http://hdl.handle.net/2005/2774
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Cornell University
5.
Dobbs, Justin.
Toward A Streamlined Software Tool Chain For Cyber-Physical Buildings
.
Degree: 2015, Cornell University
URL: http://hdl.handle.net/1813/41112
► Heating, ventilation, and air conditioning (HVAC) systems account for more than half of commercial building energy usage. Unfortunately, bottlenecks in early-stage design, control system implementation,…
(more)
▼ Heating, ventilation, and air conditioning (HVAC) systems account for more than half of commercial building energy usage. Unfortunately, bottlenecks in early-stage design, control system implementation, and building operation hinder the realization of maximally efficient buildings. First, high-fidelity simulation-crucial to an iterative, performance-driven design process-is too slow to use early in design, producing volumes of data but offering little insight. Second, creating dynamical models and implementing advanced
model-based HVAC controllers are both labor-intensive jobs beyond the scope of most projects. Third, during operation, fixed occupancy schedules become outdated and undermine the energy savings of even the most advanced HVAC equipment. This work addresses these bottlenecks using a novel software platform that seamlessly translates the building information
model (BIM) to alternate forms to suit various stages of the design and operation life cycle. First, in early stage design, we improve the speed of high-fidelity simulation by using a resistor-capacitor network abstraction to inform the thermal zone layout, facilitating
model order reduction while retaining simulation accuracy. Second, during control system implementation, we use a Modelica abstraction to eliminate the tedious manual control-oriented
model creation process and greatly speed the implementation of
model predictive control (MPC). Third, in operation, we enable controllers to adapt to changing occupancy schedules using a self-tuning Markov
model abstraction. This three-pronged approach removes tedious, specialized manual work to empower designers, engineers, and building operators to create and operate smarter, more energy efficient commercial buildings.
Advisors/Committee Members: Albonesi,David H. (committeeMember), Greenberg,Donald P (committeeMember).
Subjects/Keywords: model order reduction;
model predictive control;
Markov occupancy model
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Dobbs, J. (2015). Toward A Streamlined Software Tool Chain For Cyber-Physical Buildings
. (Thesis). Cornell University. Retrieved from http://hdl.handle.net/1813/41112
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Dobbs, Justin. “Toward A Streamlined Software Tool Chain For Cyber-Physical Buildings
.” 2015. Thesis, Cornell University. Accessed August 19, 2019.
http://hdl.handle.net/1813/41112.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Dobbs, Justin. “Toward A Streamlined Software Tool Chain For Cyber-Physical Buildings
.” 2015. Web. 19 Aug 2019.
Vancouver:
Dobbs J. Toward A Streamlined Software Tool Chain For Cyber-Physical Buildings
. [Internet] [Thesis]. Cornell University; 2015. [cited 2019 Aug 19].
Available from: http://hdl.handle.net/1813/41112.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Dobbs J. Toward A Streamlined Software Tool Chain For Cyber-Physical Buildings
. [Thesis]. Cornell University; 2015. Available from: http://hdl.handle.net/1813/41112
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
University of Western Australia
6.
Wan Muda, Wan Mariam binti.
Frequency weighted model order reduction techniques.
Degree: PhD, 2012, University of Western Australia
URL: http://repository.uwa.edu.au:80/R/?func=dbin-jump-full&object_id=32722&local_base=GEN01-INS01
► This thesis investigates the frequency weighted balanced model order reduction problem for linear time invariant systems. First, two new frequency weighted balanced truncation techniques based…
(more)
▼ This thesis investigates the frequency weighted balanced model order reduction problem for linear time invariant systems. First, two new frequency weighted balanced truncation techniques based on zero crossterms are proposed. Both methods are applicable for single-sided weighting, and are based on modifications to Sreeram and Sahlan’s technique. The first method uses the properties of all-pass function to transform the original frequency weighted model order reduction problem into an equivalent unweighted model reduction problem, while in the second method, the relationship between the final and the intermediate reduced order model used in Sreeram and Sahlan’s technique is derived. Numerical examples show that a significant error reduction can be achieved using both methods. Second, we present an improvement to frequency weighted balanced truncation technique based on well-known partial fraction expansion idea. The method yields stable reduced-order models for double-sided weightings. Two numerical examples including a practical application example, show a significant improvement over the other well-known techniques. Lastly, we present passivity preserving frequency-weighted model order reduction techniques for general large-scale RLC (resistor-inductor-capacitor) systems. Three well-known frequency weighted balanced truncation techniques (Enns’, Wang et al.’s and Lin and Chiu’s), which preserve only stability and not passivity are generalized to include passivity. Conditions under which the passivity is preserved are also derived. Four practical examples are given to show the validity and effectiveness of the proposed algorithms using different weighting functions.
This thesis investigates the frequency weighted balanced model order reduction problem for linear time invariant systems. First, two new frequency weighted balanced truncation techniques based on zero crossterms are proposed. Both methods are applicable for single-sided weighting, and are based on modifications to Sreeram and Sahlan’s technique. The first method uses the properties of all-pass function to transform the original frequency weighted model order reduction problem into an equivalent unweighted model reduction problem, while in the second method, the relationship between the final and the intermediate reduced order model used in Sreeram and Sahlan’s technique is derived. Numerical examples show that a significant error reduction can be achieved using both methods. Second, we present an improvement to frequency weighted balanced truncation technique based on well-known partial fraction expansion idea. The method yields stable reduced-order models for double-sided weightings. Two numerical examples including a practical application example, show a significant improvement over the other well-known techniques. Lastly, we present passivity preserving frequency-weighted model order reduction techniques for general large-scale RLC (resistor-inductor-capacitor) systems. Three well-known frequency weighted balanced truncation techniques (Enns’,…
Subjects/Keywords: Frequency weights; Model-order reduction; Passivity preserving; Controller reduction; Partial fraction expansion; Balanced truncation
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Wan Muda, W. M. b. (2012). Frequency weighted model order reduction techniques. (Doctoral Dissertation). University of Western Australia. Retrieved from http://repository.uwa.edu.au:80/R/?func=dbin-jump-full&object_id=32722&local_base=GEN01-INS01
Chicago Manual of Style (16th Edition):
Wan Muda, Wan Mariam binti. “Frequency weighted model order reduction techniques.” 2012. Doctoral Dissertation, University of Western Australia. Accessed August 19, 2019.
http://repository.uwa.edu.au:80/R/?func=dbin-jump-full&object_id=32722&local_base=GEN01-INS01.
MLA Handbook (7th Edition):
Wan Muda, Wan Mariam binti. “Frequency weighted model order reduction techniques.” 2012. Web. 19 Aug 2019.
Vancouver:
Wan Muda WMb. Frequency weighted model order reduction techniques. [Internet] [Doctoral dissertation]. University of Western Australia; 2012. [cited 2019 Aug 19].
Available from: http://repository.uwa.edu.au:80/R/?func=dbin-jump-full&object_id=32722&local_base=GEN01-INS01.
Council of Science Editors:
Wan Muda WMb. Frequency weighted model order reduction techniques. [Doctoral Dissertation]. University of Western Australia; 2012. Available from: http://repository.uwa.edu.au:80/R/?func=dbin-jump-full&object_id=32722&local_base=GEN01-INS01
Virginia Tech
7.
Sariaydin, Selin.
Randomization for Efficient Nonlinear Parametric Inversion.
Degree: PhD, Mathematics, 2018, Virginia Tech
URL: http://hdl.handle.net/10919/83451
► Nonlinear parametric inverse problems appear in many applications in science and engineering. We focus on diffuse optical tomography (DOT) in medical imaging. DOT aims to…
(more)
▼ Nonlinear parametric inverse problems appear in many applications in science and engineering. We focus on diffuse optical tomography (DOT) in medical imaging. DOT aims to recover an unknown image of interest, such as the absorption coefficient in tissue to locate tumors in the body. Using a mathematical (forward)
model to predict measurements given a parametrization of the tissue, we minimize the misfit between predicted and actual measurements up to a given noise level. The main computational bottleneck in such inverse problems is the repeated evaluation of this large-scale forward
model, which corresponds to solving large linear systems for each source and frequency at each optimization step. Moreover, to efficiently compute derivative information, we need to solve, repeatedly, linear systems with the adjoint for each detector and frequency. As rapid advances in technology allow for large numbers of sources and detectors, these problems become computationally prohibitive. In this thesis, we introduce two methods to drastically reduce this cost.
To efficiently implement Newton methods, we extend the use of simultaneous random sources to reduce the number of linear system solves to
include simultaneous random detectors. Moreover, we combine simultaneous random sources and detectors with optimized ones that lead to faster convergence and more accurate solutions.
We can use reduced
order models (ROM) to drastically reduce the size of the linear systems to be solved in each optimization step while still solving the inverse problem accurately. However, the construction of the ROM bases still incurs a substantial cost. We propose to use randomization to drastically reduce the number of large linear solves needed for constructing the global ROM bases without degrading the accuracy of the solution to the inversion problem.
We demonstrate the efficiency of these approaches with 2-dimensional and 3-dimensional examples from DOT; however, our methods have the potential to be useful for other applications as well.
Advisors/Committee Members: De Sturler, Eric (committeechair), Kilmer, Misha (committee member), Chung, Matthias (committee member), Beattie, Christopher A. (committee member), Gugercin, Serkan (committee member).
Subjects/Keywords: DOT; PaLS; stochastic programming; randomization; inverse problems; optimization; model order reduction
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Sariaydin, S. (2018). Randomization for Efficient Nonlinear Parametric Inversion. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/83451
Chicago Manual of Style (16th Edition):
Sariaydin, Selin. “Randomization for Efficient Nonlinear Parametric Inversion.” 2018. Doctoral Dissertation, Virginia Tech. Accessed August 19, 2019.
http://hdl.handle.net/10919/83451.
MLA Handbook (7th Edition):
Sariaydin, Selin. “Randomization for Efficient Nonlinear Parametric Inversion.” 2018. Web. 19 Aug 2019.
Vancouver:
Sariaydin S. Randomization for Efficient Nonlinear Parametric Inversion. [Internet] [Doctoral dissertation]. Virginia Tech; 2018. [cited 2019 Aug 19].
Available from: http://hdl.handle.net/10919/83451.
Council of Science Editors:
Sariaydin S. Randomization for Efficient Nonlinear Parametric Inversion. [Doctoral Dissertation]. Virginia Tech; 2018. Available from: http://hdl.handle.net/10919/83451
Delft University of Technology
8.
Sombroek, C.S.M.
Bridging the Gap Between Nonlinear Normal Modes and Modal Derivatives:.
Degree: 2015, Delft University of Technology
URL: http://resolver.tudelft.nl/uuid:dc31561d-5fdc-47b4-bdcb-0957360bbed1
► Nonlinear Normal Modes (NNMs) have a clear conceptual relation to the classical linear normal modes (LNMs), yet they offer a solid theoretical framework for interpreting…
(more)
▼ Nonlinear Normal Modes (NNMs) have a clear conceptual relation to the classical linear normal modes (LNMs), yet they offer a solid theoretical framework for interpreting a wide class of non-linear dynamical phenomena with no linear counterpart. The main difficulty associating with NNMs is that the computation for real-size models is expensive, particularly for models with distributed nonlinearities e.g. those of geometric nature. The NNM computation involves repeated direct nonlinear time integration combined with a sensitivity analysis to determine the frequency-energy dependency for the modes of interest.
In this thesis, NNMs are computed from reduced
order models (ROMs) comprising LNMs and Modal Derivatives (MDs). The MDs have a direct relationship with the vibration modes (VMs), and can therefore be used as natural extension to LNMs to accurately represent the NNMs of interest.
Two projection based
reduction methods are used, one being the classical Galerkin projection
reduction technique, the other is obtained from a quadratic coordinate transformation based on the Taylor series expansion. The NNMs computed from the ROMs are directly compared to those obtained from the full system analysis, which will highlight the importance of MDs in capturing essential nonlinear phenomena. The methodology is demonstrated on a doubly clamped beam, a shallow arch and a Roorda-frame.
Advisors/Committee Members: Tiso, P..
Subjects/Keywords: Nonlinear Normal Modes; Modal Derivatives; Model-order reduction; Quadratic manifold
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Sombroek, C. S. M. (2015). Bridging the Gap Between Nonlinear Normal Modes and Modal Derivatives:. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:dc31561d-5fdc-47b4-bdcb-0957360bbed1
Chicago Manual of Style (16th Edition):
Sombroek, C S M. “Bridging the Gap Between Nonlinear Normal Modes and Modal Derivatives:.” 2015. Masters Thesis, Delft University of Technology. Accessed August 19, 2019.
http://resolver.tudelft.nl/uuid:dc31561d-5fdc-47b4-bdcb-0957360bbed1.
MLA Handbook (7th Edition):
Sombroek, C S M. “Bridging the Gap Between Nonlinear Normal Modes and Modal Derivatives:.” 2015. Web. 19 Aug 2019.
Vancouver:
Sombroek CSM. Bridging the Gap Between Nonlinear Normal Modes and Modal Derivatives:. [Internet] [Masters thesis]. Delft University of Technology; 2015. [cited 2019 Aug 19].
Available from: http://resolver.tudelft.nl/uuid:dc31561d-5fdc-47b4-bdcb-0957360bbed1.
Council of Science Editors:
Sombroek CSM. Bridging the Gap Between Nonlinear Normal Modes and Modal Derivatives:. [Masters Thesis]. Delft University of Technology; 2015. Available from: http://resolver.tudelft.nl/uuid:dc31561d-5fdc-47b4-bdcb-0957360bbed1
Dublin City University
9.
Bradley, Patrick.
Model-order reduction techniques for the numerical solution of electromagnetic wave scattering problems.
Degree: School of Electronic Engineering, 2009, Dublin City University
URL: http://doras.dcu.ie/4702/
► It is the aim of this work to contribute to the development of model-order reduction (MOR) techniques for the field of computational electromagnetics in relation…
(more)
▼ It is the aim of this work to contribute to the development of
model-
order reduction (MOR) techniques for the field of computational electromagnetics in relation to the electric field integral equation (EFIE) formulation. The ultimate
goal is to enable a fast-sweep analysis. In a fast-sweep problem, some parameter on which the original problem depends is varying and the problem must be solved as the parameter changes over a desired parameter range. The complexity of the original
model prohibits its direct
use in simulation to compute the results at every required point. However, one can use MOR techniques to generate reduced-
order models (ROMs), which can be rapidly solved to characterise the parameter-dependent behaviour of the system over the entire parameter range. This thesis focus is to implement robust, fast and accurate MOR techniques
with strict error controls, for application with varying parameters, using the EFIE formulations. While these formulations result in matrices that are significantly
smaller relative to differential equation-based formulations, the matrices resulting from discretising integral equations are very dense. Consequently,
EFIEs pose a difficult proposition in the generation of low-
order accurate reduced
order models.
The MOR techniques presented in this thesis are based on the theory of Krylov projections. They are widely accepted as being the most flexible and computationally efficient approaches in the generation of ROMs. There are three
main contributions attributed to this work.
² The formulation of an approximate extension of the Arnoldi algorithm to produce a ROM for an inhomogeneous contrast-sweep and source-sweep analysis.
² Investigation of the application of the Well-Conditioned Asymptotic Waveform Evaluation (WCAWE) technique to problems in which the system matrix has a nonlinear parameter dependence for EFIE formulations.
² The development of a fast full-wave frequency sweep analysis using the WCAWE technique for materials with frequency-dependent dielectric properties.
Advisors/Committee Members: Brennan, Conor, Condon, Marissa.
Subjects/Keywords: Electronic engineering; electromagnetic wave scattering; integral equations; model order reduction
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Bradley, P. (2009). Model-order reduction techniques for the numerical solution of electromagnetic wave scattering problems. (Thesis). Dublin City University. Retrieved from http://doras.dcu.ie/4702/
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Bradley, Patrick. “Model-order reduction techniques for the numerical solution of electromagnetic wave scattering problems.” 2009. Thesis, Dublin City University. Accessed August 19, 2019.
http://doras.dcu.ie/4702/.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Bradley, Patrick. “Model-order reduction techniques for the numerical solution of electromagnetic wave scattering problems.” 2009. Web. 19 Aug 2019.
Vancouver:
Bradley P. Model-order reduction techniques for the numerical solution of electromagnetic wave scattering problems. [Internet] [Thesis]. Dublin City University; 2009. [cited 2019 Aug 19].
Available from: http://doras.dcu.ie/4702/.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Bradley P. Model-order reduction techniques for the numerical solution of electromagnetic wave scattering problems. [Thesis]. Dublin City University; 2009. Available from: http://doras.dcu.ie/4702/
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
University of Toronto
10.
Yassine, Abdul-Amir.
A Fast Layer Elimination Approach for Power Grid Reduction in Integrated Circuits.
Degree: 2016, University of Toronto
URL: http://hdl.handle.net/1807/76134
► Simulation and verification of the on-die power delivery network (PDN) is one of the key steps in the design of integrated circuits. With the very…
(more)
▼ Simulation and verification of the on-die power delivery network (PDN) is one of the key steps in the design of integrated circuits. With the very large sizes of modern grids, verification of PDNs has become very expensive and a host of techniques for grid model approximation have been proposed. These include topological node elimination and full-blown numerical model order reduction (MOR). However, both of these traditional approaches suffer from drawbacks that limit their scalability to very large grids. In this thesis, we propose a novel technique for grid reduction that is a hybrid of both approaches – the method is numerical but also factors in grid topology. It works by eliminating whole internal layers of the grid at a time, while aiming to preserve the dynamic behavior of the grid. Effectively, instead of traditional node-by-node topological elimination we provide a numerical layer-by-layer block-matrix approach that is both fast and accurate.
M.A.S.
Advisors/Committee Members: Najm, Farid N, Electrical and Computer Engineering.
Subjects/Keywords: Graph Sparsification; Integrated Circuits; Model Order Reduction; Power Grid; 0464
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Yassine, A. (2016). A Fast Layer Elimination Approach for Power Grid Reduction in Integrated Circuits. (Masters Thesis). University of Toronto. Retrieved from http://hdl.handle.net/1807/76134
Chicago Manual of Style (16th Edition):
Yassine, Abdul-Amir. “A Fast Layer Elimination Approach for Power Grid Reduction in Integrated Circuits.” 2016. Masters Thesis, University of Toronto. Accessed August 19, 2019.
http://hdl.handle.net/1807/76134.
MLA Handbook (7th Edition):
Yassine, Abdul-Amir. “A Fast Layer Elimination Approach for Power Grid Reduction in Integrated Circuits.” 2016. Web. 19 Aug 2019.
Vancouver:
Yassine A. A Fast Layer Elimination Approach for Power Grid Reduction in Integrated Circuits. [Internet] [Masters thesis]. University of Toronto; 2016. [cited 2019 Aug 19].
Available from: http://hdl.handle.net/1807/76134.
Council of Science Editors:
Yassine A. A Fast Layer Elimination Approach for Power Grid Reduction in Integrated Circuits. [Masters Thesis]. University of Toronto; 2016. Available from: http://hdl.handle.net/1807/76134
University of Toronto
11.
Yassine, Abdul-Amir.
A Fast Metal Layer Elimination Approach for Power Grid Reduction in Integrated Circuits.
Degree: 2016, University of Toronto
URL: http://hdl.handle.net/1807/76202
► Simulation and verification of the on-die power delivery network (PDN) is one of the key steps in the design of integrated circuits. With the very…
(more)
▼ Simulation and verification of the on-die power delivery network (PDN) is one of the key steps in the design of integrated circuits. With the very large sizes of modern grids, verification of PDNs has become very expensive and a host of techniques for grid model approximation have been proposed. These include topological node elimination and full-blown numerical model order reduction (MOR). However, both of these traditional approaches suffer from drawbacks that limit their scalability to very large grids. In this thesis, we propose a novel technique for grid reduction that is a hybrid of both approaches – the method is numerical but also factors in grid topology. It works by eliminating whole internal layers of the grid at a time, while aiming to preserve the dynamic behavior of the grid. Effectively, instead of traditional node-by-node topological elimination we provide a numerical layer-by-layer block-matrix approach that is both fast and accurate.
M.A.S.
Advisors/Committee Members: Najm, Farid N, Electrical and Computer Engineering.
Subjects/Keywords: Graph Sparsification; Integrated Circuits; Model Order Reduction; Power Grid; 0464
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Yassine, A. (2016). A Fast Metal Layer Elimination Approach for Power Grid Reduction in Integrated Circuits. (Masters Thesis). University of Toronto. Retrieved from http://hdl.handle.net/1807/76202
Chicago Manual of Style (16th Edition):
Yassine, Abdul-Amir. “A Fast Metal Layer Elimination Approach for Power Grid Reduction in Integrated Circuits.” 2016. Masters Thesis, University of Toronto. Accessed August 19, 2019.
http://hdl.handle.net/1807/76202.
MLA Handbook (7th Edition):
Yassine, Abdul-Amir. “A Fast Metal Layer Elimination Approach for Power Grid Reduction in Integrated Circuits.” 2016. Web. 19 Aug 2019.
Vancouver:
Yassine A. A Fast Metal Layer Elimination Approach for Power Grid Reduction in Integrated Circuits. [Internet] [Masters thesis]. University of Toronto; 2016. [cited 2019 Aug 19].
Available from: http://hdl.handle.net/1807/76202.
Council of Science Editors:
Yassine A. A Fast Metal Layer Elimination Approach for Power Grid Reduction in Integrated Circuits. [Masters Thesis]. University of Toronto; 2016. Available from: http://hdl.handle.net/1807/76202
University of Illinois – Urbana-Champaign
12.
Nair, Nirmal Jayaprasad.
Transported snapshot model order reduction approach for parametric, steady-state fluid flows containing parameter dependent shocks.
Degree: MS, Aerospace Engineering, 2018, University of Illinois – Urbana-Champaign
URL: http://hdl.handle.net/2142/101093
► In this thesis, a new model order reduction approach is proposed for parametric steady-state nonlinear fluid flows characterized by shocks and discontinuities whose spatial locations…
(more)
▼ In this thesis, a new
model order reduction approach is proposed for parametric steady-state nonlinear fluid flows characterized by shocks and discontinuities whose spatial locations and orientations are strongly parameter dependent. In this method, solutions in the predictive regime are approximated using a linear superposition of parameter-dependent basis. The sought after parametric reduced-basis arise from solutions of linear transport equations. Key to the proposed approach is the observation that the optimal transport velocities are typically smooth and continuous, despite the solution themselves not being so. As a result, the transport fields can be accurately expressed using a low-
order polynomial expansion. Similar to traditional projection-based
model order reduction approaches, the proposed method is formulated mathematically as a residual minimization problem for the generalized coordinates. The method is successfully applied to the
reduction of a parametric 1-D flow in a converging-diverging nozzle, a parametric 2-D supersonic flow over a forward facing step and a parametric 2-D jet diffusion flame in a combustor.
Advisors/Committee Members: Balajewicz, Maciej (advisor).
Subjects/Keywords: parametric model order reduction; steady state residual; shock; hyperbolic PDE
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Nair, N. J. (2018). Transported snapshot model order reduction approach for parametric, steady-state fluid flows containing parameter dependent shocks. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/101093
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Nair, Nirmal Jayaprasad. “Transported snapshot model order reduction approach for parametric, steady-state fluid flows containing parameter dependent shocks.” 2018. Thesis, University of Illinois – Urbana-Champaign. Accessed August 19, 2019.
http://hdl.handle.net/2142/101093.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Nair, Nirmal Jayaprasad. “Transported snapshot model order reduction approach for parametric, steady-state fluid flows containing parameter dependent shocks.” 2018. Web. 19 Aug 2019.
Vancouver:
Nair NJ. Transported snapshot model order reduction approach for parametric, steady-state fluid flows containing parameter dependent shocks. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2018. [cited 2019 Aug 19].
Available from: http://hdl.handle.net/2142/101093.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Nair NJ. Transported snapshot model order reduction approach for parametric, steady-state fluid flows containing parameter dependent shocks. [Thesis]. University of Illinois – Urbana-Champaign; 2018. Available from: http://hdl.handle.net/2142/101093
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
University of Michigan
13.
Choroszucha, Richard.
Control and Estimation Oriented Model Order Reduction for Linear and Nonlinear Systems.
Degree: PhD, Naval Architecture & Marine Engineering, 2017, University of Michigan
URL: http://hdl.handle.net/2027.42/140839
► Optimization based controls are advantageous in meeting stringent performance requirements and accommodating constraints. Although computers are becoming more powerful, solving optimization problems in real-time remains…
(more)
▼ Optimization based controls are advantageous in meeting stringent performance requirements and accommodating constraints. Although computers are becoming more powerful, solving optimization problems in real-time remains an obstacle because of associated computational complexity. Research efforts to address real-time optimization with limited computational power have intensified over the last decade, and one direction that has shown some success is
model order reduction.
This dissertation contains a collection of results relating to open- and closed-loop
reduction techniques for large scale unconstrained linear descriptor systems, constrained linear systems, and nonlinear systems.
For unconstrained linear descriptor systems, this dissertation develops novel gramian and Riccati solution approximation techniques. The gramian approximation is used for an open-loop
reduction technique following that of balanced truncation proposed by (Moore, 1981) for ordinary linear systems and (Stykel, 2004) for linear descriptor systems. The Riccati solution is used to generalize the Linear Quadratic Gaussian balanced truncation (LQGBT) of (Verriest, 1981) and (Jonckheere and Silverman, 1983). These are applied to an electric machine
model to reduce the number of states from >100000 to 8 while improving accuracy over the state-of-the-art modal truncation of (Zhou, 2015) for the purpose of condition monitoring. Furthermore, a link between unconstrained
model predictive control (MPC) with a terminal penalty and LQG of a linear system is noted, suggesting an LQGBT reduced
model as a natural
model for reduced MPC design. The efficacy of such a reduced controller is demonstrated by the real-time control of a diesel airpath.
Model reduction generally introduces modeling errors, and controlling a constrained plant
subject to modeling errors falls squarely into robust control. A standard assumption of robust control is that inputs/states/outputs are constrained by convex sets, and these sets are ``tightened'' for robust constraint satisfaction. However, robust control is often overly conservative, and resulting control strategies cannot take advantage of the true admissible sets. A new
reduction problem is proposed that considers the reduced
order model accuracy and constraint conservativeness. A constant tube methodology for reduced
order constrained MPC is presented, and the proposed reduced
order model is found to decrease the constraint conservativeness of the reduced
order MPC law compared to reduced
order models obtained by gramian and LQG reductions.
For nonlinear systems, a reformulation of the empirical gramians of (Lall et al., 1999) and (Hahn et al., 2003) into simpler, yet more general forms is provided. The modified definitions are used in the balanced truncation of a nonlinear diesel airpath
model, and the reduced
order model is used to design a reduced MPC law for tracking control. Further exploiting the link between the gramian and Riccati solution for linear systems, the new empirical gramian formulation is…
Advisors/Committee Members: Sun, Jing (committee member), Kolmanovsky, Ilya Vladimir (committee member), Butts, Kenneth Roy (committee member), Eustice, Ryan M (committee member).
Subjects/Keywords: Model Order Reduction; Naval Architecture and Marine Engineering; Engineering
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Choroszucha, R. (2017). Control and Estimation Oriented Model Order Reduction for Linear and Nonlinear Systems. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/140839
Chicago Manual of Style (16th Edition):
Choroszucha, Richard. “Control and Estimation Oriented Model Order Reduction for Linear and Nonlinear Systems.” 2017. Doctoral Dissertation, University of Michigan. Accessed August 19, 2019.
http://hdl.handle.net/2027.42/140839.
MLA Handbook (7th Edition):
Choroszucha, Richard. “Control and Estimation Oriented Model Order Reduction for Linear and Nonlinear Systems.” 2017. Web. 19 Aug 2019.
Vancouver:
Choroszucha R. Control and Estimation Oriented Model Order Reduction for Linear and Nonlinear Systems. [Internet] [Doctoral dissertation]. University of Michigan; 2017. [cited 2019 Aug 19].
Available from: http://hdl.handle.net/2027.42/140839.
Council of Science Editors:
Choroszucha R. Control and Estimation Oriented Model Order Reduction for Linear and Nonlinear Systems. [Doctoral Dissertation]. University of Michigan; 2017. Available from: http://hdl.handle.net/2027.42/140839
University of Toronto
14.
Goyal, Ankit.
On-chip Power Grid Verification with Reduced Order Modeling.
Degree: 2010, University of Toronto
URL: http://hdl.handle.net/1807/25602
► To ensure the robustness of an integrated circuit design, its power distribution network (PDN) must be validated beforehand against any voltage drop on VDD nets.…
(more)
▼ To ensure the robustness of an integrated circuit design, its power distribution network (PDN) must be validated beforehand against any voltage drop on VDD nets. However, due to the increasing size of PDNs, it is becoming difficult to verify them in a reasonable amount of time. Lately, much work has been done to develop Model Order Reduction (MOR) techniques to reduce the size of power grids but their focus is more on simulation. In verification, we are concerned about the safety of nodes, including the ones which have been eliminated in the reduction process. This work proposes a novel approach to systematically reduce the power grid and accurately compute an upper bound on the voltage drops at power grid nodes which are retained. Furthermore, a criterion for the safety of nodes which are removed is established based on the safety of other nearby nodes and a user specified margin.
MAST
Advisors/Committee Members: Najm, Farid N., Electrical and Computer Engineering.
Subjects/Keywords: Power Grid Integrity Analysis; Model Order Reduction; 0544
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Goyal, A. (2010). On-chip Power Grid Verification with Reduced Order Modeling. (Masters Thesis). University of Toronto. Retrieved from http://hdl.handle.net/1807/25602
Chicago Manual of Style (16th Edition):
Goyal, Ankit. “On-chip Power Grid Verification with Reduced Order Modeling.” 2010. Masters Thesis, University of Toronto. Accessed August 19, 2019.
http://hdl.handle.net/1807/25602.
MLA Handbook (7th Edition):
Goyal, Ankit. “On-chip Power Grid Verification with Reduced Order Modeling.” 2010. Web. 19 Aug 2019.
Vancouver:
Goyal A. On-chip Power Grid Verification with Reduced Order Modeling. [Internet] [Masters thesis]. University of Toronto; 2010. [cited 2019 Aug 19].
Available from: http://hdl.handle.net/1807/25602.
Council of Science Editors:
Goyal A. On-chip Power Grid Verification with Reduced Order Modeling. [Masters Thesis]. University of Toronto; 2010. Available from: http://hdl.handle.net/1807/25602
Northeastern University
15.
Laxminarayan, Srinivas.
Low dimensional modeling of localized neural and hemodynamic response with habituation from multimodal brain measurements.
Degree: PhD, Department of Electrical and Computer Engineering, 2011, Northeastern University
URL: http://hdl.handle.net/2047/d20000954
► Multimodality functional brain imaging has been gaining importance due to the complementary nature of many of the modalities. Dynamical systems based models of neural activity…
(more)
▼ Multimodality functional brain imaging has been gaining importance due to the complementary nature of many of the modalities. Dynamical systems based models of neural activity and local hemodynamics can offer enhanced spatiotemporal resolution and insight into physiological signals and mechanisms. One major tool for studying brain function is to provoke local "evoked responses" by repeated application of a stimulus.; Evoked responses to stimuli show complex habituation behavior as the stimulus repetition frequency increases. To gain insight into the relation between local neural activity and hemodynamics we propose a control structure that enables neural mass models to predict habituation as revealed in rat EEG under medial nerve stimulus. We report on the accuracy with which these models recreate the data waveform under stimuli at varying frequencies (from 1-8 Hz), as well as the accuracy with which they mimic complete inhibition of firing at higher stimulus rates. We also compare the predictive power of the models, demonstrating the capability of simplified representations to capture key features of the mass evoked neuronal response.; Equipped with such a predictive neuronal model we explore the relationship between the neural response and the local hemodynamics by reconstructing the inputs of a Windkessel-based hemodynamic model and relating the basis functions of the neural signal to those of the inputs to the hemodynamic model. The model that relates the neuronal responses to the hemodynamic inputs is termed as the Neurovascular model.
Subjects/Keywords: habituation; low dimensional modeling; model order reduction; Engineering
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Laxminarayan, S. (2011). Low dimensional modeling of localized neural and hemodynamic response with habituation from multimodal brain measurements. (Doctoral Dissertation). Northeastern University. Retrieved from http://hdl.handle.net/2047/d20000954
Chicago Manual of Style (16th Edition):
Laxminarayan, Srinivas. “Low dimensional modeling of localized neural and hemodynamic response with habituation from multimodal brain measurements.” 2011. Doctoral Dissertation, Northeastern University. Accessed August 19, 2019.
http://hdl.handle.net/2047/d20000954.
MLA Handbook (7th Edition):
Laxminarayan, Srinivas. “Low dimensional modeling of localized neural and hemodynamic response with habituation from multimodal brain measurements.” 2011. Web. 19 Aug 2019.
Vancouver:
Laxminarayan S. Low dimensional modeling of localized neural and hemodynamic response with habituation from multimodal brain measurements. [Internet] [Doctoral dissertation]. Northeastern University; 2011. [cited 2019 Aug 19].
Available from: http://hdl.handle.net/2047/d20000954.
Council of Science Editors:
Laxminarayan S. Low dimensional modeling of localized neural and hemodynamic response with habituation from multimodal brain measurements. [Doctoral Dissertation]. Northeastern University; 2011. Available from: http://hdl.handle.net/2047/d20000954
University of Western Australia
16.
Sahlan, Shafishuhaza.
Frequency weighted model order reduction techniques with error bounds.
Degree: PhD, 2009, University of Western Australia
URL: http://repository.uwa.edu.au:80/R/?func=dbin-jump-full&object_id=13060&local_base=GEN01-INS01
► This thesis investigates the frequency weighted balanced model reduction problem for linear time invariant systems. First, an interesting property of well-known frequency weighted balanced model…
(more)
▼ This thesis investigates the frequency weighted balanced model reduction problem for linear time invariant systems. First, an interesting property of well-known frequency weighted balanced model reduction techniques (Enns', Lin and Chiu's, Wang et al's, Varga and Anderson's), is derived with special types of weighting functions. The special functions considered here are co-inner and inner functions, for input and output weights respectively. The derivations are carried out for both continuous-time and discrete-time systems. The results are then illustrated using numerical examples. Two new frequency weighted balanced model reduction techniques, based on partial fraction expansion idea, are then developed. These methods yield stable models even when two sided weightings are applied. A priori error bounds for the model reduction methods are derived. Lower weighted errors and error bounds are obtained using free parameters. The results are then illustrated using several numerical examples, including those involving practical applications to show the e ectiveness of the methods. We then proceed with an alternative frequency weighted balanced model reduction method which is based on Schur decomposition. This method yields a sigini cant improvement on Lin and Chiu's technique. Two a priori error bounds for the model reduction method are derived. Lower approximation errors and error bounds are obtained using free parameters. Finally, the results are illustrated using several numerical examples including those involving robot controller reduction applications.
This thesis investigates the frequency weighted balanced model reduction problem for linear time invariant systems. First, an interesting property of well-known frequency weighted balanced model reduction techniques (Enns', Lin and Chiu's, Wang et al's, Varga and Anderson's), is derived with special types of weighting functions. The special functions considered here are co-inner and inner functions, for input and output weights respectively. The derivations are carried out for both continuous-time and discrete-time systems. The results are then illustrated using numerical examples. Two new frequency weighted balanced model reduction techniques, based on partial fraction expansion idea, are then developed. These methods yield stable models even when two sided weightings are applied. A priori error bounds for the model reduction methods are derived. Lower weighted errors and error bounds are obtained using free parameters. The results are then illustrated using several numerical examples, including those involving practical applications to show the e ectiveness of the methods. We then proceed with an alternative frequency weighted balanced model reduction method which is based on Schur decomposition. This method yields a sigini cant improvement on Lin and Chiu's technique. Two a priori error bounds for the model reduction method are derived. Lower approximation errors and error bounds are obtained using free parameters. Finally, the results are illustrated using…
Subjects/Keywords: Mathematical models; Linear time invariant systems; Input-output analysis; Discrete-time systems; Model order reduction; Control order reduction
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Sahlan, S. (2009). Frequency weighted model order reduction techniques with error bounds. (Doctoral Dissertation). University of Western Australia. Retrieved from http://repository.uwa.edu.au:80/R/?func=dbin-jump-full&object_id=13060&local_base=GEN01-INS01
Chicago Manual of Style (16th Edition):
Sahlan, Shafishuhaza. “Frequency weighted model order reduction techniques with error bounds.” 2009. Doctoral Dissertation, University of Western Australia. Accessed August 19, 2019.
http://repository.uwa.edu.au:80/R/?func=dbin-jump-full&object_id=13060&local_base=GEN01-INS01.
MLA Handbook (7th Edition):
Sahlan, Shafishuhaza. “Frequency weighted model order reduction techniques with error bounds.” 2009. Web. 19 Aug 2019.
Vancouver:
Sahlan S. Frequency weighted model order reduction techniques with error bounds. [Internet] [Doctoral dissertation]. University of Western Australia; 2009. [cited 2019 Aug 19].
Available from: http://repository.uwa.edu.au:80/R/?func=dbin-jump-full&object_id=13060&local_base=GEN01-INS01.
Council of Science Editors:
Sahlan S. Frequency weighted model order reduction techniques with error bounds. [Doctoral Dissertation]. University of Western Australia; 2009. Available from: http://repository.uwa.edu.au:80/R/?func=dbin-jump-full&object_id=13060&local_base=GEN01-INS01
University of Waterloo
17.
Nguyen, Khanh V. Q.
Model Reduction for Vehicle Systems Modelling.
Degree: 2014, University of Waterloo
URL: http://hdl.handle.net/10012/8395
► The full model of a double-wishbone suspension has more than 30 differential-algebraic equations which takes a remarkably long time to simulate. By contrast, the look-up…
(more)
▼ The full model of a double-wishbone suspension has more than 30 differential-algebraic equations which takes a remarkably long time to simulate. By contrast, the look-up table for the same suspension is simulated much faster, but may not be very accurate. Therefore, developing reduced models that approximate complex systems is necessary because model reduction decreases the simulation time in comparison with the original model, enables real time applications, and produces acceptable accuracy.
In this research, we focus on model reduction techniques for vehicle systems such as suspensions and how they are approximated by models having lower degrees of freedom. First, some existing model reduction techniques, such as irreducible realization procedures, balanced truncation, and activity-based reduction, are implemented to some vehicle suspensions. Based on the application of these techniques, their disadvantages are revealed. Then, two methods of model reduction for multi-body systems are proposed.
The first proposed method is 2-norm power-based model reduction (2NPR) that combines 2-norm of power and genetic algorithms to derive reduced models having lower degrees of freedom and fewer number of components. In the 2NPR, some components such as mass, damper, and spring are removed from the original system. Afterward, the values of the remaining components are adjusted by the genetic algorithms. The most important advantage of the 2NPR is keeping the topology of multi-body systems which is useful for design purposes.
The second method uses proper orthogonal decomposition. First, the equations of motion for a multi-body system are converted to explicit second-order differential equations. Second, the projection matrix is obtained from simulation or experimental data by proper orthogonal decomposition. Finally, the equations of motion are transferred to a lower-dimensional state coordinate system.
The implementation of the 2NPR to two double-wishbone suspensions and the comparison with other techniques such as balanced truncation and activity-based model reduction also demonstrate the efficiency of the new reduction technique.
Subjects/Keywords: model reduction; model order reduction; truncation; proper orthogonal decomposition; genetic algorithm; vehicle; suspension; multibody system; MapleSim; Maple
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Nguyen, K. V. Q. (2014). Model Reduction for Vehicle Systems Modelling. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/8395
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Nguyen, Khanh V Q. “Model Reduction for Vehicle Systems Modelling.” 2014. Thesis, University of Waterloo. Accessed August 19, 2019.
http://hdl.handle.net/10012/8395.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Nguyen, Khanh V Q. “Model Reduction for Vehicle Systems Modelling.” 2014. Web. 19 Aug 2019.
Vancouver:
Nguyen KVQ. Model Reduction for Vehicle Systems Modelling. [Internet] [Thesis]. University of Waterloo; 2014. [cited 2019 Aug 19].
Available from: http://hdl.handle.net/10012/8395.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Nguyen KVQ. Model Reduction for Vehicle Systems Modelling. [Thesis]. University of Waterloo; 2014. Available from: http://hdl.handle.net/10012/8395
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
University of Ottawa
18.
Baggu, Gnanesh.
Efficient Approach for Order Selection of Projection-Based Model Order Reduction
.
Degree: 2018, University of Ottawa
URL: http://hdl.handle.net/10393/37967
► The present thrust in the electronics industry towards integrating multiple functions on a single chip while operating at very high frequencies has highlighted the need…
(more)
▼ The present thrust in the electronics industry towards integrating multiple functions on a single chip while operating at very high frequencies has highlighted the need for efficient Electronic Design Automation (EDA) tools to shorten the design cycle and capture market windows. However, the increasing complexity in modern circuit design has made simulation a computationally cumbersome task. The notion of model order reduction has emerged as an effective tool to address this difficulty. Typically, there are numerous approaches and several issues involved in the implementation of model-order reduction techniques. Among the important ones of those issues is the problem of determining a suitable order (or size) for the reduced system. An optimal order would be the minimal order that enables the reduced system to capture the
behavior of the original (more complex and larger) system up to a user-defined frequency. The contribution presented in this thesis describes a new approach aimed at determining the order of the reduced system. The proposed approach is based on approximating the impulse response of the original system in the time-domain. The core methodology in obtaining that approximation is based on numerically inverting the Laplace-domain of the representation of the impulse response from the complex-domain (s-domain) into the time-domain. The main advantage of the proposed approach is that it allows the order selection algorithm to operate directly on the time-domain form of the impulse response. It is well-known that numerically generating the impulse response in the time-domain is very difficult and its not impossible, since it requires driving the original network with the Dirac-delta function, which is a mathematical abstraction rather than a concrete waveform that can be implemented on a digital computer. However, such a difficulty is avoided in the proposed approach since it uses the Laplace-domain image of the impulse response to obtain its time-domain representation. The numerical simulations presented in the thesis demonstrate that using the time-domain waveform of the impulse response, computed using the proposed approach and properly filtered with a Butterworth filter, guides the order selection algorithm to select a smaller order, i.e., the reduced system becomes more compact in size. The phrase "smaller or more compact" in this context refers to the comparison with existing techniques currently in use, which seek to generate some form of time-domain approximations for the impulse response through driving the original network with pulse-shaped function (e.g., Gaussian pulse).
Subjects/Keywords: Model Order Reduction;
Projection-based techniques;
Order Selection;
False Nearest Neighbors;
Numerical Inversion of Lapalce Transform;
Impulse response;
Butterworth filter
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Baggu, G. (2018). Efficient Approach for Order Selection of Projection-Based Model Order Reduction
. (Thesis). University of Ottawa. Retrieved from http://hdl.handle.net/10393/37967
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Baggu, Gnanesh. “Efficient Approach for Order Selection of Projection-Based Model Order Reduction
.” 2018. Thesis, University of Ottawa. Accessed August 19, 2019.
http://hdl.handle.net/10393/37967.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Baggu, Gnanesh. “Efficient Approach for Order Selection of Projection-Based Model Order Reduction
.” 2018. Web. 19 Aug 2019.
Vancouver:
Baggu G. Efficient Approach for Order Selection of Projection-Based Model Order Reduction
. [Internet] [Thesis]. University of Ottawa; 2018. [cited 2019 Aug 19].
Available from: http://hdl.handle.net/10393/37967.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Baggu G. Efficient Approach for Order Selection of Projection-Based Model Order Reduction
. [Thesis]. University of Ottawa; 2018. Available from: http://hdl.handle.net/10393/37967
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
University of Utah
19.
Kordy, Michal Adam.
Efficient computational methods for electromagnetic imaging with applications to 3D magnetotellurics.
Degree: PhD, Mathematics, 2014, University of Utah
URL: http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/3313/rec/835
► The motivation for this work is the forward and inverse problem for magnetotellurics, a frequency domain electromagnetic remote-sensing geophysical method used in mineral, geothermal, and…
(more)
▼ The motivation for this work is the forward and inverse problem for magnetotellurics, a frequency domain electromagnetic remote-sensing geophysical method used in mineral, geothermal, and groundwater exploration. The dissertation consists of four papers. In the first paper, we prove the existence and uniqueness of a representation of any vector field in H(curl) by a vector lying in H(curl) and H(div). It allows us to represent electric or magnetic fields by another vector field, for which nodal finite element approximation may be used in the case of non-constant electromagneticproperties. With this approach, the system matrix does not become ill-posed for lowfrequency In the second paper, we consider hexahedral finite element approximation of an electric field for the magnetotelluric forward problem. The near-null space of the system matrix for low frequencies makes the numerical solution unstable in the air. We show that the proper solution may obtained by applying a correction on the nullspace of the curl. It is done by solving a Poisson equation using discrete Helmholtz decomposition. We parallelize the forward code on multicore workstation with large RAM. In the next paper, we use the forward code in the inversion. Regularization of the inversion is done by using the second norm of the logarithm of conductivity.The data space Gauss-Newton approach allows for significant savings in memory and computational time. We show the efficiency of the method by considering a numberof synthetic inversions and we apply it to real data collected in Cascade Mountains.The last paper considers a cross-frequency interpolation of the forward response as well as the Jacobian. We consider Pade approximation through model order reduction and rational Krylov subspace. The interpolating frequencies are chosen adaptively in order to minimize the maximum error of interpolation. Two error indicator functions are compared. We prove a theorem of almost always lucky failure in the case of the right hand analytically dependent on frequency. The operator's null space is treated by decomposing the solution into the part in the null space and orthogonal to it.
Subjects/Keywords: Finite element method; Inverse problem; Magnetotellurics; Maxwell's equations; Model order reduction; Rational krylov subspaces
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Kordy, M. A. (2014). Efficient computational methods for electromagnetic imaging with applications to 3D magnetotellurics. (Doctoral Dissertation). University of Utah. Retrieved from http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/3313/rec/835
Chicago Manual of Style (16th Edition):
Kordy, Michal Adam. “Efficient computational methods for electromagnetic imaging with applications to 3D magnetotellurics.” 2014. Doctoral Dissertation, University of Utah. Accessed August 19, 2019.
http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/3313/rec/835.
MLA Handbook (7th Edition):
Kordy, Michal Adam. “Efficient computational methods for electromagnetic imaging with applications to 3D magnetotellurics.” 2014. Web. 19 Aug 2019.
Vancouver:
Kordy MA. Efficient computational methods for electromagnetic imaging with applications to 3D magnetotellurics. [Internet] [Doctoral dissertation]. University of Utah; 2014. [cited 2019 Aug 19].
Available from: http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/3313/rec/835.
Council of Science Editors:
Kordy MA. Efficient computational methods for electromagnetic imaging with applications to 3D magnetotellurics. [Doctoral Dissertation]. University of Utah; 2014. Available from: http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/3313/rec/835
Duke University
20.
Balajewicz, Maciej.
A New Approach to Model Order Reduction of the Navier-Stokes Equations
.
Degree: 2012, Duke University
URL: http://hdl.handle.net/10161/5854
► A new method of stabilizing low-order, proper orthogonal decomposition based reduced-order models of the Navier Stokes equations is proposed. Unlike traditional approaches, this method…
(more)
▼ A new method of stabilizing low-
order, proper orthogonal decomposition based reduced-
order models of the Navier Stokes equations is proposed. Unlike traditional approaches, this method does not rely on empirical turbulence modeling or modification of the Navier-Stokes equations. It provides spatial basis functions different from the usual proper orthogonal decomposition basis function in that, in addition to optimally representing the solution, the new proposed basis functions also provide stable reduced-
order models. The proposed approach is illustrated with two test cases: two-dimensional flow inside a square lid-driven cavity and a two-dimensional mixing layer.
Advisors/Committee Members: Dowell, Earl H (advisor).
Subjects/Keywords: Engineering;
Aerospace engineering;
model reduction;
Navier-Stokes;
proper orthogonal decomposition;
reduced order modeling;
stabilization;
turbulence
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Balajewicz, M. (2012). A New Approach to Model Order Reduction of the Navier-Stokes Equations
. (Thesis). Duke University. Retrieved from http://hdl.handle.net/10161/5854
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Balajewicz, Maciej. “A New Approach to Model Order Reduction of the Navier-Stokes Equations
.” 2012. Thesis, Duke University. Accessed August 19, 2019.
http://hdl.handle.net/10161/5854.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Balajewicz, Maciej. “A New Approach to Model Order Reduction of the Navier-Stokes Equations
.” 2012. Web. 19 Aug 2019.
Vancouver:
Balajewicz M. A New Approach to Model Order Reduction of the Navier-Stokes Equations
. [Internet] [Thesis]. Duke University; 2012. [cited 2019 Aug 19].
Available from: http://hdl.handle.net/10161/5854.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Balajewicz M. A New Approach to Model Order Reduction of the Navier-Stokes Equations
. [Thesis]. Duke University; 2012. Available from: http://hdl.handle.net/10161/5854
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
21.
和田, 雅之.
Model Order Reductionを用いたリアルタイム大変形シミュレーション(要旨).
Degree: 修士(環境学), 2017, The University of Tokyo / 東京大学
URL: http://hdl.handle.net/2261/52336
► Recently the demand of real-time physics base simulation has been rising in the CG animation area. It is popular to use spring-damper model or Finite…
(more)
▼ Recently the demand of real-time physics base simulation has been rising in the CG animation area. It is popular to use spring-damper model or Finite Element Method, but these have either low accuracy or high cost. In this report, we propose a new method of real-time large deformation simulation by Model Order Reduction. Our method is derived by linear eigenvalue equations or Krylov subspace. The new method gives good approximation of nonlinear FEM and reduces the time cost drastically both static analyses and dynamic analyses.
Subjects/Keywords: Model Order Reduction; リアルタイム; 大変形; FEM; Real-time; Finite Element Method; Large deformation
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
和田, . (2017). Model Order Reductionを用いたリアルタイム大変形シミュレーション(要旨). (Thesis). The University of Tokyo / 東京大学. Retrieved from http://hdl.handle.net/2261/52336
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
和田, 雅之. “Model Order Reductionを用いたリアルタイム大変形シミュレーション(要旨).” 2017. Thesis, The University of Tokyo / 東京大学. Accessed August 19, 2019.
http://hdl.handle.net/2261/52336.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
和田, 雅之. “Model Order Reductionを用いたリアルタイム大変形シミュレーション(要旨).” 2017. Web. 19 Aug 2019.
Vancouver:
和田 . Model Order Reductionを用いたリアルタイム大変形シミュレーション(要旨). [Internet] [Thesis]. The University of Tokyo / 東京大学; 2017. [cited 2019 Aug 19].
Available from: http://hdl.handle.net/2261/52336.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
和田 . Model Order Reductionを用いたリアルタイム大変形シミュレーション(要旨). [Thesis]. The University of Tokyo / 東京大学; 2017. Available from: http://hdl.handle.net/2261/52336
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Delft University of Technology
22.
Van der Linde, T.M.
Fast topology optimization for transient mechanical problems:.
Degree: 2016, Delft University of Technology
URL: http://resolver.tudelft.nl/uuid:2aa17c56-66a2-41c8-95fc-a1af50dc52dd
► Topology optimization is increasingly used as a design tool in engineering. Within structural mechanics, most applications focus on statics. An extension to time-domain (transient) dynamics…
(more)
▼ Topology optimization is increasingly used as a design tool in engineering. Within structural mechanics, most applications focus on statics. An extension to time-domain (transient) dynamics will have many useful applications, but this is currently hindered by high computational costs. The goal of this research is to reduce these costs by applying
model order reduction.
In
model order reduction, the full coordinates of a system are approximated by a much smaller number of reduced coordinates and associated basis vectors. A few options for these vectors will be discussed. It is shown that using load-based methods results in high accuracy, especially the Ritz vector method. In the total optimization this leads to significant
reduction of both CPU-time and memory requirements.
Advisors/Committee Members: Langelaar, M..
Subjects/Keywords: topology optimization; time-domain dynamics; transient dynamics; model order reduction; Ritz vectors
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Van der Linde, T. M. (2016). Fast topology optimization for transient mechanical problems:. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:2aa17c56-66a2-41c8-95fc-a1af50dc52dd
Chicago Manual of Style (16th Edition):
Van der Linde, T M. “Fast topology optimization for transient mechanical problems:.” 2016. Masters Thesis, Delft University of Technology. Accessed August 19, 2019.
http://resolver.tudelft.nl/uuid:2aa17c56-66a2-41c8-95fc-a1af50dc52dd.
MLA Handbook (7th Edition):
Van der Linde, T M. “Fast topology optimization for transient mechanical problems:.” 2016. Web. 19 Aug 2019.
Vancouver:
Van der Linde TM. Fast topology optimization for transient mechanical problems:. [Internet] [Masters thesis]. Delft University of Technology; 2016. [cited 2019 Aug 19].
Available from: http://resolver.tudelft.nl/uuid:2aa17c56-66a2-41c8-95fc-a1af50dc52dd.
Council of Science Editors:
Van der Linde TM. Fast topology optimization for transient mechanical problems:. [Masters Thesis]. Delft University of Technology; 2016. Available from: http://resolver.tudelft.nl/uuid:2aa17c56-66a2-41c8-95fc-a1af50dc52dd
University of Toronto
23.
Li, Xihao.
Model Order Reduction and Stability Enforcement of Finite-difference Time-domain Equations Beyond the CFL Limit.
Degree: 2014, University of Toronto
URL: http://hdl.handle.net/1807/74637
► The Finite-Difference Time Domain (FDTD) method is a versatile and popular method for solving Maxwell's equations. As a consequence of the explicit time integration, the…
(more)
▼ The Finite-Difference Time Domain (FDTD) method is a versatile and popular method for solving Maxwell's equations. As a consequence of the explicit time integration, the maximum stable time-step of FDTD is constrained by the Courant-Friedrichs-Lewy (CFL) limit. This thesis focuses on two interdependent topics: model order reduction (MOR) of explicit FDTD equations and stability enforcement above the CFL limit. The combination of these two topics leads to the proposed CFL extension technique which has been demonstrated for 2D and 3D simulations. In addition, the proposed method has also been applied to the FDTD sub-gridding application. Comparisons have been made with existing implicit and explicit CFL extension techniques with respect to versatility, computational efficiency, and numerical dispersion errors. While there exist computation and memory limitations, the proposed method has demonstrated excellent versatility and accuracy for all test cases while having significant speed-ups over standard FDTD.
M.A.S.
2016-11-19 00:00:00
Advisors/Committee Members: Triverio, Piero, Sarris, Costas D, Electrical and Computer Engineering.
Subjects/Keywords: CFL Extension; FDTD Sub-gridding; Finite-Difference Time Domain; Model Order Reduction; Stability Enforcement; 0607
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Li, X. (2014). Model Order Reduction and Stability Enforcement of Finite-difference Time-domain Equations Beyond the CFL Limit. (Masters Thesis). University of Toronto. Retrieved from http://hdl.handle.net/1807/74637
Chicago Manual of Style (16th Edition):
Li, Xihao. “Model Order Reduction and Stability Enforcement of Finite-difference Time-domain Equations Beyond the CFL Limit.” 2014. Masters Thesis, University of Toronto. Accessed August 19, 2019.
http://hdl.handle.net/1807/74637.
MLA Handbook (7th Edition):
Li, Xihao. “Model Order Reduction and Stability Enforcement of Finite-difference Time-domain Equations Beyond the CFL Limit.” 2014. Web. 19 Aug 2019.
Vancouver:
Li X. Model Order Reduction and Stability Enforcement of Finite-difference Time-domain Equations Beyond the CFL Limit. [Internet] [Masters thesis]. University of Toronto; 2014. [cited 2019 Aug 19].
Available from: http://hdl.handle.net/1807/74637.
Council of Science Editors:
Li X. Model Order Reduction and Stability Enforcement of Finite-difference Time-domain Equations Beyond the CFL Limit. [Masters Thesis]. University of Toronto; 2014. Available from: http://hdl.handle.net/1807/74637
24.
Wang, Wei.
Fast Parameter-Space Sweep of Wideband Electromagnetic Systems Using Bt-pod.
Degree: MS, Electrical & Computer Engineering, 2010, University of Massachusetts
URL: https://scholarworks.umass.edu/theses/402
► Modeling and design of high frequency electronic systems such as antennas and microwave devices require the rigorous numerical solution of Maxwell’s equa- tions. The frequency-domain…
(more)
▼ Modeling and design of high frequency electronic systems such as antennas and microwave devices require the rigorous numerical solution of Maxwell’s equa- tions. The frequency-domain (time-harmonic) tangential vector finite element method (TVFEM) for Maxwell equations results in a second-
order dynamical electromagnetic
model that must be repeatedly solved for multiple frequencies, excitation or material parameters each design loop. This leads to extremely long design turnaround that often is not optimal. This work will propose an accurate, error controllable and ef- ficient multi-parametric
model order reduction scheme that significantly accelerate these parameters sweep. At the core of this work is the proper orthogonal decompo- sition (POD) sampling technique and balanced truncation (BT) algorithm that are used to reduce multi-parameter spaces that include frequency, material parameters and infinite array scan angles. The proposed methodology employs a novel computa- tional scheme based on adaptive POD sampling and the singular value decomposition (SVD) of the low-rank Hankel matrix. Numerical examples confirm the significant time savings and good accuracy of the method for a diverse set of high-frequency electromagnetic systems.
Advisors/Committee Members: Marinos N. Vouvakis.
Subjects/Keywords: model order reduction (MOR); finite element method (FEM); computational electromagnetics; SVD MOR; Electromagnetics and Photonics
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Wang, W. (2010). Fast Parameter-Space Sweep of Wideband Electromagnetic Systems Using Bt-pod. (Masters Thesis). University of Massachusetts. Retrieved from https://scholarworks.umass.edu/theses/402
Chicago Manual of Style (16th Edition):
Wang, Wei. “Fast Parameter-Space Sweep of Wideband Electromagnetic Systems Using Bt-pod.” 2010. Masters Thesis, University of Massachusetts. Accessed August 19, 2019.
https://scholarworks.umass.edu/theses/402.
MLA Handbook (7th Edition):
Wang, Wei. “Fast Parameter-Space Sweep of Wideband Electromagnetic Systems Using Bt-pod.” 2010. Web. 19 Aug 2019.
Vancouver:
Wang W. Fast Parameter-Space Sweep of Wideband Electromagnetic Systems Using Bt-pod. [Internet] [Masters thesis]. University of Massachusetts; 2010. [cited 2019 Aug 19].
Available from: https://scholarworks.umass.edu/theses/402.
Council of Science Editors:
Wang W. Fast Parameter-Space Sweep of Wideband Electromagnetic Systems Using Bt-pod. [Masters Thesis]. University of Massachusetts; 2010. Available from: https://scholarworks.umass.edu/theses/402
University of Illinois – Urbana-Champaign
25.
Davoudi, Ali.
Reduced-order modeling of power electronics components and systems.
Degree: PhD, 1200, 2010, University of Illinois – Urbana-Champaign
URL: http://hdl.handle.net/2142/16097
► This dissertation addresses the seemingly inevitable compromise between modeling fidelity and simulation speed in power electronics. Higher-order effects are considered at the component and system…
(more)
▼ This dissertation addresses the seemingly inevitable compromise between modeling fidelity and simulation speed in power electronics. Higher-
order effects are considered at the component and system levels.
Order-
reduction techniques are applied to provide insight into accurate, computationally efficient component-level (via reduced-
order physics-based
model) and system-level simulations (via multiresolution simulation). Proposed high-
order models, verified with hardware measurements, are, in turn, used to verify the accuracy of final reduced-
order models for both small- and large-signal excitations.
At the component level, dynamic high-fidelity magnetic equivalent circuits are introduced for laminated and solid magnetic cores. Automated linear and nonlinear
order-
reduction techniques are introduced for linear magnetic systems, saturated systems, systems with relative motion, and multiple-winding systems, to extract the desired essential system dynamics. Finite-element models of magnetic components incorporating relative motion are set forth and then reduced.
At the system level, a framework for multiresolution simulation of switching converters is developed. Multiresolution simulation provides an alternative method to analyze power converters by providing an appropriate amount of detail based on the time scale and phenomenon being considered. A detailed full-
order converter
model is built based upon high-
order component models and accurate switching transitions. Efficient
order-
reduction techniques are used to extract several lower-
order models for the desired resolution of the simulation. This simulation framework is extended to higher-
order converters, converters with nonlinear elements, and closed-loop systems. The resulting rapid-to-integrate component models and flexible simulation frameworks could form the computational core of future virtual prototyping design and analysis environments for energy processing units.
Advisors/Committee Members: Chapman, Patrick L. (advisor), Chapman, Patrick L. (Committee Chair), Krein, Philip T. (committee member), Sauer, Peter W. (committee member), Cangellaris, Andreas C. (committee member).
Subjects/Keywords: Energy Systems; Power Electronics; Energy Conversion; Magnetic; Model order reduction; Modeling and simulation
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Davoudi, A. (2010). Reduced-order modeling of power electronics components and systems. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/16097
Chicago Manual of Style (16th Edition):
Davoudi, Ali. “Reduced-order modeling of power electronics components and systems.” 2010. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed August 19, 2019.
http://hdl.handle.net/2142/16097.
MLA Handbook (7th Edition):
Davoudi, Ali. “Reduced-order modeling of power electronics components and systems.” 2010. Web. 19 Aug 2019.
Vancouver:
Davoudi A. Reduced-order modeling of power electronics components and systems. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2010. [cited 2019 Aug 19].
Available from: http://hdl.handle.net/2142/16097.
Council of Science Editors:
Davoudi A. Reduced-order modeling of power electronics components and systems. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2010. Available from: http://hdl.handle.net/2142/16097
26.
Otaño Aramendi, Nerea.
Réduction du coût de calcul pour la simulation du comportement mécanique de câbles : Reduction of the computational cost for the numerical simulation of the mehcanical behaviour of wire ropes.
Degree: Docteur es, Mécanique des solides, 2016, Paris Saclay
URL: http://www.theses.fr/2016SACLC061
► Le travail présenté dans ce mémoire s'intéresse à la simulation du comportement mécanique de câbles d'ascenseurs. Le but de ce travail est d'élaborer une méthode…
(more)
▼ Le travail présenté dans ce mémoire s'intéresse à la simulation du comportement mécanique de câbles d'ascenseurs. Le but de ce travail est d'élaborer une méthode permettant de simuler le comportement mécanique de tels câbles à moindre coût, et avec une précision suffisante.Dans un premier temps, différentes méthodes permettant de modéliser ou de simuler le comportement de ces câbles ont été comparées, et leurs avantages et inconvénients ont été analysés. Les résultats de modèles analytiques et de simulations éléments finis ont été comparés avec des données expérimentales. Les modèles analytiques considérés dans ce travail présentent un coût de calcul bien moins élevé que les modèles éléments finis, mais n'offrent pas une précision suffisante dans leurs résultats pour simuler le comportement de câbles d'ascenseurs. L'approche éléments finis a été retenue pour cette raison comme la plus adaptée pour simuler ce genre de câbles. Les coûts de calcul liés à cette approche sont cependant très élevés, et demandent la mise en oeuvre de méthodes particulières en vue de les réduire.Afin de réduire les temps de calculs, trois types de méthodes ont été considérées : les méthodes d'homogénéisation, les méta-modèles, et les techniques de réduction de modèle. L'approche de réduction de modèle a été retenue comme la plus appropriée et a été implémentée dans le code de simulation par éléments finis Multifil. Des résultats avec une bonne précision ont été obtenus en utilisant cette méthode, mais les coûts des simulations initiales sur le modèle complet afin d'obtenir un ensemble de solutions permettant de construire une base réduite apparaissent trop élevés dès qu'il s'agit de traiter des câbles de longueurs importantes. Pour remédier à ce problème, une méthode de réduction par tronçon a été formulée et implémentée. Cette méthode tire parti de la structure périodique du câble et permet d'identifier a base de réduction seulement sur un motif périodique élémentaire. Cette base est ensuite utilisée pour représenter la solution sur l'ensemble d'un câble composé de plusieurs tronçons.Le coût des multiplications matricielles nécessaires pour transformer le système linéaire du problème initial, en système linéaire réduit reste cependant trop important pour obtenir un gain significatif, en particulier dans le contexte de la résolution d'un problème non-linéaire. Pour pallier cette difficulté, une technique supplémentaire, appelée ``Discrete Empirical Interpolation Method'' (DEIM), a été mise en oeuvre avec succès, et a permis d'obtenir au final une réduction du coût de calcul d'un facteur 4.
The work presented in this dissertation is focused on the simulation of the mechanical behaviour of lift's wire ropes. The aim of the work is to elaborate a method to simulate the mechanical behaviour of such wire ropes with low computational cost and sufficient accuracy.First of all, several methods to model or simulate wire ropes have been compared and their weak and strong points have been highlighted. Analytical and finite element methods have been…
Advisors/Committee Members: Ben Dhia, Hachmi (thesis director), Durville, Damien (thesis director).
Subjects/Keywords: Modèle ordre réduction; Simulation numérique; Metamodèles; Câble; Model order reduction; Numerical simulation; Metamodels; Wire rope
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Otaño Aramendi, N. (2016). Réduction du coût de calcul pour la simulation du comportement mécanique de câbles : Reduction of the computational cost for the numerical simulation of the mehcanical behaviour of wire ropes. (Doctoral Dissertation). Paris Saclay. Retrieved from http://www.theses.fr/2016SACLC061
Chicago Manual of Style (16th Edition):
Otaño Aramendi, Nerea. “Réduction du coût de calcul pour la simulation du comportement mécanique de câbles : Reduction of the computational cost for the numerical simulation of the mehcanical behaviour of wire ropes.” 2016. Doctoral Dissertation, Paris Saclay. Accessed August 19, 2019.
http://www.theses.fr/2016SACLC061.
MLA Handbook (7th Edition):
Otaño Aramendi, Nerea. “Réduction du coût de calcul pour la simulation du comportement mécanique de câbles : Reduction of the computational cost for the numerical simulation of the mehcanical behaviour of wire ropes.” 2016. Web. 19 Aug 2019.
Vancouver:
Otaño Aramendi N. Réduction du coût de calcul pour la simulation du comportement mécanique de câbles : Reduction of the computational cost for the numerical simulation of the mehcanical behaviour of wire ropes. [Internet] [Doctoral dissertation]. Paris Saclay; 2016. [cited 2019 Aug 19].
Available from: http://www.theses.fr/2016SACLC061.
Council of Science Editors:
Otaño Aramendi N. Réduction du coût de calcul pour la simulation du comportement mécanique de câbles : Reduction of the computational cost for the numerical simulation of the mehcanical behaviour of wire ropes. [Doctoral Dissertation]. Paris Saclay; 2016. Available from: http://www.theses.fr/2016SACLC061
27.
Guillet, Jérôme.
Etude et réduction d'ordre de modèles linéraires structurés : application à la dynamique du véhicule : Study and order reduction of linear structured models : application to vehicle dynamics.
Degree: Docteur es, Automatique, 2011, Mulhouse
URL: http://www.theses.fr/2011MULH4911
► Cette thèse traite de modélisation des systèmes complexes. Dans ce cadre, l'approche est basée sur les Modèles Structurés en Second Ordre (MSSO). Afin d'utiliser cette…
(more)
▼ Cette thèse traite de modélisation des systèmes complexes. Dans ce cadre, l'approche est basée sur les Modèles Structurés en Second Ordre (MSSO). Afin d'utiliser cette classe de modèles, les propriétés telles que l'atteignabilité, l'observabilité et les grammiens, bien connues pour les réalisations d'états, sont étendues aux MSSO.Lors de la co-simulation d'un système, des éléments de natures différentes (physiques et logicielles) sont intégrés et la simulation est effectuée en temps réel. Or, les modèles d'ordre élevés sont couteux en temps de calcul, ce qui rend difficile ce type de simulation. Ainsi, des méthodes de réduction de modèle sont explorées. En particulier, de nouvelles méthodes, permettant de préserver la structure des modèles avec une bonne erreur d'approximation sont présentées.Ces développements sont appliqués à la co-simulation de modèles véhicules sous forme de MSSO. Le modèle créé est un modèle par blocs, complexe et non-linéaire. Afin d'appliquer les méthodes de réduction de modèle il est nécessaire de le linéariser. La structure par blocs permet de linéariser l'ensemble du modèle ou de ne linéariser que certaines sous parties du modèle.Ensuite, l'identification des paramètres est effectuée pour chaque sous-systèmes du véhicule. Une méthode d'interconnexion est ensuite proposée pour créer une représentation monobloc du modèle afin de réduire ce dernier. Au final, des essais en co-simulation de la partie arrière du véhicule sous forme de modèle interconnectée avec la partie avant du véhicule physiquement présente sur un banc de test, valide notre approche pour effectuer de la co-simulation temps réel avec matériel.x
This thesis studies the modeling of complex systems. In this framework, the approach is based on Second Order Form Model (SOFM). In order to use this kind of models, properties such as the reachability, the observability, the gramians and the Markov parameters, well known for state-space representation, are extended to the SOFM. During the co-simulation of a system, its physical parts are interconnected to models which simulate the system environement and the simulation is performed in real time. However, the simulation of high order models consumes to much time to be performed in real time. Therefore, model order reduction methods are studied. Particularly, new methods preserving SOFM structure with a good approximation error are presented. These developments are applied to the vehicle dynamic. Hence, a vehicle SOFM model is developed. The created model is a blockwise model where each blocks describes a part of the vehicle. This model is complex and non-linear. In order to apply the model order reduction methods, model linearisation is necessary. The block modeling allows to linearise the full model or allows to linearise some part of the model. Then, the identification of the model parameters is done by vehicle sub-system. In addition, an interconnection method is proposed to build a monobloc model in order to reduce it. Finally, co-simulations of the model vehicle rear part…
Advisors/Committee Members: Basset, Michel (thesis director).
Subjects/Keywords: Modèle structuré en second ordre; Réduction de modèle; Dynamique du véhicule; Co-simulation temps réel; Second order form model; Model order reduction; Dynamic vehicle model; Real time co-simulation
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Guillet, J. (2011). Etude et réduction d'ordre de modèles linéraires structurés : application à la dynamique du véhicule : Study and order reduction of linear structured models : application to vehicle dynamics. (Doctoral Dissertation). Mulhouse. Retrieved from http://www.theses.fr/2011MULH4911
Chicago Manual of Style (16th Edition):
Guillet, Jérôme. “Etude et réduction d'ordre de modèles linéraires structurés : application à la dynamique du véhicule : Study and order reduction of linear structured models : application to vehicle dynamics.” 2011. Doctoral Dissertation, Mulhouse. Accessed August 19, 2019.
http://www.theses.fr/2011MULH4911.
MLA Handbook (7th Edition):
Guillet, Jérôme. “Etude et réduction d'ordre de modèles linéraires structurés : application à la dynamique du véhicule : Study and order reduction of linear structured models : application to vehicle dynamics.” 2011. Web. 19 Aug 2019.
Vancouver:
Guillet J. Etude et réduction d'ordre de modèles linéraires structurés : application à la dynamique du véhicule : Study and order reduction of linear structured models : application to vehicle dynamics. [Internet] [Doctoral dissertation]. Mulhouse; 2011. [cited 2019 Aug 19].
Available from: http://www.theses.fr/2011MULH4911.
Council of Science Editors:
Guillet J. Etude et réduction d'ordre de modèles linéraires structurés : application à la dynamique du véhicule : Study and order reduction of linear structured models : application to vehicle dynamics. [Doctoral Dissertation]. Mulhouse; 2011. Available from: http://www.theses.fr/2011MULH4911
The Ohio State University
28.
Zhu, Zhaoxuan, Zhu.
Control-oriented Modeling of Three-Way Catalyst Temperature
via Projection-based Model Order Reduction.
Degree: MS, Mechanical Engineering, 2018, The Ohio State University
URL: http://rave.ohiolink.edu/etdc/view?acc_num=osu1534271429299604
► Thermal management of aftertreatment devices is nowadays becoming a critical requirement to comply with the stringent emission standards. A recent challenge in aftertreatment control and…
(more)
▼ Thermal management of aftertreatment devices is
nowadays becoming a critical requirement to comply with the
stringent emission standards. A recent challenge in aftertreatment
control and diagnostics is the need to monitor the temperature
distribution along the entire length of the catalyst, rather than
relying on a single-point measurement. To this extent, this work
focuses on the development and validation of a control-oriented,
physics-based Three Way Catalytic Converter (TWCC)
model for the
purpose of real-time thermal monitoring. Starting from the
governing equations in Partial Dierential Equation (PDE) form, a
model order reduction technique that combines Proper Orthogonal
Decomposition and Collocation is developed. The sensitivity of the
selection of the empirical basis functions is studied. To include
the exothermic effect of chemical reactions, an Articial Neural
Network is trained. To study the accuracy of the reduced
order
model, two high-fidelity models using Finite Dierence Method and
commercial simulation software GT-Power are developed. The reduced
order model executes much faster than using standard numerical
methods, meanwhile providing comparable accuracy. The
model is
validated against GT-POWER in the ability to predict the
temperature distribution, the peak temperatureand its axial
location in US-06 Drive Cycle.
Advisors/Committee Members: Canova, Marcello (Advisor).
Subjects/Keywords: Mechanical Engineering; Three-way Catalytic Converter, Control-oriented Model,
Temperature Prediction, Model Order Reduction, Proper Orthogonal
Decomposition, Collocation, and Neural Network
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Zhu, Zhaoxuan, Z. (2018). Control-oriented Modeling of Three-Way Catalyst Temperature
via Projection-based Model Order Reduction. (Masters Thesis). The Ohio State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=osu1534271429299604
Chicago Manual of Style (16th Edition):
Zhu, Zhaoxuan, Zhu. “Control-oriented Modeling of Three-Way Catalyst Temperature
via Projection-based Model Order Reduction.” 2018. Masters Thesis, The Ohio State University. Accessed August 19, 2019.
http://rave.ohiolink.edu/etdc/view?acc_num=osu1534271429299604.
MLA Handbook (7th Edition):
Zhu, Zhaoxuan, Zhu. “Control-oriented Modeling of Three-Way Catalyst Temperature
via Projection-based Model Order Reduction.” 2018. Web. 19 Aug 2019.
Vancouver:
Zhu, Zhaoxuan Z. Control-oriented Modeling of Three-Way Catalyst Temperature
via Projection-based Model Order Reduction. [Internet] [Masters thesis]. The Ohio State University; 2018. [cited 2019 Aug 19].
Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1534271429299604.
Council of Science Editors:
Zhu, Zhaoxuan Z. Control-oriented Modeling of Three-Way Catalyst Temperature
via Projection-based Model Order Reduction. [Masters Thesis]. The Ohio State University; 2018. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1534271429299604
29.
Shafiei, Nastaran.
Model Checking of Distributed Multi-Threaded Java Applications.
Degree: PhD, Computer Science, 2015, York University
URL: http://hdl.handle.net/10315/28190
► In this dissertation, we focus on the verification of distributed Java applications composed of communicating multithreaded processes. We choose model checking as the verification technique.…
(more)
▼ In this dissertation, we focus on the verification of distributed Java applications composed of communicating multithreaded processes. We choose
model checking as the verification technique. We propose an instance of the so-called centralization approach which allows for
model checking multiple communicating processes.
The main challenge of applying centralization is keeping data separated between different processes. In our approach, this issue is addressed through a new class-loading
model. As one of our contributions, we implement our approach within an existing
model checker, Java PathFinder (JPF). To account for interactions between processes, our approach provides the
model checker with a
model of interprocess communication. Moreover, our
model allows for systematically exploring potential exceptional control flows caused by network failures. We also apply a partial
order reduction (POR) algorithm to reduce the state space of distributed applications, and we prove that our POR algorithm preserves deadlocks. Furthermore, we propose an automatic approach to capture interactions between the system being verified and external resources, such as cloud computing services. The dissertation also discusses how our approach is superior to existing approaches. Our approach exhibits better performance which is mainly due to the POR technique. Furthermore, our approach allows for verifying a considerably larger class of applications without the need for any manual modeling, and it has been successfully used to detect bugs that cannot be found using previous work.
Advisors/Committee Members: Breugel, Franck van (advisor).
Subjects/Keywords: Computer science; Computer engineering; Partial order reduction; Software verification; Model checking; Distributed application; Concurrency; Java; Java PathFinder; Class-loading model; Native calls; State space reduction
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Shafiei, N. (2015). Model Checking of Distributed Multi-Threaded Java Applications. (Doctoral Dissertation). York University. Retrieved from http://hdl.handle.net/10315/28190
Chicago Manual of Style (16th Edition):
Shafiei, Nastaran. “Model Checking of Distributed Multi-Threaded Java Applications.” 2015. Doctoral Dissertation, York University. Accessed August 19, 2019.
http://hdl.handle.net/10315/28190.
MLA Handbook (7th Edition):
Shafiei, Nastaran. “Model Checking of Distributed Multi-Threaded Java Applications.” 2015. Web. 19 Aug 2019.
Vancouver:
Shafiei N. Model Checking of Distributed Multi-Threaded Java Applications. [Internet] [Doctoral dissertation]. York University; 2015. [cited 2019 Aug 19].
Available from: http://hdl.handle.net/10315/28190.
Council of Science Editors:
Shafiei N. Model Checking of Distributed Multi-Threaded Java Applications. [Doctoral Dissertation]. York University; 2015. Available from: http://hdl.handle.net/10315/28190
Texas A&M University
30.
Mukherjee, Parijat 1985-.
Automatic Stability Checking for Large Analog Circuits.
Degree: 2010, Texas A&M University
URL: http://hdl.handle.net/1969.1/148461
► Small signal stability has always been an important concern for analog designers. Recent advances such as the Loop Finder algorithm allows designers to detect and…
(more)
▼ Small signal stability has always been an important concern for analog designers.
Recent advances such as the Loop Finder algorithm allows designers to detect and
identify local, potentially unstable return loops without the need to identify and add
breakpoints. However, this method suffers from extremely high time and memory
complexity and thus cannot be scaled to very large analog circuits. In this research
work, we first take an in-depth look at the loop finder algorithm so as to identify
certain key enhancements that can be made to overcome these shortcomings. We
next propose pole discovery and impedance computation methods that address these
shortcomings by exploring only a certain region of interest in the s-plane. The reduced
time and memory complexity obtained via the new methodology allows us to extend
automatic stability checking to much larger circuits than was previously possible.
Advisors/Committee Members: Li, Peng (advisor), Choi, Gwan (committee member), Sarin, Vivek (committee member).
Subjects/Keywords: Model Order Reduction; Rational Krylov Algorithm; Region based pole search; Pole Discovery; Loop Finder; Stability analysis
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share
❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Mukherjee, P. 1. (2010). Automatic Stability Checking for Large Analog Circuits. (Thesis). Texas A&M University. Retrieved from http://hdl.handle.net/1969.1/148461
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Mukherjee, Parijat 1985-. “Automatic Stability Checking for Large Analog Circuits.” 2010. Thesis, Texas A&M University. Accessed August 19, 2019.
http://hdl.handle.net/1969.1/148461.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Mukherjee, Parijat 1985-. “Automatic Stability Checking for Large Analog Circuits.” 2010. Web. 19 Aug 2019.
Vancouver:
Mukherjee P1. Automatic Stability Checking for Large Analog Circuits. [Internet] [Thesis]. Texas A&M University; 2010. [cited 2019 Aug 19].
Available from: http://hdl.handle.net/1969.1/148461.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Mukherjee P1. Automatic Stability Checking for Large Analog Circuits. [Thesis]. Texas A&M University; 2010. Available from: http://hdl.handle.net/1969.1/148461
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
◁ [1] [2] [3] [4] ▶
. 
Open Access Theses and Dissertations