70 results about "Program logic" patented technology

An automation system controls an automated production process of an industrial plant. The industrial plant includes a plurality of equipment for performing the production process. The automation system includes an augmented reality system including augmented reality glasses, executable program logic and a database system including a task manager configured to store a list of processes associated with respective equipment, where each process includes one or more tasks to be performed with respect to the equipment. The executable program logic is configured to receive from the database system the list of processes for display to a user of the AR glasses, receive a selection of a displayed process assigned to the user, send the selected process to the database system, and receive from the database system additional data corresponding to the selected process.

The invention provides a memory overflow program exception positioning method and device based on intelligent analysis, and the method comprises the steps: employing a memory mapping tool to detect the use of a memory index, and collecting the distribution information, object reference relation and stack tracking of a memory when the use of the memory is detected to reach a preset threshold value; performing data cleaning, format conversion and feature extraction on the collected memory data, and extracting the creation and destruction time and the occupied memory size of the object; constructing a memory overflow anomaly detection model, inputting the processed data into the memory overflow anomaly detection model, and if memory overflow anomaly is detected, classifying anomaly types; according to a classification result, a source code of the program and environment information during operation, analyzing an object reference chain of the abnormal object, a memory allocation path and corresponding program logic, determining a reason of memory overflow abnormality and a specific code position, and generating an abnormality reason report; and displaying the content to a program development end through a visual interface.

The invention discloses a kernel probe generation method and device, computer equipment and a storage medium, and relates to the technical field of operating system kernel monitoring, and the kernel probe generation method comprises the steps of obtaining a target metadata file corresponding to a current operating system kernel in response to a kernel probe generation request; determining a target declarative strategy file; and determining a target program logic file corresponding to the target declarative strategy file, and generating a probe code according to the target program logic file and the target metadata file to obtain a kernel probe program. The probe program source code adaptive to the current kernel version can be dynamically generated in combination with the target metadata file and the target declarative strategy file, kernel probe development logic and underlying kernel knowledge can be decoupled through the source code generation function, and developers do not need to deeply understand kernel internal data structures and version differences; the development threshold is lower, a specific operating system or probe type is supported, and a universal Linux kernel and multiple probe types are also supported.

The invention discloses an automatic die changing control system of a press machine. The automatic die changing control system comprises a programmable logic controller, electrical hardware electrically connected with the programmable logic controller and an execution component. The programmable logic controller is configured to achieve the control functions of sliding block die-filling height adjustment, balancer air pressure adjustment, die clamping device action, movable workbench operation and die identification number switching, and triggers at least two control functions to be executed in parallel in the die changing process. The programmable logic controller is connected with all electrical hardware and execution components through preset program logic so as to control starting, running and ending of the automatic die changing process in the whole process.

Methods and systems are disclosed for database management with controlling documents. Tasks addressed include: identification of requirements in the documents, tracking changes as documents evolve, mapping documents or requirements to database entries, identifying gaps between documents and the database, and proposing database updates. Disclosed embodiments address these tasks using a combination of sequential program logic, machine-learning tools, and client interaction. Workflows address one or more tasks. Examples pertaining to regulatory documents are presented. Variations are disclosed.

The invention relates to a programming review method and system based on multi-modal data. The method comprises the following steps that source code fragments are collected, character format matching is carried out, consistent items are output, and initial node mapping is generated; extracting a pointer reference and calling sequence, carrying out node association recombination, screening node levels, carrying out semantic mark matching, summarizing a connection path, checking a code security scanning index, and generating a dynamic semantic structure; carrying out stack-up matching to compare pixel distribution and label similarity, scanning edge coordinates, checking label corresponding positions and visible area distribution, judging feature co-occurrence, and generating multi-modal associated features; and performing program logic checking, analyzing a variable initialization sequence, generating a checking element set, comparing code security scanning indexes, generating security scanning information, judging a risk identification level and generating a review instruction list. Compared with the prior art, the information utilization rate and the correlation analysis depth in the code review process can be improved, and the accuracy of program defect and risk discovery is enhanced.

