Open Access. Powered by Scholars. Published by Universities.®

Computer Engineering Commons™

Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 1921 - 1950 of 13036

Full-Text Articles in Computer Engineering

Day Ahead Thermal-Photovoltaic Economic Dispatch Considering Uncertainty Of Photovoltaic Power Generation, Xinghua Liu, Chen Geng, Shenghan Xie, Jiaqiang Tian, Hui Cao Aug 2022

Day Ahead Thermal-Photovoltaic Economic Dispatch Considering Uncertainty Of Photovoltaic Power Generation, Xinghua Liu, Chen Geng, Shenghan Xie, Jiaqiang Tian, Hui Cao

Journal of System Simulation

Abstract: Aiming at the uncertainty and randomness of photovoltaic power generation affected by weather factors, a mathematical model of day ahead thermal-photovoltaic economic dispatch considering seasonal weather factors is established. The mathematical model takes the operation cost of thermal power units, the cost of photovoltaic power generation, the cost of spinning reserve and the forecast error cost of photovoltaic power generation affected by weather factors as the economic objective function, and the sulfur dioxide emission of thermal power units as the environmental objective function. In order to improve the accuracy of photovoltaic output prediction, the long short term memory neural …


Scheduling Optimization And Comparative Analysis Of Twin 40 Feet Yard Crane Based On Saga, Meng Yu, Zhenli Xu, Tianjiao Tan Aug 2022

Scheduling Optimization And Comparative Analysis Of Twin 40 Feet Yard Crane Based On Saga, Meng Yu, Zhenli Xu, Tianjiao Tan

Journal of System Simulation

Abstract: Based on the operating characteristics of twin 40 ft yard crane, the scheduling models of the single-container yard crane, twin 40 ft yard crane with single-lift structure and twin 40 ft yard crane with twin-lift structure in the mixed container area are established respectively to minimize the operating time. simulate anneal genetic algorithm(SAGA) hybrid algorithm is used in the yard crane scheduling model to optimize the yard crane equipment configuration and scheduling strategy, shorten the average loading and unloading time, and improve the operation efficiency of the automatic terminal. By comparing the operation efficiency of three kinds of cranes …


Identification Of Switching Operation Based On Lstm And Moe, Xiaoqing Zhang, Wanfang Xiao, Yingjie Guo, Bowen Liu, Xuesen Han, Jingwei Ma, Gao Gao, He Huang, Shihong Xia Aug 2022

Identification Of Switching Operation Based On Lstm And Moe, Xiaoqing Zhang, Wanfang Xiao, Yingjie Guo, Bowen Liu, Xuesen Han, Jingwei Ma, Gao Gao, He Huang, Shihong Xia

Journal of System Simulation

Abstract: Aiming at the individual differences of different personnel in the same operation and differences of the same person in the same operation at different times, a switching operation recognition model(MoE-LSTM) based on Mixture of experts model (MOE) and long short-term memory network(LSTM) is proposed. Based on MoE, LSTM is integrated to learn the feature distribution of different sources data. The acceleration data is collected to build the switching operation dataset and the action sequence is segmented and aligned based on sliding window. The action sequence is input to MoE-LSTM, and the temporal dependencies of different actions are independently learned …


Model-Based Deep Learning For Computational Imaging, Xiaojian Xu Aug 2022

Model-Based Deep Learning For Computational Imaging, Xiaojian Xu

McKelvey School of Engineering Graduate Student Theses & Dissertations

This dissertation addresses model-based deep learning for computational imaging. The motivation of our work is driven by the increasing interests in the combination of imaging model, which provides data-consistency guarantees to the observed measurements, and deep learning, which provides advanced prior modeling driven by data. Following this idea, we develop multiple algorithms by integrating the classical model-based optimization and modern deep learning to enable efficient and reliable imaging. We demonstrate the performance of our algorithms by validating their performance on various imaging applications and providing rigorous theoretical analysis.

The dissertation evaluates and extends three general frameworks, plug-and-play priors (PnP), regularized …


Automated Identification Of Astronauts On Board The International Space Station: A Case Study In Space Archaeology, Rao Hamza Ali, Amir Kanan Kashefi, Alice C. Gorman, Justin St. P. Walsh, Erik J. Linstead Aug 2022

Automated Identification Of Astronauts On Board The International Space Station: A Case Study In Space Archaeology, Rao Hamza Ali, Amir Kanan Kashefi, Alice C. Gorman, Justin St. P. Walsh, Erik J. Linstead

