23 results about "Logical representation" patented technology

The invention relates to a public multi-mode cloud network resource software security enhancement method based on neural symbol fusion reasoning, which comprises the following steps: an intermediate representation generation stage: generating and optimizing an intermediate representation of a program through a fine-tuned large language model, and establishing semantic mapping from a source code to a structured logic representation; in the symbol language conversion stage, the intermediate representation generated by the large language model is converted into a domain-specific language fact set which can be recognized in the symbol logic reasoning stage, and formal and logic expression of program semantics is achieved; and a symbol logic reasoning stage: matching the fact set with the rule base through a symbol logic reasoning engine, performing detection and verification according to the safety rule, generating a structured report, and feeding back a result for optimization. The method is suitable for security enhancement of various core software systems in a public cloud network multi-modal network environment, high-precision security analysis is carried out on cross-modal and cross-subsystem fragmented codes in a compiling-free environment, and verifiable technical support is provided for public cloud network security control.

One embodiment of the present invention sets forth a technique for simplifying a trained machine learning model. The technique includes determining a first set of images associated with a first output class predicted by the trained machine learning model. The technique also includes generating a first logical representation of the first set of images, wherein the first logical representation includes one or more conjunctions of a first set of pixel values included in a first image and a disjunction of the first set of pixel values and a second set of pixel values included in a second image. The technique further includes generating a simplified representation of the trained machine learning model that includes a first mapping of the first logical representation to the first output class, wherein the first mapping indicates that the trained machine learning model predicts the first output class for one or more input images.

According to implementations of the subject matter described herein, a clause-based semantic parsing solution is provided. In the solution, a first clause with independent semantics is determined from a target statement. The target statement is converted to a first intermediate statement based on a first logical representation corresponding to the first clause. Subsequently, at least one logical representation corresponding to at least part of semantics of the first intermediate statement is determined. The first logical representation and the at least one logical representation may be used to determine a target logical representation corresponding to semantics of the target statement. Therefore, more accurate semantic parsing can be achieved.

Systems and methods are provided for facilitating the management of code during software development by dynamically partitioning the code and by generating visualizations of logical presentations of the partitioned code. Context and scope are determined for the code. The code is partitioned according to the determined context and scope. Partitioned segments are presented within a coherent virtual file view while omitting less relevant code from the coherent virtual file view. The partitioned view can help facilitate navigation and editing efficiencies during code development, particularly for large source files.

In accordance with the described techniques, a device or system includes a digital logic circuit organized into multiple partitions, and a power gating circuit. Further, the digital logic circuit includes base logic representing the digital logic circuit before being modified by external logic of the system that is external to the digital logic circuit. The power gating circuit is configured to independently control power supplied to the multiple partitions of the digital logic circuit. As part of this, the power gating circuit initiates a power state transition to a power state in which an entirety of the base logic of the digital logic circuit is powered off.

Embodiments of the disclosure provide systems and methods for curating access-only content items of user groups in a cloud-based collaboration environment by creating a content hub in the cloud-based collaboration environment. The content hub can comprise a logical representation of a collection of content items stored in a repository. The content hub can be populated with hub information defining the content hub and selected content items of the content items stored in the repository can be added to the content hub. The content hub can then be published in the cloud-based collaboration environment with the selected content items added to the content hub being available for access only to one or more users.

Data replication can be used to copy database data from a primary deployment to a secondary deployment in a network-based data system. Logical representation of the clone tables in the secondary deployment can be used to reduce data transfer and storage costs. In response to a refresh request, the data system may clone from existing tables stored in the secondary deployment by applying a difference operation on the existing tables instead of copying entire cloned tables for each refresh request.

Described herein embodiments of a query processing system. The query processing system optimizes execution by generating an optimized slot-based execution (SBE) plan for executing the query. The query processing system optimizes query execution by generating a logical representation of the query, optimizing the logical representation of the query, and translating the optimized logical representation of the query into an SBE plan. The query processing system then executes the SBE plan to generate the query results.

