51results about How to "Reduce trial and error" patented technology

The present invention provides a method, system and medium for checking smart contract loopholes, including: Solidity program static taint analysis step: analyzing the source code of the Solidity program from the syntax, traversing all functions in the source code of the Solidity program Possible execution process, forming a control flow chart, and then marking all possible tainted data, obtaining and storing taint analysis results; State matrix generation steps: generating transaction sequences, reorganizing transaction sequences, generating reorganized transaction sequences, and then according to Obtain the result of taint analysis and obtain the State matrix. The invention combines deep learning and fuzz testing, optimizes the fuzz testing technology by using the deep reinforcement learning model and stain analysis, and greatly improves the coverage and efficiency of the fuzz testing. The invention realizes a smart contract loophole detection technology with high coverage, high efficiency and low misjudgment rate.

The invention discloses a front longitudinal beam anti-collision performance design method for a passenger vehicle and aims at solving the problems that when the traditional trial-and-error method is used for designing the front longitudinal beam of a car in the prior art, a computer simulation model needs to be repeatedly modified, the testing needs to be repeatedly carried out, and the like. The front longitudinal beam anti-collision performance design method for the passenger vehicle comprises the following steps that 1, the average crushing counter force expression (shown as the accompanying drawing) of a multi-right-angle cross section thin wall beam is deduced, in the expression, Pm is the average crushing counter force, the unit of the Pm is kN, n is the number of the cross section right angles of the multi-right-angle cross section thin wall beam, M0 is the unit length plastic limit bending moment, the unit of M0 is N.mm, l is the cross section circumference of the multi-right-angle cross section thin wall beam, the unit of the l is mm, h is the wall thickness of the multi-right-angle cross section thin wall beam, and the unit of the h is mm; 2, the cross section of the crushing deformation part of the front longitudinal beam is designed; 3, the average bending moment expression (Mm=(0.3-0.5)Mmax) of a rectangular cross section thin wall beam is deduced, in the expression, Mm is the average bending moment of the rectangular cross section thin wall beam, and the unit of the Mm is N.mm; and 4, the cross section of the bending deformation part of the front longitudinal beam is designed.

The present application discloses a simulation experiment parameter setting method, device, device and storage medium. The method includes: obtaining a simulation parameter value input by a user for a first part of all simulation parameters of a device to be simulated; setting the first part of the parameter according to the simulation parameter value of the first part of the parameter input by the user; based on a pre-built experiment database, to obtain the simulation parameter values ​​of the second part of the parameters that match the simulation parameter values ​​of the first part of the parameters; the second part of the parameters are all the simulation parameters except the first part of the parameters of the simulation parameters; According to the simulation parameter value of the second part of the matched parameter, the second part of the parameter is set according to the obtained simulation parameter value of the second part of the parameter of the match, which solves the problem of low speed, low speed caused by a large number of simulation experiment parameter settings. effectiveness issue.

The invention discloses a central air conditioning water system debugging method, a fault diagnosis method and an operation optimization method. A calculation method for constructing an association matrix and a basic loop matrix is adopted according to a fluid network analysis theory, water flow is designed through a balance valve branch of the central air conditioning water system, and an openingdegree value of the balance valve branch of the central air conditioning water system is calculated; and hydraulic balance debugging is carried out according to the calculated opening degree value, and meanwhile, the fault diagnosis and operation optimization are realized according to the contrastive analysis of data value monitored by a monitoring platform in real time and a set normal operationtarget value. The method has the advantages that a scientific basis is provided to the debugging of the central air conditioning water system, the hydraulic debugging efficiency is improved, meanwhile the fault diagnosis and the operation optimization of the water system are achieved, and safe and efficient operation of the system is guaranteed.

The invention relates to a design method for a vehicle lamp. The feature of the invention is to functionalize the interval and gap between the light sources and apply it to the design, so as to improve the uniformity of light. The invention can provide the optimal design scheme of the FDT surface light source lamp. According to the invention, the uniformity can be improved and the number of LEDs can be reduced; the trial and error for improving the light uniformity of the FDT surface light source can be greatly reduced.

The invention provides a non-through-diameter beaded plate forming die, which includes a die base for a die and a die base for a punch. At least two bead grooves are arranged on the die base, and the shape of the inner wall of the bead groove is the same as The shape of the outer wall of the processed bead matches; a punch is provided on the punch base, and the shape of the outer wall of the punch matches the shape of the inner wall of the bead to be processed; the punch is spliced ​​by several punch segments, and The punch segment is detachably fixed on the punch base; the two ends of the bead groove are provided with die end segments, and the position of the die end segment in the bead groove is adjustable. The non-through beaded plate forming mold of the present invention can adjust the length of the convex and concave dies by splicing the punch segments and adjusting the distance between the end segments of the die at both ends of the bead groove to meet the requirements of multiple strips of different sizes. The demand for one-time molding of the beading greatly expands the scope of use of the mold and avoids a large amount of investment in mold production design.

The invention relates to a catheter bending measuring ruler and a measuring method, which belong to the technical field of catheter bending and forming, and solve the problems of low efficiency and high cost of the qualified inspection of the bending direction of the catheter in the prior art. The catheter bending measuring ruler of the present invention comprises a disc ruler (1), a sliding ruler (2) and a slide rail rotating ruler, the disc ruler (1) is used for measuring the angle between adjacent straight line segments of the catheter, and the sliding ruler (2) is used for Measure the length of the straight section of the catheter, and the slide rail rotation ruler is used to measure the plane rotation space angle of the adjacent curved section of the catheter. The catheter bending measuring ruler of the present invention can replace the current bending manufacturing inspection fixture, reduce the difficulty and workload of bending manufacturing, measurement, and revision procedures, reduce subjective judgments that lead to repeated trial and error in sampling work, and improve the accuracy of catheter bending measurement , which in turn speeds up the speed of catheter optimization and reduces production costs.