43 results about "Declaration" patented technology

In an example embodiment, a language server connected to an integrated Development Environment (IDE) is used to identify, from a given input code, various code artifacts, such as functions, variables, etc., and then to search a repository of code files for declarations, definitions, and references related to those identified code artifacts. The declarations, definitions, and references can then be passed as context into an LLM.

The invention relates to the technical field of artificial intelligence and software development, in particular to a context-aware code generation and real-time optimization method and system based on a large language model.The method comprises the following steps that a compiler front-end technology is utilized, input codes are analyzed, and an abstract syntax tree is constructed; function definition, variable declaration and statement block structure information are extracted through an abstract syntax tree, so that syntax and semantic structures of codes are obtained, and basic data support is provided for subsequent code generation and optimization; the method has the beneficial effects that the context graph covering grammar, semantics and runtime behaviors is constructed by fusing static grammar analysis (AST construction) and dynamic execution tracking (such as variable value change and function call time sequence), and the problem of context perception deficiency in a traditional code generation technology is solved. And the compatibility, the maintainability and the expandability of the generated code and the project architecture are improved.

The embodiment of the invention discloses a code conversion method and device based on a domain-specific language and a medium, and relates to the technical field of code conversion, the method comprises the steps that a DSL file and a target conversion language input by a user are received, the DSL file comprises at least one class definition, and the class definition comprises a class name, a field declaration and a method signature declaration; the DSL file is analyzed to extract a plurality of class annotations marked in the class definition, and the class annotations comprise target language identification information, unique class identification information, construction mode identification information and array access mode identification information; and according to the target language identification information in the target conversion language and the class annotations, a matched specified class annotation set is extracted from the class annotations, a code file conforming to the grammar of the target conversion language is generated based on the specified class annotation set, and the specified class annotation set comprises the class annotations, field annotations and method annotations.

The invention relates to the field of intelligent information processing, in particular to a carbon border adjustment mechanism intelligent auxiliary customs declaration method and system based on natural language processing, and the method comprises the steps: carrying out the real-time translation and key information extraction of CBAM related rule files and unstructured documents; a dynamic CBAM knowledge graph is constructed based on related rule texts, rule updating is monitored in real time through a text classification and event extraction technology, and calculation rules and declaration logic are dynamically adjusted; performing standardization processing on supplier data in different formats, integrating an industry emission factor library, automatically matching a calculation model according to a product type, generating a carbon emission result meeting a CBAM requirement, and mapping the data to a corresponding position of a CBAM declaration form; based on historical declaration data and related rule texts, analysis and compliance risk prediction are carried out by using a natural language processing technology, so that the declaration data are ensured to accord with latest rules, and violation risks caused by rule changes are avoided.

The invention discloses an intelligent auxiliary method, a medium and equipment for constructional engineering title review. According to the method, key feature information of unstructured text data in a declaration material is extracted by using a natural language processing technology, image data features are analyzed by using a ResNet-50 deep learning model, and a comprehensive quantitative scoring mechanism of a construction engineering performance material is established. And integrating education background, working experience, scientific research achievements and multi-modal performance data, constructing a constructional engineering title review rule base, setting a standard score threshold based on historical declaration data, and generating a title simulation review score and a review prediction result. And finally, aiming at the model, designing a feature weight analysis layer, and automatically outputting improvement suggestions of the declaration material defects according to the simulation review score after being associated with the associated review rule base. According to the method, automatic feature extraction and quantitative evaluation of the unstructured material are realized, the problems of low manual auditing efficiency and fuzzy standard are solved, and the objectivity of title evaluation is improved through the rule base and the evaluation prediction model.

The embodiment of the invention discloses a test script generation method, system and device, a medium and a product, and relates to the technical field of tests.The method comprises the steps that target structured DBC data is obtained; processing the target structured DBC data by utilizing a target test script generation model to obtain at least one CAPL test script fragment; the target test script generation model is obtained by training according to historical structured DBC data and corresponding historical CAPL test script fragments; the CAPL test script fragment comprises at least one of variable declaration, function definition and event processing; and according to the at least one CAPL test script fragment, determining a target CAPL test script so as to quickly realize verification of the CAN bus communication condition.

