526 results about "Intermediate language" patented technology

The invention relates to the technical field of metadata generation, and discloses a data platform metadata automatic generation method based on a large model, which comprises the following steps of: firstly, performing unified standardization and preliminary grammatical analysis on an original SQL (Structured Query Language) code to obtain a structured intermediate representation; on the basis, preliminary blood relationship analysis based on rules is carried out, and simple column references are quickly identified and processed. For complex expressions which are difficult to accurately analyze by a traditional method, code snippets and context information of the complex expressions are accurately extracted and submitted to a large language model for deep semantic understanding and complex blood relationship analysis. And finally, integrating the complex consanguinity analyzed by the large model with the initial consanguinity list to form a comprehensive and accurate field-level consanguinity, and further generating complete data platform metadata. In this way, the defect that a traditional analysis tool understands complex semantics is effectively overcome, and the accuracy and integrity of metadata generation are remarkably improved.

The invention belongs to the technical field of equipment knowledge engineering and natural language processing, and discloses an LLM-based constraint and self-repairing uniformization equipment knowledge graph automatic construction method. The method comprises the following steps: firstly, acquiring equipment related document data through network collection, document arrangement and database query; then, utilizing an equipment domain ontology and constraints as preposed soft and hard constraints, driving LLM to generate semantic intermediate representation, and obtaining candidate triples through structured compiling; then, a self-repairing closed loop is formed through semantic unit testing, logic consistency detection and evidence binding verification, and triples which violate constraints and have conflicts or illusions are automatically recognized and repaired; and finally, entity standard identification, cross-document duplicate removal combination and conflict resolution are realized through cross-segment unification and incremental alignment. According to the method, the fragile path that the LLM directly generates the triple and blindly stores the triple is avoided, the illusion and inconsistency problems are effectively inhibited, and the correctness, interpretability and maintainability of the equipment knowledge graph are remarkably improved.

The invention relates to the technical field of artificial intelligence and natural language processing, in particular to a cue word compiling and generating method and system for a large language model.The method comprises the steps that in response to a compiling calling request, a PDL protocol is received to serve as a compiling input text; performing lexical and grammatical analysis on the compiled input text, and constructing a corresponding abstract syntax tree AST as an intermediate representation according to a context-independent method; semantic verification and structure correction are carried out on the AST, and when semantics are effective, structure optimization is carried out to generate an optimized AST; and traversing the optimized AST, matching a cue word template in a cue word generation rule base, mapping semantic nodes into structured text fragments, splicing the structured text fragments to form a final cue word text, and outputting a compilation result consistent with PDL protocol semantics. By introducing a PDL-oriented compiling mechanism, automatic analysis, structure optimization and high-quality cue word generation of an input protocol are realized before cue words of a large language model are generated, and the development efficiency and the output quality of the cue words are improved.

The invention discloses an intelligent contract vulnerability detection method based on a heterogeneous graph attention network. According to the method, firstly, the source code of the intelligent contract is preprocessed, the SCIR of the code of the intelligent contract is constructed, the complexity of the code of the contract is reduced, and vulnerability features are enriched; and constructing an intelligent contract code attribute graph SCPG based on SCIR, integrating various code graph structures such as an abstract syntax tree and a control flow graph, and comprehensively describing syntax and semantic features of the contract. And then constructing an intelligent contract code heterogeneous graph SCHG on the basis of the SCPG, optimizing code graph structure representation, and realizing high-quality modeling of node features. And finally, detecting the vulnerability of the smart contract by using a customized multi-layer heterogeneous graph attention network model MHGAN. The intelligent contract vulnerability detection method based on deep learning makes up for the defects of an existing intelligent contract vulnerability detection method based on deep learning, effectively improves the accuracy of intelligent contract vulnerability detection, and is excellent in the interpretability of the detection result.

