The CADR machine, a revised version of the CONS machine, is a general-purpose, 32-bit microprogrammable processor which is the basis of the Lisp-machine system, a new computer system being developed by the Laboratory as a high-performance, economical implementation of Lisp. This paper describes the CADR processor and some of the associated hardware and low-level software.

This thesis examines the problem of an autonomous agent learning a causal world model of its environment. Previous approaches to learning causal world models have concentrated on environments that are too "easy" (deterministic finite state machines) or too "hard" (containing much hidden state). We describe a new domain --- environments with manifest causal structure --- for learning. In such environments the agent has an abundance of perceptions of its environment. Specifically, it perceives almost all the relevant information it needs to understand the environment. Many environments of interest have manifest causal structure and we show that an agent can learn the manifest aspects of these environments quickly using straightforward learning techniques. We present a new algorithm to learn a rule-based causal world model from observations in the environment. The learning algorithm includes (1) a low level rule-learning algorithm that converges on a good set of specific rules, (2) a concept learning algorithm that learns concepts by finding completely correlated perceptions, and (3) an algorithm that learns general rules. In addition this thesis examines the problem of finding a good expert from a sequence of experts. Each expert has an "error rate"; we wish to find an expert with a low error rate. However, each expert's error rate and the distribution of error rates are unknown. A new expert-finding algorithm is presented and an upper bound on the expected error rate of the expert is derived.

Thesis (M.S.)--Ohio State University. / Includes bibliographical references. Available online via OhioLINK's ETD Center

Real world data is not random: The variability in the data-sets that arise in computer vision, signal processing and other areas is often highly constrained and governed by a number of degrees of freedom that is much smaller than the superficial dimensionality of the data. Unsupervised learning methods can be used to automatically discover the “true”, underlying structure in such data-sets and are therefore a central component in many systems that deal with high-dimensional data. In this thesis we develop several new approaches to modeling the low-dimensional structure in data. We introduce a new non-parametric framework for latent variable modelling, that in contrast to previous methods generalizes learned embeddings beyond the training data and its latent representatives. We show that the computational complexity for learning and applying the model is much smaller than that of existing methods, and we illustrate its applicability on several problems. We also show how we can introduce supervision signals into latent variable models using conditioning. Supervision signals make it possible to attach “meaning” to the axes of a latent representation and to untangle the factors that contribute to the variability in the data. We develop a model that uses conditional latent variables to extract rich distributed representations of image transformations, and we describe a new model for learning transformation features in structured supervised learning problems.

Variability between oncologists in defining the tumor during radiation therapy planning can be as high as 700% by volume. Robust, automated definition of tumor boundaries has the ability to significantly improve treatment accuracy and efficiency. However, the information provided in computed tomography (CT) is not sensitive enough to differences between tumor and healthy tissue and positron emission tomography (PET) is hampered by blurriness and low resolution. The textural characteristics of thoracic tissue was investigated and compared with those of tumors found within 21 patient PET and CT images in order to enhance the differences and the boundary between cancerous and healthy tissue. A pattern recognition approach was used from these samples to learn the textural characteristics of each and classify voxels as being either normal or abnormal. The approach was compared to a number of alternative methods and found to have the highest overlap with that of an oncologist's tumor definition.

Variability between oncologists in defining the tumor during radiation therapy planning can be as high as 700% by volume. Robust, automated definition of tumor boundaries has the ability to significantly improve treatment accuracy and efficiency. However, the information provided in computed tomography (CT) is not sensitive enough to differences between tumor and healthy tissue and positron emission tomography (PET) is hampered by blurriness and low resolution. The textural characteristics of thoracic tissue was investigated and compared with those of tumors found within 21 patient PET and CT images in order to enhance the differences and the boundary between cancerous and healthy tissue. A pattern recognition approach was used from these samples to learn the textural characteristics of each and classify voxels as being either normal or abnormal. The approach was compared to a number of alternative methods and found to have the highest overlap with that of an oncologist's tumor definition.

