Search results

Smart contracts are written in high-level programming languages, compiled into Ethereum Virtual Machine (EVM) bytecode, deployed onto blockchain systems and called with the corresponding address by transactions. The deployed smart contracts are immutable, even if there are bugs or vulnerabilities. Therefore, it is critical to verify smart contracts before deployment. This paper aims to help developers effectively and efficiently locate potential defects in smart contracts.

GethReplayer, a smart contract testing method based on transaction replay, is proposed. It constructs a parallel transaction execution environment with two virtual machines to compare the execution results. It uses the real existing transaction data on Ethereum and the source code of the tested smart contacts as inputs, conditionally substitutes the bytecode of the tested smart contract input into the testing EVM, and then monitors the environmental information to check the correctness of the contract.

Experiments verified that the proposed method is effective in smart contract testing. Virtual environmental information has a significant effect on the success of transaction replay, which is the basis for the performance of the method. The efficiency of error locating was approximately 14 times faster with the proposed method than without. In addition, the proposed method supports gas consumption analysis.

This paper addresses the difficulty that developers encounter in testing smart contracts before deployment and focuses on helping develop smart contracts with as few defects as possible. GethReplayer is expected to be an alternative solution for smart contract testing and provide inspiration for further research.

This review paper seeks to enhance knowledge of how pre-loading affects reinforced concrete (RC) beams under fire. It investigates key factors like deflection and load capacity to understand pre-loading's role in replicating RC beams' actual responses to fire, aiming to improve fire testing protocols and structural fire engineering design.

This review systematically aggregates data from existing literature on the fire response of RC beams, comparing scenarios with (WP) and without pre-loading (WOP). Through statistical tools like the two-tailed t-test and Mann–Whitney U-test, it assesses deflection extremes. The study further examines structural responses, including flexural and shear behavior, ultimate load capacity, post-yield behavior, stiffness degradation and failure modes. The approach concludes with a statistical forecast of ideal pre-load levels to elevate experimental precision and enhance fire safety standards.

The review concludes that pre-loading profoundly affects the fire response of RC beams, suggesting a 35%–65% structural capacity range for realistic simulations. The review also recommended the initial crack load as an alternative metric for determining the pre-loading impact. Crucially, it highlights that pre-loading not only influences the fire response but also significantly alters the overall structural behavior of the RC beams.

The review advances structural fire engineering with an in-depth analysis of pre-loading's impact on RC beams during fire exposure, establishing a validated pre-load range through thorough statistical analysis and examination of previous research. It refines experimental methodologies and structural design accuracy, ultimately bolstering fire safety protocols.

The ultimate objective of this study is to compare the impact of face-to-face and online flipped learning on students' academic achievements and their perspectives on learning and teaching, offering valuable insights to the field.

The study utilized a quasi-experimental research method that involves pre-test and post-test control groups.

The results indicated that face-to-face and online flipped learning positively impacted learning, with comparable contributions to academic achievement. However, we found that online flipped learning did not affect students' beliefs about learning and teaching, while face-to-face flipped learning positively influenced them.

As distance learning becomes increasingly important in our modern era, this research aims to explore the use of active learning methods, including discussion, writing, animation, drawing, association, analysis, knowledge measurement and games, in virtual learning environments, such as online flipped learning. The study seeks to enhance the existing literature on the impact of face-to-face and online flipped learning models on student success. Additionally, it aims to address a significant gap in the literature by determining the effect of these models on students' epistemological and pedagogical beliefs, which can impact their motivation, learning outcomes, academic achievements and decision-making processes.

The purpose of this article is to study the link between mean shift and inflation coefficient when the underlying null hypothesis is rejected in the analysis of variance (ANOVA) application after the preliminary test on the model specification.