The invention discloses a Function Declaration-oriented code intelligent comparison and incremental updating method and system, and belongs to the technical field of data analys.The method specifically comprises the steps that grammar analysis is conducted on code files of different versions, an abstract syntax tree is constructed, the abstract syntax tree is traversed to extract a function declaration set, and the function declaration set is stored in a database; comparing the function declaration set by adopting an anti-collision hash algorithm, marking the changed function declarations, and carrying out difference analysis; on the basis of the difference analysis result, the system automatically formulates and executes an incremental updating strategy, the unchanged codes are reserved to the maximum extent, and the code upgrading efficiency and reliability are improved.

The embodiment of the invention discloses a declaration form data processing method and related equipment, which are used for improving the flexibility, maintainability and calculation accuracy of declaration form data processing so as to solve the problems of poor system adaptability and high change cost caused by service rule solidification in the prior art. The method provided by the embodiment of the invention comprises the following steps: determining a corresponding target declaration template according to a declaration subject identifier; analyzing the target declaration template, and obtaining a calculation formula set associated with the target declaration template; wherein the calculation formula set comprises at least one configurable formula with a preset format; and processing and calculating source business data based on the calculation formula set to generate declaration form data.

The present application relates to a method, apparatus, computer equipment, storage medium and computer program product for generating a code service call relationship. By traversing the syntax parse tree corresponding to the source code to be detected, the first relationship between the method declaration code module and at least one method call code module in its child node in the syntax parse tree, the second relationship between the method call module and its class and at least one method declaration code module in the corresponding parent class and child class, and the service party to which each code module belongs are obtained, and based on the first relationship and the second relationship, the call relationship table between the code modules in the source code to be detected is determined, and the corresponding service party identifier is added to the code module in the call relationship table to obtain the corresponding code service call relationship table. Compared with the traditional method of obtaining the call relationship between services through the service registration center, this solution obtains the service call relationship in the code by traversing the syntax tree before the code is run, thereby improving the maintainability of the code.

The invention relates to a method for selecting at least one source datum, the source datum being suitable for generating a response to a request from a client agent (Agt) associated with a large language model (LLM), the method comprising: - receiving (E30), from the client agent (Agt), a request and a certificate associated with a declaration of the client agent relating to the request; - calculating (E40) a vector representative of the received request and declaration; - selecting (E40) the at least one source datum by means of a comparison between a vector representative of the source datum used for formulating a response to the request and furthermore representative of a usage constraint for the source datum, and the calculated vector.

The invention relates to the technical field of programming language compilation, and provides a type checking method, electronic equipment and a storage medium, the method comprises the following steps: reading an instruction statement in a to-be-checked program to obtain an operation code, an operand and an expected type of the operand in the instruction statement; based on the operation code, determining the check strict degree of the instruction statement; based on the checking strict degree of the instruction statement, the expected type of the operand and the declaration type of the operand are checked, and the declaration type is determined based on the declaration statement in the program to be checked. According to the method, the electronic equipment and the storage medium provided by the invention, an effective type checking mechanism with universality is realized for a low abstraction level of a virtual instruction set class, and the security of a program is guaranteed. And moreover, more flexible type checking which is more suitable for the own requirements of the instruction statements is realized, unnecessary type limitation caused by strictly fixed type checking is avoided, and the convenience of programming and debugging is improved.

The present application provides a method and apparatus for type inference in a programming language. The method comprises: acquiring an abstract syntax tree of source code, wherein the abstract syntax tree comprises a first node and a subtree of the first node, the first node indicates a first field in the source code, and the first field is one of the following: a variable, a class, a function or a parameter; constructing or updating a full type tree on the basis of the abstract syntax tree, wherein the full type tree indicates the types of a plurality of nodes in the abstract syntax tree and the relationship between the plurality of nodes, and the types of the plurality of nodes are determined on the basis of at least one of the following: the type of a second node in the plurality of nodes is indicated by the abstract syntax tree, and the type of a third node in the plurality of nodes is obtained from a type map, or the type of a fourth node in the plurality of nodes is based on the type of a fifth node, and the type of the fifth node is indicated by the abstract syntax tree or obtained from the type map, wherein the type map indicates the mapping relationship between at least one declaration and at least one type; and outputting an inference result on the basis of the full type tree, wherein the inference result comprises the type of the first node. The solution of the present application facilitates quick and accurate type inference.

