270results about "Compiler construction" patented technology

The invention discloses a structured text code generation and review method, which comprises the following steps of: receiving a control task demand input by a user, supporting natural language, structured form or graphical process input, performing deep semantic analysis by utilizing a demand analysis module, identifying control conditions, control actions and constraint factors, and generating and reviewing a structured text code. The task is converted into a plurality of control units through the SCoT chain; the SCoT chain reader generates a semantic vector according to a task demand, the AST reader generates AST representation through a grammar rule structure and a hierarchical relationship, and the decoder predicts a next grammar rule and generates an ST code in combination with the SCoT chain and AST features; and verifying grammar and logic of the ST code through an interactive automatic review and repair mechanism, if compiling errors occur, analyzing errors by the teacher model and providing repair suggestions, and performing code repair by the student model according to guidance until the code conforms to an expected function and passes compiling.

The invention relates to the technical field of artificial intelligence compilers, in particular to an AI compiler and compiling method based on a multi-level intermediate representation framework, and the compiler comprises a high-level semantic retention layer which converts models of different AI frameworks into Lalg-on-Tensor IR intermediate representations; the hardware perception optimization layer comprises a tensor packaging and propagation module which is used for performing block packaging, layout propagation and folding of redundant packaging / unpackaging operation on the input tensor; the dynamic partitioning module is used for automatically selecting the partitioning size based on the cache capacity and the core number of the target hardware; the microkernel fusion module is used for fusing matrix multiplication, bias addition and an activation function into a single composite operator; and the microkernel collaboration layer is in butt joint with the hardware acceleration library through the XSMM dialect to generate a target hardware code. The hardware perception optimization layer can perform optimization according to different hardware characteristics, so that codes generated by the compiler can better adapt to target hardware, and the hardware utilization rate is improved.

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 invention provides a business processing method and device for an online transaction scene and electronic equipment. Comprising the following steps: acquiring business data, defining a logic arrangement keyword based on an online transaction execution language, arranging the business data according to the logic arrangement keyword to obtain DSL arrangement data, constructing a grammar verification analyzer, and performing grammar verification processing on the DSL arrangement data by adopting the grammar verification analyzer to obtain the DSL arrangement data. An abstract syntax tree is constructed based on the verified DSL arrangement data, the abstract syntax tree comprises root nodes and leaf nodes, the root nodes represent arrangement rules and scheduling logic, and the leaf nodes represent actually called atomic transactions in the service data; and traversing each node in the abstract syntax tree by adopting an execution engine, and calling a node processor corresponding to each node to process the service data. The problem that an existing rule arrangement engine is poor in business reliability when being applied to banking businesses is solved.

The invention provides a low-code enterprise-level intelligent assistant development platform, and relates to the field of intelligent assistant development. The low-code enterprise-level intelligent assistant development platform comprises an application layer, a platform layer, a capability layer and an underlying service. According to the low-code enterprise-level intelligent assistant development platform, a low-code enterprise-level intelligent assistant development platform is realized, and by means of the platform, a user can develop enterprise-level intelligent assistants suitable for various industries, thereby helping enterprises to realize cost reduction and benefit increase; a user can complete the creation of a knowledge base, a workflow and an intelligent agent only through simple configuration or arrangement, a low use threshold is achieved, enterprise internal services or third-party MCP services can be accessed by means of a plug-in tool and a platform, uploading and publishing of user-defined tools are supported at the same time, high expandability is achieved, and the method can be widely applied to the field of enterprise management. The platform supports high-order functions such as multi-person collaborative development, multi-modal knowledge base construction, multi-modal data interpretation and processing and construction of multiple types of agents, and can meet complex enterprise-level application scenes.

Embodiments of the present disclosure provide a code generation method, a device, and a storage medium. In the embodiments of the present disclosure, a custom retrieval library can be constructed, wherein the custom retrieval library comprises sub-snippets segmented from reference code snippets; on this basis, a target sub-snippet meeting a preset similarity requirement can be retrieved for an uncompleted code from the custom retrieval library; and then a code context of the target sub-snippet can be acquired to generate a retrieval result. Since the custom retrieval library is at the sub-snippet level, the code diversity in the custom retrieval library can be effectively enhanced, and various code variants can be covered, so that the retrieval precision can be effectively improved, effectively improving the quality of retrieval results. Moreover, prompt information can be constructed on the basis of the generated retrieval result and input into a code generation model.

