Abstract: The present disclosure is directed to a modular dwelling constructed from intermodal containers. Particularly, the present disclosure is directed to a dwelling constructed from vertically oriented shipping containers. The dwelling may include a foundation and two or more intermodal containers disposed on and secured to the foundation. The intermodal containers may be separated by an interstitial space. The interstitial space may be fully or partially enclosed by a plurality of connector walls. Each intermodal container includes a top, a bottom, and four side walls One of the side walls may be a reinforced side wall. The reinforced side wall of one of the intermodal containers may extend parallel or perpendicular to one or more of the reinforced side walls of other intermodal containers. The dwelling may be divided into one or more rooms, floors, or apartments and may have doors, windows, appliances, a deck, or other common features.

Abstract: The present disclosure is directed to a modular dwelling constructed from intermodal containers. Particularly, the present disclosure is directed to a dwelling constructed from vertically oriented shipping containers. The dwelling may include a foundation and two or more intermodal containers disposed on and secured to the foundation. The intermodal containers may be separated by an interstitial space. The interstitial space may be fully or partially enclosed by a plurality of connector walls. Each intermodal container includes a top, a bottom, and four side walls One of the side walls may be a reinforced side wall. The reinforced side wall of one of the intermodal containers may extend parallel or perpendicular to one or more of the reinforced side walls of other intermodal containers. The dwelling may be divided into one or more rooms, floors, or apartments and may have doors, windows, appliances, a deck, or other common features.

Abstract: This application discloses a system implementing tools and mechanisms to determine whether a portion of combinational logic in a first circuit design is equivalent to a portion of combinational logic in a second circuit design. When the portions of the combinational logic in the first circuit design and the second circuit design are not equivalent, the tools and mechanisms can sequentially expand the portions of the combinational logic in the first circuit design and the second circuit design, and determine whether the expanded portion of the combinational logic in the first circuit design is equivalent the expanded portion of the combinational logic in the second circuit design.

Abstract: This application discloses a system implementing tools and mechanisms to determine whether a portion of combinational logic in a first circuit design is equivalent to a portion of combinational logic in a second circuit design. When the portions of the combinational logic in the first circuit design and the second circuit design are not equivalent, the tools and mechanisms can sequentially expand the portions of the combinational logic in the first circuit design and the second circuit design, and determine whether the expanded portion of the combinational logic in the first circuit design is equivalent the expanded portion of the combinational logic in the second circuit design.

Abstract: Techniques and technology for formally verifying a first electronic design with a second electronic design that has been synthesized from the first electronic design, wherein the synthesis process included structural transformation operations, is provide herein. In various implementations, a first design and a second design are received. The second design having been synthesized from the first design, where no structural transformation operations were performed during synthesis of the second design. Additionally, a third design and a structural transformation guidance file are received. The third design having also been synthesized from the first design, but, where structural transformation operations were performed during synthesis of the third design. The structural transformation guidance file specifies what transformations where made during synthesis.

Abstract: An arrangement for use in a safety notification system includes first, second, third and four outputs configurable for first and second wiring configurations of notification appliance circuits. The arrangement also includes a configurable terminal arrangement having first and second configurations corresponding to the first and second wiring configurations, and an end-of-line resistor. The configurable terminal arrangement in the first configuration couples the end-of-line resistor between the third and fourth outputs. The configurable terminal arrangement in the second configuration decouples the end-of-line resistor from the third and fourth outputs.

Abstract: Techniques and technology for formally verifying a first electronic design with a second electronic design that has been synthesized from the first electronic design, wherein the synthesis process included structural transformation operations, is provide herein. In various implementations, a first design and a second design are received. The second design having been synthesized from the first design, where no structural transformation operations were performed during synthesis of the second design. Additionally, a third design and a structural transformation guidance file are received. The third design having also been synthesized from the first design, but, where structural transformation operations were performed during synthesis of the third design. The structural transformation guidance file specifies what transformations where made during synthesis.

