Patents
Literature
Patsnap Eureka AI that helps you search prior art, draft patents, and assess FTO risks, powered by patent and scientific literature data.

141results about "Compiler construction" patented technology

Structured text code generation and review method

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.
Owner:CHINA JILIANG UNIV

Low-code enterprise-level intelligent assistant development platform

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.
Owner:IMMER (NANJING) TECH CO LTD

Domain-specific verification tool for cache coherence protocol

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.
Owner:SHAOXIN LABORATORY

Knowledge graph-based two-hop incremental interface consistency verification method and system

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.
Owner:AACAT TECHNOLOGY LTD

Inference method and device, equipment and storage medium

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.
Owner:BEIJING BAIDU NETCOM SCI & TECH CO LTD

Multimodal large language model-oriented compiling method and system for generating hardware accelerator executable codes, terminal and storage medium

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.
Owner:SHENZHEN MAITEXIN TECH CO LTD

Analysis method and device for Simulink model and electronic equipment

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.
Owner:CHINA YANGTZE POWER

Dynamic equivalent on board estimator

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.
Owner:DEXCOM INC

Data encoding and decoding method and device for service information interaction of power regulation and control application

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.
Owner:BEIJING KEDONG ELECTRIC POWER CONTROL SYST CO LTD +1

Actuarial calculation engine code compiler, operation method and related product

PendingCN121541861ACompiler constructionParser generationIdentifying VariableSoftware engineering
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.
Owner:太保科技有限公司

Program compiling method and device, electronic equipment, storage medium and program product

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.
Owner:SHANGHAI ORIENTAL COMPUTER TECHNOLOGY CO LTD

Program translation through code distillation

A source code translation system translates a source code snippet in an original source code programming language into distilled code that preserves the core semantics, logic flow, and data flow of the source code snippet in a language-independent format. The distilled code is then translated into a semantically-equivalent source code snippet in a different programming language by a decompiler. The decompiler is configured as a neural transformer model with attention pre-trained for translation using masked language modeling, denoising auto-encoding and multilingual program generation. The decompiler translates the distilled code into one of several different high-level programming languages.
Owner:MICROSOFT TECHNOLOGY LICENSING LLC

Device and method for quickly generating and publishing RESTFUL API (Application Program Interface)

The invention discloses a RESTFUL API rapid generation and release device and method, and the device comprises an API service management module which is used for providing an API interface development and management interactive interface for a data server user, achieving the configuration, testing and release of a newly-added API, and achieving the management function of the existing API, project and environment; the API service opening module is used for providing an API reading and subscribing interaction interface for a user at the service system end; and a network management and control module, a data basic service module and the like. The device provides an interface mode or an SQL configuration mode to generate an API; dynamic online and offline management can be carried out on the API; multiple sets of environments can be managed, the APIs can be dynamically published to the specified environment, and the registration publishing and management efficiency of the APIs is effectively improved.
Owner:SHENZHEN HAIZHICHUANG TECH CO LTD

Code processing method and device, electronic equipment, storage medium and computer program product

The invention discloses a code processing method and device, electronic equipment, a storage medium and a computer program product. The method comprises the steps that an original code is obtained, the original code is used for declaring that one or more quantum bits are written into a pointer array, the pointer array comprises one or more pointers, and the one or more pointers are used for pointing to the one or more quantum bits; determining the type of the pointer array and the name of the one or more quantum bits by using the original code; constructing an object array by using the type of the pointer array and the name of the one or more quantum bits, the object array being used for pointing to the one or more quantum bits; and replacing the pointer array with the object array to obtain a compiled intermediate code. According to the technical scheme, in the code compiling process, the pointers of the pointer array are replaced with the specific objects pointed by the pointers, and the processing efficiency when the objects associated with the pointer array are called subsequently can be improved.
Owner:CHINA MOBILE (SUZHOU) SOFTWARE TECH CO LTD +1

Method for collecting data, storage medium, processor and engineering vehicle

The embodiment of the invention provides a method for collecting data, a storage medium, a processor and an engineering vehicle, the method is applied to a first terminal provided with a nifi application program, and the method comprises the steps of obtaining a first operation instruction which is triggered by a user through an operation interface of the nifi application program and aims at a first icon, the first icon is a display icon of a preset nifi component in a nifi application program; according to the first operation instruction, obtaining a configuration parameter which is input by a user and aims at each preset nifi component; generating a first template file corresponding to the target device according to the configuration parameters of each preset nifi component; and sending the first template file to a second terminal corresponding to the target equipment so as to carry out a corresponding data acquisition operation through the second terminal according to the first template file. According to the technical scheme, a large number of components do not need to be repeatedly developed, the data acquisition time period is shortened, and the data acquisition efficiency is greatly improved.
Owner:ZHONGKE YUNGU TECH

Development method and system based on low-code configuration function engine