The invention relates to the technical field of program control systems, in particular to a kitchen waste pretreatment spraying deodorization regulation and control method based on multi-mode sensing fusion, which comprises the following steps: acquiring multi-sensing data containing odor concentration in a plurality of sub-control areas; calling a working condition identification program to determine a current preprocessing state; and the control system calls matched spraying control parameters from a control strategy library according to the current state, executes an overall spraying control program and obtains control feedback data. When the feedback data meet preset local control conditions, local or linkage spraying control is executed according to program logic; and in combination with multiple control feedback results, updating a control parameter combination. According to the invention, on the basis of'integral-local-integral 'multi-region cooperative control, comprehensive inhibition of peculiar smell spatial diffusion in the whole kitchen waste pretreatment process and optimal configuration of deodorant and energy consumption are realized.

The invention discloses a code processing method and device and a storage medium. The method relates to the field of artificial intelligence and comprises the steps of receiving a to-be-processed code file; analyzing the code file by using a syntactic analyzer to extract label information, style information and program logic information of the code file; and generating a target project file corresponding to the code file according to the label information, the style information and the program logic information. Through the method and the device, the problem of relatively low efficiency of migrating the JSP code to the Vue project in related technologies is solved.

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 belongs to the technical field of power supply control, and particularly discloses a digital power supply graphical programming method based on flow driving, which comprises the following steps of: constructing a power supply control Flow component library which comprises a plurality of Flow nodes, and storing the nodes in a script file form, the script file comprises basic code snippets required by node function implementation and describes data terminals, logic terminals and node attribute parameters of input and output reserved by nodes; constructing a graphical programming module, and providing a graphical programming interface to receive a setting operation 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 each Flow node script file; and generating a power supply control code based on the graphical program script file and the chip peripheral drive script file, and compiling and burning the power supply control code into an embedded controller of the digital power supply. According to the method, low-code / code-free development can be realized, and the development difficulty is effectively reduced.

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.

Methods and systems are disclosed for database management with controlling documents. Tasks addressed include: identification of requirements in the documents, tracking changes as documents evolve, mapping documents or requirements to database entries, identifying gaps between documents and the database, and proposing database updates. Disclosed embodiments address these tasks using a combination of sequential program logic, machine-learning tools, and client interaction. Workflows address one or more tasks. Examples pertaining to regulatory documents are presented. Variations are disclosed.

A system and method combine programmatic control and a guided and constrained Artificial Intelligence (AI) engine to generate personalized video responses for a user. Receiving user inputs to identify a historical figure and a question directed to the corresponding historical figure. Information about the historical figure, including image, voice identifier, and biographical profile, is retrieved. Under programmatic logic control, an AI engine analyzes a question and generates an excuse for any delay in responding, else generate a dialogue response. The dialogue response is integrated with relevant information to generate a response having an audio and visual component with the voice identifier and dialogue response, and the image of the selected historical figure. A prompt is generated to guide and constrain the AI engine to create a video response that integrating audio and visual components to simulate the historical figure delivering the dialogue response and providing to an online learning platform.

Upon receiving a request to hibernate a hypervisor of a virtualization system running on a first computer, acts are carried out to capture a state of the hypervisor, where the state of the hypervisor comprises hypervisor logical resource parameters and an execution state of the hypervisor. After hibernating the hypervisor by quiescing the hypervisor and storing the state of the hypervisor into a data structure, the data structure is moved to a different location. At a later moment in time, the data structure is loaded onto a second computing machine and restored. The restore operation restores the hypervisor and all of its state, including all of the virtual machines of the hypervisor as well as all of the virtual disks and other virtual devices of the virtual machines. Differences between the first computing machine and the second computing machine are reconciled before execution of the hypervisor on the second machine.

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 invention relates to the technical field of vehicles, and provides a process management method and management platform for an information entertainment system. The method comprises the steps that S1, when a vehicle end initial instruction is acquired, a flag bit numerical value corresponding to the vehicle end initial instruction is acquired based on a preset flag bit coding rule, and a downloaded file acquired based on the vehicle end initial instruction is verified through a preset algorithm based on the flag bit numerical value; s2, if the verification result of the step S1 is failed, entering step S3, and if the verification result of the step S1 is successful, entering step S4; s3, when the verification result of the step S1 is failure, triggering a file breakpoint resume strategy; s4, verifying and judging the downloaded file, outputting a target file, and updating the real-time state of the target file in real time; and S5, a step of data encapsulation. Compared with the prior art, the method has the advantages that the data processing rate is increased, the code quantity is greatly reduced, and the program logic is simplified.

