A new dynamic friction model for modeling of elliptical vibration assisted turning (EVAT) was developed in this research. The periodic change of the friction force direction is known to be one of the most important causes of this phenomenon. In modeling of machining processes (including the EVAT process), static Coulomb friction model was employed by most of the researchers. Because of the peri...

It seems to be an open question whether Propositional Dynamic Logic (PDL) has Craig Interpolation. In fact, it even seems to be an open question if this is an open question: Multiple proofs have been claimed to be found but all of them also have been claimed to be wrong, both more or less publicly. This report tries to clarify the situation by discussing the proof by Daniel Leivant [11] from 19...

sloshing is a well-known phenomenon in liquid storage tanks subjected to base or body motions. in recent years the use of multiple vertical baffles for reducing the sloshing effects in tanks subjected to earthquake has not been taken into consideration so much. on the other hand, although some of the existing computer programs are capable to model sloshing phenomenon with acceptable accuracy, t...

yuri lotmn (1993-1922) is the founder of the moscow-tartu school. he has a distinguished role in introducing and developing the “theory of intercultural semiotics”. in lotman’s opinion, cultural semiotics considers each text as a cultural totality. the existing signs in the text could indicate the way in which the significances are produced to achieve a certain specific meanings in a culture. h...

background: relapse is a common problem in drug user’s rehabilitation program and reported in all over the country. an in-depth study on patients’ experiences can be used for exploring the relapse process among drug users. therefore, this study suggests a model for relapse process among iranian drug users. methods: in this qualitative study with grounded theory approach, 22 participants with ri...

Modern text linguistics pays serious attention to the significant structural elements of the text, which carry special knowledge. Such structural elements include the title. In this article, the title is considered as a linguistic and cognitive characteristic and a spatially fixed structural element of the text – «frame», which is located around/before/behind the text, focusing on the importanc...

We calculate that significant quantum interference effects can be observed in elastic electron transport through acyclic molecules. Interference features are evident in the transmission characteristics calculated for cross-conjugated molecules; significantly, these effects dominate the experimentally observable conduction range. The unusual transport characteristics of these molecules are highl...