Learning nominal automata

We present an Angluin-style algorithm to learn nominal automata, which are acceptors of languages over infinite (structured) alphabets. The abstract approach we take allows us to seamlessly extend known variations of the algorithm to this new setting. In particular we can learn a subclass of nominal non-deterministic automata. An implementation using a recently developed Haskell library for nominal computation is provided for preliminary experiments

Quantification of the In fluence of anisotropic plastic yielding on cold rolling force

Anisotropic mechanical properties in sheet material are of high importance, in particular for material to be used in stamping or deep drawing applications. The cold rolling process has a marked influence on the degree of anisotropy in the final product. However, the influence of material anisotropy on the cold rolling process itself has so far not been rigorously investigated. In this work, the degree of normal anisotropy is determined for two low-carbon steel grades after various degree of cold rolling reduction, both by X-ray diffraction as well as by tensile testing. The experimental work shows that material with high cold rolling reduction has non-negligible anisotropic properties; as a consequence the rolling force is seriously overestimated by cold rolling models with an isotropic yield criterion. It is therefore proposed to use the Hill48 yield criterion (instead of the von Mises criterion) in cold rolling models, this criterion takes anisotropic material behaviour into account. A comparison of cold rolling experiments with model predictions confirms that including the Hill48 yield criterion significantly improves the accuracy of a cold rolling model.</p