A Data Consistency Insurance Method for Smart Contract

As one of the major threats to the current DeFi(Decentralized Finance)ecosystem,reentrant attack induces data inconsistency of the victim smart contract,enabling attackers to steal on-chain assets from DeFi projects,which could terribly do harm to the confidence of the blockchain investors.However,protecting DeFi projects from the reentrant attack is very difficult,since generating a call loop within the highly automatic DeFi ecosystem could be very practicable.Existing researchers mainly focus on the detection of the reentrant vulnerabilities in the code testing,and no method could promise the non-existent of reentrant vulnerabilities.In this paper,we introduce the database lock mechanism to isolate the correlated smart contract states from other operations in the same contract,so that we can prevent the attackers from abusing the inconsistent smart contract state.Compared to the existing resolutions of front-running,code audit,andmodifier,our method guarantees protection resultswith better flexibility.And we further evaluate our method on a number of de facto reentrant attacks observed from Etherscan.The results prove that our method could efficiently prevent the reentrant attack with less running cost.

Key Technologies for Decentralized Control Platform with Dynamic Evolution for Railway Transportation System

Key technologies as well as their principles were discussed for a decentralized control platform capable of dynamic evolution. The primary content includes the automatic decision-making mechanism and the algorithm of the control center migration, the principle and technology of system self-monitoring, the principle and technology of the switch-mode of remote control station, the information transmission technology, and the data consistency technology. These key technologies have shown a series of advanced characteristics for decentralized control platform.

Building Hot Snapshot Copy Based on Windows File System

This paper describes a method for building hot snapshot copy based on windows-file system （HSCF）. The architecture and running mechanism of HSCF are discussed after giving a comparison with other on-line backup tecbnology. HSCF, based on a file system filter driver, protects computer data and ensures their integrity and consistency with following three steps： access to open files, synchronization and copy on-write. Its strategies for improving system performance are analyzed including priority setting, incremental snapshot and load balance. HSCF is a new kind of snapshot technology to solve the data integrity and consistency problem in online backup, which is different from other storage-level snapshot and Open File Solution.

Challenges to quantitative applications of Landsat observations for the urban thermal environment

Since the launch of its first satellite in 1972, the Landsat program has operated continuously for more than forty years. A large data archive collected by the Landsat program significantly benefits both the academic community and society. Thermal imagery from Landsat sensors, provided with relatively high spatial resolution, is suitable for monitoring urban thermal environment. Growing use of Landsat data in monitoring urban thermal environment is demonstrated by increasing publications on this subject, especially over the last decade. Urban thermal environment is usually delineated by land surface temperature（LST）. However, the quantitative and accurate estimation of LST from Landsat data is still a challenge, especially for urban areas. This paper will discuss the main challenges for urban LST retrieval, including urban surface emissivity, atmospheric correction, radiometric calibration, and validation. In addition, we will discuss general challenges confronting the continuity of quantitative applications of Landsat observations. These challenges arise mainly from the scan line corrector failure of the Landsat 7 ETM ＋ and channel differences among sensors. Based on these investigations, the concerns are to：（1） show general users the limitation and possible uncertainty of the retrieved urban LST from the single thermal channel of Landsat sensors;（2） emphasize efforts which should be done for the quantitative applications of Landsat data; and（3） understand the potential challenges for the continuity of Landsat observation（i.e., thermal infrared） for global change monitoring, while several climate data record programs being in progress.