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.

When the reinforced concrete beams are reinforced by bonding steel plates to the bottom, excessive use of steel plates will make the reinforced concrete beams become super-reinforced beams, and there are security risks in the actual use of super-reinforced beams. In order to avoid the occurrence of this situation, the purpose of this paper is to study the calculation method of the maximum number of bonded steel plates to reinforce reinforced concrete beams.

First of all, when establishing the limit failure state of the reinforced member, this paper comprehensively considers the role of the tensile steel bar and steel plate and takes the load effect before reinforcement as the negative contribution of the maximum number of bonded steel plates that can be used for reinforcement. Through the definition of the equivalent tensile strength, equivalent elastic modulus and equivalent yield strain of the tensile steel bar and steel plate, a method to determine the relative limit compression zone height of the reinforced member is obtained. Second, based on the maximum ratio of (reinforcement + steel plate), the relative limit compression zone height and the equivalent tensile strength of the tensile steel bar and steel plate of the reinforced member, the calculation method of the maximum number of bonded steel plates is derived. Then, the static load test of the test beam is carried out and the corresponding numerical model is established, and the reliability of the numerical model is verified by comparison. Finally, the accuracy of the calculation method of the maximum number of bonded steel plates is proved by the numerical model.

The numerical simulation results show that when the steel plate width is 800 mm and the thickness is 1–4 mm, the reinforced concrete beam has a delayed yield platform when it reaches the limit state, and the failure mode conforms to the basic stress characteristics of the balanced-reinforced beam. When the steel plate thickness is 5–8 mm, the sudden failure occurs without obvious warning when the reinforced concrete beam reaches the limit state. The failure mode conforms to the basic mechanical characteristics of the super-reinforced beam failure, and the bending moment of the beam failure depends only on the compressive strength of the concrete. The results of the calculation and analysis show that the maximum number of bonded steel plates for reinforced concrete beams in this experiment is 3,487 mm². When the width of the steel plate is 800 mm, the maximum thickness of the steel plate can be 4.36 mm. That is, when the thickness of the steel plate, the reinforced concrete beam is still the balanced-reinforced beam. When the thickness of the steel plate, the reinforced concrete beam will become a super-reinforced beam after reinforcement. The calculation results are in good agreement with the numerical simulation results, which proves the accuracy of the calculation method.

This paper presents a method for calculating the maximum number of steel plates attached to the bottom of reinforced concrete beams. First, based on the experimental research, the failure mode of reinforced concrete beams with different number of steel plates is simulated by the numerical model, and then the result of the calculation method is compared with the result of the numerical simulation to ensure the accuracy of the calculation method of the maximum number of bonded steel plates. And the study does not require a large number of experimental samples, which has a certain economy. The research result can be used to control the number of steel plates in similar reinforcement designs.

The purpose of this study is to examine the propagation of consumer and business confidence in the euro area with a particular focus on the global financial crisis (GFC), the European sovereign debt crisis (ESDC) and the COVID-19-induced Great Lockdown.

The authors apply Diebold and Yilmaz’s connectedness framework and the improved method based on the time-varying parameter vector autoregressive model.

The authors find that although the evolution of business confidence marked the GFC and the ESDC the role of consumer confidence (mainly in those countries with stricter containment and closure measures) increased in the COVID-19-induced crisis.

The findings are related to the different origins of the examined crisis periods, and the analysis of their interrelationship is a very relevant topic for future research.

The purpose of this paper is to investigate the free vibration response of a laminated honeycomb sandwich panels (LHSP) for aerospace applications. Higher order shear deformation theory (HSDT) was simplified for the dynamic analysis of LHSP. Furthermore, the effects of honeycomb parameters on the value of natural frequency (NF) of vibration were explored.

This paper applies HSDT to the analysis of composite LHSP to derive four vibration differential equations of motion and solve it to find the NF of vibration. Two analytical models (Nayak and Meunier models) were selected from literature for comparison of the NF of vibration. In addition, a numerical model was built by using ABAQUS and the results were compared. Furthermore, parametric studies were conducted to explore the effect of honeycomb parameters on the value of the NF of vibration.

The present model is successful in simplifying HSDT for the analysis of LHSP. The first five natural frequencies of vibration were calculated analytically and numerically. In the parametric study, increasing core height or young’s modulus or changing laminate layup will increase the value of NF of vibration. Furthermore, increasing plate constraint (using clamped edge boundary condition) will increase the value of NF of vibrations.

