53 results about "Logical Condition" patented technology

A query facility for database queries saves and re-uses query execution strategies, and automatically determines whether a strategy can be re-used when an imported variable changes. The query facility automatically saves one or more logical conditions associated with the one or more imported variables in the query. When the query is reused, the logical conditions are evaluated using the imported variable values, and the previously saved execution strategy is used only if the condition or conditions are met. Preferably, the logical conditions express a range of imported variable values which are included in a database subset data structure used by the saved query execution strategy, such as a materialized query table or partitioned table. Logical conditions are preferably generated by negating the predicates from a logical expression defining the applicability of the execution strategy, inserting the negated predicates into the query, and performing a transitive closure.

Disclosed are a natural language and mathematical formula processing method and a device therefor. A natural language and mathematical formula processing device comprises: a natural language and mathematical formula input unit which receives a natural language and a mathematical formula; a natural language and mathematical formula structuring unit which analyzes combined data having a combination of said natural language and said mathematical formula, divides the analyzed data according to a particular meaning, and recombines the divided data; a natural language and mathematical formula indexing unit which indexes said combined data; an operation information extracting unit which extracts operation information using a logical condition from said combined data; an operation structuring unit which structures said operation information; and an information generating unit which generates parsing semantic information on the mathematical formula from said combined data. According to the present embodiment, the invention enables: a separate input tool to be provided such that a user is able to input a natural language and a mathematical formula; the natural language and the mathematical formula to be structured such that the natural language and the mathematical formula are managed as recombined data on the basis of the analyzed content of data in which the natural language and the mathematical formula are combined; information, which has structured a user query, to be indexed with the natural language and the mathematical formula on the basis of semantic information; the semantic information to be automatically extracted; a complicated sentence, which includes the natural language and the mathematical formula, to be expressed to automatically have a logical relationship; and semantic information to be generated additionally.

Biometric parameters acquired from human faces, voices, fingerprints, and irises are used for user authentication and access control. Because the biometric parameters are continuous and vary from one reading to the next, syndrome codes are applied to determine biometric syndrome vectors. The biometric syndrome vectors can be stored securely, while tolerating an inherent variability of biometric data. The stored biometric syndrome vector is decoded during user authentication using biometric parameters acquired at that time. The syndrome codes can also be used to encrypt and decrypt data. The biometric parameters can be pre-processed to form a binary representation, in which the binary representation has a set of predetermined statistical properties enforced imposed by a set of binary logical conditions.

A query facility for database queries saves and re-uses query execution strategies, and automatically determines whether a strategy can be re-used when an imported variable changes. The query facility automatically saves one or more logical conditions associated with the one or more imported variables in the query. When the query is reused, the logical conditions are evaluated using the imported variable values, and the previously saved execution strategy is used only if the condition or conditions are met. Preferably, the logical conditions express a range of imported variable values which are included in a database subset data structure used by the saved query execution strategy, such as a materialized query table or partitioned table. Logical conditions are preferably generated by negating the predicates from a logical expression defining the applicability of the execution strategy, inserting the negated predicates into the query, and performing a transitive closure.

A data storage device includes one or more non-volatile, blockwise erasable data storage media and a mechanism for sanitizing the media in response to a single external stimulus or in response to a predetermined physical or logical condition. Optionally, only part of the media is sanitized, at a granularity finer than the blocks of the medium. Setting a flag in an auxiliary nonvolatile memory enables an interrupted sanitize to be detected and restarted. Optionally, a “death certificate” verifying the sanitizing is issued. Preferably, the media are configured in a manner that allows atomic operations of the sanitizing to be effected in parallel.

A system and method of using a controller and firewall devices. Each of the firewall devices operate in an active mode during normal operation. The method may include the steps of determining when a first and / or second redundant data packet is received from a first / second firewall device, respectively, determining a valid sequence number, and transmitting the first / second redundant data packet to a target device when a sequence number of the first / second redundant data packet matches the valid sequence number and a first / second logical condition is satisfied, respectively. The first / second logical condition is at least one of the second / first firewall device is failed, a sequence number of the second / first redundant data packet varies from the valid sequence number, and the first / second firewall device is a primary firewall device.

The invention discloses a protector for complex voltage operating circuit at high and low pressure sides, comprising a relay, wherein the relay is arranged in the complex voltage operating circuit at the high and low pressure sides. In the invention, the protection on a transformer is subject to technical transformation and the relay is changed, so that the reliable operation of complex voltage locking overcurrent protection at the high and low pressure sides is ensured; logical condition is subject to 5-10 seconds time relay broadening when the protector of the complex voltage operating circuit at the high and low pressure sides starts, thereby ensuring the reliable operation of the high back-up protection; and sensitivity of the high back-up protection of the main transformer protection is verified again when the high and low pressure sides short out.

A data storage device includes one or more non-volatile, blockwise erasable data storage media and a mechanism for sanitizing the media in response to a single external stimulus or in response to a predetermined physical or logical condition. Optionally, only part of the media is sanitized, at a granularity finer than the blocks of the medium. Setting a flag in an auxiliary nonvolatile memory enables an interrupted sanitize to be detected and restarted. Optionally, a “death certificate” verifying the sanitizing is issued. Preferably, the media are configured in a manner that allows atomic operations of the sanitizing to be effected in parallel.

A logical memory construction-processing section reads several kinds of physical memories and registers prepared in advance as libraries, generates candidates for each logical memory, by combining only the physical memories or only the registers, or both the physical memories and the registers, with each other, so as to construct the logical memory that satisfies a logical condition defining a memory space, and selects highest priority candidates for the logical memories from the candidates according to priorities. An optimum construction extraction-processing section extracts optimum logical memories satisfying the respective logical conditions from the highest priority candidates such that the limit numbers of usable physical memories and usable registers are satisfied. A circuit description-processing section executes circuit description by using the physical memories and the registers that construct each of the extracted optimum logical memories, to thereby generate a circuit description file.