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 31 for “"Machine Model"”.
-
MURAC: A unified machine model for heterogeneous computers
… to be efficiently exploited within a single machine. These systems are capable of delivering large performance increases by matching the applications to architectures that are most suited to them. The Multiple Runtime-reconfigurable Architecture Computer (MURAC) model has been proposed to …
-
Regression Function Characterization of Synchronous Machine Magnetization and Its Impact on Machine Stability Analysis
… affects the performance of electrical machines. In the performance analysis of electrical machines, an accurate representation of the magnetization characteristics in the machine model is important. As a part of this research work, two new mathematical models are proposed to represent …
-
Regression Function Characterization of Synchronous Machine Magnetization and Its Impact on Machine Stability Analysis
… affects the performance of electrical machines. In the performance analysis of electrical machines, an accurate representation of the magnetization characteristics in the machine model is important. As a part of this research work, two new mathematical models are proposed to represent …
-
Aesthetics of computation : unveiling the visual machine
… and, in turn, more accessible. The Visual Machine Model emphasizes the need for clear visual representations of both machines and materials, and the importance of continuity. Five dynamic visual programming languages were designed and implemented according to the specification of the Visual …
-
Learning to deal with COTS (commercial off the shelf)
With the advent of model based development technologies, dependence of COTS in software development has increased considerably. Use of COTS is considered economical and practical when it comes to integration of various software components. However COTS are trapped with some pitfalls. COTS provided …
-
Toward Bridging the Semantic Gap Between x86-64 Software Binaries and Abstract Languages for Formal Verification and Security
… the formal verification of software binaries, a machine model of the ISA is required. The machine model is analogous to the language semantics necessary when reasoning over source code. The x86-64 ISA was also chosen because, in addition to being complex, it lacked a formal specification, making …
-
ΥΠΟΛΟΓΙΣΜΟΣ ΔΥΝΑΜΙΚΩΝ ΚΑΤΑΣΤΑΣΕΩΝ ΔΙΚΤΥΩΝ ΜΕ ΤΟ ΦΑΣΙΚΟ ΜΟΝΤΕΛΟ ΤΗΣ ΣΥΓΧΡΟΝΟΥ ΜΗΧΑΝΗΣ
… DYNAMIC OVERVOLTAGES IS APPROACHED USING A FULL MACHINE MODEL AND LUMPED PARAMETERS LINE IN PHASE COORDINATES. IT IS SHOWN HOW IMPLICIT INTEGRATION SEQUENCES IMPLEMENTED IN A SUBSTITUTION MODE CAN BE APPLIED IN THIS AREA. RESULTS OF ANALYTICAL STUDIES ARE PRESENTED AND THE ADVANTAGES AND …
-
Multi-Modal Topic Sentiment Analytics for Twitter
… designed to leverage the power of the multiple models in the social context. The framework aims to classify contextual sentiment from the Twitter data as well as to discover hidden trends and topics (context) using topic modeling techniques like Latent Dirichlet Allocation (LDA). We have focused …
-
Induction Machine Performance Improvements: Design-Oriented Approaches
Finally, an induction machine model featuring a variable permeance element mesh is introduced. Results for a 500 W motor are compared to measurements, analytical models, and FEA. This machine has limited nominal torque capabilities due to saturated stator and rotor teeth, discovered neither by the …
-
Hazard elimination using backwards reachability techniques in discrete and hybrid models
… to ensure that state cannot be reached. State machine models are very powerful, but also present greater challenges in terms of reachability, including the backwards reachability needed to implement the Hazard Automaton Reduction Algorithm. The key to solving the backwards reachability problem …
-
Two stages hybrid model of fuzzy linear regression with support vector machines for colorectal cancer
… become popular among researchers and standard model in analyzing data in vagueness phenomena. However, the factor and symptoms to predict tumor size of colorectal cancer still ambiguous and not clear. The problem in using a linear regression will arise when uncertain data and not precise data …
-
Discrete modeling of sculptured surface machining for robust automatic feedrate selection
… such as maximum allowable chip thickness and machine constraints. This allows for the generation of variable feedrates that are optimized for each tool move.</p><p>The software consists of three distinct portions: a discrete mechanistic model, a discrete geometric model, and a CNC machine …
-
Sorting Real Numbers into a Linked List on the PRAM Model
… linked list on the PRAM (Parallel Random Access Machine) model. The research work consists of two parts. First part talks about the various techniques involved in sorting the real numbers on the linked list in terms of number of processors and time complexity. We have examined on how to sort the …
-
Constant Time Sorting and Searching
… into a linked list on Parallel Random Access Machine model. To show that input array of n real numbers can be sorted into a linked list in constant time using n²/logᶜn processors for any positive constant c. The searching problem studied is locating the interval of n sorted real numbers for …
-
A Machine With Class: A Framework for Object Generation, Integration and Language Authentication (FROGILA)
The object technology model is constantly evolving to address the software crisis problem. This novel idea which informed and currently guides the design style of most modern scalable software systems has caused a strong belief that the object-oriented technology is the ultimate answer to the …
-
Modeling reconfiguration algorithms for regular architecture
Three models are proposed to evaluate and design distributed reconfigurable systems for fault tolerant, highly reliable applications. These models serve as valuable tools for developing fault tolerant systems. In each model, cells work together in parallel to change the global structure through a …
-
Efficient Parallelization of 2D Ising Spin Systems
… algorithms on a portable and general parallel machine model, namely the LogP model. We were able to obtain rigorous theoretical run-times on LogP for all the parallel algorithms. Moreover, a guiding equation was derived for choosing data layouts (blocked vs. stripped) for sweep spin selection. …
-
Real-time digital simulation of the generator model
This thesis is in an attempt to realistically model a real-time digital generator which interfaces to an analog system simulator and which consists of the synchronous machine and its peripheral controllers such as the exciter and the governor-turbine subsystems. In this work, the exciter, the …
-
A Framework for the Analysis and Design of Vector Controllers for Induction Machines
The development of controllers for induction machines has been incremental rather than revolutionary. The traditional current-flux model is partially responsible for this, because the control objectives (torque and flux magnitude) are implicit to the model. This work makes contributions to the …
-
Explicit-State Model Checking of Concurrent x86-64 Assembly
The thesis presents xavier, a novel tool-set for model checking of concurrent x86-64 assembly programs, via Partial Order Reduction (POR). xavier{} presents a realistic platform for systematically exploring and analyzing the state-space of concurrent x86 assembly programs, with the aim of detecting …
Page 1 of 2