Large area forest stem volume mapping in the boreal zone using synergy of ERS-1/2 tandem coherence and MODIS vegetation continuous fields

ERS-1/2 tandem coherence was reported to have high potential for the mapping of boreal forest stem volume (e.g. Santoro et al., 2002, 2007a; Wagner et al., 2003; Askne & Santoro, 2005). Large-scale application of the data for forest stem volume mapping, however, is hindered by the variability of coherence with meteorological and environmental acquisition conditions. The traditional way of stem volume retrieval is based on the training of models, relating coherence to stem volume, with the aid of forest inventory data which is generally available for a few small test sites but not for large areas. In this paper a new approach is presented that allows model training using the MODIS Vegetation Continuous Fields canopy cover product (Hansen et al., 2003) without further need for ground data. A comparison of the new approach with the traditional regression-based and ground-data dependent model training is presented in this paper for a multi-seasonal ERS-1/2 tandem dataset covering several well known Central Siberian forest sites. As a test scenario for large-area application, the approach was applied to a multi-seasonal ERS-1/2 tandem dataset of 223 ERS-1 and ERS-2 image pairs covering Northeast China (~ 1.5 million km²) to map four stem volume classes (0-20, 20-50, 50-80, and > 80 m³/ha).     

Statics Aware Grid Shells

We introduce a framework for the generation of polygonal gridshell architectural structures, whose topology is designed in order to excel in static performances. We start from the analysis of stress on the input surface and we use the resulting tensor field to induce an anisotropic nonEuclidean metric over it. This metric is derived by studying the relation between the stress tensor over a continuous shell and the optimal shape of polygons in a corresponding gridshell. Polygonal meshes with uniform density and isotropic cells under this metric exhibit variable density and anisotropy in Euclidean space, thus achieving a better distribution of the strain energy over their elements. Meshes are further optimized taking into account symmetry and regularity of cells to improve aesthetics. We experiment with quad meshes and hexdominant meshes, demonstrating that our gridshells achieve better static performances than stateoftheart gridshells.     

Topological and Variational Properties of a Model for the Reconstruction of Three-Dimensional Transparent Images with Self-Occlusions

We introduce and study a two-dimensional variational model for the reconstruction of a smooth generic solid shape E, which may handle the self-occlusions and that can be considered as an improvement of the 2.1D sketch of Nitzberg and Mumford (Proceedings of the Third International Conference on Computer Vision, Osaka, 1990). We characterize from the topological viewpoint the apparent contour of E, namely, we characterize those planar graphs that are apparent contours of some shape E. This is the classical problem of recovering a three-dimensional layered shape from its apparent contour, which is of interest in theoretical computer vision. We make use of the so-called Huffman labeling (Machine Intelligence, vol. 6, Am. Elsevier, New York, 1971), see also the papers of Williams (Ph.D. Dissertation, 1994 and Int. J. Comput. Vis. 23:93–108, 1997) and the paper of Karpenko and Hughes (Preprint, 2006) for related results. Moreover, we show that if E and F are two shapes having the same apparent contour, then E and F differ by a global homeomorphism which is strictly increasing on each fiber along the direction of the eye of the observer. These two topological theorems allow to find the domain of the functional ℱ describing the model. Compactness, semicontinuity and relaxation properties of ℱ are then studied, as well as connections of our model with the problem of completion of hidden contours.

A probabilistic model for interactive decision-making

A probabilistic reasoning model is defined where the decision maker (d.m.) is engaged in a sequential information-gathering process facing the trade-off between the reliability of the achieved solution and the associated observation cost. The d.m. is directly involved in the proposed flexible control strategy, which is based on information-theoretic principles. The devised strategy works on a Bayesian belief network that allows the efficient representation and manipulation of the knowledge base relevant to the problem domain. It is shown that this strategy guarantees a constant factor approximate solution with respect to the optimum of the decision problem. Some application examples are also discussed.     

Rules and Strategies for Contextual Specialization of Constraint Logic Programs

We address the problem of specializing a constraint logic program w.r.t. a constrained atom which specifies the context of use of the program. We follow an approach based on transformation rules and strategies. We introduce a novel transformation rule, called contextual constraint replacement, to be combined with variants of the traditional unfolding and folding rules. We present a general Partial Evaluation Strategy for automating the application of these rules, and two additional strategies: the Context Propagation Strategy which is instrumental for the application of our contextual constraint replacement rule, and the Invariant Promotion Strategy for taking advantage of invariance properties of the computation. We show through some examples the power of our method and we compare it with existing methods for partial deduction of constraint logic programs based on extensions of Lloyd and Shepherdson's approach.     

Innovative travel time model for dual-shuttle automated storage/retrieval systems

In modern production and distribution systems, the automated storage/retrieval systems (AS/RS), high-storage level systems that reduce labor cost, required floor space and error rate, while increasing product availability, have been widely used since the 1950s. Due to the high-investment costs involved in the development of high-efficient and high-flexible automated storage systems, performance estimation of the systems is both practically and theoretically important. The authors suggest a new method to estimate the travel time of a recently emerging version of AS/RSs, the multi-shuttle systems. The proposal is based on an industrial standard established by the Federation Européenne de la Manutention (F.E.M.). In order to estimate travel times, the authors conduct a Monte Carlo simulation to determine coordinates of two additional representative points which are not given by F.E.M. Then they conduct a new Monte Carlo simulation to compare the results obtained by the method they proposed with those of previous methods and models developed in scientific literature based on Bozer and White formulations. Several real industrial applications demonstrate the validity of proposed method.     

HPC on the Grid: The Theophys Experience

The Grid Virtual Organization (VO) “Theophys”, associated to the INFN (Istituto Nazionale di Fisica Nucleare), is a theoretical physics community with various computational demands, spreading from serial, SMP, MPI and hybrid jobs. That has led, in the past 20 years, towards the use of the Grid infrastructure for serial jobs, while the execution of multi-threaded, MPI and hybrid jobs has been performed in several small-medium size clusters installed in different sites, with access through standard local submission methods. This work analyzes the support for parallel jobs in the scientific Grid middlewares, then describes how the community unified the management of most of its computational need (serial and parallel ones) using the Grid through the development of a specific project which integrates serial e parallel resources in a common Grid based framework. A centralized national cluster is deployed inside this framework, providing “Wholenodes” reservations, CPU affinity, and other new features supporting our High Performance Computing (HPC) applications in the Grid environment. Examples of the cluster performance for relevant parallel applications in theoretical physics are reported, focusing on the different kinds of parallel jobs that can be served by the new features introduced in the Grid.     

Using roadmaps to classify regions of space for autonomous robot navigation

The roadmap approach to robot path planning is one of the earliest methods. Since then, many different algorithms for building roadmaps have been proposed and widely implemented in mobile robots but their use has always been limited to planning in static, totally known environments. In this paper we combine the use of dynamic analogical representations of the environment with an efficient roadmap extraction method, to guide the robot navigation and to classify the different regions of space in which the robot moves. The paper presents the general reference architecture for the robotic system and then focuses on the algorithms for the construction of the roadmap, the classification of the regions of space and their use in robot navigation. Experimental results indicate the applicability and robustness of this approach in real situations.     

A framework for formal analysis and simulative evaluation of security attacks in wireless sensor networks

Journal of Computer Virology and Hacking Techniques - When designing Wireless Sensor Networks it is important to analyze their security risks and provide adequate solutions for protecting them from...