30 results about "Program logic" patented technology

The invention provides an automatic object-level authorization vulnerability detection method based on a large language model, which comprises the following steps of: firstly, identifying a sensitive resource table through SQL (Structured Query Language) grammar analysis, and analyzing an operation path from a tracking request parameter to the sensitive resource table by utilizing a forward data stream; then, performing context sensing analysis on the database operation by adopting LLM to infer object-level sensitive operation; thirdly, recognizing program logic and a conditional protection mechanism in database query through static analysis, and recognizing custom verification logic such as method-level annotation and administrator permission in combination with an LLM and character string matching method; and finally, judging whether the sensitive operation lacks user-defined verification, ownership SQL constraint and access control conditions at the same time or not by integrating the mechanism, and generating a vulnerability report according to the judgment result. The invention further provides an automatic object-level authorization vulnerability detection system based on the large language model. Therefore, the detection precision can be effectively improved, and false alarm and missing alarm are remarkably reduced.

The invention belongs to the technical field of energy storage power stations and microgrids, and particularly relates to a method for automatically identifying industrial equipment based on a configurable protocol of an EMS. A protocol management module containing point location, equipment and business group management is constructed in an EMS system, and equipment connection information of different manufacturers, point location information (integrated into a standard protocol through a business unified identifier) and a business function and point location association relationship are configured, stored in a corresponding data table and refreshed to a general protocol cache. And the data acquisition program calls the corresponding protocol module to acquire real-time data, stores the real-time data in the data cache, and reads the data from the cache during display. According to the method, logic separation of the protocol and the program is realized, heterogeneous equipment of multiple manufacturers can be dynamically adapted without modifying the program, the problem of incompatibility of the protocol is solved, busy equipment bus and data delay are avoided, and the stability and the maintenance efficiency are improved.

The invention discloses a network equipment configuration file verification method and system based on a Drools rule engine, and the method comprises the steps: receiving a to-be-verified network equipment configuration file, carrying out the line-by-line analysis of the configuration file, and constructing a configuration line object; a configuration type mapping table is maintained, and a multi-stage matching strategy is adopted for configuration type identification; a Drools rule engine is loaded, a KieServices instance is created, and grouping management of verification rules is supported; inserting the analyzed configuration line object as a fact into a working memory of a Drools rule engine, performing verification rule matching and execution, and collecting a detailed verification result at the same time; and after verification is completed, statistical analysis and formatting processing are performed on a verification result, and a report is generated. According to the method and system, verification rules and program logic are separated, and dynamic management and execution of the rules are achieved through a Drools rule engine.

The present application relates to the technical field of laser cladding, and particularly relates to a laser cladding repair process for a crankshaft crank web, comprising the following steps: S1, pretreating a to-be-repaired part on the crankshaft crank web; S2, clamping the crankshaft in a two-end-opposite-vertex manner, and performing point position teaching on the to-be-repaired part on the crankshaft crank web through a robot linkage coordination program to complete program logic editing; S3, running a track according to the point position teaching program, and first laser cladding a primer layer on the to-be-repaired part, and then laser cladding a high-hardness layer on the surface of the primer layer; and S4, finishing the high-hardness layer. The present application has the advantages that the repair operation of the damaged part on the crankshaft crank web is simple, no additional eccentric clamp and other customized tooling is needed, and the repaired damaged part has high hardness, thereby improving the service life of the crankshaft.

The application provides a small program running method, system, device and medium. In the method, after obtaining the operation event of the small program user, the small program logic execution interface is called, and then the small program logic execution interface and the target vehicle-mounted operating system are connected, so that the target vehicle-mounted operating system runs the small program according to the operation event and outputs corresponding application programming interface information. Then, the application programming interface corresponding to the application programming interface information is called, and the application programming interface and the target vehicle-mounted operating system are connected, so that the target vehicle-mounted operating system completes the operation event. The scheme connects the small program logic execution interface and the target vehicle-mounted operating system, and connects the application programming interface and the target vehicle-mounted operating system, thereby improving the compatibility of the small program running method and reducing the development cost and maintenance cost.

The application discloses a task processing method and device, equipment, storage medium and product, and belongs to the computer technical field. The method comprises the following steps: acquiring task configuration information; in response to a task issuing instruction for a target client, acquiring task attribute information corresponding to a target serial task from the task configuration information; determining a subtask corresponding to the target serial task according to the task attribute information; generating task taking information corresponding to the target serial task based on the subtask; and sending the task taking information to the target client. In the technical scheme provided by the application, for each serial task, the subtask corresponding to the serial task can be determined according to the task attribute information of the serial task in the task configuration information, and then the task taking information of the serial task is generated according to the subtask and sent to the client, so that the client takes the serial task. Through the universal task processing process, the program logic development and planning configuration work of the task system are separated, and the application development efficiency is improved.

