71results about How to "Complete detection" patented technology

The invention discloses a highly automated intelligent contract formal verification system and method. The method includes the following steps: step 001, converting an intelligent contract function requirement description document into an intelligent contract function requirement specification document described in a non-natural language, wherein the content of intelligent contract function requirement specification document includes target contract function specification description and security attribute description; step 002, creating a formal validation rule model library; step 003, automatically modeling the contract source code and/or bytecode by an automated modeling tool; step 004, parsing the abstract syntax tree generated in step 003, and allocating memory addresses for constantsand variables in the code; step 005, performing formal proof. The invention is adapted to program codes written in a plurality of high-level programming languages and also adapted to a plurality of formal languages, and simultaneously provides two automatic modeling modes of source code modeling and bytecode modeling, so that modeling can be carried out according to different modeling requirements of users, and the verification efficiency is further improved.

The present invention discloses an arithmetic of picking up magnetic resonance imaging cerebral active regions by sorting based on mode identification, which comprises the steps that cerebral active regions are extracted based on the multi-element mode distance between fine activity modes in partial cerebral regions for the pretreatment of an fMRI image; a partial consistent cerebral region is obtained by clustering; the combined activities of a plurality of tissues inside the partial consistent cerebral region are used for constructing the multi-element mode; the multi-element distance function is constructed by a mode sorting method to measure the separable characters of the partial cerebral region motion under different stimulation conditions, so as to judge whether the cerebral region is activated or not. The present invention indicates the cerebral motions under different stimulation conditions by multi-element mode information formed by multiple tissues inside the partial cerebral region directly, the multi-element mode can reflect the partial cerebral motion state over all, and multi-element statistical distance can be effectively integrated with the information in the partial cerebral region to measure the difference between different cerebral activate states, so the multi-element mode and the multi-element statistical distance ensure that the arithmetic of the present invention can detect the fine cerebral action mode more completely than the traditional fMRI analyzing technology.

The invention relates to a field of video tracking and discloses a binocular vision based dynamic object movement track identifying method. According to the invention, a binocular vision system includes two cameras mounted horizontally and in parallel and a computer connected to the cameras. The method includes steps of collecting image data of a dynamic object and transmitting the image data to the computer; using a background differencing method for processing the image data so as to acquire outline in each frame of the image data; acquiring two-dimensional coordinates of the dynamic objectthrough identification performed according to characteristics of the dynamic object; acquiring three-dimensional coordinates of the dynamic object through binocular vision matching calculation and a trigonometric survey principle; compiling movement track capturing software for acquiring the movement track of the object. Two-dimensional characteristic identification is performed on objects havinghigh movement speed, small boundary dimensions and unconspicuous two-dimensional shape characteristics by adopting an outline filtering algorithm and three-dimensional coordinate calculation is performed by utilizing results of binocular vision matching, so that movement track of the dynamic object is obtained and the detection and tracking efficiency is high.

The invention discloses a barrier detection method and a device thereof based on monocular vision. The method comprises the following steps: an image at the present moment is cut for obtaining a plurality of regions which are cut; self-vehicle motion parameters are obtained, and imaginary images at the present moment are generated by using all the pixels on the image t moment before the present moment after carrying out movement according to the self-vehicle motion parameters; the similarity level of the image and the imaginary image at the present moment is calculated, so as to determine candidate barrier area of the image at the present moment; whether each candidate barrier area has intersection with each cut area in the image at the present moment is calculated, if yes, the barrier judging percentage formed by the pixel area of intersection areas and the corresponding pixel area of the cutting areas is calculated, and barriers are determined according to the barrier judging percentage and preset barrier threshold. The method has the advantages of low faulty detecting ratio and complete barrier detection.

The invention provides a boundary defect detection method and device and a detection device, wherein the method comprises the steps of obtaining an image to be detected; extracting the boundary regions of two adjacent image regions to obtain boundary region images; linearly expanding the boundary region image to form a linearly expanded image; detecting the boundary defects based on the straight-line image; when the boundary defects are detected in the straight line image, determining the position of the boundary defects in the image to be detected by using the boundary region image and the straight line image. By extending a first preset distance and a second preset distance respectively to two adjacent image regions in the normal direction of each pixel point on the boundary line, the first boundary connection line and the second boundary connection line are obtained, namely, all the boundary defects of the image to be detected are divided into boundary regions by setting appropriateboundary detection ranges, and the defects crossing the boundary regions can be completely detected after the boundary regions are straightly expanded, thereby improving the detection accuracy.

