Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- China Simulation Federation (3880)
- TÜBİTAK (3106)
- Wright State University (1776)
- Washington University in St. Louis (697)
- Singapore Management University (449)
-
- Embry-Riddle Aeronautical University (436)
- Old Dominion University (380)
- University of Nebraska - Lincoln (243)
- Chulalongkorn University (234)
- Portland State University (115)
- Air Force Institute of Technology (114)
- Chapman University (94)
- University of Arkansas, Fayetteville (83)
- University of Nevada, Las Vegas (74)
- University of New Haven (71)
- University of South Florida (71)
- University for Business and Technology in Kosovo (70)
- Technological University Dublin (64)
- Purdue University (60)
- California Polytechnic State University, San Luis Obispo (46)
- University of South Carolina (41)
- Edith Cowan University (33)
- Journal of Soft Computing and Computer Applications (32)
- New Jersey Institute of Technology (31)
- University of Malaya (31)
- Loyola University Chicago (29)
- San Jose State University (29)
- City University of New York (CUNY) (28)
- Western University (27)
- University of Kentucky (25)
- Keyword
-
- Computer Science (311)
- Department of Computer Science and Engineering (284)
- Engineering (228)
- Machine learning (189)
- Deep learning (187)
-
- Simulation (179)
- College of Engineering and Computer Science (157)
- Newsletters (157)
- Science news (157)
- Technical writing (157)
- Genetic algorithm (107)
- Classification (101)
- Computer Engineering (100)
- Optimization (97)
- Particle swarm optimization (85)
- Path planning (85)
- Machine Learning (83)
- Security (75)
- Artificial intelligence (70)
- Computer Sciences (68)
- Physical Sciences and Mathematics (64)
- Cybersecurity (61)
- Virtual reality (58)
- Reinforcement learning (57)
- Robotics (57)
- Digital forensics (56)
- Modeling (56)
- Clustering (55)
- Support vector machine (55)
- Neural network (52)
- Publication Year
- Publication
-
- Journal of System Simulation (3880)
- Turkish Journal of Electrical Engineering and Computer Sciences (3106)
- Computer Science & Engineering Syllabi (1312)
- All Computer Science and Engineering Research (683)
- Research Collection School Of Computing and Information Systems (431)
-
- Browse all Theses and Dissertations (307)
- Journal of Digital Forensics, Security and Law (298)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (234)
- BITs and PCs Newsletter (157)
- School of Computing: Dissertations, Theses, and Student Research (152)
- Theses and Dissertations (147)
- Electrical & Computer Engineering Theses & Dissertations (137)
- Annual ADFSL Conference on Digital Forensics, Security and Law (104)
- Dissertations (82)
- Computer Science Faculty Publications and Presentations (80)
- Electrical & Computer Engineering and Computer Science Faculty Publications (70)
- Engineering Faculty Articles and Research (67)
- USF Tampa Graduate Theses and Dissertations (62)
- Faculty Publications (61)
- Computer Science Faculty Publications (55)
- UNLV Theses, Dissertations, Professional Papers, and Capstones (54)
- Electronic Theses and Dissertations (53)
- UBT International Conference (51)
- School of Computing: Conference and Workshop Papers (45)
- Computer Science Theses & Dissertations (40)
- Graduate Theses and Dissertations (33)
- Journal of Soft Computing and Computer Applications (32)
- Dissertations and Theses (31)
- Computer Science: Faculty Publications and Other Works (29)
- Computational Modeling & Simulation Engineering Theses & Dissertations (28)
- 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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 …