The application discloses a kind of wisdom internet of things control systems, for controlling each equipment unit in water-cooled air conditioning system, wisdom internet of things control system includes: multiple wisdom terminals, switch and server, wisdom terminal is interacted through double network, each wisdom terminal is electrically connected to a equipment unit by communication network, equipment unit is divided according to the interlocking relationship of each equipment of water-cooled air conditioning system;Switch is electrically connected to multiple wisdom terminals by communication network;Server is electrically connected to switch by communication network, and the data of corresponding equipment unit that wisdom terminal will be collected is output to client by switch and server;Each wisdom terminal is pre-set in its corresponding equipment unit and the program logic of remaining equipment unit in water-cooled air conditioning refrigeration system for collaborative work and communication, so as to complete the control of each equipment in water-cooled air conditioning system by wisdom terminal.

This application discloses a kernel probe generation method, apparatus, computer device, and storage medium, relating to the field of operating system kernel monitoring technology. The method includes: responding to a kernel probe generation request, obtaining a target metadata file corresponding to the current operating system kernel; determining a target declarative policy file; determining a target program logic file corresponding to the target declarative policy file; and generating probe code based on the target program logic file and the target metadata file to obtain a kernel probe program. This application, by combining the target metadata file and the target declarative policy file, can dynamically generate probe program source code adapted to the current kernel version. This source code generation function decouples the kernel probe development logic from underlying kernel knowledge, eliminating the need for developers to deeply understand the kernel's internal data structures and version differences, thus lowering the development threshold. It supports not only specific operating systems or probe types but also the general Linux kernel and various probe types.

The invention provides a shield / TBM visual editing automatic evaluation system and method, the system comprises a main analog machine and at least one sub analog machine, the main analog machine and the sub analog machine are respectively provided with an evaluation system, and the evaluation system judges the operation process of the analog system according to a set algorithm and outputs an evaluation result; custom examination question design and automatic scoring of simulation operation are realized; the input end of the evaluation system of the main analog machine is connected with the OPC server, the output end of the evaluation system of the main analog machine is connected with the 3D analog unit, the OPC server is connected with the analog data processing unit and the PLC control unit, signals are input to the PLC control unit, and the PLC control unit carries out operation according to program logic and sends a processing result to the OPC server; the analog data processing unit reads operational data of the PLC control unit and calculates data of actions of the 3D analog unit; and the 3D simulation unit reads the data read and calculated by the simulation data processing unit and performs adjustment according to the numerical value.

This application discloses a tensor program performance prediction method and system based on LLVM, relating to the field of computer system performance modeling and compiler optimization technology. This invention determines the instruction type of each instruction by semantic recognition of the tensor intermediate representation and transforms the instructions into task nodes with semantic tags. By calculating the symbolic execution count and corresponding execution cost of each instruction type tag within each basic block, the program load is quantified without executing the code. Furthermore, the basic blocks are scheduled and arranged under the physical resource constraints of the target hardware, achieving deep coupling between program logic semantics and hardware physical constraints. Finally, the total predicted execution time of the entire tensor program is obtained based on the predicted execution time of each basic block and the number of times each basic block appears. This enables accurate evaluation of the execution time of a high-performance tensor kernel without running on the target hardware platform.

The embodiment of the invention discloses an application logic vulnerability detection method, device and equipment. According to the scheme, the method comprises the steps that source codes of an application program are analyzed, and a corresponding structured data model is obtained through extraction; based on the main agent, data classification is performed on the structured data model, and declaration data corresponding to the client and authority data corresponding to the server are extracted; performing inconsistency verification according to the declaration data and the authoritative data to obtain a first detection result; if it is determined that a risk triggering node exists according to the first detection result and business association exists between the risk triggering node and the specified business scene, an expert sub-agent corresponding to the specified business scene is called, the risk triggering node is verified, and a second detection result is obtained; and performing combination according to the first detection result and the second detection result to obtain a logic vulnerability detection result corresponding to the application program.

The invention provides an operation method and system for a programmable modular distribution network uninterrupted operation robot, and the method comprises the steps: receiving and analyzing a distribution network operation task instruction, so as to deconstruct the distribution network operation task instruction into a standardized task sequence composed of a plurality of atomic operations; based on the standardized task sequence, dynamically matching and generating an executable modularized operation program from a virtualized module function library, and pre-storing program modules corresponding to logic functions of a plurality of physical function modules in the module function library; and executing the modular operation program, sending an instruction to a robot system, and controlling a robot to automatically complete each atomic operation in the standardized task sequence according to program logic. According to the invention, the operation threshold and dependence on a specific hardware platform can be reduced while the safety and efficiency of non-power-cut operation can be obviously improved.

