50 results about "Rewrite rule" patented technology

A method and apparatus are provided for analyzing software programs. The invention combines data flow analysis and symbolic execution with a new constraint solver to create a more efficient and accurate static software analysis tool. The disclosed constraint solver combines rewrite rules with arithmetic constraint solving to provide a constraint solver that is efficient, flexible and capable of satisfactorily expressing semantics and handling arithmetic constraints. The disclosed constraint solver comprises a number of data structures to remember existing range, equivalence and inequality constraints and incrementally add new constraints. The constraint solver returns an inconsistent indication only if the range constraints, equivalence constraints, and inequality constraints are mutually inconsistent.

Techniques are provided for detecting entailment and contradiction. Packed knowledge representations for a premise and conclusion text are determined comprising facts about the relationships between concept and/or context denoting terms. Concept and context alignments are performed based on alignments scores. A union is determined. Terms are marked as to their origin and conclusion text terms replaced with by corresponding terms from the premise text. Subsumption and specificity, instantiability, spatio-temporal and relationship based packed rewrite rules are applied in conjunction with the context denoting facts to remove entailed terms and to mark contradictory facts within the union. Entailment is indicated by a lack of any facts from the packed knowledge representation of the conclusion in the union. Entailment and contradiction markers are then displayed.

A switch includes a processor, an ingress port having ingress port logic, and an egress port. It may also include a virtual network identifier rewrite component for rewriting a virtual network identifier in a data frame received the ingress port with a new virtual network identifier. Also included is a virtual network identifier rewrite rule set, where a rule may have one or more of the following: a received virtual network identifier, a source Fibre Channel identifier (FCID) address, an ingress port identifier, and a new virtual network identifier. The ingress port logic may insert a received virtual network identifier into the data frame received at the ingress port, where the virtual network identifier may correspond to the ingress port. The virtual network identifier rewrite component may assign the new virtual network identifier to the data frame according to a specific virtual network identifier rewrite rule.

A rewrite component automatically generates rewrite rules that describe how uniform resource locators (URLs) can be rewritten to reduce or eliminate different URLs that redundantly refer to the same or substantially the same content. The rewrite rules can be applied to URLs received when crawling a network to increase the efficiency of the crawl and the corresponding document index generated from the crawl.

A linguistic rewriting rule for use in linguistic processing of an ordered sequence of linguistic tokens includes a token pattern recognition rule that matches the ordered sequence of linguistic tokens with a syntactical pattern. The token pattern recognition rule incorporates a character pattern recognition rule to match characters contained in an ambiguous portion of the ordered sequence of linguistic tokens with a character pattern defining a corresponding portion of the syntactical pattern.

The present invention discloses the use of a hand-held calculator programmed to teach subject matter such as mathematics in a manner that emulates traditional step-by-step teacher-student teaching methods and shows the important intermediate steps. The method evaluates a selected problem against a master set of possible operations, organized according to a hierarchy that can be applied to the problem and then provides choices of several operations that are applicable or can operate on a selected problem. Importantly, the choices available to the student will not always lead to a solution or simplification of the problem. This allows the student to see the effect of a good choice, as well as a poor choice. If the problem can be operated on further, the results of the previous operations have a new problem or expression to be solved. This repetitive process continues until there are no further operations possible that will move the problem closer to a final solution.

A computer-implemented method for merging a first and second modeled object which are modified versions of an initial modeled object and are defined by a first and second graphs. The method comprises merging the first graph and the second graph. For this, the method comprises computing a first rewriting rule and a second rewriting rule corresponding respectively to a transformation of an initial graph into the first graph and the second graph, determining a third rewriting rule by assembling the first rewriting rule and the second rewriting rule, and computing a merged graph by applying the third rewriting rule to the initial graph. Such a method is an improvement for the merging of modeled objects.

It is provided a computer-implemented method for updating a modeled object. The method comprises providing an operation, an old input graph of the operation, an old output graph corresponding to an application of the operation to the old input graph, a new input graph of the operation. The method also comprises computing a rewriting rule that specifies a replaced which is a part of the old input graph to be replaced, a replacement which is a part of the new input graph to replace the replaced, an interface which is a part common to the replaced, the replacement and the old output graph. The method further comprises applying the rewriting rule to the old output graph. The method is an improvement to updating a modeled object.

