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 14 of 14 for “"abstraction-based"”.
-
Reengineering using a data abstraction based specification language
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1992.
-
THE USE OF ABSTRACTIONS IN MODEL MANAGEMENT.
… The paradigm views a GMMS as a knowledge-based modeling system (KBMS) with knowledge abstractions as the vehicle of knowledge and model representation. Knowledge abstractions are introduced as a hybrid of the predicate calculus, semantic network, and frame representations in artificial …
-
Hybrid Formation Control of Unmanned Helicopters
… of unmanned helicopters using a novel method of abstraction based on polar and spherical partitioning of the motion space. The developed hierarchical hybrid controller has been implemented on the NUS UAV helicopters and several flight tests are conducted to verify the algorithm.
-
Simulation and Design of Quantum Processors for Low‑Overhead Quantum Error Correction
… Our simulations employ an efficient microwave abstraction based on ABCD transfer matrices, modeling complete qubit devices as networks of circuit elements. We use this formalism to develop a closed‑loop optimization algorithm that determines optimal readout parameters in seconds. The ABCD …
-
Emergence through conflict : the Multi-Disciplinary Design System (MDDS)
… developmental levels and design activities. Then based on the process decomposition, the architecture of the MDDS is formulated into hierarchical levels each of which comprises a group of design cycles that include design modules at different degrees of abstraction. Based on the design object …
-
Exploring transcription patterns and regulatory motifs in Arabidopsis thaliana
… genes, in this thesis, we explore a motif-based machine learning approach to identify intergenic regulatory elements. More precisely, we consider the problem of predicting the transcription pattern for pairs of consecutive genes in Arabidopsis thaliana using motifs from AthaMap and PLACE. …
-
A wavelet-based system for event detection in online real-time sensor data
… second part of the thesis discusses a wavelet-based algorithm for detecting certain types of events in real-time in one-dimensional numeric time-series data. Wavelets were judged to be the most appropriate technique for analyzing random sensor signals for which no prior information is …
-
Overcoming middleware heterogeneity in mobile computing applications
… problem involves the development of a component-based, higher-level middleware framework (named ReMMoC) that can dynamically adapt its underlying behaviour between different concrete middleware implementations e.g. in one location CORBA is utilised, whereas at the next location SOAP is used. …
-
Formalization, data abstraction, and communication
… describes the methods of formalization, data abstraction, and communication with Shape Grammar in making designs, and illustrates the process of making folly as the result of this thesis. The approach is derived from the study of the different definitions of architectural form and the …
-
System-Theoretic Safety Analysis for Teams of Collaborative Controllers
… that are found in teams. It is executed using an abstraction-based algorithm that manages combinatorial complexity and provides automation support. Third, a method is introduced to identify causal factors from these unsafe control combinations that relate to the collaborative dynamics. The new …
-
Developing a global observer programming model for large-scale networks of autonomic systems
… aspects of SRS and autonomy, they are typically based on the assumptions that the structural model (organisation) of managed elements is static and exhaustive monitoring and feedback is computationally scalable. In addition, existing federated approaches to distributed computation and control, …
-
Modelling the optical, kinetic, and thermodynamic properties of soot precursor molecules
… Seven-member ring formation by the hydrogen-abstraction-acetylene-addition (HACA) mechanism is studied for two different PAHs, one closed shell and one resonance-stabilised-radical (RSR) PAH. The seven-member ring forms more quickly for the RSR PAH. Seven-member ring formation by four …
-
Transparent Value Alignment: Foundations for Human-Centered Explainable AI in Alignment
… through XAI and increasing their workload. Abstraction-based explanations were a promising approach for balancing these factors, but results also indicated the importance of selecting appropriate abstractions for the particular domain, context, and user. Scenarios with higher team …