The current analysis is suitable for all-composite symmetric LHSP. However, for isotropic or non-symmetric materials, minor modifications might be adopted.

The application of simplified HSDT to the analysis of LHSP is one of the important values of this research. The other is the successful and complete dynamic analysis of all-composite LHSP.

This study illustrates the economic and financial dynamics of the sector, analysing the evolution of the main ratios of profitability and financial structure of 1,559 Italian real estate companies divided into the three macro-regions: North, Centre and South, in the period 2011–2020. In this way, it is also possible to verify the responsiveness to the 2020 pandemic crisis.

The analysis uses descriptive statistics tools and the ANOVA method of analysis of variance, supplemented by the Tukey–Kramer test, to identify significant differences between the three Italian macro-regions.

The study shows the increase in profitability after the 2008 crisis, despite its reverberation in the years 2012–2013. The financial structure of companies improved almost everywhere. The pandemic had modest effects on performance.

In the future, other indices should be considered to gain a more comprehensive view. This is a quantitative study based on financial statements data that neglects other important economic and social factors.

Public policies could use this study for better interventions to support the sector. In addition, internal management can compare their company's performance with the industry average to identify possible improvements.

The research analyses an economic field that employs a large number of people, especially when considering the construction and real estate services covered by this analysis.

The study contributes to the literature by providing a quantitative analysis of industry dynamics, with comparative information that can be deduced from financial statements over the years.

Additive manufacturing also known as 3D printing is an evolving advanced manufacturing technology critical for the new era of complex machinery and operating systems. Manufacturing systems are increasingly faced with risk of attacks not only by traditional malicious actors such as hackers and cyber-criminals but also by some competitors and organizations engaged in corporate espionage. This paper aims to elaborate a plausible risk practice of designing and demonstrate a case study for the compromised-based malicious for polymer 3D printing system.

This study assumes conditions when a machine was compromised and evaluates the effect of post compromised attack by studying its effects on tensile dog bone specimens as the printed object. The designed algorithm removed predetermined specific number of layers from the tensile samples. The samples were visually identical in terms of external physical dimensions even after removal of the layers. Samples were examined nondestructively for density. Additionally, destructive uniaxial tensile tests were carried out on the modified samples and compared to the unmodified sample as a control for various mechanical properties. It is worth noting that the current approach was adapted for illustrating the impact of cyber altercations on properties of additively produced parts in a quantitative manner. It concurrently pointed towards the vulnerabilities of advanced manufacturing systems and a need for designing robust mitigation/defense mechanism against the cyber altercations.

Density, Young’s modulus and maximum strength steadily decreased with an increase in the number of missing layers, whereas a no clear trend was observed in the case of % elongation. Post tensile test observations of the sample cross-sections confirmed the successful removal of the layers from the samples by the designed method. As a result, the current work presented a cyber-attack model and its quantitative implications on the mechanical properties of 3D printed objects.

To the best of the authors’ knowledge, this is the original work from the team. It is currently not under consideration for publication in any other avenue. The paper provides quantitative approach of realizing impact of cyber intrusions on deteriorated performance of additively manufactured products. It also enlists important intrusion mechanisms relevant to additive manufacturing.

Reducing the number of generated mutants by clustering redundant mutants, reducing the execution time by decreasing the number of generated mutants and reducing the cost of mutation testing are the main goals of this study.

In this study, a method is suggested to identify and prone the redundant mutants. In the method, first, the program source code is analyzed by the developed parser to filter out the effectless instructions; then the remaining instructions are mutated by the standard mutation operators. The single-line mutants are partially executed by the developed instruction evaluator. Next, a clustering method is used to group the single-line mutants with the same results. There is only one complete run per cluster.

The results of experiments on the Java benchmarks indicate that the proposed method causes a 53.51 per cent reduction in the number of mutants and a 57.64 per cent time reduction compared to similar experiments in the MuJava and MuClipse tools.

Developing a classifier that takes the source code of the program and classifies the programs' instructions into effective and effectless classes using a dependency graph; filtering out the effectless instructions reduces the total number of mutants generated; Developing and implementing an instruction parser and instruction-level mutant generator for Java programs; the mutant generator takes instruction in the original program as a string and generates its single-line mutants based on the standard mutation operators in MuJava; Developing a stack-based evaluator that takes an instruction (original or mutant) and the test data and evaluates its result without executing the whole program.

