29 results about "Declaration" patented technology

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

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

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.

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.

The present application relates to natural language processing technology, and is a kind of fine empirical traceability and declaration verification method based on heterogeneous target fusion, comprising the following steps: retrieving candidate documents related to the declaration to be verified, extracting candidate sentences related to the declaration to be verified;Cascade is built to the declaration-sentence association probability distribution model, declaration-sentence set association probability distribution model;Based on the declaration-sentence association probability distribution model, learn the prediction probability distribution between the declaration and the single candidate sentence;Filtering a number of candidate sentences with higher empirical value to obtain a candidate empirical set;Based on the declaration-sentence set association probability distribution model, capture the semantic synergy effect between the candidate sentences in the candidate empirical set, calculate the global class probability distribution of the declaration to be verified and the candidate empirical set;Two models are optimized by using heterogeneous target;Based on the two trained models, fine empirical traceability and declaration verification are realized.The present application can provide intuitive and accurate opinion verification results.

The embodiment of the invention provides a compiling optimization method, electronic equipment, a compiling optimization device and a storage medium. The compilation optimization method comprises the following steps: checking a field meeting a target condition in a static language code; recording the assignment type of the field in response to the condition that the field meets the target condition; an assignment type is injected into the virtual machine code; compiling a virtual machine code; the fields meeting the target condition comprise the fields of which the assignment types are more accurate than the declaration types and which are not modified any more after assignment. According to the method, the compiler can obtain accurate type information to carry out compilation optimization during compilation in a type injection manner, so that the code compilation performance is improved.

The present disclosure provides a method and device for generating code declaration of a configuration table, electronic equipment and medium, belonging to the technical field of software development. The method comprises: reading the table header information of M configuration tables called by a target project, M being a positive integer; analyzing the reference relationship of the configuration tables in the M configuration tables; based on the reference relationship of the configuration tables, writing the declaration data corresponding to the table header information of each configuration table into the code declaration file corresponding to each configuration table; saving the code declaration file corresponding to each configuration table in the M configuration tables to the code declaration file directory of the target project to generate the code declaration file of the configuration table called by the target project. Based on the technical scheme provided by the embodiments of the present disclosure, the problem of cumbersome modification operation of the code declaration corresponding to the configuration table can be solved.

The invention relates to the technical field of large language models, in particular to a policy declaration auditing method based on a large language model. The policy declaration auditing method based on the large language model comprises the steps of collecting policy declaration materials, converting the policy declaration materials into a text format, and performing cleaning and word segmentation processing; a model based on a Transform architecture is used as a basic model, and the marked policy declaration auditing data set is used for training and fine tuning of the model; inputting the pre-processed policy declaration material into the trained large language model, generating an audit result, and performing visual display; the auditing result is fed back to the declaration enterprise, feedback suggestions are collected, and the auditing result is evaluated and analyzed; and optimizing and adjusting the large language model according to the feedback opinion and the evaluation result. According to the policy declaration auditing method based on the large language model, the auditing time is shortened, the time cost and the labor cost are reduced, the influence of subjective factors in manual auditing is avoided, and the accuracy and the fairness of an auditing result are improved.

The invention provides a Java source code analysis-based UML (Unified Modeling Language) time sequence diagram automatic generation method, which comprises the following steps of S1, converting a Java code into a corresponding abstract syntax tree, filtering out all class declaration nodes in the abstract syntax tree, and traversing the class declaration nodes and method child nodes through a traversal algorithm to obtain class information and method calling information; s2, according to class information extracted from the source code, integrating class names, method names and method calling information among classes through a Plant UML code generation algorithm so as to obtain a Plant UML code capable of automatically generating a UML time sequence diagram; and S3, drawing a time sequence diagram of the Java source code by utilizing a Plant UML (Unified Modeling Language) tool. According to the UML time sequence diagram automatic generation technology based on Java source code analysis, the procedure of a program can be visually reflected, the situation that class information and class calling relations can be obtained only by checking tedious source codes is avoided, and the readability and maintainability of codes are improved.

This invention provides a structured text code generation method for PLC honeypots, relating to the field of computer technology. The method includes: constructing a set of protected variables; performing equivalent structural transformations on control blocks and expressions; re-segmenting the code after data flow analysis; and performing statement rearrangement, value modification, and temporary variable renaming on linear statement segments based on data dependency analysis, achieving diverse code perturbations while maintaining semantic consistency. The transformation space is further expanded through loop safety checks and large language model-assisted refinement. Finally, declaration information is supplemented and the output variant L5X file is backfilled. This invention, through semantic awareness and large language model assistance, improves the semantic consistency, formal diversity, and usability of generated code variants.

The invention relates to a declaration data processing method and device, equipment, a storage medium and a program product, and relates to the technical field of data processing.The method comprises the steps that in response to a target declaration service initiated by a declarator, a declaration data dimension architecture corresponding to a service type is inquired according to the service type of the target declaration service, determining a declaration data dimension required by the target declaration service; the declaration data dimension comprises a basic item dimension and a pre-filling item dimension; in response to the typing operation, obtaining basic item data corresponding to the basic item dimension; calling a pre-constructed decision model, and performing hierarchical matching processing on the pre-filled item dimension according to at least one of the basic item data and historical declaration data of the declarator to obtain pre-filled item data matched with the pre-filled item dimension; and according to the basic item data and the pre-filled item data, obtaining current declaration data of the target declaration service, and verifying the current declaration data to obtain verified declaration data. By adopting the method, the data processing efficiency can be improved.

The invention discloses a consistency guarantee method and device for a declaration file, a storage medium and computer equipment. The method comprises the following steps: receiving a short process approval request for a short process declaration file, which is submitted by a file dragger terminal through triggering a short process; obtaining an original declaration file corresponding to the short-process declaration file according to the comparison form, and comparing the first declaration file attachment with the original declaration file to generate a consistency comparison form; sending a short process approval instruction to at least one file approval terminal which is preset unidirectionally based on consistency comparison, and receiving a short process approval result fed back by the file approval terminal; if the short process approval result fed back by each file approval terminal is passed, sending a short process approval instruction to a preset declaration approval terminal based on the short process declaration file; and when first project declaration information fed back by the declaration approval terminal based on approval passing of the short process declaration file is received, the first project declaration information is sent to the file dragger terminal.