software model
Recently Published Documents


TOTAL DOCUMENTS

532
(FIVE YEARS 122)

H-INDEX

25
(FIVE YEARS 3)

Author(s):  
Kiran M.Mane ◽  
◽  
S.P. Chavan ◽  
S.A. Salokhe ◽  
P.A. Nadgouda ◽  
...  

Large amounts of natural fine aggregate (NFA) and cement are used in building, which has major environmental consequences. This view of industrial waste can be used in part as an alternative to cement and part of the sand produced by the crusher as fine aggregate, similar to slag sand (GGBFS), fly ash, metacaolin, and silica fume. Many times, there are issues with the fresh characteristics of concrete when using alternative materials. The ANN tool is used in this paper to develop a Matlab software model that collapses concrete made with pozzolanic material and partially replaces natural fine aggregate (NFA) with manufactured sand (MS). Predict. The slump test was carried out in reference with I.S11991959, and the findings were used to create the artificial neural network (ANN) model. To mimic the formation, a total of 131 outcome values are employed, with 20% being used for model testing and 80% being used for model training. 25 enter the material properties to determine the concrete slump achieved by partially substituting pozzolan for cement and artificial sand (MS) for natural fine aggregate (NFA). According to studies, the workability of concrete is critically harmed as the amount of artificial sand replacing natural sand grows. The ANN model's results are extremely accurate, and they can forecast the slump of concrete prepared by partly substituting natural fine aggregate (NFA) and artificial sand (MS) with pozzolan.


2022 ◽  
Vol 6 (POPL) ◽  
pp. 1-29
Author(s):  
Takeshi Tsukada ◽  
Hiroshi Unno

This paper shows that a variety of software model-checking algorithms can be seen as proof-search strategies for a non-standard proof system, known as a cyclic proof system . Our use of the cyclic proof system as a logical foundation of software model checking enables us to compare different algorithms, to reconstruct well-known algorithms from a few simple principles, and to obtain soundness proofs of algorithms for free. Among others, we show the significance of a heuristics based on a notion that we call maximal conservativity ; this explains the cores of important algorithms such as property-directed reachability (PDR) and reveals a surprising connection to an efficient solver of games over infinite graphs that was not regarded as a kind of PDR.


2022 ◽  
Vol 14 (2) ◽  
pp. 122
Author(s):  
Rupinder Chandel ◽  
Karun Sharma

Crop characteristics of cotton are crucial to identify the important crop attributes like plant height, canopy width, sympods and monopods distribution, row spacing which affects the performance of mechanical harvesters. The activity and effectiveness of most harvest aids, including desiccants is reduced by low temperature conditions. Trash content was observed to be lesser in cotton harvested by cotton picker than cotton harvested by cotton stripper. It was found that a maximum cotton yield of 1000 kg acre-1 was obtained for a cotton plant population ranging between 45,000 and 90,000 plants acre-1. Likewise, a minimum of 700 to 740 kg acre-1 was observed for a cotton plant population of 33,000 plants acre-1. In higher yielding cotton, cotton pickers recorded higher picking rate than cotton strippers. Picking/harvesting efficiency of cotton stripper with both finger and brush type mechanism was higher than the spindle type cotton picker. Picking efficiency of pneumatic picker was higher than the other types of picking mechanisms, but with lesser rate of picking capacity. Gin turnout of cotton was higher with cotton picker when compared with cotton stripper due to lesser trash content in picker harvested cotton. The horsepower requirement of cotton stripper ranged from ½ to ¼ horsepower and cost is about two-thirds of the price as compared with cotton picker. The scheduling and monitoring of various activities involved in cotton picking by using a suitable software model can increase the benefits of both growers and harvesting companies. The reduction in uniformity with roller gin-type lint cleaners ranged between 0.2 to 0.8%, which was lesser as compared with saw-type lint cleaners. Introducing mechanical harvesting has always been a decades-long process. In Turkey, it took 20 years and in Greece, this process took place very gradually over a 15-year period. Top cotton producing countries like India, Pakistan, China, Uzbekistan and other developing countries like Iran Paraguay are still not using machine harvesting. The introduction of mechanical cotton picker or stripper can help improve quality and quantity of cotton picking thereby giving more benefit to growers in developing countries and improving their socio-economic status. The most controversial issue raised by the introduction of the mechanical cotton harvester is great migration as the machines eliminated jobs and forced poor families to leave their homes and farms in search for urban jobs. Therefore Government policies towards cotton harvesting mechanization must include the alternative jobs, packages for dependent manual cotton pickers and their families.


2021 ◽  
Author(s):  
Ramaz Shamugia

This article is dedicated to the development of a software model with a Graphical User Interface (GUI) to simulate the process of ensuring information and cyber security of information systems (IS) of Critical Infrastructure objects (CI) based on the analytical model developed by the author of this article. The specified software model with a GUI makes it possible, using the controls located on the main panel, to set the input parameters of the simulated object and observe its output characteristics using appropriate visualization elements such as special windows for displaying calculated numerical values of the main characteristics of the systems under study.


2021 ◽  
Vol 4 (30) ◽  
pp. 87-98
Author(s):  
V. L. Olenev ◽  
◽  
N. Y. Chumakova ◽  
N. I. Sinyov ◽  
A. Y. Syschikov ◽  
...  

The article presents the concept of all-optical on-board networks (AOON). AOON protocol stack is described, the operation of the transport layer, data link layer and the management layer of the AOON protocol stack is considered in details. The article also describes a software model designed to check the correctness of operation of the AOON protocol stack from a functional point of view, and an example of the developed software model is provided.


