Showing 1–43 of 43 results for author: Yüksel, E

An Experimental Characterization of Combined RowHammer and RowPress Read Disturbance in Modern DRAM Chips

Authors: Haocong Luo, Ismail Emir Yüksel, Ataberk Olgun, A. Giray Yağlıkçı, Mohammad Sadrosadati, Onur Mutlu

Abstract: DRAM read disturbance can break memory isolation, a fundamental property to ensure system robustness (i.e., reliability, security, safety). RowHammer and RowPress are two different DRAM read disturbance phenomena. RowHammer induces bitflips in physically adjacent victim DRAM rows by repeatedly opening and closing an aggressor DRAM row, while RowPress induces bitflips by kee** an aggressor DRAM r… ▽ More DRAM read disturbance can break memory isolation, a fundamental property to ensure system robustness (i.e., reliability, security, safety). RowHammer and RowPress are two different DRAM read disturbance phenomena. RowHammer induces bitflips in physically adjacent victim DRAM rows by repeatedly opening and closing an aggressor DRAM row, while RowPress induces bitflips by kee** an aggressor DRAM row open for a long period of time. In this study, we characterize a DRAM access pattern that combines RowHammer and RowPress in 84 real DDR4 DRAM chips from all three major DRAM manufacturers. Our key results show that 1) this combined RowHammer and RowPress pattern takes significantly smaller amount of time (up to 46.1% faster) to induce the first bitflip compared to the state-of-the-art RowPress pattern, and 2) at the minimum aggressor row activation count to induce at least one bitflip, the bits that flip are different across RowHammer, RowPress, and the combined patterns. Based on our results, we provide a key hypothesis that the read disturbance effect caused by RowPress from one of the two aggressor rows in a double-sided pattern is much more significant than the other. △ Less

Submitted 21 June, 2024; v1 submitted 18 June, 2024; originally announced June 2024.

Comments: To appear at DSN Disrupt 2024 (June 2024)

The TDHF code Sky3D version 1.2

Authors: Abhishek, Paul Stevenson, Yue Shi, Esra Yüksel, Sait Umar

Abstract: The Sky3D code has been widely used to describe nuclear ground states, collective vibrational excitations, and heavy-ion collisions. The approach is based on Skyrme forces or related energy density functionals. The static and dynamic equations are solved on a three-dimensional grid, and pairing is been implemented in the BCS approximation. This updated version of the code aims to facilitate the ca… ▽ More The Sky3D code has been widely used to describe nuclear ground states, collective vibrational excitations, and heavy-ion collisions. The approach is based on Skyrme forces or related energy density functionals. The static and dynamic equations are solved on a three-dimensional grid, and pairing is been implemented in the BCS approximation. This updated version of the code aims to facilitate the calculation of nuclear strength functions in the regime of linear response theory, while retaining all existing functionality and use cases. The strength functions are benchmarked against available RPA codes, and the user has the freedom of choice when selecting the nature of external excitation (from monopole to hexadecapole and more). Some utility programs are also provided that calculate the strength function from the time-dependent output of the dynamic calculations of the Sky3D code. △ Less

Submitted 14 May, 2024; originally announced May 2024.

Comments: Expanded version of New Version Announcement as published in Computer Physics Communications

Simultaneous Many-Row Activation in Off-the-Shelf DRAM Chips: Experimental Characterization and Analysis

Authors: Ismail Emir Yuksel, Yahya Can Tugrul, F. Nisa Bostanci, Geraldo F. Oliveira, A. Giray Yaglikci, Ataberk Olgun, Melina Soysal, Haocong Luo, Juan Gómez-Luna, Mohammad Sadrosadati, Onur Mutlu

Abstract: We experimentally analyze the computational capability of commercial off-the-shelf (COTS) DRAM chips and the robustness of these capabilities under various timing delays between DRAM commands, data patterns, temperature, and voltage levels. We extensively characterize 120 COTS DDR4 chips from two major manufacturers. We highlight four key results of our study. First, COTS DRAM chips are capable of… ▽ More We experimentally analyze the computational capability of commercial off-the-shelf (COTS) DRAM chips and the robustness of these capabilities under various timing delays between DRAM commands, data patterns, temperature, and voltage levels. We extensively characterize 120 COTS DDR4 chips from two major manufacturers. We highlight four key results of our study. First, COTS DRAM chips are capable of 1) simultaneously activating up to 32 rows (i.e., simultaneous many-row activation), 2) executing a majority of X (MAJX) operation where X>3 (i.e., MAJ5, MAJ7, and MAJ9 operations), and 3) copying a DRAM row (concurrently) to up to 31 other DRAM rows, which we call Multi-RowCopy. Second, storing multiple copies of MAJX's input operands on all simultaneously activated rows drastically increases the success rate (i.e., the percentage of DRAM cells that correctly perform the computation) of the MAJX operation. For example, MAJ3 with 32-row activation (i.e., replicating each MAJ3's input operands 10 times) has a 30.81% higher average success rate than MAJ3 with 4-row activation (i.e., no replication). Third, data pattern affects the success rate of MAJX and Multi-RowCopy operations by 11.52% and 0.07% on average. Fourth, simultaneous many-row activation, MAJX, and Multi-RowCopy operations are highly resilient to temperature and voltage changes, with small success rate variations of at most 2.13% among all tested operations. We believe these empirical results demonstrate the promising potential of using DRAM as a computation substrate. To aid future research and development, we open-source our infrastructure at https://github.com/CMU-SAFARI/SiMRA-DRAM. △ Less

Submitted 9 May, 2024; originally announced May 2024.

Comments: To appear in DSN 2024

Leveraging Adversarial Detection to Enable Scalable and Low Overhead RowHammer Mitigations

Authors: Oğuzhan Canpolat, A. Giray Yağlıkçı, Ataberk Olgun, İsmail Emir Yüksel, Yahya Can Tuğrul, Konstantinos Kanellopoulos, Oğuz Ergin, Onur Mutlu

Abstract: RowHammer is a prime example of read disturbance in DRAM where repeatedly accessing (hammering) a row of DRAM cells (DRAM row) induces bitflips in other physically nearby DRAM rows. RowHammer solutions perform preventive actions (e.g., refresh neighbor rows of the hammered row) that mitigate such bitflips to preserve memory isolation, a fundamental building block of security and privacy in modern… ▽ More RowHammer is a prime example of read disturbance in DRAM where repeatedly accessing (hammering) a row of DRAM cells (DRAM row) induces bitflips in other physically nearby DRAM rows. RowHammer solutions perform preventive actions (e.g., refresh neighbor rows of the hammered row) that mitigate such bitflips to preserve memory isolation, a fundamental building block of security and privacy in modern computing systems. However, preventive actions induce non-negligible memory request latency and system performance overheads as they interfere with memory requests in the memory controller. As shrinking technology node size over DRAM chip generations exacerbates RowHammer, the overheads of RowHammer solutions become prohibitively large. As a result, a malicious program can effectively hog the memory system and deny service to benign applications by causing many RowHammer preventive actions. In this work, we tackle the performance overheads of RowHammer solutions by tracking the generators of memory accesses that trigger RowHammer solutions. To this end, we propose BreakHammer. BreakHammer cooperates with existing RowHammer solutions to identify hardware threads that trigger preventive actions. To do so, BreakHammer estimates the RowHammer likelihood of a thread, based on how frequently it triggers RowHammer preventive actions. BreakHammer limits the number of on-the-fly requests a thread can inject into the memory system based on the thread's RowHammer likelihood. By doing so, BreakHammer significantly reduces the number of performed counter-measures, improves the system performance by an average (maximum) of 48.7% (105.5%), and reduces the maximum slowdown induced on a benign application by 14.6% with near-zero area overhead (e.g., 0.0002% of a highend processor's chip area). △ Less

Submitted 20 April, 2024; originally announced April 2024.

Amplifying Main Memory-Based Timing Covert and Side Channels using Processing-in-Memory Operations

Authors: Konstantinos Kanellopoulos, F. Nisa Bostanci, Ataberk Olgun, A. Giray Yaglikci, Ismail Emir Yuksel, Nika Mansouri Ghiasi, Zulal Bingol, Mohammad Sadrosadati, Onur Mutlu

Abstract: The adoption of processing-in-memory (PiM) architectures has been gaining momentum because they provide high performance and low energy consumption by alleviating the data movement bottleneck. Yet, the security of such architectures has not been thoroughly explored. The adoption of PiM solutions provides a new way to directly access main memory, which can be potentially exploited by malicious user… ▽ More The adoption of processing-in-memory (PiM) architectures has been gaining momentum because they provide high performance and low energy consumption by alleviating the data movement bottleneck. Yet, the security of such architectures has not been thoroughly explored. The adoption of PiM solutions provides a new way to directly access main memory, which can be potentially exploited by malicious user applications. We show that this new way to access main memory opens opportunities for high-throughput timing attack vectors that are hard-to-mitigate without significant performance overhead. We introduce IMPACT, a set of high-throughput main memory-based timing attacks that leverage characteristics of PiM architectures to establish covert and side channels. IMPACT enables high-throughput communication and private information leakage. To achieve this, IMPACT (i) eliminates expensive cache bypassing steps required by processor-centric main memory and cache-based timing attacks and (ii) leverages the intrinsic parallelism of PiM operations. First, we showcase two covert-channel attack variants that run on the host CPU and leverage PiM architectures to gain direct and fast access to main memory and establish high-throughput communication covert channels. Second, we showcase a side-channel attack on a DNA sequence analysis application that leaks the private characteristics of a user's sample genome by leveraging PiM operations. Our results demonstrate that (i) our covert channels achieve up to 14.16 Mb/s communication throughput, which is 6.38x faster than the state-of-the-art main memory-based covert channels, and (ii) our side-channel attack allows the attacker to determine the properties of a sample genome at a throughput of 7.5 Mb/s with 96% accuracy. We discuss and evaluate several countermeasures for IMPACT to enable secure and robust PiM architectures. △ Less

