Abstract: Systems and methods for solving a constraint satisfaction problem (CSP) defined by one or more variables, constraints and probabilistic requests (PRs) are provided. In one embodiment, each PR is mapped onto a set of constraints that implement the PR. The CSP solver then finds a series of solutions to the CSP. For each solution, if a constraint associated with a PR is satisfied, then a success counter for that PR is incremented; else a failure counter for that PR is incremented. If the constraint was not considered for the purpose of solving the CSP, then the failure counter for the PR associated with the constraint is incremented.

Abstract: A computer-implemented method for modeling a target system includes defining a cloned constraint satisfaction problem (CSP) that characterizes the target system in terms of a set of variables and constraints applicable to the variables. The cloned CSP includes a non-predetermined number of duplicate sub-problems corresponding to instances of a repeating feature of the target system. The variables are partitioned so as to define an abstract CSP containing a subset of the variables relating to the duplicate sub-problems. The abstract CSP is solved to generate an abstract solution indicating the number of duplicate sub-problems to use in the cloned CSP. A concrete solution to the cloned CSP is found using the abstract solution.

Abstract: A computer-implemented method for modeling a target system includes defining a cloned constraint satisfaction problem (CSP) that characterizes the target system in terms of a set of variables and constraints applicable to the variables. The cloned CSP includes a non-predetermined number of duplicate sub-problems corresponding to instances of a repeating feature of the target system. The variables are partitioned so as to define an abstract CSP containing a subset of the variables relating to the duplicate sub-problems. The abstract CSP is solved to generate an abstract solution indicating the number of duplicate sub-problems to use in the cloned CSP. A concrete solution to the cloned CSP is found using the abstract solution.

Abstract: Methods and systems are disclosed that enhance the ability of a test generator to automatically deal with address translation in a processor design, and without need for creating specific code. A model of the address translation mechanism of a design-under-test is represented as a directed acyclic graph and then converted into a constraint satisfaction problem. The problem is solved by a CSP engine, and the solution used to generate test cases for execution. Using the model, testing knowledge can be propagated to models applicable to many different designs to produce extensive coverage of address translation mechanisms.

Abstract: A shipping container for transporting cargo, comprising a track having a rectangular floor and vertical stanchions mounted at its comers with two opposite end walls extending therebetween, and one or more side walls having side edges with at least a portion corresponding in shape to the stanchions to interact therewith for detachably attaching the, or each, side wall to the track to form a roofless container.

Abstract: Magnetic apparatus for MRI/MRT probes and methods for construction thereof are disclosed. One embodiment includes a pair of opposed magnet assemblies defining an open region therebetween, a transmitting RF coil having at least a portion thereof disposed within the open region, at least one receiving RF coil disposed within the open region and X, Y and Z gradient coils. At least one of the X, Y and Z gradient coils is disposed outside of the open region. Another embodiment of the apparatus includes a single magnet assembly having a first surface and a second surface opposing the first surface, a transmitting RF coil having at least a portion thereof opposing the first surface, at least one receiving RF coil and X, Y and Z gradient coils. At least one of the X, Y and Z gradient coils opposes the second surface. In another embodiment the magnet assembly generates a permanent z-gradient magnetic field and therefore includes only X and Y gradient coils, at least one of which opposes the second surface.

Abstract: An apparatus is provided for constructing a segmented annular permanent magnet from a predetermined number of previously magnetized segments of predetermined shape and size comprising a rotateable carrousel, at least two of a plurality of removable ferromagnetic segments, an introducing means and a removing means.

Abstract: A positioning device for positioning or an open MRI magnetic probe including an open MRI magnet in a plurality of positions and for controllably moving the probe between these positions. The positions include at least one imaging position of the open probe which allows the performing of magnetic resonance imaging procedures and surgical procedures on a body part, either sequentially or simultaneously, without moving the probe from the imaging position. The plurality of positions may include one or more positions in which the probe is retracted away from the body part to Increase the accessibility of the body part and to allow for use of magnetic field sensitive devices to be positioned near the body part. The positioning device includes a movable framework attachable to the probe and a position control unit operatively connected to the movable framework for controlling the moving of the framework. The framework may be motorized but may also include manually movable parts.

Abstract: Magnetic apparatus for MRI/MRT probes and methods for construction thereof are disclosed. One embodiment includes a pair of opposed magnet assemblies defining an open region therebetween, a transmitting RF coil having at least a portion thereof disposed within the open region, at least one receiving RF coil disposed within the open region and X, Y and Z gradient coils. At least one of the X, Y and Z gradient coils is disposed outside of the open region. Another embodiment of the apparatus includes a single magnet assembly having a first surface and a second surface opposing the first surface, a transmitting RF coil having at least a portion thereof opposing the first surface, at least one receiving RF coil and X, Y and Z gradient coils. At least one of the X, Y and Z gradient coils opposes the second surface. In another embodiment the magnet assembly generates a permanent z-gradient magnetic field and therefore includes only X and Y gradient coils, at least one of which opposes the second surface.

Abstract: A surgical head support to be used for positioning and holding a patient's head during a surgical procedure in the head area. The head support includes an arcuate support having two arcuate arms, each of the arcuate arms having a free end and provided with head engaging elements for gripping the patient's head. The head support further includes a base member provided with concave semispherical recess matching a central portion of the arcuate support. The base member includes two bases adapted to slide one on top of the other perpendicular to a longitudinal axis of the arcuate support.

Abstract: Magnetic apparatus for MRI/MRT probes and methods for construction thereof are disclosed. One embodiment includes a pair of opposed magnet assemblies defining an open region therebetween, a transmitting RF coil having at least a portion thereof disposed within the open region, at least one receiving RF coil disposed within the open region and X,Y and Z gradient coils. At least one of the X,Y and Z gradient coils is disposed outside of the open region. Another embodiment of the apparatus includes a single magnet assembly having a first surface and a second surface opposing the first surface, a transmitting RF coil having at least a portion thereof opposing the first surface, at least one receiving RF coil and X,Y and Z gradient coils. At least one of the X,Y and Z gradient coils opposes the second surface. In another embodiment the magnet assembly generates a permanent z-gradient magnetic field and therefore includes only X and Y gradient coils, at least one of which opposes the second surface.