Patents
Literature
Patsnap Eureka AI that helps you search prior art, draft patents, and assess FTO risks, powered by patent and scientific literature data.

7 results about "Intermediate logic" patented technology

In mathematical logic, a superintuitionistic logic is a propositional logic extending intuitionistic logic. Classical logic is the strongest consistent superintuitionistic logic; thus, consistent superintuitionistic logics are called intermediate logics (the logics are intermediate between intuitionistic logic and classical logic).

Techniques for transforming natural language conversation into a visualization representation

Techniques are disclosed herein for transforming natural language conversations into a visual output. In one aspect, a computer-implement method includes generating an input string by concatenating a natural language utterance with a schema representation comprising a set of entities for visualization actions, generating, by a first encoder of a machine learning model, one or more embeddings of the input string, encoding, by a second encoder of the machine learning model, relations between elements in the schema representation and words in the natural language utterance based on the one or more embeddings, generating, by a grammar-based decoder of the machine learning model and based on the encoded relations and the one or more embeddings, an intermediate logical form that represents at least the query, the one or more visualization actions, or the combination thereof, and generating, based on the intermediate logical form, a command for a computing system.
Owner:ORACLE INT CORP

Techniques for transforming natural language conversations into visual representations

Techniques for transforming natural language conversations into visual outputs are disclosed herein. In one aspect, a computer-implemented method includes generating an input string by joining a natural language utterance with a schema representation including a set of entities for visualizing an action; generating, by a first encoder of the machine learning model, one or more embedding of the input string; encoding, by a second encoder of the machine learning model, a relationship between an element in the schema representation and a word in the natural language utterance based on the one or more embedding; generating, by a syntax-based decoder of the machine learning model, an intermediate logical form representing at least the query, the one or more visualization actions, or a combination thereof based on the encoded relationship and the one or more inserts; and generating a command for the computing system based on the intermediate logical form.
Owner:ORACLE INT CORP

Method and apparatus for improved semantic parser including coarse semantic parser and fine semantic parser

The present disclosure relates to improved semantic parsers including a coarse semantic parser and a fine semantic parser. Techniques are described for improving a semantic parser of a dialog system by decomposing the semantic parser into a coarse semantic parser and a fine semantic parser. The methods described herein include accessing an utterance received in a dialog system. The utterance is a text-based natural language expression. The methods further include applying a coarse semantic parser to the utterance to determine an intermediate logical form for the utterance. The intermediate logical form indicates one or more intents in the utterance. The methods further include applying a fine semantic parser to the intermediate logical form to determine a logical form for the utterance. The logical form is a syntactic expression of the utterance according to an established grammar, and the logical form includes one or more parameters of the one or more intents. The logical form can be used to have a conversation with a user of the dialog system.
Owner:ORACLE INT CORP

Black box code analysis and test case generation method and device and storage medium

The invention relates to a black box code analysis and test case generation method and device and a storage medium, which are applied to the technical field of software testing, and the method comprises the following steps: transparentizing an originally invisible internal logic state by non-intrusively obtaining a variable change track and an execution path in a black box code; therefore, testers can accurately position intermediate logic errors, and the problem that the internal state cannot be observed in a traditional black box test is solved. And secondly, by systematically restoring the logic structure and the execution path of the code, the uncovered logic branches can be accurately identified, and the complementary test case can be intelligently and reversely deduced and generated, so that the defects that the traditional black box test depends on experience and is incomplete in coverage are overcome, and the test depth and efficiency are remarkably improved. And thirdly, a system tracking interface is adopted for monitoring, byte codes of target codes do not need to be modified, and the possible influence of an intrusive method on the program performance and stability is avoided.
Owner:BEIJING YUNXING ONLINE SOFTWARE DEV CO LTD

Target program generation method and system, computer equipment and computer program product

The invention is suitable for the technical field of intelligent development, and provides a target program generation method and system, computer equipment and a computer program product. Performing semantic analysis and information extraction on the natural language text to obtain an entity control element set and a logic relation set of the natural language text; generating an intermediate logic representation based on the entity control element set and the logic relationship set, wherein the intermediate logic representation is independent of the target program language; and generating an executable target program corresponding to the natural language text according to the intermediate logic representation and the language specification of the target program language. According to the method provided by the invention, dependence on experience of engineers can be avoided, and the efficiency and quality of target program development are improved.
Owner:SHENZHEN UNIMAT AUTOMATION TECH

A method, apparatus and storage medium for black-box code analysis and test case generation

ActiveCN121365003BSolve the problem of being unable to observe internal statesprecise positioningError detection/correctionPathPingObject code
This invention relates to a method, apparatus, and storage medium for black-box code analysis and test case generation, applied in the field of software testing technology. It includes: non-intrusive acquisition of variable change trajectories and execution paths within black-box code, making previously invisible internal logic states transparent, enabling testers to accurately locate intermediate logic errors, and solving the problem of traditional black-box testing's inability to observe internal states. Secondly, by systematically reconstructing the logical structure and execution path of the code, this application can accurately identify uncovered logical branches and intelligently reverse-engineer and generate supplementary test cases, overcoming the shortcomings of traditional black-box testing, such as reliance on experience and incomplete coverage, significantly improving the depth and efficiency of testing. Thirdly, this application uses a system tracing interface for monitoring, without modifying the target code's bytecode, avoiding the potential impact of intrusive methods on program performance and stability.
Owner:BEIJING YUNXING ONLINE SOFTWARE DEV CO LTD

Gate driving circuit and gate driving method of power converter

The invention discloses a gate driving circuit and a gate driving method for a power converter. The power converter comprises an upper tube and a lower tube which are connected in series, and the gate driving circuit comprises an upper tube driving unit which is configured to generate a first gate driving signal for the upper tube according to a first logic signal; the delay compensation unit is configured to perform delay compensation on a second logic signal to generate an intermediate logic signal, and the delay time corresponds to the conduction response time of the upper tube; and a lower tube driving unit configured to generate a second gate driving signal for the lower tube according to the intermediate logic signal. The gate drive circuit dynamically adjusts the turn-off time of the lower tube according to the turn-on response time of the upper tube so as to realize adaptive dead zone control, thereby improving the reliability and conversion efficiency of the power converter.
Owner:3PEAK INC