68results about How to "Fully verified" patented technology

A system, device and method of confidential secure custodial transfers of asset between entities utilizing transaction agents implemented via a distributed ledger (e.g. a blockchain). In particular, the transaction agents securely record each of the transactions on the ledger utilizing obfuscated or proxy data state such that information about the transactions cannot be gleaned from the ledger. In particular, the transaction agents are able to enforce business rules of the system by requesting zero-knowledge proofs from participants to the transaction (e.g. sender and recipient) in place of actual data for the transaction. The zero-knowledge proofs are able to be designed to prevent an observer of the distributed ledger from determining any information of the transaction that is taking place.

The invention discloses a real business-based financial transaction test system and method, belongs to the field of financial transaction simulation and test, and aims at carrying out modification byusing systems of ERP manufacturers so as to obtain effective and sufficient verification without influencing fund security of enterprise users. An adopted technical scheme is the real business-based financial transaction test system which comprises an ERP simulator, a bank simulator, a bank-enterprise direct connection platform, a verifier, a test case editor, a bank simulation configuration unitand a test case operation controller. The invention furthermore discloses the real business-based financial transaction test method.

The invention discloses a realization method for a virtual user identification module, comprising the following steps of: arranging a basic function library, initiating virtual data files, invoking the operation function in the arranged basic function library by a tested protocol module; and utilizing a middle data layer in the virtual user identification module to carry out an interactive operation with the virtual data file stored in the data layer of the virtual user identification module. In order to realize the method, the invention provides a realization device for the virtual user identification module, comprising a function providing module, the middle data layer and the data layer. Correspondingly, the invention also provides a testing system that comprises the virtual user identification module and the tested protocol module. Therefore, the method, the device and the system can simulate the real general user identification module/user identification module, thus carrying out complete test and verification on the protocol module further.

A geometric positioning precision analysis method for a remote sensing satellite without a ground control point comprises the following steps: S1, establishing a strict imaging model, and rewriting the strict imaging model to obtain a strict model geometric positioning equation; S2, generating RPC parameters independent of terrains; S3, checking the absolute geometric positioning precision of theRPC coefficient of the image product according to an image angular point method, and judging whether the RPC coefficient of the image product can be used as the reference data of geometric precision analysis and checking or not; verifying the internal coincidence precision of the RPC coefficient generated without depending on a terrain method according to a check point method, and eliminating errors possibly introduced by RPC coefficient calculation; according to a cross validation method, obtaining the relative precision of the RPC coefficient generated without depending on a terrain method and the RPC coefficient of the image data product; and obtaining a direct geometric positioning precision analysis conclusion of the on-orbit optical remote sensing satellite. According to the method,the analysis and calculation of the geometric positioning precision of the remote sensing satellite are realized.

The invention relates to an over chuck distance steel wire operation slip plug special for snubbing operation of a water injection well during oil extraction. The plug comprises a fishing cap and a fixed supporting seat, wherein the fishing cap is connected with a center rod; the outer wall of the center rod is sequentially sleeved on a positioning supporting seat, a locking ring outer cylinder, a slip upper seat, a slip and a slip lower seat; the lower side of the slip lower seat is provided with two rubber cylinder sheaths and a supporting seat; an outer rubber cylinder and an inner rubber cylinder are arranged between the two rubber cylinder sheaths. According to the plug, the outer diameter of the plug is smaller than the inner diameter of an eccentric water distributor for the water injection well, so that a tail pipe can be plugged at a chuck distance section under the conditions that the original well pipe column scales severely, and the drift diameter is reduced; and the interior of a part below a tubing coupling at assigned depth can be plugged by mechanically shocking the plug through a steel wire operation tool ring under the well.

The invention discloses a dynamic data displaying and processing system. The system comprises an input device, a displaying and processing module, a display interface module, an external interface module, a man-machine interface module, a display and data storage module. Operation frame displayed on a screen of the display comprises a background frame area, an alarm flicker area, a mouse control area, a dynamic data display area, a dynamic data background area, a user input data display area, a user input data background area, a user input active line area, an external device state area and a mouse image area. The invention further relates to a dynamic data displaying and processing method. No CPU chip, no soft core/hard core are adopted by the dynamic data displaying and processing system and method, and no operation system and application software are contained, so fully test and verification can be conveniently implemented, so excellent reliability and information safety can be achieved.