An intuitive framework for assembling instructional modules for educational purposes provides integrated programmatic logic to provide learners with agency and increase achievement. The framework enables educators to use content from a learning content database and assemble the content into adaptive learning pathways using a visual drag-and-drop approach combined with the creation of rules to drive adaptivity without requiring programming or coding skills.

The invention discloses an interactive three-dimensional model material switching method and system based on data driving, and the system comprises a data structure definition module which is used for creating a self-defined data structure which at least comprises a material asset reference field and an associated information field; the data asset storage module is used for storing the data structure to form a plurality of material options, and each material option corresponds to an identifier; and the three-dimensional entity logic module is used for receiving input information, quoting corresponding materials in the material options according to the input information and rendering a target through the quoted materials, and the system is implemented by adopting the system. According to the interactive three-dimensional model material switching method and system based on data driving, material data and program logic are completely separated, all material options can be managed by editing a visual data table, the search process is simple, maintenance and management are convenient, complex codes or blueprints do not need to be contacted, and team cooperation efficiency is greatly improved.

A system for analyzing graph databases using intelligent reasoning systems including scalable collection of, and transformation of, graph data into facts suitable for use with programming logic languages doing deductive reasoning. A graph analyzer ingests disparate graph data from across the Internet and transforms the graph data into a fact table. In order to reduce latency and processing congestion, a stream processing engine and sharding strategy are employed to ensure scalability through parallelized processing of programming logic queries. Transformed graph data, now relational data, is utilized with programming logic languages that allow for hypothetical queries whereby an inference engine can deduce new information to satisfy such a query. Furthermore, the self-contained nature of inputs, outputs, and transformations of the system means strict data provenance can be observed and adhered to.

The invention belongs to the technical field of data storage and retrieval, and discloses a method, equipment and medium for storing and retrieving hierarchical structure data, and the method for storing the hierarchical structure data comprises the following steps: acquiring original data with an up-down hierarchical relationship; converting the original data into a JSON format file; wherein the JSON format file reflects the tree-shaped hierarchical relationship of the multi-way tree through nesting of a parent object and a child object, nodes in the original data are represented by JSON objects, and data corresponding to leaf nodes in the original data are represented by character string arrays; performing binary serialization processing on the JSON format file to generate a binary storage data file; and fixedly storing the binary storage data file in a fixed address of a storage area of the embedded equipment. The method can adapt to hardware resources of embedded equipment, simplify program logic and realize efficient storage of hierarchical data, and has good universality and expansibility.

This invention relates to the field of software testing technology, specifically to an adaptive fuzz testing method and system based on deep learning, comprising the following steps: injecting software analysis instrumentation probes into the binary conditional jump instruction locations of the target test program; loading an initial test case set to perform branch execution operations of the program logic; generating instrumentation execution trajectory data; and inputting the instrumentation execution trajectory data into a multivariate fitting calculation structure. In this invention, a high-priority scheduling mechanism triggered by sparsity is used to dynamically adjust the execution order of the test sequence, ensuring that computing resources are concentrated on test cases located at the exploration boundary or uncovered logic regions. This mechanism breaks the traditional testing's tendency to fall into local optima, guides the testing direction from the novelty dimension of data distribution, enhances the ability to mine deep program paths, and improves the coverage and overall efficiency of vulnerability detection.

The invention relates to the technical field of intelligent control, discloses an ice-making equipment control method and device, ice-making equipment and a medium, and effectively solves the problem of ice collection judgment rigidness caused by clamping stagnation of an ice collision strip, failure of an ice collection mechanism and the like of the existing ice-making equipment by setting dual detection logic of first timing and continuous preset times of ice collection action detection. When the ice collection action is not detected when single ice collection is overtime, the control equipment directly enters next ice making, so that mistaken shutdown and energy waste caused by accidental clamping stagnation are avoided; and when no action exists in continuous preset times of ice collection, an ice collection fault is accurately judged, alarm and background state updating are started, and timely early warning and positioning of the fault are realized. And hardware does not need to be modified, and only through control program logic optimization, the misjudgment rate of equipment is remarkably reduced, the operation continuity is improved, the manual intervention frequency of a user is reduced, the service life of the equipment is prolonged, and the use experience of the user is improved.

