Application of TLA+ notation for describing the model of isolated program environment of subjects and it’s further verification

2021 ◽  
pp. 8-11
Author(s):  
A. M. Kanner
Keyword(s):  
2020 ◽  
Vol 25 (2) ◽  
pp. 183-188
Author(s):  
S.A. Bahvalova ◽  
◽  
A.B. Spiridonov ◽  
A.A. Fastovets ◽  
V.V. Seregin ◽  
...  

2017 ◽  
Vol 85 (1) ◽  
pp. 82-88
Author(s):  
A.A. Aikeyeva ◽  
◽  
X.S. Rogovaya ◽  
A.R. Tanskozhanova ◽  
A.E. Ayubekova ◽  
...  
Keyword(s):  

Energies ◽  
2021 ◽  
Vol 14 (6) ◽  
pp. 1528
Author(s):  
Kamil Szewerda ◽  
Jarosław Tokarczyk ◽  
Andrzej Wieczorek

The method of increasing the efficiency of using one of the most common means of auxiliary transport in underground coal mines—suspended monorails—is presented. Increase of velocity is one of the key parameters to improve the efficiency and economical effect related with the underground auxiliary transport. On the other hand, increasing the velocity results in bigger value of force acting on the suspended monorail route and its suspensions. The most important issue during increasing the velocity is ensuring the required safety for the passengers and not overloading the infrastructure. In order to analyze how increasing velocity influences the level of loads of the route suspension and the steel arch loads, the computational model of suspended monorail was developed. The computational model included both the physical part (embedded in the program environment based on the Multi-Body System method) and the components of the monorail control system. Two independent software environments were cooperating with each other through the so-called co-simulation. This model was validated on the base of results obtained on the test stand. Then, the numerical simulations of emergency braking with different values of velocity were conducted, which was not possible with the use of physical objects. The presented study can be used by the suspended monorail’s producers during the designing process, and leads to increase the safety on underground transportation routes.


2019 ◽  
Vol 49 (5) ◽  
pp. 1853-1862 ◽  
Author(s):  
Hampus Bejnö ◽  
Lise Roll-Pettersson ◽  
Lars Klintwall ◽  
Ulrika Långh ◽  
Samuel L. Odom ◽  
...  

Author(s):  
Ashley C. T. Jones ◽  
Tess M. S. Neal

The effects of sex offender treatment programs have been addressed in the literature, but there are opportunities to expand research and potentially improve existing sex offender treatment programs. The Federal Bureau of Prison’s Sex Offender Treatment Program gives offenders the opportunity to change their behavior by reducing criminality and recidivism, and receive transition services as offenders exit the prison system and reenter society. This program is evidence-based and utilizes landmark research in sex offender treatment, however there are a few details that may present limitations to the effectiveness of the treatment program within the Federal Bureau of Prisons. Entry requirements, such as literacy, cognitive, and remaining sentence requirements, as well as the treatment program environment, present opportunities for research to evaluate the effects of these variables on the convicted sex offender population.


Sign in / Sign up

Export Citation Format

Share Document