The invention provides a file uploading attack interception method based on semantic entropy enhancement, and aims at overcoming the defects of an existing file uploading security protection technology in the face of complex attacks. The method specifically comprises the steps that S1, file format analysis and content extraction are conducted, hidden scripts are mined through nested content recognition, and intermediate representation is generated through grammar cleaning and coding specifications; s2, constructing an abstract syntax tree and semantic entropy calculation, tracking a pollution chain, analyzing a high-risk function, identifying a high-entropy character string, modeling and controlling flow complexity, and generating a semantic entropy vector; s3, dynamic scoring and decision making are carried out, and accurate judgment is carried out in combination with white list perception, feature comparison, multi-modal model scoring, adaptive threshold and sandbox observation; and S4, carrying out real-time interception and feature synchronization, blocking malicious file landing, generating an attack log and synchronizing an attack fingerprint. The method takes the semantic entropy vector as a core, breaks through the limitation of static features, remarkably improves the recognition rate of complex attacks, reduces missed judgment, and guarantees the safety of Web applications.

The invention relates to a data query method and device based on a natural language and a medium, and belongs to the technical field of data analysis. Receiving a natural language query input by a user; constructing task planning guide information based on the natural language query, and inputting the task planning guide information into the large language model to identify a target task type corresponding to the natural language query; when the target task type is a data query type task, determining a query target index corresponding to the natural language query from an index library; on the basis of a DSL dimension normal form corresponding to the query target index, dimension fields related to semantics of the natural language query and matched enumeration values are recognized from the multiple dimension fields and enumeration value sets; and constructing a structured intermediate representation, generating an executable code corresponding to the natural language query, and executing the executable code to obtain a corresponding structured query result from a data source. According to the method and the device, the accuracy and the interpretability are considered, and meanwhile, the SQL generation flexibility is improved.

The invention discloses a software requirement modeling method and device based on a natural language, equipment and a medium, and relates to the field of software requirement modeling. According to the software demand modeling method and device based on the natural language, the equipment and the medium, through automatic demand analysis and model generation, the manual workload is greatly reduced, and meanwhile, errors caused by manual understanding deviation are reduced; close connection among the steps is ensured by sharing intermediate representation and a unified data model, output of the previous step provides structured information for input of the next step, and information loss or distortion is avoided; a demand provider is allowed to participate in a model confirmation process through an iterative demand acquisition and modeling framework of man-machine cooperation, and the quality of a demand model is continuously improved; by means of the model consistency analysis technology based on the data flow dependency relationship, the problem of inconsistency between the requirement specification and the software model can be automatically detected, and the software product quality is improved.

The invention discloses an AI-based low-code automatic development method and system and a medium, mainly relates to the technical field of image processing, and is used for solving the existing problems that the demand conversion efficiency is low, the code quality depends on manpower, and the complex scene support is insufficient. Comprising the steps of extracting a current functional entity corresponding to a code function core feature; based on the current functional entity and the historical functional entity, extracting an associated sub-graph containing the current functional entity and the historical functional entity from a preset knowledge graph corresponding to the demand technical field; dSL grammar corresponding to the demand technical field is obtained, entity nodes related to the associated sub-atlas, inter-node interaction logic rules and code function core features are input into the DSL grammar, and intermediate representation IR is obtained; and according to the intermediate representation IR, the code function core features and the current function entity, a model trained by a large-scale code library is utilized to generate a specific code.

The invention relates to code verification, in particular to a code and document consistency reasoning verification system based on a cross-modal logic atlas, which comprises an input layer for receiving source codes and software documents; the feature extraction layer is used for performing feature extraction on the source code and the software document; the abstraction layer is used for converting the extracted features into comparable intermediate representations; the unified modeling layer is used for mapping code logic and document semantics into a unified atlas structure and performing formalized representation by using description logic to obtain a cross-modal logic atlas; the reasoning verification layer is used for performing reasoning verification on the consistency of the code and the document according to the cross-modal logic graph; the result processing layer is used for judging a verification result according to the reasoning verification condition, starting a contradiction positioning mechanism when inconsistency is found, and carrying out contradiction positioning and report generation to obtain an interpretable report; according to the technical scheme provided by the invention, the defects that the consistency between the code and the document is difficult to accurately verify, and accurate contradiction positioning and an interpretable report are difficult to provide can be effectively overcome.