Submitted 22 April, 2024; v1 submitted 17 April, 2024; originally announced April 2024.

CoMeT: Count-Min-Sketch-based Row Tracking to Mitigate RowHammer at Low Cost

Authors: F. Nisa Bostanci, Ismail Emir Yuksel, Ataberk Olgun, Konstantinos Kanellopoulos, Yahya Can Tugrul, A. Giray Yaglikci, Mohammad Sadrosadati, Onur Mutlu

Abstract: We propose a new RowHammer mitigation mechanism, CoMeT, that prevents RowHammer bitflips with low area, performance, and energy costs in DRAM-based systems at very low RowHammer thresholds. The key idea of CoMeT is to use low-cost and scalable hash-based counters to track DRAM row activations. CoMeT uses the Count-Min Sketch technique that maps each DRAM row to a group of counters, as uniquely as… ▽ More We propose a new RowHammer mitigation mechanism, CoMeT, that prevents RowHammer bitflips with low area, performance, and energy costs in DRAM-based systems at very low RowHammer thresholds. The key idea of CoMeT is to use low-cost and scalable hash-based counters to track DRAM row activations. CoMeT uses the Count-Min Sketch technique that maps each DRAM row to a group of counters, as uniquely as possible, using multiple hash functions. When a DRAM row is activated, CoMeT increments the counters mapped to that DRAM row. Because the map** from DRAM rows to counters is not completely unique, activating one row can increment one or more counters mapped to another row. Thus, CoMeT may overestimate, but never underestimates, a DRAM row's activation count. This property of CoMeT allows it to securely prevent RowHammer bitflips while properly configuring its hash functions reduces overestimations. As a result, CoMeT 1) implements substantially fewer counters than the number of DRAM rows in a DRAM bank and 2) does not significantly overestimate a DRAM row's activation count. Our comprehensive evaluations show that CoMeT prevents RowHammer bitflips with an average performance overhead of only 4.01% across 61 benign single-core workloads for a very low RowHammer threshold of 125, normalized to a system with no RowHammer mitigation. CoMeT achieves a good trade-off between performance, energy, and area overheads. Compared to the best-performing state-of-the-art mitigation, CoMeT requires 74.2x less area overhead at the RowHammer threshold 125 and incurs a small performance overhead on average for all RowHammer thresholds. Compared to the best-performing low-area-cost mechanism, at a very low RowHammer threshold of 125, CoMeT improves performance by up to 39.1% while incurring a similar area overhead. CoMeT is openly and freely available at https://github.com/CMU-SAFARI/CoMeT. △ Less

Submitted 28 February, 2024; originally announced February 2024.

Comments: To appear at HPCA 2024

Functionally-Complete Boolean Logic in Real DRAM Chips: Experimental Characterization and Analysis

Authors: Ismail Emir Yuksel, Yahya Can Tugrul, Ataberk Olgun, F. Nisa Bostanci, A. Giray Yaglikci, Geraldo F. Oliveira, Haocong Luo, Juan Gómez-Luna, Mohammad Sadrosadati, Onur Mutlu

Abstract: Processing-using-DRAM (PuD) is an emerging paradigm that leverages the analog operational properties of DRAM circuitry to enable massively parallel in-DRAM computation. PuD has the potential to reduce or eliminate costly data movement between processing elements and main memory. Prior works experimentally demonstrate three-input MAJ (MAJ3) and two-input AND and OR operations in commercial off-the-… ▽ More Processing-using-DRAM (PuD) is an emerging paradigm that leverages the analog operational properties of DRAM circuitry to enable massively parallel in-DRAM computation. PuD has the potential to reduce or eliminate costly data movement between processing elements and main memory. Prior works experimentally demonstrate three-input MAJ (MAJ3) and two-input AND and OR operations in commercial off-the-shelf (COTS) DRAM chips. Yet, demonstrations on COTS DRAM chips do not provide a functionally complete set of operations. We experimentally demonstrate that COTS DRAM chips are capable of performing 1) functionally-complete Boolean operations: NOT, NAND, and NOR and 2) many-input (i.e., more than two-input) AND and OR operations. We present an extensive characterization of new bulk bitwise operations in 256 off-the-shelf modern DDR4 DRAM chips. We evaluate the reliability of these operations using a metric called success rate: the fraction of correctly performed bitwise operations. Among our 19 new observations, we highlight four major results. First, we can perform the NOT operation on COTS DRAM chips with a 98.37% success rate on average. Second, we can perform up to 16-input NAND, NOR, AND, and OR operations on COTS DRAM chips with high reliability (e.g., 16-input NAND, NOR, AND, and OR with an average success rate of 94.94%, 95.87%, 94.94%, and 95.85%, respectively). Third, data pattern only slightly affects bitwise operations. Our results show that executing NAND, NOR, AND, and OR operations with random data patterns decreases the success rate compared to all logic-1/logic-0 patterns by 1.39%, 1.97%, 1.43%, and 1.98%, respectively. Fourth, bitwise operations are highly resilient to temperature changes, with small success rate fluctuations of at most 1.66% when the temperature is increased from 50C to 95C. We open-source our infrastructure at https://github.com/CMU-SAFARI/FCDRAM △ Less

Submitted 21 April, 2024; v1 submitted 28 February, 2024; originally announced February 2024.

Comments: A shorter version of this work is to appear at the 30th IEEE International Symposium on High-Performance Computer Architecture (HPCA-30), 2024

Spatial Variation-Aware Read Disturbance Defenses: Experimental Analysis of Real DRAM Chips and Implications on Future Solutions

Authors: Abdullah Giray Yağlıkçı, Yahya Can Tuğrul, Geraldo F. Oliveira, İsmail Emir Yüksel, Ataberk Olgun, Haocong Luo, Onur Mutlu

Abstract: Read disturbance in modern DRAM chips is a widespread phenomenon and is reliably used for breaking memory isolation, a fundamental building block for building robust systems. RowHammer and RowPress are two examples of read disturbance in DRAM where repeatedly accessing (hammering) or kee** active (pressing) a memory location induces bitflips in other memory locations. Unfortunately, shrinking te… ▽ More Read disturbance in modern DRAM chips is a widespread phenomenon and is reliably used for breaking memory isolation, a fundamental building block for building robust systems. RowHammer and RowPress are two examples of read disturbance in DRAM where repeatedly accessing (hammering) or kee** active (pressing) a memory location induces bitflips in other memory locations. Unfortunately, shrinking technology node size exacerbates read disturbance in DRAM chips over generations. As a result, existing defense mechanisms suffer from significant performance and energy overheads, limited effectiveness, or prohibitively high hardware complexity. In this paper, we tackle these shortcomings by leveraging the spatial variation in read disturbance across different memory locations in real DRAM chips. To do so, we 1) present the first rigorous real DRAM chip characterization study of spatial variation of read disturbance and 2) propose Svärd, a new mechanism that dynamically adapts the aggressiveness of existing solutions based on the row-level read disturbance profile. Our experimental characterization on 144 real DDR4 DRAM chips representing 10 chip designs demonstrates a large variation in read disturbance vulnerability across different memory locations: in the part of memory with the worst read disturbance vulnerability, 1) up to 2x the number of bitflips can occur and 2) bitflips can occur at an order of magnitude fewer accesses, compared to the memory locations with the least vulnerability to read disturbance. Svärd leverages this variation to reduce the overheads of five state-of-the-art read disturbance solutions, and thus significantly increases system performance. △ Less

Submitted 28 February, 2024; originally announced February 2024.

Comments: A shorter version of this work is to appear at the 30th IEEE International Symposium on High-Performance Computer Architecture (HPCA-30), 2024

Nuclear mass predictions using machine learning models

Authors: Esra Yüksel, Derya Soydaner, Hüseyin Bahtiyar

Abstract: The exploration of nuclear mass or binding energy, a fundamental property of atomic nuclei, remains at the forefront of nuclear physics research due to limitations in experimental studies and uncertainties in model calculations, particularly when moving away from the stability line. In this work, we employ two machine learning (ML) models, Support Vector Regression (SVR) and Gaussian Process Regre… ▽ More The exploration of nuclear mass or binding energy, a fundamental property of atomic nuclei, remains at the forefront of nuclear physics research due to limitations in experimental studies and uncertainties in model calculations, particularly when moving away from the stability line. In this work, we employ two machine learning (ML) models, Support Vector Regression (SVR) and Gaussian Process Regression (GPR), to assess their performance in predicting nuclear mass excesses using available experimental data and a physics-based feature space. We also examine the extrapolation capabilities of these models using newly measured nuclei from AME2020 and by extending our calculations beyond the training and test set regions. Our results indicate that both SVR and GPR models perform quite well within the training and test regions when informed with a physics-based feature space. Furthermore, these ML models demonstrate the ability to make reasonable predictions away from the available experimental data, offering results comparable to the model calculations. Through further refinement, these models can be used as reliable and efficient ML tools for studying nuclear properties in the future. △ Less

Submitted 25 June, 2024; v1 submitted 5 January, 2024; originally announced January 2024.

Comments: 12 pages, 8 figures

Journal ref: Phys. Rev. C 109, 064322 (2024)

