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.

Re-engineering Manufacturing for Sustainability

This edited volume presents the proceedings of the 20th CIRP LCE Conference, which cover various areas in life cycle engineering such as life cycle design, end-of-life management, manufacturing processes, manufacturing systems, methods and ...

Generalized Viscoplastic Modeling of Debris Flow

Various concepts have been proposed or used in the development of rheological models for debris flow. The earliest model developed by Bagnold was based on the concept of the “dispersive” pressure generated by grain collisions. Bagnold’s concept appears to be theoretically sound, but his empirical model has been found to be inconsistent with most theoretical models developed from non-Newtonian fluid mechanics. Although the generality of Bagnold’s model is still at issue, debris-flow modelers in Japan have generally accepted Takahashi’s formulas derived from Bagnold’s model. Some efforts have recently been made by theoreticians in non-Newtonian fluid mechanics to modify or improve Bagnold’s concept or model. A viable rheological model should consist both of a rate-independent part and a rate-dependent part. A generalized viscoplastic fluid (GVF) model that has both parts as well as two major rheological properties (i.e., the normal stress effect and soil yield criterion) is shown to be sufficiently accurate, yet practical, for general use in debris-flow modeling. In fact, Bagnold’s model is found to be only a particular case of the GVF model. Analytical solutions for (steady) uniform debris flows in wide channels are obtained from the GVF model based on Bagnold’s simplified assumption of constant grain concentration.

森林流域单元水文模型的构建与应用

目前全球缺水、水污染、洪涝灾害以及水土流失仍然非常严重，尤其在我国北方地区。流域水文模型可用来进行不同需水管理的情景分析，为解决我国水问题提供科学依据。分布式水文模型是流域水文模型的发展方向，具有显著特点：1）应用前景广泛，不仅可以模拟流域水文过程，还可以协助模拟泥沙或污染物的运移过程，为水利工程设计、水土保持、环境保护等领域提供技术支持；2）能够预测流域土地利用或气候变化下的流域水文响应过程变化，为管理部门提供决策支持；3）模型所需要的参数全部具有物理意义，可通过实际测量确定，适合模拟实测系列较短或是无观测流域的水文过程；4）对于目前国际水文界的前沿问题—水文尺度转换提供了一种有效的解决途径。 然而分布式水文模型还不完善，如1)真实性问题。对一些水文过程和边界条件还不确定。2)尺度转换问题。目前很少考虑尺度对参数有效性的影响。3)检验问题。还无法判断对有些难以测量的水文状态变量的模拟正确与否。4)计算时间和数据存储的问题。有些分布式水文模型虽然具有很强的水文物理基础和完善的模型结构，但是计算时间过长和(或)数据存储过大，难以应用。上述问题的核心就是对分布式水文模型的核心—单元水文模型的研究不够，需要为进一步完善单元水文模型进行研究。 本文采用饱和入渗理论、Saint-Venant方程、Richards方程、Penman-Monteith方程等等构建了以有限差分法求解的适用于森林流域的单元水文模型，并通过实验室模拟试验和坡地径流场资料进行了验证，主要结论为： 通过不同坡度和不同雨强下的室内坡面产汇流实验模拟，表明：该模型模拟的坡面流和壤中流过程与实测过程基本一致，峰现时间、径流历时、峰值流量、出流总量模拟值与实测值的相对误差均较小，基本小于10%。模型的模拟精度较高，实用性较强，为深入研究壤中流机制和改进流域降雨-径流模型提供了理论依据。 通过坡地径流观测场实测资料的验证，表明：该模型模拟的坡面流过程精度较高，累计流量的精度更高于小时过程的精度，离差系数、效率系数、确定系数均较理想，具有应用价值，有助于改善分布式水文模型在森林流域的模拟效果。

亚硝化—厌氧氨氧化处理猪场废水研究

