Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 145 for “"state-based"”.
-
State based financial liberalization
<p>In the last 40 years, states around the globe have increased the role of markets in their financial systems. Using newly collected information on the educational backgrounds of Central Bankers, I demonstrate that the beliefs of state officials about the proper role of markets in the financial …
-
The State-Based Peridynamic Lattice Model
… via forces. In this thesis we introduce the state-based peridynamic lattice model (SPLM) and describe its fundamental assumptions. SPLM discretizes a body into a finite number of particles that are arranged by a hexagonal close-packed lattice. We present a SPLM linear-elasticity and …
-
Design of a state-based nonlinear controller
… tests for them which are industry accepted. A state-space approach leads to the development of a design methodology, which is then used to implement these algorithms. The P- and PI-controllers will be designed using traditional methods, as well as by an optimal procedure which makes use of a …
-
A general state-based temporal pattern recognition
Time-series and state-sequences are ubiquitous patterns in temporal logic and are widely used to present temporal data in data mining. Generally speaking, there are three known choices for the time primitive: points, intervals, points and intervals. In this thesis, a formal characterization of …
-
Adversary-driven state-based system security evaluation
… system configurations. To produce model-based quantitative security metrics, we have formally defined and implemented the ADversary VIew Security Evaluation (ADVISE) method. Our approach is to create an executable state-based security model of a system and an adversary that represents how …
-
The State-based Peridynamic Lattice Model and Reinforced Concrete Structures
… Gerstle has specialized his idea to develop the state-based peridynamic lattice model (SPLM). The SPLM sufficiently models nonlinear deformation fields using an organized lattice, force states, and stretches. In this thesis, we use, develop, and modify the SPLM to model reinforced concrete …
-
Parameterised verification of randomised distributed systems using state-based models
… induction to the parameterised verification of state-based models of randomised distributed systems. We demonstrate the use of network invariants by constructing invariant models for non-probabilistic and probabilistic forms of a simple counter token ring protocol. We show that proving …
-
State-Based Techniques For Designing, Verifying And Debugging Message Passing Systems
… designing, verifying, implementing and debugging state-based message passing systems. The techniques and design principles of the proposed framework focus on improving and easing the software development experience. In the first phase, a two-level design methodology is proposed through using …
-
ANALYSIS OF BRAZILIAN SPLIT CYLINDER USING THE STATE BASED PERIDYNAMIC LATTICE MODEL
… peridynamic model for solid mechanics called the state-based peridynamic lattice model (SPLM). This approach involves material modelling with a finite number of interacting lattice particles rather than a continuum. The advantage of SPLM lies in its ease of computational implementation. SPLM is …
-
Quasi-static non-ordinary state-based peridynamics for the modeling of 3D fracture
… fracture mechanics, peridynamics is a particle-based continuum model that addresses some shortcomings of other methods. In this work, a quasi-static linearly elastic implicit parallel implementation of the non-ordinary state-based peridynamics formulation is presented for both stationary and …
-
Verification and Enforcement of State-Based Notions of Opacity in Discrete Event Systems
… and analyze the complexity of verifying various state-based notions of opacity in systems that are modeled as (possibly non-deterministic) finite automata with partial observation on their transitions. Assuming that the intruder observes system activity through some projection map and has …
-
Continuum breakdown assessment and state-based transport modeling for non-equilibrium hypersonic flows
… the rovibrationally resolved and reduced order state-to-state (StS) frameworks. However, in order to perform a continuum breakdown assessment within these rovibrationally resolved and reduced order StS frameworks, a consistent transport methodology is required. Therefore, the second aspect of …
-
A study of state-based social assistance provision and its influence on the developmental character of the South African State: the case of the child support grant
This thesis aims at examining the extent to which state-based social assistance provision, in the form of Child Support Grant (CSG), influences the character of a developmental state. Social assistance provision is understood to be part of a developmental state response to the needs of its …
-
Content and end-state-based alteration in the practice of political violence since the end of cold war: the difference between the terrorism of the cold war and the terrorism of al Qaeda: the rise of the "transcendental terrorist"
… and West into two blocs and the ideologicallybased definition of said blocs. Whilst we cannot state that the whole of the world was divided in an iron-clad fashion into two separate camps – the neutral and nonaligned nations representing a sizeable constituency – the fact remains that for …
-
Satisfiability Advancements Enabled by State Machines
This dissertation focuses on research for state-based Satisfiability (SAT), a variant of SAT that uses state machines (Smurfs) to represent constraints. Using this constraint representation allows for compact representations of SAT problem instances that retain more ungarbled user- domain …
-
Reforming the United Nations Security Council: Making it more Democratic in the Post-Westphalian Legal Order
… almost all of which have focused solely on state-based solutions. The current study considers that reforming the Council through such means would not alter its current state to any significant extent. International law no longer reflects the state-based system of the Westphalian World Order. …
-
Peridynamic constitutive model for concrete
… not needed in peridynamics. The original bond-based peridynamic theory has several drawbacks including being limited to modeling materials with Poissons ratio of one-quarter. In 2007, Silling generalized his model by introducing state-based peridynamics. Sau et al. proposed a micropolar model …
-
A new approach to modeling aviation accidents
… also code each accident using an event-based coding system, which should facilitate identification of patterns and trends in causation, given the high number of GA accidents each year. However, this system is susceptible to investigator interpretation and error, meaning that two …
-
A Comparison of Case-Based Reasoning and Probabilistic Graphical Models in the Context of Learning from Observation
… Probabilistic Graphical Models (PGM) and Case-Based Reasoning (CBR) with the goal of identifying a preferred approach for future improvement. We show that the Naive Bayes Classifier is better than a previously used PGM model in learning behavior in a vacuum cleaner domain and introduce a …
-
An examination of three approaches to the study of the politics of interdependence
… of interdependence: realism, holism, and the state-based approach. To facilitate this analysis effort will be directed into three areas. First, the definitional clarity of each theory will be examined to determine if the concept of interdependence and related notions have been fully developed. …
Page 1 of 8