Achievements and challenges in machine vision-based inspection of large concrete structures

Large concrete structures need to be inspected in order to assess their current physical and functional state, to predict future conditions, to support investment planning and decision making, and to allocate limited maintenance and rehabilitation resources. Current procedures in condition and safety assessment of large concrete structures are performed manually leading to subjective and unreliable results, costly and time-consuming data collection, and safety issues. To address these limitations, automated machine vision-based inspection procedures have increasingly been proposed by the research community. This paper presents current achievements and open challenges in vision-based inspection of large concrete structures. First, the general concept of Building Information Modeling is introduced. Then, vision-based 3D reconstruction and as-built spatial modeling of concrete civil infrastructure are presented. Following that, the focus is set on structural member recognition as well as on concrete damage detection and assessment exemplified for concrete columns. Although some challenges are still under investigation, it can be concluded that vision-based inspection methods have significantly improved over the last 10 years, and now, as-built spatial modeling as well as damage detection and assessment of large concrete structures have the potential to be fully automated.

Assembly and inspection of liquid crystal on silicon devices

Liquid crystal on silicon (LCOS) is one of the most exciting technologies, combining the optical modulation characteristics of liquid crystals with the power and compactness of a silicon backplane. The objective of our work is to improve cell assembly and inspection methods by introducing new equipment for automated assembly and by using an optical inspection microscope. A Suss-MicroTec Universal device bonder is used for precision assembly and device packaging and an Olympus BX51 high resolution microscope is employed for device inspection. © 2009 Optical Society of America.

Pipeline Architecture and Parallel Computation-Based Real-Time Stereovision Tracking System for Surgical Navigation

This paper studies the development of a real-time stereovision system to track multiple infrared markers attached to a surgical instrument. Multiple stages of pipeline in field-programmable gate array (FPGA) are developed to recognize the targets in both left and right image planes and to give each target a unique label. The pipeline architecture includes a smoothing filter, an adaptive threshold module, a connected component labeling operation, and a centroid extraction process. A parallel distortion correction method is proposed and implemented in a dual-core DSP. A suitable kinematic model is established for the moving targets, and a novel set of parallel and interactive computation mechanisms is proposed to position and track the targets, which are carried out by a cross-computation method in a dual-core DSP. The proposed tracking system can track the 3-D coordinate, velocity, and acceleration of four infrared markers with a delay of 9.18 ms. Furthermore, it is capable of tracking a maximum of 110 infrared markers without frame dropping at a frame rate of 60 f/s. The accuracy of the proposed system can reach the scale of 0.37 mm RMS along the x- and y-directions and 0.45 mm RMS along the depth direction (the depth is from 0.8 to 0.45 m). The performance of the proposed system can meet the requirements of applications such as surgical navigation, which needs high real time and accuracy capability.

Pipeline Architecture and Parallel Computation-Based Real-Time Stereovision Tracking System for Surgical Navigation

This paper studies the development of a real-time stereovision system to track multiple infrared markers attached to a surgical instrument. Multiple stages of pipeline in field-programmable gate array (FPGA) are developed to recognize the targets in both left and right image planes and to give each target a unique label. The pipeline architecture includes a smoothing filter, an adaptive threshold module, a connected component labeling operation, and a centroid extraction process. A parallel distortion correction method is proposed and implemented in a dual-core DSP. A suitable kinematic model is established for the moving targets, and a novel set of parallel and interactive computation mechanisms is proposed to position and track the targets, which are carried out by a cross-computation method in a dual-core DSP. The proposed tracking system can track the 3-D coordinate, velocity, and acceleration of four infrared markers with a delay of 9.18 ms. Furthermore, it is capable of tracking a maximum of 110 infrared markers without frame dropping at a frame rate of 60 f/s. The accuracy of the proposed system can reach the scale of 0.37 mm RMS along the x- and y-directions and 0.45 mm RMS along the depth direction (the depth is from 0.8 to 0.45 m). The performance of the proposed system can meet the requirements of applications such as surgical navigation, which needs high real time and accuracy capability.

Oscillation flow induced by underwater supersonic gas jets