A new approach is proposed to study the link between mean shift and inflation coefficient when the underlying null hypothesis is rejected in the ANOVA application. First, we determine this relationship from the general perspective of Six Sigma methodology under the normality assumption. Then, the approach is extended to a balanced two-stage nested design with a random effects model in which a preliminary test is used to fix the main test statistic.

The features of mean-shifted and inflated (but centred) processes with the same specification limits from the perspective of Six Sigma are studied. The shift and inflation coefficients are derived for the two-stage balanced ANOVA model. We obtained good predictions for the process shift, given the inflation coefficient, which has been demonstrated using numerical results and applied to case studies. It is understood that the proposed method may be used as a tool to obtain an efficient variance estimator under mean shift.

In this work, as a new research approach, we studied the link between mean shift and inflation coefficients when the underlying null hypothesis is rejected in the ANOVA. Derivations for these coefficients are presented. The results when the null hypothesis is accepted are also studied. This needs the help of preliminary tests to decide on the model assumptions, and hence the researchers are expected to be familiar with the application of preliminary tests.

After studying the proposed approach with extensive numerical results, we have provided two practical examples that demonstrate the significance of the approach for real-time practitioners. The practitioners are expected to take additional care before deciding on the model assumptions by applying preliminary tests.

The proposed approach is original in the sense that there have been no similar approaches existing in the literature that combine Six Sigma and preliminary tests in ANOVA applications.

The build-up of large-scale COVID-19 testing required an unprecedented effort of coordination within decentralized healthcare systems around the world. The aim of the study was to elucidate the challenges of vertical policy coordination between non-political actors at the national and regional levels regarding this policy issue, using Sweden as our case.

Interviews with key actors at the national and regional levels were analyzed using an adapted version of a conceptualization by Adam et al. (2019), depicting barriers to vertical policy coordination.

Our results show that the main issues in the Swedish context were related to parallel sovereignty and a vagueness regarding responsibilities and mandates as well as complex governmental structures and that this was exacerbated by the unfamiliarity and uncertainty of the policy issue. We conclude that understanding the interaction between the comprehensiveness and complexity of the policy issue and the institutional context is crucial to achieving effective vertical policy coordination.

Many studies have focused on countries’ overall pandemic responses, but in order to improve the outcome of future pandemics, it is also important to learn from more specific response measures.

Despite the many advantages this type of equipment offers, there are still some major drawbacks. Linear cutting machine (LCM) cannot accurately simulate the true rock-cutting process as 1. it does not account for the circular path along which tunnel boring machine (TBM) disk cutters cut the tunnel face, 2. it does not accurately model the position of a disk cutter on the cutterhead, 3. it cannot perfectly replicate the rotational speed of a TBM. To enhance the knowledge of these issues and in order to mimic the real rock-cutting process, a new lab testing equipment was developed by Hyundai Engineering and Construction.

A new testing machine called rotary cutting machine (RCM) is designed to simulate the excavation process of hard-rock TBMs and includes features such as TBM cutterhead, RPM simulation, constant normal force mode and constant penetration rate mode. Two sets of tests were conducted on Hwandeung granite using different disk cutter sizes to analyze the cutting forces in various excavation modes. The results are analyzed using statistical analysis and dimensional analysis. A new model is generated using dimensional analysis, and its results are compared against the results of actual cases.

The effectiveness of the new RCM test was demonstrated in its ability to apply various modes of excavation. Initial analysis of chip size revealed that the thickness of the chips is largely dependent on the cutter spacing. Tests with varying RPM showed that an increase in RPM results in an increase in the normal force and rolling force. The cutting coefficient (CC) demonstrated a linear correlation with penetration. The optimal specific energy is achieved at an S/p ratio of around 15. However, a slightly lower S/p ratio can also be used in the design if the cutter specifications permit. A dimensional analysis was utilized to develop a new RCM model based on the results from approximately 1200 tests. The model's applicability was demonstrated through a comparison of TBM penetration data from 26 tunnel projects globally. Results indicated that the predicted penetration rates by the RCM test model were in good agreement with actual rates for the majority of cases. However, further investigation is necessary for softer rock types, which will be conducted in the future using concrete blocks.

