96results about How to "Comprehensive verification" patented technology

The invention discloses a multifunctional tribology performance test system, which comprises a test cabin body, a bearing sleeve, a test shaft, a shaft sleeve, a test shaft driving device, a loading device and a comprehensive performance test unit. An installation space of a piece to be tested is arranged between the shaft sleeve and the bearing sleeve. Two ends of the test cabin body are respectively in rotation sealing fit with the test shaft, and a lubricant inlet and a lubricant outlet are arranged on the test cabin body. The comprehensive performance test unit comprises a computer, a torque rotating speed detection device, a loading force detection device, a lubricant temperature detection device, a liquid film thickness detection device and a lubricant flow detection device. The multifunctional tribology performance test system can simultaneously conduct radial and axial loading, simulates actual complex working conditions of the piece to be tested truly, achieves tests of tribology comprehensive performance such as rotating speed, torque, temperature rise, friction characteristic, test loading force, production validation (PV) value, dynamic rigidity and dynamic damping, and is capable of really and comprehensively testing and verifying the comprehensive performance of the piece to be tested.

The invention discloses a method for formally verifying a Solidarity intelligent contract, which establishes a model from the Solidarity intelligent contract, uses Boogie language to describe the model, and then uses a Z3 prover to verify the model. The method of the invention designs a set of universal intelligent contract model specification language, solves the conversion problem between the Solidarity intelligent contract and the mathematical model, and has important reference value for formally verifying the intelligent contract of other languages. This method can help the developer of intelligent contract to verify the function of intelligent contract quickly, comprehensively and rigorously, locate the vulnerability of intelligent contract, and ensure the security of intelligent contract.

The invention discloses a voiceprint recognition method, device and equipment and a computer readable storage medium. The voiceprint recognition method comprises the steps that to-be-recognized verification speech is acquired; a GMM-UB model is used for extracting a first voiceprint feature of the verification speech, and a neural network model is used for extracting a second voiceprint feature ofthe verification speech; feature fusion is carried out on the first voiceprint feature and second voiceprint feature of the verification speech to obtain a fusion voiceprint feature vector of the verification speech; the similarity between the fusion voiceprint feature vector of the verification speech and a voiceprint feature vector of each registered user in a preset registered voiceprint database is calculated; based on the similarity, a voiceprint recognition result of the verification speech is determined. The two models are used for performing feature extraction and speech verificationon the verification speech, compared with a single model performing feature extraction and speech verification on the verification speech, and the features extracted from the two models contain more comprehensive information, so that the accuracy rate of voiceprint recognition is improved.

A method and system for generating numerical test cases for testing binary floating-point arithmetic units for addition and subtraction operations, in order to verify the proper operation of the units according to a specified standard. The space for eligible test-cases is compatible with masks which stipulate the allowable forms of the operands and the result, including constant as well as variable digits in both the exponent and significand fields. The test-cases, which are generated randomly, cover the entire solution space without excluding any eligible solutions. All standard rounding modes are supported, and if a valid solution does not exist for a given set of masks, this fact is reported. The method is general and can be applied to any standard, such as the IEEE floating-point standard, in any precision. A system according to the present invention utilizes a set of sub-generators for biased exponents and significands, and also incorporates a fixed-point generator for performing calculations common to the other generators. The method relies on searching for solutions based on feasible carry sequences, and is also capable of generating test-cases for mask-constrained carry sequences.

The embodiment of the invention discloses a data transmission method based on a block chain. In this method, the second blockchain node device is prevented from carrying out security verification on the data transmission request, so that the second blockchain node device is prevented from allocating time slice resources for security verification and encryption algorithm processing; the second blockchain node device can directly respond according to the security verification result sent by the electronic device, and the timeliness of data transmission interaction between the second blockchain node device and the first blockchain node device is improved. The electronic equipment can fully and comprehensively verify the data transmission request, thereby ensuring the data transmission security between the second blockchain node device and the first blockchain node device. By setting the data transmission firewall, the data transmission potential safety hazard between the second blockchainnode device and the first blockchain node device can be eliminated, and thus the data transmission security of the whole data transmission network is ensured.

The invention relates to an excitation generation device, a chip verification device, a chip verification system. The excitation generation device comprises a random constraint file generation module,which is used for randomly generating a constraint file according to information to be verified of a chip; a template library used for storing the constraint file; an analysis module used for analyzing the constraint file to obtain a first constraint condition; a condition adjustment module used for adjusting a first constraint condition in the constraint file to obtain a second constraint condition; and an excitation generation module used for generating verification excitation according to the first constraint condition or the second constraint condition. According to the excitation generation device, more diverse excitation generation mechanisms can be provided, more types of verification excitation can be obtained, comprehensive chip verification is facilitated, the coverage rate canbe rapidly increased, and the chip verification efficiency is improved.