A software package is received and unpacked into multiple components comprising plural functions. Each function is lifted from machine code into static single-assignment intermediate representation and tokenized to produce semantics-preserving embeddings. Intermediate-representation data-flow features are extracted, including detection of constant static variables on a stack, stack reaching definitions, uninitialized variables, and intra-procedural aliases. For each component, the embeddings and features are input to a machine-learning model trained on semantic properties derived from a corpus of software packages to generate a software supply chain risk level. Data characterizing the risk level is provided to a consuming application. When the risk level satisfies a remediation criterion, a remediation action is initiated, including generation of a source-code patch recommendation for an identified root-cause function, insertion of a runtime guard into the component, or issuance of a security advisory for distribution to a security operations dashboard.

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.

Data from manufacturing is highly uncontextualized and siloed, requiring expert knowledge of context and substantial data pre-processing to support meaningful queries and visualizations. To address this problem, data for a number of sources in a manufacturing context can be retrieved and converted into an intermediate representation in a natural language or near-natural language form, which can in turn be ingested by a generative AI engine, along with suitable prompts by the user to summarize, analyze, and make recommendations based on the data.

The invention belongs to the technical field of low-code development platforms, and particularly relates to a low-code platform model construction and dynamic execution method and system based on a hybrid DSL (Digital Subscriber Line), and the method comprises the steps: describing static model information in an application by using a structure DSL in a declarative grammar; defining a behavior DSL in a mounting mode under a corresponding element of the structure DSL; analyzing the structure DSL into a meta-model object tree in the platform, and converting the behavior DSL into an executable expression tree / intermediate representation; jointly driving the meta-model object tree and the expression tree / intermediate representation by utilizing a template engine, and automatically generating at least one application code in a front-end page, a back-end interface and a database script; a common structure DSL and a behavior DSL are combined and packaged into a scene template, and the scene template is stored in a template library so as to be reused by different service scenes, and modularization and templating of service modeling are realized. The complexity of the system is reduced, and the development efficiency and quality are improved.

The invention discloses a method for automatically capturing semantic information of a binary code block and a related device, and relates to the technical field of computers.The method comprises the following steps that code disassembling and instruction level analysis are conducted on the binary code block, and a binary stream original instruction sequence is generated; performing semantic intermediate representation conversion and vocabulary overflow standardization on the binary stream original instruction sequence to obtain a binary code standardized instruction sequence; obtaining an instruction data dependency relationship and an instruction control dependency relationship corresponding to the binary code block, and constructing a corresponding binary code program dependency graph; semantic code node embedding is carried out on the binary code program dependency graph to generate a binary code representation vector corresponding to context semantics; and performing automatic semantic capture reasoning on the binary code representation vector corresponding to the context semantics through a pre-trained semantic understanding model to obtain semantic information of the binary code block. According to the method, the semantic information of the binary code block can be efficiently and accurately captured.

The invention provides a large-model-oriented heterogeneous computing power adaptive compiling method, which comprises the following steps that: a user inputs a trained large model through a system interface, and a system front-end conversion module analyzes a computational graph of the model and converts the computational graph into an intermediate representation based on a unified operator description language (UDL); the system hardware sensing module automatically detects and extracts hardware feature fingerprints of at least one piece of target hardware; based on the unified operator description language UDL intermediate representation and the hardware feature fingerprint, automatically generating an optimization adaptation rule oriented to at least one piece of target hardware; wherein the basis of parameterized filling comprises specific parameters of hardware feature fingerprints and optimized attribute tags carried in an intermediate representation of a unified operator description language (UDL); and generating and deploying multiple back-end codes. The method has the beneficial effects that intelligent compiling based on hardware features can be realized, and the deployment efficiency and the operation performance of a large model in a complex heterogeneous computing power cluster are remarkably improved.