The invention provides a data network design verification method and device and verification equipment. The data network design verification method comprises the following steps: constructing a data transmission layer model for a tested data network function module; arranging a chip design function unit in the data transmission layer model to construct a data bus system; and performing data transmission verification on the data bus system based on the first test sequence. The chip design function unit comprises a clock domain crossing interface module, a voltage domain crossing interface module or a relay unit.

The invention relates to a Nios II soft-core based high-speed 1553B communication equipment simulator on a missile, which aims to solve the problems that existing bit rate cannot meet the requirement of real-time data transmission, size is large, power consumption is high and flexibility in use is poor. The Nios II soft-core based high-speed 1553B communication equipment simulator comprises an existing communication equipment simulator, a Nios II soft-core module, a channel bus simulation receiver and a channel bus simulation transmitter, signals of the Nios II soft-core module are transmitted to a Manchester encoder through an FIFO (first in first out) transmission module, are transmitted to a 1553B bus through a redundancy channel and the channel bus simulation receiver, the 1553B bus is connected with the channel bus simulation transmitter and transmits the signals to a signal input end of an FIFO receiving module through the redundancy channel and the Manchester encoder and then outputs to a signal receiving end. The Nios II soft-core based high-speed 1553B communication equipment simulator is applicable to high-speed communication.

The invention provides an electromagnetic bearing test device for a main helium fan, and belongs to the technical field of electromagnetic bearing test devices for main helium fans. In the invention,a cantilever of a loader counterweight plate is installed at the extension end of a drive motor shaft of the main helium fan, the loader counterweight plate and the shaft adopt a cone interference fit, an electromagnetic force device is installed under the loader counterweight plate, a speed sensor is arranged on one side of the loader counterweight plate, the loader counterweight plate is matchedwith a loader bracket through the motor shaft and equipped with a counterweight plate end cover to realize axial orientation of the loader counterweight plate and the motor shaft, and the loader bracket is equipped with a force sensor. The electromagnetic bearing test device for the main helium fan solves the problem that the air gap between a loading plate and a loading part will change during the loading test, and can ensure that the main helium fan drop test is fully verified.

The invention provides a verifying method and apparatus for an FPGA (Field-Programmable Gate Array) boundary scan system, which are used for debugging the FPGA boundary scan system on a simulation platform. The method includes the following steps: verifying the simulation characteristics of an IO module of an FPGA through an input instruction/output instruction, wherein the verifying step includes verifying the input characteristics of the IO module and verifying the output characteristics of the IO module; verifying instruction processing of the boundary scan system, wherein instructions include a sampling input instruction, an output test instruction, an output enhancement test instruction and an output training test instruction; and verifying internal connection of the boundary scan system and the FPGA through an internal test instruction, wherein a round trip pathway of the FPGA is gated through user configuration. The verifying method and apparatus can comprehensively and thoroughly verify the FPGA boundary scan system and ensure correctness of functions of the FPGA boundary scan system.

The invention provides an assertion-based parameterization verification system of an interface time sequence of a storage controller and relates to the technical field of verification of integrated circuits. The system comprises a configuration unit, a control unit, an assertion document library, a storage controller to be verified and a detection unit, wherein the configuration unit is used for transmitting configuration parameters to the assertion document library; the control unit is used for transmitting control parameters to the assertion document library; the assertion document library is used for selecting assertion documents needed by verification according to values of the configuration parameters and the control parameters, verifying the needed assertion document, matching an interface signal time sequence with an interface signal time sequence requirement, generating matching information and transmitting the matching information to the detection unit; the storage controller to be verified is used for transmitting the interface signal time sequence to the assertion documents needed by verification and modifying the interface signal time sequence according to failure matching information; the detection unit is used for transmitting the failure matching information to the storage controller to be verified when detecting a matching failure signal. Through the assertion-based parameterization verification system of the interface time sequence of the storage controller, plenty of verification time can be reduced; the working difficulty is reduced; and the accuracy of the verification is improved.