The invention relates to the technical field of function engine configuration, and discloses a development method and system based on a low-code configuration function engine, and the method comprises the steps: decoupling bottom configuration information and specific business configuration according to the core capability demand of the function engine, and configuring a basic support module for the operation of the function engine; configuring a core function of the function engine based on the basic support module, and converting a core function configuration process of the function engine into an executable logic or instruction; configuration of executable logic or instructions is achieved through a visual user interface, an operation and maintenance mechanism is adjusted in real time in combination with the operation state in the operation process of the function engine, and core functions of the function engine are continuously iterated in combination with user feedback and service changes. According to the method, the function engine can be quickly configured while the code quantity is reduced, so that business changes are quickly responded, the efficiency is improved, and the cost is reduced.
Owner:JIANGSU HENGTONG DIGITAL INTELLIGENT TECH CO LTD

Construct-associated candidate tag for development-phase compiler requests

Construct-modification tags conveying development-phase compiler requests are introduced into source code to facilitate communication between developers, identify areas that need developer attention, send directives to a compiler, and other development features in an integrated development environment, during the software development phase. A CANDIDATE tag conveys a request to a compiler to identify multiple candidate constructs, compile each set of candidates or sets of multiple candidates into executables, and profile the compiled executables. Results of the profiling can be compared and a best candidate or set of candidates selected based on one or more of various criteria. A CANDIDATE tag may incorporate properties, permissions, and generate notifications. Methods ensure that tags no longer remain in source code once the software development process enters the production phase.
Owner:ZOHO OFFICE SUITE

Permissions and notifications for construct-modification tags

Construct-modification tags conveying development-phase compiler requests are introduced into source code to facilitate communication between developers, identify areas that need developer attention, send directives to a compiler, and other development features in an integrated development environment, during the software development phase. A hierarchy of developers and associated permissions is maintained. A tag may be associated with one or more developers as well as one or more permissions. Notifications associated with tags may be issued to one or more developers in response to a conveyed compiler request. General messages to all the developers and personalized messages to one or more developers indicate the presence of tags and need to resolve issues before the software development process enters the production phase.
Owner:ZOHO OFFICE SUITE

Method for dynamically issuing locomotive by using lua script generated by workflow

The invention discloses a method for generating a Lua script dynamic departure engine through a workflow, and relates to the technical field of Internet of Vehicles and vehicle-mounted software, and the method comprises the steps: firstly constructing a basic operator through a cloud platform, responding to a user arrangement, generating a process definition file, converting the process definition file into a Lua script code, and packaging and uploading the Lua script code after digital signature; and the vehicle terminal monitors a system state, downloads an update file when a trigger condition is satisfied, and performs integrity verification and signature verification. And after the verification is passed, the calculation center module starts a Lua interpreter to run a script, and calls a local Java operator to execute service logic through a reflection mechanism. According to the method, decoupling of service logic and underlying capability is realized through cloud arrangement and an end-side sandbox execution mechanism, dynamic hot update of the vehicle machine function is completed under the condition that firmware OTA flash is not carried out, and meanwhile, the security of script operation is ensured by utilizing encryption verification and permission isolation.
Owner:CHINA FAW CO LTD +1

Layout conversion method for multi-level storage

The invention particularly relates to a layout conversion method for multi-level storage. According to the layout conversion method oriented to the multi-level storage, the storage capacity is from small to large, the access delay is from low to high, and the layout conversion method is divided into a register level, an SRAM level and a DRAM level; the method comprises the following steps of: firstly, determining a matrix multiplication task and a partitioning strategy, storing data in a DRAM (Dynamic Random Access Memory) in a Tile layout, then loading the data from an SRAM (Static Random Access Memory) into the SRAM in a Swizzle layout form, and finally loading the data from the SRAM into a specific register and completing calculation, so that a calculation unit can read the data from the register without waiting. According to the layout conversion method oriented to multi-level storage, continuous memory access reading is achieved by conducting layout conversion among different storage levels, the problem of plate conflict is solved, and meanwhile the DRAM bandwidth utilization rate and the access parallelism degree on an SRAM are improved through continuous memory access.
Owner:YUANQIXIN (SHANDONG) SEMICONDUCTOR TECHNOLOGY CO LTD

Program compiling and program loading method

The embodiment of the present application provides a program compiling and loading method. In the embodiment of the present application, when an application program is compiled, on one hand, the code section and the data section of a plurality of object files compiled from application source code are subjected to merging processing to obtain a target code section and a target data section, thereby reducing table header information; on the other hand, only a symbol table corresponding to a relocation table required when the application is loaded is retained, thereby reducing the space consumption of the symbol table; therefore, the size of an executable file of the application generated according to the target code section, the target data section, the relocation table and the symbol table corresponding to the relocation table is reduced, and the memory consumption when the application is loaded is reduced.
Owner:ALIBABA CLOUD COMPUTING CO LTD

Icon-related XML format recognition method, icon format recognition method and server