The invention discloses a complete and high-resolution test method for the motion characteristics of particles in turbid media. The method comprises the following steps of: performing continuous, complete and real-time detection on the motion characteristics of the particles in the process of 'solution-colloid-sediment' of the turbid media by combining the resolution relation between the characteristic value of a speckle pattern and particle motion and utilizing a dynamic speckle test light path according to the particle light scattering theory; simultaneously, performing transient study on different critical points of the particle motion in the process by using a femtosecond laser test light path to perform the analysis of high spatial and temporal resolution on transient dynamics of the particles in the turbid media; and combining the two steps to realize the complete test with high spatial and temporal resolution characteristic on motion images of the particles in the process of 'solution-colloid-sediment' of the turbid media finally. The method is a non-contact, high-accuracy and real-time online detection method, has the characteristics that the operation is simple and the application range is wide, and can be widely used in the fields of medical science, pharmacy, chemical production and the like.

The invention discloses an image significance object detection method based on multiscale low-rank decomposition and with sensitive structural information. The method comprises the following steps of: a three-dimensional volume data generation stage: performing superpixel decomposition and DT (Delaunay Triangulation) on a two-dimensional image to form three-dimensional volume data corresponding to the two-dimensional image, a Biharmonic distribution calculation stage: obtaining a Biharmonic diffusion result of each superpixel point, a subgeneration description stage: performing histogram statistics on L2 distances between sampling points on Biharmonic isolines of the superpixel points to form shape description of the isolines, and a multiscale low-rank decomposition stage: obtaining a final significance object detection result by differencing sparse matrixes obtained by the low-rank decomposition under different scales and performing residual error matrix summation based on the shape description of the Biharmonic isoline of each superpixel point. The method is based on GPU (Graphics Processing) parallel implementation, can detect one or more significance objects in the image, and has the characteristics of high detection precision of the significance object, complete detection of the significance object, good noise resistance and the like.

The invention discloses a geometric active contour model-based coastline detection method for a remote sensing image. The method comprises the following steps: (1) reading the remote sensing image comprising a to-be-detected coastline target by Matlab software, and filtering a target image by a median filter; (2) obtaining an initial contour of the coastline by a wavelet transformation method; (3) processing the coastline segmented in the step (2) by block tracking and local edge selection methods to obtain the initial contour of the coastline; and (4) with the obtained initial contour of the coastline as an improved input of a geometric active contour model, and finally obtaining the accurate and continuous coastline through processing of the geometric active contour model. According to the geometric active contour model-based coastline detection method for the remote sensing image, the influence on coastline detection caused by noise can be effectively suppressed; and accurate, continuous and complete coastline detection is achieved.

The embodiment of the invention discloses a method and device for testing a browser. The method comprises the steps that the browser is started, and a simulated user operation is input in the network page of the browser; whether the browser is in hang state or a breakdown state or an abnormal state is detected; if yes, the state of the browser is recorded, the browser is restarted, and a new simulated user operation is input in the network page of the browser until detection is finished and a final result is generated. Through the method and device, browser testing efficiency and comprehensiveness can be improved.

The invention discloses an unconstrained in-video salient object detection method combined with an objectness degree. The unconstrained in-video salient object detection method specifically comprises the steps of: (1) inputting an original video sequence F={F<1>, F<2>, ..., F<M>}, wherein a t-th frame in the sequence is referred to as F<t>; (2) adopting a video saliency model and an objectiveness object detection algorithm for the video frame F<t>, so as to obtain an initial rectangular region for salient object detection; (3) updating an objectness degree probability graph and an object probability graph through iteration for the video frame F<t>, and adjusting the size of the rectangular region for salient object detection continuously, so as to obtain a single-frame salient object detection result; (4) and utilizing a dense optical flow method algorithm to obtain a motion vector field of pixel points of the video frame F<t>, and calculating the overlapping degree of the rectangular regions for salient object detection of the adjacent frames, so as to obtain a final salient object detection result. The unconstrained in-video salient object detection method updates the objectness degree probability graph and the object probability graph through iteration, enhances the precision of spatial domain salient object detection results, improves time consistency through sequence-level refining, and can detect salient objects in a video more accurately and completely.

