arXiv subjects

Javier Ferrer

Publications and source records attributed to Javier Ferrer.

6 recordsLinked to original sources

arXiv2026

Adamantane plasma polymers: fluorine-free vacuum-processable triboelectric thin films for all-triboelectric nanogenerator configurations

Triboelectric nanogenerators (TENGs) are major drivers in on-site power generation for smart devices, enable self-powered sensors, and introduce novel catalytic processes. Here, we present the advantages of adamantane plasma layers as bivalently triboelectric surfaces capable of exhibiting both tribopositive and tribonegative character through simple modification of the synthesis conditions without the need for additives or functionalization. Fabrication facing or backfacing the plasma yields thin film polymers with different dielectric constants, Young's moduli, and secondary electron emission. The conformality, stability, and processability of the polymers enable direct implementation across solid-solid, solid-liquid, and hybrid piezo-triboelectric configurations. Additional texturization by buckling is shown to provide voltage and current outputs as high as 90 V cm2 and 0.6 uA for a 2.8 um (tribonegative) vs. 400 nm (tribopositive) combination. A maximum power density of 2.1 uW cm-2 is generated from salty droplets in a switch-electrode drop-TENG configuration employing a 500 nm-thick tribopositive adamantane polymer as the triboelectric surface. These layers have demonstrated outstanding durability, enabling more than 10^5 cycles in solid-solid nanogenerators and 10^4 droplet impacts in solid-liquid configurations. The synthetic method is environmentally friendly and industrially scalable, making the adamantane plasma polymer a reliable and competitive solution for thin film triboelectric materials.

cond-mat.mtrl-sci↗

arXiv2024

Automatizing Software Cognitive Complexity Reduction through Integer Linear Programming

Reducing the cognitive complexity of a piece of code to a given threshold is not trivial. Recently, we modeled software cognitive complexity reduction as an optimization problem and we proposed an approach to assist developers on this task. This approach enumerates sequences of code extraction refactoring operations until a stopping criterion is met. As a result, it returns the minimal sequence of code extraction refactoring operations that is able to reduce the cognitive complexity of a code to the given threshold. However, exhaustive enumeration algorithms fail to scale with the code size. The number of refactoring plans can grow exponentially with the number of lines of code. In this paper, instead of enumerating sequences of code extraction refactoring operations, we model the cognitive complexity reduction as an Integer Linear Programming problem. This opens the door to the use of efficient solvers to find optimal solutions in large programs.

cs.SE↗

arXiv2024

CMSA algorithm for solving the prioritized pairwise test data generation problem in software product lines

In Software Product Lines (SPLs) it may be difficult or even impossible to test all the products of the family because of the large number of valid feature combinations that may exist. Thus, we want to find a minimal subset of the product family that allows us to test all these possible combinations (pairwise). Furthermore, when testing a single product is a great effort, it is desirable to first test products composed of a set of priority features. This problem is called Prioritized Pairwise Test Data Generation Problem. State-of-the-art algorithms based on Integer Linear Programming for this problema are faster enough for small and medium instances. However, there exists some real instances that are too large to be computed with these algorithms in a reasonable time because of the exponential growth of the number of candidate solutions. Also, these heuristics not always lead us to the best solutions. In this work we propose a new approach based on a hybrid metaheuristic algorithm called Construct, Merge, Solve & Adapt. We compare this matheuristic with four algorithms: a Hybrid algorithm based on Integer Linear Programming ((HILP), a Hybrid algorithm based on Integer Nonlinear Programming (HINLP), the Parallel Prioritized Genetic Solver (PPGS), and a greedy algorithm called prioritized-ICPL. The analysis reveals that CMSA results in statistically significantly better quality solutions in most instances and for most levels of weighted coverage, although it requires more execution time.

cs.AI↗

arXiv2018

BIN-CT: Urban Waste Collection based in Predicting the Container Fill Level

The fast demographic growth, together with the concentration of the population in cities and the increasing amount of daily waste, are factors that push to the limit the ability of waste assimilation by Nature. Therefore, we need technological means to make an optimal management of the waste collection process, which represents 70% of the operational cost in waste treatment. In this article, we present a free intelligent software system, based on computational learning algorithms, which plans the best routes for waste collection supported by past (historical) and future (predictions) data. The objective of the system is the cost reduction of the waste collection service by means of the minimization in distance traveled by any truck to collect a container, hence the fuel consumption. At the same time the quality of service to the citizen is increased avoiding the annoying overflows of containers thanks to the accurate fill level predictions performed by BIN-CT. In this article we show the features of our software system, illustrating it operation with a real case study of a Spanish city. We conclude that the use of BIN-CT avoids unnecessary visits to containers, reduces the distance traveled to collect a container and therefore we obtain a reduction of total costs and harmful emissions thrown to the atmosphere.

cs.AI↗

arXiv2014

A Hitchhiker's Guide to Search-Based Software Engineering for Software Product Lines

Search Based Software Engineering (SBSE) is an emerging discipline that focuses on the application of search-based optimization techniques to software engineering problems. The capacity of SBSE techniques to tackle problems involving large search spaces make their application attractive for Software Product Lines (SPLs). In recent years, several publications have appeared that apply SBSE techniques to SPL problems. In this paper, we present the results of a systematic mapping study of such publications. We identified the stages of the SPL life cycle where SBSE techniques have been used, what case studies have been employed and how they have been analysed. This mapping study revealed potential venues for further research as well as common misunderstanding and pitfalls when applying SBSE techniques that we address by providing a guideline for researchers and practitioners interested in exploiting these techniques.

cs.SE↗

arXiv2014

Towards a Benchmark and a Comparison Framework for Combinatorial Interaction Testing of Software Product Lines

As Software Product Lines (SPLs) are becoming a more pervasive development practice, their effective testing is becoming a more important concern. In the past few years many SPL testing approaches have been proposed, among them, are those that support Combinatorial Interaction Testing (CIT) whose premise is to select a group of products where faults, due to feature interactions, are more likely to occur. Many CIT techniques for SPL testing have been put forward; however, no systematic and comprehensive comparison among them has been performed. To achieve such goal two items are important: a common benchmark of feature models, and an adequate comparison framework. In this research-in-progress paper, we propose 19 feature models as the base of a benchmark, which we apply to three different techniques in order to analyze the comparison framework proposed by Perrouin et al. We identify the shortcomings of this framework and elaborate alternatives for further study.

cs.SE↗