PULSAR: Simultaneous Many-Row Activation for Reliable and High-Performance Computing in Off-the-Shelf DRAM Chips

Authors: Ismail Emir Yuksel, Yahya Can Tugrul, F. Nisa Bostanci, Abdullah Giray Yaglikci, Ataberk Olgun, Geraldo F. Oliveira, Melina Soysal, Haocong Luo, Juan Gomez Luna, Mohammad Sadrosadati, Onur Mutlu

Abstract: Data movement between the processor and the main memory is a first-order obstacle against improving performance and energy efficiency in modern systems. To address this obstacle, Processing-using-Memory (PuM) is a promising approach where bulk-bitwise operations are performed leveraging intrinsic analog properties within the DRAM array and massive parallelism across DRAM columns. Unfortunately, 1)… ▽ More Data movement between the processor and the main memory is a first-order obstacle against improving performance and energy efficiency in modern systems. To address this obstacle, Processing-using-Memory (PuM) is a promising approach where bulk-bitwise operations are performed leveraging intrinsic analog properties within the DRAM array and massive parallelism across DRAM columns. Unfortunately, 1) modern off-the-shelf DRAM chips do not officially support PuM operations, and 2) existing techniques of performing PuM operations on off-the-shelf DRAM chips suffer from two key limitations. First, these techniques have low success rates, i.e., only a small fraction of DRAM columns can correctly execute PuM operations because they operate beyond manufacturer-recommended timing constraints, causing these operations to be highly susceptible to noise and process variation. Second, these techniques have limited compute primitives, preventing them from fully leveraging parallelism across DRAM columns and thus hindering their performance benefits. We propose PULSAR, a new technique to enable high-success-rate and high-performance PuM operations in off-the-shelf DRAM chips. PULSAR leverages our new observation that a carefully crafted sequence of DRAM commands simultaneously activates up to 32 DRAM rows. PULSAR overcomes the limitations of existing techniques by 1) replicating the input data to improve the success rate and 2) enabling new bulk bitwise operations (e.g., many-input majority, Multi-RowInit, and Bulk-Write) to improve the performance. Our analysis on 120 off-the-shelf DDR4 chips from two major manufacturers shows that PULSAR achieves a 24.18% higher success rate and 121% higher performance over seven arithmetic-logic operations compared to FracDRAM, a state-of-the-art off-the-shelf DRAM-based PuM technique. △ Less

Submitted 18 March, 2024; v1 submitted 5 December, 2023; originally announced December 2023.

ABACuS: All-Bank Activation Counters for Scalable and Low Overhead RowHammer Mitigation

Authors: Ataberk Olgun, Yahya Can Tugrul, Nisa Bostanci, Ismail Emir Yuksel, Haocong Luo, Steve Rhyner, Abdullah Giray Yaglikci, Geraldo F. Oliveira, Onur Mutlu

Abstract: We introduce ABACuS, a new low-cost hardware-counter-based RowHammer mitigation technique that performance-, energy-, and area-efficiently scales with worsening RowHammer vulnerability. We observe that both benign workloads and RowHammer attacks tend to access DRAM rows with the same row address in multiple DRAM banks at around the same time. Based on this observation, ABACuS's key idea is to use… ▽ More We introduce ABACuS, a new low-cost hardware-counter-based RowHammer mitigation technique that performance-, energy-, and area-efficiently scales with worsening RowHammer vulnerability. We observe that both benign workloads and RowHammer attacks tend to access DRAM rows with the same row address in multiple DRAM banks at around the same time. Based on this observation, ABACuS's key idea is to use a single shared row activation counter to track activations to the rows with the same row address in all DRAM banks. Unlike state-of-the-art RowHammer mitigation mechanisms that implement a separate row activation counter for each DRAM bank, ABACuS implements fewer counters (e.g., only one) to track an equal number of aggressor rows. Our evaluations show that ABACuS securely prevents RowHammer bitflips at low performance/energy overhead and low area cost. We compare ABACuS to four state-of-the-art mitigation mechanisms. At a near-future RowHammer threshold of 1000, ABACuS incurs only 0.58% (0.77%) performance and 1.66% (2.12%) DRAM energy overheads, averaged across 62 single-core (8-core) workloads, requiring only 9.47 KiB of storage per DRAM rank. At the RowHammer threshold of 1000, the best prior low-area-cost mitigation mechanism incurs 1.80% higher average performance overhead than ABACuS, while ABACuS requires 2.50X smaller chip area to implement. At a future RowHammer threshold of 125, ABACuS performs very similarly to (within 0.38% of the performance of) the best prior performance- and energy-efficient RowHammer mitigation mechanism while requiring 22.72X smaller chip area. ABACuS is freely and openly available at https://github.com/CMU-SAFARI/ABACuS. △ Less

Submitted 2 May, 2024; v1 submitted 15 October, 2023; originally announced October 2023.

Comments: To appear in USENIX Security '24

Finite temperature effects in magnetic dipole transitions

Authors: Amandeep Kaur, Esra Yüksel, Nils Paar

Abstract: Finite temperature effects in electromagnetic transitions in nuclei contribute to many aspects of nuclear structure and astrophysically relevant nuclear reactions. While electric dipole transitions have already been extensively studied, the temperature sensitivity of magnetic transitions remains largely unknown. This work comprises the study of isovector magnetic dipole excitations (M1) occurring… ▽ More Finite temperature effects in electromagnetic transitions in nuclei contribute to many aspects of nuclear structure and astrophysically relevant nuclear reactions. While electric dipole transitions have already been extensively studied, the temperature sensitivity of magnetic transitions remains largely unknown. This work comprises the study of isovector magnetic dipole excitations (M1) occurring between spin-orbit (SO) partner states using the recently developed self-consistent finite temperature relativistic quasiparticle random phase approximation (FT-RQRPA) in the temperature range from $T=$ 0 to 2 MeV. The M1 strength distributions of $^{40-60}$Ca and $^{100-140}$Sn isotopic chains exhibit a strong temperature dependence. The M1 strength peaks shift significantly towards the lower energies due to the decrease in SO splitting energies and weakening of the residual interaction, especially above the critical temperatures ($T_\textrm{c}$) where the pairing correlations vanish. By exploring the relevant two-quasiparticle ($2qp$) configurations contributing to the M1 strength of closed- and open-shell nuclei, new proton and neutron excitation channels between SO partners are observed in low- and high-energy regions due to the thermal unblocking effects around the Fermi level. At higher temperatures, we have noticed an interesting result in $^{40,60}$Ca nuclei, the appearance of M1 excitations, which are forbidden at zero temperature due to fully occupied (or fully vacant) spin-orbit partner states. △ Less

Submitted 13 October, 2023; originally announced October 2023.

Electric dipole transitions in the relativistic quasiparticle random phase approximation at finite temperature

Authors: Amandeep Kaur, Esra Yüksel, Nils Paar

Abstract: Finite temperature results in various effects on the properties of nuclear structure and excitations of relevance for nuclear processes in hot stellar environments. Here we introduce the self-consistent finite temperature relativistic quasiparticle random phase approximation (FT-RQRPA) based on relativistic energy density functional with point coupling interaction for describing the temperature ef… ▽ More Finite temperature results in various effects on the properties of nuclear structure and excitations of relevance for nuclear processes in hot stellar environments. Here we introduce the self-consistent finite temperature relativistic quasiparticle random phase approximation (FT-RQRPA) based on relativistic energy density functional with point coupling interaction for describing the temperature effects in electric dipole (E1) transitions. We perform a study of E1 excitations in the temperature range $T=$ 0-2 MeV for the selected closed- and open-shell nuclei ranging from $^{40}$Ca to $^{60}$Ca and $^{100}$Sn to $^{140}$Sn by including both thermal and pairing effects. The isovector giant dipole resonance strength is slightly modified for the considered range of temperature, while new low-energy peaks emerge for $E<$12 MeV with non-negligible strength in neutron-rich nuclei at high temperatures. The analysis of relevant two-quasiparticle configurations discloses how new excitation channels open due to thermal unblocking of states at finite temperature. The study also examines the isospin and temperature dependence of electric dipole polarizability ($α_D$), resulting in systematic increase in the values of $α_D$ with increasing temperature, with a more pronounced effect observed in neutron-rich nuclei. The FT-RQRPA introduced in this work will open perspectives for microscopic calculation of $γ$-ray strength functions at finite temperatures relevant for nuclear reaction studies. △ Less

Submitted 2 October, 2023; originally announced October 2023.

Global properties of nuclei at finite-temperature within the covariant energy density functional theory

Authors: Ante Ravlić, Esra Yüksel, Tamara Nikšić, Nils Paar

Abstract: In stellar environments nuclei appear at finite temperatures, becoming extremely hot in core-collapse supernovae and neutron star mergers. However, due to theoretical and computational complexity, most model calculations of nuclear properties are performed at zero temperature, while those existing at finite temperatures are limited only to selected regions of the nuclide chart. In this study we pe… ▽ More In stellar environments nuclei appear at finite temperatures, becoming extremely hot in core-collapse supernovae and neutron star mergers. However, due to theoretical and computational complexity, most model calculations of nuclear properties are performed at zero temperature, while those existing at finite temperatures are limited only to selected regions of the nuclide chart. In this study we perform the global calculation of nuclear properties for even-even $8 \leq Z \leq 104$ nuclei at temperatures in range $0\le T \le 2$ MeV. Calculations are based on the finite temperature relativistic Hartree-Bogoliubov model supplemented by the Bonche-Levit-Vautherin vapor subtraction procedure. We find that near the neutron-drip line the continuum states have significant contribution already at moderate temperature $T\approx 1$ MeV, thus emphasising the necessity of the vapor subtraction procedure. Results include neutron emission lifetimes, quadrupole deformations, neutron skin thickness, proton and neutron pairing gaps, entropy and excitation energy. Up to the temperature $T\approx 1$ MeV nuclear landscape is influenced only moderately by the finite-temperature effects, mainly by reducing the pairing correlations. As the temperature increases further, the effects on nuclear structures become pronounced, reducing both the deformations and the shell effects. △ Less

