Selective detection of molecular ions in dc discharges by dual-beam Fourier transform spectroscopy

A new method to detect molecular ions selectively in gas discharges by Fourier transform emission spectroscopy is proposed. This method is by dual-beam optical subtraction. The difference spectrum between blue and red Doppler-shifted components is obtained directly thus eliminating the large background that is due to neutral precursors.     

Report

DuD Report

Report     

Smooth velocity approximation for constrained systems in real-time simulation

The rapidly increasing complexity of multi-body system models in applications like vehicle dynamics, robotics and bio-mechanics requires qualitative new solution methods to slash computing times for the dynamical simulation.     

The Complexity of Hybrid Logics over Equivalence Relations

This paper examines and classifies the computational complexity of model checking and satisfiability for hybrid logics over frames with equivalence relations. The considered languages contain all possible combinations of the downarrow binder, the existential binder, the satisfaction operator, and the global modality, ranging from the minimal hybrid language to very expressive languages. For model checking, we separate polynomial-time solvable from PSPACE-complete cases, and for satisfiability, we exhibit cases complete for NP, PSpace, NExpTime, and even N2ExpTime. Our analysis includes the versions of all these languages without atomic propositions, and also complete frames.     

Evaluation of the effect of a paver’s trolley on productivity, task demands, workload and local discomfort

The objective of this study was to determine the differences in the number of paving stones laid (productivity), task demands, energetic workload, body region discomfort and preference when laying paving stones with or without use of a paver’s trolley (n = 8) in a within-subject controlled study of pavers. The number of paving stones laid and the task demands were measured by means of systematic observations at the workplace. The energetic workload was determined using the percentage of heart rate reserve (%HRR). Body region discomfort was measured using visual analog scales, and the workers’ preference was ascertained via interview. The use of a paver’s trolley had no effect on productivity, %HRR or body region discomfort compared to working without a paver’s trolley. The duration of knee-straining activities did not differ between working with (141 min) and without (146 min) the paver’s trolley. However, six of the eight pavers indicated that, given suitable circumstances, they wanted to use the paver’s trolley.

Relevance to industry

To reduce the chance of work-related low back and knee complaints among pavers, the duration, frequency and intensity of lower back and knee-straining activities should be limited by means of technical measures such as mechanical paving. The paver’s trolley does not appear to reduce knee-straining activities and therefore does not appear useful in reducing the risk of knee complaints and disorders.     

Parallel communicating grammar systems with regular control and skeleton preserving FRR automata

Parallel communicating grammar systems with regular control (RPCGS, for short) are introduced, which are obtained from returning regular parallel communicating grammar systems by restricting the derivations that are executed in parallel by the various components through a regular control language. For the class of languages that are generated by RPCGSs with constant communication complexity we derive a characterisation in terms of a restricted type of freely rewriting restarting automaton. From this characterisation we obtain that these languages are semi-linear, and that for RPCGSs with constant communication complexity, the centralised variant has the same generative power as the non-centralised variant.     

Control theoretic smoothing splines

Some of the relationships between optimal control and statistics are examined. We produce generalized, smoothing splines by solving an optimal control problem for linear control systems, minimizing the L²-norm of the control signal, while driving the scalar output of the control system close to given, prespecified interpolation points. We then prove a convergence result for the smoothing splines, using results from the theory of numerical quadrature. Finally, we show, in simulations, that our approach works in practice as well as in theory