A review of high magnetic moment thin films for microscale and nanotechnology applications

The creation of large magnetic fields is a necessary component in many technologies, ranging from magnetic resonance imaging, electric motors and generators, and magnetic hard disk drives in information storage. This is typically done by inserting a ferromagnetic pole piece with a large magnetisation density MS in a solenoid. In addition to large MS, it is usually required or desired that the ferromagnet is magnetically soft and has a Curie temperature well above the operating temperature of the device. A variety of ferromagnetic materials are currently in use, ranging from FeCo alloys in, for example, hard disk drives, to rare earth metals operating at cryogenic temperatures in superconducting solenoids. These latter can exceed the limit on MS for transition metal alloys given by the Slater-Pauling curve. This article reviews different materials and concepts in use or proposed for technological applications that require a large MS, with an emphasis on nanoscale material systems, such as thin and ultra-thin films. Attention is also paid to other requirements or properties, such as the Curie temperature and magnetic softness. In a final summary, we evaluate the actual applicability of the discussed materials for use as pole tips in electromagnets, in particular, in nanoscale magnetic hard disk drive read-write heads; the technological advancement of the latter has been a very strong driving force in the development of the field of nanomagnetism.

Homogeneous habitat can meet the discrete and varied resource requirements of hares but may set an ecological trap

In common with other farmland species, hares (Lepus spp.) are in widespread decline in agricultural landscapes due to agricultural intensification and habitat loss. We examined the importance of habitat heterogeneity to the Irish hare (Lepus timidus hibernicus) in a pastoral landscape. We used radio-tracking during nocturnal active and diurnal inactive periods throughout one year. In autumn, winter and spring, hares occupied a heterogeneous combination of improved grassland, providing food, and Juncus-dominated rough pasture, providing refuge. In summer, hares significantly increased their use of improved grassland. This homogeneous habitat can fulfil the discrete and varied resource requirements of hares for feeding and shelter at certain times of year. However, improved grassland may be a risky habitat for hares as silage harvesting occurs during their peak birthing period of late spring and early summer. We therefore posit the existence of a putative ecological trap inherent to a homogeneous habitat of perceived high value that satisfies the hares' habitat requirements but which presents risks at a critical time of year. To test this hypothesis in relation to hare populations, work is required to provide data on differential leveret mortality between habitat types.

From inconsistency handling to non-canonical requirements management: A logical perspective

As a class of defects in software requirements specification, inconsistency has been widely studied in both requirements engineering and software engineering. It has been increasingly recognized that maintaining consistency alone often results in some other types of non-canonical requirements, including incompleteness of a requirements specification, vague requirements statements, and redundant requirements statements. It is therefore desirable for inconsistency handling to take into account the related non-canonical requirements in requirements engineering. To address this issue, we propose an intuitive generalization of logical techniques for handling inconsistency to those that are suitable for managing non-canonical requirements, which deals with incompleteness and redundancy, in addition to inconsistency. We first argue that measuring non-canonical requirements plays a crucial role in handling them effectively. We then present a measure-driven logic framework for managing non-canonical requirements. The framework consists of five main parts, identifying non-canonical requirements, measuring them, generating candidate proposals for handling them, choosing commonly acceptable proposals, and revising them according to the chosen proposals. This generalization can be considered as an attempt to handle non-canonical requirements along with logic-based inconsistency handling in requirements engineering.