Abstract: Devices and methods are disclosed for storing data in manner that is readable and highly resistant to destruction. An exemplary data-storage device includes a medium; multiple, discrete, data-containable loci located in or on the medium; and an alignment restraint. Each data-containable locus includes magnetically responsive particles that are magnetically alignable in a respective selected one of at least two selectable non-parallel directions by application thereto of a respective magnetic field. The selected direction corresponds to a respective unit of data and/or data state stored at the locus. The alignment restraint is configured (e.g., as a characteristic of the medium or of a carrier for the particles) to retain the respective magnetic alignments of the particles in the loci after removal of the respective magnetic fields. The medium can have various configurations such as a card, document, or other suitable configuration.

Abstract: Radar systems are disclosed that include a signal generator, an antenna, a switching circuit, an I/Q sampling and signal-demodulation (demodulation) processor, and a FFT processor. The signal generator produces energization signals. The antenna has multiple individual antenna elements. The switching circuit is configured to deliver the energization signals to a selected antenna element at a respective moment in time to cause the selected antenna element to transmit a respective radar signal in response to the energization signal. At least one element receives a corresponding return-radar signal before the switching circuit selects a next antenna element to transmit a respective radar signal. The demodulation processor receives the return-radar signals from the antenna elements and demodulates the return-radar signals. The FFT processor fast-Fourier transforms the return-radar signals.

Abstract: The present invention generally relates to providing a freshly ground flavoring to shelf-stable ready-to-eat food products. In one aspect, a flavoring pellet is ground into a particulate flavoring and applied to a food product to freshly season the food product. The food product can optionally be heated before or after the flavoring is applied. In one aspect, a kit for providing a freshly ground flavoring to a food product is disclosed.

Abstract: The present invention generally relates to providing a freshly ground flavoring having one or more non-natural components to a food. In one aspect, an engineered flavoring pellet is ground into a particulate flavoring and applied to a food to freshly season the food. There is a relatively short temporal relationship between the grinding of the artificial spice or flavoring and its application to the food.

Abstract: A vehicle coolant system (10) includes a service valve (26) through which coolant is added to or removed from the coolant system (10). The service valve (26) includes a first and second port (32, 34), and a rubber hose (24, 28) is fitted over both the first and second ports (32, 34). A sealing ring (42) having an integrated barbed attachment feature (44) is overmolded on the joint of the rubber hoses (24, 28) and the respective ports (32, 34). The integrated barbed attachment feature (44) is inserted into an aperture (62) in a structural element (30) of the vehicle. As the integrated barbed attachment feature (44) passes through the aperture (62), the plurality of barbs (54) flex. After passing through the aperture (62), the plurality of barbs (54) return to the original position, securing the service valve (26) to the structural element (30).

Abstract: A single microprocessor (22) hard disk drive (10) having a shared buffer memory (40) for storing sector data as well as microprocessor variables and code includes a buffer manager (38) for arbitrating requests from various channels or clients for access to the shared buffer memory. The buffer manager arranges channels including a disk data channel (32, 140), a host interface channel (50, 140), and microprocessor channels (144, 148) into a round-robin circular priority queue, with the disk data channel normally assigned the highest priority for buffer access. A state machine carries out an arbitration cycle by sequentially servicing access requests pending within the queue. The state machine senses (139) a servo interrupt (SVOINT) to elevate the priority of any pending microprocessor access requests to the shared buffer, such that the requests are serviced and cleared rapidly to allow the servo interrupt servicing routine to start sooner.

Abstract: A magnetic disk drive data storage disk defines recording tracks divided into data sectors by narrow servo spokes. A data sector lying between servo spokes is recorded with user data encoded in accordance with a code having a predetermined distance and user data code rate. Each servo spoke of the recording area has at least one servo information field encoded in a wide bi-phase code pattern. The disk drive further includes a synchronous sampling data detection channel having a data transducer head positioned by a servo-controlled actuator over the recording track, a preamplifier for receiving electrical analog signals magnetically induced by the data transducer head from flux transitions present in at least the servo information field, a digital sampler for synchronously sampling the electrical analog signals to produce digital samples, and wide bi-phase decoding circuitry coupled to receive digital samples from the synchronous sampling data detection channel for decoding the wide bi-phase code pattern.