The invention provides a code completion model training method and device based on semantic attribution. The code completion model training method based on semantic attribution comprises the steps that training codes are acquired; identifying a plurality of first variables from the training code, wherein the first variables are referenced variables with declaration statements in the training code; deleting the target code snippets from the training codes to obtain initial contexts; identifying a second variable from the plurality of first variables according to the initial context, wherein the second variable is the first variable which has the declaration statement in the initial context but is not quoted; deleting a declaration statement of a second variable in the initial context to obtain a target context; and performing model training on the initial model according to the target context and the target code snippet to obtain a code completion model. Deterministic constraints can be overcome, so that the prediction code snippets output by the model conform to real business logic, and the code prediction accuracy is improved.

The present invention discloses a method and system for intelligent code comparison and incremental update for Function Declaration, belonging to the field of data analysis technology. The method specifically includes: performing syntax parsing on code files of different versions, constructing an abstract syntax tree, traversing the abstract syntax tree to extract a set of function declarations, using an anti-collision hash algorithm to compare the set of function declarations, marking changed function declarations, and performing difference analysis; based on the difference analysis results, the system automatically formulates and executes an incremental update strategy to retain unchanged code to the greatest extent, thereby improving the efficiency and reliability of code upgrades.

This application discloses a method and system for generating code review comments on modified code, belonging to the field of computer technology. The method includes: parsing the submitted source code through an IDEA plugin module to abstract the modified file into an abstract syntax tree; extracting information from the abstract syntax tree to obtain extracted information, which includes: the package name, class name, class comments, signatures, comments, and field declarations of other unmodified methods in the class; storing the context information of the modified code obtained from the extracted information into a database; querying the context information through a backend service module and constructing prompt words based on the context information; and guiding a large language model to generate code review comments through the prompt words. This generation method can automatically generate code review comments, thereby improving the intelligence level of code review.

The application discloses a kind of multi-modal fact checking methods of large language model based on retrieval and reasoning enhancement, it is to the sample to be checked containing declaration image and declaration text, first utilize semantic enhancement retrieval module in the uniformity of news domain alignment graph-text feature space, retrieve the evidence image consistent with declaration semantics from candidate evidence;Again, utilize knowledge enhancement retrieval module to carry out entity extraction, knowledge graph / retrieval and refine internet evidence text, obtain background knowledge and high-quality text evidence;Finally, declaration and evidence are jointly input into multi-modal large language model, through the two-stage self-refining reinforcement fine-tuning of cold start, group relative strategy optimization, so that model output contains the authenticity determination result of reasoning process.The application can improve the accuracy and consistency of fact checking based on the joint optimization of multi-modal evidence retrieval and reasoning, so as to provide more reliable automated multi-modal authenticity determination result for news, social media and other scenes.

The present disclosure provides a method, apparatus, device and storage medium for dynamic compilation, in the field of computer technology, particularly in the field of research and development and operation and maintenance of Internet and mobile applications. The specific implementation scheme is: using the DSL specification, parsing the source file to determine the DSL syntax tree corresponding to the source file, and obtaining a first target file; and according to the DSL syntax tree, determining the declaration type and calling order of the program object represented by each node, and then determining the loading order of the declaration type according to the declaration type and the calling order, and obtaining a second target file. Since the second target file contains the declaration types of each program object whose arrangement order is consistent with the calling order, in the process of converting the DSL product in the first target file into the executable file corresponding to the source file in the executable environment, the speed of loading the declaration type and program object can be greatly accelerated, thereby improving the efficiency of converting the DSL product into page display content in real time.

The invention relates to the technical field of text compilation, and discloses an ST compiler implementation method, an ST syntactic analyzer under a C #. NET platform is generated by means of Antlr4, the analyzer analyzes and analyzes an ST source code input by a user, an abstract syntax tree AST is generated, characteristics of a C language and an object-oriented thought are used, a set of data type definition, variable declaration, initialization and read-write are pre-defined, and the data type definition, the variable declaration, the initialization and the read-write are integrated. Templates of declaration, definition, calling and other functions of functions and function blocks are provided; according to the method, traversal and semantic check of the abstract syntax tree are realized, and the C language code is generated according to the predefined template.

