14,866 research outputs found
Determination of the magnetization profile of Co/Mg periodic multilayers by magneto-optic Kerr effect and X-ray magnetic resonant reflectivity
The resonant magnetic reflectivity of Co/Mg multilayers around the Co L2,3
absorption edge is simulated then measured on a specifically designed sample.
The dichroic signal is obtained when making the difference between the two
reflectivities measured with the magnetic field applied in two opposite
directions parallel to the sample surface. The simulations show that the
existence of magnetic dead layers at the interfaces between the Co and Mg
layers leads to an important increase of the dichroic signal measured in the
vicinity of the third Bragg peak that otherwise should be negligible. The
measurements are in agreement with the model introducing 0.25 nm thick dead
layers. This is attributed to the Co atoms in contact with the Mg layers and
thus we conclude that the Co-Mg interfaces are abrupt from the magnetic point
of view.Comment: 8 page
A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages
Programmers using software components have to follow protocols that specify
when it is legal to call particular methods with particular arguments. For
example, one cannot use an iterator over a set once the set has been changed
directly or through another iterator. We formalize the notion of dynamic
package interfaces (DPI), which generalize state-machine interfaces for single
objects, and give an algorithm to statically compute a sound abstraction of a
DPI. States of a DPI represent (unbounded) sets of heap configurations and
edges represent the effects of method calls on the heap. We introduce a novel
heap abstract domain based on depth-bounded systems to deal with potentially
unboundedly many objects and the references among them. We have implemented our
algorithm and show that it is effective in computing representations of common
patterns of package usage, such as relationships between viewer and label,
container and iterator, and JDBC statements and cursors
- …