15 results about "Transferring (function)" patented technology

The invention provides a formal verification method and device for state transition implementation codes and a program product, and the method comprises the steps: compiling a first state transition function implemented by a C language Switch Case statement to obtain a bit code file; obtaining a Cryptol file, wherein the Cryptol file comprises a second state transfer function which is realized by using a Cryptol programming language; acquiring a first input parameter set and a first output value set corresponding to the first state transfer function, and acquiring a second input parameter set and a second output value set corresponding to the second state transfer function; simulating state transition function symbolic execution based on the first output value set, the second output value set, the first input parameter set and the second input parameter set, converting the state transition function symbolic execution into a satisfiability model theory problem, and solving the satisfiability model theory problem through an external solver to obtain a verification result of a state transition implementation code; the problem that whether state transition is implemented correctly or not cannot be guaranteed only through a manual checking mode can be solved, and the state transition code implementation correctness is guaranteed.

According to one aspect of the invention, the invention provides a block chain resource transfer processing method, a related device and a medium. The block chain resource transfer processing method comprises the following steps: in response to a target resource packet deployment request of a first object, deploying a target resource packet in an overall contract on a block chain; receiving a binding request of a plurality of target resources to be bound; calling a resource affiliation transfer function in a sub-contract on the block chain, so that a second affiliation party of the to-be-bound target resource on an application platform corresponding to the sub-contract is transferred to an address of an overall contract, and determining the to-be-bound target resource as a bound target resource; and in response to the target resource affiliation transfer request of the second object, the first affiliation party of the target resource corresponding to the bound target resource is transferred to the second object, so that the resource transfer and scheduling efficiency and the inter-application platform interoperability are improved. The embodiment of the invention can be applied to various fields of block chains, structured information processing, security technologies and the like.

The present invention discloses a data processing method, including: upon receiving a first task to be executed sent by a task management platform, the target system executes the first task to be executed to obtain a first execution result; the target system forwards the first task to be executed to the original system through the interface corresponding to the first task to be executed; the target system feeds back the second execution result to the task management platform, and when determining that the first execution result matches the second execution result, the target system feeds back successful migration information of the function to be migrated. The present invention also discloses a data processing device, equipment and readable storage medium. The present invention executes the task to be executed by the target system and the original system at the same time, without the need to perform sequential migration one by one, so that the correlation and coupling between the various target functions do not need to be taken into account during the migration process, and the time consumption of the migration process is reduced by independently migrating each function, thereby improving the efficiency of system migration.

The invention relates to the field of industrial systems, in particular to a control method and device of an industrial system, electronic equipment and a storage medium, and the method comprises the steps: obtaining a measurement parameter value of a controlled object in the industrial system at a current moment; inputting the measurement parameter value, a preset parameter value of the controlled object at the current moment and a difference value between the preset parameter value and the measurement parameter value into a control coefficient determination model to obtain a control coefficient of the controlled object at the current moment; and under a closed-loop transfer function of a controller established based on a preset condition, determining a control parameter of the controlled object at the current moment according to the control coefficient, so as to control the controlled object based on the control parameter, the preset condition is that the transfer function of the non-time-delay part of the Smith predictor is the same as the transfer function of the non-time-delay part of the controlled object, and the time-delay factor of the Smith predictor is the same as the time-delay factor of the controlled object. According to the invention, the control effect of the lagging link on the industrial system can be eliminated.

The invention provides a monitoring method and device for white utilization in a system, and the method comprises the steps: responding to the creation of a legal process in a target system, and obtaining a DLL file called by the process; obtaining an export function of the DLL file; judging whether the derived function is an invalid function or a transfer function; if the derived function is an invalid function or a transfer function, determining that the DLL file is a malicious DLL file, and further determining that the process has white utilization; and if the derived function is not the invalid function and the transfer function, determining that the DLL file is a normal DLL file, and further determining that the process does not have white utilization. When a system creates a legal process, an export function of the DLL file called by the process is obtained, and then whether white utilization exists in the process or not is determined according to the type of the export function. When the derived function is an invalid function or a transfer function, it is indicated that the DLL file is suspicious, and then it is determined that white utilization exists in the process. Even for unknown white utilization, the system can realize monitoring, so that the accuracy of white utilization monitoring in the system is improved.

The invention discloses a data processing method, computer equipment, a readable storage medium and a program product, and relates to the technical field of data processing.The data processing method comprises the steps that initial data is acquired; obtaining a conversion configuration rule; querying a generation logic for generating target data by using the initial data in the conversion configuration rule; and calling a transfer function corresponding to the generation logic from the transfer function set as a target function, and executing the target function on the initial data to obtain target data. The technical problem of data processing mode solidification caused by hard codes is solved, and the technical effect of improving data processing flexibility so as to improve data processing performance is achieved.

The invention discloses a safe function parameter transmission method based on static binding of a hierarchical structure body and an RAM (random access memory), which belongs to the field of embedded system software design and comprises the following steps: S1, constructing a hierarchical function special structure body type with verification parameters; s2, function parameter transfer optimization; s3, realizing data and code life cycle synchronous management through compiler instruction and link script forced binding; s4, through an XOR verification mechanism, improving the function parameter transfer security; by constructing a three-layer function proprietary structure type with verification parameters, optimizing memory layout, eliminating memory holes and adopting an XOR verification mechanism, the security and high efficiency of parameter transmission are ensured, and meanwhile, synchronous management of data and code life cycles is realized through compiler instructions and link scripts, so that the security and high efficiency of data transmission are improved. The fragmentation problem caused by dynamic memory allocation is avoided, and the stability and reliability of the system are further improved.

