Querying Schemas With Access Restrictions

We study verification of systems whose transitions consist of accesses to a Web-based data-source. An access is a lookup on a relation within a relational database, fixing values for a set of positions in the relation. For example, a transition can represent access to a Web form, where the user is restricted to filling in values for a particular set of fields. We look at verifying properties of a schema describing the possible accesses of such a system. We present a language where one can describe the properties of an access path, and also specify additional restrictions on accesses that are enforced by the schema. Our main property language, AccLTL, is based on a first-order extension of linear-time temporal logic, interpreting access paths as sequences of relational structures. We also present a lower-level automaton model, Aautomata, which AccLTL specifications can compile into. We show that AccLTL and A-automata can express static analysis problems related to "querying with limited access patterns" that have been studied in the database literature in the past, such as whether an access is relevant to answering a query, and whether two queries are equivalent in the accessible data they can return. We prove decidability and complexity results for several restrictions and variants of AccLTL, and explain which properties of paths can be expressed in each restriction.Comment: VLDB201

Taming Existence in RDF Querying

We introduce the recursive, rule-based RDF query language RDFLog. RDFLog extends previous RDF query languages by arbitrary quantifier alternation: blank nodes may occur in the scope of all, some, or none of the universal variables of a rule. In addition RDFLog is aware of important RDF features such as the distinction between blank nodes, literals and URIs or the RDFS vocabulary. The semantics of RDFLog is closed (every answer is an RDF graph), but lifts RDF’s restrictions on literal and blank node occurrences for intermediary data. We show how to define a sound and complete operational semantics that can be implemented using existing logic programming techniques. Using RDFLog we classify previous approaches to RDF querying along their support for blank node construction and show equivalence between languages with full quantifier alternation and languages with only ∀∃ rules

Formability Assessment of Variable Geometries Using Machine Learning - Analysis of the Influence of the Database

Surrogate modelling has proven to be an effective strategy for time-efficient analysis and optimisation of expensive functions such as manufacturing process simulations. However, most surrogate approaches generate problem-specific “one-off” models, which cannot be reused in other, even similar scenarios. Hence, variations of the problem, e.g. minor geometry changes, instantly invalidate the surrogate. Image-based machine learning (ML) techniques have been proposed as an option to train a surrogate for variable geometries. However, it is currently unclear how to construct a sufficiently diverse set of generic training geometries and what effect different databases have. This work investigates the effect of different databases on the prediction accuracy of an ML-assessment of component manufacturability. The considered use-case is textile forming (draping) of a woven fabric. Sampling plans generate different numbers of training geometries, which are in turn evaluated in draping simulations. An image-based ML-algorithm is trained on these process samples and evaluated on a set of validation geometries. Results show that the diversity of the training geometries has a greater impact on the prediction accuracy than the number of samples. The results also hint that a comparably low number of geometry samples suffices to give meaningful results. With these findings, ML-techniques are considered a promising and time-efficient tool for manufacturability assessment at early stages of part and process design

MOGPS Supplementary Material

Additional analytical test functions optimised using Multi-Objective Global Pattern Search

Multi-Objective Global Pattern Search: Effective numerical optimisation in structural dynamics

With this work, a novel derivative-free multi-objective optimisation approach for solving engineering problems is presented. State-of-the-art algorithms usually require numerical experimentation in order to tune the algorithm’s multiple parameters to a specific optimisation problem. This issue is effectively tackled by the presented deterministic method which has only a single parameter. The most popular multi-objective optimisation algorithms are based on pseudo-random numbers and need several parameters to adjust the associated probability distributions. Deterministic methods can overcome this issue but have not attracted much research interest in the past decades and are thus seldom applied in practice. The proposed multi-objective algorithm is an extension of the previously introduced deterministic single-objective Global Pattern Search algorithm. It achieves a thorough recovery of the Pareto frontier by tracking a predefined number of non-dominated samples during the optimisation run. To assess the numerical efficiency of the proposed method, it is compared to the well-established NSGA2 algorithm. Convergence is demonstrated and the numerical performance of the proposed optimiser is discussed on the basis of several analytic test functions. Finally, the optimiser is applied to two structural dynamics problems: transfer function estimation and finite element model updating. The introduced algorithm performs well on test functions and robustly converges on the considered practical engineering problems. Hence, this deterministic algorithm can be a viable and beneficial alternative to random-number-based approaches in multi-objective engineering optimisation

