Knowledge compilation improves search-intensive problem-solvers that are easily specified but inefficient. One promising approach improves efficiency by constructing a database of problem-instance/best-action pairs that replace problem-solving search with efficient lookup. The database is constructed by reverse enumeration- expanding the complete search space backwards, from the terminal problem instances. This approach...
The purpose of the present investigation was to develop an adaptive teaching model for an interactive computer-assisted instruction (CAT) program and to evaluate the effectiveness of the implementation of individualized examples or individualized
examples in personalized contexts. Translating word problems into equations provided the context for the CAT investigation. Four...
Many important application problems in engineering can be formalized as nonlinear
optimization tasks. However, numerical methods for solving such problems
are brittle and do not scale well. For example, these methods depend critically
on choosing a good starting point from which to perform the optimization search.
In high-dimensional spaces, numerical...
Reasoning about any realistic domain always involves a degree of uncertainty.
Probabilistic inference in belief networks is one effective way of reasoning under
uncertainty. Efficiency is critical in applying this technique, and many researchers
have been working on this topic. This thesis is the report of our research in this...
In this thesis, A nonlinear methodology for the control of the highly
maneuverable, high performance aircraft HARV (F-18) is studied by using sliding-mode
control (SMC). This control law, which takes a continuous function when the
input constraints are not considered, satisfies the reachability condition by which
concerned states are driven...
With edge rates of high speed digital devices pushing into the sub-nano second
range, interconnections with the associated packages play a major role in determining
the speed, size and performance of digital circuits and systems. The purpose of this
study is to develop experimental techniques based on time domain peeling...
Many parallel machines, both commercial and experimental, have been/are being designed with toroidal interconnection networks. For a given number of nodes, the torus has a relatively larger diameter, but better cost/performance tradeoffs, such as higher channel bandwidth, and lower node degree, when compared to the hypercube. Thus, the torus is...
In this work, we first introduce a novel approach to the long term irrigation scheduling
using Genetic Algorithms (GAs). We explore the effectiveness of GAs in the context of
optimizing nonlinear crop models and describe application requirements and implementation of
the technique. GAs were found to converge quickly to near-optimal...