Abstract: A system receive as input a circuit design and a description of the behavior of the circuit design specified as assertions. The system generates a model used for verifying that the circuit design satisfies the specified behavior. The system generates an alternating automaton representing the assertions. The alternating automaton may be non-deterministic. The system translates the alternating automaton to a finite state machine (FSM) that may be represented using a representation such as a register transfer level (RTL) representation. The system models existential transitions in the state machine using variables. As a result, the system generates fewer states in the state machine, thereby requiring significantly less memory resources for processing the assertion. The system validates the circuit design using the state machine for further design and manufacture of the circuit.

Abstract: A system receive as input a circuit design and a description of the behavior of the circuit design specified as assertions. The system generates a model used for verifying that the circuit design satisfies the specified behavior. The system generates an alternating automaton representing the assertions. The alternating automaton may be non-deterministic. The system translates the alternating automaton to a finite state machine (FSM) that may be represented using a representation such as a register transfer level (RTL) representation. The system models existential transitions in the state machine using variables. As a result, the system generates fewer states in the state machine, thereby requiring significantly less memory resources for processing the assertion. The system validates the circuit design using the state machine for further design and manufacture of the circuit.

Abstract: An agency management and content management integration system links agency management system domain entities (such as clients, policies, claims, vendors) to content management system content hierarchical structures (such as client files, policy folders, claims folders, vendor files). End users can quickly navigate to the appropriate content management system structure or structures when working with an entity in the agency management system via button integration. The agency management and content management integration system automatically creates and updates the content management system when changes are made to the agency management system. This may include providing multiple mappings between the entities of the insurance agency management system and content hierarchical structures, a preview of changes to the content hierarchical structures, a testing environment to test the content hierarchical structure changes, and troubleshooting logs resulting from testing of the content hierarchical structure.

Abstract: A cooling apparatus for an integrated exhaust manifold includes: a first cooling jacket configured to surround a portion of an exhaust manifold; and a second cooling jacket configured to surround another portion of the exhaust manifold. The first cooling jacket includes a first portion sitting atop the second cooling jacket and a second portion adjacent the second cooling jacket and positioned lower than the first portion.

Abstract: Apparatus (4; 5) for checking the inflation pressure of a tire (3) of a vehicle (2) while the tire is being moved over the apparatus in a direction of travel (A). The apparatus comprises a base (7), a platform (8) which is mounted over the base, a first load sensor system (9) arranged between the platform and the base, and a second load sensor system (12) mounted on an upper surface of the platform and comprising a linear array of high resolution sensors (13, 25) extending across the platform. A data processing unit (6) processes data obtained by sampling the outputs of the first and second sensor system and provides an indication of the inflation pressure of the tire. The data obtained by sampling the output of the first sensor system may be used to determine the total load borne by the platform, and/or the direction of travel of the tire over the platform, and/or the speed of travel of the tire over the platform and/or the tracking angle of the vehicle tire.

Abstract: Systems and methods for ventilating engine crankcase gases are described. In one example, crankcase gases flow from a first cylinder bank to a second cylinder bank via tubes placed between exhaust gas manifold runners. The systems and method may improve crankcase gas ventilation.

Abstract: The invention provides a wheeling device for a packaged article which may be directly attached to the packaging of the article and which comprises wheeling means. The invention also provides a wheelable package for an article comprising at least one wheeling device according to the present invention, the wheeling device being directly attached to the package. The invention further provides a method of improving the handlability of a packaged article comprising directly attaching to the packaging of the article one or more wheeling devices of the invention.

Abstract: A cooling apparatus for an integrated exhaust manifold includes: a first cooling jacket configured to surround a portion of an exhaust manifold; and a second cooling jacket configured to surround another portion of the exhaust manifold. The first cooling jacket includes a first portion sitting atop the second cooling jacket and a second portion adjacent the second cooling jacket and positioned lower than the first portion.

Abstract: Systems and methods for ventilating engine crankcase gases are described. In one example, crankcase gases flow from a first cylinder bank to a second cylinder bank via tubes placed between exhaust gas manifold runners. The systems and method may improve crankcase gas ventilation.

Abstract: A system for processing PCV gases is disclosed. In one example, the system includes an oil passage solely linking an oil separator to an engine crankcase. The system can provide an oil column that provides for continuous oil return from the oil separator to the engine crankcase even during conditions of higher levels of engine vacuum.