The invention discloses a robust sparse representation and Laplace regular term-based salient object detection method, and mainly aims at solving the problem that the existing method cannot completely and consistently detect the salient objects in complicated images. The method comprises the following steps of: 1, segmenting an input image to obtain a superpixel set; 2, constructing a background dictionary by adoption of superpixels at a boundary region; 3, respectively restraining the consistency between representation coefficients and reconstruction errors in a robust sparse representation model by adoption of two Laplace regular terms, and obtaining a representation coefficient matrix and a reconstruction error matrix by utilizing a background dictionary solution model; 5, constructing salient factors by combining the representation coefficient matrix and the reconstruction error matrix, so as to obtain a superpixel-level saliency map; and 6, mapping the superpixel-level saliency map to obtain a pixel-level saliency map. Experiments indicate that the method has relatively good background suppression effect, is capable of completely detecting salient objects of images, and can be used for the salient object detection of complicated scene images.

The present invention discloses a graph based unconstrained in-video significant object detection method. The method specifically comprises the following steps: (1) inputting an original video frame sequence, wherein a t-th frame is referred to as Ft as shown in the specification; (2) dividing an entire video frame into super-pixel regions; (3) obtaining a motion vector field of pixel points in the formula as shown in the specification by using a dense optical flow algorithm, and separately extracting a super-pixel region class and a global motion histogram; and (4) constructing an undirected weighted graph as shown in the specification, separately calculating a shortest path from the super-pixel region to virtual background nodes as shown in the specification, and performing accumulation on weights of edges between the nodes in the path and taking the weights as a motion significant value of the super-pixel region to generate a motion significant graph of a current frame, and according to the binarized significant graph, re-estimating a motion histogram of a background and updating the significant value of the super-pixel region. According to the graph based unconstrained in-video significant object detection method provided by the present invention, the method is based on a graph,and saliency detection is performed by performing iterative estimation on motion of the background, so that significant objects in the video can be detected more accurately and completely.

The invention relates to a UAV line patrol flight control system and method. The system comprises a UAV, a data collection assembly and a controller; the data collection assembly collects flight related data and transmits the data to the controller, and the controller comprises a UAV driving node and a line patrol flight control node; and the controller receives video image data of the UAV, a UAVdriving node processes the video image data and then sends the video image data to a line patrol flight control node, the line patrol flight control node processes the video image data and identifiesa track, a track error is detected then, the left-right linear velocity and deflection angle speed are obtained after PI control, the left-right linear velocity and deflection angle speed together with the forward linear velocity is sent to the UAV driving node, the UAV driving node processes the velocities and speed and then sends processed data to the UAV, so that the UAV carries out line patrolflight. In the method, the system is used to carry out line patrol flight, PI control is carried out on the flight error, the flight track of the UAV approaches a preset track, autonomous flight following the preset track can be realized, and patrol line flight of the UAV is realized.

The invention provides a refrigerator. The refrigerator comprises a refrigerator body and a door. A hyperspectral detection system used for detecting nutrient ingredients of food is arranged in the refrigerator body. The hyperspectral detection system comprises a hyperspectral device, a food carrying platform and a control and analysis module. The detection end of the hyperspectral device comprises a light source used for sending out light signals and a sensing device used for receiving reflecting signals, the food carrying platform is located above the detection end of the hyperspectral device, and the control and analysis module is connected with the light source and the sensing device and used for controlling the light source and analyzing the reflecting signals. In the detection process, the light source sends out the light signals to detected food, the sensing device receives the reflecting signals of the detected food, the reflecting signals are analyzed through the control and analysis module, and the nutrient ingredients of the detected food are obtained. Meanwhile, the whole detection system is small in size and occupied space and very convenient to use; maintenance is easy, a user can operate the refrigerator by himself/herself, and the use experience of the user is improved.

The invention provides a refrigerator. The refrigerator comprises a refrigerator body and a door. A hyperspectral detection system used for detecting nutrient ingredients of food is arranged in the refrigerator body. The hyperspectral detection system comprises a hyperspectral device, a food carrying platform and a control and analysis module. The detection end of the hyperspectral device comprises a light source used for sending out light signals and a sensing device used for receiving food reflecting signals, the food carrying platform is located above the detection end of the hyperspectral device, and the control and analysis module is connected with the light source and the sensing device and used for controlling the light source and analyzing the food reflecting signals. A switch module used for controlling the hyperspectral device is further arranged. In the detection process, the switch assembly controls the light source to send out the light signals to detected food and then controls the sensing device to receive the food reflecting signals of the detected food, the food reflecting signals are analyzed through the control and analysis module, then the nutrient ingredients of the detected food are obtained, the hyperspectral device does not need to be taken out of a hyperspectral containing device, operation is very convenient, and the use experience of a user is improved.

