An Automated Analyzer for Financial Security of Ethereum Smart Contracts

At present, millions of Ethereum smart contracts are created per year and attract financially motivated attackers. However, existing analyzers do not meet the need to precisely analyze the financial security of large numbers of contracts. In this paper, we propose and implement FASVERIF, an automated analyzer for fine-grained analysis of smart contracts' financial security. On the one hand, FASVERIF automatically generates models to be verified against security properties of smart contracts. On the other hand, our analyzer automatically generates the security properties, which is different from existing formal verifiers for smart contracts. As a result, FASVERIF can automatically process source code of smart contracts, and uses formal methods whenever possible to simultaneously maximize its accuracy. We evaluate FASVERIF on a vulnerabilities dataset by comparing it with other automatic tools. Our evaluation shows that FASVERIF greatly outperforms the representative tools using different technologies, with respect to accuracy and coverage of types of vulnerabilities

A Quantitative Method for the Composition of 7B05 Cast-Rolled Aluminum Alloys Based on Micro-Beam X-ray Fluorescence Spectroscopy and Its Application in Element Segregation of Recrystallization

Microscopic content segregation is among the important reasons for the anisotropy of mechanical properties in the cast-rolled sheets of the 7B05 aluminum alloy. It is of great significance to study the uniformity of aluminum alloys in terms of the microscopic composition and structure. In this study, a precise method for composition quantification based on micro-beam X-ray fluorescence spectroscopy is established by parameter optimization and a calibration coefficient. Furthermore, this method was applied for exploring and quantifying the relationship between recrystallization and deformation microstructures. The results show that the comprehensive measurement effects of all elements are the best when the X-ray tube voltage is 50 kV, the current is 150 μA, and the single-pixel scanning time is 100 ms. After verification, the sum of differences between the measured values and the standard values for all elements using the calibration coefficient is only 0.107%, which confirms the accuracy of the optimized quantitative method. Three types of segregation indexes in national standards were used to capture small differences, and finally ensure that the segregation degrees of elements are Ti > Fe > Cr > Cu > Mn > Zr > Zn > Al. The quantitative segregation results obtained by the spatial-mapping method show that the difference in the content of Al and Zn is approximately 0.2% between the recrystallization region and the deformation region, the difference in the content of Fe and Ti is 0.018% and 0.013%, the difference in the content of Cr, Cu and Zr is approximately 0.01%, and the difference in the content of Mn is not obvious, only 0.004%

Hybrid Metaheuristics and their Implementations

This paper studies with the design of hybrid metaheuristics and their implementations. Hybrid metaheuristics involve some major issues that could be classified as design and implementation. Combining different kinds of methods is a ordinary strategy to solve optimization problems. As we have developed a unified view of metaheuristics, that is based on their key search components, one can say that designing a multi-objective metaheuristic can be reduced to select the most suited search components and combining them. Each of these metaheuristics has been proven successful on a variety of applications. Although there have been attempts to compare their performance, the results are contradicting and inconclusive. A difference is made between the design issues used to introduce hybridization and implementation issues that depend on the execution model of the algorithms

Modeling and Development of Medical Information System Based on Support Vector Machine in Web Network

This paper aims at improving and utilizing the ontology information in ontology design of FOAF and vCard in real time, and the application of open relational data technology, SPARQL query information results and sending RDF/JSON data format. In addition, improve the effectiveness and efficiency of patient information extraction from the medical information website. This article includes two web search engines that are used to inform patients about medical care information. The experiment uses Drupal as the main software tool, and the Drupal RDF extension module provides some meaningful mapping. In the evaluation part, the structure of the experimental test platform is established and the system function test is carried out. The evaluation results include consumers or patients retrieving the latest doctor information and comparing search capabilities and techniques, between our system and existing systems

Hybrid Metaheuristics and their Implementations

This paper studies with the design of hybrid metaheuristics and their implementations. Hybrid metaheuristics involve some major issues that could be classified as design and implementation. Combining different kinds of methods is a ordinary strategy to solve optimization problems. As we have developed a unified view of metaheuristics, that is based on their key search components, one can say that designing a multi-objective metaheuristic can be reduced to select the most suited search components and combining them. Each of these metaheuristics has been proven successful on a variety of applications. Although there have been attempts to compare their performance, the results are contradicting and inconclusive. A difference is made between the design issues used to introduce hybridization and implementation issues that depend on the execution model of the algorithms