A method, computer system, and a computer program product for data-free knowledge amalgamation are provided. Multiple pre-trained teacher machine learning models are obtained. Each is trained on a respective different set of training data. Pseudo-data samples that mimic original training data of the teacher models are generated. A block-wise amalgamation with a self-regulative strategy to integrate knowledge from the multiple teacher models is implemented by inputting the pseudo-data samples into the teacher models and into a student machine learning model. The implementing also includes aligning intermediate representations of the student model with a unified representation capturing relevant features from the teacher models.

The invention discloses a large language model jailbreak attack method based on alignment mechanism interference, and relates to the technical field of artificial intelligence. The method comprises the following steps: by constructing a consistency loss function, guiding an intermediate layer representation when a model generates a malicious request to approach an intermediate layer representation of a compliance request, thereby interfering a security alignment mechanism of the model and weakening the rejection capability of the model to malicious input. From the perspective of the internal representation space of the model, a jailbreak strategy which can interfere with the security cognitive path of the model is designed, and the model is disguised to the middle representation of malicious input as benign representation by optimizing prompt input, so that the jailbreak attack with higher concealment and stability is realized, the defense capability of the model to vulnerabilities is conveniently trained, and the security of the model is improved. The method can be widely applied to large model security mechanism research, alignment robustness test, red team evaluation and other scenes.

The invention provides an operator processing method and device based on MindSpore, and relates to the technical field of data processing.The method comprises the steps that graph nodes with explicit calculation semantics in a deep learning model are extracted and are abstracted into an independent operator type set in a unified mode; constructing a minimum executable network structure to verify whether the minimum executable network structure can be successfully identified and generate intermediate representation in a MindSore framework, further calling a graph compiler to judge whether back-end graph optimization can be completed, loading to a running environment to execute verification if the back-end graph optimization can be completed, and calculating an error based on forward output and gradient return results, and if the error is lower than the set tolerance, identifying the operator as a function effective operator. According to the method and the device, the problem that the MindSore framework supports the operator incompletely or is insufficient in performance in the large model training and reasoning process can be solved, and the function effectiveness and the execution consistency of the target operator in the stages of composition, compilation and operation are guaranteed.

The invention discloses an intelligent chart generation method and system suitable for multi-modal data and a storage medium, and the method comprises the steps: receiving and preprocessing the multi-modal data, and completing user intention type recognition and task routing; selecting an adaptive model according to a routing result, and constructing and generating a cue word; standardizing an initial graph code output by the model into an intermediate representation format containing a metadata field, converting the intermediate representation format into a graph code compatible with a target platform, and reserving node definition, a connection relation, layout constraint and metadata information; the method comprises the following steps: respectively completing chart type identification and layout strategy determination, node format size adjustment, overall layout alignment correction and partition adjustment, and connection line identifier optimization through four optimization components, and rendering and outputting a chart. The problem that due to the fact that an existing model lacks a special optimizing and processing mechanism for the structured chart, the effect is remarkably poor when a professional schematic chart needing an accurate logic structure and geometric constraints is generated is solved.

The invention discloses a lightweight cross-platform PLC (Programmable Logic Controller) multi-language code generation method, which relates to the field of industrial process control, and firstly provides a unified intermediate data model, and on the basis, a module for converting each PLC language into the unified intermediate data model is realized; on the basis of a standardized JSON data structure, a modularized unified intermediate language conversion chain is further supported, an analyzer and a generator communicate through a JSON interface, a cross-platform conversion path is supported, and unified intermediate language conversion from PLC to JSON to XML to ST to C is completed; the method comprises the following steps of: integrating an open source compiler and runtime, constructing an open and pluggable automatic execution framework, compiling a generated C code into a platform executable file by using an adaptive GCC tool chain aiming at different target platforms, and deploying a program generated by compiling to a soft PLC runtime system supporting multiple platforms. According to the method, a JSON intermediate data structure which is light in weight, unrelated to languages and uniform in structure and a matched conversion framework of the JSON intermediate data structure are constructed.

