Predicting the wear performance of circular diamond saw in the process of sawing hard dimensional stone is an important step in reducing production costs in the stone sawing industry. In the present research work, the effective parameters on circular diamond saw wear are defined, and then the weight of each parameter is determined through adopting a fuzzy rock engineering system (Fuzzy RES) bas...

Hepatic abscesses caused by ingested foreign bodies have been reported in the medical literature but represent very uncommon events. Extra-luminal migration of sawing needles and pins is the most common cause of perforation of the gastrointestinal tract associated with liver infections. Other non-metallic sharp objects such as animal bones and toothpicks have been described but are less frequen...

background: prediction of interaction sites within the membrane protein complexes using the sequence data is of a great importance, because it would find applications in modification of molecules transport through membrane, signaling pathways and drug targets of many diseases. nevertheless, it has gained little attention from the protein structural bioinformatics community. methods: in this stu...

This paper deals with the measurement and simulation of saw wire temperature during machining a rock sample in vacuum. It is expected for wire-sawing to keep cutting performance by successive supply edges. The vacuum has been investigated lunar planetary explorations. To clarify deterioration due nickel adhesion on rock, rise was investigated. In experiment, reciprocated slider-clank mechanism ...

In this paper we consider the following task: given an abstract state machine, characterize the subsets of initial values corresponding to different typical scenarios of the system behavior. In order to solve it we suggest formalization of the notion of scenario and then discuss possible approaches to the classification of the computations.

2 Static Algebras and Updates 4 2.1 Static Algebras: Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2 Vocabularies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.3 Definition of Static Algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.4 Terms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...

State Machines: An Overview of the Project Yuri Gurevich Microsoft Research, One Microsoft Way, Redmond, WA 98052