The application discloses an Agent cluster-based software automatic generation method and system, and belongs to the technical field of software engineering. The method comprises the following steps: analyzing requirements to generate an executable constraint intermediate representation (ECIR); scheduling a coding Agent to generate code and a semantic signature containing a declaration type and an observation type; performing consistency verification based on the ECIR and the semantic signature before construction; generating a fault propagation graph when construction fails, calculating a minimum repair set and issuing a differential repair instruction; and executing local repair and monitoring the repair convergence state. The application uniformly constrains the baseline through the ECIR, moves the error discovery forward to the pre-compilation stage by using the semantic signature, realizes accurate local repair through the minimum repair set and the differential instruction, effectively avoids verified modules from being rewritten, solves the repair shock problem through convergence control, and significantly improves the stability and delivery quality of software automatic generation.

The application discloses a declaration element extraction method and device and an extraction model generation method and device, converts a declaration element recognition and extraction task into a labeling task of text information, and then converts the labeling task into a standard format meeting customs declaration requirements, thereby automatically completing extraction of declaration elements, greatly improving recognition accuracy, improving the accuracy of declaration element extraction, and having higher business value and stronger robustness.

The invention provides a code conversion method and computer equipment, in the process of converting an initial code into a target code, the computer equipment can mutually decouple the conversion process of the grammar level and the conversion process of the API level of the initial code, and an API declaration file can be generated in the grammar level conversion process. The API declaration file can be used for carrying out API level conversion on the APIs contained in the initial code. In the API level conversion process, the conversion efficiency of the API in the initial code is improved by using the SmPL technology. The code conversion method provided by the invention is high in code conversion efficiency, and is particularly suitable for a code conversion scene in which the mapping relationship between the API in the initial code and the API in the target code is relatively complex.

The invention provides an instruction analysis and assembly method and device. The method comprises the steps that a static instruction template corresponding to an instruction type is determined, the static instruction template is a constant array, elements of the static instruction template are arranged according to the declaration sequence of members in a structural body corresponding to the instruction type, and each element comprises the byte offset position of the member in the structural body and a data type identifier; based on a static instruction template corresponding to the instruction type, filling data in the instruction frame into a structural body corresponding to the instruction type according to the byte offset position and the data type of each member; and based on a static instruction template corresponding to the instruction type, splicing data corresponding to each member in a structural body corresponding to the instruction type according to the byte length corresponding to the data type of the member and the byte offset position of the member to obtain a byte array, and packaging the byte array according to an instruction frame format. According to the method provided by the invention, the accuracy and efficiency of instruction analysis and assembly are improved.

The application relates to a reduction declaration method and device, computer equipment, a storage medium and a computer program product, which can be used in the field of artificial intelligence technology and are used for improving the reduction declaration efficiency of declaration data. The method comprises the following steps: inputting declaration data sent by a to-be-declared agency into a declaration data analysis model to obtain to-be-declared data in the declaration data; performing reduction declaration processing on the to-be-declared data according to a reduction declaration instruction matched with the to-be-declared data to obtain a declaration file of the to-be-declared agency; when the inspection on the declaration file is passed, the declaration file is confirmed as a target declaration file; and the target declaration file is used for being sent to a declaration platform for declaration.

A computer-implemented method for software system modernization comprising utilizing a large language model (LLM) to process one or more source files, wherein the processing comprises, as one or separate steps, reading the one or more source files with the LLM to analyze the function of the one or more source files, utilizing the same or another LLM, processing one or more source files to discover public definitions and declarations in the one or more source files, wherein said discovered definitions may be expressed with the declared identifiers and context of the declaration, such as namespace, and then semantically indexed, detect references to external identifiers made in the one or more source files, wherein said references may be expressed with the referenced identifiers and context of the reference, match a definition for each discovered reference, wherein a candidate definition expression is formed based on the reference, and a semantically indexed form for said matching is produced with an LLM from the candidate definition expression, for each matched definition, extract the semantics of the reference from the context of the source code having the reference declaration, to a referenced functionality expression, process each source file into one or more components, wherein each component comprises one or more functionally inherent parts present in a source file, generate a design description for each component using the LLM to extract a design summary of the functionality present in the source code for each component so that the summary includes the information, which information may enable redesigning the same functionality in different technology, providing a target design generation configuration and mapping configuration, and mapping components in reference to said target design generation configuration and mapping configuration, based on the mapping, linking the components into system structures and the referenced functionality links across the components, arranging components in an optimal generation order within each system structure so that the most isolated components are ordered first, and that the most dependent components are ordered last, utilizing the same or another LLM, in view of the target design generation configuration and mapping configuration, generate a codebase from the system structures and components.

