32 results about "Logical consequence" patented technology

A method, apparatus and article of manufacture provide a user interface allowing user selection and arrangement of result fields selected, in one embodiment, from a logical model. In one embodiment, the user interface is a graphical user interface and comprises input cells for user-selected logical result fields. The cells are arranged to define a geometric relationship between logical result fields which dictates the combinatorial statement type by which the logical result fields in the cells are related in a query.

A computer implemented method and systems used to create and interpret a set of formal glossaries which refer one to the other and are intended to define precisely the terminology of a field of endeavor. Such glossaries are known as intelligent, in the sense that they allow machines to make deductions, with interaction of human actors. Once a word is defined in an intelligent glossary, all the logical consequences of the use of that word in a formal and well-formed sentence are computable. The process includes a question and answer mechanism, which applies the definitions contained in the intelligent glossaries to a given formal sentence. The methods may be applied in the development of knowledge management methods and tools that are based on semantics; for example: modeling of essential knowledge in the field based on the relevant semantics; and computer-aided human-reasoning.

A computer implemented method used to interpret text, including from a set of formal glossaries which may refer one to the other and are intended to define precisely the terminology of a field of endeavor. Such glossaries are known as intelligent, in the sense that they allow machines to make deductions, without the need for human intervention. However, they may also accept human intervention. Once a word is defined in an intelligent glossary, all the logical consequences of the use of that word in a formal and well-formed sentence are computable. The process includes a question and answer mechanism, which applies the definitions contained in the intelligent glossaries to a given formal sentence. The methods may be applied in the development of knowledge management methods and tools that are based on semantics; for example: modeling of essential knowledge in the field based on the relevant semantics.

An electronic data system comprises memory storage having stored data, file system software, and a transaction file. The transaction file is maintained by the file system software, and includes a plurality of transaction records corresponding to transactions that have been or are to be executed on one or more files and / or the or more directories of the file system. The file system software operates to organize and maintain the stored data in the files and directories and also to coalesce multiple transaction records meeting one or more criteria into fewer coalesced transaction records. The physical memory space required by the transaction file is reduced by the transaction record coalescing. The coalesced transaction records may be constructed so that they represent a logical result of applying each transaction record of a transaction record set in chronological order. Once the coalesced transaction records have been committed in the file system, the physical memory used by the original transaction records in the set may be reclaimed for further use (e.g., to store further transaction records) or may be otherwise removed from further use (e.g., when the physical memory is located in a block of memory in a flash-like memory device that has reached its maximum number of write and / or erase cycles).

The invention provides firewall strategy-generating method, device and system. The firewall strategy-generating method comprises the following steps: receiving strategy demand information containing a demand source address, a demand destination address and a demand service type; acquiring the regions of a source server and a destination server from a prestored address region relation table according to the demand source address and the demand destination address; acquiring region strategy information from a prestored region and strategy relation table according to the regions of the source server and the destination server, wherein the region strategy information corresponds to the regions of the source server and the destination server and contains a strategy source address, a strategy destination address and a strategy service type; logically calculating the demand source address and the strategy source address to generate a source address logic result; logically calculating the demand destination address and the strategy destination address to generate a destination address logic result; logically calculating the demand service type and the strategy service type to generate a service type logic result; and generating a firewall strategy according to the source address logic result, the destination address logic result, the service type logic result and the relation between a demand state and a strategy state.

The present disclosure includes a system, method, and article of manufacture for lossless compression of data and high speed manipulation thereof. The method may comprise associating one or more of a plurality of unique entities with one or more of a plurality of unique binary numbers; associating a collection with the plurality of unique entities; and determining that the collection includes one of the plurality of unique entities based upon the unique binary number associated with the unique entity. The associating the collection with the plurality of unique entities may further comprise summing the unique binary numbers associated with the plurality of unique entities, and / or associating the collection with a binary number that is a logical result of a bitwise operation between unique binary numbers associated with the plurality of unique entities.

This invention is a kind of soft certification false proof method that based on graphic code primary and secondary seal family information association mechanism. The primary and secondary seal family of the certification embeds the knowledge-type privacy character information of certification holder. There is some logic constrained relation between the primary and secondary seal information, and can stop the counterfeit and fraud. The non-simulation capability of this certification is decided by the logic result of key and knowledge character information of certification holder, and doesn't relate to the technique and equipment. So the technical regulation can be an open system. This invention also replaces the high-cost physical equipment process complexity method with the low-cost logic calculus complexity method. And replaces the human sense identifying and other technical method with the electronic information processing method.

The invention relates to an electrical equipment remote control locking characteristic simulation method based on LUA scripts. An operator triggers a remote control simulation operation of the electrical equipment on a system HMI interface. A system real-time library detects a remote control simulation event and submits the event to a data engine at the bottom layer of the real-time library. The data engine then submits the remote control point information to an LUA script engine. The LUA script engine retrieves the LUA script rule of the remote control point in a rule base and finds out a signal point that the electrical equipment is required to be associated with in a configured association point XML input file. The LUA script engine obtains the real-time value of the relevant signal points from the real-time library through the data engine and calculates the logical result of the rule according to the rule. If the result is 1, the remote control characteristic of the electrical equipment is satisfied and the remote control is performed normally. Otherwise, it does not meet the remote control characteristics of the electrical equipment, the current remote control is rejected. The result whether to meet the remote control locking characteristic is written in the real-time library by the data engine, and is ultimately fed to the system HMI interface.

The double-track precharge logic unit structure belongs to the field of circuit electronics. The invention aims to effectively solve the problem of early propagation effect under the condition of small area expenditure. The AND-NAND logic of the present invention comprises a monorail and logic circuit and a monorail and non-logic circuit; both circuits have four input terminals, respectively connected to four input signals a, b and the output signal y of the monorail and logic circuit as input signals The AND logic result of a and b; the output signal of the single-rail NOR logic circuit is the NAND logic result of the input signals a and b; OR-OR logic includes a single-rail OR logic circuit and a single-rail NOR logic circuit; both circuits have Four input terminals are respectively connected to four input signals a, b and the output signal y of the single-rail OR logic circuit is the OR logic result of the input signals a and b; the output signal of the single-rail OR non-logic circuit is the OR of the input signals a and b illogical result.