Title :
A framework for neural net specification
Author :
Smith, Leslie S.
Author_Institution :
Dept. of Comput. Sci., Stirling Univ., UK
fDate :
7/1/1992 12:00:00 AM
Abstract :
A notation for the specification of neural nets is proposed. The aim is to produce a simple mathematical framework for use in specifying neural nets essentially by defining their transfer functions and connections. Nets are specified as interacting processing elements (nodes), communicating via instant links. Dynamics and adaptation are defined at the processing elements themselves, and all interaction is explicitly specified by directed arcs. Specifications can be built up hierarchically by turning a specification into a generator for a node, or they can be developed top-down. The use of the system is illustrated
Keywords :
formal specification; neural nets; connections; framework; interacting processing elements; mathematical framework; neural net specification; transfer functions; Circuits; Equations; Nerve fibers; Network topology; Neural networks; Neurons; Packaging; Transfer functions; Turning; Writing;
Journal_Title :
Software Engineering, IEEE Transactions on