Submitted 17 September, 2023; originally announced September 2023.

Comments: 18 pages, 14 figures, submitted to Physical Review C

Hyperspectral Image Denoising via Self-Modulating Convolutional Neural Networks

Authors: Orhan Torun, Seniha Esen Yuksel, Erkut Erdem, Nevrez Imamoglu, Aykut Erdem

Abstract: Compared to natural images, hyperspectral images (HSIs) consist of a large number of bands, with each band capturing different spectral information from a certain wavelength, even some beyond the visible spectrum. These characteristics of HSIs make them highly effective for remote sensing applications. That said, the existing hyperspectral imaging devices introduce severe degradation in HSIs. Henc… ▽ More Compared to natural images, hyperspectral images (HSIs) consist of a large number of bands, with each band capturing different spectral information from a certain wavelength, even some beyond the visible spectrum. These characteristics of HSIs make them highly effective for remote sensing applications. That said, the existing hyperspectral imaging devices introduce severe degradation in HSIs. Hence, hyperspectral image denoising has attracted lots of attention by the community lately. While recent deep HSI denoising methods have provided effective solutions, their performance under real-life complex noise remains suboptimal, as they lack adaptability to new data. To overcome these limitations, in our work, we introduce a self-modulating convolutional neural network which we refer to as SM-CNN, which utilizes correlated spectral and spatial information. At the core of the model lies a novel block, which we call spectral self-modulating residual block (SSMRB), that allows the network to transform the features in an adaptive manner based on the adjacent spectral data, enhancing the network's ability to handle complex noise. In particular, the introduction of SSMRB transforms our denoising network into a dynamic network that adapts its predicted features while denoising every input HSI with respect to its spatio-spectral characteristics. Experimental analysis on both synthetic and real data shows that the proposed SM-CNN outperforms other state-of-the-art HSI denoising methods both quantitatively and qualitatively on public benchmark datasets. △ Less

Submitted 15 September, 2023; originally announced September 2023.

Journal ref: Signal Processing, Volume 214, January 2024, 109248

Influence of the symmetry energy on the nuclear binding energies and the neutron drip line position

Authors: Ante Ravlić, Esra Yüksel, Tamara Nikšić, Nils Paar

Abstract: A clear connection can be established between properties of nuclear matter and finite-nuclei observables, such as the correlation between the slope of the symmetry energy and dipole polarizability, or between compressibility and the isoscalar monopole giant resonance excitation energy. Establishing a connection between realistic atomic nuclei and an idealized infinite nuclear matter leads to a bet… ▽ More A clear connection can be established between properties of nuclear matter and finite-nuclei observables, such as the correlation between the slope of the symmetry energy and dipole polarizability, or between compressibility and the isoscalar monopole giant resonance excitation energy. Establishing a connection between realistic atomic nuclei and an idealized infinite nuclear matter leads to a better understanding of underlying physical mechanisms that govern nuclear dynamics. In this work, we aim to study the dependence of the binding energies and related quantities (e.g. location of drip lines, the total number of bound even-even nuclei) on the symmetry energy $S_2(ρ)$. The properties of finite nuclei are calculated by employing the relativistic Hartree-Bogoliubov (RHB) model, assuming even-even axial and reflection symmetric nuclei. Calculations are performed by employing two families of relativistic energy density functionals (EDFs), based on different effective Lagrangians, constrained to a specific symmetry energy at saturation density $J$ within the interval of $30$--$36$ MeV. Nuclear binding energies and related quantities of bound nuclei are calculated between $8 \leq Z \leq 104$ from the two-proton to the two-neutron drip line. As the neutron drip line is approached, the interactions with stiffer $J$ tend to predict more bound nuclei, resulting in a systematic shift of the two-neutron drip line towards more neutron-rich nuclei. Consequentially, a correlation between the number of bound nuclei $N_{nucl}$ and $S_2(ρ)$ is established for a set of functionals constrained using the similar optimization procedures. The direction of the relationship between the number of bound nuclei and symmetry energy highly depends on the density under consideration. △ Less

Submitted 31 August, 2023; originally announced August 2023.

Comments: 9 pages, 5 figures

DENTEX: An Abnormal Tooth Detection with Dental Enumeration and Diagnosis Benchmark for Panoramic X-rays

Authors: Ibrahim Ethem Hamamci, Sezgin Er, Enis Simsar, Atif Emre Yuksel, Sadullah Gultekin, Serife Damla Ozdemir, Kaiyuan Yang, Hongwei Bran Li, Sarthak Pati, Bernd Stadlinger, Albert Mehl, Mustafa Gundogar, Bjoern Menze

Abstract: Panoramic X-rays are frequently used in dentistry for treatment planning, but their interpretation can be both time-consuming and prone to error. Artificial intelligence (AI) has the potential to aid in the analysis of these X-rays, thereby improving the accuracy of dental diagnoses and treatment plans. Nevertheless, designing automated algorithms for this purpose poses significant challenges, mai… ▽ More Panoramic X-rays are frequently used in dentistry for treatment planning, but their interpretation can be both time-consuming and prone to error. Artificial intelligence (AI) has the potential to aid in the analysis of these X-rays, thereby improving the accuracy of dental diagnoses and treatment plans. Nevertheless, designing automated algorithms for this purpose poses significant challenges, mainly due to the scarcity of annotated data and variations in anatomical structure. To address these issues, the Dental Enumeration and Diagnosis on Panoramic X-rays Challenge (DENTEX) has been organized in association with the International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI) in 2023. This challenge aims to promote the development of algorithms for multi-label detection of abnormal teeth, using three types of hierarchically annotated data: partially annotated quadrant data, partially annotated quadrant-enumeration data, and fully annotated quadrant-enumeration-diagnosis data, inclusive of four different diagnoses. In this paper, we present the results of evaluating participant algorithms on the fully annotated data, additionally investigating performance variation for quadrant, enumeration, and diagnosis labels in the detection of abnormal teeth. The provision of this annotated dataset, alongside the results of this challenge, may lay the groundwork for the creation of AI-powered tools that can offer more precise and efficient diagnosis and treatment planning in the field of dentistry. The evaluation code and datasets can be accessed at https://github.com/ibrahimethemhamamci/DENTEX △ Less

Submitted 30 May, 2023; originally announced May 2023.

Comments: MICCAI 2023 Challenge

Development of proton beam irradiation system for the NA65/DsTau experiment

Authors: Shigeki Aoki, Akitaka Ariga, Tomoko Ariga, Nikolaos Charitonidis, Sergey Dmitrievsky, Radu Dobre, Elena Firu, Yury Gornushkin, Ali Murat Guler, Daiki Hayakawa, Koichi Kodama, Masahiro Komatsu, Umut Kose, Madalina Mihaela Miloi, Manato Miura, Mitsuhiro Nakamura, Toshiyuki Nakano, Alina-Tania Neagu, Toranosuke Okumura, Canay Oz, Hiroki Rokujo, Osamu Sato, Svetlana Vasina, Junya Yoshida, Masahiro Yoshimoto , et al. (1 additional authors not shown)

Abstract: Tau neutrino is the least studied lepton of the Standard Model (SM). The NA65/DsTau experiment targets to investigate $D_s$, the parent particle of the $ν_τ$, using the nuclear emulsion-based detector and to decrease the systematic uncertainty of $ν_τ$ flux prediction from over 50% to 10% for future beam dump experiments. In the experiment, the emulsion detectors are exposed to the CERN SPS 400 Ge… ▽ More Tau neutrino is the least studied lepton of the Standard Model (SM). The NA65/DsTau experiment targets to investigate $D_s$, the parent particle of the $ν_τ$, using the nuclear emulsion-based detector and to decrease the systematic uncertainty of $ν_τ$ flux prediction from over 50% to 10% for future beam dump experiments. In the experiment, the emulsion detectors are exposed to the CERN SPS 400 GeV proton beam. To provide optimal conditions for the reconstruction of interactions, the protons are required to be uniformly distributed over the detector's surface with an average density of $10^5~\rm{cm^{-2}}$ and the fluctuation of less than 10%. To address this issue, we developed a new proton irradiation system called the target mover. The new target mover provided irradiation with a proton density of $0.98~\rm{cm^{-2}}$ and the density fluctuation of $2.0\pm 0.3$% in the DsTau 2021 run. △ Less

Submitted 3 April, 2024; v1 submitted 23 March, 2023; originally announced March 2023.

Comments: 9 pages, 16 figures

TuRaN: True Random Number Generation Using Supply Voltage Underscaling in SRAMs

Authors: İsmail Emir Yüksel, Ataberk Olgun, Behzad Salami, F. Nisa Bostancı, Yahya Can Tuğrul, A. Giray Yağlıkçı, Nika Mansouri Ghiasi, Onur Mutlu, Oğuz Ergin

