Most learning systems applied to problem solving have the goal of learning knowledge for solving problems more eeciently. However, very few systems have focused on the acquisition of planning operator descriptions. In this paper, we present a system that learns operator deenitions from the interaction with a completely unknown environment. In order to achieve better learning convergence, severa...

This study aims to introduce new methods for classifying key features (power lines, pylons, and buildings) comprising utility corridor scene using airborne LiDAR data and modelling power lines in 3D object space. The proposed approach starts from PL scene segmentation using Markov Random Field (MRF), which emphasizes on the roles of spatial context of linear and planar features as in a graphica...

In this paper we deal with two foundational questions on complete differential algebraic varieties. We establish, by means of the differential algebraic version of Bertini’s theorem and assuming a weaker form of the catenary conjecture, that in order to verify (differential) completeness one can restrict second factors to zero-dimensional differential varieties. Then, we extend Kolchin’s result...

The purpose of this work is the derivation of closed form expressions for the linear vibration modes of catenary-shaped slender structures. The dynamic behaviour of the structure is described using the Euler–Bernoulli beam formulation with variable tension and angle terms. The desired expressions are obtained by treating the governing fourth-order partial differential equation of dynamic equili...

Many wave propagation problems (in acoustics or in railway catenary or cable car dynamics, for example) can be solved with high efficiency if the computational domain can be truncated to a small region of interest with appropriate absorbing boundary conditions. In this paper, highly absorbing and stable boundary conditions for linear using a flexible, optimization-based formulation. The propose...

In the catenary images, noise and artifacts are introduced due to the acquisition techniques and systems, which may influence the judgement of catenary quailty and working states. In this paper, the contourlet transform (CT) with performances of multi-scale, multi-resolution and anisotropy is proposed, which can be effectively applied to image denoising. However, the CT hasn’t the spinning inva...

Parametric imaging is a compartmental approach that processes nuclear imaging data to estimate the spatial distribution of the kinetic parameters governing tracer flow. The present paper proposes a novel and efficient computational method for parametric imaging which is potentially applicable to several compartmental models of diverse complexity and which is effective in the determination of th...

This paper presents a mathematical model for predicting the geometrical shapes of rigid, two-pin, moment-less arches of constant cross section. The advancement of this work lies in the inclusion of arch self-weight and the ability to produce moment-less arch forms for any span/rise ratio, and any ratio of uniformly distributed load per unit span, w, to uniformly distributed arch weight per unit...

in this paper, we nd the relationships between module contractibility of abanach algebra and its ideals. we also prove that module contractibility ofa banach algebra is equivalent to module contractibility of its module uniti-zation. finally, we show that when a maximal group homomorphic image ofan inverse semigroup s with the set of idempotents e is nite, the moduleprojective tensor product ...