The research objective of this paper is to investigate the direct and indirect impacts of green finance on agricultural carbon total factor productivity (ACTFP) within the framework of the carbon peaking and carbon neutrality (dual carbon) goals, while also identifying the driving factors through an exponential decomposition of ACTFP, aiming to provide policy recommendations to enhance financial support for low-carbon agricultural development.

In this paper, the Global Malmquist Luenberger (GML) Index method was employed to analyze and decompose the ACTFP, while the direct and spillover effects of China’s green finance pilot policy (GFPP) on ACTFP were assessed using the difference-in-differences (DID) method and the spatial differences-in-differences (SDID) method, respectively.

After the implementation of the GFPP, the ACTFP in the pilot area has experienced significant improvement, with the enhancement of technical efficiency serving as the main driving force. In addition, the GFPP exhibits a positive low-carbon spatial spillover effect, indicating it benefits ACTFP in both the pilot and adjacent areas.

Within the framework of the dual carbon goals, the paper highlights agriculture as a significant carbon emitter. ACTFP is assessed by considering the agricultural carbon emission factor as the sole non-desired output, and the impact of the GFPP on ACTFP is investigated through the DID method, thereby providing substantial validation of the hypotheses inferred from the mathematical model. Subsequently, the spillover effects of GFPP on ACTFP are analyzed in conjunction with the spatial econometric model.

This research studies the development of the evolving dynamic system model and explores the important elements or factors and what detailed attributes are the main influences model in achieving the success of a business, industry and management. It also identifies the real and major differences between static and dynamic business management models and the detailed factors that influence them. Later, this research investigates the benefits/advantages and limitations/disadvantages of some research studies. The studies conducted in this research put more emphasis on the capabilities of system dynamics (SD) in modeling and the ability to measure, analyse and capture problems in business, industry, manufacturing etc.

The research presented in this work is a qualitative research based on a literature review. Publicly available research publications and reports have been used to create a research foundation, identify the research gaps and develop new analyses from the comparative studies. As the literature review progressed, the scope of the literature search was further narrowed down to the development of SD models. Often, references to certain selected literature have been examined to find other relevant literature. To do so, a supporting tool (that connects related articles) provided by Google Scholar, Scopus, and particular journals has been used.

The dynamic business and management model is very different from the static business model in complexity, formality, flexibility, capturing, relationships, advantages, innovation model, new goals, updated information, perspective and problem-solving abilities. The initial approach of a static system was applied in the canvas business model, but further developments can be continued with a dynamic system approach.

Based on this study, which shows that businesses are developing more towards digitalisation, wanting the ability to keep up with the era that is moving so fast and the desire to increase profits, an instrument is needed that can help describe the difficulties of the needs and developments of the future world. This instrument, or tool of SD, is also expected to assist in drawing future models and in building a business with complex variables that can be predicted from the beginning.

This study will contribute to the SD study for many business incubator research studies. Many practical in business incubator management to have a benefit how to achieve the business performance management (BPM) in SD review.

The significant differences between static and dynamics to be used for business research and strategic performance management. This comparative study analyses some SD models from many authors worldwide. Their goals behind their strategic business models and encounter for their respective progress.

The purpose of this paper is the dynamic analysis and seismic damage assessment of steel sheet pile quay wall with inelastic behavior underground motions using several accelerograms.

Finite element analysis is conducted using the Plaxis 2D software to generate the numerical model of quay wall. The extension of berth 25 at the port of Bejaia, located in northeastern Algeria, represents a case study. Incremental dynamic analyses are carried out to examine variation of the main response parameters under seismic excitations with increasing Peak ground acceleration (PGA) levels. Two global damage indices based on the safety factor and bending moment are introduced to assess the relationship between PGA and the damage levels.

The results obtained indicate that the sheet pile quay wall can safely withstand seismic loads up to PGAs of 0.35 g and that above 0.45 g, care should be taken with the risk of reaching the ultimate moment capacity of the steel sheet pile. However, for PGAs greater than 0.5 g, it was clearly demonstrated that the excessive deformations with material are likely to occur in the soil layers and in the structural elements.

The main contribution of the present work is a new double seismic damage index for a steel sheet pile supported quay wharf. The numerical modeling is first validated in the static case. Then, the results obtained by performing several incremental dynamic analyses are exploited to evaluate the degradation of the soil safety factor and the seismic capacity of the pile sheet wall. Computed values of the proposed damage indices of the considered quay wharf are a practical helping tool for decision-making regarding the seismic safety of the structure.