猪场废水COD浓度高、氨氮浓度高、悬浮物浓度高，已成为农村面源污染的主要来源，并严重威胁到农村饮用水安全。猪场废水氨氮浓度高、处理难度大，如何采用经济高效的方法，去除氨氮使其达到排放标准，一直是猪场废水处理中面临的重要难题。 厌氧氨氧化是近年受到国内外水处理研究者广泛关注的新型生物脱氮技术，具有不需要外加有机碳源、节省供氧量、降低能耗等优点。虽然国内外研究者对厌氧氨氧化过程的脱氮机理、厌氧氨氧化菌的生理生化特性等进行了多方面的研究，但已有的报道大多以模拟废水为研究对象，以猪场废水为研究对象的报道，在国内外文献中极少有报导。 本论文以猪场废水为主要研究对象，考察了猪场废水的亚硝化过程、厌氧氨氧化的启动过程，并对亚硝化和厌氧氨氧化联合用于猪场废水脱氮进行了探索。 1．论文首先研究了猪场废水的亚硝化过程，考察了废水水质和主要运行条件对亚硝化过程的影响。实验表明：（1）亚硝化阶段反应时间为8到10h时，出水中氨氮和亚硝酸盐浓度比可达到1：1～1：1.23，满足厌氧氨氧化反应对二者比例的要求；达到前述要求时，氨氮去除率达到58.3～65.6 %，亚硝化率在整个过程均保持在97 %以上，COD去除率在59.2～68.6 %；（2）曝气量（溶解氧）对亚硝化过程影响显著，随着曝气量增大，达到厌氧氨氧化要求的氨氮与亚硝酸盐氮浓度比例所需水力停留时间τ越短，pH出现明显下降的时间越短；（3）τ对应的pH在7.8～8.1之间，无需进行pH调节即可满足厌氧氨氧化反应对pH的要求；（4）氨氮和COD降解过程遵循一级反应动力学，氨氮和COD降解的速率常数分别为0.0656～0.0724 1/h和0.0491～0.0664 1/h。 2．在进行亚硝化过程研究的同时，以模拟废水为试验对象，进行厌氧氨氧化启动研究。以反硝化污泥和养殖厂储水池厌氧底泥的混合污泥作为接种污泥，历时大约100天，培育出具有厌氧氨氧化活性的污泥，氨氮和亚硝酸盐氮最高进水浓度分别为223.8 mg/L和171.4 mg/L，去除率最高分别达48%和41.5%，此时二者消耗比例为1.33：1。 3．在猪场废水的亚硝化研究完成和厌氧氨氧化过程初步启动成功后，在模拟废水中逐步加入猪场废水的亚硝化处理出水，逐步实现亚硝化和厌氧氨氧化的组合。亚硝化出水添加到厌氧反应器后，厌氧氨氧化反应仍可继续进行，且去除效率逐步提高。研究发现添加的亚硝化出水中携带的亚硝化细菌在厌氧氨氧化菌膜外层生长并累积，增加了厌氧氨氧化反应基质的传质阻力，妨碍了厌氧氨氧化效率的提高。 4．亚硝化－厌氧氨氧化实际工程应用探索中，生物接触氧化池可在有效去除废水中的有机物的同时实现亚硝化，出水中氨氮和亚硝酸盐比例平均为1.10，可满足后续厌氧氨氧化的要求；在适宜的进水浓度和温度下，ABR池出现了厌氧氨氧化启动的迹象；研究同时发现，水质的波动和气温的变化是工程中影响厌氧氨氧化菌活性的重要因素。 论文的主要创新点在于：（1）以猪场废水为研究对象，以实现厌氧氨氧化为目标，对亚硝化过程进行了比较详细的考察，获得了亚硝化出水满足厌氧氨氧化要求的工艺条件，通过对其COD和氨氮降解过程的考察，得出亚硝化阶段COD降解和氨氮去除的动力学模型；（2）对亚硝化－厌氧氨氧化处理猪场废水进行了探索，确立了影响其污染物去除率稳定的重要因素。 论文的上述研究成果，为厌氧氨氧化技术的实用性研究提供理论依据。 Piggery wastewater, which is characterized by high concentration of COD、ammonium and suspend substance, has become a most important source of non-point source pollution and also severely threats drinking water security in rural area. How to discharge piggery wastewater with the ammonium concentration meeting standard by economical and effective method? This is the most urgent problem in piggery wastewater treatment. As a new biological nitrogen removal technology, Anammox process has been paid more and more attention by researchers all over the world. Anammox has advantages of no need of organic carbon addition, low oxygen consumption and energy consumption. Plenty of investigations have been carried out to the mechanism, physiological and biochemical characteristic of bacteria about Anammox. Most of researches focused on synthetic wastewater, there is rare report about its application in piggery wastewater. In this paper，experimental studies were performed to investigate Sharon process in treatment of piggery wastewater，the start up process of Annammox using synthetic wastewater were studied, the feasibility of applying Sharon-Anammox process in the nitrogen removal of piggery wastewater was evaluated. 1. Sharon process of piggery wastewater was firstly investigated to analyze the effects of water quality and main running parameters, which meet the NH4+-N to NO2--N ratio requirement of successive Anammox. Results showed: (1)During Sharon Process，after 8～10 hours’ reaction the NH4+-N to NO2--N ratio in effluent reached 1:1.0～1:1.23, when the removal percentage of NH4+-N was 58.3～65.6 %, a semi-nitration rate of above 97 % was achieved during the process; meanwhile 59.2～68.6 % of the COD was also removed. (2)The aeration rate（oxygen） had obvious effect on the hydraulic retention time(τ) which met the NH4+-N to NO2--N ratio requirement of Anammox. As aeration rate increased, the hydraulic retention time(τ) was shortened. (3) The pH corresponding to τ was between 7.8 and 8.1, thus it needed no artificial adjustment. (4) The reduction of ammonia and COD followed the first-order reaction kinetics. The velocity constants of ammonia and COD were 0.0656～0.0724 1/h and 0.0491～0.0664 1/h, respectively. 2. The startup of Anammox process using the artificial wastewater was performed simultaneously with Sharon. The aim was to investigate the running parameters of Anammox and make foundation for the combination stage. By using the mixture of denitrifying sludge and anaerobic sludge in tank of the breeding factory, sludge of Anammox activity was cultivated in UASB after 100 days. The removal percentage of NH4+-N and NO2-N were up to 48% and 41.5%, respectively, when the NH4+-N and NO2-N influent concentration were 223.8 mg/L and 171.4 mg/L, respectively, the NH4+-N and NO2-N removal rate was 1.33:1. 3. After investigation of Sharon and startup of Anammox, effluent of Sharon process was added into the synthetic wastewater to combine Sharon and Anammox step by step. It took some time after the addition of Sharon effluent that Anammox reaction continued and the removal rate kept increasing. It indicated that nitrifying bacteria were carried by the Sharon effluent cumulated in the outer layer of Anammox. This enhanced transfer resistance of Anammox reaction and the increasing removal rate was restrained. 4. In the bio-contact oxidation pond of practical project, Sharon process were carried out successfully and organic compounds were removed effectively. An average NO2-N/ NH4+-N rate of 1:1.0 was achieved in the effluent, which met the requirement of successive Anammox. Under condition of suitable influent concentration and temperature, there was evidence that Anammox could start up in ABR. The variety of wastewater and temperature had great affects on Anammox activity in practical engineering. Innovation of this paper: (1) The Sharon process for treating piggery wastewater was discussed in details. Technological parameters that met requirement of Anammox were obtained. The dynamic models of COD and ammonium removal in the process were educed. (2) Sharon-Ananmmox for treatment of piggery wastewater was investigated, and the primary influencing factors was studied. This paper could be a theoretical consult for research of Anammox utility.

