Computer programs can only run reliably if the underlying operating system is free of errors. In this paper we evaluate, from a practitioner’s point of view, the utility of the popular software model checker Blast for revealing errors in Linux kernel code. The emphasis is on important errors related to memory safety in and locking behaviour of device drivers. Our conducted case studies show tha...

While the mobile game industry is growing with each passing day with the popularization of 3G smart devices, the creation of successful games, which may interest users, become quite important in terms of the survival of the designed game. Clustering, which has many application fields, is a successful method and its implementation in the field of mobile games is inevitable. In this study, classi...

Ground vibrations caused by blasting are undesirable results in the mining industry and can cause serious damage to the nearby buildings and facilities; therefore, controlling such vibrations has an important role in reducing the environmental damaging effects. Controlling vibration caused by blasting can be achieved once peak particle velocity (PPV) is predicted. In this paper, the values of P...

Blasting lumpiness prediction is one of the most important research contents in engineering blasting. Although traditional KUZ-RAM model widely used, it often overestimates size Therefore, was updated or corrected this paper by simplifying difficult problem statistical burst fragmentation LS-DYNA. Based on theory area measurement method, fitting mechanism machine learning used to study simulati...

like most limestone mines, which produce the raw materials required for cement companies, the transportation cost of the raw materials used in the shahrood cement company is high. it has been tried to build the crushing and grinding plant close to the mine as much as possible. on the other hand, blasting has harmful effects, and the impacts of blast-induced damages on the sensitive machinery, e...

nitrogen oxides and carbon monoxide gases together with dust are known as the major pollutants arising during the blasting operations using the ammonium nitrate-fuel oil (anfo) explosive at the sungun surface mine, located in the northwest of iran. the pollutants were monitored during some blasting operations at the mine. it was concluded that the gases and dust clouds initially went up to the ...

Bit-blasting is the main approach for solving word-level constraints in SAT Modulo Theories (SMT) for bit-vector logics. However, in practice it often reaches its limits, even if combined with sophisticated rewriting and simplification techniques. In this paper, we extended a recently proposed alternative based on stochastic local search (SLS) and improve neighbor selection based on down propag...

Blasting complaints are consuming an increasing amount of time and resources. This worsening situation has spawned new methods for relaying the public’s concerns. The direct measurement of crack response to both long term environmental and blast vibration effects with the same sensor exemplifies one new approach, which can be helpful in the process of educating quarry neighbors about the large ...

a considerable amount of energy is released in the form of shock wave from explosive charge detonation. shock wave energy is responsible for the creation of crushing and fracture zone around the blast hole. the rest of the shock wave energy is transferred to rock mass as ground vibration. ground vibration is conveyed to the adjacent structures by body and surface waves. geological structures li...

In order to increase the productivity and economics of an existing (or baseline) vacuum blasting technology, which has been used to remove radioactive contamination, PCBs, and leadbased paint at Department of Energy (DOE) sites, the redevelopment and design of certain components has been initiated. These new components include a new rectangular blast nozzle, a blasthead with a wind curtain and ...