39 results about "Semantic equivalence" patented technology

Aspects of the invention pertain to analyzing and modifying access control lists that are used in computer networks. Access control lists may have many individual rules that indicate whether information can be passed between certain devices in a computer network. The access control lists may include redundant or conflicting rules. An aspect of the invention determines whether two or more access control lists are equivalent or not. Order-dependent access control lists are converted into order-independent access control lists, which enable checking of semantic equivalence of different access control lists. Upon conversion to an order-independent access control list, lower-precedence rules in the order-free list are checked for overlap with a current higher precedence entry. If overlap exists, existing order-free rules are modified so that spinoff rules have no overlap with the current entry. This is done while maintaining semantic equivalence.

A prevention-based network auditing system includes an audit repository storing network information gathered by a plurality of heterogeneous information sources. A semantic normalization module identifies semantic equivalencies in the gathered information, and generates a map listing for each fact gathered by an information source, an equivalent fact or set of facts gathered by each of the other information sources. A network policy is then uniformly applied to the information that is identified as being semantically equivalent.

A method and system for managing a policy includes, in response to determining the presence of a conflict, determining a semantic equivalence between a component of a policy rule and at least one additional policy rule. The determining a semantic equivalence is performed by using a semantic reasoning algorithm that includes the steps of determining a first policy target of a first policy rule and a second policy target of a second policy rule, determining a meaning of the first policy target and a meaning of the second policy rule, assigning a confidence value based on the determined meaning of the first policy, assigning a confidence value based on the determined meaning of the second policy, performing a semantic comparison between the first policy target and the second policy target, and determining, based at least in part on the semantic comparison, the presence of a conflict between the first and second policy targets.

In one embodiment, a method comprises receiving an application that describes functions according to a prescribed symbol manipulation language, the prescribed symbol manipulation language a non-Turing complete language that does not permit partial functions and describes the functions independent of any attribute of any computing system; identifying, in the application, a distribution annotation that identifies a candidate element in the application, the candidate element configured for execution in a distributed computing operation by a distributed computing system comprising two or more distributed computing devices; generating one or more variants of the application based on executing a nondestructive transformation of the application relative to prescribed equality axioms, at least one of the variants containing a corresponding semantically-equivalent variation of the candidate element; and selecting one of the variants as an optimization for execution of the application by the distributed computing system relative to prescribed metrics.

The invention relates to a system for automatically converting a hardware language VHDL (Vhsic Hardware Description Language) into an MSVL (Modeling, Simulation and Verification Language). The system can convert a VHDL language program file into an MSVL language program file; the conversion system comprises a file analysis module, a lexical analysis module, a syntactic analysis, an information storage module, a translation module and a translation result character string connection module. After a VHDL program is converted into an MSVL program, model construction and property description use the same language, so that verification is carried out in the same logic framework and indirect model detection on the VHDL language program is conveniently realized. In the converting process, the VHDL program is converted into the semantic equivalent MSVL program by making conversion rules of different grammatical structure through a plurality of additional auxiliary means, so that correctness of a source VHDL program can be ensured by carrying out simulation, model construction and verification on the equivalent MSVL program.

Techniques for sharing cursors are provided. When a new query is issued, a database server determines whether the new query is semantically equivalent to a previous query. If so, then database server computes statistics associated with the new query. Based on the statistics, the database server determines whether compiling the new query would produce an execution plan that satisfies certain criteria. If so, then the cursor is used to execute the new query. In another approach, one cursor sharing technique (CST) is used to determine which cursor to use to execute a first set of semantically-equivalent queries. Statistics are gathered during execution of the first set of queries. The database server determines, based on the statistics, when to switch from using the first CST to a different CST. The different CST is used to determine which cursor to use to execute a second set of queries that are semantically-equivalent to the first set.

Disclosed is a software device (“Synchronizer”) incorporating functional synchronization and data level synchronization to maintain semantic equivalence between data elements of at least two data stores. The synchronizer may be configured to operate as a pure uni-directional data level synchronizer with data model remapping and business rule validation of the data or as a pure bi-directional functional synchronizer with data remapping and transaction remapping. Additionally, the Synchronizer can operate as a hybrid of data level synchronization occurring below the business logic layer of the program and of functional synchronization occurring in the business logic layer.

The invention discloses a problem equivalence discrimination method combining semi-supervised learning and ensemble learning. The method comprises the following steps: S1, synonym normalization: 1) embedding word vector; 2) judging word similarity; 3) manual judgment; S2, performing semantic equivalence identification: calculating a dual network based on LSTM; calculating a dual network model based on the CNN; calculating on the basis of a Match Pyramid model; extracting features artificially. According to the method, synonyms are generated and introduced in a semi-supervised mode, so that the whole system can be flexibly adjusted according to specific fields, semantic equivalence of problems is judged through four different models of ensemble learning, and the advantages of the differentmodels are brought into play.

