26 research outputs found
Algebraic hierarchical decomposition of finite state automata : a computational approach
The theory of algebraic hierarchical decomposition of finite state automata
is an important and well developed branch of theoretical computer science
(Krohn-Rhodes Theory). Beyond this it gives a general model for some
important aspects of our cognitive capabilities and also provides possible
means for constructing artificial cognitive systems: a Krohn-Rhodes decomposition
may serve as a formal model of understanding since we comprehend
the world around us in terms of hierarchical representations. In order to
investigate formal models of understanding using this approach, we need
efficient tools but despite the significance of the theory there has been no
computational implementation until this work.
Here the main aim was to open up the vast space of these decompositions
by developing a computational toolkit and to make the initial steps of the
exploration. Two different decomposition methods were implemented: the
VuT and the holonomy decomposition. Since the holonomy method, unlike
the VUT method, gives decompositions of reasonable lengths, it was chosen
for a more detailed study.
In studying the holonomy decomposition our main focus is to develop
techniques which enable us to calculate the decompositions efficiently, since
eventually we would like to apply the decompositions for real-world problems.
As the most crucial part is finding the the group components we
present several different ways for solving this problem. Then we investigate
actual decompositions generated by the holonomy method: automata with
some spatial structure illustrating the core structure of the holonomy decomposition,
cases for showing interesting properties of the decomposition
(length of the decomposition, number of states of a component), and the
decomposition of finite residue class rings of integers modulo n.
Finally we analyse the applicability of the holonomy decompositions as
formal theories of understanding, and delineate the directions for further
research
Annual Review of Progress in Applied Computational Electromagnetics
Approved for public release; distribution is unlimited
Graduate School of Engineering and Management Catalog 2018-2019
The Graduate Catalog represents the offerings, programs, and requirements in effect at the time of publication
Generalized averaged Gaussian quadrature and applications
A simple numerical method for constructing the optimal generalized averaged Gaussian quadrature formulas will be presented. These formulas exist in many cases in which real positive GaussKronrod formulas do not exist, and can be used as an adequate alternative in order to estimate the error of a Gaussian rule. We also investigate the conditions under which the optimal averaged Gaussian quadrature formulas and their truncated variants are internal
MS FT-2-2 7 Orthogonal polynomials and quadrature: Theory, computation, and applications
Quadrature rules find many applications in science and engineering. Their analysis is a classical area of applied mathematics and continues to attract considerable attention. This seminar brings together speakers with expertise in a large variety of quadrature rules. It is the aim of the seminar to provide an overview of recent developments in the analysis of quadrature rules. The computation of error estimates and novel applications also are described
Summary of Research 1994
The views expressed in this report are those of the authors and do not reflect the
official policy or position of the Department of Defense or the U.S. Government.This report contains 359 summaries of research projects which were carried out
under funding of the Naval Postgraduate School Research Program. A list of recent
publications is also included which consists of conference presentations and
publications, books, contributions to books, published journal papers, and
technical reports. The research was conducted in the areas of Aeronautics and
Astronautics, Computer Science, Electrical and Computer Engineering, Mathematics,
Mechanical Engineering, Meteorology, National Security Affairs, Oceanography,
Operations Research, Physics, and Systems Management. This also includes research
by the Command, Control and Communications (C3) Academic Group, Electronic Warfare
Academic Group, Space Systems Academic Group, and the Undersea Warfare Academic
Group
Aeronautical engineering: A continuing bibliography with indexes (supplement 301)
This bibliography lists 1291 reports, articles, and other documents introduced into the NASA scientific and technical information system in Feb. 1994. Subject coverage includes: design, construction and testing of aircraft and aircraft engines; aircraft components, equipment, and systems; ground support systems; and theoretical and applied aspects of aerodynamics and general fluid dynamics
2008-2009-UNM CATALOG
Course catalog for 2008-2009https://digitalrepository.unm.edu/course_catalogs/1098/thumbnail.jp
Education handbook
2002 handbook for the faculty of Educatio