A processor receives an instruction operation (OP) code from a verification system. The instruction OP code includes instruction bits and forced event bits. The processor identifies a forced event based upon the forced event bits, which is unrelated to an instruction that corresponds to the instruction bits. In turn, the processor executes the forced event.

A method of applying formal verification methodologies to event processing applications is provided herein. The method includes the following stages: representing an event processing application as an event processing network, being a graph with event processing agents as nodes; generating a finite state machine based on the event processing network, wherein the finite state machine is an over-approximation of the event processing application; expressing stateful rules and policies that are associated with the event processing application using temporal logic, to yield a temporal representation of the event processing application; combining the temporal representation and the finite state machine into a model; generating a statement associated with a user-selected verification-related property of the event processing application, wherein the statement is generated using the temporal representation; and applying the statement to the model, to yield an indication for: (i) a correctness of the statement or (ii) a counter example, respectively.

Vehicle event recorder systems are arranged to be in constant communication with remote servers and administrators via mobile wireless cellular networks. Vehicle event recorders equipped with video cameras capture video and other data records of important events relating to vehicle use. These data are then transmitted over special communications networks having very high coverage space but limited bandwidth. A vehicle may be operated over very large region while maintaining continuous communications connections with a remote fixed server. As such, systems of these inventions may be characterized as including a mobile unit having: a video camera; a microprocessor; memory; an event trigger; and mobile wireless transceivers, and a fixed network portion including: mobile wireless cellular network, a protocol translation gateway, the Internet and an application-specific server.

A cleaning composition for sanitizing and/or disinfecting hard surfaces, comprising: a cationic biocide, surfactant and low levels of VOC solvents. The cleaning composition is adapted to clean a variety of hard surfaces without leaving behind a visible residue and creates low levels of streaking and filming on the treated surface. The cleaning composition contains less than 5% by weight of VOCs. The cleaning composition may be used alone as a liquid or spray formulation or in combination with a substrate, for example, a pre-loaded cleaning wipe.

Alert event notifications may be provided by: displaying a first user interface layer including at least one user interface element configured to provide an alert event notification; displaying a second user interface layer such that at least a portion of the second user interface layer overlays the at least one user interface element configured to provide an alert event notification; detecting an alert event; and at least partially displaying the at least one user interface element configured to provide an alert event notification in an area where the at least a portion of the second user interface layer overlays the at least one user interface element configured to provide an alert event notification.

A visualization can include a set of swim lanes, each swim lane representing information about an event type. An event type can be specified, e.g., as those events having certain keywords and/or having specified value(s) for specified field(s). The swim lane can plot when (within a time range) events of the associated event type occurred. Specifically, each such event can be assigned to a bucket having a bucket time matching the event time. A swim lane can extend along a timeline axis in the visualization, and the buckets can be positioned at a point along the axis that represents the bucket time. Thus, the visualization may indicate whether events were clustered at a point in time. Because the visualization can include a plurality of swim lanes, the visualization can further indicate how timing of events of a first type compare to timing of events of a second type.

When a speech sound of at least a predetermined sound pressure is externally input while a time measurement is not being performed, a time measuring circuit starts a time measurement responsive to a signal from a speech detector. When another speech sound of at least a predetermined sound pressure is externally input while a time measurement is being performed by the time measuring circuit, a measurement time measured by the time measuring circuit at this moment is stored in a time information memory. After a predetermined time has elapsed, if a speech recognition circuit recognizes that the externally input speech sound is a "stop" command, the time measurement operation performed by the time measuring circuit is stopped, and the time information stored in the time information memory is read out and displayed as measurement time information on a display unit.

An automatic programmed ventilation control system for operating a fan includes a fan drive circuit; a duty, cycle control circuit including means for selecting a duty cycle and means for setting the selected duty cycle; a timing circuit including means for selecting the time of day and means for setting the selected time of day; a fan speed control circuit including means for selecting a fan speed and means for setting the selected fan speed; and a manual override switch circuit for overriding the set duty cycle and fan speed for operating the fan at a predetermined speed for a preselected period of time.