Art Faculty Articles and Research

We develop and apply a deep learning-based computer vision pipeline to automatically identify crew members in archival photographic imagery taken on-board the International Space Station. Our approach is able to quickly tag thousands of images from public and private photo repositories without human supervision with high degrees of accuracy, including photographs where crew faces are partially obscured. Using the results of our pipeline, we carry out a large-scale network analysis of the crew, using the imagery data to provide novel insights into the social interactions among crew during their missions.


Feed Forward Neural Networks With Asymmetric Training, Archit Srivastava Aug 2022

Feed Forward Neural Networks With Asymmetric Training, Archit Srivastava

School of Computing: Dissertations, Theses, and Student Research

Our work presents a new perspective on training feed-forward neural networks(FFNN). We introduce and formally define the notion of symmetry and asymmetry in the context of training of FFNN. We provide a mathematical definition to generalize the idea of sparsification and demonstrate how sparsification can induce asymmetric training in FFNN.

In FFNN, training consists of two phases, forward pass and backward pass. We define symmetric training in FFNN as follows-- If a neural network uses the same parameters for both forward pass and backward pass, then the training is said to be symmetric.

The definition of asymmetric training in artificial …


Computer Aided Diagnosis System For Breast Cancer Using Deep Learning., Asma Baccouche Aug 2022

Computer Aided Diagnosis System For Breast Cancer Using Deep Learning., Asma Baccouche

Electronic Theses and Dissertations

The recent rise of big data technology surrounding the electronic systems and developed toolkits gave birth to new promises for Artificial Intelligence (AI). With the continuous use of data-centric systems and machines in our lives, such as social media, surveys, emails, reports, etc., there is no doubt that data has gained the center of attention by scientists and motivated them to provide more decision-making and operational support systems across multiple domains. With the recent breakthroughs in artificial intelligence, the use of machine learning and deep learning models have achieved remarkable advances in computer vision, ecommerce, cybersecurity, and healthcare. Particularly, numerous …


Applied Deep Learning: Case Studies In Computer Vision And Natural Language Processing, Md Reshad Ul Hoque Aug 2022

Applied Deep Learning: Case Studies In Computer Vision And Natural Language Processing, Md Reshad Ul Hoque

Electrical & Computer Engineering Theses & Dissertations

Deep learning has proved to be successful for many computer vision and natural language processing applications. In this dissertation, three studies have been conducted to show the efficacy of deep learning models for computer vision and natural language processing. In the first study, an efficient deep learning model was proposed for seagrass scar detection in multispectral images which produced robust, accurate scars mappings. In the second study, an arithmetic deep learning model was developed to fuse multi-spectral images collected at different times with different resolutions to generate high-resolution images for downstream tasks including change detection, object detection, and land cover …


Adaptive Risk Network Dependency Analysis Of Complex Hierarchical Systems, Katherine L. Smith Aug 2022

Adaptive Risk Network Dependency Analysis Of Complex Hierarchical Systems, Katherine L. Smith

Computational Modeling & Simulation Engineering Theses & Dissertations

Recently the number, variety, and complexity of interconnected systems have been increasing while the resources available to increase resilience of those systems have been decreasing. Therefore, it has become increasingly important to quantify the effects of risks and the resulting disruptions over time as they ripple through networks of systems. This dissertation presents a novel modeling and simulation methodology which quantifies resilience, as impact on performance over time, and risk, as the impact of probabilistic disruptions. This work includes four major contributions over the state-of-the-art which are: (1) cyclic dependencies are captured by separation of performance variables into layers which …


Evaluation Of Generative Models For Predicting Microstructure Geometries In Laser Powder Bed Fusion Additive Manufacturing, Andy Ramlatchan Aug 2022

Evaluation Of Generative Models For Predicting Microstructure Geometries In Laser Powder Bed Fusion Additive Manufacturing, Andy Ramlatchan

Computer Science Theses & Dissertations

In-situ process monitoring for metals additive manufacturing is paramount to the successful build of an object for application in extreme or high stress environments. In selective laser melting additive manufacturing, the process by which a laser melts metal powder during the build will dictate the internal microstructure of that object once the metal cools and solidifies. The difficulty lies in that obtaining enough variety of data to quantify the internal microstructures for the evaluation of its physical properties is problematic, as the laser passes at high speeds over powder grains at a micrometer scale. Imaging the process in-situ is complex …