This paper describes an experimental study on the oscillation flow characteristics of submerged supersonic gas jets issued from Laval nozzles. The flow pattern during the jet development and the jet expansion feedback phenomenon are studied using a high-speed camera and a pressure measurement system. The experimental results indicate that along the downstream distance, the jet has three flow regimes: (1) momentum jet; (2) buoyant jet; (3) plume. In the region near the nozzle exit a so-called bulge phenomenon is found. Bulging of the jet occurs many times before the more violent jet expansion feedback occurs. During the feedback process, the jet diameter can become several times that of the original one depending on the jet Mach number. The frequencies of the jet bulging and the jet expansion feedback are measured.

Research on the mechanics of underwater supersonic gas jets

An experimental research was carried out to study the fluid mechanics of underwater supersonic gas jets. High pressure air was injected into a water tank through converging-diverging nozzles (Laval nozzles). The jets were operated at different conditions of over-, full-and under-expansions. The jet sequences were visualized using a CCD camera. It was found that the injection of supersonic air jets into water is always accompanied by strong flow oscillation, which is related to the phenomenon of shock waves feedback in the gas phase. The shock wave feedback is different from the acoustic feedback when a supersonic gas jet discharges into open air, which causes screech tone. It is a process that the shock waves enclosed in the gas pocket induce a periodic pressure with large amplitude variation in the gas jet. Consequently, the periodic pressure causes the jet oscillation including the large amplitude expansion. Detailed pressure measurements were also conducted to verify the shock wave feedback phenomenon. Three kinds of measuring methods were used, i.e., pressure probe submerged in water, pressure measurements from the side and front walls of the nozzle devices respectively. The results measured by these methods are in a good agreement. They show that every oscillation of the jets causes a sudden increase of pressure and the average frequency of the shock wave feedback is about 5-10 Hz.

Wide-band underwater acoustic absorption based on locally resonant unit and interpenetrating network structure

The interpenetrating network structure provides an interesting avenue to novel materials. Locally resonant phononic crystal (LRPC) exhibits excellent sound attenuation performance based on the periodical arrangement of sound wave scatters. Combining the LRPC concept and interpenetrating network glassy structure, this paper has developed a new material which can achieve a wide band underwater strong acoustic absorption. Underwater absorption coefficients of different samples were measured by the pulse tube. Measurement results show that the new material possesses excellent underwater acoustic effects in a wide frequency range. Moreover, in order to investigate impacts of locally resonant units, some defects are introduced into the sample. The experimental result and the theoretical calculation both show that locally resonant units being connected to a network structure play an important role in achieving a wide band strong acoustic absorption.

FLOW-PIPE-SEEPAGE COUPLING ANALYSIS OF SPANNING INITIATION OF A PARTIALLY-EMBEDDED PIPELINE

The initiation of pipeline spanning involves the coupling between the flow over the pipeline and the seepage-flow in the soil underneath the pipeline. The pipeline spanning initiation is experimentally observed and discussed in this article. It is qualitatively indicated that the pressure-drop induced soil seepage failure is the predominant cause for pipeline spanning initiation. A flow-pipe-seepage sequential coupling Finite Element Method (FEM) model is proposed to simulate the coupling between the water flow-field and the soil seepage-field. A critical hydraulic gradient is obtained for oblique seepage failure of the sand in the direction tangent to the pipe. Parametric study is performed to investigate the effects of inflow velocity, pipe embedment on the pressure-drop, and the effects of soil internal friction angle and pipe embedment-to-diameter ratio on the critical flow velocity for pipeline spanning initiation. It is indicated that the dimensionless critical flow velocity changes approximately linearly with the soil internal friction angle for the submarine pipeline partially-embedded in a sandy seabed.

INVESTIGATING A NEAR-BED SUBMARINE PIPELINE IN A CURRENT

This paper considers the lift forces acting on a pipeline with a small gap between the pipeline and the plane bottom or scoring bottom. A more reasonable fluid force on the pipeline has been obtained by applying the knowledge of modified potential theory (MPT), which includes the influences of the downstream wake. By finite element method, an iteration procedure is used to solve problems of the nonlinear fluid-structure interaction. Comparing the deflection and the stress distributions with the difference sea bottoms, the failure patterns of a spanning pipeline have been discussed. The results are essential for engineers to assess pipeline stability.