Abstract: Prior works propose SRAM-based TRNGs that extract entropy from SRAM arrays. SRAM arrays are widely used in a majority of specialized or general-purpose chips that perform the computation to store data inside the chip. Thus, SRAM-based TRNGs present a low-cost alternative to dedicated hardware TRNGs. However, existing SRAM-based TRNGs suffer from 1) low TRNG throughput, 2) high energy consumption,… ▽ More Prior works propose SRAM-based TRNGs that extract entropy from SRAM arrays. SRAM arrays are widely used in a majority of specialized or general-purpose chips that perform the computation to store data inside the chip. Thus, SRAM-based TRNGs present a low-cost alternative to dedicated hardware TRNGs. However, existing SRAM-based TRNGs suffer from 1) low TRNG throughput, 2) high energy consumption, 3) high TRNG latency, and 4) the inability to generate true random numbers continuously, which limits the application space of SRAM-based TRNGs. Our goal in this paper is to design an SRAM-based TRNG that overcomes these four key limitations and thus, extends the application space of SRAM-based TRNGs. To this end, we propose TuRaN, a new high-throughput, energy-efficient, and low-latency SRAM-based TRNG that can sustain continuous operation. TuRaN leverages the key observation that accessing SRAM cells results in random access failures when the supply voltage is reduced below the manufacturer-recommended supply voltage. TuRaN generates random numbers at high throughput by repeatedly accessing SRAM cells with reduced supply voltage and post-processing the resulting random faults using the SHA-256 hash function. To demonstrate the feasibility of TuRaN, we conduct SPICE simulations on different process nodes and analyze the potential of access failure for use as an entropy source. We verify and support our simulation results by conducting real-world experiments on two commercial off-the-shelf FPGA boards. We evaluate the quality of the random numbers generated by TuRaN using the widely-adopted NIST standard randomness tests and observe that TuRaN passes all tests. TuRaN generates true random numbers with (i) an average (maximum) throughput of 1.6Gbps (1.812Gbps), (ii) 0.11nJ/bit energy consumption, and (iii) 278.46us latency. △ Less

Submitted 20 November, 2022; originally announced November 2022.

Fine-grained Classification of Solder Joints with α-skew Jensen-Shannon Divergence

Authors: Furkan Ulger, Seniha Esen Yuksel, Atila Yilmaz, Dincer Gokcen

Abstract: Solder joint inspection (SJI) is a critical process in the production of printed circuit boards (PCB). Detection of solder errors during SJI is quite challenging as the solder joints have very small sizes and can take various shapes. In this study, we first show that solders have low feature diversity, and that the SJI can be carried out as a fine-grained image classification task which focuses on… ▽ More Solder joint inspection (SJI) is a critical process in the production of printed circuit boards (PCB). Detection of solder errors during SJI is quite challenging as the solder joints have very small sizes and can take various shapes. In this study, we first show that solders have low feature diversity, and that the SJI can be carried out as a fine-grained image classification task which focuses on hard-to-distinguish object classes. To improve the fine-grained classification accuracy, penalizing confident model predictions by maximizing entropy was found useful in the literature. Inline with this information, we propose using the α-skew Jensen-Shannon divergence (α-JS) for penalizing the confidence in model predictions. We compare the α-JS regularization with both existing entropyregularization based methods and the methods based on attention mechanism, segmentation techniques, transformer models, and specific loss functions for fine-grained image classification tasks. We show that the proposed approach achieves the highest F1-score and competitive accuracy for different models in the finegrained solder joint classification task. Finally, we visualize the activation maps and show that with entropy-regularization, more precise class-discriminative regions are localized, which are also more resilient to noise. Code will be made available here upon acceptance. △ Less

Submitted 20 September, 2022; originally announced September 2022.

Comments: Submitted to IEEE Transactions on Components, Packaging and Manufacturing Technology

Investigation of A Biomass Gasification System Based on Energy and Exergy Analysis

Authors: Abbas Alpaslan Kocer, Yunus Emre Yuksel, Murat Ozturk

Abstract: Biomass gasification procedure is a very complex process and it is influenced by many physical and chemical factors such as biomass gasification temperature and gasifier type. Thermodynamic assessment methodology based on the energy and exergy analysis can be used to evaluate the system performance and environmental impacts. In this paper, thermodynamic analysis of the biomass gasification system… ▽ More Biomass gasification procedure is a very complex process and it is influenced by many physical and chemical factors such as biomass gasification temperature and gasifier type. Thermodynamic assessment methodology based on the energy and exergy analysis can be used to evaluate the system performance and environmental impacts. In this paper, thermodynamic analysis of the biomass gasification system is given for the whole system and its components. The parametric studies reveal the effects of design and operating indicators on the exergy efficiency and exergy destruction rate. The result shows that the gasification temperatures for the biomass gasification system change significantly with the type of the gasifying medium. △ Less

Submitted 29 June, 2022; originally announced August 2022.

Clustering in nuclei at finite temperature

Authors: Esra Yüksel, Florian Mercier, Jean-Paul Ebran, Elias Khan

Abstract: We investigate the localization and clustering features in $^{20}$Ne ($N=Z$) and neutron-rich $^{32}$Ne nuclei at zero and finite temperatures. The finite temperature Hartree-Bogoliubov theory is used with the relativistic density-dependent meson-nucleon coupling functional DD-ME2. It is shown that clustering features gradually weaken with increasing temperature and disappear when the shape phase… ▽ More We investigate the localization and clustering features in $^{20}$Ne ($N=Z$) and neutron-rich $^{32}$Ne nuclei at zero and finite temperatures. The finite temperature Hartree-Bogoliubov theory is used with the relativistic density-dependent meson-nucleon coupling functional DD-ME2. It is shown that clustering features gradually weaken with increasing temperature and disappear when the shape phase transition occurs. Considering thermal fluctuations in the density profiles, the clustering features vanish at lower temperatures, compared to the case without thermal fluctuations. The effect of the pairing correlations on the nucleon localization and the formation of cluster structures are also studied at finite temperatures. Due to the inclusion of pairing in the calculations, cluster structures are preserved until the critical temperatures for the shape phase transition are reached. Above the critical temperature of the shape phase transition, the clustering features suddenly disappear, which differs from the results without pairing. △ Less

Submitted 8 November, 2022; v1 submitted 27 July, 2022; originally announced July 2022.

Comments: 11 pages, 10 figures

Journal ref: Phys. Rev. C 106, 054309, 2022

Implications of parity-violating electron scattering experiments on $^{48}$Ca (CREX) and $^{208}$Pb (PREX-II) for nuclear energy density functionals

Authors: Esra Yüksel, Nils Paar

Abstract: Recent precise parity-violating electron scattering experiments on $^{48}$Ca (CREX) and $^{208}$Pb (PREX-II) provide a new insight on the formation of neutron skin in nuclei. Within the energy density functional (EDF) framework, we investigate the implications of CREX and PREX-II data on nuclear matter symmetry energy and isovector properties of finite nuclei: neutron skin thickness and dipole pol… ▽ More Recent precise parity-violating electron scattering experiments on $^{48}$Ca (CREX) and $^{208}$Pb (PREX-II) provide a new insight on the formation of neutron skin in nuclei. Within the energy density functional (EDF) framework, we investigate the implications of CREX and PREX-II data on nuclear matter symmetry energy and isovector properties of finite nuclei: neutron skin thickness and dipole polarizability. The weak-charge form factors from the CREX and PREX-II experiments are employed directly in constraining the relativistic density-dependent point coupling EDFs. The EDF established with the CREX data acquires considerably smaller values of the symmetry energy parameters, neutron skin thickness and dipole polarizability both for $^{48}$Ca and $^{208}$Pb, in comparison to the EDF obtained using the PREX-II data, and previously established EDFs. Presented analysis shows that CREX and PREX-II experiments could not provide consistent constraints for the isovector sector of the EDFs, and further theoretical and experimental studies are required. △ Less

Submitted 9 December, 2022; v1 submitted 13 June, 2022; originally announced June 2022.

Comments: 8 pages, 5 figures

Application of multilayer perceptron with data augmentation in nuclear physics

Authors: Hüseyin Bahtiyar, Derya Soydaner, Esra Yüksel

Abstract: Neural networks have become popular in many fields of science since they serve as promising, reliable and powerful tools. In this work, we study the effect of data augmentation on the predictive power of neural network models for nuclear physics data. We present two different data augmentation techniques, and we conduct a detailed analysis in terms of different depths, optimizers, activation funct… ▽ More Neural networks have become popular in many fields of science since they serve as promising, reliable and powerful tools. In this work, we study the effect of data augmentation on the predictive power of neural network models for nuclear physics data. We present two different data augmentation techniques, and we conduct a detailed analysis in terms of different depths, optimizers, activation functions and random seed values to show the success and robustness of the model. Using the experimental uncertainties for data augmentation for the first time, the size of the training data set is artificially boosted and the changes in the root-mean-square error between the model predictions on the test set and the experimental data are investigated. Our results show that the data augmentation decreases the prediction errors, stabilizes the model and prevents overfitting. The extrapolation capabilities of the MLP models are also tested for newly measured nuclei in AME2020 mass table, and it is shown that the predictions are significantly improved by using data augmentation. △ Less

Submitted 5 July, 2022; v1 submitted 16 May, 2022; originally announced May 2022.

MoRS: An Approximate Fault Modelling Framework for Reduced-Voltage SRAMs

Authors: İsmail Emir Yüksel, Behzad Salami, Oğuz Ergin, Osman Sabri Ünsal, Adrian Cristal Kestelman