The invention belongs to the technical field of open source code risk assessment, and discloses an open source license clause conflict detection method based on a large language model, which mainly comprises the following steps of: 1, carrying out clause-level semantic analysis and modeling on an original open source license text, expressing license contents described by a natural language as triads, and carrying out clause-level semantic analysis on the triads; writing the license into a license knowledge base; 2, performing file-level license declaration identification on an open source project source code, judging the license type of a file, abstracting license information into a two-tuple, and generating a license directory structure tree; and 3, matching which licenses are used in the project with the responsibility requirements of each license on each term, screening out a license combination needing to be analyzed, performing term-level semantic comparison and conflict reasoning, and generating an analysis report containing conflict instructions and solutions. According to the method, conflicts between licenses can be automatically detected and analyzed, compliance suggestions are provided, and the legal compliance of a project is ensured.

The application discloses a code clone detection method and system based on abstract syntax tree optimization and multi-representation, which comprises the following steps: compiling code text to obtain a corresponding abstract syntax tree; optimizing the abstract syntax tree, including removing the nodes generated by the compiler and the recovery nodes of the compilation errors, removing the declaration nodes and constant nodes, refining the expression nodes, and respectively converting the selection structure and the loop structure into corresponding unified sub-tree structures; traversing the optimized abstract syntax tree to obtain two sequences; inputting the two sequences into a Transformer network to output the feature fingerprints corresponding to the code text; obtaining a plurality of corresponding feature fingerprints according to a plurality of code texts; and if the cosine similarity of any two feature fingerprints is greater than a first set threshold, the two text codes corresponding to the two feature fingerprints are similar. The application optimizes the abstract syntax tree to improve the prediction result while reducing the prediction cost.

The invention discloses a mapping method and device for converting a Fortran90 programming language into a Cuda programming language, and relates to the technical field of computers. Comprising the following steps: acquiring an initial Fortran90 programming language, preprocessing the Fortran90 programming language, and standardizing code lines; according to the specific syntax tree, establishing a syntax mapping relation between a Fortran90 programming language and a Cuda programming language; the Cuda programming language is converted into a target declaration file conforming to the Fortran90 programming language; whether errors exist in the Cuda programming language or not is judged, if errors do not exist, direct output is carried out, and otherwise, modification is carried out through the language converter till the Cuda programming language without errors is generated. According to the method, the problems that the conversion efficiency is not high in the process of transplanting from Fortran to Cuda, and errors cannot be found and corrected in time after programming language conversion occurs are solved.

This invention discloses a method for dynamic language syntax extension and type description based on Prefer blocks. The method includes: performing lexical and syntactic analysis on the dynamic language source code containing Prefer blocks to construct an abstract syntax tree (AST) containing Prefer nodes; parsing the Prefer nodes in the AST to extract type constraint information declared in the Prefer blocks; associating the type constraint information with the corresponding function and variable nodes in the AST to obtain an associated syntax tree; and performing type checking and code generation on the dynamic language source code based on the associated syntax tree to obtain a bytecode file. By setting non-intrusive Prefer blocks and describing type constraints using syntax classes, type information is introduced into the dynamic language without modifying the core syntax or intruding on business logic code, thus solving the problems of tight coupling, poor extensibility, and strong intrusion between the type description mechanism and the core syntax.

The invention provides an application programming interface upgrading method and computer equipment, which are characterized in that through semantic expansion and grammar expansion of an SmPL technology, after a rule file is analyzed, declarations of APIs and declarations of classes can be upgraded through a meta-programming technology. Besides, an inheritance chain is recorded in the rule file analysis module, and matching is carried out by introducing an algorithm of the inheritance chain in the subsequent implementation matching module, so that a matching node is obtained. According to the method for upgrading the application programming interface, the SmPL technology and the meta programming technology are combined, the API upgrading efficiency is improved, and subclass accurate matching can be achieved by introducing inheritance chain analysis.