Blockchain Papers

Follow blockchain research across journals, conferences, and preprint repositories.

4 papersLast indexed Aug 31, 2026
Search papers

Paper index

4 results · page 1 of 1

Clear filters
Aug 1, 2024·Boise State University, Albertsons Library
0 cites
Fracture Behavior of Advanced Technology Fuels for Light Water Reactors

Adrianna E. Lupercio

The urgent call to decarbonize our energy infrastructure, while simultaneously meeting growing energy demands, highlights the need for reliable and clean energy sources. Nuclear energy provides reliable, high-capacity baseload electricity while emitting zero greenhouse gases during operation. To adequately meet the energy needs of society and maintain economic viability, it is crucial to enhance the efficiency of nuclear power plant (NPP) operations. Upgrades to NPP operations require near-term Advanced technology Fuel (ATF), such as doped UO 2 , to increase the flexibility of plant operation without impacting safety margins. Small additions of metal oxide dopants are reported to increase grain size, thereby limiting fission gas release (FGR) and increasing pellet compliance to mitigate pellet-chemical interactions (PCI) and pellet-cladding mechanical interactions (PCMI). Prior to implementing doped UO 2 fuels into the reactor fleet, it is important to understand dopant effects on fracture behavior as it impacts fuel performance, such as thermal conductivity, and its tolerance to accident conditions. The availability of fracture data for irradiated and unirradiated UO 2 is limited, while only one study (N = 7, where N is the number of test samples) is available for unirradiated doped UO 2 . Hence, a knowledge-gap exists in the literature for fracture behavior of doped UO 2 fuel forms. The existing knowledge-gap in fuel fracture analysis partly stems from the inherent challenges in machining radiological materials into samples suitable for the traditional bend bar tests. Consequently, acquiring sufficient data to understand the stochastic fracture behavior of ceramic materials is difficult. The ball-on-ring (BOR) biaxial flexure test method utilizes simple right cylindrical geometries representative of commercial nuclear fuel, requires minimal surface preparation, and is tolerant of edge defects; these advantages reduce the time and cost of sample production. As a full understanding of the statistical fracture behavior for ATF concepts has not been established, this work aims to develop and establish the BOR test method to obtain statistical fracture data of undoped and doped UO 2 , providing insight into fracture behavior. Chapter two of this work presents a study performed to validate the BOR biaxial flexure technique using technical ceramics with well-known mechanical properties complemented with finite element analysis (FEA). Chapter three details a test case of CeO 2 and Ti-doped CeO 2 to obtain statistical fracture data. The CeO 2 material was selected as a surrogate for UO 2 to refine sample processing, characterization techniques, and the BOR test method for undoped and doped UO 2 . The research study performed on CeO 2 and Ti-doped CeO 2 was motivated by its use as an electrolyte material for intermediate temperature solid oxide fuel cells (IT-SOFCs). The Ti-CeO 2 samples were doped with 0.1 weight percent (wt%) TiO 2 and resulted in an increased characteristic strength (≈ 20%) and Weibull modulus compared to CeO 2 , making them a more robust option for IT-SOFCs. In the context of this collective study, it was intended to provide proof of concept for the BOR test method for the testing of UO 2 . Chapter four details the work to produce a benchmark dataset to establish the fracture behavior of undoped UO 2 using the BOR method. This work provides a robust dataset for a comparative analysis of the fracture behavior of doped UO 2 and future fracture studies of ATF concepts. Hertzian contact damage was observed for undoped UO 2 test batch 1 due to the small diameter loading ball (≈ 3 mm), which was no longer observed in test batch 2 with a larger loading ball (≈ 19 mm). The contact damage did not appear to influence fracture behavior as both datasets resulted in a characteristic strength and Weibull modulus that agrees with previously published transverse rupture strength (TRS) values for undoped UO 2 . In chapter five, the statistical fracture of doped UO 2 was acquired for UO 2 doped with TiO 2 or Cr 2 O 3 to investigate the effects of dopants on the fracture behavior of UO 2 . The interplay among grain size, dopant-induced defect structures, and pore size and distribution were explored. Both TiO 2 and Cr 2 O 3 doped UO 2 sample sets resulted in lattice contraction and a characteristic strength and Weibull modulus that were lower than expected based on density, pore size, and distribution. The increased grain size of TiO 2 doped UO 2 samples was expected to reduce the fracture strength, yet residual tensile stresses attributed to dopant incorporation in the UO 2 lattice had a greater impact on fracture behavior. Doped UO 2 samples resulted in a reduced fracture strength and with a larger scatter in TRS values. Collectively, the body of this work establishes a BOR test method for the rapid fabrication and mechanical testing of UO 2 and ATF concepts and presented a comparative analysis of fracture behavior for undoped and doped UO 2 fuels. The statistical fracture data presented in this study provide baseline data for enhanced fuel performance code predictions of fuel fracture behavior impacting phenomena during reactor operation. This work provides foundational analysis of fracture behavior to advance research on ATF concepts and assist in acceleration of fuel qualification for the current and future nuclear reactor fleets.