A mechanism for determining whether the sun is visible at a diurnal solar event and for mechanically triggering actions based upon the sun being visible during the diurnal solar event is disclosed. The mechanisms of the invention can perform these operations without intervention or supervision for long periods of time. Certain embodiments have been applied to provide a diurnal solar event trigger based upon sidereal noon for a clock providing accurate timing for 10,000 years without intervention or supervision.

A mechanism is provided in a storage device for performing a write operation. The mechanism configures a write buffer memory with a plurality of write buffer portions. Each write buffer portion is dedicated to a predetermined block size category within a plurality of block size categories. For each write operation from an initiator, the mechanism determines a block size category of the write operation. The mechanism performs each write operation by writing to a write buffer portion within the plurality of write buffer portions corresponding to the block size category of the write operation.

A system for preventing drowsiness in a driver by employing a thermal grill. The system includes a detection module and an intervention module. The detection module monitors a driver's parameters to determine whether the driver is drowsy. If the driver is determined to be drowsy, the intervention module activates a thermal grill with interlaced hot and cold regions. This activation causes the hot regions to approach one temperature and the cold regions to approach another. Additionally, this activation leads to an uncomfortable sensation for the driver, alerts the driver, and prevents the driver from getting drowsy.

A device for detecting a cardiac event is disclosed. Detection of an event is based on a test applied to a parameter whose value varies according to heart rate. Both the parameter value and heart rate (RR interval) are filtered with an exponential average filter. From these filtered values, the average change in the parameter and the RR interval are also computed with an exponential average filter. Before computing the average change in the parameter, large changes in the parameter over short times, which may be caused by body position shifts, are attenuated are removed, so that the average change represents an average of small/smooth changes in the parameter's value that are characteristic of acute ischemia, one of the cardiac events that may be detected. The test to detect the cardiac event depends on the heart rate, the difference between the parameter's value and its upper and lower normal values, and its average change over time, adjusted for heart rate changes. The upper and lower normal parameter values as a function of heart rate are determined from long term stored data of the filtered RR values and parameter values. Hysteeresis related data and transitory deviations from normal (e.g. vasospasm related data) are excluded from the computation of normal upper and lower parameter bounds.

Disclosed herein are methods for recovering diphosphite-containing compounds from mixtures comprising organic mononitriles and organic dinitriles, using liquid-liquid extraction. Also disclosed are treatments to enhance extractability of the diphosphite-containing compounds.

Disclosed is a process to produce a dry purified carboxylic acid product comprising furan-2,5-dicarboxylic acid (FDCA). The process comprises oxidizing at least one oxidizable compound selected from the following group: 5-(hydroxymethyl)furfural (5-HMF), 5-HMF esters (5-R(CO)OCH2-furfural were R alkyl, cycloalkyl and aryl), 5-HMF ethers (5-R'OCH2-furfural, where R'=alkyl, cycloalkyl and aryl), 5-alkyl furfurals (5-R″-furfural, where R″=alkyl, cycloalkyl and aryl), mixed feed-stocks of 5-HMF and 5-HMF esters and mixed feed-stocks of 5-HMF and 5-HMF ethers and mixed feed-stocks of 5-HMF and 5-alkyl furfurals to generate a crude carboxylic acid slurry comprising FDCA.

A new process is provided for preparing nitrile rubbers by free-radical polymerization in an organic solvent and in the presence of specific modifier substances. This polymerization may be followed by hydrogenation to give likewise new hydrogenated nitrile rubbers, the hydrogenation advantageously taking place likewise in organic solvent. The optionally hydrogenated nitrile rubbers obtained are notable for having fragments of the employed modifier substances in the main polymer chain and/or as end groups. They can be prepared with a wide diversity of molecular weights and polydispersity indices, especially with very low polydispersity indices.

A decoration piece has: a design piece made of thermoplastic synthetic resin formed with a design and having an outer profile line; a lower layer; and a dye migration preventing layer arranged between the design piece and the lower layer, said dye migration preventing layer having an outer profile same as that of said design piece, said dye migration preventing layer capable of being adhered to both said design piece and the lower layer, said dye migration preventing layer capable of preventing any migrating of dye. The dye migration preventing layer includes a dye migration preventing film made of ethylene-vinyl alcohol copolymer or polyamide MXD6, or a dye migration preventing film made of polyvinylidene chloride.

