7 results about "Logic programming" patented technology

The invention relates to the technical field of logic programming, and discloses a logic programming control method and system for multi-material collaborative weighing, and the method comprises the steps: analyzing a production formula instruction, and obtaining a formula data set of a product; dynamically allocating a weighing task queue according to the formula data set to obtain a task allocation instruction of the weighing equipment; synchronously driving weighing equipment to perform parallel weighing operation based on the task distribution instruction to obtain a real-time weight sampling value of the material in the product; performing dynamic error compensation on the real-time weight sampling value to obtain a corrected weighing value of the material; the corrected weighing value is fed back to a logic programming controller, the weighing result of the corresponding material in the formula data set is updated, and a cooperation completion signal is output; according to the invention, the accuracy of logic programming control of multi-material collaborative weighing can be improved.

The application discloses a kind of social engineering attack automatic detection method based on multi-view subject modeling, contain following steps: step (1) scene modeling step: enterprise provides the relevant document needed for modeling, according to document, model scene, including organization setting, business target, social interaction and four dimensions of human characteristics, generate scene fact, when modeling is completed, execute step (2).Step (2) threat reasoning step: existing social engineering attack detection method relies on dialogue or text, cannot detect the security threat existing in complex system.Therefore, threat reasoning rule based on logic reasoning is used to reason the threat of scene, and the automatic reasoning of scene threat is realized by logic programming language prolog.The scene modeling suitable for large-scale complex system and the automatic detection of threat in scene.

The invention discloses a logic programming system management and control method, device and equipment, and relates to the field of industrial automation, and the method comprises the steps that a frequency converter downloads a logic programming system from an upper computer; wherein the logic programming system is a system built by an upper computer based on a target function block provided by a frequency converter; the target function block is a function block without a preset function code; and based on each target function block in the logic programming system, determining a target function code required to be used from the reserved function codes, and determining a function code parameter of the target function code so as to manage and control the logic programming system by using the target function code. According to the frequency converter, the function block without the preset function code is provided to build the logic programming system, so that the use of a user is more flexible, and diversified system building requirements are better met.

The application belongs to the technical field of server board analysis and design, and specifically provides a server mainboard, a server board online analysis system and method, wherein the mainboard is provided with a logic programming device and a main chip connected with the logic programming device; the logic programming device is used for receiving a test signal sent by the main chip, processing the received test signal to generate a processing signal, and sending the processing signal back to the main chip; the processing signal returned by the main chip is received, and the processing signal returned by the main chip is compared with the received test signal sent by the main chip, and a comparison analysis result is output; and the positioning difficulty effect of the field is reduced through the comparison between the original signal and the loopback signal by the logic programming device.

According to the invention, a set of variable name maintenance and management system is constructed, the IO variable mapped by the equipment channel is replaced by the logic variable, and the replaced logic variable has all characteristics of the original IO variable and the logic variable. When the device configuration changes, a user does not need to modify a logic code of a program and only needs to adjust the mapping relation between the logic variable and the device channel through a variable name management mechanism, so that the user does not need to directly pay attention to device configuration change details during logic programming, the working process of the user is simplified, and the user experience is improved. In addition, the adaptability and maintainability of the industrial automatic control system are improved, backup data of the configuration information and the replacement and restoration information can be generated outside the software, and the method can be used for a user to quickly adapt the logic codes of the same version to different configurations.

The application discloses a kind of based on knowledge base's manuscript automatic generation method and system, comprising: the data of obtaining heterogeneous material, decoupling is carried out multi-dimensional semantic feature, extract knowledge atom in heterogeneous material;Based on the semantic association strength of knowledge atom, construct dynamic personal knowledge base;Adopt the logic mapping of preset field knowledge graph to dynamic personal knowledge base, generate the book topology outline satisfying structure continuity and theme coverage rate by multi-objective optimization algorithm;According to the node requirement of book topology outline, retrieve matched knowledge atom cluster from dynamic personal knowledge base;Through deep learning model, semantic smoothing processing and style consistency migration are carried out to knowledge atom cluster, generate the first draft of book in line with publishing logic.The application realizes the automatic generation from heterogeneous material to style uniform first draft of book by knowledge atomization deconstruction, dynamic graph construction and multi-objective logic programming, significantly improves knowledge conversion efficiency and book quality.

This invention is an automated statistical method for quay crane operations. It determines whether a ship unloading or loading operation is performed based on the position of the spreader and the switching of its locking / unlocking status. The entire operation area is divided into a ship area, a container truck area, an automated landside operation area, and an automated seaside operation area. The automated landside operation area is located above the container truck area, and the two areas are separated by a safe landside height. Similarly, the automated seaside operation area is located above the ship area, and the two areas are separated by a safe seaside height. This invention uses logic programming for the spreader's unlocking, locking, and container-landing signals, resulting in fewer detection signals, less susceptibility to interference from other signals, and improved statistical accuracy.