We discuss three forms of phantom prevention locking that have been proposed in the literature: (1) predicate locking [EGLT76], (2) precision locking [JBB81], and (3) index locking (specifically, KVL/IM locking [MOHAN90, MOHAN92, MOHAN96]). The predicate locking method was dropped from consideration in System R because of perceived problems [CHETAL81]. The precision locking technique was propos...

Regarding the importance of Internet Things (IoT) and Metaverse as two practical emerging technologies to enhance digitalization public transportation systems, this article introduces an approach for improvement IoT unmanned electric vehicles in Metaverse, called Unmanned Electric Vehicles (IoUEVs). This research includes important contributions. The first contribution is description a framewor...

We present in this work the performances of a mobile omnidirectional robot through evaluating its management of the redundancy of actuation. Thus we come to the predictive control implemented. The distribution of the wringer on the robot actions, through the inverse pseudo of Moore-Penrose, corresponds to a « geometric ›› distribution of efforts. We will show that the load on vehicle wheels wou...

We design a vehicle with a steering system made of two independently rotatable wheels on the front. We quantify the effectiveness of the steering system in the mobility and maneuverability of the vehicle running in a box containing a layer ping-pong balls with a packing density 0.8, below the random close packing value 0.84 in 2D. The steering system can reduce the resistance exerted by the jam...

Applications of wheeled mobile robots have recently extended to service robots for the handicapped or the aged and industrial mobile robots working in various environments. The most popular wheeled mobile robots are equipped with two independent driving wheels. Since these robots possess 2 degrees-of-freedom (DOFs), they can rotate about any point, but cannot perform holonomic motion including ...

Truemper configurations are four types of graphs (namely thetas, wheels, prisms and pyramids) that play an important role in the proof of several decomposition theorems for hereditary graph classes. In this paper, we prove two structure theorems: one for graphs with no thetas, wheels and prisms as induced subgraphs, and one for graphs with no thetas, wheels and pyramids as induced subgraphs. A ...

Sadr`aj: Market Overview; Structure and Properties; Brief Description of the Properties of Generic Polymeric Materials; Physical Properties – Characteristic Values – Test Methods and Procedures; Calculation for Structures under Mechanical Load – Examples of Geometrically Simple Structural Parts under Static Loads; Design and Material Consideration for Parts Subjected to Mechanical Loads; Design...

conclusions the fixator-assisted lengthening plate technique helps to maintain the stability and alignment at both sides of an osteotomy during tibial elongation. it allows the early removal of the external fixator immediately after lengthening is completed. this technique can be applied in children with open physes and in patients with a narrow medullary canal who are unsuitable for limb lengt...