A pattern forming method contains: (i) a step of forming a bottom anti-reflective coating on a substrate by using a first resin composition (I), (ii) a step of forming a resist film on the bottom anti-reflective coating by using a second resin composition (II), (iii) a step of exposing a multi-layered film having the bottom anti-reflective coating and the resist film, and (iv) a step of developing the bottom anti-reflective coating and the resist film in the exposed multi-layered film by using an organic solvent-containing developer to form a negative pattern.

A pattern forming method contains: (i) a step of forming a bottom anti-reflective coating on a substrate by using a first resin composition (I), (ii) a step of forming a resist film on the bottom anti-reflective coating by using a second resin composition (II), (iii) a step of exposing a multi-layered film having the bottom anti-reflective coating and the resist film, and (iv) a step of developing the bottom anti-reflective coating and the resist film in the exposed multi-layered film by using an organic solvent-containing developer to form a negative pattern.

The present invention provides transgenic soybean event MON87769, and cells, seeds, and plants comprising DNA diagnostic for the soybean event. The invention also provides compositions comprising nucleotide sequences that are diagnostic for said soybean event in a sample, methods for detecting the presence of said soybean event nucleotide sequences in a sample, probes and primers for use in detecting nucleotide sequences that are diagnostic for the presence of said soybean event in a sample, growing the seeds of such soybean event into soybean plants, and breeding to produce soybean plants comprising DNA diagnostic for the soybean event.

The invention provides a lubricant composition containing (A) an ionic liquid having an anion represented by formula 1: (Rf1-SO2) (Rf2-SO2) N− or formula 2: (Rf3) (Rf3) (Rf3) PF3− wherein Rf1 and Rf2 in formula 1 may be the same or different and are each F, CF3, C2F5, C3F7 or C4F9, and Rf3 in formula 2 may be the same or different and is CF3, C2F5, C3F7 or C4F9; and (B) a fatty acid amine salt in an amount of 0.1 to 5.0 mass %. The lubricant composition of the invention can favorably be used under a high vacuum or an ultra high vacuum, or under high temperatures, and exhibits excellent rust prevention properties.

Lubrication additives of the current invention require formation of emulsions in base lubricants, created with an aqueous salt solution plus a single-phase compound such that partitioning within the resulting emulsion provides thermodynamically targeted compounds for boundary layer organization thus establishing anti-friction and/or anti-wear. The single-phase compound is termed “boundary layer organizer”, abbreviated BLO. These emulsion-contained compounds energetically favor association with tribologic surfaces in accord with the Second Law of Thermodynamics, and will organize boundary layers on those surfaces in ways specific to the chemistry of the salt and BLO additives. In this way friction modifications may be provided by BLOs targeted to boundary layers via emulsions within lubricating fluids, wherein those lubricating fluids may be water-based or oil-based.

The present invention relates to a ventilator autoclave comprising a chamber (1) with a space (5) for receiving goods (18) to be sterilized, at least one fan arrangement (2) for circulating steam and/or air in said chamber, and at least one first heat exchanger arrangement (11) for cooling and/or heating said steam and/or air, wherein said fan arrangement is arranged and configured to circulate said steam and/or air in said chamber (1), wherein said chamber (1) is configured such that said steam and/or air that is circulated in said chamber (1) follows a flow path passing at least a part of said first heat exchanger arrangement (11) before reaching said goods (18) to be sterilized, wherein said autoclave further comprises at least one second heat exchanger arrangement (19) that is provided upstream of said first heat exchanger arrangement (11) in said flow path, and wherein said second heat exchanger arrangement (19) is provided at such a distance from the periphery of said fan arrangement (2) that said flow of steam and/or air being circulated by said fan arrangement has a tangential velocity component, as seen in relation to the fan arrangement, when it passes said second heat exchanger arrangement (19).