Abstract: On-chip memory (usually based on Static RAMs-SRAMs) are crucial components for various computing devices including heterogeneous devices, e.g., GPUs, FPGAs, ASICs to achieve high performance. Modern workloads such as Deep Neural Networks (DNNs) running on these heterogeneous fabrics are highly dependent on the on-chip memory architecture for efficient acceleration. Hence, improving the energy-effi… ▽ More On-chip memory (usually based on Static RAMs-SRAMs) are crucial components for various computing devices including heterogeneous devices, e.g., GPUs, FPGAs, ASICs to achieve high performance. Modern workloads such as Deep Neural Networks (DNNs) running on these heterogeneous fabrics are highly dependent on the on-chip memory architecture for efficient acceleration. Hence, improving the energy-efficiency of such memories directly leads to an efficient system. One of the common methods to save energy is undervolting i.e., supply voltage underscaling below the nominal level. Such systems can be safely undervolted without incurring faults down to a certain voltage limit. This safe range is also called voltage guardband. However, reducing voltage below the guardband level without decreasing frequency causes timing-based faults. In this paper, we propose MoRS, a framework that generates the first approximate undervolting fault model using real faults extracted from experimental undervolting studies on SRAMs to build the model. We inject the faults generated by MoRS into the on-chip memory of the DNN accelerator to evaluate the resilience of the system under the test. MoRS has the advantage of simplicity without any need for high-time overhead experiments while being accurate enough in comparison to a fully randomly-generated fault injection approach. We evaluate our experiment in popular DNN workloads by map** weights to SRAMs and measure the accuracy difference between the output of the MoRS and the real data. Our results show that the maximum difference between real fault data and the output fault model of MoRS is 6.21%, whereas the maximum difference between real data and random fault injection model is 23.2%. In terms of average proximity to the real data, the output of MoRS outperforms the random fault injection approach by 3.21x. △ Less

Submitted 19 July, 2022; v1 submitted 12 October, 2021; originally announced October 2021.

Comments: 13 pages, 10 figures. This work appears at the Transactions on Computer-Aided Design of Integrated Circuits and Systems: SI on Compiler Frameworks and Co-design Methodologies

Graph2Pix: A Graph-Based Image to Image Translation Framework

Authors: Dilara Gokay, Enis Simsar, Efehan Atici, Alper Ahmetoglu, Atif Emre Yuksel, Pinar Yanardag