The invention discloses a virtual button display operation method and device, comprising an input device, a virtual button logic processing module, a display interface module, a man-machine interface module, and a display device. The virtual button logic processing module is used to process the input signal sent by the man-machine interface module, generate different image signals corresponding to the pressed or released states of the virtual button, and send the generated image signal to Display the interface module, and then send it to the display device, so that the display device displays the screen corresponding to the virtual key; when the virtual key is in the selected and unselected states, two different screens are displayed, so that the user can clearly determine the virtual key state and generate corresponding control signals. The disclosed virtual button display operation method and device do not include complex software and hardware such as CPU and operating system during operation, and have the advantages of simple system, easy to be fully tested and verified, and resistant to threats brought by viruses and Trojan horses.

The invention aims to disclose a nuclear process pipeline leakage rate detection device function verification test loop system, which comprises a loop unit for providing a fluid medium in a high-energy pipe and a simulation pipeline unit for simulating the state of a leakage pipeline. Compared with the prior art, pipeline leakage positions in different directions can be easily and freely switched,so that the effective detection capability of the detection device relative to different positions of pipeline leakage defects can be verified; the real pipeline size, material and pipe wall temperature of the leakage pipeline can also be simulated, particularly, a loop device for simulating the size, material and the like of a nuclear power plant main steam pipe does not have public informationyet, thus better reflecting the flowing condition of the leakage fluid relative to the pipeline, the adsorption effect of the pipe surface on the leakage fluid and heat exchange, realizing comprehensive and sufficient verification of the leakage detection device outside a pipeline pressure boundary, guaranteeing the reliability and effectiveness, and achieving the purpose of the invention.

The invention discloses an industrial personal computer with a multi-image shared memory. The industrial personal computer mainly comprises a display apparatus, a display and control processing module, a display interface module, an input interface module, and a data storage module, wherein the display and control processing module comprises at least two function sub-modules and processes an input signal sent by the input interface module. Each function sub-module generates a corresponding display operation image and the corresponding display operation image is displayed on the display apparatus; and image data of display regions such as background image display regions and the like of different display operation images is stored by adopting the shared memory, so that the storage space for displaying the image data required by the images is greatly saved; the industrial personal computer disclosed by the invention does not contain complex hardware such as a CPU, a display card and the like, and complex software such as an operation system, display operation image software and the like in a running process; a system is simple, low in cost and easy to fully test and verify; and the industrial personal computer has the characteristics of very high function security and information security.

The invention provides a test method of a helicopter air inlet channel anti-icing system. The helicopter air inlet channel anti-icing system comprises an air inlet channel and a heating assembly. The method comprises the steps that a normal temperature test is conducted on the helicopter air inlet channel anti-icing system, and when the temperature characteristic of an air inlet channel does not meet the anti-icing design requirement, iterative correction is conducted on the air inlet channel till the air inlet channel meets the anti-icing design requirement; an icing wind tunnel test is carried out on the helicopter air inlet channel anti-icing system, and when the heating performance of the heating assembly does not meet the design requirement, iterative correction is carried out on the heating assembly till the design requirement is met; and carrying out a spraying tower test on the helicopter air inlet channel anti-icing system, and verifying the anti-icing performance of the helicopter air inlet channel anti-icing system. Test items of different development stages are reasonably planned, the system performance can be fully verified, the repair workload after installation is reduced, and the development time and the test cost can be saved.

The present invention relates to an optimization method for formalized modeling. In a critical and real-time flight control system that has strict requirements on time, single use of a formalized modeling design method causes time cost brought by partial intermediate redundant codes generated in a modeling process and requirements of a hard real-time task system cannot be met. According to the scheme adopted by the present invention, by introducing a formalized modeling tool and a bridging technological method of a general library, an architecture design of a system is completed by means of a formalized modeling method at an early period and calculation analysis is performed on performances, such as time cost, of each module in the system; and for the module that has relatively large time cost or not good performance, an existing general library is bridged by using a self-adaptive adaptation layer, so that cooperative work of the formalized modeling method and the general library is implemented, and performance optimization is performed on formalized modeling.