An additional electric power receiving method replacing conventional grounding with a negative voltage source includes the step of transmitting electromagnetic wave or current from a power supply source to a rectifier, wherein a grounding end of the rectifier is in electrical communication with the negative voltage source, and the negative voltage source is selected from a negative potential intrinsic of an organism. A device applicable to the electric power receiving method includes a rectifier having an input end and two output ends, wherein the input end is in electrical communication with a power supply source, and rectified direct current is transmitted from the output ends. With the method and device, not only an increase in additional electric power obtained is achieved, but conversion efficiency and stability of current and electromagnetic wave is enhanced.

A sleep apnea prevention sleep-aid mask is described. The sleep-aid mask is configured to secure the lips of a user together in a natural state, in order to encourage the respiratory system of the user to employ the nasal passages rather than the mouth for respiration. A pad equipped with a perforated mesh or channel is positioned over the lips and mouth of the user, and secured in position on the user via an adhesive, which temporarily affixes the pad to the face of the user. The sleep-aid mask is preferably shaped and sized according to the specific size of the user's face, and is configured to limit the effective diameter of the mouth of the user, in order to cause continued use of respiration via the nasal passages.

A system and method for long-term monitoring of cardiac conditions such as arrhythmias is disclosed. The invention includes a pulse generator including means for sensing an arrhythmia. The pulse generator is coupled to at least one subcutaneous electrode or electrode array for providing electrical stimulation such as cardioversion/defibrillation shocks and/or pacing pulses. The electrical stimulation may be provided between multiple subcutaneous electrodes, or between one or more such electrodes and the housing of the pulse generator. In one embodiment, the pulse generator includes one or more electrodes that are isolated from the can. These electrodes may be used to sense cardiac signals.

The present invention relates to compositions and methods for improving outcomes in vascular interventional procedures. In particular, the present invention relates to compositions and methods for improving outcomes in vascular interventional procedures using an anti-no-reflow guide wire that attenuates the “no-reflow” phenomenon that is associated with negative outcomes.

The present invention relates to lithium salt-containing rare earth halide solutions in aprotic solvents, processes for production thereof and also use thereof.

Illustrative embodiments provide a nuclear fission reactor, a vented nuclear fission fuel module, methods therefor and a vented nuclear fission fuel module system.

Illustrative embodiments provide a nuclear fission reactor, a vented nuclear fission fuel module, methods therefor and a vented nuclear fission fuel module system.

Disclosed embodiments include methods of assembling a vented nuclear fission fuel module. Given by way of non-limiting example and not of limitation, an illustrative method of assembling a vented nuclear fission fuel module includes receiving a nuclear fission fuel element capable of generating a gaseous fission product. A valve body is coupled to the nuclear fission fuel element, and the valve body defines a plenum therein for receiving the gaseous fission product. A valve is disposed in communication with the plenum for controllably venting the gaseous fission product from the plenum. A flexible diaphragm is coupled to the valve for moving the valve. A cap is mounted on the valve, and a manipulator extendable to the cap for manipulating the cap is received.

A method and apparatus for detecting triggering events in a data stream, comprising extracting audio portions from the data stream, detecting a sequence of one or more Dual Tone Multiple Frequency (DTMF) signals representing the events from the extracted audio portions, and logging data representative of the sequence of DTMF signals into a database.

A method includes receiving, at a multimedia device, a data stream representing multimedia content, the data stream comprising first timing information for the multimedia content, and metadata representing interactive event information associated with the multimedia content, the metadata comprising second timing information for the interactive event information. During the playback of the multimedia content, a first user interactive event is identified that is associated with a first time point in the playback of the multimedia content based on the interactive event information, and the first user interactive event is performed concurrent with the first time point in the playback of the multimedia content.

A method and transmission control unit configured to improve shift event performance in a vehicle with an automatic transmission by determining a vent time for release of a clutch assembly in a transmission of a vehicle. The vehicle must be stopped and a gear selector in the vehicle must be set to a drive condition. If these conditions are met, the clutch assembly is vented. The vent time from when venting begins to when a turbine (or input shift) speed of the transmission rises is tracked. Once the turbine speed of the transmission rises, the clutch assembly is reapplied. The clutch assembly vent time is set based on the tracked vent time.

