Results 1 to 10 of about 119,017 (241)
Experience using Coloured Petri Nets to Model Railway Interlocking Tables [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Interlocking tables are the functional specification defining the routes on which the passage of the train is allowed. Associated with the route, the states and actions of all related signalling equipment are also specified.
Somsak Vanit-Anunchai
doaj +6 more sources
Chengshi guidao jiaotong yanjiu[Objective] As the standard for debugging, opening, acceptance, and subsequent use of computer interlocking devices, the interlocking table plays a crucial role in improving operation efficiency, extending equipment lifespan, and ensuring driving safety ...
Chunchuan FU
doaj +2 more sources
Removal of a broken interlocking bolt stuck within medullary canal – A technical note
Journal of Orthopaedic Reports, 2023 Background: Retrieval of the broken intramedullary screw or a bolt can be done by many techniques from a Steinman pin to a drill bit. Simpler techniques with less soft tissue dissection and without any cortical window are possible as long as the screw ...
R.K. Yalamanchili +4 more
doaj +1 more source
Decision Making in Combined Hip Arthroscopy and Femoral Derotational Osteotomy Surgeries
Video Journal of Sports Medicine, 2023 Background: Femoral version abnormalities can contribute to intra-articular hip pathology. Combined hip arthroscopy with femoral derotational osteotomy (FDRO) has been shown to successfully treat those with intra-articular hip pathology with excessive ...
Quinn Steiner BS +3 more
doaj +1 more source
Study of fracture shaft of Femur and its outcome treated with K- Nail in Manipal Teaching Hospital
Asian Journal of Medical Sciences, 2018 Background: Intramedullary interlocking nail is commonly accepted standard treatment in fracture shaft of femur. Its cost, technique, necessity of fracture table and image intensifier make it difficult in using for such cases where facilities are not ...
Krishna Sapkota +4 more
doaj +1 more source
International Journal of Pavement Research and Technology, 2021 Permeable interlocking concrete pavements (PICP) are being used increasingly in stormwater management. A 2-year experimental study was conducted to quantify some uncertain parameters related to PICP. The study entailed the hydraulic testing of a representative volume of PICP within a specially constructed Infiltration Table Apparatus with a surface ...
Johan H. van Vuuren +3 more
openaire +1 more source
An Automated Testing Method for Interlocking Data in Signaling System of Urban Rail Transit
Kongzhi Yu Xinxi JishuTo improve the testing efficiency of computer interlocking systems and shorten the testing cycle of urban rail transit projects, this paper proposes an automated testing method for interlocking data of signaling systems for urban rail transit. Built upon
LIU Huachao +3 more
doaj +3 more sources
Verifying the accuracy of interlocking tables for railway signalling systems using abstract state machines [PDF]
Journal of Modern Transportation, 2016 Railway transportation system is a critical sector where design methods and techniques are defined by international standards in order to reduce possible risks to an acceptable minimum level. CENELEC 50128 strongly recommends the utilization of finite state machines during system modelling stage and formal proof methods during the verification and ...
KAYMAKÇI, ÖZGÜR TURAY +1 more
openaire +2 more sources
The Influence of Tool Texture on Friction and Lubrication in Strip Reduction Testing
Lubricants, 2017 While texturing of workpiece surfaces to promote lubrication in metal forming has been applied for several decades, tool surface texturing is rather new. In the present paper, tool texturing is studied as a method to prevent galling.
Mohd Hafis Sulaiman +2 more
doaj +1 more source
Automatic generation and verification of railway interlocking control tables using FSM and NuSMV [PDF]
Transport Problems, 2009 Due to their important role in providing safe conditions for train movements, railway interlocking systems are considered as safety critical systems.
Mohammad B. YAZDI, Ahmad MIRABADI
doaj