The linear and non-linear math models of the switched reluctance generator (SRG) in generator mode were established in this work. The phase current and energy conversion process during generator operation were simulated by the linear math model. The non-linear math model was used to analyze the characteristics of the SRG operation in self-excitation mode and in separately-excitation mode. Some ...

It is demonstrated, that a two-joined arm performing goal directed movements is controllable (a) by two central pattern generators (CPG) representing sampled data control, each referring to one joint, initiated for exactly one period, and producing the angular movement width about this joint, and (b) by reflex-like processes operating continuously with respect to time. The latter eliminate the ...

This report presents ways to provide automated support for code generator veriication as described by Markus M uller-Olm in MO95] using the Prototype Veriication System (PVS, see Rus93]).

To resolve difficulties in parallel programming, a large number of studies are conducted on parallel skeletons and optimization theorems over skeleton programs. However, two nontrivial tasks still remain unsettled when we need nested data structures: One is composing skeletons to generate and consume them; the other is applying optimization theorems to obtain efficient parallel programs. In thi...