The invention discloses a method for detecting output power of dual-mode RRU (remote radio unit) equipment. The method comprises the following steps of according to the cell carrier wave and power conditions of the existing TD-SCDMA (time division-synchronization code division multiple access) and TD-LTE (time division-long term evolution), selecting a dual-mode training sequence in the output power detection mode, wherein the dual-mode training sequence is the same as the cell frequency feature; in the next preset cycle, according to the TD-LET time slot, sending the dual-mode training sequence in the coincided time period of TD-SCDMA guard period and TD-LTE guard period in the time axis, sampling data, calculating the accumulative sum, and repeating the step for multiple times; converting the accumulative sum obtained by multiple data sampling into the power value, and calculating the feedback average power; and according to the feedback average power, calculating the output power. The method has the advantage that when the RRU equipment simultaneously works in the TD-SCDMA mode and the TD-LTE mode, the output power can be accurately and completely detected.

The invention discloses a machine vision selection device and method for infertile eggs in whole tray of hatching duck eggs. The machine vision selection device comprises a crawler-type conveying belt, the crawler-type conveying belt is in driven connection with a first motor, a light chamber is arranged in the center of the crawler-type conveying belt, an egg tray is placed on the crawler-type conveying belt, a plurality of hatching duck eggs hatched for 5 days are vertically placed in the egg tray, a whole tray egg suction device is arranged in the light chamber, the whole tray egg suction device is connected to the inner side wall of the light chamber in a sliding mode, an image acquisition mechanism is arranged on the light chamber, the image acquisition mechanism is in signal connection with a control mechanism, the image acquisition mechanism is used for acquiring images of the whole tray of hatching duck eggs and identifying infertile eggs and fertile eggs for the hatching duckeggs, the control mechanism is used for controlling the whole tray egg suction device to move and grab hatching duck eggs belonging to the infertile eggs, and the whole tray egg suction device is usedfor grabbing the hatching duck eggs on the egg tray. According to the machine vision selection device and method, the problem that the automation degree and the intelligent degree of the poultry egghatching industry are low can be practically solved.

The invention relates to a video object cooperative segmentation method based on a track directed graph. The method comprises the following steps of (1), inputting each frame sequence Fm, t(t=1, ..., Nm) of a video set; (2), generating a motion vector field, an initial significance graph and a candidate object for the video frame Fm, t; (3), performing frontward and backward tracking on each candidate object, and performing maximal inhibition and track segmentation, thereby forming a track set; (4), constructing a directional weighted graph G=(V,E), wherein the track is a directional edge which is established between nodes in the graph according to a matching score; (5), converting the directional weighted graph G=(V,E) to a non-directional weighted graph G=(V,E'), extracting a maximal clique by means of a maximal clique extracting algorithm, calculating the weighted clique score of each maximal clique, using a track area which corresponds with the clique with highest weighted clique score as a main object area, performing a popular sequencing algorithm for generating an objective significance graph, and obtaining a final segmentation result by means of GrabCut; and (6), according to the obtained object segmentation result, updating an initial significance graph, calculating the maximal clique score and obtaining the object of other kind.

The invention discloses an automatic pipe fitting test center. The invention belongs to the technical field of automation equipment, the test center comprises a pipe fitting testing device, a robot, at least two trays and a control cabinet, the pipe fitting testing device is used for detecting a pipe fitting. The robot and the pipe fitting testing device are arranged adjacently. At least two traysare arranged, and the trays are adjacent to the robot. At least one tray is used for placing a pipe fitting to be detected; at least one tray is used for placing a detected pipe fitting, the controlcabinet is electrically connected with the pipe fitting testing device and the robot, the robot is used for clamping the pipe fitting to be detected on the tray onto the pipe fitting testing device, and the robot is further used for taking down the pipe fitting detected by the pipe fitting testing device and placing the pipe fitting onto the tray. The test center is convenient to use, feeding, discharging and testing are automatically completed, the detection efficiency is greatly improved, the labor intensity is reduced, detection is complete, the detection accuracy is well guaranteed, and the labor cost is reduced.

The invention relates to a detection device and a detection method for a control circuit of a smoke bomb launcher barrel. The detection device can be directly inserted into the launcher barrel withoutbeing detachably connected to any part of the circuit when detecting the control circuit of the smoke bomb launcher barrel, so that the detection device has the characteristic of quick, accurate, correct and intact detection. An existing detection device for the control circuit of the launcher barrel of a smoke screen casting device detects the condition of the launching control circuit in a position of an external plug of the launcher barrel, and avoids the condition of on-off of a power supply of an inner structure of the launcher barrel, so that whether the control circuit in and out of the launcher barrel meets the smoke bomb launching and controlling condition or not completely cannot be detected truly.