The application discloses a PID anti-integral saturation method, system, device and medium for an Ovation control system, and the method comprises the following steps: a TRANSFER function block is arranged between the output end of a PID controller and an actuator; a real-time limit value signal is acquired, and the real-time limit value signal comprises an upper limit signal value and a lower limit signal value; the output signal of the PID controller is compared with the real-time limit value signal, and the TRANSFER function block is triggered according to the comparison result; and the output value of the TRANSFER function block is reversely transmitted to the PID controller through a tracking line by using a preset configuration tracking function, so as to reset the internal operation result of the PID controller. By adding the TRANSFER function block at the output end of the PID controller and introducing the real-time limit value signal which dynamically changes with the working condition, the technical limitation that the internal limiting parameter of the PID module of the Ovation system cannot be introduced and cannot follow in real time is solved.

The invention relates to a method and device for solving online delay, electronic equipment and a storage medium, and the method comprises the steps: obtaining the initial driving resistance of a driving model, and enabling the output end of the driving model to be connected with an interconnection network; solving a first transfer function of the interconnection network according to the initial driving resistance; solving an equivalent circuit model of the interconnection network according to the first transfer function, and solving actual driving resistance of the driving model; updating the first transfer function according to the initial driving resistance and the actual driving resistance, and determining a second transfer function of the interconnection network; and solving the online delay corresponding to the interconnection network according to the second transfer function. According to the method, on the basis of solving the transfer function of the equivalent circuit model, the transfer function is updated according to the change of the driving resistance, the transfer function for solving the online delay is obtained, the process of solving the transfer function again when the online delay is solved is omitted, and the solving efficiency is improved.

Quantum emulator The present invention relates to a quantum emulator (10) for emulating the response of a quantum device to commands received by the quantum device, the quantum device comprising a system of quantum objects and a set of hardware elements for manipulating the quantum objects following the reception of commands by the quantum device, the hardware elements having imperfections impacting the manipulations, the quantum emulator (10) being configured to receive an input signal corresponding to a command intended to be sent to the quantum device in order to carry out a manipulation, and to compute an output signal corresponding to an emulated response of the quantum device, the quantum emulator (10) comprising a hardware module (32) configured to represent transfer functions taking into account an imperfection introduced by a hardware element.

A test system is provided which includes an actuator that actuates a test piece, a virtual model that operates in association with the test piece, a controller that controls the actuator, a computing device that computes the virtual model, and an inverse transfer function correcting unit that corrects a signal from the virtual model with a proper inverse transfer function that is determined based on a transfer function of a system including communication units between the test piece and the actuator and between the actuator and the controller and a communication unit between the computing device and the controller. The controller controls the actuator based on the signal corrected by the inverse transfer function correcting unit.

This network system comprises: a network failure information management unit that manages information about failure locations of a first ETB and a second ETB; a VLAN setting unit; a routing setting unit; a transfer function unit; and a frame rewriting function unit that rewrites the destination of a frame determined by the transfer function unit to be a frame addressed to the failure locations. When a failure occurs in the second ETB, the VLAN setting unit sets a bypass VLAN between an ECN of the configuration of a preceding stage of a location where the failure occurs, an ECN of the configuration of a subsequent stage of the location where the failure occurs, and a first ETB between the configuration of the preceding stage and the configuration of the subsequent stage. The routing setting unit: rewrites, to a routing entry addressed to the first ETBN, a routing entry addressed to an ETBN of the configuration of the subsequent stage of the location where the failure occurs; routes, according to the rewritten routing entry, a frame of which the destination has been rewritten by a frame rewriting function unit; and transmits the frame via the bypass VLAN.

A system is disclosed. The system includes at least one physical memory device to store compensation logic and one or more processors coupled with the at least one physical memory device to execute the compensation logic to generate first and second sets of transfer functions to compensate for a gap region, wherein each set of transfer functions is generated for a corresponding group of overlapping pel forming elements based on ink deposition functions associated with the corresponding group and a joint target response; wherein the gap region is located between overlapping pel forming elements of the corresponding groups.

A system is disclosed. The system includes at least one physical memory device to store compensation logic and one or more processors coupled with the at least one physical memory device to execute the compensation logic to generate first and second sets of transfer functions to compensate for a gap region, wherein each set of transfer functions is generated for a corresponding group of overlapping pel forming elements based on ink deposition functions associated with the corresponding group and a joint target response; wherein the gap region is located between overlapping pel forming elements of the corresponding groups.

A system is disclosed. The system includes at least one physical memory device to store compensation logic and one or more processors coupled with the at least one physical memory device to execute the compensation logic to generate first and second sets of transfer functions to compensate for a non-functioning pel forming element, wherein each set of transfer functions is generated for a corresponding group of functioning pel forming elements based on ink deposition functions associated with the corresponding group and a joint target response; wherein the non-functioning pel forming element is located between functioning pel forming elements of the corresponding groups.