One of the tasks of inequality reasoning is to determine the relationship between two quantities for any given set of qualitative constraints. For implementation of this kind of reasoning, Simmons [1] has provided a technique called the "graph search" (GS). This paper briefly reviews GS technique, then presents an implementation...
The Vehicle Preventative Maintenance System (VPMS) is a 4GL application system that keep track of information required for vehicle maintenance. It can be used to schedule routine vehicle maintenance, and to produce complete and accurate vehicle cost reports, enabling its users to optimize vehicle maintenance. In this report, after describing...
A good code generator must effectively utilize the registers provided by the target architecture. Although a number of register allocation techniques exist, few address the issues involved in multiple register banks and no known techniques exist for effectively using register banks of the same type that are associated with multiple...
Appropriate micropropagation regimes were developed for four Pyrus species (P.
amygdaliformis Vill., P. betulaefolia Bunge, P. calleryana Dcne., and P. communis L.)
and Cydonia oblonga L. Shoot multiplication was optimal at 10 or 20μM N⁶⁻
benzyladenine (BA) and high light intensity (135μm⁻²s⁻1). Root formation of the
Pyrus species was stimulated...
Large deviation theory has experienced much development and interest in
the last two decades. A large deviation principle is the exponential decay of the
probability of increasingly rare events and the computation of a rate or entropy
function which measures the rate of decay. Within the probability literature there
has...
The general problem of application development of interactive GUI applications has been addressed by toolkits, libraries, user interface management systems, and more recently domain-specific application frameworks. However, the most sophisticated solution offered by frameworks still lacks a number of features which are addressed by this research: 1) limited functionality --...
We describe a set of data flow techniques and code transformations that translate a single instruction stream, multiple data stream (SIMD) Dataparallel C program into a semantically equivalent single program, multiple data stream (SPMD) C program suitable for execution on shared memory multiprocessor computers, such as the Sequent Balance and...
The development of modern industries calls for the
robotic manipulators with high speed and accurate tracking
performance. Many authors have paid attention to robust
control of robotic manipulators; however, only few authors
have also considered the control problem of manipulators
with power limitation.
In this dissertation, the robotic manipulator is...