The invention relates to a comprehensive verification system and a comprehensive verification method for an operation scene of a full-automatic operating system. The comprehensive verification system comprises an operation and maintenance subsystem, a tested system, a simulation system and tested equipment, wherein the operation and maintenance subsystem is connected with the tested equipment by means of the tested system and the simulation system in sequence. Through comprehensively integrating the operation and maintenance subsystem, the tested system, the simulation system and the tested equipment, the comprehensive verification system performs real-time verification on a normal scene, a faulty scene and an emergency scene of full-automatic operation of rail transit. Compared with the prior art, the comprehensive verification system has the advantages of being fully automatic, having large passenger flow, being high in integration and the like.

An embodiment of the invention discloses a method of realizing off-line print constraint, comprising: registering documents in advance, storing print control information of the document; obtaining the print control information of the document when being required to print the document, performing right verification according to the print control information, and printing the document after verification. An embodiment of the invention also discloses a system of realizing print constraint. According to the method and the system in the embodiment of the invention, security of printing the document under off-line state is ensured.

The invention provides a intelligent driving vehicle controller testing method, device, server and computer readable medium, comprising the following steps of: obtaining various sensing information detected by the intelligent driving vehicle that is actually on the road through the network, and feeding the sensing information to the local intelligent driving controller to be tested; comparing theoutput of the controller of the intelligently driven vehicle operated on the road with the output of the controller to be tested to verify the function of the controller to be tested. The intelligentdriving vehicle controller testing method, device, server and computer readable medium combines the real vehicle test and the virtual simulation software test, and adopts the sensor data of the real vehicle test, solves the problem that the virtual simulation software test data is too idealized, and improves the accuracy of the test result. Moreover, by simulating the real road reality, the verification is more comprehensive, and it is not necessary to actually mount the controller to be tested on the vehicle for road measurement, thereby reducing the test cost and improving the test efficiency.

The invention provides a semantic Web service composite automatic validation method and a semantic Web service composite automatic validation system. According to the method, the Web service of OWL-S description is converted into one atomic process automaton, and the atomic process automaton is combined into composite process automation; the redundancy concurrence and the asynchronous migration of the composite process automation are eliminated to obtain an optimized model; according to compatibility requirements limited by users, the acceptable location set of the composite process automation is determined; according to the validity requirements limited by the users, a logic formula CSV is determined; the optimized model is converted into modeling language of UPPAAL, and the acceptable location set and the logic formula CSV are expressed into a CTL formula; a composition service model described by the modeling language and the CTL formula are input into UPPAAL for validation; the description on the combination process and the atomic process in the OWL-S process is more concrete and complete, the composite operation can be taken without differences, the logic formula and the expression are supported, the description capability is higher, and the validation efficiency is improved.

The invention discloses an injection method for a Nand Flash simulation model with controllable bit flipping. The injection method comprises the following steps: a), judging a bit flipping mode; b), randomly generating a bit flipping quantity; c),artificially setting the bit flipping quantity; d), establishing Err_pos_gen, and defining a fault position variable Err_pos; e), estabilihsing an Injet_err type, establishing a two-dimensional array which is 2<N>-1 deep and 8bit wide; f) defining a flipping bit, defining a bit flipping variable err_mum_one_byte, assigning the err-bit by utilizing a principle of corresponding a value 1 in err_mum_one_byte, to the flipping bit position of 8bit data in a Nand Flash page; g) performing data fault injection operation, performing xor operation on data in the err_bit and the data in io_data_buf; h) judging fault correcting capacity. The coding error-correcting verification method can be used for performing quantity and position controllable verification method in Nand Flash page, flexibly increasing data bit random fault inseration an beneficial to quickly completing NFC verification more comprehensively.

The invention relates to a knee joint dynamic simulation device. The device comprises a hip joint simulation module, a thigh simulation module and a foot fixation module; the hip joint simulation module comprises a weight simulation block, a hip joint vertical sliding pair and a hip joint rotating pair, and is used for simulating the change of the center of gravity of squatting of a human body andhip joint movement; the thigh simulation model comprises a simulated bone plate, a quadriceps femoris connecting part and hamstring muscle connecting part, fixes specimen leg thighbone and is connected with tendons pulling the quadriceps femoris and the hamstring muscle, and is used for simulating the action of the thigh muscle in the squatting process; the foot fixation module is used for fixingthe foot of the specimen leg. By means of the weight simulation block, the device can move under the action of the gravity to bend the knee joint of the specimen leg to reproduce the movement state of the knee joint of the specimen leg, and dynamic simulation of the knee joint is completed.

An earthquake monitor in a mine area comprises a rotary base, a semispherical platform, a left and right rotary frame, an up and down rotary frame and a detector, wherein the left and right rotary frame and the up and down rotary frame are installed above the rotary base, the semispherical platform is horizontally arranged in the left and right rotary frame, the up and down rotary frame is sleeved outside the left and right rotary frame, circle centers of the semispherical platform, the up and down rotary frame and the left and right rotary frame are overlapped, the semispherical platform is fixedly connected with the left and right rotary frame, the up and down rotary frame is connected with the left and right rotary frame, the left and right rotary frame is connected to the rotary base, and a third hinged rod is inserted into the upper end of the left and right rotary frame. The detector is installed on the semispherical platform and comprises an infrasonic wave resonance device, a sphere geomagnetic field disturbance inductive device, a power source and a transformer. The earthquake monitor in the mine area is simple in structure, convenient to use, and capable of avoiding infrasonic wave disturbance due to factors of large-sized machinery working or blasting in a mine and the like. Interference factors are eliminated, earthquake detection is enabled to be more precise, and the monitor can be simultaneously regulated once more to detect and verify existence of a geological disaster when an earthquake is detected.