The invention relates to a method for generating a test case meeting functional safety requirements, which comprises the following steps of: extracting input and output information of a tested function through a front end of a compiler; based on the input and output information, constructing a program logic model of the tested function through static analysis and dynamic analysis; based on the program logic model, generating a test case truth table covered by correction condition judgment; generating constraint conditions based on the input and output information and the test case truth table; and based on the constraint condition, generating a test case through a satisfiability model theory solver or a large language model. According to the method, the test case is generated through the logic portrait input and output by the tested function in combination with the satisfaction model theory solver or the large language model, so that the coverage rate, accuracy and adaptability of the test case are improved.

The application provides a soft package battery cell tab bending method, a horizontal distance value from a camera zero point to a bending servo zero point is obtained in a debugging stage, and the horizontal distance value from the camera zero point to the bending servo zero point is used for calculating a distance to be moved of a bending tool in the case of different tab bending sizes in a subsequent bending process. The calculation is simple and fast, and the bending servo can directly drive the bending tool to reach a set tab bending size according to the distance to be moved of the bending tool, so that the problems of complex program logic design, inability to flexibly call data and the need for multiple positioning and calibration during the production process of the soft package battery cell tab bending of different lengths are solved, a new program logic is fundamentally reconstructed, the tab bending operation is more convenient and fast, and the production efficiency is improved.

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.

Disclosed is a system and method providing a graphical user interface that allows a user to quickly build a graphical representation defining the set of instructions in a protocol without the user needing the programming knowledge to encapsulate those instructions in executable code. The graphical model may include graphical elements corresponding to instructions or program logic. Once the graphical model designed for a single plate is finalized, the system generates a first execution sequence for executing the graphical model on multiple plates. The system then generates a second execution sequence that will require less time and / or computing resources than the first execution sequence. The system generates an executable code for the second execution sequence, and executes the code representing the second execution sequence instead of the first execution sequence using various flow cytometry machines.

The invention provides a neglected resource loading method of an application server and related equipment, and the method comprises the steps: traversing a pre-established SPI resource file neglected array when an application layer class loader fails to search SPI resource files on an application layer; if the file identifier of the SPI resource file exists in the SPI resource file neglecting array, the SPI resource file is not searched in the application server layer any more, and program logic of the corresponding application continues to be executed; and if the file identifier of the SPI resource file does not exist in the SPI resource file neglecting array, unloading the corresponding application. Therefore, according to the method, when the application layer class loader does not find the SPI resource file from the application layer, the SPI resource file does not need to be found in the application server layer, so that the program logic of the application is continuously executed, and the problems of class loading conflicts and abnormal application operation are avoided.

The application discloses a kind of extensible stateful protocol entity program logic vulnerability detection method and system.Test preparation stage: locally deploying the entity program to be tested, a script file describing the traffic message of the stateful protocol to be tested and its corresponding message type is used as input;State machine learning stage: select input symbol from script file and map to corresponding message message, then fuzz it to generate test case;And judge whether the test case still belongs to the symbol, yes, send to the program to be tested for execution, otherwise modify;Collect the response message after the execution of the program to be tested, and map to the corresponding output symbol, use model learning to build a minimum deterministic Mealy state machine corresponding to the protocol entity program to be tested;Result arrangement and analysis stage, the result state machine obtained by learning is pruned and processed.The application is suitable for the detection of logic vulnerability of stateful protocol entity program, and has strong scalability, high vulnerability detection efficiency.

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.

An implementation may involve: receiving, by a web site, selection of a server application, wherein the server application is associated with a path, wherein the path includes a set of steps, wherein the set of steps is associated with program logic to perform a set of functions; receiving, by an application launcher, a request on behalf of a client device; determining, by the application launcher, the server application based on the request, and also based on metadata that relate to the server application and an operator of the web site; providing, by the application launcher, a client application to the client device, the client application configured to interact with the server application; executing, by an orchestrator, the path, wherein at least some of the set of steps include interaction with an external service, wherein a context of the execution is written in a database between execution of some of the steps.

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.