SMDICFBA: Software Model for Distributed Incremental Closeness Factor Based Algorithms

2020 ◽  
pp. 1-28
Author(s):  
Rahul Raghvendra Joshi ◽  
Preeti Mulay ◽  
Archana Chaudhari
Keyword(s):  
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.

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.

scholarly journals Software model for studying the features of wireless connections in Flying Ad-Hoc Networks (FANETs)

2021 ◽  
Vol 1840 (1) ◽  
pp. 012024
Author(s):  
I Puleko ◽  
O Svintsytska ◽  
O Vlasenko ◽  
V Chumakevych
Keyword(s):  
Ad Hoc Networks ◽  
Ad Hoc ◽  
Software Model ◽  
Hoc Networks

Verification of MPI Java programs using software model checking

2016 ◽  
Vol 51 (8) ◽  
pp. 1-2
Author(s):  
Waqas Ur Rehman ◽  
Muhammad Sohaib Ayub ◽  
Junaid Haroon Siddiqui
Keyword(s):  
Model Checking ◽  
Software Model Checking ◽  
Software Model ◽  
Java Programs

scholarly journals Modelling Software Architecture for Visual Simultaneous Localization and Mapping

Automation ◽  
2021 ◽  
Vol 2 (2) ◽  
pp. 48-61
Author(s):  
Bhavyansh Mishra ◽  
Robert Griffin ◽  
Hakki Erhan Sevil
Keyword(s):  
System Integration ◽  
Ad Hoc ◽  
Simultaneous Localization And Mapping ◽  
Software Systems ◽  
Model Driven ◽  
Performance Improvements ◽  
Software Model ◽  
Localization And Mapping ◽  
Stereo Cameras ◽  
Core Components

Visual simultaneous localization and mapping (VSLAM) is an essential technique used in areas such as robotics and augmented reality for pose estimation and 3D mapping. Research on VSLAM using both monocular and stereo cameras has grown significantly over the last two decades. There is, therefore, a need for emphasis on a comprehensive review of the evolving architecture of such algorithms in the literature. Although VSLAM algorithm pipelines share similar mathematical backbones, their implementations are individualized and the ad hoc nature of the interfacing between different modules of VSLAM pipelines complicates code reuseability and maintenance. This paper presents a software model for core components of VSLAM implementations and interfaces that govern data flow between them while also attempting to preserve the elements that offer performance improvements over the evolution of VSLAM architectures. The framework presented in this paper employs principles from model-driven engineering (MDE), which are used extensively in the development of large and complicated software systems. The presented VSLAM framework will assist researchers in improving the performance of individual modules of VSLAM while not having to spend time on system integration of those modules into VSLAM pipelines.

scholarly journals Efficient software model checking of soundness of type systems

2008 ◽  
Vol 43 (10) ◽  
pp. 493-504 ◽  
Author(s):  
Michael Roberson ◽  
Melanie Harries ◽  
Paul T. Darga ◽  
Chandrasekhar Boyapati
Keyword(s):  
Model Checking ◽  
Type Systems ◽  
Software Model Checking ◽  
Software Model ◽  
Efficient Software

scholarly journals Integrating Modelling of Maintenance Policies within a Stochastic Hybrid Automaton Framework of Dynamic Reliability

2021 ◽  
Vol 11 (5) ◽  
pp. 2300
Author(s):  
Simone Arena ◽  
Irene Roda ◽  
Ferdinando Chiacchio
Keyword(s):  
Model Systems ◽  
Mitigation Measures ◽  
Repairable Systems ◽  
Maintenance Policy ◽  
Hybrid Automaton ◽  
Dynamic Reliability ◽  
Software Model ◽  
Maintenance Policies ◽  
Mathematical Techniques ◽  
Continuous And Discrete Variables

The dependability assessment is a crucial activity for determining the availability, safety and maintainability of a system and establishing the best mitigation measures to prevent serious flaws and process interruptions. One of the most promising methodologies for the analysis of complex systems is Dynamic Reliability (also known as DPRA) with models that define explicitly the interactions between components and variables. Among the mathematical techniques of DPRA, Stochastic Hybrid Automaton (SHA) has been used to model systems characterized by continuous and discrete variables. Recently, a DPRA-oriented SHA modelling formalism, known as Stochastic Hybrid Fault Tree Automaton (SHyFTA), has been formalized together with a software library (SHyFTOO) that simplifies the resolution of complex models. At the state of the art, SHyFTOO allows analyzing the dependability of multistate repairable systems characterized by a reactive maintenance policy. Exploiting the flexibility of SHyFTA, this paper aims to extend the tools’ functionalities to other well-known maintenance policies. To achieve this goal, the main features of the preventive, risk-based and condition-based maintenance policies will be analyzed and used to design a software model to integrate into the SHyFTOO. Finally, a case study to test and compare the results of the different maintenance policies will be illustrated.

Applying software model checking to PALS systems

2014 ◽  
Author(s):  
Min Young Nam ◽  
Sagar Chaki ◽  
Lui Sha ◽  
Cheolgi Kim
Keyword(s):  
Model Checking ◽  
Software Model Checking ◽  
Software Model
Sign in / Sign up

Export Citation Format

Share Document