10 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.

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.

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.