Image-based delineation and classification of built heritage masonry

[EN]Fundación Zain is developing new built heritage assessment protocols. The goal is to objectivize and standardize the analysis and decision process that leads to determining the degree of protection of built heritage in the Basque Country. The ultimate step in this objectivization and standardization effort will be the development of an information and communication technology (ICT) tool for the assessment of built heritage. This paper presents the ground work carried out to make this tool possible: the automatic, image-based delineation of stone masonry. This is a necessary first step in the development of the tool, as the built heritage that will be assessed consists of stone masonry construction, and many of the features analyzed can be characterized according to the geometry and arrangement of the stones. Much of the assessment is carried out through visual inspection. Thus, this process will be automated by applying image processing on digital images of the elements under inspection. The principal contribution of this paper is the automatic delineation the framework proposed. The other contribution is the performance evaluation of this delineation as the input to a classifier for a geometrically characterized feature of a built heritage object. The element chosen to perform this evaluation is the stone arrangement of masonry walls. The validity of the proposed framework is assessed on real images of masonry walls.

Vertical Bearing Capacity of a Partially-Embedded Pipeline on Tresca Soils

Slip-line field solutions are presented for the ultimate load of submarine pipelines on a purely cohesive soil obeying Tresca yield criterion, taking into account of pipe embedment and pipe-soil contact friction. The derived bearing capacity factors for a smooth pipeline degenerate into those for the traditional strip-line footing when the embedment approaches zero. Parametric studies demonstrate that the bearing capacity factors for pipeline foundations are significantly influenced by the pipeline embedment and the pipe-soil frictional coefficient. With the increase of pipeline embedment, the bearing capacity factor Nc decreases gradually, and finally reaches the minimum value (4.0) when the embedment equals to pipeline radius. As such, if the pipeline is directly treated as a traditional strip footing, the bearing capacity factor Nc would be over evaluated. The ultimate bearing loads increase with increasing pipeline embedment and pipe-soil frictional coefficient.

An arithmetical theorem for partially ordered sets

The simplest multiplicative systems in which arithmetical ideas can be defined are semigroups. For such systems irreducible (prime) elements can be introduced and conditions under which the fundamental theorem of arithmetic holds have been investigated (Clifford (3)). After identifying associates, the elements of the semigroup form a partially ordered set with respect to the ordinary division relation. This suggests the possibility of an analogous arithmetical result for abstract partially ordered sets. Although nothing corresponding to product exists in a partially ordered set, there is a notion similar to g.c.d. This is the meet operation, defined as greatest lower bound. Thus irreducible elements, namely those elements not expressible as meets of proper divisors can be introduced. The assumption of the ascending chain condition then implies that each element is representable as a reduced meet of irreducibles. The central problem of this thesis is to determine conditions on the structure of the partially ordered set in order that each element have a unique such representation.

Part I contains preliminary results and introduces the principal tools of the investigation. In the second part, basic properties of the lattice of ideals and the connection between its structure and the irreducible decompositions of elements are developed. The proofs of these results are identical with the corresponding ones for the lattice case (Dilworth (2)). The last part contains those results whose proofs are peculiar to partially ordered sets and also contains the proof of the main theorem.

Formal methods for control synthesis in partially observed environments : application to autonomous robotic manipulation

Modern robots are increasingly expected to function in uncertain and dynamically challenging environments, often in proximity with humans. In addition, wide scale adoption of robots requires on-the-fly adaptability of software for diverse application. These requirements strongly suggest the need to adopt formal representations of high level goals and safety specifications, especially as temporal logic formulas. This approach allows for the use of formal verification techniques for controller synthesis that can give guarantees for safety and performance. Robots operating in unstructured environments also face limited sensing capability. Correctly inferring a robot's progress toward high level goal can be challenging.

This thesis develops new algorithms for synthesizing discrete controllers in partially known environments under specifications represented as linear temporal logic (LTL) formulas. It is inspired by recent developments in finite abstraction techniques for hybrid systems and motion planning problems. The robot and its environment is assumed to have a finite abstraction as a Partially Observable Markov Decision Process (POMDP), which is a powerful model class capable of representing a wide variety of problems. However, synthesizing controllers that satisfy LTL goals over POMDPs is a challenging problem which has received only limited attention.

This thesis proposes tractable, approximate algorithms for the control synthesis problem using Finite State Controllers (FSCs). The use of FSCs to control finite POMDPs allows for the closed system to be analyzed as finite global Markov chain. The thesis explicitly shows how transient and steady state behavior of the global Markov chains can be related to two different criteria with respect to satisfaction of LTL formulas. First, the maximization of the probability of LTL satisfaction is related to an optimization problem over a parametrization of the FSC. Analytic computation of gradients are derived which allows the use of first order optimization techniques.

The second criterion encourages rapid and frequent visits to a restricted set of states over infinite executions. It is formulated as a constrained optimization problem with a discounted long term reward objective by the novel utilization of a fundamental equation for Markov chains - the Poisson equation. A new constrained policy iteration technique is proposed to solve the resulting dynamic program, which also provides a way to escape local maxima.

The algorithms proposed in the thesis are applied to the task planning and execution challenges faced during the DARPA Autonomous Robotic Manipulation - Software challenge.

Phase imaging with partially coherent x rays

X-ray phase imaging with illumination by a partially coherent source with a setup similar to in-line holography is considered. Using the optical transform function, we consider the effects of partial coherence on this x-ray phase imaging for a weak phase object. The optimal contrast and the resolution of phase imaging are analyzed. As the coherence decreases, the imaging contrast and the optimal contrast frequency decrease, and the resolution degrades. It is shown that this contrast-enhanced phase-imaging method can be regarded as a linear bandpass filter and that the bandwidth and the image contrast are changeable. The frequency property of the imaging system can be improved if an incoherent x-ray source with the proper shape is used. (C) 1999 Optical Society of America.

Instability of solution of phase retrieval in direct diffraction phase-contrast imaging with partially coherent X-ray source

The theoretical model of direct diffraction phase-contrast imaging with partially coherent x-ray source is expressed by an operator of multiple integral. It is presented that the integral operator is linear. The problem of its phase retrieval is described by solving an operator equation of multiple integral. It is demonstrated that the solution of the phase retrieval is unstable. The numerical simulation is performed and the result validates that the solution of the phase retrieval is unstable.

Generation of a high-quality partially coherent dark hollow beam with a multimode fiber

We report the experimental generation of a high-quality partially coherent dark hollow beam (DHB) by coupling a partially coherent beam into a multimode fiber (MMF) with a suitable incidence angle. The interference experiment of the generated partially coherent DHB passing through double slits is demonstrated. It is found that the coupling efficiency of the MMF, the quality, and the coherence of the generated partially coherent DHB are closely controlled by the coherence of the input beam. (c) 2008 Optical Society of America.