Transient expression of lacZ in bombarded unicellular green alga Haematococcus pluvialis

This paper reports for the first time the transient expression of a reporter gene, LacZ, in the unicellular green alga Haematococcus pluvialis. By employing the micro-particle bombardment method, motile cells in the exponential phase showed transient expression of lacZ. This was detected in bombarded motile cells under the rupture-disc pressures of 3103 KPa and 4137 KPa. Transient expression of LacZ gene could not be observed in non-motile cells of this alga under the same transformation condition. No LacZ background was found in either the motile cells or the non-motile cells. The study suggests a promising potential of the SV40 promoter and the lacZ reporter gene in genetic engineering of unicellular green algae.

Issues in the Design and Implementation of Act 2

Act2 is a highly concurrent programming language designed to exploit the processing power available from parallel computer architectures. The language supports advanced concepts in software engineering, providing high-level constructs suitable for implementing artificially-intelligent applications. Act2 is based on the Actor model of computation, consisting of virtual computational agents which communicate by message-passing. Act2 serves as a framework in which to integrate an actor language, a description and reasoning system, and a problem-solving and resource management system. This document describes issues in Act2's design and the implementation of an interpreter for the language.

Model-Based Reasoning: A Principled Approach for Software Engineering

Lee M.H., Model-Based Reasoning: A Principled Approach for Software Engineering, Software - Concepts and Tools,19(4), pp179-189, 2000.

Recognition of Planar Segments in Point Cloud Based on Wavelet Transform

© 2005-2012 IEEE.Within industrial automation systems, three-dimensional (3-D) vision provides very useful feedback information in autonomous operation of various manufacturing equipment (e.g., industrial robots, material handling devices, assembly systems, and machine tools). The hardware performance in contemporary 3-D scanning devices is suitable for online utilization. However, the bottleneck is the lack of real-time algorithms for recognition of geometric primitives (e.g., planes and natural quadrics) from a scanned point cloud. One of the most important and the most frequent geometric primitive in various engineering tasks is plane. In this paper, we propose a new fast one-pass algorithm for recognition (segmentation and fitting) of planar segments from a point cloud. To effectively segment planar regions, we exploit the orthonormality of certain wavelets to polynomial function, as well as their sensitivity to abrupt changes. After segmentation of planar regions, we estimate the parameters of corresponding planes using standard fitting procedures. For point cloud structuring, a z-buffer algorithm with mesh triangles representation in barycentric coordinates is employed. The proposed recognition method is tested and experimentally validated in several real-world case studies.

Upgrading automation for nuclear fuel in-core management: from the symbolic generation of configurations to the neural adaptation of heuristics

