33 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.

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.

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 method and equipment for analyzing unstructured data and a storage medium. The method comprises the following steps: constructing a predefined standard semantic operator set, wherein each operator has logic representation; receiving a natural language query input by a user as a to-be-simplified query; performing semantic analysis on the to-be-simplified query by using the large language model to generate a logic representation of the to-be-simplified query; candidate operators are matched and screened based on the semantic similarity between the logic representation and the operator logic representation; the candidate operators are reordered; sequentially applying candidate operators to simplify the query until the simplification is successful; and when it is determined that the current simplified query is a non-redecomposable minimum semantic unit, constructing and executing a plan according to a query simplification process. Through automatic plan generation and optimization, the technical threshold of unstructured data analysis is remarkably reduced, and the query efficiency and accuracy are improved.

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.

The disclosure relates to a method for verifying a logical representation of a storage grid for an automated storage and retrieval system, wherein the storage grid is installed in a physical environment, the method comprising receiving data associated with a position of one or more features within the physical environment, wherein the data is captured using at least one sensor associated with a remotely operated vehicle in a known position relative to the storage grid; comparing the received data to the logical representation; and verifying the logical representation based on a result of the comparing; wherein the verified logical representation is for controlling movement of one or more robotic container-handling vehicles relative to the storage grid.

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.

A method, apparatus and product comprising: obtaining a logical representation of a quantum circuit, wherein the logical representation comprises a plurality of logical qubits manipulated by a plurality of logical gates; and generating a physical representation of the quantum circuit, the physical representation is configured to allocate a set of physical qubits of a quantum computer to the plurality of logical qubits in order to implement error correction operations The generating includes selecting a first quantity of physical qubits from the set of physical qubits for a first separate section of the quantum circuit; selecting a second quantity of physical qubits from the set of physical qubits for a second separate section of the quantum circuit, and synthesizing the quantum circuit using the first and second quantities for the first and second separate sections.

A device is disclosed that includes multiple channels and multiple processing nodes. Each processing node includes input / output (I / O) ports coupled to the channels and channel control modules coupled to the I / O ports. Each processing node is configured to select, by the channel control module in a first operation, a first I / O port of the I / O ports; communicate a first message, via the first I / O port, to a first processing node over a first channel or a second processing node over a second channel orthogonal to the first channel in a logic representation; select, by the channel control module in a second operation, a second I / O port of the I / O ports; and communicate a second message, via the second I / O port, to a third processing node over a third channel extending in a diagonal direction and non-orthogonal to the first and second channels in the logic 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.

The present invention provides a data verification logic description system and a data verification calculation system, including: a data source analysis module: providing functions such as online real-time data source definition, legality check and related analysis, and processing and extracting metadata into data source knowledge; a compilation module: receiving the data source knowledge provided by the data source analysis module, performing joint analysis and logic optimization work, and generating a final logic representation; a data input module: extracting data to be verified; a code generation module: generating executable code by using the above-mentioned final logic representation and data source knowledge; a calculation core module: completing verification calculation according to the generated code and verification data; a result output module: receiving the verification result, completing result persistence, and finally realizing loose coupling of the three elements. The present invention can simplify the development, testing and deployment processes, improve the maintainability of the verification logic; can avoid duplicate construction, save scientific and technological resources, and greatly promote the balanced utilization of system resources and improve the calculation efficiency.

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.

According to an implementation of the present disclosure, a clause-based semantic parsing scheme is provided. In this scheme, a first clause with independent semantics is determined from a target statement. Based on a first logical representation corresponding to the semantics of the first clause, the target statement is converted into a first intermediate statement. Subsequently, at least one logical representation corresponding to at least part of the semantics of the first intermediate statement is determined. The first logical representation obtained above and the at least one logical representation can be used to determine a target logical representation corresponding to the semantics of the target statement. Thus, more accurate semantic parsing can be achieved.

A method, product, and apparatus comprising: obtaining a logical representation of a quantum circuit that defines a plurality of gate operations on subsets of a plurality of logical qubits; obtaining a physical representation of the quantum circuit on a quantum computer comprising a set of physical qubits positioned on a plane embedded in at least two dimensions, the physical representation comprising: a division of the set of physical qubits into a plurality of patches, the plurality of patches comprising qubit patches and auxiliary patches; and a mapping of the plurality of logical qubits to the qubit patches; allocating the plurality of gate operations to a set of layers, whereby determining a reduced number of layers for the quantum circuit; and synthesizing the quantum circuit according to the set of layers.

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 relates to a code construction method and system for behavior rules, and relates to the technical field of simulation modeling. A rule logic diagram corresponding to the target behavior rule is obtained, the rule logic diagram comprises at least one component, each component is used for achieving at least one function in the target behavior rule, and the components with the logic relation are connected through directed edges; performing conversion processing on the rule logic diagram by utilizing a set conversion tool to obtain an intermediate representation diagram with a set representation form; performing analysis processing on the intermediate representation graph to identify components included in the intermediate representation graph and a logical relationship between the identified components; acquiring a component code of the identified component; and combining the obtained component codes according to the logic relationship between the identified components, and constructing to obtain the code of the target behavior rule. The information loss is reduced, and flexible expansion of different logic representations and different code platforms can be supported by means of the logic intermediate representation graph.