Abstract: A stabiliser for a wheeled packaged article, the stabiliser configured for direct attachment to the packaging of a packaged article by a clamp connector that engages an inner surface of the packaging, wherein the stabiliser comprises: anti-rolling means; a base plate, to which the anti-rolling means is coupled, and which base plate comprises means to enable the stabiliser to be attached to the packaging of a packaged article by a clamp connector; wherein the base plate comprises an aperture, so that when the device is attached to the packaging of a packaged article by a clamp connector, the clamp connector engages the surface of the base plate that is not in contact with the packaging.

Abstract: An agency management and content management integration system links agency management system domain entities (such as clients, policies, claims, vendors) to content management system content hierarchical structures (such as client files, policy folders, claims folders, vendor files). End users can quickly navigate to the appropriate content management system structure or structures when working with an entity in the agency management system via button integration. The agency management and content management integration system automatically creates and updates the content management system when changes are made to the agency management system. This may include providing multiple mappings between the entities of the insurance agency management system and content hierarchical structures, a preview of changes to the content hierarchical structures, a testing environment to test the content hierarchical structure changes, and troubleshooting logs resulting from testing of the content hierarchical structure.

Abstract: Apparatus (4; 5) for checking the inflation pressure of a tyre (3) of a vehicle (2) whilst the tyre is being moved over the apparatus in a direction of travel (A). The apparatus comprises a base (7), a platform (8) which is mounted over the base, a first load sensor system (9) arranged between the platform and the base, and a second load sensor system (12) mounted on an upper surface of the platform and comprising a linear array of high resolution sensors (13, 25) extending across the platform. A data processing unit (6) processes data obtained by sampling the outputs of the first and second sensor system and provides an indication of the inflation pressure of the tyre. The data obtained by sampling the output of the first sensor system may be used to determine the total load borne by the platform, and/or the direction of travel of the tyre over the platform, and/or the speed of travel of the tyre over the platform and/or the tracking angle of the vehicle tyre.

Abstract: A system for processing PCV gases is disclosed. In one example, the system includes an oil passage solely linking an oil separator to an engine crankcase. The system can provide an oil column that provides for continuous oil return from the oil separator to the engine crankcase even during conditions of higher levels of engine vacuum.

Abstract: The invention provides a wheeling device for a packaged article which may be directly attached to the packaging of the article and which comprises wheeling means. The invention also provides a wheelable package for an article comprising at least one wheeling device according to the present invention, the wheeling device being directly attached to the package. The invention further provides a method of improving the handlability of a packaged article comprising directly attaching to the packaging of the article one or more wheeling devices of the invention.

Abstract: A detector has a thermoelectric sensor and a reactive layer. The thermoelectric sensor is configured to sense heat and to provide an electrical signal based on the sensed heat. The reactive layer is coupled to the thermoelectric sensor and is reactive with an airborne chemical or airborne biological agent of interest. The reaction is exothermic or endothermic. When the airborne agent of interest reacts with the reactive layer, the reaction is detected by the thermoelectric sensor. The electrical signal provides an indication based on the reaction.

Abstract: A cockpit (2) at the stern of a boat may be covered in two stages. Firstly, a first canopy system (3) of the bimini type is deployed. Then a second canopy system (4) is deployed and has a frame member (411) which can be pivoted rearwardly over the deployed first canopy system (3) so as to allow the second canopy system to be deployed after the first canopy system. A canopy (42) of the second canopy system covers a portion of the cockpit deck behind the portion covered by the bimini canopy (32).

Abstract: An auto racing board game permitting use of popular {fraction (1/24)} or {fraction (1/64)} scale model racing cars as playing pieces, using a method to govern movement of these playing pieces is based the statistical probability of various possible results available when rolling popular, six sided dice, such that the probability of advancing to the winner's line is essentially equal for all playing pieces, and employing cards that are dealt to players and indicate winning and/or losing lanes.

Abstract: An orientation clip (42) has an axially- and circumferentially-united attachment with a fuel injector (13) to orient the fuel injector circumferentially within a cup (32) on a fuel manifold (30). The clip has axially extending orientation tabs (46) that pass through open spaces provided by notches (56) in the rim of the cup to circumferentially locate the clip to the cup, and hence the fuel injector to the cup.