The invention discloses a sensor model updating method suitable for a single-chip microcomputer, and the method comprises the steps: setting sensor models according to a preset structure body, and binding an instance of each sensor model to a specific memory segment of the single-chip microcomputer through a compiler; sensor model codes and data corresponding to the specific memory segment are mapped to a fixed address area of the single-chip microcomputer through a link script, and a main program of the single-chip microcomputer directly accesses a sensor model interface through the fixed address area; receiving an upgrading file of the sensor model, erasing the specific memory segment, copying data of the upgrading file into the specific memory segment, and calling the upgraded sensor model after restarting or reloading through the single chip microcomputer to complete updating of the sensor model. According to the method, a preset structural body is adopted instead of a symbol table, the specific function of the sensor is packaged into a substructure, the method better fits a sensor scene, meanwhile, a sensor model and a main program are isolated more strictly, and the logic of the main program is not affected during upgrading.

The invention provides a JSON (JavaScript Object Notation)-based communication data processing method and a JSON-based communication data processing device, and solves the technical problems of low reliability and low development efficiency caused by incapability of decoupling program logic and configuration information in the existing complex data processing process. The method comprises the following steps: performing type mapping on a communication instruction, a communication identifier and a data load based on JSON according to a communication protocol definition; performing type mapping on the instruction parameters based on JSON according to the data encapsulation definition; performing parameter data mapping on the interface control based on JSON according to the definition of the interactive interface; forming a corresponding instruction configuration interface, a parameter configuration interface and an interface configuration interface; in the analysis process of communication data, original communication data of a communication bus is processed by calling an instruction configuration interface, a parameter configuration interface and an interface configuration interface, and structural data is formed based on JSON. Structured storage and hierarchical data processing of various buses and type parameters are achieved, development and maintenance cost is reduced, and reliability and development efficiency are improved.

The invention discloses an AI robot programming control system oriented to an education scene and an implementation method, and belongs to the field of intelligent education technology and robot control, and the implementation method comprises the following steps: constructing a task logic topological graph, and calculating a tail end pose and a joint stress range; a student programming instruction is analyzed to generate an abstract syntax tree, and virtual dynamics calculation and entity robot control are executed concurrently; reversely mapping the execution deviation matrix to the abstract syntax tree, executing error gradient back propagation operation and generating an error attribution map; random branch sampling and virtual dynamics forward calculation are executed; and acquiring student modification results at the interaction terminal and updating calculation parameters. According to the method, virtual-real fusion simulation and cognitive attribution analysis are adopted, accurate diagnosis of programming logic and physical execution differences can be achieved, and the pertinence of programming teaching is improved.

The invention provides a symbolic execution search method and device based on a large language model, and the method comprises the steps: constructing a state evaluation cue word based on global information and the state information of each candidate state under the condition that the increment of an exploration coverage rate is lower than a preset increment threshold value; inputting a state evaluation cue word into the large language model, and performing comprehensive evaluation to obtain a preferred state, namely a candidate state with more potential for improving the exploration coverage rate; and performing subsequent symbolic execution search based on the optimal state until symbolic execution exploration of the to-be-tested program is completed. According to the method provided by the invention, by monitoring the exploration coverage rate of symbolic execution in real time, when it is detected that the coverage rate is increased and stagnated, the cue word containing the global information and the state information is utilized to guide the large language model to recognize the preferred state with high potential value, and the symbolic execution engine is guided to break through the constraint of complex logic; the coverage rate bottleneck is effectively broken through in the face of complex program logic, and the exploration efficiency is improved.

The present application relates to a water turbine unit equipment rotation method based on group representation theory and rotation voting algorithm, comprising: establishing a permutation group having an isomorphic relationship with the unit equipment rotation logic; constructing a linear space and a base vector corresponding to the permutation group; determining the state and level of the unit equipment; determining the conjugate class of the permutation group and the corresponding matrix group element; determining the trigger condition of the unit equipment rotation; and calculating the new order of the main and standby equipment in a descending order k-rotation manner. The equipment rotation voting algorithm of the present application realizes the scientific and reasonable rotation and standby of the water turbine unit equipment, and the number of equipment used for rotation is not limited, improving the reliability of the water turbine unit operation, and solving the problems of algorithm complexity, program logic redundancy, poor readability, and difficult to find and troubleshoot logical errors in the design of the equipment rotation logic algorithm relying on experience and enumeration method.

