| 1. |
-
A design of high performance gas sensor array withdiscrete islands of Au catalyst for increasing of ZnO nanowire junctions
- 2013
-
Proceedings (redaktörskap) (refereegranskat)abstract
- In this study, an effective design for growth of ZnO nanowires directly on gas sensor chips is introduced. The design utilizes the dendrite islands of Au catalyst deposited between and on the Pt electrodes for the nanowires to grow on instead of a continuous seed layer or Au film. This lead to an increase of the nanowirenanowire junctions in the devices, as well as a reduction of the leak current that would occur through the mentioned alternative seed layer; resulting in a higher sensitivity. The results showed that the developed gas sensors could be used for monitoring of NO2 at low concentration.
|
|
| 2. |
|
|
| 3. |
- Aad, G, et al.
(författare)
-
Performance of the upgraded PreProcessor of the ATLAS Level-1 Calorimeter Trigger
- 2020
-
Ingår i: Journal of Instrumentation. - : IOP Publishing. - 1748-0221. ; 15:11
-
Tidskriftsartikel (refereegranskat)abstract
- The PreProcessor of the ATLAS Level-1 Calorimeter Trigger prepares the analogue trigger signals sent from the ATLAS calorimeters by digitising, synchronising, and calibrating them to reconstruct transverse energy deposits, which are then used in further processing to identify event features. During the first long shutdown of the LHC from 2013 to 2014, the central components of the PreProcessor, the Multichip Modules, were replaced by upgraded versions that feature modern ADC and FPGA technology to ensure optimal performance in the high pile-up environment of LHC Run 2. This paper describes the features of the new Multichip Modules along with the improvements to the signal processing achieved. c 2020 CERN for the benefit of the ATLAS collaboration. Published by IOP Publishing Ltd on behalf of Sissa Medialab.
|
|
| 4. |
- Aarts, Fides, et al.
(författare)
-
Generating models of infinite-state communication protocols using regular inference with abstraction
- 2015
-
Ingår i: Formal methods in system design. - : Springer Science and Business Media LLC. - 0925-9856 .- 1572-8102. ; 46:1, s. 1-41
-
Tidskriftsartikel (refereegranskat)abstract
- In order to facilitate model-based verification and validation, effort is underway to develop techniques for generating models of communication system components from observations of their external behavior. Most previous such work has employed regular inference techniques which generate modest-size finite-state models. They typically suppress parameters of messages, although these have a significant impact on control flow in many communication protocols. We present a framework, which adapts regular inference to include data parameters in messages and states for generating components with large or infinite message alphabets. A main idea is to adapt the framework of predicate abstraction, successfully used in formal verification. Since we are in a black-box setting, the abstraction must be supplied externally, using information about how the component manages data parameters. We have implemented our techniques by connecting the LearnLib tool for regular inference with an implementation of session initiation protocol (SIP) in ns-2 and an implementation of transmission control protocol (TCP) in Windows 8, and generated models of SIP and TCP components.
|
|
| 5. |
- Aartsen, M. G., et al.
(författare)
-
Computational techniques for the analysis of small signals in high-statistics neutrino oscillation experiments
- 2020
-
Ingår i: Nuclear Instruments and Methods in Physics Research Section A. - : Elsevier BV. - 0168-9002 .- 1872-9576. ; 977
-
Tidskriftsartikel (refereegranskat)abstract
- The current and upcoming generation of Very Large Volume Neutrino Telescopes - collecting unprecedented quantities of neutrino events - can be used to explore subtle effects in oscillation physics, such as (but not restricted to) the neutrino mass ordering. The sensitivity of an experiment to these effects can be estimated from Monte Carlo simulations. With the high number of events that will be collected, there is a trade-off between the computational expense of running such simulations and the inherent statistical uncertainty in the determined values. In such a scenario, it becomes impractical to produce and use adequately-sized sets of simulated events with traditional methods, such as Monte Carlo weighting. In this work we present a staged approach to the generation of expected distributions of observables in order to overcome these challenges. By combining multiple integration and smoothing techniques which address limited statistics from simulation it arrives at reliable analysis results using modest computational resources.
|
|
| 6. |
- Aartsen, M. G., et al.
(författare)
-
Very high-energy gamma-ray follow-up program using neutrino triggers from IceCube
- 2016
-
Ingår i: Journal of Instrumentation. - 1748-0221. ; 11
-
Tidskriftsartikel (refereegranskat)abstract
- We describe and report the status of a neutrino-triggered program in IceCube that generates real-time alerts for gamma-ray follow-up observations by atmospheric-Cherenkov telescopes (MAGIC and VERITAS). While IceCube is capable of monitoring the whole sky continuously, high-energy gamma-ray telescopes have restricted fields of view and in general are unlikely to be observing a potential neutrino-flaring source at the time such neutrinos are recorded. The use of neutrino-triggered alerts thus aims at increasing the availability of simultaneous multi-messenger data during potential neutrino flaring activity, which can increase the discovery potential and constrain the phenomenological interpretation of the high-energy emission of selected source classes (e. g. blazars). The requirements of a fast and stable online analysis of potential neutrino signals and its operation are presented, along with first results of the program operating between 14 March 2012 and 31 December 2015.
|
|
| 7. |
- Abali, Bilen Emek, et al.
(författare)
-
A novel phase‐field approach to brittle damage mechanics of gradient metamaterials combining action formalism and history variable
- 2021
-
Ingår i: Zeitschrift für angewandte Mathematik und Mechanik. - : John Wiley & Sons. - 0044-2267 .- 1521-4001. ; 101:9
-
Tidskriftsartikel (refereegranskat)abstract
- Metamaterials response is generally modeled by generalized continuum based theories. Their inherent substructure leads to a necessity for higher-order theories, and especially in damage mechanics, such a generalization is difficult to acquire. We exploit the action formalism in order to obtain the governing equations in generalized damage mechanics for metamaterials. Additionally, by using auxilliary variables, the variational formulation is endowed with the first rate of damage variable that is missing in standard approaches. The presented action formalism with auxilliary variables leads directly to the weak form. We implement a finite element method based approach by using open-source computing platform called FEniCS and solve this weak in order to obtain the deformation and damage numerically. Metamaterials simulations are demonstrated for simple geometries in mixed mode (I and II) as well as in mode III.
|
|
| 8. |
- Abali, Bilen Emek, et al.
(författare)
-
Additive manufacturing introduced substructure and computational determination of metamaterials parameters by means of the asymptotic homogenization
- 2021
-
Ingår i: Continuum Mechanics and Thermodynamics. - : Springer Science and Business Media LLC. - 0935-1175 .- 1432-0959. ; 33:4, s. 993-1009
-
Tidskriftsartikel (refereegranskat)abstract
- Metamaterials exhibit materials response deviation from conventional elasticity. This phenomenon is captured by the generalized elasticity as a result of extending the theory at the expense of introducing additional parameters. These parameters are linked to internal length scales. Describing on a macroscopic level, a material possessing a substructure at a microscopic length scale calls for introducing additional constitutive parameters. Therefore, in principle, an asymptotic homogenization is feasible to determine these parameters given an accurate knowledge on the substructure. Especially in additive manufacturing, known under the infill ratio, topology optimization introduces a substructure leading to higher-order terms in mechanical response. Hence, weight reduction creates a metamaterial with an accurately known substructure. Herein, we develop a computational scheme using both scales for numerically identifying metamaterials parameters. As a specific example, we apply it on a honeycomb substructure and discuss the infill ratio. Such a computational approach is applicable to a wide class substructures and makes use of open-source codes; we make it publicly available for a transparent scientific exchange.
|
|
| 9. |
- Abali, Bilen Emek
(författare)
-
An Introduction to Piezoelectric and Thermoelectric Materials
- 2022
-
Ingår i: Handbook of Energy Materials. - Singapore : Springer. - 9789811644801 ; , s. 1-18
-
Bokkapitel (refereegranskat)abstract
- Materials may demonstrate electromagnetism and thermomechanics coupling. Although we benefit from this coupling in our modern lives, comprehending this coupling is challenging. We intuitively understand that temperature increase causes an expansion in polymers and alloys. Typical example is a plastic water bottle left in the sun, the expansion is visible by naked eyes. Yet it is more abstract to consider that an electric field may create a deformation or even a temperature change. Electromagnetic fields are more abstract since our senses fail to be sensitive to these physical quantities. There are indeed materials with so-called piezoelectric and pyroelectric properties and we use them for sensors and actuators. More confusingly, there is a thermoelectric effect relating electric current and heat flux. In order to set the ideas correctly, we explain these phenomena and introduce to the abstract world of electromagnetism and thermomechanics coupling. Furthermore, we provide an inside look to realize how different types of thermal and electric coupling phenomena work and how to model such materials adequately.
|
|
| 10. |
|
|