A method for reducing or substantially preventing formation of a trisulfide derivative of a polypeptide in a liquid medium containing the polypeptide ijn question comprises stripping the liquid medium with a gas, suitably a chemically unreactive gas such as nitrogen or argon.

Methods and systems for detecting azetidine-2-carboxylic acid (Aze) in food consumable by humans and animals are provided. Also provided are methods and systems for inactivating Aze in food and byproducts, as well as other methods for the diagnosis, prevention, and treatment of disorders associated with Aze.

Apparatus and method for detecting and compensating for lubrication disturbance (lube disturb) events on a rotatable data recording medium. In some embodiments, a lube disturb event is detected responsive to displacement of a data transducer away from a first memory location on a rotating data recording medium during a write operation to write data thereto. The lube disturb event arises responsive to a transfer of accumulated contamination from a data transducer to a lubrication layer on the rotating data recording medium and a smearing of the transferred accumulated contamination along the first memory location. The write data are stored to a different, second memory location instead of to the first memory location responsive to the detected lube disturb event.

Methods and apparatus for correlating event notifications between agents in a management network are provided. An agent constructs a network notification in response to receiving an event notification. If the received event notification is associated with a prior notification already received and stored by the agent, a correlation attribute is added to the constructed network notification. If the received notification matches a peer agent notification category that another agent in the management network is interested in receiving, the constructed network notification is sent to the other agent.

A system, method, and computer readable medium for asynchronous live migration of applications between two or more servers. The computer readable medium includes computer-executable instructions for execution by a processing system. Primary applications runs on primary hosts and one or more replicated instances of each primary application run on one or more backup hosts. Asynchronous live migration is provided through a combination of process replication, logging, barrier synchronization, checkpointing, reliable messaging and message playback. The live migration is transparent to the application and requires no modification to the application, operating system, networking stack or libraries.

Methods and systems of monitoring events occurring in a computer system are provided. An event monitoring instruction including a condition is parsed, the event monitoring instruction expressed using syntax defined in source code, the parsing resulting in an event channel to monitor and the condition. Then execution of an application is paused. The event channel is monitored until an event occurs on the event channel. Then an event handler for the event is run in response to the event occurring on the event channel. The condition is evaluated to determine whether the condition is satisfied. Execution of the application is resumed in response to the condition being satisfied.

A system for ventilating an explosion hazard region of an aircraft includes a ram-air channel, which has an air inlet for feeding ambient air into the ram-air channel as well as an air outlet. The ram-air channel is devised to feed air to a device that is to be cooled on board the aircraft. A ventilation line has an air inlet for feeding air flowing through the ram-air channel into the ventilation line as well as an air outlet. The ventilation line is devised to feed air to a region of the aircraft that is to be ventilated. An accumulator is disposed between the ram-air channel and the air inlet of the ventilation line and is devised to convert the dynamic pressure of the air flow conveyed through the ram-air channel at least partially into static pressure for regulating flow through the explosion hazard region.

A tractor cab HVAC system has a blower (22) which draws air into the system via air intake means (13) in the roof (14) of the cab (10). Ducting (15) in the roof of the cab directs air drawn in via the intake means down the center of one or more hollow adjacent pillars (16) of the cab to an air filter (18) contained in a housing (20) located between the adjacent pillars. Further ducting (19) extends from the air filter housing to an HVAC unit (11), the HVAC unit processing the air drawn into the system prior to discharging the processed air into the cab. The filter housing (20) is of generally rectangular form and is connected at opposite ends to the two hollow adjacent pillars (16) of the cab via inlet openings (20a) in the housing to allow the passage of intake air from the pillars to the filter (18).

This application relates to ventilation systems, more particularly to roof ventilation systems that help to protect buildings against fires. The roof vent has an ember impedance structure that impedes the entry of flames and embers or other floating burning materials while still permitting sufficient air flow to adequately ventilate a building. Several configurations of vents employing baffle members and fire-resistant mesh material are described, which can substantially prevent the ingress of floating embers and flames.