The invention provides a shader dynamic modification method, a graph rendering method and device and related equipment, and the method comprises the steps: obtaining creation parameters in a resource creation interface when it is detected that a graph processing application calls the resource creation interface, and the resource creation interface is used for creating a pipeline state object, the creation parameter comprises a plurality of shaders, and the plurality of shaders are expressed in the form of a first intermediate language code; under the condition that a to-be-modified first shader exists in the creation parameters, in response to a modification operation on the first shader, determining a modified second shader; a second pipeline state object is created according to the second shader, and the second pipeline state object is used for calling a graphic interface event by the graphic processing application and executing a graphic rendering task of the graphic interface event. According to the embodiment of the invention, the method can achieve the dynamic modification of the shader, and improves the modification efficiency and flexibility of the shader.

The invention discloses a cloud native security configuration system and method based on container analysis and LLM, and the system comprises a mirror image static analysis module which is used for compiling a Linux kernel and a standard library source code to extract intermediate representation, and tracking and constructing a double-layer mapping relation library from the system call to the container capability; the dynamic binary extraction module is used for executing the container mirror image and extracting a binary file of a core function; the mirror image static and dynamic association module is used for executing two-stage static binary file analysis and extracting function requirements required by system calling and mirror image for loading during container running; and the cue word construction and model fine adjustment module is used for constructing cue words, performing fine adjustment on the LLM model and generating a minimum privilege function limitation configuration file of the container. According to the method, static analysis and runtime analysis are combined, the container mirror image is thoroughly checked, the function, which is specified by a user and exceeds the original definition of the mirror image, of the LLM model is finely adjusted through the cue word, and privileged function security configuration is generated according to specific requirements.

Methods, systems, and apparatus, including computer programs encoded on computer storage media, for generating an output sequence that includes a respective token selected from a vocabulary of tokens at each of multiple output positions. In one aspect, one of the methods includes obtaining an initial output sequence, the initial output sequence comprising a mask token at each of at least a subset of the multiple output positions; repeatedly performing the following at each of multiple update iterations: obtaining an intermediate representation of the output sequence; generate a diffusion model output that comprises, for each of the multiple output positions, a respective score for each token in at least a subset of the vocabulary of tokens; determining, for each output position in the output sequence that is occupied by a mask token, a masked probability; selecting a subset of the multiple output positions; and generating an updated intermediate representation.

The invention provides a performance analysis method and device for a cross-architecture semantic equivalence instruction stream and a storage medium, and the method comprises the steps: taking a high-level language program as input, aiming at a plurality of target architectures, generating a multi-dimensional semantic equivalence instruction stream set from a high-level language form to an intermediate representation and then to an assembly code through a compiler; based on semantic equivalence instruction streams of code units with different granularities and compiler debugging information, establishing a mapping relationship between a target region in a source code and an intermediate representation and assembly codes, and forming a cross-hierarchy equivalence region fully-connected graph; and based on the semantic equivalence instruction stream set and the cross-level equivalence region fully-connected graph, automatically embedding a performance monitoring code at the boundary of the target region, and carrying out performance test on the elastic region. According to the method, the accurate performance test of the cross-architecture semantic equivalence instruction stream can be realized.

The invention relates to the technical field of industrial control, and provides an industrial control logic intelligent generation system and method. The multi-modal input module is used for acquiring multi-modal data for a to-be-controlled process; the domain knowledge graph module is used for storing a pre-constructed knowledge graph; the preprocessing module is used for preprocessing the multi-modal data based on a pre-constructed knowledge graph; the controlled logic generation module is used for generating a logic control intermediate representation for a to-be-controlled process through a large language model according to the preprocessed multi-modal data; the formalized verification and interaction module is used for carrying out formalized verification on the logic control intermediate representation; and the target file generation and output module is used for compiling the logic control intermediate representation which is qualified through formalization verification into a control logic file aiming at the target platform. Under the constraint of the domain knowledge graph, the large language model can generate flexible and high-adaptability industrial control logic according to background knowledge to accurately adapt to different process requirements.

