Proof of correctness for ASOCS AA3 networks

Journal Article · Tue Mar 01 00:00:00 EST 1994 · IEEE Transactions on Systems, Man, and Cybernetics

DOI:https://doi.org/10.1109/21.278998· OSTI ID:53406

Barker, C; Martinez, T R ^[1]

---

1. Brigham Young Univ., Provo, UT (United States)

This paper analyzes adaptive algorithm 3 (AA3) of adaptive self-organizing concurrent systems (ASOCS) and proves that AA3 correctly fulfills the rules presented. Several different models for ASOCS have been developed. AA3 uses a distributed mechanism for implementing rules so correctness is not obvious. An ASOCS is an adaptive network composed of many simple computing elements operating in parallel. An ASOCS operates in one of two modes: learning and processing. In learning mode, rules are presented to the ASOCS and incorporated in a self-organizing fashion. In processing mode, the ASOCS acts as a parallel hardware circuit that performs the function defined by the learned rules. 10 refs.

• OSTI ID: 53406
• Journal Information: IEEE Transactions on Systems, Man, and Cybernetics, Vol. 24, Issue 3; Other Information: PBD: Mar 1994
• Country of Publication: United States
• Language: English

Related Subjects

99 MATHEMATICS
COMPUTERS
INFORMATION SCIENCE
MANAGEMENT
LAW
MISCELLANEOUS
PARALLEL PROCESSING
ALGORITHMS
MEMORY MANAGEMENT
NEURAL NETWORKS
MEMORY DEVICES
COMPUTER NETWORKS