FUELCON is an expert system in nuclear engineering. Its task is optimized refueling-design, which is crucial to keep down operation costs at a plant. FUELCON proposes sets of alternative configurations of fuel-allocation; the fuel is positioned in a grid representing the core of a reactor. The practitioner of in-core fuel management uses FUELCON to generate a reasonably good configuration for the situation at hand. The domain expert, on the other hand, resorts to the system to test heuristics and discover new ones, for the task described above. Expert use involves a manual phase of revising the ruleset, based on performance during previous iterations in the same session. This paper is concerned with a new phase: the design of a neural component to carry out the revision automatically. Such an automated revision considers previous performance of the system and uses it for adaptation and learning better rules. The neural component is based on a particular schema for a symbolic to recurrent-analogue bridge, called NIPPL, and on the reinforcement learning of neural networks for the adaptation.

SMARTFIRE: an intelligent CFD based fire model

This paper describes a project aimed at making Computational Fluid Dynamics (CFD)- based fire simulation accessible to members of the fire safety engineering community. Over the past few years, the practice of CFD-based fire simulation has begun the transition from the confines of the research laboratory to the desk of the fire safety engineer. To a certain extent, this move has been driven by the demands of performance based building codes. However, while CFD modeling has many benefits over other forms of fire simulation, it requires a great deal of expertise on the user’s part to obtain reasonable simulation results. The project described in this paper, SMARTFIRE, aims to relieve some of this dependence on expertise so that users are less concerned with the details of CFD analysis and can concentrate on results. This aim is achieved by the use of an expert system component as part of the software suite which takes some of the expertise burden away from the user. SMARTFIRE also makes use of the latest developments in CFD technology in order to make the CFD analysis more efficient. This paper describes design considerations of the SMARTFIRE software, emphasizing its open architecture, CFD engine and knowledge-based systems.

Simulating one of the CIB W14 round robin test cases using the SMARTFIRE fire field model

Numerical predictions produced by the SMARTFIRE fire field model are compared with experimental data. The predictions consist of gas temperatures at several locations within the compartment over a 60 min period. The test fire, produced by a burning wood crib attained a maximum heat release rate of approximately 11MW. The fire is intended to represent a nonspreading fire (i.e. single fuel source) in a moderately sized ventilated room. The experimental data formed part of the CIB Round Robin test series. Two simulations are produced, one involving a relatively coarse mesh and the other with a finer mesh. While the SMARTFIRE simulations made use of a simple volumetric heat release rate model, both simulations were found capable of reproducing the overall qualitative results. Both simulations tended to overpredict the measured temperatures. However, the finer mesh simulation was better able to reproduce the qualitative features of the experimental data. The maximum recorded experimental temperature (12141C after 39 min) was over-predicted in the fine mesh simulation by 12%. (C) 2001 Elsevier Science Ltd. All rights reserved.

A volume of fluid numerical model for wave impacts at coastal structures

The first stages in the development of a new design tool, to be used by coastal engineers to improve the efficiency, analysis, design, management and operation of a wide range of coastal and harbour structures, are described. The tool is based on a two-dimensional numerical model, NEWMOTICS-2D, using the volume of fluid (VOF) method, which permits the rapid calculation of wave hydrodynamics at impermeable natural and man-made structures. The critical hydrodynamic flow processes and forces are identified together with the equations that describe these key processes. The different possible numerical approaches for the solution of these equations, and the types of numerical models currently available, are examined and assessed. Preliminary tests of the model, using comparisons with results from a series of hydraulic model test cases, are described. The results of these tests demonstrate that the VOF approach is particularly appropriate for the simulation of the dynamics of waves at coastal structures because of its flexibility in representing the complex free surfaces encountered during wave impact and breaking. The further programme of work, required to develop the existing model into a tool for use in routine engineering design, is outlined.

A Markov modulated Poisson process model for rainfall increments

The problems encountered when using traditional rectangular pulse hierarchical point processmodels for fine temporal resolution and the growing number of available tip-time records suggest that rainfall increments from tipping-bucket gauges be modelled directly. Poisson processes are used with an arrival rate modulated by a Markov chain in Continuous time. The paper shows how, by using two or three states for this chain, much of the structure of the rainfall intensity distribution and the wet/dry sequences can be represented for time-scales as small as 5 minutes.

Local models for exploratory analysis of hydrological extremes

Trend analysis is widely used for detecting changes in hydrological data. Parametric methods for this employ pre-specified models and associated tests to assess significance, whereas non-parametric methods generally apply rank tests to the data. Neither approach is suitable for exploratory analysis, because parametric models impose a particular, perhaps unsuitable, form of trend, while testing may confirm that trend is present but does not describe its form. This paper describes semi-parametric approaches to trend analysis using local likelihood fitting of annual maximum and partial duration series and illustrates their application to the exploratory analysis of changes in extremes in sea level and river flow data. Bootstrap methods are used to quantify the variability of estimates.