Real world data is not random: The variability in the data-sets that arise in computer vision, signal processing and other areas is often highly constrained and governed by a number of degrees of freedom that is much smaller than the superficial dimensionality of the data. Unsupervised learning methods can be used to automatically discover the “true”, underlying structure in such data-sets and are therefore a central component in many systems that deal with high-dimensional data. In this thesis we develop several new approaches to modeling the low-dimensional structure in data. We introduce a new non-parametric framework for latent variable modelling, that in contrast to previous methods generalizes learned embeddings beyond the training data and its latent representatives. We show that the computational complexity for learning and applying the model is much smaller than that of existing methods, and we illustrate its applicability on several problems. We also show how we can introduce supervision signals into latent variable models using conditioning. Supervision signals make it possible to attach “meaning” to the axes of a latent representation and to untangle the factors that contribute to the variability in the data. We develop a model that uses conditional latent variables to extract rich distributed representations of image transformations, and we describe a new model for learning transformation features in structured supervised learning problems.

The VAWT project at Uppsala University has successfully managed to develop a vertical axis wind turbine (VAWT). The VAWT has many benefits compared to the Horizontal axis wind turbines (HAWT) which are the most common wind turbine design today. One of the many advantages with the VAWT is that it allows the generator to be located on the ground level. That reduces the required tower strength. The wind turbine is not self starting, i.e. the turbine needs a certain speed before the wind can force the turbine to revolve. The wind turbine is therefore in need of special start procedure. During the start, power electronics is used to operate the generator as a motor. Today Hall latches are located in the air gap of the generator which provides the signals that govern the power electronics. However, there is a demand to have a start that does not require Hall latches. Such controller would increase the reliability of the starter system. The design of the wind turbine could be even more simplified. Hence, the diploma work treats a programmed microcontroller to control the start-up without using any sensors at all. A hub motor was obtained for laboratory work, a driver and an inverter were constructed to drive the motor using a microcontroller. The finished start-up program has the ability to start the hub motor both sensorless and using Hall sensors. The microcontroller controls the motor by measuring the phase voltages of the motor. This information is used to decide which phases of the motor the electric current should go through. The current to the motor is limited using pulse width modulation strategy (PWM). Current limitation is necessary to protect the power electronics and limit the torque during the start. The result of start-ups using both Hall sensor and sensorless showed that the two start strategies are able to accelerate the rotor at the same rate. However, the start-ups using Hall sensors reached a higher top speed than the sensorless starts. However, the wind turbine is not in need of a higher speed than what the sensorless start was able to reach. Thus, the sensorless start is considered to be as good as the start using Hall sensors.

WirelessHART is one of the latest communication standards that have enhanced functionality and robustness. The standard is ideal for applications in control and automation industry. In this work we present an implementation the TDMA state machine of the WirelessHART communication protocol on TinyOS operating system using the nesC language for the Telobs motes. The development was carried out using software reuse principle and involved comparing the state diagram description of the TDMA presented in WirelessHART with that of the time synchronized frequency hopping implementation that was already available for reuse. The work highlights the differences between the TSCH code and the WirelessHART specifications and builds upon the TSCH code to arrive at the WirelessHART TDMA state machine implementation.

In this study the energy dissipation performance of machine augmented composite (MAC) materials is investigated. MAC materials are formed by inserting simple machines into a matrix material. In this work the machines take the form of fluid filled tubes, and the tube cross-sectional geometry induces fluid flow when it is deformed in its plane. This flow dissipates mechanical energy, and thus provides the composite material with attractive damping properties. The objective of this study is to gain insight into the geometry, the material property combinations, and the boundary conditions that are effective in producing high damping MAC materials. Particular attention is given to tube geometry and to dimensionless parameters that govern the energy dissipation efficiency of a MAC lamina. An important dimensionless parameter is the ratio of solid elastic moduli to the product of the driving frequency and the fluid dynamic viscosity. This is a measure of the ratio of elastic forces in the solid material to the viscous forces in the fluid material that makes up a MAC lamina. Governing equations and simulation methods are discussed. Simplified equations are derived to predict the pressure generated when a tube/matrix cell is squeezed with zero pressure end conditions. Transient, three dimensional finite element models are also used to predict the performance of the damping MAC materials with zero pressure at the ends of the tubes. For the geometry and material properties considered, the highest energy dissipation efficiency predicted by these models is approximately 0.8 out of a maximum of 1.0.