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.

Digital transformation misalignment refers to disparities in digital transformation levels between suppliers and buyers across the production and operation process. It has negatively affected supply chain stability. However, the existing research concerning the economic consequences has not been adequately addressed. Therefore, this paper aims to investigate whether such digital transformation misalignment increases supplier financial risk and to identify the factors influencing this relationship.

This paper examines binary combinations of suppliers and buyers listed on China’s A-share market between 2011 and 2021. This group constitutes a sample to empirically test the influence of digital transformation misalignment on the supplier’s financial risk, as well as the moderating effect of the geographical and organizational distances.

The paper’s findings demonstrate that digital transformation misalignment has indeed a significant increase in the supplier’s financial risk. Moreover, the impact is more intense when the geographical or organizational distance between the supplier and the buyer is relatively large.

The existing literature rarely explores the potential risks arising from digital transformation misalignment between supply chain partners. Therefore, this paper fills a notable gap as it is the first to study the impact of digital transformation misalignment on the supplier’s financial risk and the specific applied mechanisms. The contribution significantly improves the field of corporate digital transformation, particularly, within the context of supply chain management.

The Incheon Region has numerous assets that fall within a Pentaport model.' These include the Incheon International Airport, the Port of Incheon, a coastal industrial park, free economic zones, a leisure port, and Songdo new town designed to be the future Silicon Valley of Korea. This paper looks at how Northeast Asia trade flows between China and Korea might be enhanced by application of the Pentaport model in making the Incheon region a North East Asian Hub. It looks also at their trade and logistics systems as well as their water borne commerce. It proposes an integrated transportation system for the Yellow Sea Region being beneficial to the economies of the Northeast Asia. It also stresses that innovative technologies for ships, terminals and cargo handling systems should be introduced to develop a competitive short sea shipping system in the region and cooperation among the regional countries will be essential to achieve the final goal. The potential of methods of container shipping is discussed as it might apply to short sea shipping in the Yellow Sea Region that could greatly facilitate Incheon's situation with respect to the broader region in application of the Pentaport model.

In the increasingly competitive leisure food market, Lyfen has become a well-known leisure food brand in Shanghai after long-term independent operation. Insisting on chain retail specializing in various kinds of leisure food, Lyfen captures the consumption habits of consumers, timely launches new products in line with consumers' preferences, and leads the consumption trend. Its main competitors include other leading enterprises in China's leisure food chain industry, such as Three Squirrels, BESTORE and Baiweilin. The company's products are mainly divided into nine categories, totaling more than 900 special products. Some products under Lyfen's name have established good reputation in East China. Regarding business model, Lyfen has devoted its full energy to the construction of brand and channel, and created a unique asset-light model, which mainly involves sourcing and sales two chains.

In the 21^st Century, a region 's growth and prosperity will depend upon its intermodal transportation infrastructure and its ability to efficiently move goods, materials, and people within the system whether it be from origin to destination; from supplier to customer through the various levels of the supply-chain; or from point to point within the system. Planning for the future focuses on improving a region 's intermodal transportation system efficiencies and infrastructure, its connection to other economies, and on the development of logistics institutions and facilities.

With China 's rapidly developing economy and society, record numbers of new modern facilities such as airports, ports, highways, logistics parks and warehouses are being built. Along with this, companies have made extensive investments in information technologies and software to support the tremendous growth that has taken place in the logistics industry. The development and improvement of China's historic inland water transport system is essential to their continued future growth and prosperity. In Korea, past and present National Governments have emphasized the importance of developing a North East Asian Logistics and Business Hub in their region and have worked on strategies, which include water transport, as part of an important national agenda to that end.

This article looks at how trade flows in the Yangtze and Yellow Sea Regions and between China and South Korea might be enhanced by application of improved shipping methods in marine commerce that will promote economic growth in the region. The application of logistics practices and use of barges is explored for the movement of containers on inland and coastal waterways as well as in short sea shipping which could greatly facilitate the region 's situation with respect to future economic growth.

This paper aims to explore and review the potential of robotic rehabilitation as a treatment approach for Alzheimer’s disease (AD) and its impact on the health and quality of life of AD patients.