The application discloses a memory conversion method, comprising the following steps: obtaining an initial netlist; traversing the initial netlist to determine a plurality of first memories and a plurality of second memories capable of being mapped as BSRAM; obtaining the number of read-write ports and address size of each first memory and each second memory; mapping each first memory as BSRAM of corresponding types and quantities according to the number of read-write ports, data width and address width of each first memory, or mapping each second memory as BSRAM of corresponding types and quantities according to the number of read-write ports, data width and address width of each second memory. The application further discloses a system, a computer device and a readable storage medium. The scheme provided by the application can be applied in chip design or FPGA design, when the design contains a logically represented memory, the memory can be replaced by 1 or several BSRAMs, and the chip area occupied by the memory can be effectively reduced.

The invention discloses an intelligent diagnosis and self-healing method for transmission abnormity of a communication system, and the method comprises the steps: carrying out the real-time analysis of collected mass signal data according to a pre-established abnormity type judgment rule base, and recognizing a potential transmission abnormity type; a fault diagnosis decision tree model is constructed, a system state evaluation index is comprehensively considered, and a root cause causing transmission abnormity is reasoned; according to a self-healing strategy configuration file, an optimal recovery measure is matched, and self-healing of the system is achieved through a backup data recovery mechanism or a redundant module hot switching function; for different types of signals, key feature parameters of the signals are extracted, and a transmission interruption risk prediction model is constructed in combination with a communication link topology logic representation method; mining abnormal transmission modes from a historical transmission event data set to form a transmission abnormal mode library as a knowledge base for interruption early warning; and calculating an interruption risk assessment index of each signal, and according to a risk grade division standard, judging a risk grade to which the signal belongs.

Described herein embodiments of a query processing system. The query processing system optimizes execution by generating an optimized slot-based execution (SBE) plan for executing the query. The query processing system optimizes query execution by generating a logical representation of the query, optimizing the logical representation of the query, and translating the optimized logical representation of the query into an SBE plan. The query processing system then executes the SBE plan to generate the query results.

This invention discloses a model-based method for learning robot operation skill parameters, including a single-skill policy learning module and a task-skill parameter learning module. The single-skill policy learning module includes an object-oriented representation model and a policy model conditioned on semantic goals. The task-skill parameter learning module includes an implicit state transition model learning module and an online skill parameter planning module. The single semantic skill policy learning module of this invention combines representation learning and reinforcement learning, integrating the reasoning transformation from visual input to the logical representation of the current system state with task-oriented robot policy learning to generate action parameters that satisfy the target logical state. Using reinforcement learning avoids extensive model design and processing, as well as the need for expert teaching data. Furthermore, by predefining the action sequences of skills based on an operation knowledge base, the search space for actions is reduced, lowering the exploration burden on the agent.

Disclosed are a method, device and storage medium for analyzing unstructured data. The method comprises: constructing a set of predefined standard semantic operators, each operator having a logical representation; receiving a natural language query input by a user as a query to be simplified; performing semantic analysis on the query to be simplified using a large language model to generate a logical representation thereof; screening candidate operators based on semantic similarity matching between the logical representation and the logical representations of the operators; reordering the candidate operators; applying the candidate operators to simplify the query in turn until the simplification is successful; and constructing and executing a plan according to the query simplification process when it is determined that the query after the current simplification is a minimum semantic unit that cannot be further decomposed. The application significantly reduces the technical threshold for unstructured data analysis and improves query efficiency and accuracy through automated plan generation and optimization.

A method, apparatus, and product comprising: obtaining a logical representation of a quantum program that comprises logical qubits and gate operations; converting the logical representation to a physical representation to be executed on a measurement-based quantum computer, said converting comprising: determining a segmentation of quantum sources into disjoint segments configured to generate consecutive layers of clusters of physical qubits separated by time delays; selecting for each segment an interleaving depth, said selecting comprises selecting a non-uniform distribution of interleaving depths between first and second disjoint segments; and allocating for each segment one or more logical qubits to be represented by the each segment; and synthesizing the quantum program according to the physical representation.