Very low frequency IEPE accelerometer calibration and application to a wind energy structure

In this work, we present an experimental setup for very low frequency calibration measurements of low-noise integrated electronics piezoelectric (IEPE) accelerometers and a customised signal conditioner design for using IEPE sensors down to 0.05 Hz. AC-response IEPE accelerometers and signal conditioners have amplitude and phase deviations at low frequencies. As the standard calibration procedure in the low-frequency range is technically challenging, IEPE accelerometers with standard signal conditioners are usually used in frequency ranges above 1 Hz. Vibrations on structures with low eigenfrequencies like wind turbines are thus often monitored using DC-coupled micro-electro-mechanical system (MEMS) capacitive accelerometers. This sensor type suffers from higher noise levels compared to IEPE sensors. To apply IEPE sensors instead of MEMS sensors, in this work the calibration of the entire measurement chain of three different IEPE sensors with the customised signal conditioner is performed with a low-frequency centrifuge. The IEPE sensors are modelled using infinite impulse response (IIR) filters to apply the calibration to time-domain measurement data of a wind turbine support structure. This procedure enables an amplitude and phase-accurate vibration analysis with IEPE sensors in the low-frequency range down to 0.05 Hz

Validation of an FE model updating procedure for damage assessment using a modular laboratory experiment with a reversible damage mechanism

Systematic validation of a deterministic finite element (FE) model updating procedure for damage assessment using a self-developed modular laboratory experiment. The measurement data is made available in open-access form

Gamifying Sustainable Behavior at Work: Results from an Experiment with a Corporate Gamification App

Society’s increasing demand to protect the climate puts enormous pressure on companies of all sectors to reduce their CO2 footprint. Besides strategic investments in more sustainable value creation, it is also essential that employees adapt their mindset, motivation, and behavior. However, measures to engage employees to change their behavior are rare. In recent years, gamification has gained popularity as an effective approach to influencing human motivation and driving behavior change. This paper provides an overview of existing research on the use of gamification to engage sustainable behavior and empirical results from an experiment with a gamified app to promote sustainable behavior in a mid-sized company. Data is collected from users of the app and extended with information about their personality traits according to the HEXACO and NEP scales. The results indicate that gamification does indeed appear to be a suitable approach to support sustainable behavior at work

A new open-database benchmark structure for vibration-based Structural Health Monitoring

Vibration-based Structural Health Monitoring is an ongoing field of research in many engineering disciplines. As for civil engineering, plenty of experimental structures have been erected in the past decades, both under laboratory and real-life conditions. Some of these facilities became a benchmark for different kinds of methods associated with Structural Health Monitoring such as damage analysis and Operational Modal Analysis, which led to fruitful developments in the global research community. When it comes to the continuous monitoring and assessment of the structural integrity of mechanical systems exposed to environmental and operational variability, the robustness and adaptability of the applied methods is of utmost importance. Such properties cannot be fully evaluated under laboratory conditions, which highlights the necessity of outdoor measurement campaigns. To this end, we introduce a test facility for Structural Health Monitoring comprising a lattice tower exposed to realistic conditions and featuring multiple reversible damage mechanisms. The structure located near Hanover in Northern Germany is densely equipped with sensors to capture the structural dynamics. The environmental conditions are monitored in parallel. The obtained continuous measurement data can be accessed online in an open repository. That is the foundation for benchmarks, consisting of a growing data set that enables the development, evaluation, and comparison of Structural Health Monitoring strategies and methods. In this article, we offer a documentation of the test facility and the data acquisition system. Lastly, we characterize the structural dynamics with the help of a finite element model and by analyzing several month of data