134 results about "Program logic" patented technology

An automation system controls an automated production process of an industrial plant. The system includes an augmented reality system, including augmented reality glasses and executable program logic coupled to the augmented reality glasses. The executable program logic is configured to receive an up-to-date spatial position of a user wearing the augmented reality glasses from a positioning system, determine coordinates of a bounding space proximate to the user wearing the AR-glasses, display one or more virtual objects to the wearer of the AR glasses via the AR glasses if and only if coordinates of the virtual objects are within the bounding space, and continuously update the coordinates of the three-dimensional bounding space and the virtual objects displayed therein as a function of the up-to-date spatial position of the user wearing the AR glasses.

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 discloses a programmable logic controller programming system with an internet of things function, which relates to the technical field of industrial automation control and comprises a main control module based on a heterogeneous multi-core processor architecture and used for executing user program logic and coordinating operation of a communication module, a task distribution module, a dynamic loading module and a safety verification unit; according to the programmable logic controller (PLC) programming system of the internet of things, the real-time performance and the resource efficiency of an industrial control system are remarkably improved through heterogeneous multi-core collaboration, dynamic resource scheduling and multi-protocol compatibility technologies; on the basis of differential division of labor of the ARM and the FPGA, master core global scheduling and slave core high-real-time control are combined, and millisecond-level response of key tasks is guaranteed; compared with a traditional PLC, the system breaks through the limits of protocol closure, resource rigid distribution, shutdown dependence and the like, provides a flexible, stable and safe intelligent control core for the industrial Internet of Things, and promotes industrial automation to evolve towards high efficiency, networking and high availability.

The invention relates to the technical field of aircraft power system testing, in particular to an aircraft power system automatic testing method, system and device and a storage medium, and the method comprises the steps: obtaining detection data correspondingly collected by a plurality of data collection terminals; analyzing and processing the detection data, and judging whether the detection data is in a normal range or not; if the detection data is within the normal range, analyzing the data change trend of the detection data under different test conditions according to preset program logic; and if the detection data or the data change trend is not in a normal range, triggering a safety monitoring mechanism and generating an abnormal record. The method has the effect of improving the testing efficiency of the aircraft power system.

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.

An automation system controls an automated production process of an industrial plant including a plurality of equipment for performing the production process. The system includes an augmented reality system, including a database system configured to store data and spatial coordinates associated with respective equipment of the plurality of equipment, augmented reality glasses configured to display the data, and executable program logic coupled to the augmented reality glasses. The executable program logic receives an up-to-date spatial position of a user from a positioning system and the data of equipment that are located in a proximity of the up-to-date spatial position of the user from the database system and control the augmented reality glasses for display of at least some of the received data.

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 discloses a dynamic API query method and system based on MQL language packaging. The method comprises the steps that a dynamic API query request is generated on the basis of self-defined MQL grammar of a request side and analyzed to obtain the MQL grammar; converting the MQL grammar into an intermediate expression model object program logic; the MiddleExpress intermediate model is converted into a program logic of a query object corresponding to the ORM; a controller API object of the query object of the ORM is converted into program logic of an MQL interface document conforming to the OpenApi specification; the program logic of the MQL interface document realizes a program interface of MQL query; the request side constructs a corresponding request object according to the MQL document, converts the corresponding request object into an ORM object and then adds custom processing logic; and converting the ORM object into an MQLResult object conforming to a request expected result, serializing the MQLResult object into a data range field conforming to the request requirement, and returning the data range field. According to the method, data query is simpler, more efficient and lower in consumption.

The invention relates to an equipment control method and device and a storage medium. The device control method comprises: in response to determining that a user needs to set a trigger execution TAP rule for controlling a device, generating a target TAP rule based on a TAP rule template, the target TAP rule being a TAP rule represented in a natural language form, the TAP rule template comprising the TAP rule represented in the natural language form, and the TAP rule being a TAP rule represented in the natural language form; the TAP rule comprises a trigger class condition and an execution class task; and recommending the target TAP rule to a user so as to control the equipment based on the trigger class condition and the execution class task corresponding to the target TAP rule when the user sets the target TAP rule. According to the technical scheme provided by the invention, the target TAP rule of the equipment can be automatically generated and recommended to the user for use under the condition that the user does not need to understand program logic and also does not need to understand functions or specific attributes of the equipment.

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.

An implementation may involve: receiving, by an application launcher, a message on behalf of a client device; determining a server application based on the message and metadata, wherein the server application is associated with a path, wherein the path includes a set of steps, wherein each of the set of steps is respectively associated with program logic to perform a discrete set of functions, wherein a generate result step causes the server application to determine an outcome of executing the path, and wherein a handle request step causes the server application to provide, to an external service, a representation of a request related to the outcome; providing, by the application launcher, a client application to the client device; and executing, by an orchestrator, the path, wherein a context of the execution is written in a database between execution of at least some of the set of steps.

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.

The invention provides a financial service scene identification method and device, a medium and a system. According to the method, the name of the target financial service scene is determined at least according to the service rule code and the dimension code in the financial service scene code set, the identification of multiple service scenes under the same service rule code is realized, and the service scene can be identified through different values of the service parameters under the service rule code. According to the method, a specific and applicable business scene is controlled in a permutation and combination manner, so that a manner of judging by writing a large number of codes can be replaced for identification, and respective control is performed according to different business dimensions, thereby solving the problems of complex program logic, high efficiency and the like caused by direct implementation through program coding in the prior art. And therefore, the identification flexibility of the financial scene business is relatively poor.

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.

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 invention discloses a turning, grinding and milling composite machine tool, and relates to the technical field of composite machine tools, the turning, grinding and milling composite machine tool comprises an operation table, two grinding discs mounted in the middle of the operation table, a turning head and a milling head respectively mounted on two sides of the two grinding discs on the operation table, and spraying mechanisms mounted on the operation table corresponding to the grinding discs, the turning head and the milling head; an output assembly is arranged in the operation table, an abutting assembly is arranged outside the operation table, a rotating assembly is arranged outside the output assembly, and a cleaning assembly is arranged at the end of the spraying mechanism. By changing the posture of the clamp, the clamp can complete operation of a plurality of machining faces in one-time clamping, and the clamp does not need to be frequently replaced or a machine tool does not need to be frequently adjusted; time waste caused by repeated clamping and repositioning of the workpiece and errors caused by manual operation are avoided, in addition, the unified program of the compound machine tool is evolved into the mode that one program code is fixed to each operation head, the program logic of the compound machine tool becomes simpler, and operation errors caused by program switching can be reduced.

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.