Search results for "PROGRAM"
showing 10 items of 5938 documents
Patented intelligence: Cloning human decision models for Industry 4.0
2018
Industry 4.0 is a trend related to smart factories, which are cyber-physical spaces populated and controlled by the collective intelligence for the autonomous and highly flexible manufacturing purposes. Artificial Intelligence (AI) embedded into various planning, production, and management processes in Industry 4.0 must take the initiative and responsibility for making necessary real-time decisions in many cases. In this paper, we suggest the Pi-Mind technology as a compromise between completely human-expert-driven decision-making and AI-driven decision-making. Pi-Mind enables capturing, cloning and patenting essential parameters of the decision models from a particular human expert making …
Robotic geometric and volumetric inspection of high value and large scale aircraft wings
2019
Increased demands in performance and production rates require a radical new approach to the design and manufacturing of aircraft wings. Performance of modern robotic manipulators has enabled research and development of fast automated non-destructive testing (NDT) systems for complex geometries. This paper presents recent outcomes of work aimed at removing the bottleneck due to data acquisition rates, to fully exploit the scanning speed of modern 6-DoF manipulators. The geometric assessment of the parts is carried out with a robotised dynamic laser scanner encoded through an absolute laser tracker. This method allows scanning speeds up to 330mm/s at 1mm pitch. State of the art ultrasonic ins…
George-Veeramani Fuzzy Metrics Revised
2018
In this note, we present an alternative approach to the concept of a fuzzy metric, calling it a revised fuzzy metric. In contrast to the traditional approach to the theory of fuzzy metric spaces which is based on the use of a t-norm, we proceed from a t-conorm in the definition of a revised fuzzy metric. Here, we restrict our study to the case of fuzzy metrics as they are defined by George-Veeramani, however, similar revision can be done also for some other approaches to the concept of a fuzzy metric.
Prediction-Based Assembly Assistance System
2020
This paper presents the design of a prediction-based assembly assistance system for manual operations and the results obtained on the data collected from experiments of assembling a customizable product. We integrated into the proposed system a Markov predictor improved with a padding mechanism whose role is to recommend the next assembly step and to detect the worker’s errors. The predictor is trained with correct assembly patterns and tested with real assembly/manufacturing data. The proposed predictor improves the coverage and, thus, there is a significantly higher number of assembly steps which are correctly correlated with the real intentions of the workers.
Decorous combinatorial lower bounds for row layout problems
2020
Abstract In this paper we consider the Double-Row Facility Layout Problem (DRFLP). Given a set of departments and pairwise transport weights between them the DRFLP asks for a non-overlapping arrangement of the departments along both sides of a common path such that the weighted sum of the center-to-center distances between the departments is minimized. Despite its broad applicability in factory planning, only small instances can be solved to optimality in reasonable time. Apart from this even deriving good lower bounds using existing integer programming formulations and branch-and-cut methods is a challenging problem. We focus here on deriving combinatorial lower bounds which can be compute…
Metaheuristic procedures for the lexicographic bottleneck assembly line balancing problem
2015
The goal of this work is to develop an improved procedure for the solution of the lexicographic bottleneck variant of the assembly line balancing problem (LB-ALBP). The objective of the LB-ALBP is to minimize the workload of the most heavily loaded workstation, followed by the workload of the second most heavily loaded workstation and so on. This problem-recently introduced to the literature (Pastor, 2011)-has practical relevance to manufacturing facilities. We design, implement and fine-tune GRASP, tabu search (TS) and scatter search (SS) heuristics for the LB-ALBP and show that our procedures are able to obtain solutions of a quality that outperforms previous approaches. We rely on both s…
Decomposition and Mean-Field Approach to Mixed Integer Optimal Compensation Problems
2016
Mixed integer optimal compensation deals with optimization problems with integer- and real-valued control variables to compensate disturbances in dynamic systems. The mixed integer nature of controls could lead to intractability in problems of large dimensions. To address this challenge, we introduce a decomposition method which turns the original n-dimensional optimization problem into n independent scalar problems of lot sizing form. Each of these problems can be viewed as a two-player zero-sum game, which introduces some element of conservatism. Each scalar problem is then reformulated as a shortest path one and solved through linear programming over a receding horizon, a step that mirro…
Pipeline Monitoring Architecture Based on Observability and Controllability Analysis
2019
Recently many techniques with different applicability have been developed for damage detection in the pipeline. The pipeline system is designed as a distributed parameter system, where the state space of the distributed parameter system has infinite dimension. This paper is dedicated to the problem of observability as well as controllability analysis in the pipeline systems. Some theorems are presented in order to test the observability and controllability of the system. Computing the rank of the controllability and observability matrix is carried out using Matlab.
Interoperable real-time symbolic programming for smart environments
2019
Smart environments demand novel paradigms offering easy configuration, programming and deployment of pervasive applications. To this purpose, different solutions have been proposed ranging from visual paradigms based on mashups to formal languages. However, most of the paradigms proposed in the literature require further external tools to turn application description code into an executable program before the deployment on target devices. Source code generation, runtime upgrades and recovery, and online debugging and inspection are often cumbersome in these programming environments. In this work we describe a methodology for real-time and on-line programming in smart environments that is co…
Fast ultrasonic phased array inspection of complex geometries delivered through robotic manipulators and high speed data acquisition instrumentation
2016
Performance of modern robotic manipulators has enabled research and development of fast automated non-destructive testing (NDT) systems for complex geometries. This paper presents recent outcomes of work aimed at removing the bottleneck due to data acquisition rates, to fully exploit the scanning speed of modern 6-DoF manipulators. State of the art ultrasonic instrumentation has been integrated into a large robot cell to enable fast data acquisition, high scan resolutions and accurate positional encoding. A fibre optic connection between the ultrasonic instrument and the server computer enables data transfer rates up to 1.6GB/s. Multiple data collection methods are compared. Performance of …