• Korean Linguistics
• /
• v.62
• /
• pp.171-194
• /
• 2014

In this paper, I seek to differentiate the meaning of the auxiliary verb '-e ka-' from imperfective aspect in Korean. The progressive in imperfective is expressed by the 'be+V-ing' in English and '-ko iss-' in Korean. However the '-e ka-' in Korean can express the gradual progress meaning. This is similar to the progressive of some state verbs. These verbs cannot express the progressive aspect but it is possible if they can express the change of state in sentence. It is more corresponding to the '-e ka-' than '-ko iss-' in Korean.

• Journal of Navigation and Port Research
• /
• v.36 no.4
• /
• pp.305-311
• /
• 2012

The market competition of express package deliveries in Korea is severe because a large number of companies have entered into the market. This study thus suggests an approach to the reconfiguration of express service networks with respect to the strategy partnership of closing/keeping service centers among companies involved and the adjustments of their cutoff times. For this we propose an integer programming model and a genetic algorithm based solution procedure for allowing companies involved to maximize their incremental profit. An illustrative numerical example is presented to demonstrate the practicality and efficiency of the proposed model.

• Proceedings of the KSR Conference
• /
• 2011.05a
• /
• pp.483-495
• /
• 2011

In modern society, the range of time and space in life is continually expanding due to increase of income and diversification of life. In order to respond to these changes and to satisfy needs and to secure the mobility of citizens, the construction of transport infrastructure and public transport services should be provided continually. In particular, to ensure mobility during late-night hours, providing metropolitan public transport services is urgently needed. Due to expansion of life zone, tension of time and space of metropolitan transportation is essential to construct transport infrastructure in preparation for entry into 24-hour community. This study was based on analysis of travel resource and survey data conducted by passengers of express trains, conventional trains, and metropolitan bus. This study is to investigate use characteristics of passengers and characteristics and problems of Gyeongin-line. Moreover, this study's purpose is to suggest plans in order to improve express train operation and extend hours of the midnight express. It is also important to vitalize public transportation.

• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• pp.1810-1815
• /
• 2011

Although the effectiveness of an express train's service is measured in "Total System Time or Cost" units, many cases had used indirect method what based on the distintion by number of passengers in a station or experiential knowledgements. These methods are not guarantee itself as an optimal strategy. Focusing "Total System Time or Cost" directly, this paper investigates the express train service's stop scheduling based on each OD-volume and trip time which mainly affect system time and cost. To do this, we built an IP model which has a binary set presenting express train's stop scheduling as decision variable and suggest a Genetic Algorithm (GA) to find heuristic optimal solution.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.6 no.3
• /
• pp.49-57
• /
• 2010

We extended a general attack tree to apply cyber attack model for network vulnerability analysis. We defined an extended cyber attack tree (E-CAT) which extends the general attack tree by associating each node of the tree with a transition of attack that could have contributed to the cyber attack. The E-CAT resolved the limitation that a general attack tree can not express complex and sophisticate attacks. Firstly, the Boolean expression can simply express attack scenario with symbols and codes. Secondary, An Attack Generation Probability is used to select attack method in an attack tree. A CONDITION-composition can express new and modified attack transition which a aeneral attack tree can not express. The E-CAT is possible to have attack's flexibility and improve attack success rate when it is applied to cyber attack model.

• International Journal of Railway
• /
• v.4 no.3
• /
• pp.64-69
• /
• 2011

Paris has one of the world's oldest metropolitan railway systems and was also a pioneer when it introduced the RER in the 70s. With planning objectives comparable to the GTX, the RER aimed at serving outer suburbs while fully crossing the city center at higher speeds than the Metro. Maybe more relevant is the comparison between the planned Grand Paris Express and GTX projects, in terms of their planning ambitions and their development framework. This article will introduce the main planning ideas behind the Metro and the RER in Paris, and try to draw relevant comparisons with the GTX plan. It will also present the plans and financing framework for the Grand Paris Express and compare it with the BTO scheme contemplated for GTX, and draw some recommendations for successful implementation.

• Proceedings of the IEEK Conference
• /
• 2003.11b
• /
• pp.167-170
• /
• 2003

In this paper, a design and experiment of PCI Express Core verification Model is described. The model targeting Endpoint core verification is designed by using newly-emerging SystemC which is a system design language based on a new C++ class library and simulation engine. In the verification model, we developed a SystemC Host System model which act as a Root Complex and Device Driver dedicated to the PCI Express Endpoint RTL Core. The test of Host System Model is guided by scenarios which implements and acts point of Device Driver and Root Complex and shows the result of simulation. Also, We present the full structure of verification model and Host model.

• The Research Journal of the Costume Culture
• /
• v.11 no.4
• /
• pp.578-590
• /
• 2003

The purpose of this study was to analyze the formative characteristics appeared in modem Kitsch fashion which has been shown through the empirical data photogrphes from the 2000's to 2003 and the formative characteristics of Kitsch were divided into the material, ornament, color, pattern to understand the modem Kitsch fashion. The findings of this study could be summarized as follows: First, the modem Kitsch fashion in the material was used cheap, counterfeit materials like vinyl, artificial leather, immitation fur, beads and non-artistic materials like metal, plastic, paper and voluptuous material like seethrough to express eroticism and superficiality as the characteristic of Kitsch. Second, Kitsch fashion in the ornament was shown over-decoration by using the various accessories like bracelet, metal belt, gloves, etc to express as childish and coarse mixtures as the characteristic of Kitsch. Third, the modem Kitsch fashion was using splendid and bright, primary colors to express the image of complicated accumulation. Fourth, the modern Kitsch fashion mainly in the pattern was using ethnic, folklore and pop art pattern or print used hippies and pop art fashion to express the primitive purity as bounding of civilized society.

• Journal of the Korea Safety Management & Science
• /
• v.9 no.6
• /
• pp.105-112
• /
• 2007

The era of express train in Korea has come since April in 2004. The KTX(Korea Train Express) which has introduced the technology of TGV of France is regraded as good as the ICE of Germany or Shinkansen of Japanese in its hardware aspects. However there are still many things to be improved in its software aspects such as the quality of services, since the new express railway system is in the early beginning stage. To improve the quality of services, we should first measure and analyze the current level of the service quality. Using SERVQUAL model, the service level of KTX is measured and analyzed in this paper. Issues on how to improve the service quality are discussed based on the measurement and analysis.

• 한국태양에너지학회:학술대회논문집
• /
• 2011.04a
• /
• pp.174-178
• /
• 2011

This paper deals with the free cooling system of express bus using natural energy source in order to improve the room air quality and save cooling energy. In an express bus, there are may passengers in unit area, requiring the improvement of air quality and giving higher energy saving efficiency. Particularly, the express buses running fast make it easy to take in outdoor air at a flow rate controllable with a damper mechanism. This paper proposes the analysis on the air flow achieved by a damper controlled vertically and horizontally in order not to deteriorate the ride comfort of the passengers.