The invention relates to a modeling and formalized verification method for cache consistency protocol verification, and the method comprises the steps: building a protocol model which comprises a plurality of processor nodes, directory nodes and a communication mechanism through a structured modeling mode, and constructing an asynchronous message mechanism to simulate disordered concurrent communication; protocol behavior rules such as processor requests, directory responses and network receiving are defined, protocol property invariants are set, semantic constraints such as data consistency, confirmation before writing and sharing state legality are covered, model verification is carried out in a state space traversal mode, breadth-first search and a symmetry recognition mechanism are supported, and the method is suitable for the protocol behavior rules. A protocol error or deadlock state is effectively found, a traceable error path is generated, a verifier can automatically generate source codes through a compiler and operate on a host platform, and rapid verification and result output of a protocol model are achieved. The method has good protocol adaptability and model reusability, and is suitable for formalized verification of various cache consistency protocols.

The invention provides a two-hop incremental interface consistency verification method and system based on a knowledge graph, and the method comprises the steps: 1, carrying out the language analysis of a modified source file, and extracting an interface entity; 2, mapping the interface entity into a language-independent meta-model, and writing the language-independent meta-model into a knowledge graph; 3, executing a two-hop breadth-first traversal algorithm by taking a modified node in the knowledge graph as a starting point to obtain an affected sub-graph; 4, a hot-pluggable rule set is operated on the affected subgraph for verification, the rule set comprises a parameter number matching rule, a type compatibility rule, a version number increasing rule and a field deletion forbidding rule, and if verification is illegal, an error report is generated, and a blocking instruction is output; and if no violation exists in the verification, merging the affected sub-graphs back to the knowledge graph cache. According to the method and the device, online faults caused by field missing during operation are avoided, and the influence of back-end change on the front end is automatically detected and blocked.

The invention provides an inference method and device, equipment and a storage medium, and relates to the technical field of artificial intelligence, in particular to the technical fields of deep learning, large language models and the like. The method comprises the steps of determining target metadata of a target operator through a predefined function interface in response to an identified extended dependency package corresponding to the reference target operator in an inference framework; a calculation graph is generated according to the target metadata and native metadata, and the native metadata is metadata of other operators except the target operator in the reasoning framework; and reasoning on the target hardware according to the input data and the calculation graph to obtain a reasoning result. According to the method, the operator and the frame are decoupled, meanwhile, the fracture condition of the computational graph is avoided, and the compatibility and reasoning efficiency of the reasoning frame are improved.

An elidable text is constructed that prioritizes the content included in a prompt to a large language model having a fixed-size context window. The elidable text is generated from developer-generated instructions or automatically for source code within a source code editor. A source code editor may include a feature that selects certain lines of code as important or focused which are assigned a high-priority value. A changed line, a line of source code at a current cursor position, lines of source code at the beginning of a file and those that output data are considered focused lines. Non-focused lines are assigned a priority based on a distance from a focused line. The elidable text constrains the data included in a prompt to the context window size by replacing the lowest-valued lines of text and source code with a replacement string.

The invention discloses an encapsulation method and system based on a zero code platform, and belongs to the technical field of software development. The packaging method comprises the steps of providing a task designer on a zero code platform, responding to a request of a user for packaging a task process through the task designer, and creating a packaging operator to process a task in the task process; configuring an input parameter and an output parameter for the packaging operator, and establishing a task workflow in the packaging operator; and packaging the task workflow, the input parameters and the output parameters into a module which can be reused by a task process. According to the zero code platform-based packaging method and system provided by the invention, the task process is packaged into the reusable module through the packaging operator, so that the problems of low development efficiency, large code quantity and difficulty in maintenance are solved; complex tasks and code logics are converted into modularized and visual operation units by utilizing a packaging technology, so that the development efficiency and the code readability are improved, and the maintenance cost and the development threshold are also reduced.

The invention relates to a deep learning compiler automatic tuning method based on reinforcement learning. The method comprises the steps of comparing a scheduling task with a historical scheduling task in a multi-level offline database through a multi-level feature similarity matching strategy from top to bottom to determine a search starting point scheduling configuration; generating a feature matrix according to the feature vector corresponding to each type of scheduling task, and screening out a significant dimension reduction search space through a variance threshold selection method; based on a reinforcement learning method, selecting a DQN model, generating a random action through a Monte Carlo sampling strategy, and changing scheduling configuration according to the random action; and evaluating the changed scheduling configuration performance by using a cost model, and constructing a reward function based on an evaluation result to complete automatic tuning. By constructing a multi-level off-line database and utilizing feature similarity matching from top to bottom, starting point scheduling configuration can be quickly retrieved and determined; and a variance threshold selection method is adopted to carry out dimension reduction on feature dimension vectors, so that the retrieval efficiency is improved.

