32 results about "String interpolation" patented technology

The invention relates to an automatic cloth inspecting machine, in particular to an automatic cloth inspecting machine with an automatic defect detecting and recognizing system, and particularly discloses an automatic cloth inspecting machine capable of correcting image distortion based on a linear interpolation method.The automatic cloth inspecting machine is capable of correcting image distortion caused by uneven cloth feeding speed, row sampling lines are divided again at equal intervals in the warp direction on a fabric plane corresponding to images according to cloth feeding speed set by the system and serve as row sampling lines for correcting the images, and linear interpolation is conducted according to the space relation between a correcting sampling point and an original sampling point on the fabric plane to obtain gray values of all pixels on the corrected images.The method needs small operation loads and is small in memory consumption and capable of being used for real-time processing for follow-up defect recognition and processing of the automatic cloth inspecting machine.

The invention discloses a surface modeling method blended by interpolation type segmentation and approximation type segmentation and belongs to the field of computer aided design and manufacturing technology. Based on the internal relation between the existing interpolation type segmentation and approximation type segmentation, the method provides a method blended by an approximable Catmull-Clarksegmentation mode and an interpolation mode based on tensor product four-point interpolation, thus achieving the purpose that local interpolation segmentation curve, tessellated mesh and the tessellated mesh generated between the interpolation grids and the approximation grids can be obtained without needing to reversely obtain control vertex or to solve equations sets and solving the jump problems of 'expansion' or 'contraction' when multiresolution is used for expressing.

A method for model checking path reduction based on interpolation comprises: reading a C program, performing grammatical and semantic analysis on the C program, and extracting CFG from an abstract syntax tree; adding safety (S) interpolation and error (E) interpolation to the CFG and extending the CFG; in a process of generating ARG according to the CFG, determining, in each state, whether the safety interpolation and the error interpolation are implied by current path formula. The method improves the verification efficiency by computing the S interpolation and the E interpolation, which makes the algorithm of the model checking a better use in large-scale programs. The S interpolation can be used to avoid the unnecessary traversal, greatly reducing the number of ARG state. The E interpolation can be used to quickly determine whether there is a true counterexample in the program, accelerating the program's verification and improving the efficiency.

The invention provides an improved Sinc interpolation based small-range high-accuracy positioning method. The improved Sinc interpolation based small-range high-accuracy positioning method comprises enabling L fixed reference nodes to receive a saw tooth frequency-modulated wave v(t) signal sent out from a target node; performing amplitude equalization on the received signal, sampling a saw tooth frequency-modulated wave with the time interval T and obtaining a sample function xi(n); reconstructing the sample function and obtaining a reconstructed function y(k); sampling a sending saw tooth frequency-modulated wave v(t) with the time interval T / (M+1), obtaining a sample function u(k) and performing cross-correlation operation on the y(k) and the u(k) to obtain related peak value positions; respectively calculating the time difference of the signal arriving at the reference nodes and the first reference node according to the related peak value positions and obtaining a TDOA (Time Difference Of Arrival) measurement value; substituting the TDOA measurement value and coordinates of the reference nodes into a Chan algorithm to calculate the target node position; solving a root-mean-square error between the target node positioning calculation result and an actual position to obtain the positional accuracy RMSE. The improved Sinc interpolation based small-range high-accuracy positioning method guarantees the positioning high accuracy due to reduction of the sampling frequency.