The invention is suitable for display device field and provides a function verification method and system of LCD drive chip. The method comprises following steps: inputting simulation excitation and image data into LCD drive chip module, modulating and outputting drive voltage value on row and column; converting the drive voltage value on row and column into data of corresponding format; reading the converted data and simulatively outputting the corresponding display picture. Adopting the invention can perform function verification without excessively dependent on observing the wave form, the verification is fast and overall and is easy to implement, the cost is low and the operation is convenient.

The invention discloses an automatic throttle actuating mechanism excitation apparatus for a ground test, and belongs to the field of airplane designing. The apparatus comprises an industrial control computer, a wiring platform and a set of excitation power source. During an automatic throttle ground test process, an automatic throttle actuating mechanism is excited usually by use of a simulation device so as to control simulation, power supply and interface communication which are needed by an automatic throttle ground test. The apparatus is based on a system structure of the industrial control computer, a data collection card and the wiring platform and has the following advantages of shortened test scale, shortened test period, and more comprehensive verification of the automatic throttle actuating mechanism.

The invention provides a performance testing device and method for a central processor system. The method comprises the steps that stored low-power-consumption processor set programs and high-performance processor programs are initialized, so that corresponding processor set running codes are put on different addresses; the working processor set is judged according to the current task burden to close the power source of processor sets which do not work; the running frequency of the working processor set is recorded to verify whether the switch behavior is correct or not; storage devices are monitored to obtain the availability of the working processor set towards the storage devices; whether the data of the low-power-consumption processor sets and the data of the high-performance processor sets are consistent on the same address in the storage devices is monitored to verify whether consistencies in the different storage devices have mistakes or not; the running efficiency of a DDR of the working processor set is analyzed. Through the verification method and device for the central processor system, a circuit with heterogeneous multi-core processors can be verified, the workload is lightened for engineers, the automation degree is high, and verification is comprehensive.

The invention relates to a method for detecting flow velocity of concrete additive compatible mortar, belonging to the technical field of concrete. The method comprises the following steps: A, determining T340 time, namely putting a divergence drum in the center of a glass plate, pouring mortar added with an additive into the divergence drum, striking off after no bubble escapes and a mortar surface does not sink any more, then vertically lifting the divergence drum at a constant speed, starting timing when the divergence drum leaves the glass plate, and stopping timing when mortar divergencediameter reaches 340mm, wherein the obtained time is T340 time; and B, determining the flow velocity of the mortar, namely calculating by utilizing the formula that the flow velocity is equal to (340-inner diameter of the divergence drum)/2/T340 time, wherein the unit of the inner diameter of the divergence drum is mm, the unit of the T340 time is s, and the unit of the flow velocity is mm/s. Thedetection method provided by the invention is simple and is not influenced by the environment and external factors, and the detected flow velocity of the mortar is accurate.

The invention provides a chip verification method and device, electronic equipment and a storage medium. The method comprises the following steps: a verification platform sends a first verification request of a first preset channel to a chip, and forcibly pulls a signal of a second preset channel corresponding to a cyclic arbitration algorithm module, so that the cyclic arbitration algorithm module receives the request of a first preset channel and the request of a second preset channel; and the verification platform receives a first verification result sent by the chip, and the first verification result comprises a request and a response result corresponding to a target channel responded by the cyclic arbitration algorithm module according to the priority of the current channel signal soas to realize chip verification. According to the embodiment of the invention, the scene that the cyclic arbitration module receives the requests sent by the plurality of channels at the same time canbe covered, so that the chip can be verified more comprehensively.

The invention provides a digital chip function verifying method and system, and is used for solving the technical problems that verifying accuracy is low in the prior art. The environmental factor of an application system and influence of fault information to verifying results are considered. The verifying method comprises the following steps: simulating environmental information of the application system; simulating the fault information; generating a foundation test vector according to a design specification of a design to be verified; integrating the environmental information and the fault information with the foundation test vector; inputting the integrated vector to the design to be verified to obtain output response; and inputting the output response to a digital chip function verifying platform, and inspecting correctness of the output response to obtain verifying conclusions. The verifying system comprises a digital chip function verifying platform and the design to be verified, wherein the digital chip function verifying platform is connected with the design to be verified end to end, an output end of the digital chip function verifying platform is connected with an integrating module, an input end of the integrating module is connected with an application system environmental information simulating module and a fault information simulating module, and an output end of the integrating module is connected with an input end of the design to be verified.