Large-scale mapping of boreal forest in SIBERIA using ERS tandem coherence and JERS backscatter data

Siberia's boreal forests represent an economically and ecologically precious resource, a significant part of which is not monitored on a regular basis. Synthetic aperture radars (SARs), with their sensitivity to forest biomass, offer mapping capabilities that could provide valuable up-to-date information, for example about fire damage or logging activity. The European Commission SIBERIA project had the aim of mapping an area of approximately 1 million km² in Siberia using SAR data from two satellite sources: the tandem mission of the European Remote Sensing Satellites ERS-1/2 and the Japanese Earth Resource Satellite JERS-1. Mosaics of ERS tandem interferometric coherence and JERS backscattering coefficient show the wealth of information contained in these data but they also show large differences in radar response between neighbouring images. To create one homogeneous forest map, adaptive methods which are able to account for brightness changes due to environmental effects were required. In this paper an adaptive empirical model to determine growing stock volume classes using the ERS tandem coherence and the JERS backscatter data is described. For growing stock volume classes up to 80 m³/ha, accuracies of over 80% are achieved for over a hundred ERS frames at a spatial resolution of 50 m.     

An implementation of the coupled perturbed Kohn-Sham equations: perturbation due to nuclear displacements

The Coupled Perturbed Kohn-Sham equations have been implemented in the Amsterdam Density Functional program package. Our implementation differs from previous ones in many ways. This program uses density fitting to calculate the Coulomb and exchange integrals. Further, all matrix elements of the Fock type matrix and its derivatives are calculated by numerical integration. The frozen core approximation is also implemented. Our implementation is approximately 10 times faster than a finite difference algorithm, and the absolute CPU times also compare favorably with other reported implementations.     

RFID security

Radio Frequency Identification (RFID) systems have become popular for automated identification and supply chain applications. This article describes the technical fundamentals of RFID systems and the associated standards. Specifically, we address the security and privacy aspects of this relatively new and heterogeneous radio technology. We discuss the related security requirements, the threats and the implemented mechanisms. Then the current security and privacy proposals and their enhancements are presented. Finally we discuss the role of this technology in Ubiquitous Computing.     

Applying a normalized ratio scale technique to assess influences of urban expansion on land surface temperature of the semi-arid city of Erbil

The difference between surface and air temperature within a city and its surrounding area is a result of variations in surface cover, thermal capacity, and 3-dimensional geometry. This research has examined and quantified the decreasing daytime land surface temperature (LST) in Erbil, Kurdistan region of Iraq, and the influence of rapid urban expansion on urban heat/cool island effect over a 20 year period. Land-use/land-cover change across this time period is also established using pixel samples. The current study proposes the application of the normalized ratio scale (NRS) to adjust the temperature of images acquired at different dates to the same range. Eleven satellite images acquired by Landsat 4, 5, 7, and 8 during the period 1992–2013 are used to retrieve LST. The results indicate that 55.3 km² of city land cover changed from bare soil to urban; consequently, the mean LST of the new urbanized area decreased by 2.28°C. The normalized difference vegetation index (NDVI) of Sami Abdul-Rahman (S.A.) Park increased from 0.09 ± 0.01 to 0.32 ± 0.11, resulting in a decrease of the mean LST by 7.29°C. This study shows that the NRS method is appropriate for detecting temperature trends from urbanization using remote-sensing data. It also highlights that urban expansion may lead to a decrease in daytime LST in drylands.     

Mechanical flange forming in steel and copper foil

Flange forming is a process which is wide spread in macro range for blanks with thicknesses from less than 1?mm up to several millimeters. Flange formed geometries are used as preforms for threads but also as device to give guidance and contact face to bolts and axles in sheet metal. A great advantage of flange forming compared to other machining processes is low process cycle time combined with high material utilization. Thus, a reasonable repertoire of knowledge has been gained for flange forming in macro range. Due to ongoing miniaturization of today??s products, flange forming is an interesting process applicable in micro range as well whereas size effects do not generally allow transfer of process limits from macro to micro range. Therefore the maximum flaring ratio for flange forming in micro range for sheet metal foil of 10?C25???m for a stainless steel 1.4301 and Copper E-Cu58 is investigated and compared with results in macro range. It is shown that the maximum flaring ratio decreases with decreasing sheet metal thickness. The resulting flange heights of experiments are compared with theoretical estimations which show a good accordance.     

Energy dissipation in laser-based free form heading: a numerical approach

Cold forming generally allows the fast generation of parts with very low tolerances. In addition, mechanical properties are improved, if work hardening materials are used. Transferring the cold forming process to micro range leads to a decrease in the maximum achievable upset ratio so that the forming process becomes inefficient. Therefore, a laser-based free form heading process has been developed to generate preforms which can be calibrated in a secondary cold forming step. The achievable upset ratios reach values of several hundreds instead of 2.1 which is common for single step mechanical upsetting. In this article, heat losses arising in the material accumulation process using laser-based free form heading are analyzed and discussed. For this purpose, the process is modeled within the framework of continuum mechanics and simulated by a finite element method. By using a numerical approach, a systematic study on heat losses is performed in order to identify the influence of radiation, heat transfer due to convection and thermal conduction during laser irradiation time. The simulation results, which are validated with experimental data, show that the radiation is the most important mechanism reducing the efficiency of the accumulation process.     

Coupling Interrupted Fischer and Multicomponent Joullié-Ugi to Chase Chemical Diversity: from Batch to Sustainable Flow Synthesis of Peptidomimetics

The generation of peptidomimetic substructures for medicinal chemistry purposes requires effective and divergent synthetic methods. We present in this work an efficient flow process that allows quick modulation of reagents for Joullié-Ugi multicomponent reaction, using spiroindolenines as core motifs. This sterically hindered imine equivalent could successfully be diversified using various isocyanides and amino acids in generally good space-time yields. A telescoped flow process combining interrupted Fischer reaction for spiroindolenine synthesis and subsequent Joullié-Ugi-type modification resulted in product formation in very good overall yield in less than 2 hours compared to 48 hours required in batch mode. The developed protocol can be seen as a general tool for rapid and facile generation of peptidomimetic compounds. We also showcase preliminary biological assessments for the prepared compounds.     

A case study in the mechanical verification of fault tolerance

To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. This question is studied using a prominent example from the fault tolerance literature: the problem of reliable broadcast in point-to-point networks subject to crash failures of processes. The experiences from this case study show how modular specification techniques and rigorous proof re-use can indeed help in such undertakings.