Abstract: A valve arrangement is for a downhole apparatus having a tubular body having first and second ports in a wall thereof. The valve arrangement comprises a valve member that comprises a first port associated with the first port of the tubular body; and a second port associated with the second port of the tubular body. The valve arrangement is configurable to be locked in a first configuration with the tubular body, such that the first port is closed and the second port is closed. The valve arrangement is configurable to be locked in a second configuration with the tubular body, such that the first port is open and the second port is closed. The valve arrangement is configurable to be locked in a third configuration with the tubular body, such that the first port is closed and the second port is open.

Abstract: A valve arrangement is for a downhole apparatus having a tubular body having first and second ports in a wall thereof. The valve arrangement comprises a first valve arrangement comprising a first valve member associated with the first port of the tubular body; and a second valve arrangement comprising a second valve member associated with the second port of the tubular body. The first valve arrangement and the second valve arrangement are configurable to lock in a first configuration with the tubular body, such that the first port is closed and the second port is closed; to lock in a second configuration with the tubular body, such that the first port is open and the second port is closed; and to lock in a third configuration with the tubular body, such that the first port is closed and the second port is open.

Abstract: A method comprising operating a first valve arrangement and a second valve arrangement from a locked first configuration, in which the first port is closed and the second port is closed, to a locked second configuration, in which the first port is open and the second port is closed, wherein the first valve arrangement comprises one or more locking devices configured to lock a first valve member of the first valve arrangement in place relative to the tubular body. The method comprising operating the first valve arrangement and the second valve arrangement from the locked second configuration to a third configuration, in which the first port is closed and the second port is open.

Abstract: A valve arrangement is for a downhole apparatus having a tubular body having first and second ports in a wall thereof. The valve arrangement comprises a first valve arrangement associated with the first port and comprising a first valve; and a second valve arrangement associated with the second port comprising a second valve. The valve arrangement is configurable to lock in a first configuration with the tubular body, such that the first port is closed and the second port is closed; lock in a second configuration with the tubular body, such that the first port is open and the second port is closed; and lock in a third configuration with the tubular body, such that the first port is closed and the second port is open.

Abstract: An audio device with a body configured to be worn on or abutting an outer ear of a user, wherein the body is configured to contact at least one of the outer ear and the portion of the head that abuts the outer ear, at two separate spaced contact locations, and wherein the body is compliant at a body portion that defines one of the contact locations. The device also has an acoustic module carried by the body and configured to locate a sound-emitting opening anteriorly of and proximate the user's ear canal opening when the body is worn on or abutting the ear of the user.

Abstract: In various embodiments, a user grey cell is disclosed. The user grey cell comprises a simplified logical implementation of a black box cell identified in a software and/or hardware design. The internal functionality of the black box cell is undefined, hidden, or encrypted, and thus is not available for timing analysis. The user grey cell for the black box cell provides sufficient clocking and register information to allow for accurate CDC, false path, and multi-cycle path analysis, and provides a way for designers to locate and repair clock domain crossing violations before the design is implemented in hardware. In various embodiments, a method for user grey cell analysis is disclosed. The method comprises identifying one or more black box cells in a user design. The method further comprises determining which of the input and/or output pins of each of the black box cells are in use by the user design.

Abstract: In various embodiments, a user grey cell is disclosed. The user grey cell comprises a simplified logical implementation of a black box cell identified in a software and/or hardware design. The internal functionality of the black box cell is undefined, hidden, or encrypted, and thus is not available for timing analysis. The user grey cell for the black box cell provides sufficient clocking and register information to allow for accurate CDC, false path, and multi-cycle path analysis, and provides a way for designers to locate and repair clock domain crossing violations before the design is implemented in hardware. In various embodiments, a method for user grey cell analysis is disclosed. The method comprises identifying one or more black box cells in a user design. The method further comprises determining which of the input and/or output pins of each of the black box cells are in use by the user design.

Abstract: A technique for analyzing digital circuits to identify pin swaps is provided for circuit layout and similar tasks in which the circuit is first decomposed into regions. Logic functions of the regions are decomposed into a directed graph of the logic functions. A swap structure is created in accordance with the directed graph to facilitate identification of input equivalences.

Abstract: A technique for analyzing digital circuits to identify pin swaps is provided for circuit layout and similar tasks in which the circuit is first decomposed into regions. Logic functions of the regions are decomposed into a directed graph of the logic functions. A swap structure is created in accordance with the directed graph to facilitate identification of input equivalences.

Abstract: A technique for analyzing digital circuits to identify pin swaps is provided for circuit layout and similar tasks in which the circuit is first decomposed into regions. Logic functions of the regions are decomposed into a directed graph of the logic functions. A swap structure is created in accordance with the directed graph to facilitate identification of input equivalences.

Abstract: At least one EDA tool is provided with first and second plurality of programming instructions. The first plurality of programming instructions are designed to determine equivalent logic in an IC design, and the second plurality of programming instructions are designed to place and route the IC design. The place and route operation includes performance of at least one place and route operation selected from a group of place and route operations consisting of choosing coupling assignments for nets and logically equivalent input pins of the IC design, and choosing coupling assignments for logically equivalent output pins and loads of the IC design.

Abstract: A technique for analyzing digital circuits to identify pin swaps is provided for circuit layout and similar tasks in which the circuit is first decomposed into regions. Logic functions of the regions are decomposed into a directed graph of the logic functions. A swap structure is created in accordance with the directed graph to facilitate identification of input equivalences.

Abstract: A technique for analyzing digital circuits to identify pin swaps is provided for circuit layout and similar tasks in which the circuit is first decomposed into fanout-free regions. Quasi-canonical forms or models of the fanout free region are created from which a swap structure is created so that pins swap groups can be identified.

Abstract: A technique for analyzing digital circuits to identify pin swaps is provided for circuit layout and similar tasks in which the circuit is first decomposed into fanout-free regions. Quasi-canonical forms or models of the fanout free region are created from which a swap structure is created so that pins swap groups can be identified.

Abstract: A water distribution system facilitates automatic corrosion control. The operator enters a set of values of parameters associated with water in the system. The system automatically and repeatedly measures the temperature and pH of the water. The system then computes a target pH for the water, according to a function which depends on the temperature and the other parameters, and on an index of corrosion. The system then varies the pH of the water, so as to minimize the deviation between the measured pH and the target pH. The system performs this process repeatedly, to maintain the desired properties of the water. In particular, the operator can easily and automatically control the water so as to make it either more corrosive or more scale-forming, in such a manner as to minimize the dissolution of lead or copper into the water while limiting the tendency of the water to form scale.

Abstract: A method and apparatus for increasing the refrigeration capacity a cooling operation that includes a mechanical refrigeration system is disclosed wherein the mechanical refrigeration system operates continuously and a cryogen is introduced into a mechanically refrigerated space only in the presence of heat load conditions that exceed the refrigeration capacity of the mechanical refrigeration system.

Abstract: The present invention is directed to an improved method for carrying out a exothermic chemical reaction with carbon dioxide in an aqueous environment. In the method, a fluid solution containing at least one chemical reactant which is exothermically reactive with carbon dioxide is provided. Liquid carbon dioxide is then injected into the solution of the chemical reactant at a pressure above the triple point of at least about 60 psig. The injection of the liquid carbon dioxide takes place under turbulent conditions wherein the liquid carbon dioxide expands to provide carbon dioxide vapor. The carbon dioxide vapor superheats to approach the exothermic reaction temperature which occurs between the carbon dioxide vapor and the chemical reactant. The chemical reactant and the carbon dioxide react in the dispersion exothermically to produce a chemical reaction product.