Magnetically operated nanorelay based on two single-walled carbon nanotubes filled with endofullerenes Fe@C20

Structural and energy characteristics of the smallest magnetic endofullerene Fe@C20 have been calculated using the density functional theory approach. The ground state of Fe@C20 is found to be a septet state, and the magnetic moment of Fe@C20 is estimated to be 8 Bohr magnetons. Characteristics of an (8,8) carbon nanotube with a single Fe@C20 inside are studied in the framework of the semiempirical approach. The scheme of a magnetic nanorelay based on cantilevered nanotubes filled with magnetic endofullerenes is elaborated. The proposed nanorelay is turned on as a result of bending of nanotubes by a magnetic force. Operational characteristics of such a nanorelay based on (8,8) and (21,21) nanotubes fully filled with Fe@C20 are estimated and compared to the ones of a nanorelay made of a (21,21) nanotube fully filled with experimentally observed (Ho3N)@C80 with the magnetic moment of 21 Bohr magnetons. Room temperature operation of (21,21) nanotube based nanorelays is shown.Comment: 18 pages, 9 figure

A Framework for Flexible Program Evolution and Verification of Distributed Systems

Program evolution may reveal bad design decisions, misunderstandings, erroneous code, or erroneous specifications, because problems made early in the design of a system may not be discovered until much later in the life-time of the system. Non-trivial changes of old code may be necessary. Flexibility in making such changes is essential, especially in a distributed setting where the system components are updated independently. In this setting re-verification is challenging. We consider flexibility with respect to what changes can be made as well as what can be efficiently reverified. In this paper we propose a flexible framework for modeling and evolution of distributed systems. It supports unrestricted modifications in such systems, both in code and specifications, and with support of verification and re-verification. We consider on the setting of concurrent and object-oriented distributed programs, and introduce a core high-level modeling language supporting active objects. We allow multiple inheritance because it gives added flexibility during evolution, allowing a wider class of software changes. To avoid undesired effects of multiple inheritance, we apply a healthy binding strategy. We prove that the framework supports Modification Independence and Hierarchy Independence, which requires healthy binding. We demonstrate that our framework can deal with verification of software changes that are not possible in comparable frameworks