2021 ◽  
Vol 4 (3) ◽  
pp. 23-29
Author(s):  
Areej H. Al-Anbary ◽  
Salih M. Al-Qaraawi ‎

Recently, algorithms of machine learning are widely used with the field of electroencephalography (EEG)-Brain-Computer interfaces (BCI). In this paper, a sign language software model based on the EEG brain signal was implemented, to help the speechless persons to communicate their thoughts to others.  The preprocessing stage for the EEG signals was performed by applying the Principle Component Analysis (PCA) algorithm to extract the important features and reducing the data redundancy. A model for classifying ten classes of EEG signals, including  Facial Expression(FE) and some Motor Execution(ME) processes, had been designed. A neural network of three hidden layers with deep learning classifier had been used in this work. Data set from four different subjects were collected using a 14 channels Emotiv epoc+ device. A classification results with accuracy 95.75% were obtained ‎for the collected samples. An optimization process was performed on the predicted class with the aid of user, and then sign class will be connected to the specified sentence under a predesigned lock up table.


2021 ◽  
Vol 22 (12) ◽  
pp. 644-649
Author(s):  
F. M. Belchenko ◽  
I. L. Ermolov

Remotely controlled robots are the majority of contemporary robots’ population. As a rule such robots are used for inspection, patrolling, mines disposal. This is caused by a fact that today’s level of robots’ autonomy is rather low and autonomous robots can not secure reliable performance. However performance of remotely operated robots depends largely on efficiency of information perception by human-operator. This paper studies images representation to operators on robots’ control pendants. More specifically it studies 3D images representation on flat displays. The goal of this study is to increased reaction rate and decrease errors done by robot’s operator due to image’s uncertainty or poor quality. Our main attention is paid to the development of software that implements the technology of transforming the perspective of images. Matrixes for perspective transformation are studied. Hence application of these matrixes within remotely operated robots is discussed. A novelty of this research is in new knowledge about perspective transformation which is done for a better information perception by human-operator and, as an outcome, to increase efficiency of remotely operated robots. The related technologies in the field of telemetry and technical vision systems have been investigated. Also considered are works in medical fields, in particular, the psychology of perception of images and space. A static software model has been developed. The video camera has been implemented with the introduction of perspective distortions to improve the reliability of the transmission of the necessary areas in the image. Research on the technology is carried out jointly with the Institute of Biomedical Problems of the Russian Academy of Sciences. A special prototype for perspective transformation basing on various scenarios is being developed.


2021 ◽  
pp. 15-18
Author(s):  
Olga Safonova ◽  
◽  
Elena Arepyeva ◽  
Nadezhda Ermakova ◽  
◽  
...  

The active introduction of Orthogonal Frequency Division Multiplexing (OFDM) technology is now beginning to be widely used in wireless transmission systems, television, radio communication, and radio broadcasting. The efficiency of using a dedicated frequency band at a constant high transmission rate allows you to combat interference arising from the transmission of a useful information on the radio channel. A method of improving quality of information transmission in communication systems with orthogonal frequency multiplexing is described. It is shown that with an increase in the number of receiving and transmitting antennas, the noise immunity increases significantly. An experiment was carried out to change the number of receiving-transmitting antennas and the signal-to-noise ratio, and the dependence of the appearance of an error on the number of transmitting antennas was obtained. The work investigated the software model of MIMO OFDM (modulators and demodulators). As a result of the analysis, the dependence of the appearance of the error frequency on the probability of the error was obtained. This showed that the use of OFDM and MIMO places increased demands on channel estimation.


2021 ◽  
Vol 7 (12) ◽  
pp. 2109-2118
Author(s):  
Maitha Taher Saleh Almansoori ◽  
Ismail Abdul Rahman ◽  
Aftab Hameed Memon ◽  
Nur Ain Ngah Nasaruddin

This paper focused on studying the factors affecting PMO implementation in the construction industry. A PLS-SEM model was developed for achieving this objective. The model used 171 survey data sets consisting the model was developed and evaluated using SmartPLS software. Model evaluation at the measurement level found that it has achieved the convergent and discriminant validity thresholds. While at the structural level, the model has reached its criterion fitness values. For the hypothesis testing, it was found that all three paths of factors have a significant relationship to the PMO implementation in the construction industry. From this validated model, the most dominant factors affecting PMO implementation are Resistance to change for organizational culture group; Additional administrative workload for project management group, and Inexperience PMO leadership for the resource management group. These findings will help construction practitioners in understanding the importance of PMO implementation in the construction industry. Doi: 10.28991/cej-2021-03091781 Full Text: PDF


2021 ◽  
Vol 12 (06) ◽  
pp. 1-11
Author(s):  
Suresh Kannan Duraisamy ◽  
Bryce Bass ◽  
Sai Mukkavilli

In the last couple of decades, the software development process has evolved drastically, starting from Big Bang to Waterfall to Agile. The primary driver for the evolution of the software was the “Speed of Delivery” of the Software Product which has significantly accelerated from months to less than weeks and days. For IT (Information Technology) Organizations to be successful, they inevitably need a strong technology presence to roll out new software and features as quickly as possible to their customer base. The current user generation tends to use technology to maximum potential and is always striving to keep up with the new trends. The main subject is for the organizations to be ready with their Speed of Delivery strategy adapting to all technology modernization initiatives like CICD (Continuous Integration and Continuous Deployment), Agile, DevOps, and Cloud so that there are negligible customer friction and no risks to their Market shares,. The aim of this paper is to compare the performance testing in every stage of the agile model to the traditional end testing. The results of the corresponding testing phases are presented in this paper.


Sign in / Sign up

Export Citation Format

Share Document