A moored underwater energy conservation system for profiling measurement

There is a need to obtain the hydrologic data including ocean current, wave, temperature and so on in the South China Sea. A new profiling instrument which does not suffer from the damage due to nature forces or incidents caused by passing ships, is under development to acquire data from this area. This device is based on a taut single point mid-water mooring system. It incorporates a small, instrumented vertically profiling float attached via an electromechanical cable to a winch integral with the main subsurface flotation. On a pre-set schedule, the instrument float with sensors is winched up to the surface if there is no strip passing by, which is defined by an on-board miniature sonar. And it can be immediately winched down to a certain depth if the sonar sensor finds something is coming. Since, because Of logistics, the area can only be visited once for a long time and a minimum of 10 times per day profiles are desired, energy demands are severe. To respond to these concerns, the system has been designed to conserve a substantial portion of the potential energy lost during the ascent phase of each profile and subsequently use this energy to pull the instrument down. Compared with the previous single-point layered measuring mode, it is advanced and economical. At last the paper introduces the test in the South China Sea.

Underwater topography detection of Shuangzi Reefs with SAR images acquired in different time

Imaging mechanism of underwater topography by SAR and a underwater topography SAR detection model built on the theory of underwater topography detection with SAR image presented by Yuan Yeli are used to detect the underwater topography of Shuangzi Reefs in the Nansha Islands with three scenes of SAR images acquired in different time. Detection results of three SAR images are compared with the chart topography and the detection errors are analyzed. Underwater topography detection experiments of Shuangzi Reefs show that the detection model is practicable. The detection results indicate that SAR images acquired in different time also can be used to detect the underwater topography, and the detection results are affected by the ocean conditions in the SAR acquiring time.

AUV自动跟踪水下管道的试验研究

本文介绍了ＡＵＶ 跟踪水下管道的一种方法，讨论了几种跟踪方式的优、缺点，给出了控制系统原理图和试验结果

管线钢硫化物应力腐蚀裂开危险性智能探测仪的研究

介绍了管线钢硫化物应力腐蚀裂开危险性智能探测仪的设计、结构和检测结果。该检测仪具有数据采集、存储处理、逻辑判断和现场制表打印输出评价/判断等功能,对及时发现和消除含硫油气管线的隐患,以防止恶性破坏事故的发生有重要意义。

Inspection Methods in Programming

The work reported here lies in the area of overlap between artificial intelligence software engineering. As research in artificial intelligence, it is a step towards a model of problem solving in the domain of programming. In particular, this work focuses on the routine aspects of programming which involve the application of previous experience with similar programs. I call this programming by inspection. Programming is viewed here as a kind of engineering activity. Analysis and synthesis by inspection area prominent part of expert problem solving in many other engineering disciplines, such as electrical and mechanical engineering. The notion of inspections methods in programming developed in this work is motivated by similar notions in other areas of engineering. This work is also motivated by current practical concerns in the area of software engineering. The inadequacy of current programming technology is universally recognized. Part of the solution to this problem will be to increase the level of automation in programming. I believe that the next major step in the evolution of more automated programming will be interactive systems which provide a mixture of partially automated program analysis, synthesis and verification. One such system being developed at MIT, called the programmer's apprentice, is the immediate intended application of this work. This report concentrates on the knowledge are of the programmer's apprentice, which is the form of a taxonomy of commonly used algorithms and data structures. To the extent that a programmer is able to construct and manipulate programs in terms of the forms in such a taxonomy, he may relieve himself of many details and generally raise the conceptual level of his interaction with the system, as compared with present day programming environments. Also, since it is practical to expand a great deal of effort pre-analyzing the entries in a library, the difficulty of verifying the correctness of programs constructed this way is correspondingly reduced. The feasibility of this approach is demonstrated by the design of an initial library of common techniques for manipulating symbolic data. This document also reports on the further development of a formalism called the plan calculus for specifying computations in a programming language independent manner. This formalism combines both data and control abstraction in a uniform framework that has facilities for representing multiple points of view and side effects.