The embodiment of the invention discloses an operator compiling method, an operator compiling device, electronic equipment and a computer readable storage medium. The method comprises the steps of obtaining an intermediate representation of a to-be-compiled operator, wherein the intermediate representation of the to-be-compiled operator at least comprises an intermediate representation of a shared memory and an intermediate representation of an interactive operator; based on the size of the shared memory and the intermediate representation of the interactive operator, configuring operator rearrangement granularity in the intermediate representation of the shared memory to generate the configured intermediate representation of the shared memory; and based on the configured intermediate representation of the shared memory, updating the intermediate representation of the operator to be compiled, and compiling the intermediate representation of the operator to be compiled to generate an assembly code corresponding to the operator to be compiled. According to the embodiment of the invention, the operator development efficiency is effectively improved, the error probability is reduced, and the performance of the operator is optimized, so that the operator is more adaptive to an artificial intelligence chip.

The invention relates to the technical field of reinforcement learning, in particular to a reinforcement learning method and device applied to a self-programming task, electronic equipment and a storage medium, and the method comprises the steps: obtaining an example data set applied to the self-programming task, and carrying out the fine adjustment of any open-source large language model according to the example data set; connecting a first value output end and a second value output end behind the fine-tuned large language model; encouraging the big language model to perform diversified code generation for the selected self-programming task by adjusting temperature parameters, and collecting positive example and counter example data; performing Monte Carlo tree search according to the generated diversified codes to generate a series of texts and recording the texts; and training a large language model by using data collected by Monte Carlo tree search to optimize the code generation and evaluation capability. The limitation of an existing framework in the self-programming field is overcome, and more efficient and more accurate code generation and optimization are achieved.

The invention relates to an aero-engine simulation method, device and equipment, a storage medium and a program product. The method comprises the following steps: acquiring description file information of an external dynamic link library, wherein the external dynamic link library is a packaged simulation algorithm; generating a target adaptation function according to the description file information, wherein the target adaptation function is used for being compatible with an input and output format of a simulation system and an input and output format of an external dynamic link library; if it is determined that the target adaptation function needs to be compiled according to the historical compiling condition, a target compiler is obtained, and an adaptation dynamic link library is generated according to the target compiler and the target adaptation function; data interaction with an external dynamic link library is completed according to the adaptive dynamic link library, and simulation of the aero-engine is achieved. By adopting the method, the expansibility of an aero-engine simulation system can be improved.

The invention discloses an extranet-driven intranet and extranet security isolation compiling system, and belongs to the technical field of software development. Comprising an SFTP server, and the SFTP server is connected with an intranet and an extranet. The SFTP server is used for internal and external network upload management and control, internal and external network physical isolation and file synchronization. The intranet comprises an automatic script, a configuration file detection module, an automatic compiling module and an intranet log module; the external network comprises a front end and a rear end, the front end is used for providing a unified operation entrance for a user, and the rear end is used for driving the front end to work through a data processing algorithm; when a user initiates a request through a webpage, a system creates task groups, and each task group comprises a plurality of sub-tasks; at the moment, the extranet executes an extranet process to perform extranet legality verification, and performs task release; and meanwhile, the intranet executes an intranet process and periodically performs intranet legality detection. The method can ensure that each link masters the edition issuing key information consistently, and effectively improves the information transmission efficiency and accuracy.

The invention provides a data analysis method and device, a protocol analyzer generation method and device, equipment and a medium, and the data analysis method comprises the steps: receiving to-be-analyzed data, packaging the to-be-analyzed data based on a target protocol, enabling the target protocol to be of a tree structure, enabling nodes in the tree structure to correspond to field clusters in the target protocol, connecting lines between the nodes correspond to jump relations between the field clusters; and analyzing the to-be-analyzed data on the basis of the field cluster and the jump relationship in the tree structure by running an analysis code, and generating the analysis code on the basis of the target protocol and passing the test. In this way, the target protocol with the preset format can be directly processed into the parsing code and then added to the protocol parser, work such as code testing and repairing does not need to be carried out again, and the adding efficiency of the protocol in the protocol parser is improved. After the to-be-parsed data is received, the parsing code in the protocol parser can be directly used for data parsing, so that the data parsing efficiency is improved.