Embodiments of the invention relate to automatically suggesting query-rewrite rules. One embodiment includes providing a missing search result for a query. A collection of semantically coherent rewrite rules are generated based on the missing search result. Generating the missing search result includes: selecting candidates including subsequences of the query and subsequences of particular fields of a document, invoking a search engine using the candidates for providing search results, filtering out particular candidates that fail to achieve a desired search result, and classifying remaining candidates based on a learned classifier. Query rewrite rules for document searching are suggested based on the classified remaining candidates.

The invention discloses a system for realizing data desensitization. The system comprises a database, a rule setting module, a to-be-changed script recognition module, a script changing module and a script execution module, wherein the rule setting module, the to-be-changed script recognition module, the script changing module and the script execution module are connected in sequence; according to the rule setting module, an access permission of a user on data is set according to a business demand in advance, and sql rewriting rules are set for sensitive fields and stored into the database; according to the to-be-changed script recognition module, the access permission of the user on the data is judged, an sql script of an unauthorized user is recognized, and a to-be-changed script is determined; the script changing module rewrites and changes the sql script of the unauthorized user; and the script execution module executes the changed sql script, generates desensitized data and transmits the desensitized data to an access terminal accessed by the user. The invention furthermore discloses a desensitization method of the system for realizing data desensitization. Through the system and the method, targeted desensitization can be performed, and desensitization workload is reduced.

The invention relates to an advertising method, comprising the steps that: an advertisement application request of a web page is received, the advertisement application request carries the advertisement adaptation parameters; the corresponding advertisement basic information is selected according to the advertisement adaptation parameters; a rewritten version matched with the advertisement basic information is searched; when the rewritten version matched with the advertisement basic information exists, the rewritten version is sent to the web page. The invention further relates to an advertising server, comprising an information interface module, wherein, the advertising server further comprises: an advertisement content library, a rewriting module and an inquiry module; the rewriting module is connected with the advertisement content library, thus rewriting a default version of the advertisement according to the rewriting rules and saving the rewritten version into the advertisement content library; and the inquiry module is connected with the information interface module and the advertisement content library. The advertising method provides the rewritten version to the content advertisement, when the text of the rewritten version is simple and the meaning is clear, the attraction of the advertisement can be correspondingly increased, thus achieving better advertising effect.

The invention provides a method and a system for realizing receipt rewriting. The method comprises the following steps: receiving a receipt retrography request from a user, wherein the receipt rewriting request is the request for rewriting the data in a source receipt to a target receipt; querying a rewriting rule related to the source receipt, wherein the rewriting rule comprises a rewriting calculation formula; calculating the rewriting data by using the rewriting calculation formula; updating the rewriting data into the target receipt so as to realize the receipt rewriting. According to the embodiment of the invention, the professionals do not need to compile codes actively, thus work load can be lessened and then the efficiency of the receipt rewriting can be improved.

The present invention relates to the technical field of ASP.NET, and in particular relates to an ASP.NET-based pseudo static page implementation method. According to the method provided by the present invention, a rewrite rule is configured for webconfig by introducing a URLRewriter program set; a dynamic link is rewritten; when the rewritten link is accessed, an IIS performs rewrite parsing on the link, automatically turns to the dynamic link, and loads page data. The method according to the present invention solves the problem that, during the Web development process based on ASP.NET, search efficiency of a search engine is reduced because the link of real-time dynamic content is displayed, and is thus widely applied in ASP.NET development.

The present invention discloses a diagnosis method for analyzing the performance and the fault of ASP. NET application software. The method comprises the following steps: (1) when starting an ASP. NETapplication program, loading an IL code rewriting module through environment variables; (2) when the ASP. NET application program dynamically compiles the IL code, triggering the IL code rewriting function, and loading a monitoring function module for asynchronous processing; (3) in the process of processing an HTTP request, collecting an execution process and error information of a code segment;and (4) creating separate threads to asynchronously process the collected performance information and error information. According to the diagnosis method for analyzing the performance and the faultof ASP. NET application software disclosed by the present invention, without the involvement of developers, the difficulty of implementation is reduced, the rewriting rule is simple and easy to use, and the abnormalities are intercepted; and even if there is a bug, the original system cannot be affected, and by processing the classified application components and application errors, the data visibility is improved.

The invention provides a method and device for generating uniform resource locator (URL) rewriting rules. The method comprises the steps of obtaining a target URL set of a target website, wherein thetarget website is a website to generate the URL rewriting rules; obtaining a parameter set of mutually corresponding prefix parameters and resource parameters in the target URL set, wherein the resource parameters are sub-paths of the prefix parameters; and generating a URL rewriting rule set of the target website according to the parameter set. The URL rewriting rules of the website can be automatically analyzed according to an access log without manual participation by adopting the embodiment of the invention.