The invention discloses an icon-related XML format recognition method, an icon format recognition method and a server, and the method comprises the steps: obtaining an XML document according to an icon file path in an installation package, and extracting a tag name of a root element; when the tag name is identified as a vector graph type or an adaptive icon type, reading attribute information or child node information of a root element, and executing structural integrity verification; and finally determining the icon format type according to the structure verification result and the tag name. According to the method and the device, through a dual detection mechanism of extension shunting and content deep analysis, and in cooperation with a main and standby analysis fault-tolerant strategy, accurate identification in an environment without Android running is realized, the problem of misjudgment of an XML icon format is effectively solved, and the consistency of icon display is ensured.
Owner:FUJIAN LANDI COMMERCIAL EQUIPMENT CO LTD

Modbus communication library adaptation method under MATLAB and CCS joint development mode

The application discloses a Modbus communication library adaptation method under a MATLAB and CCS combined development mode, which comprises the following steps: writing a Modbus drive code unit, creating a Simulink module for the Modbus drive code unit by using a code inheritance tool, setting the code related to a DSP hardware drive to a state of exempting from compilation and completely reserving during the creating process, restoring the code related to the DSP hardware drive to an executable state after the creating process, encapsulating a plurality of created Modbus drive modules to form a Modbus drive module library, calling the modules in the Modbus drive module library in Simulink to build a Modbus communication model and generate code, and deploying the code to a DSP. The method can break away from the limitation of hardware resources provided by MATLAB for DSP development, quickly complete Modbus-based communication development based on the self-written Modbus drive code, and has the advantages of high development efficiency, easy integration and the like.
Owner:CHONGQING UNIV

Method for automatically generating Binder communication SDK (Software Development Kit) of Android system

The invention relates to the technical field of computer software, in particular to a method for automatically generating an Android system Binder communication SDK (Software Development Kit), which comprises the following steps: defining an AIDL interface source file and compiling to generate a JAR packet; defining an interface configuration JSON file; executing a pre-generation program, and creating an annotation mark Java file; integrating the annotation processor and compiling to generate a final SDK file, wherein the generation process of the final SDK file comprises the following steps: registering and triggering the annotation processor, analyzing the annotation, analyzing an AIDL interface method, constructing a code model and generating the SDK file; and using the generated SDK file. The technical problems that in existing Android application development, due to the fact that Binder communication bottom layer template codes are manually written, the development efficiency is low, the codes are redundant and prone to errors, and unified maintenance is difficult are solved, and normalization and consistency of communication codes among multiple services are fundamentally guaranteed.
Owner:CHINA FAW CO LTD +1

Programming data processing method, apparatus, medium, and electronic device

The application belongs to the technical field of computers, and particularly relates to a programming data processing method, a programming data processing device, a computer readable medium and an electronic device. The programming data processing method in the application embodiment comprises the following steps: acquiring a building block module set used for graphical programming, the building block module set comprising an expression building block used for executing a logic command and having a return value and a behavior building block used for executing a logic command and not having a return value; in response to a selection operation on the expression building block, adding an object creation building block used for creating a program object and returning an object identifier of the program object in a programming interface; and in response to a selection operation on the behavior building block, adding an object control building block used for executing a control command on the program object according to an input object identifier in the programming interface. The application embodiment can realize effective control on a newly created object.
Owner:TENCENT TECHNOLOGY (SHENZHEN) CO LTD

Automatic SOA service code generation system and method based on AUTOSAR XML

The invention discloses an automatic SOA service code generation system and method based on AUTOSAR XML, and relates to the technical field of automobile electronic software development, and the system comprises a signal analysis module, a module search module, a code generation module and a code insertion module. The signal analysis module constructs a document object model by using XPath and extracts a service context associated with a signal; the module searching module traverses a directory to position a target source file; the code generation module constructs communication code snippets adapted to different hierarchies based on a preset template; and the code insertion module writes the generated code into a target file through anchor point search. By means of the method and device, automatic conversion from architecture description to code implementation is achieved, type mapping errors caused by manual analysis of ARXML are eliminated, strict consistency of bottom-layer implementation and upper-layer architecture definition is ensured, incremental updating of existing engineering is supported, and SOA software development efficiency is improved.
Owner:CHINA FAW CO LTD +1

Program module sharing method and device, electronic equipment and medium

The present disclosure relates to the field of electric digital data processing, and particularly relates to a program module sharing method and device, electronic equipment and medium. The program module is written by a user for a specified program and is used for modifying the specified program. The method comprises the following steps: obtaining programming language code of the program module at a server end; compiling the programming language code into a native code library file suitable for a specified platform type by using a compiler, wherein the compiler performs corresponding optimization acceleration for the specified platform type during the compiling process; in response to a download request of any user for the native code library file, sending the native code library file to a client of the any user, and the client of the any user runs the specified program and the native code library file based on a platform of the specified platform type. The present disclosure solves the problems of low efficiency and lag caused by running an interpreter locally to execute a program module script.
Owner:HUNAN TACHYON CULTURE & TECHNOLOGY CO LTD