• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• pp.2225-2234
• /
• 2011

According to Railway Safety Act, Korea Transportation Safety Authority (KOTSA) has been entrusted with 'Integrated Railway Safety Audit (IRSA) and has implemented the safety audit to the Railway operation agencies such as Korea Railway (KORAIL) and the Railway facility management organization such as the Korea Rail Network Authority (KR Network). The target of IRSA is to establish the effective rail safety management system and to raise the safety level of the Railway operation and facility agencies by checking synthetically their performance of safety duties with sincerity according to the Railway Safety Act. Even though newly introduced IRSA is conducted smoothly, it is necessary to study the methodology and criteria of the state's safety audit system. The purpose of this paper is to improve the efficiency of IRSA by the comparative research between IRSA and other similar safety audit system and to establish the consecutive improvement concept of IRSA. Second purpose is to confirm the effectiveness of IRSA by the analysis of the relationship between audit results and the safety level of the rail operation agencies.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05b
• /
• pp.725-730
• /
• 1996

In this work, the software behavior under memory faults in operation phase is modeled and simulated using the stochastic activity network, generalized stochastic Petri nets. This networks permit the representation of concurrency, timeliness, fault tolerance, and degradable performance of system and provide a means for determining the stochastic behavior of a complex system. We estimate the reliability of an application software in the digitized system in nuclear power plants and show the sensitivity of the software reliability to the major physical parameters which affect the software failure in normal operation phase. We found that the effects of the hardware faults on the software failure should be considered for predicting the software dependability accurately in operation phase.

• KIEE International Transactions on Power Engineering
• /
• v.4A no.1
• /
• pp.42-47
• /
• 2004

This paper presents the various application programs for the Distribution Automation System (DAS) of the Korea Electric Power Corporation (KEPCO)'s distribution system. These programs are developed to allow for optimal operation in the areas of feeder automation, relay coordination, loss minimization and so on. They are single line diagram auto creation programs for the feeder, service restoration program, protection coordination program, data error detection program, and optimal network reconfiguration program. The details of these programs are presented for validity and effectiveness.

• Proceedings of the IEEK Conference
• /
• 2002.07b
• /
• pp.790-793
• /
• 2002

In this paper, dynamic path planning of two mobile robots using a modified Hopfield neural network is studied. An area which excludes obstacles and allows gradually changing of activation level of neurons is derived in each step. Next moving step can be determined by searching the next highest activated neuron. By learning repeatedly, the steps will be generated from starting to goal points. A path will be constructed from these steps. Simulation showed the constructed paths of two mobile robots, which are moving across each other to their goals.

• Journal of the Korean Society for Precision Engineering
• /
• v.9 no.4
• /
• pp.36-43
• /
• 1992

This paper presents a hierarchical real-time operation control and monitoring scheme of the FMS/CIM center which has been implemented at the Automation and Systems Research Institute of Seoul National University. The hierarchical structure of the whole scheme consists of three lavers. The upper layer is in charge of on-line scheduling, computer network control, shop-floor monitoring and command generation for AGV dispatching, machining, assembly, inspection, set-up, etc. The middle layer has six modules, which are installed in the FMS host computer with the upper layer and run on the multi-tasking basis. Each module is connected to one of six cell controllers distributed in the FMS model plant and transfers operation command down to each cell controller through the Ethernet/TCP-IP local area network. The lower layer is comprised of six cell control software modules for machining cell, assembly cell, inspection cell, set-up stations. AS/RS and AGV. Each cell controller reports the status of the manufacturing facilites to the middle layer as well as ecxecuting the appropriate sequence control of the manufacturing processes.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2004.10a
• /
• pp.527-530
• /
• 2004

This paper presents an optimization formulation for resource scheduling in Critical Resource Diagramming (CRD) of production scheduling networks. A CRD network schedules units of resources against points of needs in a production network rather than the conventional approach of scheduling tasks against resource availability. This resource scheduling approach provides more effective tracking of utilization of production resources as they are assigned or 'moved' from one point of need to another. Using CRD, criticality indices can be developed for resource types in a way similar to the criticality of activities in Critical Path Method (CPM). In our supply chain model, upstreams may choose either normal operation or expedited operation in resource scheduling. Their decisions affect downstream's resource scheduling. The suggested optimization formulation models resources as CRD elements in a production two-stage supply to minimize the total operation cost

• Proceedings of the KSR Conference
• /
• 2002.10a
• /
• pp.307-313
• /
• 2002

Due to the fact that high speed railroad will be opened to traffic and TSR and TCR will be connected to Korean railroad network in near future, the efficient operation methods of Railroad freight transportation have been embossed as a matter of concern. But, it is true that the present level of our railway infrastructures and operation systems are still low. This study examines the freight transportation system and introduces new logistic service systems including network strategies and terminals which are haying developed overseas to increase the efficiency of existing railroad transportation system. In case of giving careful consideration to the new methods, it is expected that the high developed freight transportation systems will be applicable to our country.

• Proceedings of the KIEE Conference
• /
• 1996.07b
• /
• pp.757-759
• /
• 1996

This paper proposes an application of artificial neural networks to the bus-bar separation in a substation for radial network operation. For the effective bus-bar operation, the insecurity index of transmission line load is introduced. For the radial network operation. the constraints of bus-bar switch is formulated in the performance function with the insecurity index. The determination of bus-bar switching is to find the states of 0 or 1 in the circuit breakers. In this paper, it is tested that the bus-bar separation of binary optimization problem can be solved by Hopfield networks with adequate manipulations.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.8 no.4
• /
• pp.795-802
• /
• 2007

In the future combat fields, US department of defense (DoD) pursuits the enhancement of the synergy effects of the force through the networking. In specially, the US army force has been emphasized the information superiority for the knowledge superiority and decision superiority of the collaboration force in the Joint Vision 2020, when the operations is performed in the battle fields. In this case study, we are reviewed about the concept of network centric operation and operation case in the centering around the US and analyzed the quantitative distance and effect, performance of communication relay about the distance of mission operation.

• International Journal of Computer Science & Network Security
• /
• v.24 no.4
• /
• pp.192-196
• /
• 2024

The memory coherence problem occurs while mapping shared virtual memory in a loosely coupled multiprocessors setup. Memory is considered coherent if a read operation provides same data written in the last write operation. The problem is addressed in the literature using different algorithms. The big question is on the correctness of such a distributed algorithm. Formal verification is the principal term for a group of techniques that routinely use an analysis that is established on mathematical transformations to conclude the rightness of hardware or software behavior in divergence to dynamic verification techniques. This paper uses UPPAAL model checker to model the dynamic distributed algorithm for shared virtual memory given by K.Li and P.Hudak. We analyse the mechanism to keep the coherence of memory in every read and write operation by using a dynamic distributed algorithm. Our results show that the dynamic distributed algorithm for shared virtual memory partially fulfils its functional requirements.