Abstract: In this paper, we propose a graph-based image-to-image translation framework for generating images. We use rich data collected from the popular creativity platform Artbreeder (http://artbreeder.com), where users interpolate multiple GAN-generated images to create artworks. This unique approach of creating new images leads to a tree-like structure where one can track historical data about the creat… ▽ More In this paper, we propose a graph-based image-to-image translation framework for generating images. We use rich data collected from the popular creativity platform Artbreeder (http://artbreeder.com), where users interpolate multiple GAN-generated images to create artworks. This unique approach of creating new images leads to a tree-like structure where one can track historical data about the creation of a particular image. Inspired by this structure, we propose a novel graph-to-image translation model called Graph2Pix, which takes a graph and corresponding images as input and generates a single image as output. Our experiments show that Graph2Pix is able to outperform several image-to-image translation frameworks on benchmark metrics, including LPIPS (with a 25% improvement) and human perception studies (n=60), where users preferred the images generated by our method 81.5% of the time. Our source code and dataset are publicly available at https://github.com/catlab-team/graph2pix. △ Less

Submitted 22 August, 2021; originally announced August 2021.

Anomaly Detection for Solder Joints Using $β$-VAE

Authors: Furkan Ulger, Seniha Esen Yuksel, Atila Yilmaz

Abstract: In the assembly process of printed circuit boards (PCB), most of the errors are caused by solder joints in Surface Mount Devices (SMD). In the literature, traditional feature extraction based methods require designing hand-crafted features and rely on the tiered RGB illumination to detect solder joint errors, whereas the supervised Convolutional Neural Network (CNN) based approaches require a lot… ▽ More In the assembly process of printed circuit boards (PCB), most of the errors are caused by solder joints in Surface Mount Devices (SMD). In the literature, traditional feature extraction based methods require designing hand-crafted features and rely on the tiered RGB illumination to detect solder joint errors, whereas the supervised Convolutional Neural Network (CNN) based approaches require a lot of labelled abnormal samples (defective solder joints) to achieve high accuracy. To solve the optical inspection problem in unrestricted environments with no special lighting and without the existence of error-free reference boards, we propose a new beta-Variational Autoencoders (beta-VAE) architecture for anomaly detection that can work on both IC and non-IC components. We show that the proposed model learns disentangled representation of data, leading to more independent features and improved latent space representations. We compare the activation and gradient-based representations that are used to characterize anomalies; and observe the effect of different beta parameters on accuracy and on untwining the feature representations in beta-VAE. Finally, we show that anomalies on solder joints can be detected with high accuracy via a model trained on directly normal samples without designated hardware or feature engineering. △ Less

Submitted 16 December, 2021; v1 submitted 24 April, 2021; originally announced April 2021.

Comments: Published in IEEE Transactions on Components, Packaging and Manufacturing Technology

Journal ref: in IEEE Transactions on Components, Packaging and Manufacturing Technology, vol. 11, no. 12, pp. 2214-2221, Dec. 2021

Nuclear binding energy predictions using neural networks: Application of the multilayer perceptron

Authors: Esra Yüksel, Derya Soydaner, Hüseyin Bahtiyar

Abstract: In recent years, artificial neural networks and their applications for large data sets have became a crucial part of scientific research. In this work, we implement the Multilayer Perceptron (MLP), which is a class of feedforward artificial neural network (ANN), to predict ground-state binding energies of atomic nuclei. Two different MLP architectures with three and four hidden layers are used to… ▽ More In recent years, artificial neural networks and their applications for large data sets have became a crucial part of scientific research. In this work, we implement the Multilayer Perceptron (MLP), which is a class of feedforward artificial neural network (ANN), to predict ground-state binding energies of atomic nuclei. Two different MLP architectures with three and four hidden layers are used to study their effects on the predictions. To train the MLP architectures, two different inputs are used along with the latest atomic mass table and changes in binding energy predictions are also analyzed in terms of the changes in the input channel. It is seen that using appropriate MLP architectures and putting more physical information in the input channels, MLP can make fast and reliable predictions for binding energies of atomic nuclei, which is also comparable to the microscopic energy density functionals. △ Less

Submitted 7 May, 2021; v1 submitted 28 January, 2021; originally announced January 2021.

Comments: 20 pages, 5 figures

Journal ref: International Journal of Modern Physics E Vol. 30, No. 3 (2021) 2150017

Evolution of $β$-decay half-lives at finite-temperatures

Authors: A. Ravlic, E. Yuksel, Y. F. Niu, N. Paar

Abstract: $β… ▽ More $β$-decay properties of nuclei are investigated within the relativistic nuclear energy density functional framework by varying the temperature and density, conditions relevant to the final stages of stellar evolution. Both thermal and nuclear pairing effects are taken into account in the description of nuclear properties and in the finite temperature proton-neutron relativistic quasiparticle random-phase approximation (FT-PNRQRPA) to calculate the relevant allowed and first-forbidden transitions in the $β$-decay. The temperature and density effects are studied on the $β$-decay half-lives between temperatures $T = 0-1.5$ MeV, and at densities $ρY_e = 10^7$ g/cm${}^3$ and $10^9$ g/cm${}^3$. The relevant Gamow-Teller transitions are also investigated for Ti, Fe, Cd, and Sn isotopic chains at finite temperatures. We find that the $β$-decay half-lives increase with increasing density $ρY_e$, whereas half-lives generally decrease with increasing temperature. It is shown that the temperature effects decrease the half-lives considerably in nuclei with longer half-lives at zero temperature, while only slight changes for nuclei with short half-lives are obtained. We also show the importance of including the de-excitation transitions in the calculation of the $β$-decay half-lives at finite temperatures. Comparing the FT-PNQRPA results with the shell-model calculations for $pf-$shell nuclei, a reasonable agreement is obtained for the temperature dependence of $β$-decay rates. Finally, large-scale calculations of $β$-decay half-lives are performed at temperatures $T_9(\text{K}) = 5$ and $T_9(\text{K}) = 10$ and densities $ρY_e = 10^7$ g/cm${}^3$ and $10^9$ g/cm${}^3$ for even-even nuclei in the range $8 \leq Z \leq 82$, relevant for astrophysical nucleosynthesis mechanisms. △ Less

Submitted 3 September, 2021; v1 submitted 13 October, 2020; originally announced October 2020.

Comments: 15 pages, 7 figures, submitted for publication

Stellar electron capture rates based on finite temperature relativistic quasiparticle random-phase approximation

Authors: A. Ravlic, E. Yuksel, Y. F. Niu, G. Colo, E. Khan, N. Paar

Abstract: The electron capture process plays an important role in the evolution of the core collapse of a massive star that precedes the supernova explosion. In this study, the electron capture on nuclei in stellar environment is described in the relativistic energy density functional framework, including both the finite temperature and nuclear pairing effects. Relevant nuclear transitions… ▽ More The electron capture process plays an important role in the evolution of the core collapse of a massive star that precedes the supernova explosion. In this study, the electron capture on nuclei in stellar environment is described in the relativistic energy density functional framework, including both the finite temperature and nuclear pairing effects. Relevant nuclear transitions $J^π= 0^\pm, 1^\pm, 2^\pm$ are calculated using the finite temperature proton-neutron quasiparticle random phase approximation with the density-dependent meson-exchange effective interaction DD-ME2. The pairing and temperature effects are investigated in the Gamow-Teller transition strength as well as the electron capture cross sections and rates for ${}^{44}$Ti and ${}^{56}$Fe in stellar environment. It is found that the pairing correlations establish an additional unblocking mechanism similar to the finite temperature effects, that can allow otherwise blocked single-particle transitions. Inclusion of pairing correlations at finite temperature can significantly alter the electron capture cross sections, even up to a factor of two for ${}^{44}$Ti, while for the same nucleus electron capture rates can increase by more than one order of magnitude. We conclude that for the complete description of electron capture on nuclei both pairing and temperature effects must be taken into account. △ Less

Submitted 15 June, 2020; originally announced June 2020.

Comments: 16 pages, 11 figures, submitted to Physical Review C

Journal ref: Phys. Rev. C 102, 065804 (2020)

An Experimental Study of Reduced-Voltage Operation in Modern FPGAs for Neural Network Acceleration

Authors: Behzad Salami, Erhan Baturay Onural, Ismail Emir Yuksel, Fahrettin Koc, Oguz Ergin, Adrian Cristal Kestelman, Osman S. Unsal, Hamid Sarbazi-Azad, Onur Mutlu

Abstract: We empirically evaluate an undervolting technique, i.e., underscaling the circuit supply voltage below the nominal level, to improve the power-efficiency of Convolutional Neural Network (CNN) accelerators mapped to Field Programmable Gate Arrays (FPGAs). Undervolting below a safe voltage level can lead to timing faults due to excessive circuit latency increase. We evaluate the reliability-power tr… ▽ More We empirically evaluate an undervolting technique, i.e., underscaling the circuit supply voltage below the nominal level, to improve the power-efficiency of Convolutional Neural Network (CNN) accelerators mapped to Field Programmable Gate Arrays (FPGAs). Undervolting below a safe voltage level can lead to timing faults due to excessive circuit latency increase. We evaluate the reliability-power trade-off for such accelerators. Specifically, we experimentally study the reduced-voltage operation of multiple components of real FPGAs, characterize the corresponding reliability behavior of CNN accelerators, propose techniques to minimize the drawbacks of reduced-voltage operation, and combine undervolting with architectural CNN optimization techniques, i.e., quantization and pruning. We investigate the effect of environmental temperature on the reliability-power trade-off of such accelerators. We perform experiments on three identical samples of modern Xilinx ZCU102 FPGA platforms with five state-of-the-art image classification CNN benchmarks. This approach allows us to study the effects of our undervolting technique for both software and hardware variability. We achieve more than 3X power-efficiency (GOPs/W) gain via undervolting. 2.6X of this gain is the result of eliminating the voltage guardband region, i.e., the safe voltage region below the nominal level that is set by FPGA vendor to ensure correct functionality in worst-case environmental and circuit conditions. 43% of the power-efficiency gain is due to further undervolting below the guardband, which comes at the cost of accuracy loss in the CNN accelerator. We evaluate an effective frequency underscaling technique that prevents this accuracy loss, and find that it reduces the power-efficiency gain from 43% to 25%. △ Less

Submitted 30 December, 2020; v1 submitted 4 May, 2020; originally announced May 2020.

Comments: To appear at the DSN 2020 conference

Gamow-Teller excitations at finite temperature: Competition between pairing and temperature effects

Authors: E. Yüksel, N. Paar, G. Colò, E. Khan, Y. F. Niu

Abstract: The relativistic and nonrelativistic finite temperature proton-neutron quasiparticle random phase approximation (FT-PNQRPA) methods are developed to study the interplay of the pairing and temperature effects on the Gamow-Teller excitations in open-shell nuclei, as well as to explore the model dependence of the results by using two rather different frameworks for effective nuclear interactions. The… ▽ More The relativistic and nonrelativistic finite temperature proton-neutron quasiparticle random phase approximation (FT-PNQRPA) methods are developed to study the interplay of the pairing and temperature effects on the Gamow-Teller excitations in open-shell nuclei, as well as to explore the model dependence of the results by using two rather different frameworks for effective nuclear interactions. The Skyrme-type functional SkM* is employed in the nonrelativistic framework, while the density-dependent meson-exchange interaction DD-ME2 is implemented in the relativistic approach. Both the isoscalar and isovector pairing interactions are taken into account within the FT-PNQRPA. Model calculations show that below the critical temperatures the Gamow-Teller excitations display a sensitivity to both the finite temperature and pairing effects, and this demonstrates the necessity for implementing both in the theoretical framework. The established FT-PNQRPA opens perspectives for the future complete and consistent description of astrophysically relevant weak interaction processes in nuclei at finite temperature such as $β$-decays, electron capture, and neutrino-nucleus reactions. △ Less

Submitted 20 May, 2020; v1 submitted 19 September, 2019; originally announced September 2019.

Comments: 15 pages, 6 figures, published in Physical Review C

Journal ref: Phys. Rev. C 101, 044305 (2020)

Nuclear excitations within microscopic EDF approaches : pairing and temperature effects on the dipole response

Authors: E. Yüksel, G. Colò, E. Khan, Y. F. Niu

Abstract: In the present work, the isovector dipole responses, both in the resonance region and in the low-energy sector, are investigated using the microscopic nuclear Energy Density Functionals (EDFs). The self-consistent QRPA model based on Skyrme Hartree Fock BCS approach is applied to study the evolution of the isovector dipole strength by increasing neutron number and temperature. First, the isovector… ▽ More In the present work, the isovector dipole responses, both in the resonance region and in the low-energy sector, are investigated using the microscopic nuclear Energy Density Functionals (EDFs). The self-consistent QRPA model based on Skyrme Hartree Fock BCS approach is applied to study the evolution of the isovector dipole strength by increasing neutron number and temperature. First, the isovector dipole strength and excitation energies are investigated for the Ni isotopic chain at zero temperature. The evolution of the low-energy dipole strength is studied as a function of the neutron number. In the second part, the temperature dependence of the isovector dipole excitations is studied using the self-consistent finite temperature QRPA, below and above the critical temperatures. It is shown that new excited states become possible due to the thermally occupied states above the Fermi level, and opening of the new excitations channels. In addition, temperature leads to fragmentation of the low-energy strength around the neutron separation energies, and between 9 and 12 MeV. We find that the cumulative sum of the strength below E$\leq12$ MeV decreases in open-shell nuclei due to the vanishing of the pairing correlations as temperature increases up to T=1 MeV. The analysis of the transition densities in the low-energy region shows that the proton and neutron transition densities display a mixed pattern: both isoscalar and isovector motion of protons and neutrons are obtained inside nuclei, while the neutron transition density is dominant at the surface region. △ Less

Submitted 25 April, 2019; originally announced April 2019.

Comments: Contribution to the special issue of the EPJA on the topic "Giant, Pygmy, Pairing Resonances and related topics" dedicated to the memory of Pier Francesco Bortignon

Optimizing the relativistic energy density functional with nuclear ground state and collective excitation properties

Authors: E. Yuksel, T. Marketin, N. Paar

Abstract: We introduce a new relativistic energy density functional constrained by the ground state properties of atomic nuclei along with the isoscalar giant monopole resonance energy and dipole polarizability in $^{208}$Pb. A unified framework of the relativistic Hartree-Bogoliubov model and random phase approximation based on the relativistic density-dependent point coupling interaction is established in… ▽ More We introduce a new relativistic energy density functional constrained by the ground state properties of atomic nuclei along with the isoscalar giant monopole resonance energy and dipole polarizability in $^{208}$Pb. A unified framework of the relativistic Hartree-Bogoliubov model and random phase approximation based on the relativistic density-dependent point coupling interaction is established in order to determine the DD-PCX parameterization by $χ^2$ minimization. This procedure is supplemented with the co-variance analysis in order to estimate statistical uncertainties in the model parameters and observables. The effective interaction DD-PCX accurately describes the nuclear ground state properties including the neutron-skin thickness, as well as the isoscalar giant monopole resonance excitation energies and dipole polarizabilities. The implementation of the experimental data on nuclear excitations allows constraining the symmetry energy close to the saturation density, and the incompressibility of nuclear matter by using genuine observables on finite nuclei in the $χ^2$ minimization protocol, rather than using pseudo-observables on the nuclear matter, or by relying on the ground state properties only, as it has been customary in the previous studies. △ Less

Submitted 16 January, 2019; originally announced January 2019.

Comments: 6 pages, 3 figures, submitted to Physical Review C

Journal ref: Phys. Rev. C 99, 034318 (2019)

Low-energy quadrupole states in neutron-rich tin nuclei

Authors: E. Yüksel, G. Colò, E. Khan, Y. F. Niu

Abstract: We present a study on the isoscalar quadrupole strength in tin nuclei, focusing mainly on the low-energy region. The calculations are performed using the Skyrme type energy density functionals within the fully self-consistent quasiparticle random phase approximation, allowing for a good description of the experimental data for the first 2$^+$ state and the isoscalar giant quadrupole resonance. It… ▽ More We present a study on the isoscalar quadrupole strength in tin nuclei, focusing mainly on the low-energy region. The calculations are performed using the Skyrme type energy density functionals within the fully self-consistent quasiparticle random phase approximation, allowing for a good description of the experimental data for the first 2$^+$ state and the isoscalar giant quadrupole resonance. It is found that the first $2^+$ state and the low-energy quadrupole states between 3 and 6 MeV display an opposite behavior with increasing neutron number. While the strength of the first $2^+$ state decreases, some excited states start to accumulate between 3 and 6 MeV, and increase their strength with increasing neutron number. This low-energy region between 3 and 6 MeV is quite sensitive to the changes in the shell structure with increasing neutron number. In particular, between $^{116}$Sn and $^{132}$Sn, the filling of the neutron orbitals with large values of $j$, has an important impact on the low-energy region. Our analysis shows that the low-energy states have a non-collective character, except the first 2$^+$ state. In addition, the states in the low-energy region above 5 MeV display an interesting pattern: with the increase of the neutron number, their strength increases and their nature changes, namely they switch from proton excitations to neutron-dominated one. We conclude that the low-energy quadrupole states between 3 and 6 MeV can provide information about the shell evolution in open-shell nuclei. △ Less

Submitted 14 June, 2018; originally announced June 2018.

Comments: 12 pages, 6 figures

Journal ref: Phys. Rev. C 97, 064308 (2018)

Multipole excitations in hot nuclei within the finite temperature quasiparticle random phase approximation framework

Authors: E. Yüksel, G. Colò, E. Khan, Y. F. Niu, K. Bozkurt

Abstract: The effect of temperature on the evolution of the isovector dipole and isoscalar quadrupole excitations in $^{68}$Ni and $^{120}$Sn nuclei is studied within the fully self-consistent finite temperature quasiparticle random phase approximation framework, based on the Skyrme-type SLy5 energy density functional. The new low-energy excitations emerge due to the transitions from thermally occupied stat… ▽ More The effect of temperature on the evolution of the isovector dipole and isoscalar quadrupole excitations in $^{68}$Ni and $^{120}$Sn nuclei is studied within the fully self-consistent finite temperature quasiparticle random phase approximation framework, based on the Skyrme-type SLy5 energy density functional. The new low-energy excitations emerge due to the transitions from thermally occupied states to the discretized continuum at finite temperatures, whereas the isovector giant dipole resonance is not strongly impacted by the increase of temperature. The radiative dipole strength at low-energies is also investigated for the $^{122}$Sn nucleus, becoming compatible with the available experimental data when the temperature is included. In addition, both the isoscalar giant quadrupole resonance and low-energy quadrupole states are sensitive to the temperature effect: while the centroid energies decrease in the case of the isoscalar giant quadrupole resonance, the collectivity of the first $2^{+}$ state is quenched and the opening of new excitation channels fragments the low-energy strength at finite temperatures. △ Less

Submitted 8 August, 2017; originally announced August 2017.

Comments: 13 pages, 6 figures

Journal ref: Phys. Rev. C. 96, 024303 (2017)

Effect of temperature on the effective mass and the neutron skin of nuclei

Authors: E. Yüksel, E. Khan, K. Bozkurt, G. Colò

Abstract: We study the finite temperature Hartree-Fock-BCS approximation for selected stable Sn nuclei with zero-range Skyrme forces. Hartree Fock BCS approximation allows for a straightforward interpretation of the results since it involves u and v's which are not matrices as in HFB. Pairing transitions from superfluid to the normal state are studied with respect to the temperature. The temperature depende… ▽ More We study the finite temperature Hartree-Fock-BCS approximation for selected stable Sn nuclei with zero-range Skyrme forces. Hartree Fock BCS approximation allows for a straightforward interpretation of the results since it involves u and v's which are not matrices as in HFB. Pairing transitions from superfluid to the normal state are studied with respect to the temperature. The temperature dependence of the nuclear radii and neutron skin are also analyzed. An increase of proton and neutron radii is obtained in neutron rich nuclei especially above the critical temperature. Using different Skyrme energy functionals, it is found that the correlation between the effective mass in symmetric nuclear matter and the critical temperature depends on the pairing prescription. The temperature dependence of the nucleon effective mass is also investigated, showing that proton and neutron effective masses display different behavior below and above the critical temperature, due to the small temperature dependence of the density. △ Less

Submitted 31 October, 2014; v1 submitted 7 June, 2014; originally announced June 2014.

Comments: 16 pages, 7 figures

Journal ref: The European Physical Journal A (2014)

Effects of the tensor force on the ground and first $2^{+}$ states of the magic $^{54}$Ca nucleus

Authors: E. Yüksel, N. Van Giai, E. Khan, K. Bozkurt

Abstract: The magic nature of the $^{54}$Ca nucleus is investigated in the light of the recent experimental results. We employ both HFB and HF+BCS methods using Skyrme-type SLy5, SLy5+T and T44 interactions. The evolution of the single-particle spectra is studied for the N=34 isotones: $^{60}$Fe, $^{58}$Cr, $^{56}$Ti and $^{54}$Ca. An increase is obtained in the neutron spin-orbit splittings of $p$ and $f$… ▽ More The magic nature of the $^{54}$Ca nucleus is investigated in the light of the recent experimental results. We employ both HFB and HF+BCS methods using Skyrme-type SLy5, SLy5+T and T44 interactions. The evolution of the single-particle spectra is studied for the N=34 isotones: $^{60}$Fe, $^{58}$Cr, $^{56}$Ti and $^{54}$Ca. An increase is obtained in the neutron spin-orbit splittings of $p$ and $f$ states due to the effect of the tensor force which also makes $^{54}$Ca a magic nucleus candidate. QRPA calculations on top of HF+BCS are performed to investigate the first $J^π$=$2^{+}$ states of the calcium isotopic chain. A good agreement for excitation energies is obtained when we include the tensor force in the mean-field part of the calculations. The first $2^{+}$ states indicate a subshell closure for both $^{52}$Ca and $^{54}$Ca nuclei. We confirm that the tensor part of the interaction is quite essential in explaining the neutron subshell closure in $^{52}$Ca and $^{54}$Ca nuclei. △ Less

Submitted 30 June, 2014; v1 submitted 2 April, 2014; originally announced April 2014.

Comments: 8 pages, 3 figures

Journal ref: Phys. Rev. C 89, 064322 (2014)

Design-Efficiency in Security

Authors: Ender Yüksel, Hanne Riis Nielson, Flemming Nielson

Abstract: In this document, we present our applied results on balancing security and performance using a running example, which is based on sensor networks. These results are forming a basis for a new approach to balance security and performance, and therefore provide design-efficiency of key updates. We employ probabilistic model checking approach and present our modelling and analysis study using PRISM… ▽ More In this document, we present our applied results on balancing security and performance using a running example, which is based on sensor networks. These results are forming a basis for a new approach to balance security and performance, and therefore provide design-efficiency of key updates. We employ probabilistic model checking approach and present our modelling and analysis study using PRISM model checker. △ Less

Submitted 5 February, 2013; originally announced February 2013.

Report number: IMM--TECHNICALREPORT?2013-03

Some integral inequalities for α-, m-, (α,m)-logarithmically convex functions

Authors: Mevlut Tunc, Ebru Yuksel

Abstract: In this paper, we establish some new Hadamard type inequalities using elementary well known inequalities for functions whose inequalities absolute values are α-, m-, (α,m)-logarithmically convex. In this paper, we establish some new Hadamard type inequalities using elementary well known inequalities for functions whose inequalities absolute values are α-, m-, (α,m)-logarithmically convex. △ Less

Submitted 28 January, 2013; originally announced January 2013.

MSC Class: 26A15; 26A51; 26D10

Analysing ZigBee Key Establishment Protocols

Authors: Ender Yüksel

Abstract: In this report, we present our approach for protocol analysis together with a real example where we find an important flow in a contemporary wireless sensor network security protocol. We start by modelling protocols using a specific process algebraic formalism called LySa process calculus. We then apply an analysis based on a special program analysis technique called control flow analysis. We appl… ▽ More In this report, we present our approach for protocol analysis together with a real example where we find an important flow in a contemporary wireless sensor network security protocol. We start by modelling protocols using a specific process algebraic formalism called LySa process calculus. We then apply an analysis based on a special program analysis technique called control flow analysis. We apply this technique to the ZigBee-2007 End-to-End Application Key Establishment Protocol and with the help of the analysis discover an unknown flaw. Finally we suggest a fix for the protocol, and verify that the fix works by using the same technique. △ Less

Submitted 30 May, 2012; originally announced May 2012.

Optimizing ZigBee Security using Stochastic Model Checking

Authors: Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Matthias Fruth, Marta Kwiatkowska

Abstract: ZigBee is a fairly new but promising wireless sensor network standard that offers the advantages of simple and low resource communication. Nevertheless, security is of great concern to ZigBee, and enhancements are prescribed in the latest ZigBee specication: ZigBee-2007. In this technical report, we identify an important gap in the specification on key updates, and present a methodology for determ… ▽ More ZigBee is a fairly new but promising wireless sensor network standard that offers the advantages of simple and low resource communication. Nevertheless, security is of great concern to ZigBee, and enhancements are prescribed in the latest ZigBee specication: ZigBee-2007. In this technical report, we identify an important gap in the specification on key updates, and present a methodology for determining optimal key update policies and security parameters. We exploit the stochastic model checking approach using the probabilistic model checker PRISM, and assess the security needs for realistic application scenarios. △ Less

Submitted 30 May, 2012; originally announced May 2012.

Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study

Authors: Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang

Abstract: Cyber-physical systems integrate information and communication technology functions to the physical elements of a system for monitoring and controlling purposes. The conversion of traditional power grid into a smart grid, a fundamental example of a cyber-physical system, raises a number of issues that require novel methods and applications. In this context, an important issue is the verification o… ▽ More Cyber-physical systems integrate information and communication technology functions to the physical elements of a system for monitoring and controlling purposes. The conversion of traditional power grid into a smart grid, a fundamental example of a cyber-physical system, raises a number of issues that require novel methods and applications. In this context, an important issue is the verification of certain quantitative properties of the system. In this technical report, we consider a specific Chinese Smart Grid implementation and try to address the verification problem for certain quantitative properties including performance and battery consumption. We employ stochastic model checking approach and present our modelling and analysis study using PRISM model checker. △ Less

Submitted 30 May, 2012; originally announced May 2012.