The invention discloses a construction method of a large-model intelligent service comprehensive development platform, and belongs to the field of large-model development and application. The platform provides comprehensive programming support and learning service for a user by integrating various capabilities of a large language model, including functions of code error correction, code interpretation, question answering, knowledge point query and the like. According to the system, the prompt word engineering technology is adopted, correction codes can be generated in real time, programming logic can be explained, and personalized technical guidance can be provided. In addition, the platform supports an interaction mode of multi-round dialogues, helps the user to deeply understand complex problems, and promotes the improvement of the programming capability. The method is not only suitable for beginners, but also can meet the requirements of experienced developers, the development efficiency is remarkably improved, and the maintenance cost is reduced.

Provided are techniques for reducing a total amount of memory usage of an edge device by swapping application logics. A first application is executed in a foreground on an application framework, where the first application has a shown status. In response to receiving a request to execute a swap application, it is determined that the first application and the swap application use a same screen type and a same non-shareable resource. An application logic of the first application is stored in a suspended application logic pool, where the first application changes from the shown status to a hidden-suspended status. The swap application is executed in the foreground on the application framework, where the swap application has the shown status.

The invention discloses a code question and answer method and a related product. In the scheme, multi-level feature extraction is performed based on a to-be-processed code in a user request to obtain a feature extraction result; the multi-level feature extraction comprises node type feature extraction, structural relation feature extraction and semantic context feature extraction; performing retrieval based on the feature extraction result to obtain a retrieval result; and based on the retrieval result, processing by utilizing a large language model to obtain an answer corresponding to the to-be-processed code. Compared with the prior art that the reasoning ability of a large language model for complex program logic is limited, understanding of a code deep structure is lacked, and generated answers are inaccurate, the method has obvious advantages.

The application discloses an AI robot programming control system and implementation method for an education scene, belongs to the field of intelligent education technology and robot control, and comprises the following steps: constructing a task logic topology graph, calculating an end pose and a joint stress range; analyzing student programming instructions to generate an abstract syntax tree, and performing virtual dynamics calculation and entity robot control in parallel; reversely mapping an execution deviation matrix to the abstract syntax tree, performing error gradient back propagation calculation, and generating an error attribution graph; performing random branch sampling and virtual dynamics forward calculation; and collecting student modification results and updating calculation parameters at an interactive terminal. The application adopts virtual-real fusion simulation and cognitive attribution analysis, can realize accurate diagnosis of programming logic and physical execution differences, and improves the pertinence of programming teaching.

The invention discloses a code block calling method and device, equipment, a medium and a program product, and relates to the technical field of computers. The method comprises the steps of obtaining a program file of a first program; in the process of running the program file, in response to the fact that a first code block used for achieving the first subprogram logic is abnormal, configuration information related to the first code block is rewritten based on the second address, and address jump information is generated; invoking a second code block from a second address based on the address jump information; executing the second code block implements the first subprogram logic in the first program. The second address written by the second code block can be indicated in a targeted mode through the generated address jump information, the purpose of replacing the first code block in a targeted mode through the second code block is achieved, and the running stability of the first program is guaranteed. The method and the device can be applied to various scenes such as program running repair scenes and program analysis scenes.

The application belongs to the technical field of power supply control, and specifically discloses a digital power supply graphical programming method based on flow driving, which comprises the following steps: constructing a power supply control Flow component library, the component library comprising a plurality of Flow nodes, the nodes being stored in the form of script files, the script files containing basic code segments required for realizing node functions and describing data terminals, logic terminals reserved for the nodes and node attribute parameters; constructing a graphical programming module, providing a graphical programming interface to receive setting operations of a user, so as to form a graphical program logic description file; generating a graphical program script file according to the description file and the script files of the Flow nodes; generating power supply control code based on the graphical program script file and a chip peripheral device driving script file, and compiling and burning the code into an embedded controller of a digital power supply. The application can realize low-code / no-code development, and effectively reduce development difficulty.

The invention relates to the technical field of software testing, in particular to a self-adaptive fuzzy testing method and system based on deep learning, and the method comprises the following steps: injecting a software analysis instrumentation probe into a binary condition jump instruction position of a target test program, loading an initial test case set, and carrying out the branch execution operation of program logic, and generating instrumentation execution trajectory data, and inputting the instrumentation execution trajectory data into the multivariable fitting calculation structure. According to the method, a high-priority scheduling mechanism is triggered according to the sparsity, the execution sequence of the to-be-tested sequence is dynamically adjusted, and it is ensured that the computing resources are intensively allocated to the test cases located at the exploration boundary or the uncovered logic area. According to the mechanism, the dilemma that traditional testing is prone to falling into local optimum is broken through, the testing direction is guided from the novel dimension of data distribution, the capacity of mining a deep program path is enhanced, and the coverage rate and the overall efficiency of vulnerability detection are improved.