Building SMT-Based Software Model Checkers: An Experience Report

2009 ◽  
pp. 1-17
Author(s):  
Alessandro Armando
Keyword(s):  
Experience Report ◽  
Software Model

METHODS OF FORECAST CALCULATION OF GROUND WATER BACKWATER IN THE ZONE OF HYDRAULIC STRUCTURES INFLUENCE

2020 ◽  
pp. 109-116
Author(s):  
N.P. KARPENKO ◽  
◽  
M.A. SHIRYAEVA
Keyword(s):  
Numerical Model ◽  
Computer Program ◽  
Ground Water ◽  
Programming Language ◽  
Hydraulic Structure ◽  
Hydraulic Structures ◽  
Software Model ◽  
Computational Program ◽  
Specific Object ◽  
Zone Of Influence

The purpose of the work is to consider methods for calculating the forecast of groundwater backwater in the zone of influence of hydraulic structures. The analysis of analytical dependences of calculation of the forecast of groundwater backwater for various calculation schemes is carried out. For a homogeneous scheme of the geofiltration structure, a numerical model is proposed and a computational program for calculating the groundwater backwater is developed. It allows calculating the groundwater backwater from the channel at any time in the discrete mode. To simplify the solution of the problem of calculating the groundwater backwater, a computer program was created in the programming language Phyton Version 8.3 which quickly solves this hydrogeological problem. A possible range of geofiltration parameters is proposed for calculating the groundwater backwater near main channels. The adaptation and implementation of the software model was carried out for a specific object – the Bolshoy Stavropol channel-5, for which forecast calculations were made. The results of predictive calculations of groundwater backwater are the basis for the assessment of areas of possible flooding – the territory within which the level of ground water increases as a result of their backup by a hydraulic structure.

NVESTIGATION OF THE EFFICIENCY OF DISTRIBUTED INFORMATION SYSTEMS BASED ON THE PROCESSING OF LARGE AMOUNTS OF DATA

2019 ◽  
Author(s):  
Mykhajlo Klymash ◽  
Olena Hordiichuk — Bublivska ◽  
Ihor Tchaikovskyi ◽  
Oksana Urikova
Keyword(s):  
Distributed Systems ◽  
Large Data ◽  
Large Data Sets ◽  
Data Sets ◽  
Data Decomposition ◽  
Distributed Information ◽  
Software Model ◽  
Computing Performance ◽  
Mapreduce Model ◽  
Singular Data

In this article investigated the features of processing large arrays of information for distributed systems. A method of singular data decomposition is used to reduce the amount of data processed, eliminating redundancy. Dependencies of com­putational efficiency on distributed systems were obtained using the MPI messa­ging protocol and MapReduce node interaction software model. Were analyzed the effici­ency of the application of each technology for the processing of different sizes of data: Non — distributed systems are inefficient for large volumes of information due to low computing performance. It is proposed to use distributed systems that use the method of singular data decomposition, which will reduce the amount of information processed. The study of systems using the MPI protocol and MapReduce model obtained the dependence of the duration calculations time on the number of processes, which testify to the expediency of using distributed computing when processing large data sets. It is also found that distributed systems using MapReduce model work much more efficiently than MPI, especially with large amounts of data. MPI makes it possible to perform calculations more efficiently for small amounts of information. When increased the data sets, advisable to use the Map Reduce model.

OV-1 Mishap Experience Report

1975 ◽  
Author(s):  
Paul R. Ewing
Keyword(s):  
Experience Report

Design of Energy Saving System for Hybrid Power Loader

2013 ◽  
Vol 288 ◽  
pp. 148-155
Author(s):  
Qi Hui Lv ◽  
Xin Yuan Xiao
Keyword(s):  
Diesel Engine ◽  
Power System ◽  
Environmental Benefits ◽  
Gravitational Potential Energy ◽  
Super Capacitor ◽  
Hybrid Power ◽  
Software Model ◽  
Auxiliary Power ◽  
High Efficient ◽  
Save Energy

In order to reduce loader engine installed power and save energy, we designed the driving scheme of power system for parallel hybrid loader by Analysis of different way of connection between diesel engine and electric motor. We chose ISG power electric multifunction and super capacitor as the core component to design the Loader auxiliary power system and movable arm cylinder gravitational potential energy recovery system. We established ADVISOR software model of hybrid power Loader, and the simulation results show that diesel engine installed power of the hybrid power Loader is reduced by 21%; fuel consumption is reduced by 9.2%. Through optimize control strategy, the diesel engine can always working in high efficient area or idle area. Practical application shows that this design scheme has the potential economic and environmental benefits.

Sign in / Sign up

Export Citation Format

Share Document