The invention discloses a system evaluation method, an intelligent evaluation system and a computer-readable storage medium. The method comprises a step of obtaining a conversation record generated bythe communication between an intelligent customer service system and a customer, a step of counting and analyzing a semantic equivalence probability of a question consulted by each customer, the number of rounds of conversations of each customer and a probability that the customer transfers to staff customer service to obtain statistical data, and a step of comprehensively evaluating the servicelevel of the intelligent customer service system according to the statistical data so as to obtain an evaluation result. According to the system evaluation method, the intelligent evaluation system and the computer-readable storage medium, the evaluation mode of the manually evaluating the intelligent customer service system is changed, an automated system evaluation mechanism is adopted, the objective and comprehensive systematic evaluation of the intelligent customer service system is achieved from the overall perspective of the intelligent customer service system, the subjectivity and curvelimitations of manual evaluation are avoided so as to obtain a real and effective evaluation result of the service level of the intelligent customer service system, thus the accuracy of an evaluationeffect is improved, the real service level of the intelligent customer service system is fed, and thus the evaluation efficiency is improved.

The invention belongs to the technical field of computer transplantation, and particularly relates to a binary translation intermediate representation correctness testing method and device based on semantic equivalence verification, and the method comprises the steps: building a mapping rule between a source platform instruction and an intermediate representation; Performing state initialization on the intermediate representation, and constructing a test case; And for the test case, independently executing the source platform instruction and the intermediate representation respectively, and judging whether the semantics between the source platform instruction and the intermediate representation are equivalent or not according to an independent execution result. According to the invention,an intermediate code correctness test irrelevant to a specific system architecture can be realized; a black box and white box testing method is combined; The method can quickly, efficiently and accurately locate the problems existing in the binary translation intermediate representation, improves the test accuracy and efficiency, further shortens the software development test period, guarantees the software quality and reliability, and has a certain guiding significance for binary translation tests between different platforms and the computer software cross-platform transplantation technology.

The invention discloses an MSVL (modeling, simulation and verification language) linear constraint system and an implementation method thereof and belongs to the technical field of formal modeling and constraint solving. The MSVL linear constraint system comprises a constraint definition subsystem and a constraint solving subsystem, and the grammatical structure of every statement module in the constraint definition subsystem is applicable to semantic equivalence rules and state transition rules in the constraint solving subsystem. The implementation method of the MSVL linear constraint system includes selecting corresponding statement modules to model problems to be solved as MSVL program M, simplifying the M to be in the form of w Lambada q by utilizing the semantic equivalence rules, implementing the state program w in the current state by utilizing the state transition rules, then simplifying the time sequence program q to be in the next state to continue implementation by utilizing interstate transition rules and finally proposing a solution. Linear constraint structure is expanded in interval logic language, so that the implementation method has huge expression ability and is more convenient for solving the problems of scheduling, computer vision, combinatorial optimization and the like which relate to the linear constraint system in industrial applications.

The present invention discloses a method and system for processing semantic fragments. Some embodiments of the present invention provides a method for processing semantic fragments. The method comprises: obtaining a plurality of groups of semantic fragments, the plurality of groups of semantic fragments at least including a first group of semantic fragments generated from a first data processing flow and a second group of semantic fragments generated from a second data processing flow, the first data processing flow being different from the second data processing flow; and merging the first group of semantic fragment and the second group of semantic fragment based on semantic equivalence. A corresponding system is also disclosed.

Systems and methods of natural language processing in an environment with no existing corpus are disclosed. The method includes defining an input grammar specific to a chosen domain, the input grammar having a domain specific knowledge and general grammatical knowledge. Groups of tokens are identified within the input grammar having syntactic and semantic equivalence. The identified groups are assembled into hypernyms, wherein the hypernyms include a semantic output for each token in the hypernyms. A list of fields is then combined with the hypernyms for combination with the hypernyms. A corpus of possible combinations of hypernyms and fields is created. A data structure mapping each possible combination to a partial semantic output is generated and the data structure is saved for use in later processing.

Methods and systems for document image decoding incorporating a Stack algorithm improve document image decoding. The application of the Stack algorithm is iterated to improve decoding. A provisional weight is determined for a partial path to reduce template matching. In addition, semantically equivalent hypotheses are identified to reduce redundant hypotheses.

The invention discloses a semantic equivalence judgment method and device. The method comprises the steps of generating a plurality of vectors corresponding to a first statement and a plurality of vectors corresponding to a second statement according to the first statement and the second statement; matching the plurality of vectors corresponding to the first statement with the plurality of vectorscorresponding to the second statement, and generating similarity representation according to a matching result; splicing the similarity representations, and screening the spliced similarity representations through a similarity representation layer of the model; inputting the screening result into a self-attention layer of the model, calculating a self-attention value through the self-attention layer, wherein the self-attention value reflects the internal structures of the first statement and the second statement; and judging whether semantics between the first statement and the second statement are equivalent or not according to the self-attention value. The method is higher in accuracy for judging whether semantics among multiple sentences are equivalent or not compared with the prior art, so that the method can be used for solving the problems in the prior art.

The invention discloses an SQL injection statement transformation method based on context-independent grammar, which needs to generate a large amount of semantic equivalence transformation on an SQL injection statement during network security attack and defense research. On the basis of the improved context-independent grammar and in combination with semantic matching and other methods, infinite equivalence replacement in theory can be generated according to a single SQL injection statement, semantic equivalence is achieved, and functionality and maliciousness are reserved. According to the invention, the entry generated by replacement is matched by using a semantic-based mode, so that the SQL injection statement is processed in a finer-grained manner, and meanwhile, the damage of a regular matching method to the functionality of the SQL injection statement is avoided.