The present discourse endeavors to provide a comprehensive overview of extant scholarly inquiries that have examined the salience of inhibitory mechanisms vis-à-vis robotic interventions and their impact on patients with AD. Specifically, this review aims to explicate the contemporary state of affairs in this realm by furnishing a detailed explication of ongoing research endeavors. With the objective of elucidating the significance of inhibitory processes in robotic therapies for individuals with AD, this analysis offers a critical appraisal of extant literature that probes the intersection of cognitive mechanisms and assistive technologies. Through a meticulous analysis of diverse scholarly contributions, this review advances a nuanced understanding of the intricate interplay between inhibitory processes and robotic interventions in the context of AD.

According to the review papers, it appears that implementing robot-assisted rehabilitation can serve as a pragmatic and effective solution for enhancing the well-being and overall quality of life of patients and families engaged with AD. Besides, this new feature in the robotic area is anticipated to have a critical role in the success of this innovative approach.

Due to the nascent nature of this cutting-edge technology and the constrained configuration of the mechanized entity in question, further protracted analysis is imperative to ascertain the advantages and drawbacks of robotic rehabilitation vis-à-vis individuals afflicted with Alzheimer’s ailment.

The potential for robots to serve as indispensable assets in the provision of care for individuals afflicted with AD is significant; however, their efficacy and appropriateness for utilization by caregivers of AD patients must be subjected to further rigorous scrutiny.

This paper reviews the current robotic method and compares the current state of the art for the AD patient.

This paper draws on the perspective of social networks to examine when 3PLs initiate low-carbon supply chain integration (LCSCI) in decarbonising supply chains.

A questionnaire survey was conducted on a sample of 348 Chinese 3PLs. Stepwise regression was adopted to analyse the data.

It is found that LCSCI has a positive effect on firm performance. From the social network perspective, a larger scope of outsourcing increases 3PLs' embeddedness, which increases their chance of success in initiating LCSCI, especially for 3PLs with higher decarbonisation capabilities. Interestingly, although the pressure from government regulation can also motivate LCSCI, it is less effective for 3PLs with higher decarbonisation capabilities because they can be too embedded in the network to freely adapt to regulations.

This study has investigated 3PL-initiated LCSCI only from the view of 3PLs. A dyadic approach which includes the perception of customers would be desirable.

The results highlight the critical role of 3PLs as supply chain orchestrators in decarbonising supply chains, and the effectiveness of LCSCI as a competitive strategy of 3PLs. Coercive pressures from government regulations are not constraints but resources for 3PLs in initiating LCSCI, especially in markets where the 3PLs have insufficient decarbonisation capabilities.

This study contributes to theories on 3PLs' interorganizational low-carbon initiatives, LCSCI, and the paradox of social networks in supply chains.

The purpose of this paper is to establish a roughness prediction model of micro-milling Inconel718 with high precision.

A prediction model of micro-milling surface roughness of Inconel718 is established by SVM (support vector machine) in this paper. Three cutting parameters are involved in the model (spindle speed, cutting depth and feed speed). Experiments are carried out to verify the accuracy of the model.

The results show that the built SVM prediction model has high prediction accuracy and can predict the surface roughness value and variation law of micro-milling Inconel718.

Inconel718 with high strength and high hardness under high temperature is the suitable material for manufacturing micro parts which need a high strength at high temperature. Surface roughness is an important performance indication for micro-milling processing. Establishing a roughness prediction model with high precision is helpful to select the cutting parameters for micro-milling Inconel718.

The built SVM prediction model of micro-milling surface roughness of Inconel718 is verified by experiment for the first time. The test results show that the surface roughness prediction model can be used to predict the surface roughness during micro-milling Inconel718, and to provide a reference for selection of cutting parameters of micro-milling Inconel718.

This paper aims to study the effect of load on the tribological behaviour of Cu-based composites, so as to obtain a suitable applied load on these composites.

Cu-based composites were prepared by powder sintering with direct current electric current heating and tested by Universal Mechanical Test-3 with a ball-on-disk at room temperature.

The results showed that Cu-based composites are might suitable for working under low load. There is only mild damage on the surface under a load of 2 N. While it has microcracks and shows signs of cavitation at a certain depth at 20 N and 50 N. In addition, it is evident that there are three zones in the cross-section of the matrix, namely, a mechanical mixing layer, ceramic layer and substrate, respectively.

There are two wear mechanisms at different loads, and the evolution of worn surfaces with sliding time is also involved. Thus, the developed material can be used for light load sliding electrical contact material applications.