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 9 of 9 for “"Abstract system"”.
-
Finding Termination and Time Improvement in Predicate Abstraction with Under-Approximation and Abstract Matching
… One of these formal methods is predicate abstraction, which reduces concrete states of a system to bitvectors of true/false valuations of a set of predicates. Predicate abstraction comes in two flavors, over-approximation and under-approximation. A drawback of over-approximation is that it …
-
On the mechanics of 2-dimensional carbon allotropes
… family and discussion of a proposed spring abstraction for these materials under mechanical loading. A second contribution is the contrast of these behaviors with graphene and the implications for proposed applications. We apply the mathematical framework of category theory to articulate the …
-
Studies in system representation and control
Representation of an abstract system by a mathematical object such as a matrix or a differential equation is important because much of the analysis is done via representations. For discrete-time input-output systems, infinite-matrix kernel representation is the most general representation. We use …
-
The nature and value of teaching and learning Mandarin Chinese as a school subject in South Africa: a case study of language and literacy ideologies in a public secondary school in South Africa
… of Mandarin Chinese as a highly standardised and abstract system which can be packaged and commodified as a well-defined and structured object. As regards the teaching and learning of the Chinese script, some tensions arise. On one hand, the teaching and learning of the Chinese wriTen language …
-
Ingegneria di sistemi auto‐organizzanti con il paradigma multiagente
… as an effective approach to tackle modern systems complexity. The self-organisation approach allows the development of systems exhibiting complex dynamics and adapting to environmental perturbations without requiring a complete knowledge of the future surrounding conditions. However, the …
-
An investigation into vibration assisted machining : application to surface grinding processes
… preliminary studies. However, a novel-improved system was designed and manufactured in order to undertake the full volume of experimental work. A number of simulations including stress and modal analysis were carried out and all the static and dynamic characteristics of the rigs were identified. …
-
Scripted curriculum and the quest for improving reading for meaning: Conceptions of language and literacy in Malawi's Grade 4 English scripted curriculum and amongst Grade 4 English teachers
… strongly informed by the view of language as an abstract system that has forms independent of their social uses, and that literacy is conceived as consisting of decontextualised skills. Thus, despite the NRP's emphasis on and calls for a greater focus on reading for meaning, meaning is largely …
-
Model-based Deployment Optimization of Automotive Multi- and Many-Core Systems
The demands on computing platforms in automotive systems are constantly increasing due to the growing amount of software required by new vehicle functions. At the same time, vehicles typically consisting of about 100 mainly mono-functional electronic control units are driven towards centralized …