132571 research outputs found
Sort by
State-of-the-practice in quality assurance in Java-based open source software development
To ensure the quality of software systems, software engineers can make use of a variety of quality assurance approaches, for example, software testing, modern code review, automated static analysis, and build automation. Each of these quality assurance practices have been studied in depth in isolation, but there is a clear knowledge gap when it comes to our understanding of how these approaches are being used in conjunction, or not. In our study, we broadly investigate whether and how these quality assurance approaches are being used in conjunction in the development of 1454 popular open source software projects on GitHub. Our study indicates that typically projects do not follow all quality assurance practices together with high intensity. In fact, we only observe weak correlation among some quality assurance practices. In general, our study provides a deeper understanding of how existing quality assurance approaches are currently being used in Java-based open source software development. Besides, we specifically zoom in on the more mature projects in our dataset, and generally we observe that more mature projects are more intense in their application of the quality assurance practices, with more focus on their ASAT usage, and code reviewing, but no strong change in their CI usage.Software EngineeringSoftware Technolog
Robustness measures in the nonlinear domain: Investigating frozen-time robustness of structured H∞ controllers in nonlinear realizations
Aerospace Engineerin
Optimization of Acoustic Metasurfaces with Hybrid Structures for attenuation of broadband low frequency sound: An exploratory research on hybrid metamaterials to analyze/uncover possible practical applications/benefits for sound attenuation
We perform a study on acoustic metasurfaces, aiming to achieve simultaneously low resonance frequencies (below 400 Hz), high attenuation bandwidth (greater than 200 Hz), and high attenuation coefficient magnitudes (above 0.8), while maintaining a surface-like structure.We propose the implementation of geometrical optimization through genetic algorithms, as well as the incorporation of a chamber to induce resonator coupling in a supercell hexagonal Helmholtz resonator metasurface, to achieve the stated objectives simultaneously.Results show that genetic algorithms can effectively increase the attenuation bandwidth while maintaining a moderate attenuation coefficient magnitude. Incorporating a chamber induces resonator coupling, causing frequency locking and pulling phenomena. A narrow chamber can effectively lower the resonance frequencies and enhance the attenuation coefficients at those frequencies, while maintaining a surface-like structure. However, incorporating a chamber may lead to a reduction in bandwidth. By combining the genetic algorithm optimization with chamber integration, we observe a significant reduction in bandwidth narrowness, while the benefits of frequency locking and pulling are maintained.In conclusion, genetic algorithms have the potential to achieve wide attenuation bandwidths, while chamber incorporation holds promise for attaining low resonance frequencies with high attenuation coefficients. Using both methods simultaneously may enable the achievement of all objectives.Materials Science and Engineerin
The Need to Include a Fluorine Mass Balance in the Development of Effective Technologies for PFAS Destruction
Sanitary Engineerin
Explaining Grover's algorithm with a colony of ants: a pedagogical model for making quantum technology comprehensible
The rapid growth of quantum technologies requires an increasing number of physicists, computer scientists, and engineers who can work on these technologies. For educating these professionals, quantum mechanics should stop being perceived as incomprehensible. In this paper we contribute to this change by presenting a pedagogical model for explaining Grover's search algorithm, a prominent quantum algorithm. This model visualizes the three main steps of Grover's algorithm and, in addition to explaining the algorithm itself, introduces three key principles of quantum mechanics: superposition, interference, and state collapse at measurement. The pedagogical model, visualized by a video, is called the ant colony maze model. It represents the search problems as finding the exit of a maze, and visualizes Grover's search algorithm as a strategy by which a colony of ants finds that exit.Numerical AnalysisEthics & Philosophy of TechnologyQN/Wimmer Grou
What is conceptual disruption?
Recent work on philosophy of technology emphasises the ways in which technology can disrupt our concepts and conceptual schemes. We analyse and challenge existing accounts of conceptual disruption, criticising views according to which conceptual disruption can be understood in terms of uncertainty for conceptual application, as well as views assuming all instances of conceptual disruption occur at the same level. We proceed to provide our own account of conceptual disruption as an interruption in the normal functioning of concepts and conceptual schemes. Moreover, we offer a multilevel taxonomy thereof, where we distinguish between instances of conceptual disruptions occurring at different levels (conceptual scheme, conceptual clusters, and individual concepts), taking on different forms (conceptual gaps and conceptual conflicts), and leading to different degrees of severity (extending from mild to severe). We also provide detailed accounts through historical examples of how conceptual gaps and conceptual conflicts can occur at different times in the very same process of conceptual disruption. Finally, we make the case that different kinds of conceptual engineering can provide meaningful ways to assess and overcome distinct types of conceptual disruption.Ethics & Philosophy of Technolog
Room temperature oxidation of gaseous formaldehyde over silver-doped manganese oxide catalyst
A wide amount of existing building materials and consumables contains formaldehyde (HCHO) that may be released as a gas even after installation. The produced gas may concentrate in housing and offices, leading to a long-term exposure of the occupants. Living in such an environment, even at low concentrations less than 0.5 ppm, may lead to carcinogenic effects and damages of the human central nervous system. As a consequence, the development of methods that oxidize and neutralize the formaldehyde at ambient temperature is welcome. The catalytic oxidation method at ambient temperature is preferred over other available techniques due to its ease of operation and high efficiency. In this work, different weight percentages, ranging from 1 up to 5%, of silver-doped manganese oxides (Ag/MnOx) were synthesized by a co-precipitation process followed by a calcination at 450 °C for 4 h. The XRD and BET analysis results show that the sample at 4% wt of Ag doped in the MnOx matrix exhibit highest crystallinity, surface area and highest dispersion values, very near to theoretical ones. The removal performance of HCHO was tested in a silicon wool bed continuous flow reactor characterized by an inner diameter of 4 mm and a length of 12.5 cm. At ambient temperature a removal efficiency and an amount of produced CO2 of 94% and 66%, respectively.ChemE/Catalysis Engineerin