Cyber Deception For Critical Infrastructure Resiliency, Md Ali Reza Al Amin Aug 2022

Cyber Deception For Critical Infrastructure Resiliency, Md Ali Reza Al Amin

Computational Modeling & Simulation Engineering Theses & Dissertations

The high connectivity of modern cyber networks and devices has brought many improvements to the functionality and efficiency of networked systems. Unfortunately, these benefits have come with many new entry points for attackers, making systems much more vulnerable to intrusions. Thus, it is critically important to protect cyber infrastructure against cyber attacks. The static nature of cyber infrastructure leads to adversaries performing reconnaissance activities and identifying potential threats. Threats related to software vulnerabilities can be mitigated upon discovering a vulnerability and-, developing and releasing a patch to remove the vulnerability. Unfortunately, the period between discovering a vulnerability and applying a …


Parallel Algorithms For Scalable Graph Mining: Applications On Big Data And Machine Learning, Naw Safrin Sattar Aug 2022

Parallel Algorithms For Scalable Graph Mining: Applications On Big Data And Machine Learning, Naw Safrin Sattar

LSU New Orleans Theses and Dissertations

Parallel computing plays a crucial role in processing large-scale graph data. Complex network analysis is an exciting area of research for many applications in different scientific domains e.g., sociology, biology, online media, recommendation systems and many more. Graph mining is an area of interest with diverse problems from different domains of our daily life. Due to the advancement of data and computing technologies, graph data is growing at an enormous rate, for example, the number of links in social networks is growing every millisecond. Machine/Deep learning plays a significant role for technological accomplishments to work with big data in modern …


Ocean Wave Prediction And Characterization For Intelligent Maritime Transportation, Pujan Pokhrel Aug 2022

Ocean Wave Prediction And Characterization For Intelligent Maritime Transportation, Pujan Pokhrel

LSU New Orleans Theses and Dissertations

The national Earth System Prediction (ESPC) initiative aims to develop the predictions
for the next generation predictions of atmosphere, ocean, and sea-ice interactions in the scale of days to decades. This dissertation seeks to demonstrate the methods we can use to improve the ESPC models, especially the ocean prediction model. In the application side of the weather forecasts, this dissertation explores imitation learning with constraints to solve combinatorial optimization problems, focusing on the weather routing of surface vessels. Prediction of ocean waves is essential for various purposes, including vessel routing, ocean energy harvesting, agriculture, etc. Since the machine learning approaches …


Feature Analysis Of Indus Valley And Dravidian Language Scripts With Similarity Matrices, Sarat Sasank Barla, Sai Surya Sanjay Alamuru, Peter Revesz Aug 2022

Feature Analysis Of Indus Valley And Dravidian Language Scripts With Similarity Matrices, Sarat Sasank Barla, Sai Surya Sanjay Alamuru, Peter Revesz

School of Computing: Conference and Workshop Papers

This paper investigates the similarity between the Indus Valley script and the Kannada, Malayalam, Tamil, and Telugu scripts that are used to write Dravidian languages. The closeness of these scripts is determined by applying a feature analysis of each sign of these scripts and creating similarity matrices that describe the similarity of any pair of signs from two different scripts. The feature list that we use for the analysis of these Dravidian language-related scripts includes six new features beyond the thirteen features that were used for the study of Minoan Linear A and related scripts by Revesz. These new features …


Structured Encryption For Knowledge Graphs, Yujie Xue, Lanxiang Chen, Yu Mi, Lingfang Zeng, Fatemeh Rezaeibagha, Robert H. Deng Aug 2022

Structured Encryption For Knowledge Graphs, Yujie Xue, Lanxiang Chen, Yu Mi, Lingfang Zeng, Fatemeh Rezaeibagha, Robert H. Deng

Research Collection School Of Computing and Information Systems

