4,567 research outputs found

    Computational Complexity of Synchronization under Regular Commutative Constraints

    Full text link
    Here we study the computational complexity of the constrained synchronization problem for the class of regular commutative constraint languages. Utilizing a vector representation of regular commutative constraint languages, we give a full classification of the computational complexity of the constraint synchronization problem. Depending on the constraint language, our problem becomes PSPACE-complete, NP-complete or polynomial time solvable. In addition, we derive a polynomial time decision procedure for the complexity of the constraint synchronization problem, given some constraint automaton accepting a commutative language as input.Comment: Published in COCOON 2020 (The 26th International Computing and Combinatorics Conference); 2nd version is update of the published version and 1st version; both contain a minor error, the assumption of maximality in the NP-c and PSPACE-c results (propositions 5 & 6) is missing, and of incomparability of the vectors in main theorem; fixed in this version. See (new) discussion after main theore

    Regression-Based Retrieval of Boreal Forest Biomass in Sloping Terrain using P-band SAR Backscatter Intensity Data

    Get PDF
    A new biomass retrieval model for boreal forest using polarimetric P-band synthetic aperture radar (SAR) backscatter is presented. The model is based on two main SAR quantities: the HV backscatter and the HH/VV backscatter ratio. It also includes a topographic correction based on the ground slope. The model is developed from analysis of stand-wise data from two airborne P-band SAR campaigns: BioSAR 2007 (test site: Remningstorp, southern Sweden, biomass range: 10-287 tons/ha, slope range: 0-4 degrees) and BioSAR 2008 (test site: Krycklan, northern Sweden, biomass range: 8-257 tons/ha, slope range: 0-19 degrees). The new model is compared to five other models in a set of tests to evaluate its performance in different conditions. All models are first tested on data sets from Remningstorp with different moisture conditions, acquired during three periods in the spring of 2007. Thereafter, the models are tested in topographic terrain using SAR data acquired for different flight headings in Krycklan. The models are also evaluated across sites, i.e., training on one site followed by validation on the other site. Using the new model with parameters estimated on Krycklan data, biomass in Remningstorp is retrieved with RMSE of 40-59 tons/ha, or 22-33% of the mean biomass, which is lower compared to the other models. In the inverse scenario, the examined site is not well represented in the training data set, and the results are therefore not conclusive

    Biomass Retrieval Algorithm Based on P-band BioSAR Experiments of Boreal Forest

    Get PDF
    A new biomass retrieval algorithm based on P-band multi-polarization backscatter has been developed and evaluated based on SAR and ground data over boreal forest. SAR data collections were conducted on three dates at a test site in southern Sweden (Remningstorp, biomass < 300 tons/ha; late winter to early summer 2007) and on a single date at a test site in northern Sweden (Krycklan, biomass < 200 tons/ha; fall 2008). The retrieval algorithm is a multiple linear regression model including the HV-polarized backscatter coefficient, the VV/HH backscatter ratio and the ground slope. Regression coefficients were determined from Krycklan data followed by algorithm evaluation using Remningstorp data. The results from the latter show that RMS errors vary in the range 29-42 tons/ha depending on date and stand type. The new algorithm is also compared with alternative algorithms and found to give significantly better performance. The developed model is a significant step towards an algorithm which gives consistent results across multiple sites and dates, i.e. when forest structure, topography and moisture conditions is expected to vary

    Impact and modeling of topographic effects on P-band SAR backscatter from boreal forests

    Get PDF
    P-band SAR backscatter has been proven to be useful for forest biomass prediction. However, there is a need for further studies on effects of topography on P-band backscatter. In this paper, two prediction models for backscatter are evaluated, one using only biomass as predictor and one which also includes topographic corrections. Data from the BioSAR 2007 and BioSAR 2008 campaigns are used to evaluate the models. A multi-scale error model which is able to handle data from several imaging directions is used. For HH, the slope correction on stand level used in this paper is unable to correct for topographic effects. This is consistent with previous results that within stand topographic variability has a significant impact on HH P-band backscatter. For HV and VV, the model which considers topography gives lower prediction errors than the model which does not include topography. Moreover, for these polarizations topographic the correction strongly reduce the variability in backscatter measurements between imaging directions for stands with ground slopes larger than about 5 degrees

    Topographic Correction for Biomass Retrieval from P-band SAR Data in Boreal Forests

    Get PDF
    The influence of the ground slope on radar backscatter has been proven to be greater for lower radar frequencies due to deeper canopy penetration. In this study, multiple heading, Pband SAR data of boreal forest in Sweden was used to find a model for topographic correction for improved biomass retrieval. Eleven models were tested and the best model was selected. The selected model was then used for biomass retrieval. Even by means of the most simplified approach, forest biomass could be established with a root-mean-square error of approximately 50 t/ha for HV and 66 t/ha for HH

    Implementation of mean-timing and subsequent logic functions on an FPGA

    Full text link
    This article describes the implementation of a mean-timer and coincidence logic on a Virtex-5 FPGA for trigger purposes in a particle physics experiment. The novel feature is that the mean-timing and the coincidence logic are not synchronized with a clock which allows for a higher resolution of approximately 400 ps, not limited by a clock frequency.Comment: 15 pages, 11 figure
    • …
    corecore