The invention relates to the technical field of data processing, and discloses a compiling method and system for generating hardware accelerator executable codes facing a multi-mode large language model, a terminal and a storage medium. The method comprises the following steps: constructing a computational graph according to the structure of a to-be-deployed large language model and operators supported by a hardware platform; traversing the computational graph to deduce output tensor type information of each operator, and verifying the type consistency between adjacent operators; based on the verified type information, executing static memory allocation to determine a static storage address of the weight data, and executing dynamic memory allocation to determine a dynamic storage address of the state data; then combining the verified type information and the static and dynamic storage addresses to generate an intermediate representation instruction sequence for configuring a hardware acceleration platform register; and finally, converting the intermediate representation instruction sequence into a target code file which can be directly loaded and executed by a hardware acceleration platform. The compiling efficiency, the deployment reliability and the resource utilization rate are improved.

The invention provides a method, a system, equipment and a medium for optimizing page layout based on a large model, and belongs to the technical field of webpage design, the method comprises the following steps: creating an intelligent agent for page optimization, and installing server deployment, Web application construction and Web test tools; responding to a page generation demand, calling a Web application construction tool through a large model to create an initial page code with a burying point, and performing modification confirmation according to user opinions; responding to the implementation request, calling a server deployment tool through a large model to deploy simulation and formal environments, and running page codes in the simulation and formal environments in sequence; and in response to an optimization demand, regularly collecting user operation data through burying points, inputting the user operation data into the large model to generate an optimization suggestion, calling a Web application construction tool to modify page codes, and sequentially running in a simulation environment and a formal environment until the demand is met. According to the method, the page optimization efficiency and accuracy are improved, the labor cost is reduced, the user demand is responded quickly, and the user experience and the page performance are improved.

The embodiment of the invention provides a code generation method and device, electronic equipment and a readable storage medium, and relates to the technical field of data processing, the code generation method comprises the following steps: generating a plurality of first codes corresponding to a target demand based on a code generation model; performing cross recombination on the first code to obtain a second code; screening the plurality of first codes based on the code scores of the first codes to obtain third codes; and determining a target code corresponding to the target demand from the second code and the third code based on the code score of the second code and the code score of the third code. According to the method, multiple codes corresponding to a target demand can be generated, and the multiple codes are processed in combination with advantage screening and cross recombination, so that the next-generation codes can contain variant code individuals and superior individuals of the previous generation, and the quality of the next-generation codes can be ensured not to be reduced; the probability that better individuals appear in next-generation codes can be improved, and then the code quality of the selected target codes can be improved.

An embodiment of the present invention discloses a vehicle electronic automation test method, device, system and medium. The method includes: if it is monitored that a new version is released in the version database, downloading the new version project from the version database and determining the version number information of the new version project; copying the lower computer test code from the test database and editing the lower computer test code according to the version number information of the new version project to obtain a lower computer editing result; compiling according to the new version project and the lower computer editing result to obtain a target file; burning the target file into the electronic control unit in the vehicle and testing the electronic control unit with the target file. The embodiment of the present invention reduces the degree of manual participation and improves the generality, sustainability and test efficiency of vehicle electronic automation testing.

The invention discloses an analysis method and device for a Simulink model and electronic equipment, and the method comprises the steps: extracting an intermediate file ModelName.rtw from a target Simulink model, traversing the intermediate file, determining a hierarchical structure relation of the model based on a preset hierarchical division symbol "sum", and retrieving the intermediate file by using a plurality of keywords, basic information, parameter information and signal information of the target Simulink model are extracted; generating an analysis result based on the basic information, the parameter information and the signal information, wherein the analysis result is used for communication mapping between the upper computer and the controller; according to the method, the problems that in the prior art, the structure and content of a Simulink model are variable, and data loss and conversion errors are prone to occurring in the conversion process are solved, keyword retrieval and extraction are conducted through a hierarchical structure, then analysis of the Simulink model is achieved, key information in any Simulink model is obtained, and when a rapid prototype control system is adopted, the conversion efficiency of the Simulink model is improved. And the universality of the function applied to the software development of the upper computer is enhanced.

