the three dimensional X-ray computed tomography (3D-CT) has proved its successful usage as inspection method in non destructive testing. the generated 3D volume using high efficiency reconstruction algorithms contains...
详细信息
ISBN:
(纸本)9780819485731
the three dimensional X-ray computed tomography (3D-CT) has proved its successful usage as inspection method in non destructive testing. the generated 3D volume using high efficiency reconstruction algorithms contains all the inner structures of the inspected part. Segmentation of this volume reveals suspicious regions which need to be classified into defects or false alarms. this paper deals withthe classification step using data fusion theory and support vector machine. Results achieved are very promising and prove the effectiveness of the data fusion theory as a method to build stronger classifier.
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.
this paper describes how use the Java Swing HTMLEditorKit to perform multi-threaded web data mining on the EDGAR system (Electronic data-Gathering, Analysis, and Retrieval system). EDGAR is the SEC's (U.S. Securit...
详细信息
ISBN:
(纸本)9781424416936
this paper describes how use the Java Swing HTMLEditorKit to perform multi-threaded web data mining on the EDGAR system (Electronic data-Gathering, Analysis, and Retrieval system). EDGAR is the SEC's (U.S. Securities and Exchange Commission) means of automating the collection, validation, indexing, acceptance, and forwarding of submissions. Some entities are regulated by the SEC (e.g. publicly traded firms) and are required, by law, to file withthe SEC. Our focus is on making use of EDGAR to get information about company filings. these offers are filed with companies, using their Central Index Key (CIK). the CIK is used on the SEC's computer system to identify entities that filed a disclosure withthe SEC We show how to map a stock ticker symbol into a CIK. the methodology for converting the web data source into internal datastructures is based on using HTML as the input into a context-sensitive parser-call-back facility. Screen scraping is a popular means of data mining, but the unstructured nature of HTML pages makes this a challenge. the stop-and-wait nature of HTTP queries, as well as the non-deterministic nature of the response time, adversely impacts performance. We show that a combination of caching and multi-threading can improve performance by several orders of magnitude.
the proceedings contain 31 papers. the special focus in this conference is on Algorithmic Foundations of Robotics. the topics include: the minimum constraint removal problem withthree robotics applications;multi-agen...
ISBN:
(纸本)9783642362781
the proceedings contain 31 papers. the special focus in this conference is on Algorithmic Foundations of Robotics. the topics include: the minimum constraint removal problem withthree robotics applications;multi-agent path planning and network flow;trajectory planning and assignment in multirobot systems;k-color multi-robot motion planning;distributed construction of truss structures;space-time group motion planning;multi-robot coverage and exploration in non-euclidean metric spaces;lion and man with visibility in monotone polygons;sparse roadmap spanners;toggle prm: a coordinated mapping of c-free and c-obstacle in arbitrary dimension;on the power of manifold samples in exploring configuration spaces and the dimensionality of narrow passages;hierarchical decision theoretic planning for navigation among movable obstacles;sampling extremal trajectories for planar rigid bodies;convex hull asymptotic shape evolution;efficient collision checking in sampling-based motion planning;faster sample-based motion planning using instance-based learning;scale-free coordinates for multi-robot systems with bearing-only sensors;mapping polygons with agents that measure angles;counting moving bodies using sparse sensor beams;convex receding horizon control in non-gaussian belief space;planar uncertainty propagation and a probabilistic algorithm for interception;intention-aware motion planning;robust complete path planning in the plane;point-based policy transformation: adapting policy to changing pomdp models;from formal methods to algorithmic implementation of human inspired control on bipedal robots;configurations and path planning of convex planar polygonal loops;equilibrium configurations of a kirchhoff elastic rod under quasi-static manipulation;from discrete to continuous motion planning;ray-shooting algorithms for robotics and optimal gap navigation for a disc robot.
Prognosis of the Remaining Useful Life (RUL) of a structure from Structural Health Monitoring data is the ultimate level in the SHM hierarchy. Reliable prognostics are key to a Condition Based Maintenance paradigm for...
详细信息
ISBN:
(纸本)9783031072543;9783031072536
Prognosis of the Remaining Useful Life (RUL) of a structure from Structural Health Monitoring data is the ultimate level in the SHM hierarchy. Reliable prognostics are key to a Condition Based Maintenance paradigm for aerospace systems and structures. In the present work, we propose a methodology for RUL prognosis of generic aeronautical elements i.e. single stringered composite panels subjected to compression/compression fatigue. Strain measurements are utilized in this direction via FBG sensors bonded to the stiffener feet. the strain data collected during the fatigue life are processed and used for the RUL prognosis. In order to accomplish this task, it is essential to produce Health Indicators (HIs) out of raw strain that can properly capture the degradation process. To create such HIs a new pre/post-processing technique is employed and a variety of different HIs are developed. the quality of the HIs can enhance the performance of the prognostic algorithms, hence a fusion methodology is proposed using genetic algorithms. the resulted fused HI is used for the RUL estimation of the SSCPs. Gaussian processes and Hidden Semi Markov Models are employed for RUL prognosis and their performance is compared. Despite the complexity the raw data we demonstrate the feasibility of successful RUL prognostics in a SHM-data driven approach.
this publication focuses on a modular architecture for sensor data fusion regarding to research work of common interest related to sensors and sensor data fusion. this architecture will be based on an extended environ...
详细信息
ISBN:
(纸本)3540334092
this publication focuses on a modular architecture for sensor data fusion regarding to research work of common interest related to sensors and sensor data fusion. this architecture will be based on an extended environment model and representation, consisting of a set of common datastructures for sensor, object and situation refinement data and algorithms as well as the corresponding models. the aim of such research is to contribute to a measurable enhancement of the output performance provided by multi-sensor systems in terms of actual availability, reliability, accuracy and precision of the perception results. In this connection, investigations towards fusion concepts and paradigms, such as 'redundant' and 'complementary', as well as 'early' and track-based sensor data fusion approaches, are conducted, in order to significantly enhance the overall performance of the perception system.
We investigate dynamic algorithms for the interval scheduling problem. We focus on the case when the set of intervals is monotonic. this is when no interval properly contains another interval. We provide two data stru...
详细信息
High-resolution spectroscopy is a powerful industrial tool. the number of features (wavelengths) in these data sets varies from several hundreds up to a thousand. Relevant feature selection/extraction algorithms are n...
详细信息
In this paper we develop a systematic way of analyzing tree like datastructures and recursive algorithms on them;the method is shown on binary tournaments with repeated Keys extending previous applications to term tr...
详细信息
We live in the era of Big data, or at least our awareness of Big data's presence and impact has sharpened in the past ten years. Compared to data characteristics decades ago, Big data not only means a deluge of un...
详细信息
暂无评论