-
Editing Mesh Sequences with Varying Connectivity
Authors:
Filip Hácha,
Jan Dvořák,
Zuzana Káčereková,
Libor Váša
Abstract:
Time-varying connectivity of triangle mesh sequences leads to substantial difficulties in their processing. Unlike editing sequences with constant connectivity, editing sequences with varying connectivity requires addressing the problem of temporal correspondence between the frames of the sequence. We present a method for time-consistent editing of triangle mesh sequences with varying connectivity…
▽ More
Time-varying connectivity of triangle mesh sequences leads to substantial difficulties in their processing. Unlike editing sequences with constant connectivity, editing sequences with varying connectivity requires addressing the problem of temporal correspondence between the frames of the sequence. We present a method for time-consistent editing of triangle mesh sequences with varying connectivity using sparse temporal correspondence, which can be obtained using existing methods. Our method includes a deformation model based on the usage of the sparse temporal correspondence, which is suitable for the temporal propagation of user-specified deformations of the edited surface with respect to the shape and true topology of the surface while preserving the individual connectivity of each frame. Since there is no other method capable of comparable types of editing on time-varying meshes, we compare our method and the proposed deformation model with a baseline approach and demonstrate the benefits of our framework.
△ Less
Submitted 8 May, 2024;
originally announced May 2024.
-
Human-AI Interaction in Industrial Robotics: Design and Empirical Evaluation of a User Interface for Explainable AI-Based Robot Program Optimization
Authors:
Benjamin Alt,
Johannes Zahn,
Claudius Kienle,
Julia Dvorak,
Marvin May,
Darko Katic,
Rainer Jäkel,
Tobias Kopp,
Michael Beetz,
Gisela Lanza
Abstract:
While recent advances in deep learning have demonstrated its transformative potential, its adoption for real-world manufacturing applications remains limited. We present an Explanation User Interface (XUI) for a state-of-the-art deep learning-based robot program optimizer which provides both naive and expert users with different user experiences depending on their skill level, as well as Explainab…
▽ More
While recent advances in deep learning have demonstrated its transformative potential, its adoption for real-world manufacturing applications remains limited. We present an Explanation User Interface (XUI) for a state-of-the-art deep learning-based robot program optimizer which provides both naive and expert users with different user experiences depending on their skill level, as well as Explainable AI (XAI) features to facilitate the application of deep learning methods in real-world applications. To evaluate the impact of the XUI on task performance, user satisfaction and cognitive load, we present the results of a preliminary user survey and propose a study design for a large-scale follow-up study.
△ Less
Submitted 30 April, 2024;
originally announced April 2024.
-
BANSAI: Towards Bridging the AI Adoption Gap in Industrial Robotics with Neurosymbolic Programming
Authors:
Benjamin Alt,
Julia Dvorak,
Darko Katic,
Rainer Jäkel,
Michael Beetz,
Gisela Lanza
Abstract:
Over the past decade, deep learning helped solve manipulation problems across all domains of robotics. At the same time, industrial robots continue to be programmed overwhelmingly using traditional program representations and interfaces. This paper undertakes an analysis of this "AI adoption gap" from an industry practitioner's perspective. In response, we propose the BANSAI approach (Bridging the…
▽ More
Over the past decade, deep learning helped solve manipulation problems across all domains of robotics. At the same time, industrial robots continue to be programmed overwhelmingly using traditional program representations and interfaces. This paper undertakes an analysis of this "AI adoption gap" from an industry practitioner's perspective. In response, we propose the BANSAI approach (Bridging the AI Adoption Gap via Neurosymbolic AI). It systematically leverages principles of neurosymbolic AI to establish data-driven, subsymbolic program synthesis and optimization in modern industrial robot programming workflow. BANSAI conceptually unites several lines of prior research and proposes a path toward practical, real-world validation.
△ Less
Submitted 21 April, 2024;
originally announced April 2024.
-
Vibronic dynamics in electron continuum -- iterative solvers
Authors:
Martina Ćosićová,
Jan Dvořák,
Martin Čížek
Abstract:
We present a general two-dimensional model of conical intersection between metastable states that are vibronically coupled not only directly but also indirectly through a virtual electron in the autodetachment continuum. This model is used as a test ground for design and comparison of iterative solvers for resonance dynamics in low-energy electron-molecule collisions. Two Krylov-subspace methods w…
▽ More
We present a general two-dimensional model of conical intersection between metastable states that are vibronically coupled not only directly but also indirectly through a virtual electron in the autodetachment continuum. This model is used as a test ground for design and comparison of iterative solvers for resonance dynamics in low-energy electron-molecule collisions. Two Krylov-subspace methods with various preconditioning schemes are compared. To demonstrate the applicability of the proposed methods on even larger models, we also test the performance of one of the methods on a recent model of vibrational excitation of CO$_2$ by electron impact based on three vibronically-coupled discrete states in continuum (Renner-Teller doublet of shape resonances coupled to sigma virtual state) including four vibrational degrees of freedom. Two-dimensional electron energy-loss spectra resulting from the electron-molecule scattering within the models are briefly discussed.
△ Less
Submitted 25 July, 2023;
originally announced July 2023.
-
Current-induced bond rupture in single-molecule junctions: Effects of multiple electronic states and vibrational modes
Authors:
Yaling Ke,
Jan Dvořák,
Martin Čížek,
Raffaele Borrelli,
Michael Thoss
Abstract:
Current-induced bond rupture is a fundamental process in nanoelectronic architectures such as molecular junctions and in scanning tunneling microscopy measurements of molecules at surfaces. The understanding of the underlying mechanisms is important for the design of molecular junctions that are stable at higher bias voltages and is a prerequisite for further developments in the field of current-i…
▽ More
Current-induced bond rupture is a fundamental process in nanoelectronic architectures such as molecular junctions and in scanning tunneling microscopy measurements of molecules at surfaces. The understanding of the underlying mechanisms is important for the design of molecular junctions that are stable at higher bias voltages and is a prerequisite for further developments in the field of current-induced chemistry. In this work, we analyse the mechanisms of current-induced bond rupture employing a recently developed method, which combines the hierarchical equations of motion approach in twin space with the matrix product state formalism, and allows accurate, fully quantum mechanical simulations of the complex bond rupture dynamics. Extending previous work [J. Chem. Phys. 154, 234702 (2021)], we consider specifically the effect of multiple electronic states and multiple vibrational modes. The results obtained for a series of models of increasing complexity show the importance of vibronic coupling between different electronic states of the charged molecule, which can enhance the dissociation rate at low bias voltages profoundly.
△ Less
Submitted 19 April, 2023;
originally announced April 2023.
-
Iterative construction of the optimal sunspot number series
Authors:
Michal Švanda,
Martina Pavelková,
Jiří Dvořák,
Božena Solarová
Abstract:
The relative number of sunspots represents the longest evidence describing the level of solar activity. As such, its use goes beyond solar physics, e.g. towards climate research. The construction of a single representative series is a delicate task which involves a combination of observation of many observers. We propose a new iterative algorithm that allows to construct a target series of relativ…
▽ More
The relative number of sunspots represents the longest evidence describing the level of solar activity. As such, its use goes beyond solar physics, e.g. towards climate research. The construction of a single representative series is a delicate task which involves a combination of observation of many observers. We propose a new iterative algorithm that allows to construct a target series of relative sunspot number of a hypothetical stable observer by optimally combining series obtained by many observers. We show that our methodology provides us with results that are comparable with recent reconstructions of both sunspot number and group number. Furthermore, the methodology accounts for the possible non-solar changes of observers' time series such as gradually changing observing conditions or slow change in the observers vision. It also provides us with reconstruction uncertainties. We apply the methodology to a limited sample of observations by ČESLOPOL network and discuss its properties and limitations.
△ Less
Submitted 7 November, 2022;
originally announced November 2022.
-
Nonparametric testing of the covariate significance for spatial point patterns under the presence of nuisance covariates
Authors:
Jiří Dvořák,
Tomáš Mrkvička
Abstract:
Determining the relevant spatial covariates is one of the most important problems in the analysis of point patterns. Parametric methods may lead to incorrect conclusions, especially when the model of interactions between points is wrong. Therefore, we propose a fully nonparametric approach to testing significance of a covariate, taking into account the possible effects of nuisance covariates. Our…
▽ More
Determining the relevant spatial covariates is one of the most important problems in the analysis of point patterns. Parametric methods may lead to incorrect conclusions, especially when the model of interactions between points is wrong. Therefore, we propose a fully nonparametric approach to testing significance of a covariate, taking into account the possible effects of nuisance covariates. Our tests match the nominal significance level, and their powers are comparable with the powers of parametric tests in cases where both the model for intensity function and the model for interactions are correct. When the parametric model for the intensity function is wrong, our tests achieve higher powers. The proposed methods rely on Monte Carlo testing and take advantage of the newly introduced covariate-weighted residual measure. We also define a correlation coefficient between a point process and a covariate and a partial correlation coefficient quantifying the dependence between a point process and a covariate of interest while removing the influence of nuisance covariates.
△ Less
Submitted 11 October, 2022;
originally announced October 2022.
-
binspp: An R Package for Bayesian Inference for Neyman-Scott Point Processes with Complex Inhomogeneity Structure
Authors:
Jiří Dvořák,
Radim Remeš,
Ladislav Beránek,
Tomáš Mrkvička
Abstract:
The Neyman-Scott point process is a widely used point process model which is easily interpretable and easily extendable to include various types of inhomogeneity. The inference for such complex models is then complicated and fast methods, such as minimum contrast method or composite likelihood approach do not provide accurate estimates or fail completely. Therefore, we introduce Bayesian MCMC appr…
▽ More
The Neyman-Scott point process is a widely used point process model which is easily interpretable and easily extendable to include various types of inhomogeneity. The inference for such complex models is then complicated and fast methods, such as minimum contrast method or composite likelihood approach do not provide accurate estimates or fail completely. Therefore, we introduce Bayesian MCMC approach for the inference of Neymann-Scott point process models with inhomogeneity in any or all of the following model components: process of cluster centers, mean number of points in a cluster, spread of the clusters. We also extend the Neyman-Scott point process to the case of overdispersed or underdispersed cluster sizes and provide a Bayesian MCMC algorithm for its inference. The R package binspp provides these estimation methods in an easy to handle implementation, with detailed graphical output including traceplots for all model parameters and further diagnostic plots. All inhomogeneities are modelled by spatial covariates and the Bayesian inference for the corresponding regression parameters is provided.
△ Less
Submitted 16 May, 2022;
originally announced May 2022.
-
Advancing the Pareto front for thin-film materials using a self-driving laboratory
Authors:
Benjamin P. MacLeod,
Fraser G. L. Parlane,
Connor C. Rupnow,
Kevan E. Dettelbach,
Michael S. Elliott,
Thomas D. Morrissey,
Ted H. Haley,
Oleksii Proskurin,
Michael B. Rooney,
Nina Taherimakhsousi,
David J. Dvorak,
Hsi N. Chiu,
Christopher E. B. Waizenegger,
Karry Ocean,
Mehrdad Mokhtari,
Curtis P. Berlinguette
Abstract:
Useful materials must satisfy multiple objectives, where the optimization of one objective is often at the expense of another. The Pareto front reports the optimal trade-offs between competing objectives. Here we report a self-driving laboratory, "Ada", that defines the Pareto front of conductivities and processing temperatures for palladium films formed by combustion synthesis. Ada identified pre…
▽ More
Useful materials must satisfy multiple objectives, where the optimization of one objective is often at the expense of another. The Pareto front reports the optimal trade-offs between competing objectives. Here we report a self-driving laboratory, "Ada", that defines the Pareto front of conductivities and processing temperatures for palladium films formed by combustion synthesis. Ada identified previously untested combustion synthesis conditions that resulted in the discovery of lower processing temperatures (below 200 °C) relative to the prior art for this technique (250 °C), a temperature difference that makes the coating of different commodity plastic materials possible (e.g., Nafion, polyethersulfone). These conditions enabled us to use combustion synthesis to spray coat uniform palladium films with moderate conductivity (1.1 $\times$ 10$^5$ S m$^{-1}$) at 191 °C. Spray coating at 226 °C yielded films with conductivities (2.0 $\times$ 10$^6$ S m$^{-1}$) comparable to those of sputtered films (2.0 to 5.8 $\times$ 10$^6$ S m$^{-1}$). This work shows how self-driving laboratories can discover materials satisfying multiple objectives.
△ Less
Submitted 26 November, 2021; v1 submitted 1 June, 2021;
originally announced June 2021.
-
Perfect monoids with zero and categories of $S$-acts
Authors:
Josef Dvořák,
Jan Žemlička
Abstract:
In this paper, we study the relationship between the two main categories of $S$-acts for a monoid $S$ with zero from the viewpoint of existence of projective covers and the equivalence is proven. Furthermore, monoids with zeros over which all compact acts are cyclic are characterized.
In this paper, we study the relationship between the two main categories of $S$-acts for a monoid $S$ with zero from the viewpoint of existence of projective covers and the equivalence is proven. Furthermore, monoids with zeros over which all compact acts are cyclic are characterized.
△ Less
Submitted 5 May, 2021;
originally announced May 2021.
-
Self-small products of abelian groups
Authors:
Josef Dvořák,
Jan Žemlička
Abstract:
For abelian groups $A, B$, $A$ is called $B$-small if the covariant functor $Hom(A,-)$ commutes with all direct sums $B^{(κ)}$ and $A$ is self-small provided it is $A$-small. The paper characterizes self-small products applying developed closure properties of the classes of relatively small groups. As a consequence, self-small products of finitely generated abelian groups are described.
For abelian groups $A, B$, $A$ is called $B$-small if the covariant functor $Hom(A,-)$ commutes with all direct sums $B^{(κ)}$ and $A$ is self-small provided it is $A$-small. The paper characterizes self-small products applying developed closure properties of the classes of relatively small groups. As a consequence, self-small products of finitely generated abelian groups are described.
△ Less
Submitted 22 February, 2021;
originally announced February 2021.
-
Autocompact objects of Ab5 categories
Authors:
Josef Dvořák,
Jan Žemlička
Abstract:
The aim of the paper is to describe autocompact objects in Ab5-categories, i.e. objects in cocomplete abelian categories with exactness preserving filtered colimits of exact sequences, whose covariant Hom-functor commutes with copowers of the object itself. A characterization of non-autocompact object is given, a general criterion of autocompactness of an object via the structure of its endomorphi…
▽ More
The aim of the paper is to describe autocompact objects in Ab5-categories, i.e. objects in cocomplete abelian categories with exactness preserving filtered colimits of exact sequences, whose covariant Hom-functor commutes with copowers of the object itself. A characterization of non-autocompact object is given, a general criterion of autocompactness of an object via the structure of its endomorphism ring is presented and a criterion of autocompactness of products is proven.
△ Less
Submitted 9 February, 2021;
originally announced February 2021.
-
Connected objects in categories of $S$-acts
Authors:
Josef Dvořák,
Jan Žemlička
Abstract:
In this paper, the categorial property of compactness of an object, i. e. commuting of the corresponding $\Hom$ functor with coproducts, is studied in categories of $S$-acts and the corresponding structural properties of compact $S$-acts are shown. In order to establish a general context and to unify the approach to both of the most important categories of $S$-acts, the notion of a concrete catego…
▽ More
In this paper, the categorial property of compactness of an object, i. e. commuting of the corresponding $\Hom$ functor with coproducts, is studied in categories of $S$-acts and the corresponding structural properties of compact $S$-acts are shown. In order to establish a general context and to unify the approach to both of the most important categories of $S$-acts, the notion of a concrete category with unique decomposition of objects is introduced and studied.
△ Less
Submitted 20 April, 2022; v1 submitted 25 September, 2020;
originally announced September 2020.
-
Testing the first-order separability hypothesis for spatio-temporal point patterns
Authors:
Mohammad Ghorbani,
Nafiseh Vafaei,
Jiří Dvořák,
Mari Myllymäki
Abstract:
First-order separability of a spatio-temporal point process plays a fundamental role in the analysis of spatio-temporal point pattern data. While it is often a convenient assumption that simplifies the analysis greatly, existing non-separable structures should be accounted for in the model construction. We propose three different tests to investigate this hypothesis as a step of preliminary data a…
▽ More
First-order separability of a spatio-temporal point process plays a fundamental role in the analysis of spatio-temporal point pattern data. While it is often a convenient assumption that simplifies the analysis greatly, existing non-separable structures should be accounted for in the model construction. We propose three different tests to investigate this hypothesis as a step of preliminary data analysis. The first two tests are exact or asymptotically exact for Poisson processes. The first test based on permutations and global envelopes allows us to detect at which spatial and temporal locations or lags the data deviate from the null hypothesis. The second test is a simple and computationally cheap $χ^2$-test. The third test is based on statistical reconstruction method and can be generally applied for non-Poisson processes. The performance of the first two tests is studied in a simulation study for Poisson and non-Poisson models. The third test is applied to the real data of the UK 2001 epidemic foot and mouth disease.
△ Less
Submitted 10 September, 2020;
originally announced September 2020.
-
Graphical tests of independence for general distributions
Authors:
Jiří Dvořák,
Tomáš Mrkvička
Abstract:
We propose two model-free, permutation-based tests of independence between a pair of random variables. The tests can be applied to samples from any bivariate distribution: continuous, discrete or mixture of those, with light tails or heavy tails, \ldots The tests take advantage of the recent development of the global envelope tests in the context of spatial statistics. Apart from the broad applica…
▽ More
We propose two model-free, permutation-based tests of independence between a pair of random variables. The tests can be applied to samples from any bivariate distribution: continuous, discrete or mixture of those, with light tails or heavy tails, \ldots The tests take advantage of the recent development of the global envelope tests in the context of spatial statistics. Apart from the broad applicability of the tests, their main benefit lies in the graphical interpretation of the test outcome: in case of rejection of the null hypothesis of independence, the combinations of quantiles in the two marginals are indicated for which the deviation from independence is significant. This information can be used to gain more insight into the properties of the observed data and as a guidance for proposing more complicated models and hypotheses. We assess the performance of the proposed tests in a simulation study and compare them to several well-established tests of independence. Furthermore, we illustrate the use of the tests and the interpretation of the test outcome in two real datasets consisting of meteorological reports (daily mean temperature and total daily precipitation, having an atomic component at 0 millimeters) and road accidents reports (type of road and the weather conditions, both variables having categorical distribution).
△ Less
Submitted 14 August, 2020;
originally announced August 2020.
-
Makespan minimization of Time-Triggered traffic on a TTEthernet network
Authors:
Jan Dvořák,
Martin Heller,
Zdeněk Hanzálek
Abstract:
The reliability of the increasing number of modern applications and systems strongly depends on interconnecting technology. Complex systems which usually need to exchange, among other things, multimedia data together with safety-related information, as in the automotive or avionic industry, for example, make demands on both the high bandwidth and the deterministic behavior of the communication. TT…
▽ More
The reliability of the increasing number of modern applications and systems strongly depends on interconnecting technology. Complex systems which usually need to exchange, among other things, multimedia data together with safety-related information, as in the automotive or avionic industry, for example, make demands on both the high bandwidth and the deterministic behavior of the communication. TTEthernet is a protocol that has been developed to face these requirements while providing the generous bandwidth of Ethernet up to 1\,Gbit/s and enhancing its determinism by the Time-Triggered message transmission which follows the predetermined schedule. Therefore, synthesizing a good schedule which meets all the real-time requirements is essential for the performance of the whole system.
In this paper, we study the concept of creating the communication schedules for the Time-Triggered traffic while minimizing its makespan. The aim is to maximize the uninterrupted gap for remaining traffic classes in each integration cycle. The provided scheduling algorithm, based on the Resource-Constrained Project Scheduling Problem formulation and the load balancing heuristic, obtains near-optimal (within 15\% of non-tight lower bound) solutions in 5 minutes even for industrial sized instances. The universality of the provided method allows easily modify or extend the problem statement according to particular industrial demands. Finally, the studied concept of makespan minimization is justified through the concept of scheduling with porosity according to the worst-case delay analysis of Event-Triggered traffic.
△ Less
Submitted 20 June, 2020;
originally announced June 2020.
-
Multi-Variant Time Constrained FlexRay Static Segment Scheduling
Authors:
Jan Dvořák,
Zdeněk Hanzálek
Abstract:
The FlexRay bus is a modern standard used in the automotive industry.It offers deterministic message transmission with zero jitter while using time-triggered scheduling in the static segment. When several vehicle variants (i.e. different models and their versions) share the same signal, the car manufacturers require to schedule such signal at the same time in all vehicle variants. This requirement…
▽ More
The FlexRay bus is a modern standard used in the automotive industry.It offers deterministic message transmission with zero jitter while using time-triggered scheduling in the static segment. When several vehicle variants (i.e. different models and their versions) share the same signal, the car manufacturers require to schedule such signal at the same time in all vehicle variants. This requirement simplifies the signal traceability and diagnostics in different vehicle variants using the same platform and simplifies reuse of components and tools.
In this paper, we propose a first fit based heuristic algorithm which creates the schedules for several vehicle variants at once, while transmitting a given signal at the same time in all the schedules. The scheduling algorithm also takes the time constraints as release dates and deadlines into account. Finally, different algorithm versions are compared on benchmark sets and low computational time demands are validated on large instances.
△ Less
Submitted 20 June, 2020;
originally announced June 2020.
-
Nonparametric testing of the dependence structure among points-marks-covariates in spatial point patterns
Authors:
Jiří Dvořák,
Tomáš Mrkvička,
Jorge Mateu,
Jonatan González
Abstract:
We investigate testing of the hypothesis of independence between a covariate and the marks in a marked point process. It would be rather straightforward if the (unmarked) point process were independent of the covariate and the marks. In practice, however, such an assumption is questionable and possible dependence between the point process and the covariate or the marks may lead to incorrect conclu…
▽ More
We investigate testing of the hypothesis of independence between a covariate and the marks in a marked point process. It would be rather straightforward if the (unmarked) point process were independent of the covariate and the marks. In practice, however, such an assumption is questionable and possible dependence between the point process and the covariate or the marks may lead to incorrect conclusions. Therefore, we propose to investigate the complete dependence structure in the triangle points--marks--covariates together. We take advantage of the recent development of the nonparametric random shift methods, namely the new variance correction approach, and propose tests of the null hypothesis of independence between the marks and the covariate and between the points and the covariate. We present a detailed simulation study showing the performance of the methods and provide two theorems establishing the appropriate form of the correction factors for the variance correction. Finally, we illustrate the use of the proposed methods in two real applications.
△ Less
Submitted 13 May, 2022; v1 submitted 3 May, 2020;
originally announced May 2020.
-
Revisiting the random shift approach for testing in spatial statistics
Authors:
Tomas Mrkvicka,
Jiri Dvorak,
Jonatan A. Gonzalez,
Jorge Mateu
Abstract:
We consider the problem of non-parametric testing of independence of two components of a stationary bivariate spatial process. In particular, we revisit the random shift approach that has become a standard method for testing the independent superposition hypothesis in spatial statistics, and it is widely used in a plethora of practical applications. However, this method has a problem of liberality…
▽ More
We consider the problem of non-parametric testing of independence of two components of a stationary bivariate spatial process. In particular, we revisit the random shift approach that has become a standard method for testing the independent superposition hypothesis in spatial statistics, and it is widely used in a plethora of practical applications. However, this method has a problem of liberality caused by breaking the marginal spatial correlation structure due to the toroidal correction. This indeed causes that the assumption of exchangability, which is essential for the Monte Carlo test to be exact, is not fulfilled.
We present a number of permutation strategies and show that the random shift with the variance correction brings a suitable improvement compared to the torus correction in the random field case. It reduces the liberality and achieves the largest power from all investigated variants. To obtain the variance for the variance correction method, several approaches were studied. The best results were achieved, for the sample covariance as the test statistics, with the correction factor $1/n$. This corresponds to the asymptotic order of the variance of the test statistics.
In the point process case, the problem of deviations from exchangeability is far more complex and we propose an alternative strategy based on the mean cross nearest-neighbor distance and torus correction. It reduces the liberality but achieves slightly lower power than the usual cross $K$-function. Therefore we recommend it, when the point patterns are clustered, where the cross $K$-function achieves liberality.
△ Less
Submitted 1 November, 2019;
originally announced November 2019.
-
Dopant-free molecular hole transport material that mediates a 20% power conversion efficiency in a perovskite solar cell
Authors:
Yang Cao,
Yunlong Li,
Thomas Morrissey,
Brian Lam,
Brian O. Patrick,
David J. Dvorak,
Zhicheng Xia,
Timothy L. Kelly,
Curtis P. Berlinguette
Abstract:
Organic molecular hole-transport materials (HTMs) are appealing for the scalable manufacture of perovskite solar cells (PSCs) because they are easier to reproducibly prepare in high purity than polymeric and inorganic HTMs. There is also a need to construct PSCs without dopants and additives to avoid formidable engineering and stability issues. We report here a power conversion efficiency (PCE) of…
▽ More
Organic molecular hole-transport materials (HTMs) are appealing for the scalable manufacture of perovskite solar cells (PSCs) because they are easier to reproducibly prepare in high purity than polymeric and inorganic HTMs. There is also a need to construct PSCs without dopants and additives to avoid formidable engineering and stability issues. We report here a power conversion efficiency (PCE) of 20.6% with a molecular HTM in an inverted (p-i-n) PSC without any dopants or interlayers. This new benchmark was made possible by the discovery that annealing a spiro-based dopant-free HTM (denoted DFH) containing redox-active triphenyl amine (TPA) units undergoes preferential molecular organization normal to the substrate. This structural order, governed by the strong intermolecular interactions of the DFH dioxane groups, affords high intrinsic hole mobility (1x10-3 cm2 V-1 s-1). Annealing films of DFH also enables the growth of large perovskite grains (up to 2 um) that minimize charge recombination in the PSC. DFH can also be isolated at a fraction of the cost of any other organic HTM.
△ Less
Submitted 12 August, 2019;
originally announced August 2019.
-
Self-driving laboratory for accelerated discovery of thin-film materials
Authors:
Benjamin P. MacLeod,
Fraser G. L. Parlane,
Thomas D. Morrissey,
Florian Häse,
Loïc M. Roch,
Kevan E. Dettelbach,
Raphaell Moreira,
Lars P. E. Yunker,
Michael B. Rooney,
Joseph R. Deeth,
Veronica Lai,
Gordon J. Ng,
Henry Situ,
Ray H. Zhang,
Michael S. Elliott,
Ted H. Haley,
David J. Dvorak,
Alán Aspuru-Guzik,
Jason E. Hein,
Curtis P. Berlinguette
Abstract:
Discovering and optimizing commercially viable materials for clean energy applications typically takes over a decade. Self-driving laboratories that iteratively design, execute, and learn from material science experiments in a fully autonomous loop present an opportunity to accelerate this research. We report here a modular robotic platform driven by a model-based optimization algorithm capable of…
▽ More
Discovering and optimizing commercially viable materials for clean energy applications typically takes over a decade. Self-driving laboratories that iteratively design, execute, and learn from material science experiments in a fully autonomous loop present an opportunity to accelerate this research. We report here a modular robotic platform driven by a model-based optimization algorithm capable of autonomously optimizing the optical and electronic properties of thin-film materials by modifying the film composition and processing conditions. We demonstrate this platform by using it to maximize the hole mobility of organic hole transport materials commonly used in perovskite solar cells and consumer electronics. This demonstration highlights the possibilities of using autonomous laboratories to discover organic and inorganic materials relevant to materials sciences and clean energy technologies.
△ Less
Submitted 10 March, 2020; v1 submitted 12 June, 2019;
originally announced June 2019.
-
Illumination depth
Authors:
Stanislav Nagy,
Jiří Dvořák
Abstract:
The concept of illumination bodies studied in convex geometry is used to amend the halfspace depth for multivariate data. The proposed notion of illumination enables finer resolution of the sample points, naturally breaks ties in the associated depth-based ordering, and introduces a depth-like function for points outside the convex hull of the support of the probability measure. The illumination i…
▽ More
The concept of illumination bodies studied in convex geometry is used to amend the halfspace depth for multivariate data. The proposed notion of illumination enables finer resolution of the sample points, naturally breaks ties in the associated depth-based ordering, and introduces a depth-like function for points outside the convex hull of the support of the probability measure. The illumination is, in a certain sense, dual to the halfspace depth mapping, and shares the majority of its beneficial properties. It is affine invariant, robust, uniformly consistent, and aligns well with common probability distributions.
△ Less
Submitted 10 May, 2019;
originally announced May 2019.
-
Quick inference for log Gaussian Cox processes with non-stationary underlying random fields
Authors:
Jiří Dvořák,
Jesper Møller,
Tomáš Mrkvička,
Samuel Soubeyrand
Abstract:
For point patterns observed in natura, spatial heterogeneity is more the rule than the exception. In numerous applications, this can be mathematically handled by the flexible class of log Gaussian Cox processes (LGCPs); in brief, a LGCP is a Cox process driven by an underlying log Gaussian random field (log GRF). This allows the representation of point aggregation, point vacuum and intermediate si…
▽ More
For point patterns observed in natura, spatial heterogeneity is more the rule than the exception. In numerous applications, this can be mathematically handled by the flexible class of log Gaussian Cox processes (LGCPs); in brief, a LGCP is a Cox process driven by an underlying log Gaussian random field (log GRF). This allows the representation of point aggregation, point vacuum and intermediate situations, with more or less rapid transitions between these different states depending on the properties of GRF. Very often, the covariance function of the GRF is assumed to be stationary. In this article, we give two examples where the sizes (that is, the number of points) and the spatial extents of point clusters are allowed to vary in space. To tackle such features, we propose parametric and semiparametric models of non-stationary LGCPs where the non-stationarity is included in both the mean function and the covariance function of the GRF. Thus, in contrast to most other work on inhomogeneous LGCPs, second-order intensity-reweighted stationarity is not satisfied and the usual two step procedure for parameter estimation based on e.g. composite likelihood does not easily apply. Instead we propose a fast three step procedure based on composite likelihood. We apply our modelling and estimation framework to analyse datasets dealing with fish aggregation in a reservoir and with dispersal of biological particles.
△ Less
Submitted 9 October, 2019; v1 submitted 28 March, 2019;
originally announced March 2019.
-
Multi-Variant Scheduling of Critical Time-Triggered Communication in Incremental Development Process: Application to FlexRay
Authors:
Jan Dvořák,
Zdeněk Hanzálek
Abstract:
The portfolio of models offered by car manufacturing groups often includes many variants (i.e., different car models and their versions). With such diversity in car models, variant management becomes a formidable task. Thus, there is an effort to keep the variants as close as possible. This simple requirement forms a big challenge in the area of communication protocols. When several vehicle varian…
▽ More
The portfolio of models offered by car manufacturing groups often includes many variants (i.e., different car models and their versions). With such diversity in car models, variant management becomes a formidable task. Thus, there is an effort to keep the variants as close as possible. This simple requirement forms a big challenge in the area of communication protocols. When several vehicle variants use the same signal, it is often required to simultaneously schedule such a signal in all vehicle variants. Furthermore, new vehicle variants are designed incrementally in such a way as to maintain backward compatibility with the older vehicles. Backward compatibility of time-triggered schedules reduces expenses relating to testing and fine-tuning of the components that interact with physical environment (e.g., electromagnetic compatibility issues). As this requirement provides for using the same platform, it simplifies signal traceability and diagnostics, across different vehicle variants, besides simplifying the reuse of components and tools.
This paper proposes an efficient and robust heuristic algorithm, which creates the schedules for internal communication of new vehicle variants. The algorithm provides for variant management by ensuring compatibility among the new variants, besides preserving backward compatibility with the preceding vehicle variants. Based on the results of the proposed algorithm, the impact of maintaining compatibility among new variants and of preserving backward compatibility with the preceding variants on the scheduling procedure is examined and discussed. Thanks to the execution time of the algorithm, which is less than one second, the network parameters like the frame length and cycle duration are explored to find their best choice concerning the schedule feasibility.
△ Less
Submitted 27 February, 2019;
originally announced February 2019.
-
Using Two Independent Channels with Gateway for FlexRay Static Segment Scheduling
Authors:
Jan Dvořák,
Zdeněk Hanzálek
Abstract:
The FlexRay bus is a communication standard used in the automotive industry. It offers a deterministic message transmission in the static segment following a time-triggered schedule. Even if its bandwidth is ten times higher than the bandwidth of CAN, its throughput limits are going to be reached in high-class car models soon. A solution that could postpone this problem is to use an efficient sche…
▽ More
The FlexRay bus is a communication standard used in the automotive industry. It offers a deterministic message transmission in the static segment following a time-triggered schedule. Even if its bandwidth is ten times higher than the bandwidth of CAN, its throughput limits are going to be reached in high-class car models soon. A solution that could postpone this problem is to use an efficient scheduling algorithm that exploits both channels of the FlexRay. The significant and often neglected feature that can theoretically double the bandwidth is the possibility to use two independent communication channels that can intercommunicate through the gateway.
In this paper, we propose a heuristic algorithm that decomposes the scheduling problem to the ECU-to-channel assignment subproblem which decides which channel the ECUs (Electronic Control Units) should be connected to and the channel scheduling subproblem which creates static segment communication schedules for both channels. The algorithm is able to create a schedule for cases where channels are configured in the independent mode as well as in the fault-tolerant mode or in cases where just part of the signals are fault-tolerant. Finally, the algorithm is evaluated on real data and synthesized data, and the relation between the portion of fault-tolerant signals and the number of allocated slots is presented.
△ Less
Submitted 14 February, 2018;
originally announced February 2018.
-
Intrinsic resolving power of XUV diffraction gratings measured with Fizeau interferometry
Authors:
Samuel Gleason,
Jonathan Manton,
Janet Sheung,
Taylor Byrum,
Cody Jensen,
Lingyun Jiang,
Joseph Dvorak,
Ignace Jarrige,
Peter Abbamonte
Abstract:
We introduce a method for using Fizeau interferometry to measure the intrinsic resolving power of a diffraction grating. This method is more accurate than traditional techniques based on a long-trace profiler (LTP), since it is sensitive to long-distance phase errors not revealed by a d-spacing map. We demonstrate 50,400 resolving power for a mechanically ruled XUV grating from Inprentus, Inc.
We introduce a method for using Fizeau interferometry to measure the intrinsic resolving power of a diffraction grating. This method is more accurate than traditional techniques based on a long-trace profiler (LTP), since it is sensitive to long-distance phase errors not revealed by a d-spacing map. We demonstrate 50,400 resolving power for a mechanically ruled XUV grating from Inprentus, Inc.
△ Less
Submitted 26 July, 2017;
originally announced July 2017.
-
Search for Oscillation of the Electron-Capture Decay Probability of $^{142}$Pm
Authors:
P. A. Vetter,
R. M. Clark,
J. Dvorak,
S. J. Freedman,
K. E. Gregorich,
H. B. Jeppesen,
D. Mittelberger,
M. Wiedeking
Abstract:
We have searched for time modulation of the electron capture decay probability of $^{142}$Pm in an attempt to confirm a recent claim from a group at the Gesellschaft für Schwerionenforschung (GSI). We produced $^{142}$Pm via the $^{124}$Sn($^{23}$Na, 5n)$^{142}$Pm reaction at the Berkeley 88-Inch Cyclotron with a bombardment time short compared to the reported modulation period. Isotope selectio…
▽ More
We have searched for time modulation of the electron capture decay probability of $^{142}$Pm in an attempt to confirm a recent claim from a group at the Gesellschaft für Schwerionenforschung (GSI). We produced $^{142}$Pm via the $^{124}$Sn($^{23}$Na, 5n)$^{142}$Pm reaction at the Berkeley 88-Inch Cyclotron with a bombardment time short compared to the reported modulation period. Isotope selection by the Berkeley Gas-filled Separator is followed by implantation and a long period of monitoring the $^{142}$Nd K$_α$ x-rays from the daughter. The decay time spectrum of the x-rays is well-described by a simple exponential and the measured half-life of 40.68(53) seconds is consistent with the accepted value. We observed no oscillatory modulation at the proposed frequency at a level 31 times smaller than that reported by Litvinov {\it et al.} (Phys. Lett. B 664 (2008) 162; arXiv:0801.2079 [nucl-ex]). A literature search for previous experiments that might have been sensitive to the reported modulation uncovered another example in $^{142}$Eu electron-capture decay. A reanalysis of the published data shows no oscillatory behavior.
△ Less
Submitted 3 July, 2008;
originally announced July 2008.
-
Depressed Surface Magnetization in Thin La0.8MnO3 Films
Authors:
M. A. DeLeon,
T. A. Tyson,
C. Dubourdieu,
A. Bossak,
J. Dvorak,
G. Bonfait
Abstract:
A systematic study the magnetization in La0.8.MnO3 films of thickness varying from ultra-thin to bulk-like has been conducted. The study reveals suppression of the bulk magnetization for films up to at least 1600 A. In addition, the surface (top 50 A) of all films exhibits depressed magnetization as observed by x-ray magnetic circular dichroism (XMCD). The reduced surface magnetization is attrib…
▽ More
A systematic study the magnetization in La0.8.MnO3 films of thickness varying from ultra-thin to bulk-like has been conducted. The study reveals suppression of the bulk magnetization for films up to at least 1600 A. In addition, the surface (top 50 A) of all films exhibits depressed magnetization as observed by x-ray magnetic circular dichroism (XMCD). The reduced surface magnetization is attributed to the coexistence of magnetic and nonmagnetic components of the same chemical composition.
△ Less
Submitted 19 October, 2007;
originally announced October 2007.
-
Electronic structure of single-crystalline Mg(x)Al(1-x)B(2)
Authors:
S. Schuppler,
E. Pellegrin,
N. Nuecker,
T. Mizokawa,
M. Merz,
D. A. Arena,
J. Dvorak,
Y. U. Idzerda,
D. -J. Huang,
C. -F. Cheng,
K. -P. Bohnen,
R. Heid,
P. Schweiss,
Th. Wolf
Abstract:
Polarization-dependent x-ray absorption spectroscopy at the B 1s edge of single-crystalline Mg(x)Al(1-x)B(2) reveals a strongly anisotropic electronic structure near the Fermi energy. Comparing spectra for superconducting compounds (x=0.9, 1.0) with those for the non-superconductor x=0.0 gives direct evidence on the importance of an in-plane spectral feature crossing E_F for the superconducting…
▽ More
Polarization-dependent x-ray absorption spectroscopy at the B 1s edge of single-crystalline Mg(x)Al(1-x)B(2) reveals a strongly anisotropic electronic structure near the Fermi energy. Comparing spectra for superconducting compounds (x=0.9, 1.0) with those for the non-superconductor x=0.0 gives direct evidence on the importance of an in-plane spectral feature crossing E_F for the superconducting properties of the diborides. Good agreement is found with the projected B 2p density of states from LDA band structure calculations.
△ Less
Submitted 10 May, 2002;
originally announced May 2002.
