A hybrid, inverse approach to the design of magnetic resonance imaging magnets

This paper describes a hybrid numerical method of an inverse approach to the design of compact magnetic resonance imaging magnets. The problem is formulated as a field synthesis and the desired current density on the surface of a cylinder is first calculated by solving a Fredholm equation of the first, kind. Nonlinear optimization methods are then invoked to fit practical magnet coils to the desired current density. The field calculations are performed using a semi-analytical method. The emphasis of this work is on the optimal design of short MRI magnets. Details of the hybrid numerical model are presented, and the model is used to investigate compact, symmetric MRI magnets as well as asymmetric magnets. The results highlight that the method can be used to obtain a compact MRI magnet structure and a very homogeneous magnetic field over the central imaging volume in clinical systems of approximately 1 m in length, significantly shorter than current designs. Viable asymmetric magnet designs, in which the edge of the homogeneous region is very close to one end of the magnet system are also presented. Unshielded designs are the focus of this work. This method is flexible and may be applied to magnets of other geometries. (C) 2000 American Association of Physicists in Medicine. [S0094-2405(00)00303-5].

Incorporating phase retardation effects into radiofrequency resonator models: application to magnetic resonance microscopy

A method is presented for including path propagation effects into models of radiofrequency resonators for use in magnetic resonance imaging. The method is based on the use of Helmholtz retarded potentials and extends our previous work on current density models of resonators based on novel inverse finite Hilbert transform solutions to the requisite integral equations. Radiofrequency phase retardation effects are most pronounced at high field strengths (frequencies) as are static field perturbations due to the magnetic materials in the resonators themselves. Both of these effects are investigated and a novel resonator structure presented for use in magnetic resonance microscopy.

Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.

The new craft skills of engineering: The impact of innovation technology on engineering practices

This chapter explores the impact of innovation technologies such as simulation, modelling, and rapid prototyping on engineering practice. Innovation technologies help redefine the role of engineers in the innovation process, creating a new division of innovative labour both with and across organizations. This chapter also explores the boundaries of experimentation and inertia within particular domains of problem-solving to create new opportunities and value.

MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.

X-ray scattering studies of mixed langmuir monolayers and Langmuir-Blodgett films of a noncentrosymmetric porphyrin with cadmium arachidate

The structures of mixed Langmuir (floating) monolayers and Langmuir-Blodgett (LB) films of a phenanthroline-porphyrin with cadmium arachidate (PhenPor + CdAr) have been investigated by synchrotron X-ray grazing incidence diffraction (GIXD) and specular X-ray reflectivity (SXR). GIXD measurements of the floating monolayers showed only one peak, arising from the CdAr domains in the films, at a scattering angle of 21.5 degrees. This is consistent with a hexagonal structure (alpha = 4.77 Angstrom). The correlation length in these domains is 250 Angstrom. GMD measurements of the LB films, however, show two sets of diffraction features: one arises from CdAr domains with a rectangular in-plane structure (alpha = 7.44 Angstrom and b = 4.90 Angstrom) and a correlation length of 85 Angstrom; the other is from porphyrin domains with an oblique in-plane structure (alpha (p) 15.2 Angstrom, b(p) = 8.86 Angstrom, and gamma (p) = 80 degrees) and a correlation length of 105 Angstrom. These dimensions are consistent with the surface pressure-area isotherm measurements and indicate that the two components are immiscible. The thickness of the bilayer is 57 Angstrom, and there is no correlation between the bilayers. Introduction of a trigger compound does not alter the structure of the films but slightly increases the bilayer thickness. The SXR measurements of the floating monolayers also support the suggested immiscibility of the two components in the films.