Inspired by sports analysis, we study datastructures for storing a trajectory representing the movement of a player during a game, such that the following queries can be answered: Given two positions s and t, report ...
详细信息
this article discusses the optimal placement of fiber optical sensors to detect damages in thin-walled lightweight structures. Both, measurement sensitivity and data management indicate that strain sensors are optimal...
详细信息
ISBN:
(纸本)9781605952758
this article discusses the optimal placement of fiber optical sensors to detect damages in thin-walled lightweight structures. Both, measurement sensitivity and data management indicate that strain sensors are optimally placed if they measure no signal if the structure is undamaged. Such locations are found by in-depth structure analysis, particularly by analysis of the strain state of the deformed structure. Although the fundamental principle and numerical algorithm is demonstrated by means of a simple metallic plate it is shown that the results are in general applicable to both, fiber optical sensors attached on the surface and also sensors embedded between the plies of laminated composite materials.
the proceedings contain 32 papers. the special focus in this conference is on Identity-Based Encryption and Elliptic Curve Cryptography. the topics include: Identity-based lossy encryption from learning with errors;ad...
ISBN:
(纸本)9783319224244
the proceedings contain 32 papers. the special focus in this conference is on Identity-Based Encryption and Elliptic Curve Cryptography. the topics include: Identity-based lossy encryption from learning with errors;adaptive-id secure revocable hierarchical identity-based encryption;invalid curve attacks in a GLS setting;new fast algorithms for elliptic curve arithmetic in affine coordinates;implicit factorization of rsa moduli revisited (short paper);improvement on the method for automatic differential analysis and its application to two lightweight block ciphers DESL and LBLOCK-s;NM-CPA secure encryption with proofs of plaintext knowledge;improvement of UC secure searchable symmetric encryption scheme;fully leakage-resilient non-malleable identification schemes in the bounded-retrieval model;almost optimum secret sharing schemes with cheating detection for random bit strings;on limitations and alternatives of privacy-preserving cryptographic protocols for genomic data;anonymous credential system with efficient proofs for monotone formulas on attributes;secure multi-party computation using polarizing cards;an analysis platform for the information security of in-vehicle networks connected with external networks;an efficient framework for evaluating web access control policies in the era of big data;artifact-metric-based authentication for bottles of wine (short paper) and bit error probability evaluation of ring oscillator PUF (short paper).
Bondline integrity is still one of the most critical concerns in the design of aircraft structures up to date. Due to the lack of confidence on the integrity of adhesive bondlines both during fabrication and service, ...
详细信息
ISBN:
(纸本)9781605952758
Bondline integrity is still one of the most critical concerns in the design of aircraft structures up to date. Due to the lack of confidence on the integrity of adhesive bondlines both during fabrication and service, the industry standards and regulations require assembling the composites using the inefficient "black-aluminum" approach, i.e. drill holes and use fasteners. Furthermore, current state-of-the-art nondestructive evaluation (NDE) and structural health monitoring (SHM) techniques are incapable of offering mature solutions on the issue of bondline integrity monitoring. therefore, the objective of this work is to investigate the feasibility of embedding piezoelectric sensors into adhesively bonded joints to detect bondline integrity degradation. the proposed method employs an electromechanical-impedance (EMI) based diagnostic approach. this approach is based on the use of (i) micro-sensors embedded inside the adhesive leaving a minimal footprint on the material, (ii) numerical modeling of the EMI spectrum of the adhesive bondline, (iii) EMI based diagnostic algorithms for monitoring the bondline integrity, and (iv) the experimental assessment via adhesively bonded lap joints in static (varying loads) environment. the obtained results demonstrate the potential of the approach in providing increased confidence on the use of bonded joints for aerospace structures.
We present a new succinct data structure for graphs that are "tree-like," in the sense that the number of "additional" edges (w.r.t. a spanning tree) is not too high. Our algorithmic idea is to rep...
详细信息
the proceedings contain 16 papers. the special focus in this conference is on Formal Techniques for Distributed Objects, Components and Systems. the topics include: Types for deadlock-free higher-order programs;on par...
ISBN:
(纸本)9783319191942
the proceedings contain 16 papers. the special focus in this conference is on Formal Techniques for Distributed Objects, Components and Systems. the topics include: Types for deadlock-free higher-order programs;on partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency;a strategy for automatic verification of stabilization of distributed algorithms;faster linearizability checking via P-compositionality;translation validation for synchronous data-flow specification in the signal compiler;dynamic causality in event structures;loop freedom in AODVv2;code mobility meets self-organisation;timely dataflow;difference bound constraint abstraction for timed automata reachability checking;compliance and subtyping in timed session types;type checking privacy policies in the π-calculus;extending testing automata to all LTL;simple isolation for an actor abstract machine and sliced path prefixes.
We present a novel approach to jointly generate multidimensional breathing signals and identify unintentional patient motion based on thermal torso imaging. the system can operate at least 30% faster than the currentl...
详细信息
ISBN:
(数字)9783319246017
ISBN:
(纸本)9783319246017;9783319246000
We present a novel approach to jointly generate multidimensional breathing signals and identify unintentional patient motion based on thermal torso imaging. the system can operate at least 30% faster than the currently fastest optical surface imaging systems. It provides easily obtainable point-to-point correspondences on the patients surface which makes the current use of computationally heavy non-rigid surface registration algorithms obsolete in our setup, as we can show that 2d tracking is sufficient to solve our problem. In a volunteer study consisting of 5 patient subjects we show that we can use the information to automatically separate unintentional movement, due to pain or coughing, from breathing motion to signal the user that it is necessary to re-register the patient. the method is validated on ground-truth annotated thermal videos and a clinical IR respiratory motion tracking system.
the proceedings contain 36 papers. the special focus in this conference is on Graph-Based Representation, Graph Matching, Graph Clustering and Graph-Based Applications. the topics include: Approximation of graph edit ...
ISBN:
(纸本)9783319182230
the proceedings contain 36 papers. the special focus in this conference is on Graph-Based Representation, Graph Matching, Graph Clustering and Graph-Based Applications. the topics include: Approximation of graph edit distance in quadratic time;data graph formulation as the minimum-weight maximum-entropy problem;an entropic edge assortativity measure;a subpath kernel for learning hierarchical image representations;coupled-feature hypergraph representation for feature selection;reeb graphs through local binary patterns;incremental embedding within a dissimilarity-based framework;a first step towards exact graph edit distance using bipartite graph matching;consensus of two graph correspondences through a generalisation of the bipartite graph matching;revisiting Volgenant-Jonker for approximating graph edit distance;a hypergraph matching framework for refining multi-source feature correspondences;a tool for solving substitution-tolerant subgraph isomorphism;a graph database repository and performance evaluation metrics for graph edit distance;learning graph model for different dimensions image matching;report on the first contest on graph matching algorithms for pattern search in biological databases;large-scale graph indexing using binary embeddings of node contexts;on the influence of node centralities on graph edit distance for graph classification;a quantum Jensen-Shannon graph kernel using discrete-time quantum walks;density based cluster extension and dominant sets clustering;salient object segmentation from stereoscopic images;causal video segmentation using superseeds and graph matching;fast minimum spanning tree based clustering algorithms on local neighborhood graph and graph based lymphatic vessel wall localisation and tracking.
Operational effects on the structures (such as mass changes due to traffic crossing a bridge) introduce uncertainties in the damage detection process. When such changes and structural deteriorations happen simultaneou...
详细信息
ISBN:
(纸本)9781605952758
Operational effects on the structures (such as mass changes due to traffic crossing a bridge) introduce uncertainties in the damage detection process. When such changes and structural deteriorations happen simultaneously, damage detection becomes more complicated in defining how changes in mass and stiffness affect the changes in the structural properties and eventually the collected data. thus, this paper focuses on developing a new methodology to detect changes in stiffness and eliminate operational effects e.g. mass separately based on a novel time series approach using output only vibration data. In this methodology, the difference Autoregressive moving average models with eXogenous inputs (ARMAX) coefficients are utilized as Stiffness Damage Features (SDFs) and Mass Damage Features (MDFs) to determine the existence, location and severity of the damage or mass change. the shear type IASC-ASCE benchmark problem was utilized to verify the approach. the results show that changes in mass and stiffness can be clearly detected and damage's severity, location are also revealed successfully. Current limitations and plans are also discussed.
Short-term forecasting of electric loads is an essential function required by Smart Grids. Today increasing amount of smart metering data is available enabling the development of enhanced data-driven models for short-...
详细信息
ISBN:
(纸本)9781479980550
Short-term forecasting of electric loads is an essential function required by Smart Grids. Today increasing amount of smart metering data is available enabling the development of enhanced data-driven models for short-term load forecasting. Until now, a plethora of models have been developed ranging from simple linear regression models to more advanced models such as (artificial) neural networks (NNs) and support vector machines (SVMs). Despite the relatively high accuracy obtained, the acceptance of purely data-driven models such as NN models is still remained limited due to their complexity and nontransparent nature. therefore it is important to develop optimization schemes, which can be used to facilitate the selection of appropriate model structure resulting good forecasting accuracy with low complexity. this study presents an optimization scheme based on multi-objective genetic algorithm (GA) for designing data-driven models for short-term forecasting of electric loads. the optimization scheme is demonstrated for designing the conventional NN/MLP model using real smart metering data and weather measurements. the optimal NN model structures are identified and analyzed in terms of model complexity and forecasting accuracy.
暂无评论