• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• v.9 no.1
• /
• pp.720-723
• /
• 2005

There has been significant progress in the development of timed process algebra for the specification and analysis of real-time systems in recent years. ACSR is a timed process algebra, which supports synchronous timed actions and asynchronous instantaneous events. Timed actions model the usage of shared resources and the passage of time, whereas events allow synchronization between processes. To be able to specify real-time systems more effectively, this paper suggests the notion of probabilities. This paper also illustrates extended PACSR with a typical resource allocation system and its deadlock specification and analysis.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• v.9 no.2
• /
• pp.927-930
• /
• 2005

ACSR is a timed process algebra for the specification and analysis of real-time systems, which supports synchronous timed actions and asynchronous instantaneous events. PACSR is an extended ACSR with the notion of probabilities in selection operation. Using PACSR, this paper represents a system fault occurrence and recovery from the fault in the general resource alteration system. The result shows that system fault occurrence can be analyzed from the fault occurrence probability and the recovery probability.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.14 no.3
• /
• pp.648-654
• /
• 2010

Request operations and release operations occur repeatedly in resource allocation systems. The process requesting a resource acquires one by any priority-based mechanism, and returns the resource after some periods. In this system, resource failures lead to delay of resource allocation, or to termination of process holding the failed resource. To analyze this process effectively, this paper designs a probabilistic ACSR, a process algebra that extends ACSR with the probabilistic choice operation. The ability to express/analyze both request-release rates and failure-recovery rates is illustrated using probabilistic ACSR.

• Journal of Navigation and Port Research
• /
• v.31 no.8
• /
• pp.717-723
• /
• 2007

In recent years, the transportation sector has been undergoing very rapid and multifarious changes due to the M&A, alliances between shipping companies, introduction of larger container ship as it cost reduction measure and the application of integrated logistics to satisfy the needs of customers. Therefore, container terminal is required adequate terminal facilities, sufficient channel depth, efficient handling and low cost of port fees and dues. The purpose of this paper is for functional assessment of efficient container terminal. Firstly, the container operating process information about yard equipment and chassis is extracted through the analysis of practical daily work report of container terminal. Also, the formulae of skill factor and troubles of operator on transfer crane are defined. Lastly, container handling simulation model which consideration of skill factor and trouble of operator is proposed by Petri network model.

• Journal of Korea Port Economic Association
• /
• v.37 no.4
• /
• pp.33-40
• /
• 2021

Currently, the shipping and port industries are implementing strategies to improve port processing capabilities through the expansion and efficient operation of port logistics resources to survive fierce competition with rapidly changing trends. The calculation of the port's processing capacity is determined by the loading and unloading equipment installed at the dock, and the port's processing capacity can be improved through various methods, such as additional deployment of logistics resources or efficient operation of resources in use. However, it is difficult to expect an improvement effect in a short period of time because the additional deployment of logistics resources is clearly limited in time is clear. Therefore, it is a feasible way to find an efficient operation method for resources being used to improve processing capacity. Domestic ports are also actively promoting informatization and digitalization with the development of the 4th industrial revolution technology. However, the calculation of the number of Y/T (Yard Tractor) assignments in the current unloading process depends on expert experience, and related previous studies also focus on the allocations of Y/T or Calculation of the total number of Y/T required. Therefore, this study analyzed the factors affecting the number of Y/T allocations using the loading and unloading information of incoming ships, and based on this, cluster analysis, regression analysis, and deep neural network(DNN) model were used.