• Journal of the Economic Geographical Society of Korea
• /
• v.18 no.4
• /
• pp.539-555
• /
• 2015

This study proposes the methodology for measuring the time-distance accessibility on the Seoul bus system based on the T-card transaction databases and analyzes the results. T-card transaction databases contain the time/space information of each passenger's locations and times of the departure, transfers, and destination. We introduce the bus network graph and develop the algorithms for time-distance accessibility measurement. We account the average speed based on each passenger's get-in and getoff information in the T-card data as well as the average transfer time from the trip chain transactions. Employing the modified Floyd APSP algorithm, the shortest time distance between each pair of bus stops has been accounted. The graph-theoretic nodal accessibility has been given by the sum of the inverse time distance to all other nodes on the network. The results and spatial patterns are analyzed. This study is the first attempt to measure the time-distance accessibility for such a large transport network as the Seoul bus system consists of 34,934 bus stops on the 600 bus routes, and each bus route can have different properties in terms of speed limit, number of lanes, and traffic signal systems, and thus has great significance in the accessibility measurement studies.

• Journal of the Korea Society for Simulation
• /
• v.24 no.4
• /
• pp.1-9
• /
• 2015

As the use of software is more wider in the safety-critical nuclear fields, so study to improve safety and quality of the software has been actively carried out for more than the past decade. In the nuclear power plant, nuclear man-machine interface systems (MMIS) performs the function of the brain and neural networks of human and consists of fully digitalized equipments. Therefore, errors in the software for nuclear MMIS may occur an abnormal operation of nuclear power plant, can result in economic loss due to the consequential trip of the nuclear power plant. Verification and validation (V&V) is a software-engineering discipline that helps to build quality into software, and the nuclear industry has been defined by laws and regulations to implement and adhere to a through verification and validation activities along the software lifecycle. V&V is a collection of analysis and testing activities across the full lifecycle and complements the efforts of other quality-engineering functions. This study propose a methodology based on V&V activities and related tool-chain to improve quality for software in the nuclear power plant. The optimized methodology consists of a document evaluation, requirement traceability, source code review, and software testing. The proposed methodology has been applied and approved to the real MMIS project for Shin-Hanul units 1&2.

• Magazine of the Korean Society of Agricultural Engineers
• /
• v.35 no.2
• /
• pp.92-103
• /
• 1993

A sunday system with a horizontal bin-type composter was constructed and operated to evaluate its composting performance for four days for each test in October, 1992. A sundry system is one of popular systems for composting livestock manure, of which main benefit is to utilize unlimited, clean, and free solar radiation. A rectangular concrete bin(composter) with dimension of 300cm(length) X90cm(width) X60cm(height) was bedded alternatively with four lanes of aeration pipes and heating pipes, and was insulated at three walls with 50mm styrofoam. Each aeration pipe of a diameter of 25mm had 4mm perforated holes at every 15cm longitudinally, and supplied air of about 2m$^3$/min to the composter to maintain aerobic condition . A stirrer rotating at 1 rpm made one round trip every 20 minutes on the conveying chain along the the length of the composter. Five tests (Test 1~Test 5) were implemented to evaluate the composting effectiveness of a sundry system with a horizontal bin-type composter. Treatments of two levels of the mixture ratio of swine manure and paper sludge cakes(manure : paper sludge cakes= 1 : 4 and 1 : 2) and two levels of the water content(W/C ; 70% and 50%) were made to test the significance of the physicochemical properties for decomposition of the mixture materials. Temperature, C/N ratio, water content, microbial activity of the composting materials were taken measurements to evaluate its performance with the lapse of composting time for tests. A small-scale sundry system with a bin-type composter did not appear to be an appropriate system for composting livestock manure. Since heat generation by the composting materials could not overcome heat loss due to areation in a small-scale composter, a proper thermal enviroment could not be maintained to propagate massively thermopilic microorganism relatively in a short period of time. Different from the result of Chol et al.(1992) 6), a temperature variation of the composting materials did not show the peak clearly and C/N ratio didn't lower with time as expected. Mesophilic microoragnism seemed to play an important role for decomposition of the mixture materials. A sundry system with a bin-type composter may be good for a large-scale livestock farm household which may produce enough animal manure. Therefore a decision should be made very carefully to choose a system for composting livestock waste.