The invention discloses a multi-language PLC configuration software component library expansion method and system based on LLVM, and relates to the technical field of configuration software, the method comprises the following steps: obtaining language source codes of various types of programming languages supporting the LLVM front end; inputting the language source code of each type of programming language into a corresponding LLVM front-end compiler, and converting the language source code into a standard intermediate representation; establishing a general language characteristic analysis framework; establishing a general abstract metadata injection framework; building a mapping rule framework; integrating the general language framework, the general abstract metadata injection framework, the mapping rule framework and the output result, and generating a unified extended intermediate representation; and generating an interface component library conforming to the IEC standard. According to the method, any programming language with an LLVM front end is supported, a developer can directly utilize a mature algorithm library in each language ecosystem to select the programming language most suitable for a specific application scene, and the development period is remarkably shortened.

The invention relates to the cross technical field of artificial intelligence and software development, in particular to a UI design draft intelligent transcoding method and system fused with a multi-modal large model, and the method comprises the following steps: carrying out the cross-modal joint analysis of a design draft through a multi-modal analysis engine, and extracting visual features, semantic association and interaction logic; generating a platform-independent intermediate representation containing style description, layout constraint and data binding; generating a multi-platform response type code based on a dynamic layout adapter, and solving a layout constraint equation by adopting an improved CasSowary algorithm; establishing a bidirectional synchronization mechanism of a design draft and codes, and realizing incremental updating through a SimHash algorithm; the method has the beneficial effects that a visual-semantic-code cross-modal cognitive link is creatively constructed, and accurate mapping of pixel-level style reduction and business logic is realized aiming at complex scenes such as multilayer nested components and dynamic interaction logic which are difficult to process by a traditional tool.

The invention provides a teaching information generation method and device, and relates to the technical fields of artificial intelligence, natural language processing, education technologies and the like. According to the specific implementation scheme, the method comprises the steps of obtaining source region teaching content and teaching conversion demand information for converting the source region teaching content into target region teaching content; performing information deconstruction on the teaching content of the source area to obtain a structured intermediate representation comprising an immutable knowledge set, a culture variable carrier and a teaching law intention map associated with the culture variable carrier; based on the teaching law intention map and the teaching conversion demand information, determining a function-equivalent culture equivalent carrier for the culture variable carrier in a pre-constructed functional peer-to-peer knowledge base; and based on the immutable knowledge set and the culture equivalent carrier, generating the teaching content of the target area.

The invention belongs to the technical field of computer data security, and particularly relates to a data contract-oriented strategy real-time compiling and consistency hot deployment method and system.The method comprises the steps that according to a strategy input by a user, strategy definition and standardized representation are based on formalized semantics, and a data contract-oriented strategy is compiled in real time; constructing a strategy abstract syntax tree with complete semantic information; inputting the abstract syntax tree into a multi-stage compilation optimization pipeline, and generating a high-performance intermediate representation (IR) code by using a cost model driven optimization decision mechanism; a policy distribution architecture based on a publishing-subscribing model is adopted, and an improved Gossip protocol and a Paxos atomic submission algorithm are combined to realize distributed consistency synchronization and real-time hot deployment of a policy; and efficient and safe execution of the strategy is realized through a register type micro virtual machine and a self-adaptive execution mode. The problems that in the prior art, execution performance has bottleneck, strategy updating is delayed, complex strategy supporting capacity is weak, and cluster strategy consistency is difficult to guarantee are solved.

The invention provides an edge device behavior security detection method for a swan gap system, and the method comprises the steps: extracting behavior expected data of each component from a source code or an intermediate representation, and constructing an expected behavior graph; collecting behavior data of each component, and constructing an actual behavior graph; comparing the actual behavior map with an expected behavior map, calculating the structural similarity between the actual behavior map and the expected behavior map, and marking a node or a behavior path deviating from the expectation; and comparing the capacity, authority and component calling relationship between the nodes or behavior paths deviating from the expectation and the expectation behavior map to obtain an abnormal behavior source, taking response measures of different levels according to the type, severity and influence range of the behavior paths deviating from the expectation, and generating an abnormal report. According to the method, deviation between behavior maps is identified through a structured comparison method, and abnormal behaviors such as unauthorized capability combination calling, implicit permission extension and service path hijacking are effectively discovered.