We investigate the problem of structured encryption (STE) for knowledge graphs (KGs) where the knowledge of data can be efficiently and privately queried. Presently, the application of natural language processing (NLP) for knowledge-based search is gradually emerging. Compared with the traditional search based only on keywords of documents-symmetric searchable encryption (SSE), the knowledge-based search system transforms the latent knowledge contained in documents into a semantic network as a knowledge base, which greatly improves the accuracy and relevance of search results. In order to develop a knowledge-based search, the contents of documents are analyzed and extracted using KG techniques (e.g. multi-relational …


Reduced Fuel Emissions Through Connected Vehicles And Truck Platooning, Paul D. Brummitt Aug 2022

Reduced Fuel Emissions Through Connected Vehicles And Truck Platooning, Paul D. Brummitt

Electronic Theses and Dissertations

Vehicle-to-infrastructure (V2I) and vehicle-to-vehicle (V2V) communication enable the sharing, in real time, of vehicular locations and speeds with other vehicles, traffic signals, and traffic control centers. This shared information can help traffic to better traverse intersections, road segments, and congested neighborhoods, thereby reducing travel times, increasing driver safety, generating data for traffic planning, and reducing vehicular pollution. This study, which focuses on vehicular pollution, used an analysis of data from NREL, BTS, and the EPA to determine that the widespread use of V2V-based truck platooning—the convoying of trucks in close proximity to one another so as to reduce air drag …


Hyperspectral Image Analysis Of Food For Nutritional Intake, Shirin Nasr Esfahani Aug 2022

Hyperspectral Image Analysis Of Food For Nutritional Intake, Shirin Nasr Esfahani

UNLV Theses, Dissertations, Professional Papers, and Capstones

The primary object of this dissertation is to investigate the application of hyperspectral technology to accommodate for the growing demand in the automatic dietary assessment applications. Food intake is one of the main factors that contribute to human health. In other words, it is necessary to get information about the amount of nutrition and vitamins that a human body requires through a daily diet. Manual dietary assessments are time-consuming and are also not precise enough, especially when the information is used for the care and treatment of hospitalized patients. Moreover, the data must be analyzed by nutritional experts. Therefore, researchers …


Simulating Sub-Threshold Communication Channels Through Neurons, Richard Maina Jul 2022

Simulating Sub-Threshold Communication Channels Through Neurons, Richard Maina

School of Computing: Dissertations, Theses, and Student Research

Molecular Communication is an emerging paradigm with the potential to revolutionize the technology behind wearable and implantable devices and the broad range of functions they support, from tracking physical activity to medical diagnostics. This can be achieved through intra-body communication networks that take advantage of natural biological processes as a means of transmitting, propagating and receiving information. In this thesis we focus particularly on using the neuron as a means to facilitate information transfer for interconnected wearable or implantable devices through a technique known as sub-threshold electrical stimulation. We develop upon a prior work by introducing a linear model of …


A Modified Point Matching Method For Non-Rigid Image Registration, Jintai Shangguan, Yawen Dang, Wei Lian Jul 2022

A Modified Point Matching Method For Non-Rigid Image Registration, Jintai Shangguan, Yawen Dang, Wei Lian

Journal of System Simulation

Abstract: Aiming at the problem that the registration results tend to converge to local minima due to the complexity of the relative position changes between two point sets in the non-rigid body point matching process, a joint estimation method for non-rigid body point matching based on precenter alignment is proposed, a modified matching method for non-rigid image registration based on centre preregistration is proposed. To better achieve the point matching accuracy between two point sets, a centre preregistration step is applied before the iterative closest point matching algorithm, which converges to a solution more close to a global optimum and …


Transfer Method Of Operational Simulation Experiment Scope Using Compromised Case-Based Reasoning, Jun Ma, Jingyu Yang, Xi Wu Jul 2022

Transfer Method Of Operational Simulation Experiment Scope Using Compromised Case-Based Reasoning, Jun Ma, Jingyu Yang, Xi Wu

Journal of System Simulation

Abstract: The scope of operational simulation experiment is usually determined by experts, which costs relatively high. In order to transfer the knowledge of experimental scope selection from historical data of operational simulation experiment to new operational experiment cases, the method of compromised case-based reasoning is proposed. According to the data characteristics of the case, the representation method of the operational simulation experiment case is proposed; according to the structure and attribute characteristics of the case, the hybrid similarity calculation method of subjective and objective comprehensive weighting is proposed; aiming at the problems of retrieval failure and less information content …


Optimal Dispatch Of Integrated Energy System Considering Ladder-Type Carbon Trading, Liying Wang, Jialin Lin, Houqi Dong, Ming Zeng, Yuqing Wang Jul 2022

Optimal Dispatch Of Integrated Energy System Considering Ladder-Type Carbon Trading, Liying Wang, Jialin Lin, Houqi Dong, Ming Zeng, Yuqing Wang

Journal of System Simulation

Abstract: With the development of the electricity market and carbon market,the introduction of demand response and carbon trading mechanisms into the operation and dispatch of integrated energy systems will help guide users and system operators to optimize electricity consumption and dispatch plans.The comprehensive incentive measures such as time-of-use electricity prices and demand response incentive subsidies are used to guide users to participate in demand response.A two-layer stochastic optimal scheduling model for a comprehensive energy system considering the ladder-type carbon trading mechanism and demand response is constructed based on IGDT (information gap decision theory) theory.The two-layer model is converted …


Bi-Level Optimization Of Distribution Network For Hybrid Energy Storage System Of Storage Battery And Hydrogen Storage, Feibo Feng, Xingde Yan, Baoqiang Zheng, Xiaofeng Yin, Mengzhen Zhou, Xin Jiang Jul 2022

Bi-Level Optimization Of Distribution Network For Hybrid Energy Storage System Of Storage Battery And Hydrogen Storage, Feibo Feng, Xingde Yan, Baoqiang Zheng, Xiaofeng Yin, Mengzhen Zhou, Xin Jiang

Journal of System Simulation

Abstract: Under the background of carbon neutralization and emission peaking goals and the utilization of clean hydrogen energy, aiming at the demand of distribution network configuring electrochemical energy storage and hydrogen energy storage system to form a hybrid energy storage system to improve power quality, a bi-level optimization model of the hybrid energy storage system is established. The upper level location and capacity model comprehensively considers the investment cost, network loss cost and voltage offset, while the lower level optimization operation model considers the operation cost of hybrid energy storage system, and the voltage stability index is introduced for evaluation. …


Modeling And Simulation Of Optimal Strategy For Electric Vehicles Participating In Power Grid Frequency Regulation, Li Yao, Junjie Hu, Wenshuai Ma, Zhile Yang Jul 2022

Modeling And Simulation Of Optimal Strategy For Electric Vehicles Participating In Power Grid Frequency Regulation, Li Yao, Junjie Hu, Wenshuai Ma, Zhile Yang

Journal of System Simulation

Abstract: Electric vehicles (EVs) have similar characteristics of distributed energy storage, and making full use of the flexibility of EVs can provide ancillary services to the grid and gain benefits. Considering the influence of uncertain factors, a bidding model for electric vehicle aggregator (EVA) to participate in the day-ahead energy market and frequency regulation ancillary service market is constructed with the maximum revenue expectation of EVA as the target. A real-time energy distribution incentive strategy based on contract theory is proposed to realize the distribution of EVA's frequency regulation demand under the condition of maximizing social welfare. Through case studies, …


Simulation Model Of Forest Fire Spread Based On Swarm Intelligence, Aibin Chen, Fubo Ding, Guoxiong Zhou, Bo Zhou Jul 2022

Simulation Model Of Forest Fire Spread Based On Swarm Intelligence, Aibin Chen, Fubo Ding, Guoxiong Zhou, Bo Zhou

Journal of System Simulation

Abstract: Aiming at the shortcomings of high computational complexity and low simulation accuracy of traditional forest fire spread model, a forest fire spread simulation model based on swarm intelligence is proposed.By establishing fuel factor matrix and landform factor matrix, and combining with the real-time meteorological information, the computational complexity is reduced; the spread behavior of the forest fire is abstracted as the cluster behavior of each module fire point, and the correlation between modules is considered to improve the accuracy of forest fire spread simulation model.The model is compared with Wang Zhengfei model and two-dimensional cellular automata model. …


Two Stage Optimization Algorithm To Solve The Green Packing Vehicle Routing Problem, Rong Hu, Wen Jiang, Bin Qian, Naikang Yu Jul 2022

Two Stage Optimization Algorithm To Solve The Green Packing Vehicle Routing Problem, Rong Hu, Wen Jiang, Bin Qian, Naikang Yu

Journal of System Simulation

Abstract: The green open vehicle routing problem with two-dimensional loading constraints (2L-GOVRP) is integration of the green open vehicle routing problem and two-dimensional bin packing problem. The model of 2L-GOVRP is established and a two-stage optimization algorithm (TSOA) is proposed to minimize fuel consumption. In the first stage of TSOA, adaptive whale optimization algorithm (AWOA) is designed to solve the vehicle routing problem, which determine the initial delivery route of the vehicle (the initial solution of 2L-GOVRP). The algorithm has four kinds of variable neighborhoods local operation to perform a local search. In the second stage of TSOA, the skyline …


A Method Of Loose Coupling Entity Modeling Based On Variable Rules, Zheng Yang, Zhimin Xiang, Shiwen Ma Jul 2022

A Method Of Loose Coupling Entity Modeling Based On Variable Rules, Zheng Yang, Zhimin Xiang, Shiwen Ma

Journal of System Simulation

Abstract: Operational Entity Modeling is a hot research topic in the field of combat simulation. A loose coupling entity modeling method based on variable rules is proposed. The architecture of operational entity model based on variable rules and the internal and external interaction mechanism of the model are presented in terms of entity, mission, action, interaction, event and rule. On this basis, the running framework of operational entity model is designed, and the entity model uniform scheduling mechanism is standardized, which solves the problems of over-tight coupling of operational rules in the operational entity model and low reliability of the …


Research On Prediction Of Model Based On Multi-Scale Lstm, Junjie Qiu, Hong Zheng, Yunhui Cheng Jul 2022

Research On Prediction Of Model Based On Multi-Scale Lstm, Junjie Qiu, Hong Zheng, Yunhui Cheng

Journal of System Simulation

Abstract: Aircraft engine remaining useful life (RUL) prediction is the core issue in equipmentfailure prognostics and health management (PHM). Aiming at the characteristics of high dimensionality, high lag and complexity of engine data, a multi-scale attention-based bidirectional long short-term memory neural network model based on self-training weights is proposed. Multi-scale features are extracted through bidirectional long short-term memory neural network (BiLSTM) of different scales. A fusion algorithm based on self-training weights is proposed, and an attention mechanism is introduced to screen features at different scales to improve prediction accuracy. Various models are compared on the NASA's C-MAPSS data set. The …


Space Science Satellite Data Processing Framework Research And System Implementation, Wenzhen Ma, Ziming Zou, Jianhui Li, Qinsi Yu, Jizhou Tong, Jingjing Li Jul 2022

Space Science Satellite Data Processing Framework Research And System Implementation, Wenzhen Ma, Ziming Zou, Jianhui Li, Qinsi Yu, Jizhou Tong, Jingjing Li

Journal of System Simulation

Abstract: Based on the needs of China's space science strategy and series of on-orbit and forthcoming satellite missions in China's Strategic Priority Program on space science, data processing framework and key technologies of the satellite ground segment are studied. A general technical framework SDPF (space science satellite data processing framework) is proposed with two-layer scheduling engine, including mission-level and resource-level. The design and implementation of an automatic, efficient, real-time and standard space science satellite data processing system has been established. In this way, complicated processing procedures on large-scale data from multi-satellite missions and multi-payload can be completed quickly in parallel. …


Ultra-Real-Time Visual Simulation System For Multi-View Rendering Tasks, Xunyun Liu, Xinhai Xu, Chengzhang Zhu, Hao Li, Lei Zeng Jul 2022

Ultra-Real-Time Visual Simulation System For Multi-View Rendering Tasks, Xunyun Liu, Xinhai Xu, Chengzhang Zhu, Hao Li, Lei Zeng

Journal of System Simulation

Abstract: For multi-view rendering tasks, a theoretical analysis of ultra-real-time visual simulation is given in terms of implementation principle and feasibility. Based on the theoretical results, an ultra-real-time visual simulation architecture is designed, which decouples the simulation and rendering computation. A parallel-rendering-based ultra-real-time visual simulation method is proposed to solve the problems of rendering task assignment, simulation world synchronization, and rendering-execution time selection. An ultra-real-time visual simulation system is implemented based on Unreal Engine 4 (UE4), the performance of which is demonstrated on a designated application case per rendering efficiency and ultra-real-time simulation.


Verification Of Transaction Ordering Dependence Vulnerability Of Smart Contract Based On Cpn, Hong Zheng, Zerun Liu, Jianhua Huang, Shihui Qian Jul 2022

Verification Of Transaction Ordering Dependence Vulnerability Of Smart Contract Based On Cpn, Hong Zheng, Zerun Liu, Jianhua Huang, Shihui Qian

Journal of System Simulation

Abstract: The formal verification of smart contracts researches mainly focus on programming language-level vulnerabilities, and the transaction ordering dependence is more difficult to be detected as a blockchain-level vulnerability.The latent transaction ordering dependence vulnerability in smart contracts is formally verified based on colored Petri nets.The latent vulnerability in the Decode reward contractis analyzed, anda colored Petri net model of the contract itself and its execution environment is established from top to bottom.The attacker model is introduced to consider the situation that the contract is attacked. By running the model to verify the existence of transaction ordering dependence vulnerability in …