-
An 808 Line Phasor-Based Dehomogenisation Matlab Code For Multi-Scale Topology Optimisation
Authors:
Rebekka Varum Woldseth,
Ole Sigmund,
Peter Dørffler Ladegaard Jensen
Abstract:
This work presents an 808-line Matlab educational code for combined multi-scale topology optimisation and phasor-based dehomogenisation titled deHomTop808. The multi-scale formulation utilises homogenisation of optimal microstructures to facilitate efficient coarse-scale optimisation. Dehomogenisation allows for a high-resolution single-scale reconstruction of the optimised multi-scale structure,…
▽ More
This work presents an 808-line Matlab educational code for combined multi-scale topology optimisation and phasor-based dehomogenisation titled deHomTop808. The multi-scale formulation utilises homogenisation of optimal microstructures to facilitate efficient coarse-scale optimisation. Dehomogenisation allows for a high-resolution single-scale reconstruction of the optimised multi-scale structure, achieving minor losses in structural performance, at a fraction of the computational cost, compared to its large-scale topology optimisation counterpart. The presented code utilises stiffness optimal Rank-2 microstructures to minimise the compliance of a single-load case problem, subject to a volume fraction constraint. By exploiting the inherent efficiency benefits of the phasor-based dehomogenisation procedure, on-the-fly dehomogenisation to a single-scale structure is obtained. The presented code includes procedures for structural verification of the final dehomogenised structure by comparison to the multi-scale solution. The code is introduced in terms of the underlying theory and its major components, including examples and potential extensions, and can be downloaded from https://github.com/peterdorffler/deHomTop808.git.
△ Less
Submitted 24 May, 2024; v1 submitted 23 May, 2024;
originally announced May 2024.
-
Shielded Reinforcement Learning for Hybrid Systems
Authors:
Asger Horn Brorholt,
Peter Gjøl Jensen,
Kim Guldstrand Larsen,
Florian Lorber,
Christian Schilling
Abstract:
Safe and optimal controller synthesis for switched-controlled hybrid systems, which combine differential equations and discrete changes of the system's state, is known to be intricately hard. Reinforcement learning has been leveraged to construct near-optimal controllers, but their behavior is not guaranteed to be safe, even when it is encouraged by reward engineering. One way of imposing safety t…
▽ More
Safe and optimal controller synthesis for switched-controlled hybrid systems, which combine differential equations and discrete changes of the system's state, is known to be intricately hard. Reinforcement learning has been leveraged to construct near-optimal controllers, but their behavior is not guaranteed to be safe, even when it is encouraged by reward engineering. One way of imposing safety to a learned controller is to use a shield, which is correct by design. However, obtaining a shield for non-linear and hybrid environments is itself intractable. In this paper, we propose the construction of a shield using the so-called barbaric method, where an approximate finite representation of an underlying partition-based two-player safety game is extracted via systematically picked samples of the true transition function. While hard safety guarantees are out of reach, we experimentally demonstrate strong statistical safety guarantees with a prototype implementation and UPPAAL STRATEGO. Furthermore, we study the impact of the synthesized shield when applied as either a pre-shield (applied before learning a controller) or a post-shield (only applied after learning a controller). We experimentally demonstrate superiority of the pre-shielding approach. We apply our technique on a range of case studies, including two industrial examples, and further study post-optimization of the post-shielding approach.
△ Less
Submitted 28 August, 2023;
originally announced August 2023.
-
Efficient Inverse-designed Structural Infill for Complex Engineering Structures
Authors:
Peter Dørffler Ladegaard Jensen,
Tim Felle Olsen,
J. Andreas Bærentzen,
Niels Aage,
Ole Sigmund
Abstract:
Inverse design of high-resolution and fine-detailed 3D lightweight mechanical structures is notoriously expensive due to the need for vast computational resources and the use of very fine-scaled complex meshes. Furthermore, in designing for additive manufacturing, infill is often neglected as a component of the optimized structure. In this paper, both concerns are addressed using a de-homogenizati…
▽ More
Inverse design of high-resolution and fine-detailed 3D lightweight mechanical structures is notoriously expensive due to the need for vast computational resources and the use of very fine-scaled complex meshes. Furthermore, in designing for additive manufacturing, infill is often neglected as a component of the optimized structure. In this paper, both concerns are addressed using a de-homogenization topology optimization procedure on complex engineering structures discretized by 3D unstructured hexahedrals.
Using a rectangular-hole microstructure (reminiscent to the stiffness optimal orthogonal rank-3 multi-scale) as a base material for the multi-scale optimization, a coarse-scale optimized geometry can be obtained using homogenization-based topology optimization. Due to the microstructure periodicity, this coarse-scale geometry can be up-sampled to a fine physical geometry with optimized infill, with minor loss in structural performance and at a fraction of the cost of a fine-scale solution. The upsampling on 3D unstructured grids is achieved through stream surface tracing which aligns with the optimized local orientation. The periodicity of the physical geometry can be tuned, such that the material serves as a structural component and also as an efficient infill for additive manufacturing designs.
The method is demonstrated through three examples. It achieves comparable structural performance to state-of-the-art methods but stands out for its significant computational time reduction, much faster than the base-line method. By allowing multiple active layers, the mapped solution becomes more mechanically stable, leading to an increased critical buckling load factor without additional computational expense. The proposed approach achieves promising results, benchmarking against large-scale SIMP models demonstrates computational efficiency improvements of up to 250 times.
△ Less
Submitted 18 July, 2023;
originally announced July 2023.
-
Verification and Validation of the Stakeholder Tool for Assessing Radioactive Transportation (START)
Authors:
Caitlin Condon,
Philip Jensen,
Patrick Royer,
Harish Gadey,
Mark Abkowitz,
Robert Claypool,
Steven Maheras,
Matt Feldman
Abstract:
The U.S. Department of Energy (DOE) Office of Integrated Waste Management is planning for the eventual transportation, storage, and disposal of spent nuclear fuel (SNF) and high-level radioactive waste (HLW) from nuclear power plant and DOE sites. The Stakeholder Tool for Assessing Radioactive Transportation (START) is a web-based, geospatial decision-support tool developed for evaluating routing…
▽ More
The U.S. Department of Energy (DOE) Office of Integrated Waste Management is planning for the eventual transportation, storage, and disposal of spent nuclear fuel (SNF) and high-level radioactive waste (HLW) from nuclear power plant and DOE sites. The Stakeholder Tool for Assessing Radioactive Transportation (START) is a web-based, geospatial decision-support tool developed for evaluating routing options and other aspects of transporting SNF and HLW, covering rail, truck, barge, and intermodal infrastructure and operations in the continental United States. The verification and validation (V&V) process is intended to independently assess START to provide confidence in the ability of START to accurately provide intended results. The V&V process checks the START tool using a variety of methods, ranging from independent hand calculations to comparison of START performance and results to those of other codes. The V&V activity was conducted independently from the START development team with opportunities to provide feedback and collaborate throughout the process. The V&V analyzed attributes of transportation routes produced by START, including route distance and both population and population density captured within buffer zones around routes. Population in the buffer zone, population density in the buffer zone, and route distance were all identified as crucial outputs of the START code and were subject to V&V tasks. Some of the improvements identified through the V&V process were standardizing the underlying population data in START, changing the projection of the population raster data, and changes to the methodology used for population density to improve its applicability for expected users. This collaboration also led to suggested improvements to some of the underlying shape file segments within START.
△ Less
Submitted 16 June, 2023;
originally announced June 2023.
-
BugNIST -- a Large Volumetric Dataset for Object Detection under Domain Shift
Authors:
Patrick Møller Jensen,
Vedrana Andersen Dahl,
Carsten Gundlach,
Rebecca Engberg,
Hans Martin Kjer,
Anders Bjorholm Dahl
Abstract:
Domain shift significantly influences the performance of deep learning algorithms, particularly for object detection within volumetric 3D images. Annotated training data is essential for deep learning-based object detection. However, annotating densely packed objects is time-consuming and costly. Instead, we suggest training models on individually scanned objects, causing a domain shift between tr…
▽ More
Domain shift significantly influences the performance of deep learning algorithms, particularly for object detection within volumetric 3D images. Annotated training data is essential for deep learning-based object detection. However, annotating densely packed objects is time-consuming and costly. Instead, we suggest training models on individually scanned objects, causing a domain shift between training and detection data. To address this challenge, we introduce the BugNIST dataset, comprising 9154 micro-CT volumes of 12 bug types and 388 volumes of tightly packed bug mixtures. This dataset is characterized by having objects with the same appearance in the source and target domains, which is uncommon for other benchmark datasets for domain shift. During training, individual bug volumes labeled by class are utilized, while testing employs mixtures with center point annotations and bug type labels. Together with the dataset, we provide a baseline detection analysis, with the aim of advancing the field of 3D object detection methods.
△ Less
Submitted 7 July, 2024; v1 submitted 4 April, 2023;
originally announced April 2023.
-
Deep Active Latent Surfaces for Medical Geometries
Authors:
Patrick M. Jensen,
Udaranga Wickramasinghe,
Anders B. Dahl,
Pascal Fua,
Vedrana A. Dahl
Abstract:
Shape priors have long been known to be effective when reconstructing 3D shapes from noisy or incomplete data. When using a deep-learning based shape representation, this often involves learning a latent representation, which can be either in the form of a single global vector or of multiple local ones. The latter allows more flexibility but is prone to overfitting. In this paper, we advocate a hy…
▽ More
Shape priors have long been known to be effective when reconstructing 3D shapes from noisy or incomplete data. When using a deep-learning based shape representation, this often involves learning a latent representation, which can be either in the form of a single global vector or of multiple local ones. The latter allows more flexibility but is prone to overfitting. In this paper, we advocate a hybrid approach representing shapes in terms of 3D meshes with a separate latent vector at each vertex. During training the latent vectors are constrained to have the same value, which avoids overfitting. For inference, the latent vectors are updated independently while imposing spatial regularization constraints. We show that this gives us both flexibility and generalization capabilities, which we demonstrate on several medical image processing tasks.
△ Less
Submitted 21 June, 2022;
originally announced June 2022.
-
Methods for Efficient Unfolding of Colored Petri Nets
Authors:
Alexander Bilgram,
Peter G. Jensen,
Thomas Pedersen,
Jiri Srba,
Peter H. Taankvist
Abstract:
Colored Petri nets offer a compact and user friendly representation of the traditional P/T nets and colored nets with finite color ranges can be unfolded into the underlying P/T nets, however, at the expense of an exponential explosion in size. We present two novel techniques based on static analysis in order to reduce the size of unfolded colored nets. The first method identifies colors that beha…
▽ More
Colored Petri nets offer a compact and user friendly representation of the traditional P/T nets and colored nets with finite color ranges can be unfolded into the underlying P/T nets, however, at the expense of an exponential explosion in size. We present two novel techniques based on static analysis in order to reduce the size of unfolded colored nets. The first method identifies colors that behave equivalently and groups them into equivalence classes, potentially reducing the number of used colors. The second method overapproximates the sets of colors that can appear in places and excludes colors that can never be present in a given place. Both methods are complementary and the combined approach allows us to significantly reduce the size of multiple colored Petri nets from the Model Checking Contest benchmark. We compare the performance of our unfolder with state-of-the-art techniques implemented in the tools MCC, Spike and ITS-Tools, and while our approach is competitive w.r.t. unfolding time, it also outperforms the existing approaches both in the size of unfolded nets as well as in the number of answered model checking queries from the 2021 Model Checking Contest.
△ Less
Submitted 11 October, 2023; v1 submitted 12 April, 2022;
originally announced April 2022.
-
Review of Serial and Parallel Min-Cut/Max-Flow Algorithms for Computer Vision
Authors:
Patrick M. Jensen,
Niels Jeppesen,
Anders B. Dahl,
Vedrana A. Dahl
Abstract:
Minimum cut/maximum flow (min-cut/max-flow) algorithms solve a variety of problems in computer vision and thus significant effort has been put into develo** fast min-cut/max-flow algorithms. As a result, it is difficult to choose an ideal algorithm for a given problem. Furthermore, parallel algorithms have not been thoroughly compared. In this paper, we evaluate the state-of-the-art serial and p…
▽ More
Minimum cut/maximum flow (min-cut/max-flow) algorithms solve a variety of problems in computer vision and thus significant effort has been put into develo** fast min-cut/max-flow algorithms. As a result, it is difficult to choose an ideal algorithm for a given problem. Furthermore, parallel algorithms have not been thoroughly compared. In this paper, we evaluate the state-of-the-art serial and parallel min-cut/max-flow algorithms on the largest set of computer vision problems yet. We focus on generic algorithms, i.e., for unstructured graphs, but also compare with the specialized GridCut implementation. When applicable, GridCut performs best. Otherwise, the two pseudoflow algorithms, Hochbaum pseudoflow and excesses incremental breadth first search, achieves the overall best performance. The most memory efficient implementation tested is the Boykov-Kolmogorov algorithm. Amongst generic parallel algorithms, we find the bottom-up merging approach by Liu and Sun to be best, but no method is dominant. Of the generic parallel methods, only the parallel preflow push-relabel algorithm is able to efficiently scale with many processors across problem sizes, and no generic parallel method consistently outperforms serial algorithms. Finally, we provide and evaluate strategies for algorithm selection to obtain good expected performance. We make our dataset and implementations publicly available for further research.
△ Less
Submitted 20 April, 2022; v1 submitted 1 February, 2022;
originally announced February 2022.
-
Weakly Supervised Volumetric Image Segmentation with Deformed Templates
Authors:
Udaranga Wickramasinghe,
Patrick M. Jensen,
Mian Shah,
Jiancheng Yang,
Pascal Fua
Abstract:
There are many approaches to weakly-supervised training of networks to segment 2D images. By contrast, existing approaches to segmenting volumetric images rely on full-supervision of a subset of 2D slices of the 3D volume. We propose an approach to volume segmentation that is truly weakly-supervised in the sense that we only need to provide a sparse set of 3D points on the surface of target object…
▽ More
There are many approaches to weakly-supervised training of networks to segment 2D images. By contrast, existing approaches to segmenting volumetric images rely on full-supervision of a subset of 2D slices of the 3D volume. We propose an approach to volume segmentation that is truly weakly-supervised in the sense that we only need to provide a sparse set of 3D points on the surface of target objects instead of detailed 2D masks. We use the 3D points to deform a 3D template so that it roughly matches the target object outlines and we introduce an architecture that exploits the supervision it provides to train a network to find accurate boundaries. We evaluate our approach on Computed Tomography (CT), Magnetic Resonance Imagery (MRI) and Electron Microscopy (EM) image datasets and show that it substantially reduces the required amount of effort.
△ Less
Submitted 3 June, 2022; v1 submitted 7 June, 2021;
originally announced June 2021.
-
Exploring and comparing temporal clustering methods
Authors:
Jordan Cambe,
Sebastian Grauwin,
Patrick Flandrin,
Pablo Jensen
Abstract:
Description of temporal networks and detection of dynamic communities have been hot topics of research for the last decade. However, no consensual answers to these challenges have been found due to the complexity of the task. Static communities are not well defined objects, and adding a temporal dimension renders the description even more difficult. In this article, we propose a coherent temporal…
▽ More
Description of temporal networks and detection of dynamic communities have been hot topics of research for the last decade. However, no consensual answers to these challenges have been found due to the complexity of the task. Static communities are not well defined objects, and adding a temporal dimension renders the description even more difficult. In this article, we propose a coherent temporal clustering method: the Best Combination of Local Communities (BCLC). Our method aims at finding a good balance between two conflicting objectives : closely following the short time evolution by finding optimal partitions at each time step and temporal smoothness, which privileges historical continuity.
△ Less
Submitted 2 December, 2020;
originally announced December 2020.
-
Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction
Authors:
Franck Cassez,
Peter Gjøl Jensen,
Kim Guldstrand Larsen
Abstract:
We address the safety verification and synthesis problems for real-time systems. We introduce real-time programs that are made of instructions that can perform assignments to discrete and real-valued variables. They are general enough to capture interesting classes of timed systems such as timed automata, stopwatch automata, time(d) Petri nets and hybrid automata.
We propose a semi-algorithm usi…
▽ More
We address the safety verification and synthesis problems for real-time systems. We introduce real-time programs that are made of instructions that can perform assignments to discrete and real-valued variables. They are general enough to capture interesting classes of timed systems such as timed automata, stopwatch automata, time(d) Petri nets and hybrid automata.
We propose a semi-algorithm using refinement of trace abstractions to solve both the reachability verification problem and the parameter synthesis problem for real-time programs.
All of the algorithms proposed have been implemented and we have conducted a series of experiments, comparing the performance of our new approach to state-of-the-art tools in classical reachability, robustness analysis and parameter synthesis for timed systems. We show that our new method provides solutions to problems which are unsolvable by the current state-of-the-art tools.
△ Less
Submitted 20 July, 2020;
originally announced July 2020.
-
It's Time to Play Safe: Shield Synthesis for Timed Systems
Authors:
Roderick Bloem,
Peter Gjøl Jensen,
Bettina Könighofer,
Kim Guldstrand Larsen,
Florian Lorber,
Alexander Palmisano
Abstract:
Erroneous behaviour in safety critical real-time systems may inflict serious consequences. In this paper, we show how to synthesize timed shields from timed safety properties given as timed automata. A timed shield enforces the safety of a running system while interfering with the system as little as possible. We present timed post-shields and timed pre-shields. A timed pre-shield is placed before…
▽ More
Erroneous behaviour in safety critical real-time systems may inflict serious consequences. In this paper, we show how to synthesize timed shields from timed safety properties given as timed automata. A timed shield enforces the safety of a running system while interfering with the system as little as possible. We present timed post-shields and timed pre-shields. A timed pre-shield is placed before the system and provides a set of safe outputs. This set restricts the choices of the system. A timed post-shield is implemented after the system. It monitors the system and corrects the system's output only if necessary. We further extend the timed post-shield construction to provide a guarantee on the recovery phase, i.e., the time between a specification violation and the point at which full control can be handed back to the system. In our experimental results, we use timed post-shields to ensure the safety in a reinforcement learning setting for controlling a platoon of cars, during the learning and execution phase, and study the effect.
△ Less
Submitted 30 June, 2020;
originally announced June 2020.
-
Approximating Euclidean by Imprecise Markov Decision Processes
Authors:
Manfred Jaeger,
Giorgio Bacci,
Giovanni Bacci,
Kim Guldstrand Larsen,
Peter Gjøl Jensen
Abstract:
Euclidean Markov decision processes are a powerful tool for modeling control problems under uncertainty over continuous domains. Finite state imprecise, Markov decision processes can be used to approximate the behavior of these infinite models. In this paper we address two questions: first, we investigate what kind of approximation guarantees are obtained when the Euclidean process is approximated…
▽ More
Euclidean Markov decision processes are a powerful tool for modeling control problems under uncertainty over continuous domains. Finite state imprecise, Markov decision processes can be used to approximate the behavior of these infinite models. In this paper we address two questions: first, we investigate what kind of approximation guarantees are obtained when the Euclidean process is approximated by finite state approximations induced by increasingly fine partitions of the continuous state space. We show that for cost functions over finite time horizons the approximations become arbitrarily precise. Second, we use imprecise Markov decision process approximations as a tool to analyse and validate cost functions and strategies obtained by reinforcement learning. We find that, on the one hand, our new theoretical results validate basic design choices of a previously proposed reinforcement learning approach. On the other hand, the imprecise Markov decision process approximations reveal some inaccuracies in the learned cost functions.
△ Less
Submitted 26 June, 2020;
originally announced June 2020.
-
Adaptive control for hindlimb locomotion in a simulated mouse through temporal cerebellar learning
Authors:
T. P. Jensen,
S. Tata,
A. J. Ijspeert,
S. Tolu
Abstract:
Human beings and other vertebrates show remarkable performance and efficiency in locomotion, but the functioning of their biological control systems for locomotion is still only partially understood. The basic patterns and timing for locomotion are provided by a central pattern generator (CPG) in the spinal cord. The cerebellum is known to play an important role in adaptive locomotion. Recent stud…
▽ More
Human beings and other vertebrates show remarkable performance and efficiency in locomotion, but the functioning of their biological control systems for locomotion is still only partially understood. The basic patterns and timing for locomotion are provided by a central pattern generator (CPG) in the spinal cord. The cerebellum is known to play an important role in adaptive locomotion. Recent studies have given insights into the error signals responsible for driving the cerebellar adaptation in locomotion. However, the question of how the cerebellar output influences the gait remains unanswered. We hypothesize that the cerebellar correction is applied to the pattern formation part of the CPG. Here, a bio-inspired control system for adaptive locomotion of the musculoskeletal system of the mouse is presented, where a cerebellar-like module adapts the step time by using the double support interlimb asymmetry as a temporal teaching signal. The control system is tested on a simulated mouse in a split-belt treadmill setup similar to those used in experiments with real mice. The results show adaptive locomotion behavior in the interlimb parameters similar to that seen in humans and mice. The control system adaptively decreases the double support asymmetry that occurs due to environmental perturbations in the split-belt protocol.
△ Less
Submitted 17 February, 2020; v1 submitted 7 February, 2020;
originally announced February 2020.
-
Stubborn Set Reduction for Two-Player Reachability Games
Authors:
Frederik Meyer Bønneland,
Peter Gjøl Jensen,
Kim Guldstrand Larsen,
Marco Muñiz,
Jiří Srba
Abstract:
Partial order reductions have been successfully applied to model checking of concurrent systems and practical applications of the technique show nontrivial reduction in the size of the explored state space. We present a theory of partial order reduction based on stubborn sets in the game-theoretical setting of 2-player games with reachability objectives. Our stubborn reduction allows us to prune t…
▽ More
Partial order reductions have been successfully applied to model checking of concurrent systems and practical applications of the technique show nontrivial reduction in the size of the explored state space. We present a theory of partial order reduction based on stubborn sets in the game-theoretical setting of 2-player games with reachability objectives. Our stubborn reduction allows us to prune the interleaving behaviour of both players in the game, and we formally prove its correctness on the class of games played on general labelled transition systems. We then instantiate the framework to the class of weighted Petri net games with inhibitor arcs and provide its efficient implementation in the model checker TAPAAL. Finally, we evaluate our stubborn reduction on several case studies and demonstrate its efficiency.
△ Less
Submitted 17 March, 2021; v1 submitted 20 December, 2019;
originally announced December 2019.
-
What do we see when we look at networks
Authors:
Tommaso Venturini,
Mathieu Jacomy,
Pablo Jensen
Abstract:
It is an increasingly common practice in several natural and social sciences to rely on network visualisations both as heuristic tools to get a first overview of relational datasets and as a way to offer an illustration of network analysis findings. Such practice has been around long enough to prove that scholars find it useful to project networks on a space and to observe their visual appearance…
▽ More
It is an increasingly common practice in several natural and social sciences to rely on network visualisations both as heuristic tools to get a first overview of relational datasets and as a way to offer an illustration of network analysis findings. Such practice has been around long enough to prove that scholars find it useful to project networks on a space and to observe their visual appearance as a proxy for their topological features. Yet this practice remains largely based on intuition and no investigation has been carried out on to render explicit the foundations and limits of this type of exploration. This paper provides such analysis, by conceptually and mathematically deconstructing the functioning of force-directed layouts and by providing a step-by-step guidance on how to make networks readable and interpret their visual features.
△ Less
Submitted 6 May, 2019;
originally announced May 2019.
-
Verification of High-Level Transformations with Inductive Refinement Types
Authors:
Ahmad Salim Al-Sibahi,
Thomas P. Jensen,
Aleksandar S. Dimovski,
Andrzej Wasowski
Abstract:
High-level transformation languages like Rascal include expressive features for manipulating large abstract syntax trees: first-class traversals, expressive pattern matching, backtracking and generalized iterators. We present the design and implementation of an abstract interpretation tool, Rabit, for verifying inductive type and shape properties for transformations written in such languages. We d…
▽ More
High-level transformation languages like Rascal include expressive features for manipulating large abstract syntax trees: first-class traversals, expressive pattern matching, backtracking and generalized iterators. We present the design and implementation of an abstract interpretation tool, Rabit, for verifying inductive type and shape properties for transformations written in such languages. We describe how to perform abstract interpretation based on operational semantics, specifically focusing on the challenges arising when analyzing the expressive traversals and pattern matching. Finally, we evaluate Rabit on a series of transformations (normalization, desugaring, refactoring, code generators, type inference, etc.) showing that we can effectively verify stated properties.
△ Less
Submitted 17 September, 2018;
originally announced September 2018.
-
Evolutions of Individuals Use of Lyon's Bike Sharing System
Authors:
Jordan Cambe,
Patrice Abry,
Julien Barnier,
Pierre Borgnat,
Marie Vogel,
Pablo Jensen
Abstract:
Bike sharing systems (BSS) have been growing fast all over the world, along with the number of articles analyzing such systems. However the lack of temporally large trip databases has limited the analysis of BSS users behavior in the long term. This article studies the V'elo'v - a BSS located in Lyon, France - subscribers commitment in the long term and the evolution of their usage over time. Usin…
▽ More
Bike sharing systems (BSS) have been growing fast all over the world, along with the number of articles analyzing such systems. However the lack of temporally large trip databases has limited the analysis of BSS users behavior in the long term. This article studies the V'elo'v - a BSS located in Lyon, France - subscribers commitment in the long term and the evolution of their usage over time. Using a 5-year dataset covering 121,000 long-term distinct users, we show the heterogeneous individual trajectories masked by the overall system stability. Users follow two main trajectories: about 60% remain in the system for at most one year, showing a low median activity (47 trips); the remaining 40% correspond to more active users (median activity of 96 trips in their first year) that remain continuously active for several years (mean time = 2.9 years). This latter class exhibits a relatively stable activity, decreasing slightly over the years. We show that middle-aged, male and urban users are over represented among the 'stable' users.
△ Less
Submitted 2 September, 2018; v1 submitted 30 March, 2018;
originally announced March 2018.
-
A Public Image Database for Benchmark of Plant Seedling Classification Algorithms
Authors:
Thomas Mosgaard Giselsson,
Rasmus Nyholm Jørgensen,
Peter Kryger Jensen,
Mads Dyrmann,
Henrik Skov Midtiby
Abstract:
A database of images of approximately 960 unique plants belonging to 12 species at several growth stages is made publicly available. It comprises annotated RGB images with a physical resolution of roughly 10 pixels per mm. To standardise the evaluation of classification results obtained with the database, a benchmark based on $f_{1}$ scores is proposed. The dataset is available at https://vision.e…
▽ More
A database of images of approximately 960 unique plants belonging to 12 species at several growth stages is made publicly available. It comprises annotated RGB images with a physical resolution of roughly 10 pixels per mm. To standardise the evaluation of classification results obtained with the database, a benchmark based on $f_{1}$ scores is proposed. The dataset is available at https://vision.eng.au.dk/plant-seedlings-dataset
△ Less
Submitted 15 November, 2017;
originally announced November 2017.
-
Network analysis of Japanese global business using quasi-exhaustive micro-data for Japanese overseas subsidiaries
Authors:
Jean-Pascal Bassino,
Pablo Jensen,
Matteo Morini
Abstract:
Network analysis techniques remain rarely used for understanding international management strategies. Our paper highlights their value as research tool in this field of social science using a large set of micro-data (20,000) to investigate the presence of networks of subsidiaries overseas. The research question is the following: to what extent did/do global Japanese business networks mirror organi…
▽ More
Network analysis techniques remain rarely used for understanding international management strategies. Our paper highlights their value as research tool in this field of social science using a large set of micro-data (20,000) to investigate the presence of networks of subsidiaries overseas. The research question is the following: to what extent did/do global Japanese business networks mirror organizational models existing in Japan? In particular, we would like to assess how much the links building such business networks are shaped by the structure of big-size industrial conglomerates of firms headquartered in Japan, also described as HK. The major part of the academic community in the fields of management and industrial organization considers that formal links can be identified among firms belonging to HK. Miwa and Ramseyer (Miwa and Ramseyer 2002; Ramseyer 2006) challenge this claim and argue that the evidence supporting the existence of HK is weak. So far, quantitative empirical investigation has been conducted exclusively using data for firms incorporated in Japan. Our study tests the Miwa-Ramseyer hypothesis (MRH) at the global level using information on the network of Japanese subsidiaries overseas. The results obtained lead us to reject the MRH for the global dataset, as well as for subsets restricted to the two main regions/countries of destination of Japanese foreign investment. The results are robust to the weighting of the links, with different specifications, and are observed in most industrial sectors. The global Japanese network became increasingly complex during the late 20th century as a consequence of increase in the number of Japanese subsidiaries overseas but the key features of the structure remained rather stable. We draw implications of these findings for academic research in international business and for professionals involved in corporate strategy.
△ Less
Submitted 18 July, 2017;
originally announced July 2017.
-
Revealing evolutions in dynamical networks
Authors:
Matteo Morini,
Patrick Flandrin,
Eric Fleury,
Tommaso Venturini,
Pablo Jensen
Abstract:
The description of large temporal graphs requires effective methods giving an appropriate mesoscopic partition. Many approaches exist today to detect communities in static graphs. However, many networks are intrinsically dynamical, and need a dynamic mesoscale description, as interpreting them as static networks would cause loss of important information. For example, dynamic processes such as the…
▽ More
The description of large temporal graphs requires effective methods giving an appropriate mesoscopic partition. Many approaches exist today to detect communities in static graphs. However, many networks are intrinsically dynamical, and need a dynamic mesoscale description, as interpreting them as static networks would cause loss of important information. For example, dynamic processes such as the emergence of new scientific disciplines, their fusion, split or death need a mesoscopic description of the evolving network of scientific articles. There are two straightforward approaches to describe an evolving network using methods developed for static networks.
The first finds the community structure of the aggregated network; however, this approach discards most temporal information, and may lead to inappropriate descriptions, as very different dynamic data can give rise to the identical static graphs.
The opposite approach closely follows the evolutions and builds networks for successive time slices by selecting the relevant nodes and edges, the mesoscopic structure of each of these slices is found independently and the structures are connected to obtain a temporal description. By using an optimal structural description at each time slice, this method avoids the inertia of the aggregated approach. The inherent fuzziness of the communities leads to noise and artifacts.
Here, we present an approach that distinguishes real trends and noise in the mesoscopic description of data using the continuity of social evolutions. To be follow the dynamics, we compute partitions for each time slice, but to avoid transients generated by noise, we modify the community description at time t using the structures found at times t-1 and t+1. We show the relevance of our method on the analysis of a scientific network showing the birth of a new subfield, wavelet analysis.
△ Less
Submitted 7 July, 2017;
originally announced July 2017.
-
Detecting global bridges in networks
Authors:
Pablo Jensen,
Matteo Morini,
Marton Karsai,
Tommaso Venturini,
Alessandro Vespignani,
Mathieu Jacomy,
Jean-Philippe Cointet,
Pierre Merckle,
Eric Fleury
Abstract:
The identification of nodes occupying important positions in a network structure is crucial for the understanding of the associated real-world system. Usually, betweenness centrality is used to evaluate a node capacity to connect different graph regions. However, we argue here that this measure is not adapted for that task, as it gives equal weight to "local" centers (i.e. nodes of high degree cen…
▽ More
The identification of nodes occupying important positions in a network structure is crucial for the understanding of the associated real-world system. Usually, betweenness centrality is used to evaluate a node capacity to connect different graph regions. However, we argue here that this measure is not adapted for that task, as it gives equal weight to "local" centers (i.e. nodes of high degree central to a single region) and to "global" bridges, which connect different communities. This distinction is important as the roles of such nodes are different in terms of the local and global organisation of the network structure. In this paper we propose a decomposition of betweenness centrality into two terms, one highlighting the local contributions and the other the global ones. We call the latter bridgeness centrality and show that it is capable to specifically spot out global bridges. In addition, we introduce an effective algorithmic implementation of this measure and demonstrate its capability to identify global bridges in air transportation and scientific collaboration networks.
△ Less
Submitted 29 September, 2015; v1 submitted 28 September, 2015;
originally announced September 2015.
-
On the emergence of an "intention field" for socially cohesive agents
Authors:
Jean-Philippe Bouchaud,
Christian Borghesi,
Pablo Jensen
Abstract:
We argue that when a social convergence mechanism exists and is strong enough, one should expect the emergence of a well defined "field", i.e. a slowly evolving, local quantity around which individual attributes fluctuate in a finite range. This condensation phenomenon is well illustrated by the Deffuant-Weisbuch opinion model for which we provide a natural extension to allow for spatial heterogen…
▽ More
We argue that when a social convergence mechanism exists and is strong enough, one should expect the emergence of a well defined "field", i.e. a slowly evolving, local quantity around which individual attributes fluctuate in a finite range. This condensation phenomenon is well illustrated by the Deffuant-Weisbuch opinion model for which we provide a natural extension to allow for spatial heterogeneities. We show analytically and numerically that the resulting dynamics of the emergent field is a noisy diffusion equation that has a slow dynamics. This random diffusion equation reproduces the long-ranged, logarithmic decrease of the correlation of spatial voting patterns empirically found in [1, 2]. Interestingly enough, we find that when the social cohesion mechanism becomes too weak, cultural cohesion breaks down completely, in the sense that the distribution of intentions/opinions becomes infinitely broad. No emerging field exists in this case. All these analytical findings are confirmed by numerical simulations of an agent-based model.
△ Less
Submitted 19 January, 2014; v1 submitted 4 November, 2013;
originally announced November 2013.
-
Emergence of hierarchy in cost driven growth of spatial networks
Authors:
Rémi Louf,
Pablo Jensen,
Marc Barthelemy
Abstract:
One of the most important features of spatial networks such as transportation networks, power grids, Internet, neural networks, is the existence of a cost associated with the length of links. Such a cost has a profound influence on the global structure of these networks which usually display a hierarchical spatial organization. The link between local constraints and large-scale structure is howeve…
▽ More
One of the most important features of spatial networks such as transportation networks, power grids, Internet, neural networks, is the existence of a cost associated with the length of links. Such a cost has a profound influence on the global structure of these networks which usually display a hierarchical spatial organization. The link between local constraints and large-scale structure is however not elucidated and we introduce here a generic model for the growth of spatial networks based on the general concept of cost benefit analysis. This model depends essentially on one single scale and produces a family of networks which range from the star-graph to the minimum spanning tree and which are characterised by a continuously varying exponent. We show that spatial hierarchy emerges naturally, with structures composed of various hubs controlling geographically separated service areas, and appears as a large-scale consequence of local cost-benefit considerations. Our model thus provides the first building blocks for a better understanding of the evolution of spatial networks and their properties. We also find that, surprisingly, the average detour is minimal in the intermediate regime, as a result of a large diversity in link lengths. Finally, we estimate the important parameters for various world railway networks and find that --remarkably-- they all fall in this intermediate regime, suggesting that spatial hierarchy is a crucial feature for these systems and probably possesses an important evolutionary advantage.
△ Less
Submitted 14 May, 2013;
originally announced May 2013.
-
Complex Systems Science: Dreams of Universality, Reality of Interdisciplinarity
Authors:
Sebastian Grauwin,
Guillaume Beslon,
Eric Fleury,
Sara Franceschelli,
Céline Robardet,
Jean-Baptiste Rouquier,
Pablo Jensen
Abstract:
Using a large database (~ 215 000 records) of relevant articles, we empirically study the "complex systems" field and its claims to find universal principles applying to systems in general. The study of references shared by the papers allows us to obtain a global point of view on the structure of this highly interdisciplinary field. We show that its overall coherence does not arise from a universa…
▽ More
Using a large database (~ 215 000 records) of relevant articles, we empirically study the "complex systems" field and its claims to find universal principles applying to systems in general. The study of references shared by the papers allows us to obtain a global point of view on the structure of this highly interdisciplinary field. We show that its overall coherence does not arise from a universal theory but instead from computational techniques and fruitful adaptations of the idea of self-organization to specific systems. We also find that communication between different disciplines goes through specific "trading zones", ie sub-communities that create an interface around specific tools (a DNA microchip) or concepts (a network).
△ Less
Submitted 11 June, 2012;
originally announced June 2012.
-
Opinion groups formation and dynamics : structures that last from non lasting entities
Authors:
Sébastian Grauwin,
Pablo Jensen
Abstract:
We extend simple opinion models to obtain stable but continuously evolving communities. Our scope is to meet a challenge raised by sociologists of generating "structures that last from non lasting entities". We achieve this by introducing two kinds of noise on a standard opinion model. First, agents may interact with other agents even if their opinion difference is large. Second, agents randomly c…
▽ More
We extend simple opinion models to obtain stable but continuously evolving communities. Our scope is to meet a challenge raised by sociologists of generating "structures that last from non lasting entities". We achieve this by introducing two kinds of noise on a standard opinion model. First, agents may interact with other agents even if their opinion difference is large. Second, agents randomly change their opinion at a constant rate. We show that for a large range of control parameters, our model yields stable and fluctuating polarized states, where the composition and mean opinion of the emerging groups is fluctuating over time.
△ Less
Submitted 7 June, 2012; v1 submitted 5 June, 2012;
originally announced June 2012.
-
Characterizing the speed and paths of shared bicycles in Lyon
Authors:
Pablo Jensen,
Jean-Baptiste Rouquier,
Nicolas Ovtracht,
Céline Robardet
Abstract:
Thanks to numerical data gathered by Lyon's shared bicycling system Vélo'v, we are able to analyze 11.6 millions bicycle trips, leading to the first robust characterization of urban bikers' behaviors. We show that bicycles outstrip cars in downtown Lyon, by combining high speed and short paths.These data also allows us to calculate Vélo'v fluxes on all streets, pointing to interesting locations fo…
▽ More
Thanks to numerical data gathered by Lyon's shared bicycling system Vélo'v, we are able to analyze 11.6 millions bicycle trips, leading to the first robust characterization of urban bikers' behaviors. We show that bicycles outstrip cars in downtown Lyon, by combining high speed and short paths.These data also allows us to calculate Vélo'v fluxes on all streets, pointing to interesting locations for bike paths.
△ Less
Submitted 24 November, 2010;
originally announced November 2010.