Nuclear Materials and Properties
Nuclear and radioactivity studies
Nuclear reactor physics and engineering
Original source
Mar 24, 2024·arXiv (Cornell University)
5 cites
SoK: Comprehensive Analysis of Rug Pull Causes, Datasets, and Detection Tools in DeFi

Dianxiang Sun, Wei Ma, Liming Nie, Yang Liu

Rug pulls pose a grave threat to the cryptocurrency ecosystem, leading to substantial financial loss and undermining trust in decentralized finance (DeFi) projects. With the emergence of new rug pull patterns, research on rug pull is out of state. To fill this gap, we first conducted an extensive analysis of the literature review, encompassing both scholarly and industry sources. By examining existing academic articles and industrial discussions on rug pull projects, we present a taxonomy inclusive of 34 root causes, introducing six new categories inspired by industry sources: burn, hidden owner, ownership transfer, unverified contract, external call, and fake LP lock. Based on the developed taxonomy, we evaluated current rug pull datasets and explored the effectiveness and limitations of existing detection mechanisms. Our evaluation indicates that the existing datasets, which document 2,448 instances, address only 7 of the 34 root causes, amounting to a mere 20% coverage. It indicates that existing open-source datasets need to be improved to study rug pulls. In response, we have constructed a more comprehensive dataset containing 2,360 instances, expanding the coverage to 54% with the best effort. In addition, the examination of 14 detection tools showed that they can identify 25 of the 34 root causes, achieving a coverage of 73.5%. There are nine root causes (Fake LP Lock, Hidden Fee, and Destroy Token, Fake Money Transfer, Ownership Transfer, Liquidity Pool Block, Freeze Account, Wash-Trading, Hedge) that the existing tools cannot cover. Our work indicates that there is a significant gap between current research and detection tools, and the actual situation of rug pulls.

Open access
2 source records
cs.SE
Nuclear Materials and Properties
VLSI and Analog Circuit Testing
Original source
Feb 16, 2024·arXiv (Cornell University)
1 cites
Towards benchmarking of Solidity verification tools

Massimo Bartoletti, F. Fioravanti, Giulia Matricardi, Roberto Pettinau · 5 authors

Formal verification of smart contracts has become a hot topic in academic and industrial research, given the growing value of assets managed by decentralized applications and the consequent incentive for adversaries to tamper with them. Most of the current research on the verification of contracts revolves around Solidity, the main high-level language supported by Ethereum and other leading blockchains. Although bug detection tools for Solidity have been proliferating almost since the inception of Ethereum, only in the last few years we have seen verification tools capable of proving that a contract respects some desirable properties. An open issue is how to evaluate and compare the effectiveness of these tools: indeed, the existing benchmarks for general-purpose programming languages cannot be adapted to Solidity, given substantial differences in the programming model and in the desirable properties. We address this problem by proposing an open benchmark for Solidity verification tools. By exploiting our benchmark, we compare two leading tools, SolCMC and Certora, discussing their completeness, soundness and expressiveness limitations.

Open access
2 source records
cs.LO
Nuclear Materials and Properties
Original source