The invention provides a Wasserstein distance and Bayesian Thompson sampling-based compiler collaborative optimization method and system, and the method comprises the steps: determining a decision order based on a preset optimization stage mapping list, and constructing an optimization space into a hierarchical decision structure; traversing the hierarchical decision structure, selecting optimal child nodes layer by layer according to Thompson sampling, and generating candidate configuration; selecting a target configuration parameter based on the candidate configuration, injecting the target configuration parameter into the to-be-optimized program, and obtaining performance data; establishing a binning histogram model, extracting the distribution data of the optimal configuration and the worst configuration in the same optimization stage, and quantifying the Wasserstein distance value of the two distributions; and judging a Wasserstein distance value, triggering an optimization stage reordering mechanism, and reconstructing a hierarchical decision structure. According to the method, the integration of the robust distribution measurement and the adaptive decision in the automatic tuning of the compiler is realized.

Adaptive on board estimation of exogenous pharmacon responsive to transient (i.e., impermanent) physiological effects is provided. Dynamically estimating an equivalent amount of an exogenous pharmacon on board (XOB), such as insulin and / or carbohydrates, left in the subject, is based on predictions of glucose time-series data. These estimated values, such as insulin on board (IOB), are useful for diabetes management software, including decision support and / or artificial pancreas (AP) algorithms, for example.

The invention discloses a data encoding and decoding method and device for power regulation and control application service information interaction, and belongs to the technical field of power system regulation and control, and the method comprises the steps: obtaining structured data from a power regulation and control system through a client, the structured data comprising power system operation parameters; calling a coding interface through a client, coding the structured data into a binary data stream according to a predefined message description language specification, and transmitting the binary data stream to a server through a power communication network through the client; receiving the binary data stream through a server, and calling a decoding interface to decode the binary data stream into structured data; the decoded structured data is transmitted to a power regulation and control application service module for use through the server side; according to the method, the network overhead in the interaction process of the power regulation and control system is greatly optimized, and the overall performance and safety of the system are improved.

The invention discloses an actuarial calculation engine code compiler, an operation method and a related product. The actuarial calculation engine code compiler comprises an editing layer, an analysis layer and a mapping layer. The editing layer is configured to compile an actuarial process about the target actuarial business by adopting actuarial business terms and actuarial logic in response to the operation of the client; the analysis layer is configured to analyze the actuarial process and identify variables, formulas and time sequences in the actuarial process; generating a main syntax tree comprising target actuarial business semantics and a sub syntax tree comprising operation symbols and functions; and a mapping layer configured to parse the main syntax tree and the sub-syntax tree into machine executable code. In the embodiment of the invention, the actuarial process is edited through the actuarial business terms and the actuarial logic, and the actuarial process is converted into the machine executable code, so that the actuarial process adapts to high professionality and high suitability of professional evaluation of actuarial professionals.

The invention discloses a software module compiling method, electronic equipment, a medium and a product, and the method comprises the following steps: after a modification operation on a first module is monitored, determining changed first content in the first module; obtaining a pre-generated module dependency graph and a binding mapping table; determining at least one second module having a dependency relationship with the first module according to the module dependency graph; according to the binding mapping table, screening out at least one recompiling module of which the imported content comprises the first content from the at least one second module; according to the method, at least one screened recompilation module is recompiled, so that the consistency and correctness of codes are ensured, only the affected part is compiled, the time and computing resources for software module compiling and hot updating are saved, the development efficiency is improved, the resource utilization is optimized, and the development cost is reduced. And the maintainability, the expandability and the project management efficiency of the software project are improved.

The invention provides a program compiling method and device, electronic equipment, a storage medium and a program product. The method comprises the steps of obtaining a to-be-processed program; from the to-be-processed program, determining a task interface used for indicating to distribute the coprocessor task to the coprocessor for execution; generating a first execution code of the coprocessor task on the coprocessor based on the logic relationship of the task interface in the to-be-processed program; original logic used for calling a task interface in the to-be-processed program is updated into control logic executed by the central processing unit, an updated program is obtained, and the control logic is used for the central processing unit to drive the coprocessor to execute the first execution code; and based on the update program, generating a second execution code of the central processing unit task on the central processing unit, and packaging the first execution code and the second execution code to obtain a compiling result of the to-be-processed program. Through the method, the compiling efficiency can be effectively improved.

The present disclosure provides a method, device and electronic device for generating a functional memory, belonging to the field of memory technology. The method comprises: obtaining description information of a functional memory to be designed, the description information comprising: target byte depth, target byte width, target operating frequency; determining the target type of the functional memory to be designed according to the target byte depth and target operating frequency; determining the target compiler information of at least one specification of physical memory included under the target type from the target database; determining the specification, quantity and location of the target physical memory constituting the functional memory to be designed according to the target compiler information and the description information. The functional memory can be automatically designed according to the description information.