The embodiment of the invention provides a radio frequency path configuration method and device, electronic equipment and a storage medium, and the method comprises the steps: obtaining path data and device interface data, each radio frequency path of the at least one radio frequency path comprises at least one first device and a logic port of each first device; the device interface data comprises at least one second device, a physical port of each second device and an internal logic representation of the physical port; determining a physical port corresponding to the logic port of each first device in the target radio frequency path; and updating a logic port in the path data into a corresponding physical port to obtain updated path data. According to the technical scheme, the physical port corresponding to each first device in each radio frequency path is automatically searched, matched and confirmed, and then the corresponding logic port is replaced by the physical port, so that the radio frequency path is automatically configured, and the configuration efficiency of the radio frequency path is improved.

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.

The invention provides a database query method and device and electronic equipment, and relates to the technical field of artificial intelligence, in response to a natural language query request of a user, obtaining a structured logic representation of the query request and database information related to the query request; the structured logic representation comprises a plurality of sub-query requests obtained by decomposing the query request, and execution logic and / or query result dependency relationships among the plurality of sub-query requests; the database information is used for supporting mapping the structured logic representation into a query statement executable by a database, so that a first cue word used for generating the query statement is constructed based on the structured logic representation and the database information, and the first cue word is processed based on a first model to generate a target query statement; the target query statement is configured to obtain query result data used for replying to the query request from the database.

One example of the present disclosure includes performing a comparison operation in memory using a logical representation of a first value stored in a first portion of a number of memory cells coupled to a sense line of a memory array and a logical representation of a second value stored in a second portion of the number of memory cells coupled to the sense line of the memory array. The comparison operation compares the first value to the second value, and the method can include storing a logical representation of a result of the comparison operation in a third portion of the number of memory cells coupled to the sense line of the memory array.

Described herein embodiments of a query processing system. The query processing system optimizes execution by generating an optimized slot-based execution (SBE) plan for executing the query. The query processing system optimizes query execution by generating a logical representation of the query, optimizing the logical representation of the query, and translating the optimized logical representation of the query into an SBE plan. The query processing system then executes the SBE plan to generate the query results.

A method for optimizing the placement and routing of compute units and memory units within a reconfigurable computing grid is disclosed. The method involves obtaining a hardware description of the computing grid, receiving a placement graph for a computing task, forming subgraphs for unplaced memory units with primary connections, assigning subgraphs as clusters on the grid, and generating a configuration file for a physical reconfigurable processor. By strategically placing clusters on the grid and configuring the processor based on the logical representation, efficient execution of reconfigurable computing tasks is achieved. This method enhances the performance and flexibility of reconfigurable computing systems by streamlining the allocation of compute and memory resources.

Systems and methods are provided for facilitating the management of code during software development by dynamically partitioning the code and by generating visualizations of logical presentations of the partitioned code. Context and scope are determined for the code. The code is partitioned according to the determined context and scope. Partitioned segments are presented within a coherent virtual file view while omitting less relevant code from the coherent virtual file view. The partitioned view can help facilitate navigation and editing efficiencies during code development, particularly for large source files.

The invention provides a large model inductive deductive reasoning method, which relates to the field of large models, effectively eliminates noise samples with similar case descriptions but contrary logics through double constraints of fact recombination and category limitation, constructs determined logic representations through an FOL symbolization form, and combines a feedback-driven cause-tracing reasoning mechanism, so as to improve the reliability of the large model. And refined logic induction of case fact features is realized. The inherent defect that a large model tends to be excessively generalized based on surface semantics is effectively overcome, fact features causing conclusion differences can be captured and internalized, and accurate logic mapping from key facts to decision conclusions is established. According to the method, a dynamic balance mechanism is established between pure logic reasoning and scene intuition by introducing a semantic constraint auto-reflection strategy, the rigid limitation of a traditional deductive reasoning mechanical application rule is broken through, and the self-adaptive ability of the model to cope with exceptional plots and complex contexts is improved.

A method, product and apparatus including obtaining a logical representation of a quantum circuit having logical qubits and determining a physical representation of the quantum circuit by allocating physical qubits of a quantum computer to quantum components of the physical representation. Such allocating includes determining a pattern of qubit patches representing the logical qubits. A qubit patch includes two slots for representing two logical qubits. The pattern includes an arrangement of the qubit patches in a first number of rows and a second number of columns. The method then includes determining a mapping of the logical qubits to the qubit patches based on first and second factors, determining, based on the mapping, a number of T-factories to be included in each T-factory patch, and synthesizing the quantum circuit according to the physical representation.