The originality of the research lies in the development of Hyundai Engineering and Construction’s advanced full-scale laboratory rotary cutting machine (RCM), which accurately replicates the excavation process of hard-rock tunnel boring machines (TBMs). The study provides valuable insights into cutting forces, chip size, specific energy, RPM and excavation modes, enhancing understanding and decision-making in hard-rock excavation processes. The research also presents a new RCM model validated against TBM penetration data, demonstrating its practical applicability and predictive accuracy.

The study’s objective was to ascertain the connection between secondary school students' test anxiety, academic self-concept, motivation and academic performance in mathematics. The difference between the academic performances of male and female secondary school students who exhibit high and low test anxiety, academic self-concept and motivation levels in mathematics.

Four hypotheses and four research questions were adopted. The design is a correlation. 42,299 mathematics students in senior school year two (SS2) made up the research population. A sample of 1,650 students was selected through a multi-stage sampling procedure. The main instruments used were the Mathematics Test Anxiety Questionnaire (MTAQ), Academic Self-Concept Questionnaire (ASQ) and Academic Motivation Questionnaire (AMQ) and students’ math scores. These instruments were validated by three experts and the reliability coefficients of 0.69, 0.68 and 0.68 were obtained for MTAQ, ASQ and AMQ, respectively, using Cronbach alpha. Pearson product moment correlation was used to analyze the data.

The study’s results showed a correlation between secondary school students' academic performance in mathematics and test anxiety, academic self-concept and motivation. There was a significant difference between secondary school male and female students' test anxiety; there was a significant difference between secondary school male and female students' self-concept and academic performance in mathematics, and there was a significant difference between secondary school male and female students' motivation and academic performance in mathematics.

The major contribution of this study is to investigate the connection between test anxiety, academic self-concept motivation and students’ mathematics performance. There is a difference between psychological variables, gender and mathematics performance.

This study aims to dissect the multifaceted impact of ISO/IEC 17025 accreditation, specifically within civil engineering testing and calibration laboratories. To achieve this, it intends to explore several key objectives: identifying the prominent benefits of accreditation to laboratory performance, understanding the advantages conferred through participation in proficiency testing schemes, assessing the role of accreditation in enhancing laboratory competitiveness, examining the primary challenges encountered during the accreditation process, investigating any discernible adverse effects of accreditation on laboratory performance and evaluating whether the financial cost of accreditation justifies the resultant profitability.

This study employs a qualitative approach through semi-structured interviews with 23 industry professionals—including technical managers, quality managers, external auditors and clients. Thematic analysis, guided by Braun and Clarke’s six-stage paradigm, was utilized to interpret the data, ensuring a comprehensive understanding of the accreditation’s impact.

Findings reveal that accreditation significantly enhances operational processes, fosters quality awareness and facilitates continuous improvement, contributing to greater client satisfaction. In addition, standardized operations and rigorous quality controls further result in enhanced performance metrics, such as staff capability and measurement accuracy. However, the study also uncovers the challenges of accreditation, including high resource costs and bureaucratic hurdles that can inhibit innovation and slow routine operations. Importantly, the research underscores that the impact of accreditation on profitability is not universal, but contingent upon various factors like sector-specific regulations and market demand. The study also highlights sector-specific variations in the role of accreditation as a marketing tool and differing perceptions of its value among clients. It further emphasizes the psychological stress of high-stakes evaluations during audits.

This study represents the first in-depth investigation into the impact of ISO/IEC 17025 accreditation on civil engineering testing and calibration laboratories, directly contributing to the enhancement of their quality and operational standards. Providing actionable insights for laboratories, it underscores the importance of weighing accreditation costs and benefits and the necessity for a tailored approach to the unique market and regulatory landscapes they operate in.