Modelling water dynamics with DNDC and DAISY in a soil of the North China Plain: A comparative study

The performance of the DNDC and Daisy model to simulate the water dynamics in a floodplain soil of the North China Plain was tested and compared. While the DNDC model uses a simple cascade approach, the Daisy model applies the physically based Richard's equation for simulating water movement in soil. For model testing a three years record of the soil water content from the Dong Bei Wang experimental station near Beijing was used. There, the effect of nitrogen fertilization, irrigation and straw removal on soil water and nitrogen dynamics was investigated in a three factorial field experiment applying a split-split-plot design with 4 replications. The dataset of one treatment was used for model testing and calibration. Two other independent datasets from further treatments were employed for validating the models. For both models, the simulation results were not satisfying using default parameters. After parameter optimisation and the use of site-specific van Genuchten parameters, however, the Daisy model performed well. But, for the DNDC model, parameter optimisation failed to improve the simulation result. Owing to the fact that many biological processes such as plant growth, nitrification or denitrification depend strongly on the soil water content, our findings bring us to the conclusion that the site-specific suitability of the DNDC model for simulating the soil water dynamics should be tested before further simulation of other processes.     

Robust anti-sliding control of autonomous vehicles in presence of lateral disturbances

Path following control problem of autonomous vehicles is investigated, concerning both unmeasurable sliding effects and lateral disturbances which lead to some difficulties in designing autonomous control under complex environment. To deal with the sliding effects, sideslip angles are modeled and reconstructed by estimating the tire cornering stiffness, which plays important role in analyzing the sliding effects. To this end, a Luenberger-type observer is designed, which is able to identify the tire cornering stiffness adaptively even in presence of time-varying lateral disturbances. Furthermore, to guarantee high-precision guidance, a sliding mode controller is designed based on chained system theory, and this controller is shown to be robust to both the lateral disturbances and the inaccuracy of the sliding reconstruction. Simulations illustrate that the proposed methods can reconstruct the sliding angles and provide high-accuracy anti-sliding control even in presence of the time-varying lateral disturbances.     

Computational performance of a parallelized three-dimensional high-order spectral element toolbox

In this paper, a comprehensive performance review of an MPI-based high-order three-dimensional spectral element method C++ toolbox is presented. The focus is put on the performance evaluation of several aspects with a particular emphasis on the parallel efficiency. The performance evaluation is analyzed with the help of a time prediction model based on a parameterization of the application and the hardware resources. Two tailor-made benchmark cases in computational fluid dynamics (CFD) are introduced and used to carry out this review, stressing the particular interest for clusters with up to thousands of cores. Some problems in the parallel implementation have been detected and corrected. The theoretical complexities with respect to the number of elements, to the polynomial degree, and to communication needs are correctly reproduced. It is concluded that this type of code has a nearly perfect speedup on machines with thousands of cores, and is ready to make the step to next-generation petaFLOP machines.     

Parametric Sequence Alignment with Constraints

Approximate matching techniques based on string alignment are important tools for investigating similarities between strings, such as those representing DNA and protein sequences. We propose a constraint based approach for parametric sequence alignment which allows for more general string alignment queries where the alignment cost can itself be parameterized as a query with some initial constraints. Thus, the costs need not be fixed in a parametric alignment query unlike the case in normal alignment. The basic dynamic programming string edit distance algorithm is generalized to a naive algorithm which uses inequalities to represent the alignment score. The naive algorithm is rather costly and the remainder of the paper develops an improvement which prunes alternatives where it can and approximates the alternatives otherwise. This reduces the number of inequalities significantly and strengthens the constraint representation with equalities. We present some preliminary results using parametric alignment on some general alignment queries.     

Organizational climate in air traffic control Innovative preparedness for implementation of new technology and organizational development in a rule governed organization

A positive and innovative organizational climate is of great importance in order to manage and adapt to change. Such a climate seldom evolves in organizations closely governed by rules and regulations. Because of ongoing organizational and technical changes within the Swedish Air Navigation Services Provider, a study concerning the organizational climate for changes and innovations was conducted to investigate the organization's capacity to cope with changes. Study locations were the two Swedish main air traffic control centers and parts of the civil aviation administration headquarters. In the study 390 subjects took part and the CCQ questionnaire was used to measure the organizational climate. The results show that the organizational climate is quite positive despite the rule-governed work. The results also show that administrative personnel assess the organizational climate as more positive than operative personnel. Comparisons between management positions did not result in any differences.     

Distributed Symbolic Bounded Property Checking

In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifies larger models and returns results faster than the sequential version.The core algorithm distributes partitions of the state set to computation nodes after reaching a threshold size. The nodes proceed with image computation on the nodes asynchronously. The main scalability problem of this scheme is the overlap of state set partitions. We present static and dynamic overlap reduction techniques.     

Interferometer for cold neutrons

Design and setup of an interferometer for cold and ultracold neutrons are described. As neutron optical components three holographically produced gratings are arranged in triple Laue geometry. The gratings are adjusted during their recording process in photosensitized polymer slabs once for ever. Employing this device we measured the coherence function of a cold neutron beam by means of interferometry.