A ventilated roof features an elongated vent having a vent opening and an elongated vent shingle supporting surface. The vent opening is in fluid communication with a slot defined by the top surface of a roof deck and communicating through the roof deck. An end cap has an end cap shingle supporting surface and is located adjacent to an end of the elongated vent. The vent and the end cap adjacent to the vent are supported in an equivalent spaced-apart relation to the top surface of the roof deck. The elongated vent shingle supporting surface, the end cap shingle supporting surface and the top surface of the roof deck provide a substantially continuous support to a shingle overlapping any two of those elements.

A system that enables an event or moments within an event to be captured and provided in a record that preserves at least some aspects of the participant's perspective of the event. In particular, the present invention involves centralized recording of the event in one or more modes including video, audio, and still image recordings and a system that enables a participant (i.e., one who perceives the event) to select portions of the event recording substantially contemporaneously with the event occurrence. A personalized record is made by duplicating the selected portions from the event record. In a particular example, the personalized record is recorded on a digital media such as a compact disc (CD) or digital video disk (DVD) or the like.

The present invention relates to a bit for processing the inside diameter of a work material, the bit having on the outer surface of a shank a vibration preventing structure comprising a vibration absorption body made of a silicone material, and a hollow wire rod, thereby absorbing the vibration generated from a machine tool, preventing resonance generated between the work material and a tool, and thus, enabling the implementation of a slickenside from ultra-precision machining.

An arc detection and intervention system for a solar energy system. One or more arc detectors are strategically located among strings of solar panels. In conjunction with local management units (LMUs), arcs can be isolated and affected panels disconnected from the solar energy system.

A method is provided for operating a parking brake module that is at least partially integrated into a compressed air generation system in the event of defects, having a control unit, solenoid valves, and a relay valve for aerating and deaerating at least one spring-loaded brake cylinder. A pressure in the parking brake module which is elevated compared to a normal pressure is determined. A constant compressed air delivery is stopped. A reduced switch-off pressure of the compressed air generation system is set. The pressure level in the parking brake module is lowered to the reduced switch-off pressure through repeated activation of the relay valve.

An enhanced encryption keypad (100) capable of preventing illegal disassembly for an automated teller machine comprises a key panel (101) and a main control board (102). A removal detection protection circuit is disposed inside a main chip of the main control board (102), and at least one pin of the removal detection protection circuit is guided out from a surface (1021) of a side of the main control board (102) near the key panel to form a removal detection point (1022). The removal detection point (1022) has two opened signal contact points. The two opened signal contact points are conducted by a conductive adhesive (103) to activate the removal detection protection circuit. A conductive protection ring (1023) isolated from the removal detection point is disposed at the periphery of the removal detection point. The conductive protection ring (1023) is connected to the removal detection protection circuit inside the main control chip. A protection circle (1024) is disposed at the periphery of the conductive protection ring and the corresponding conductive adhesive. The present application effectively protects the encryption keypad from illegal attacks on the removal detection point from the side.

The present invention is directed to a soybean plant with mutations in FAD2-1A and FAD2-1B. Moreover, the present invention is directed to seeds from said plants with altered ratios of monosaturated and polyunsaturated fats. In particular, the present invention is directed to plants where the plants exhibit elevated levels of oleic acid.

A compressor for compressing refrigerant in a refrigerant circuit includes a housing defining a compression chamber. A screw rotor is mounted within the housing and configured to form a pocket of high pressure refrigerant and a pocket of low pressure refrigerant within the compression chamber. The screw rotor has a rotor shaft rotating about an axis. A bearing cavity includes at least one bearing rotatably supporting the rotor shaft. A partition through which the rotor shaft extends separates the bearing cavity from the compression chamber. A contacting seal is sealingly engaged with the rotor shaft and disposed in the bearing cavity proximate the partition. A passage has an opening adjacent the rotor shaft between the contacting seal and the compression chamber and in fluid communication with the pocket of low pressure refrigerant.