Abstract:
A method for rule compliance situation checking is provided. The method in one aspect, includes the steps of: a) building a rule model for predefined rules and building a business operational model for business processes; b) normalizing vocabularies in the rule model and the business operational model; c) checking whether the rule model is satisfied by the business operational model; and d) outputting a report on checking results. The present invention also provides a corresponding system for rule compliance checking. The rule compliance checking of the present invention allows users to perform fast and effective automatic checking of rule compliance, avoid interference of man-made factors in checking process to a great extent and thus guarantee veracity of checking results.
Abstract:
A virtual machine in a processing system manages type information for operands. In one embodiment, the virtual machine accomplishes the following results through execution of a single instruction: adding an operand tag to a tag stack, and updating a stack pointer for the tag stack to recognize the addition of the operand tag to the tag stack. The single instruction may be a shift instruction, for example. The tag stack may reside in a tag stack register, and each operand tag may indicate whether a corresponding operand on an operand stack is to be treated as a reference operand or a non-reference operand. Other embodiments are described and claimed.
Abstract:
An electrical interface includes a nano-particle layer. The electrical interface also includes a first conductor and a second conductor. The nano-particle layer and the first and second conductors are electrically coupled together.
Abstract:
A method executed by a plurality of processors in a database system to implement temporal aggregate queries. The database system has a temporal table. A plurality of consecutive temporal partitions are defined and allocated to the respective processors. A query is received to aggregate at least one attribute of the temporal table. In response to the query, a plurality of timestamps are identified in the temporal table, the respective timestamps are allocated to the respective temporal partitions, the value changes in the at least one attribute at the plural timestamps are computed within each partition using the respective processors to which each partition is allocated, and the value changes within each partition are aggregated using the respective processors to which each partition is allocated to produce an aggregate value for the query.
Abstract:
A circuit breaker includes a circuit breaker housing and a plurality of independent poles. Each of the independent poles includes separable contacts, a voltage sensor mounted on or within the circuit breaker housing and being structured to sense voltage operatively associated with the separable contacts, and an electro-magnetic actuator structured to open and close the separable contacts. A point-on-wave controller is housed by the circuit breaker housing and cooperates with the sensors and the actuators of the independent poles to independently and synchronously open and close the separable contacts of the independent poles.
Abstract:
A manual opening device is for an electrical switching apparatus, such as a synchronous circuit breaker, including a housing having an opening, a plurality of pole mechanisms each comprising separable contacts, and at least one operating mechanism including a number of actuators adapted to open and close the separable contacts. The operating mechanism is supported by the housing and includes a corresponding pole shaft. The manual opening device comprises an operating handle, a cam assembly, and a drive assembly. A first end of the operating handle protrudes through the opening of the housing and the second end is coupled to the cam assembly. The drive assembly couples the cam assembly to the corresponding pole shaft of the operating mechanism and cooperates with the corresponding pole shaft and actuators to simultaneously open the separable contacts when the operating handle is moved from a first position to a second position.
Abstract:
An energy content meter can spectroscopically quantify oxidation products after oxidation of a combustible mixture. The measured oxidation product concentrations or mole fractions can be converted to an energy content of the un-oxidized combustible mixture using a conversion factor that relates oxygen consumption during oxidation of the combustible mixture to the energy content of the combustible mixture.
Abstract:
A method for rule compliance situation checking is provided. The method in one aspect, includes the steps of: a) building a rule model for predefined rules and building a business operational model for business processes; b) normalizing vocabularies in the rule model and the business operational model; c) checking whether the rule model is satisfied by the business operational model; and d) outputting a report on checking results. The present invention also provides a corresponding system for rule compliance checking. The rule compliance checking of the present invention allows users to perform fast and effective automatic checking of rule compliance, avoid interference of man-made factors in checking process to a great extent and thus guarantee veracity of checking results.
Abstract:
A method and apparatus for reducing the effect of soft errors in a computer system is provided. Soft errors are detected by combining software redundant threading and instruction duplication. Upon detection of a soft error, errors are recovered through the use of software check pointing/rollback technology. Reliable regions are identified by vulnerability profiling and redundant multi-threading is applied to the identified reliable regions.
Abstract:
A system includes a light source, a detector, at least one pressure sensor, and a control unit. The light source emits light at a wavelength substantially corresponding to an absorption line of a target gas. The detector is positioned to detect the intensity of light emitted from the light source that has passed through the target gas. The pressure sensor detects the pressure of the target gas. The control circuit is coupled to the detector and the light source to adjust the modulation amplitude of the light source based on the pressure detected by the at least one pressure sensor. Related systems, apparatus, methods, and/or articles are also described.