Abstract: A magnetic disk drive data storage disk defines recording tracks divided into data sectors by narrow servo spokes. A data sector lying between servo spokes is recorded with user data encoded in accordance with a code having a predetermined distance and user data code rate. Each servo spoke of the recording area has at least one servo information field encoded in a wide bi-phase code pattern. The disk drive further includes a synchronous sampling data detection channel having a data transducer head positioned by a servo-controlled actuator over the recording track, a preamplifier for receiving electrical analog signals magnetically induced by the data transducer head from flux transitions present in at least the servo information field, a digital sampler for synchronously sampling the electrical analog signals to produce digital samples, and wide bi-phase decoding circuitry coupled to receive digital samples from the synchronous sampling data detection channel for decoding the wide bi-phase code pattern.

Abstract: A single microprocessor (22) hard disk drive (10) having a shared buffer memory (40) for storing sector data as well as microprocessor variables and code includes a buffer manager (38) for arbitrating requests from various channels or clients for access to the shared buffer memory. The buffer manager arranges channels including a disk data channel (32, 140), a host interface channel (50, 140), and microprocessor channels (144, 148) into a round-robin circular priority queue, with the disk data channel normally assigned the highest priority for buffer access. A state machine carries out an arbitration cycle by sequentially servicing access requests pending within the queue. The state machine senses (139) a servo interrupt (SVOINT) to elevate the priority of any pending microprocessor access requests to the shared buffer, such that the requests are serviced and cleared rapidly to allow the servo interrupt servicing routine to start sooner.

Abstract: A single microprocessor (22) hard disk drive (10) having a shared buffer memory (40) for storing sector data as well as microprocessor variables and code includes a buffer manager (38) for arbitrating requests from various channels or clients for access to the shared buffer memory. The buffer manager arranges channels including a disk data channel (32, 140), a host interface channel (50, 140), and microprocessor channels (144, 148) into a round-robin circular priority queue, with the disk data channel normally assigned the highest priority for buffer access. A state machine carries out an arbitration cycle by sequentially servicing access requests pending within the queue. The state machine senses (139) a servo interrupt (SVOINT) to elevate the priority of any pending microprocessor access requests to the shared buffer, such that the requests are serviced and cleared rapidly to allow the servo interrupt servicing routine to start sooner.

Abstract: A method and apparatus for arbitrating requests for access to a single buffer memory embedded within a disk drive in which a disk data channel is assigned a highest priority for buffer access within a queue. An arbitration cycle progressively services access requests pending within the queue, beginning with providing buffer access to the disk data channel and following with accesses to other channels during an arbitration cycle completion interval in accordance with a round-robin circular priority arrangement providing orderly access to all channels contending for memory access. At the end of completion interval, buffer access returns to the disk data channel, and thereafter, the arbitration cycle is repeated.

Abstract: A method for managing data blocks in a cache buffer defining date block segments, and for automatically transferring data into and out of the cache buffer. A cache list comprises a plurality of entries each including information identifying a corresponding cache segment, and a set of consecutive data blocks stored in the cache segment. Providing cache status for a requested set of date blocks includes traversing the cache list to locate entries identifying the starting data block in the requested set, and consecutive data blocks successively following the starting data block without interruption, and identifying as a missing data block the first data block in said succession, including said starting data block, not identified in any entry. The missing data block is used to provide status: a full hit if the missing data block is not in the requested set; a miss if the missing data block is the starting data block in the requested set, or a partial hit otherwise.

Abstract: A magnetic disk drive data storage disk defines recording tracks divided into data sectors by narrow servo spokes. A data sector lying between servo spokes is recorded with user data encoded in accordance with a code having a predetermined distance and user data code rate. Each servo spoke of the recording area has at least one servo information field encoded in a wide bi-phase code pattern. The disk drive further includes a synchronous sampling data detection channel having a data transducer head positioned by a servo-controlled actuator over the recording track, a preamplifier for receiving electrical analog signals magnetically induced by the data transducer head from flux transitions present in at least the servo information field, a digital sampler for synchronously sampling the electrical analog signals to produce digital samples, and wide bi-phase decoding circuitry coupled to receive digital samples from the synchronous sampling data detection channel for decoding the wide bi-phase code pattern.