• Journal of Arbitration Studies
• /
• v.23 no.4
• /
• pp.55-76
• /
• 2013

This study aims to analyze the main features of Mongolian arbitration system compared with Korean Arbitration Law which was revised under the UNCITRAL Arbitration Model Law. On the basis of this comparative study, certain differences are suggested: First, the environment of Mongolian arbitration is still insufficient in terms of its operation and usage at the international level. Second, the Mongol National Arbitration Court has established Ad-hoc Arbitration Rules and has promoted Ad-hoc Arbitration although it is an institutional arbitration organization. Third, the arbitration objects are defined as the types of tangible and intangible assets in Mongolia which are different from those of the Korean Arbitration Law. Accordingly, court and officer disputes, family disputes, labor-management relations, and criminal matters are covered by the arbitration objects. Fourth, Mongol Arbitration Law specifies the following persons disqualified for arbitrator appointment: the member of the Constitutional Court, judge, procurator, inquiry officer, investigator, court decision enforcement officer, attorney, or notary who has previously rendered legal service to any party of the disputes, and any officials who are prohibited by laws to be engaged in positions above the scope of their duties. Fifth, the arbitrator selection and appointment criteria should be documented, and the arbitrator should have the ability to resolve the disputes independently and fairly and achieve concord from both parties. Sixth, if there is no agreement between the parties, the arbitration language should be Mongolian, and the arbitral tribunal has no power to decide on it. Seventh, despite the agreement for a documentary hearing between the parties, there should be provided opportunities for an oral hearing if either of the parties requires it. Eighth, if the parties do not understand the language of the arbitration, the parties can directly ask the translation service. They should also keep secrets in the process of arbitration. Ninth, the cancellation of arbitral award is allowed by the application of the parties, not by the authority of the court. Except for the nine differences above, the Mongolian arbitration system is similar to that of the Korean Arbitration Law. This paper serves to contribute to the furtherance in trade relationship between Mongolia and Korea after the rapid and efficient resolution of disputes.

• Journal of KIISE:Computer Systems and Theory
• /
• v.32 no.4
• /
• pp.177-185
• /
• 2005

NAND-type flash memory is becoming increasingly popular as a large data storage for mobile computing devices. Since flash memory is an order of magnitude more expensive than magnetic disks, data compression can be effectively used in managing flash memory based storage systems. However, compressed data management in NAND-type flash memory is challenging because it supports only page-based I/Os. For example, when the size of compressed data is smaller than the page size. internal fragmentation occurs and this degrades the effectiveness of compression seriously. In this paper, we present an efficient flash compression layer (FCL) for NAND-type flash memory which stores several small compressed pages into one physical page by using a write buffer Based on prototype implementation and simulation studies, we show that the proposed scheme offers the storage of flash memory more than $140\%$ of its original size and expands the write bandwidth significantly.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.8
• /
• pp.1997-2012
• /
• 1998

It is necessary to find out the parallelism in tlle sequential Java program to execute it on the parallel machine. The loop is a fundamental source to exploit parallelism as it process a large portion of total execution time in sequential Java program on the parallel machine. However, a complete parallel execution can hardly be achieved due to data dependence. This paper proposes the method of exploiting the implicit parallelism by structuring a dependence graph through the analysis of data dependence in the existing Java programming language having a nested loop structure. The parallel code generation method through the restructuring compiler and also the translation method of Java source program into multithread statement. which is supported by the Java programming language itself, are proposed here. The perforance evaluatlun of the program translaed into the thread statement is conducted using the trip cunt of loop and the trip Count of luop and the thread count as parameters The resttucturing compiler provides efficient way of exploiting parallelism by reducing manual overhead conveliing sequential Java program into parallel code. The execution time for the Java program as a result can be reduced un the parallel machine.

• The KIPS Transactions:PartD
• /
• v.9D no.3
• /
• pp.501-510
• /
• 2002

A various multimedia application services should be developed with techniques of high speed networks and computer. Among these, video-conference system over Internet is useful and important, and the standardization for it should be showed in ITU-T H.323. H.323 standardization consists of four components such as Terminal, MCU(Multipoint Control Unit), Gatekeeper, and Gateway. Among these, the functions of Gatekeeper are as follows, firstly the address translation service to translate the alias address into the IP address, secondary conference admission control service to control of conference start and termination, thirdly bandwidth management service for H.323 terminals. In this paper, we implemented the Gatekeeper for an efficient management of video-conference components in Internet environment, and will introduce our system. As the experimental results with CUSeeMe and Netmeeting which are well-known H.323 terminal, it is known that our gatekeeper should be satisfied with H.323 standardization.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.11
• /
• pp.2679-2689
• /
• 1997

In this paper, a multimedia authoring system using temporal/spatial synchronization manager is designed and implemented to support easy and efficient generation of multimedia title. For this goal, a flowchart-oriented logic generator which represents a title author's design intent into a practical title composition logic without extra translation process, and a logic interpreter which translate and implement the generated title logic, are designed. Furthermore, a temporal/spatial synchronization manager which manages temporal/spatial synchronization information between media data for multimedia representation, is designed. Especially, a temporal specification model and MRL, a formal language for the model, are designed to synchronize the temporal relation between media objects. The MRL represents a complex temporal relation by simple and clear form, and synchronizes efficiently multimedia representation according to the author's intent. A presentation frame editor which makes coincidence between visible size of representation media and attachment point, is implemented for spatial synchronization.

• Journal of Korean Society of Transportation
• /
• v.28 no.5
• /
• pp.43-54
• /
• 2010

In order to improve the existing evaluation system of bus services and gain more reasonable analysis outputs, the authors evaluate the efficiency of 113 arterial bus routes in Seoul in 2009 using a modified BCC model considering not only desirable outputs but also undesirable outputs. Each Decision Making Unit (DMU) is assumed to use inputs such as possession costs, operating costs, the ratios of median bus stops overlapped route lengths to produce estimates of desirable outputs (the number of passengers and service satisfaction score) and undesirable outputs (CO2 emissions). According to the analysis, the modified BCC model considering both desirable outputs and undesirable outputs shows more appropriate results. DMUs would be more efficient on average to reduce nearly 10% of the 3 inputs (possession costs, operating costs, and overlapped route lengths) and increase by about 160% the ratios of median bus stops. Also, a Tobit regression analysis is conducted to identify the most effective variables for maximum efficiency and discover that the variable of possession costs and the ratios of median bus stops are statistically significant.

• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.6
• /
• pp.801-808
• /
• 1999

지금까지, 전기통신망과 장비들의 관리에 대해서는 많은 연구들이 진행되었지만, TMN 상위 계층의 서비스 관리와 비즈니스 관리에 대한 연구는 많이 수행되지 못했다. 최근 전세계적으로 TMN 상위 계층의 관리기능 구현을 위해서 CORBA 기술을 적용하고자하는 관심이 증가하고 있다. 본 논문에서는, 정보모델과 상호운용에 관한 TMN과 CORBA의 주요특징들을 비교하고, TMN 프레임웍와 효율적인 CORBA 기술 연동을 위한 플랫폼 구조를 제안한다. 제안된 구조에서, TMN 관리 정보를 CORBA IDL 인터페이스로 변환해주는 GDMO/ASN.1 - CORBA IDL 변환기가 고안, 구현되었고, JIDM의 상호 작용 변환의 구현을 위해서 TMN/CORBA 게이트웨이 또한 고안되었다. 그리고 이러한 기능의 확장을 위해서 모듈 형식으로 라이브러리들과 코드 생성기들이 설계, 구현되었다.Abstract Up to now, a lot of efforts have been made for the management of telecommunication networks and equipment, but less effort has been made for the realization of higher-layer service and business management. There are recently worldwide growing interests for applying CORBA technology for the realization of higher layer Telecommunication Management Network (TMN) management functions. In this paper, we compare the features of TMN and CORBA with respect to information model, and operational behavior. And then, we propose a platform architecture for the efficient integration of CORBA technology within TMN framework. Within platform architecture, GDMO/ASN.1 to IDL translator has been designed and implemented for translating TMN management information into CORBA IDL interface. The TMN/CORBA gateway is also designed for realization of the interaction translation specification of JIDM task force. The libraries and code generators have been designed and implemented in a modular fashion to provide the functional extensibility.

• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.9
• /
• pp.349-354
• /
• 2019

s programming education becomes more important in recent years, it is necessary to learn how the source code written by students reflects Object-Oriented(OO) concepts. We present a tool called the Round-Trip Translator(RTT) that transforms the Unified Modeling Language(UML) class diagram and Java source code to provide a web-based environment that provides real-time synchronization of UML and source code. RTT was created by improving existing RTE and is a tool for students who are learning OO concepts to understand how their UML or source code reflects the concepts that user intended. This study compares the efficiency and user- friendliness of RTT with the existing Round-Trip Engineering-based tools. The results show that students have improved understanding of OO concepts through UML and source code translation by using the RTT. We also found out that students were satisfied with the use of the RTT, which provides more efficient and convenient user interface than the existing tools.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.41 no.10
• /
• pp.1167-1175
• /
• 2016

This paper proposes an efficient page-level mapping algorithm that reduces the erase count in the FTL for flash memory systems. By maintaining the weight for each write request in the request buffer, the proposed algorithm estimates the degree of temporal locality for each incoming write request. To exploit temporal locality deliberately for determination of hot request, the degree of temporal locality should be much higher than the reference point determined experimentally. While previous LRU algorithm treats a new write request to have high temporal locality, the proposed algorithm allows write requests that are estimated to have high temporal locality to access hot blocks to store hot data intensively. The pages are more frequently updated in hot blocks than warm blocks. A hot block that has most of invalid pages is always selected as victim block at Garbage Collection, which results in delayed erase operation and in reduced erase count. Experimental results show that erase count is reduced by 9.3% for real I/O workloads, when compared to the previous LRU algorithm.

• Horticultural Science & Technology
• /
• v.33 no.3
• /
• pp.409-419
• /
• 2015

This study was conducted to establish an efficient screening method for watermelon plants resistant to Fusarium wilt (FW), which is caused by Fusarium oxysporum f. sp. niveum (Fon). An HA isolate was prepared from a wilted watermelon plant in Haman-gun and identified as F. oxysporum f. sp. niveum based on morphological characteristics, molecular analyses of ITS (internal transcribed spacer) and TEF (translation elongation factor $1{\alpha}$) sequences, and host specificity on cucurbits including watermelon, melon, oriental melon, and cucumber. The assay for disease response of watermelon differentials indicated that the HA isolate was race 0. Among seven liquid media tested, the highest amount of Fon spores was produced from V8-juice broth, which was selected as a medium for mass production of Fon. The disease assay for 21 watermelon and 11 watermelon-rootstock cultivars demonstrated that 20 watermelon cultivars except for 'Soknoranggul' were susceptible; 'Soknoranggul' was moderately resistant. All the tested rootstock cultivars were highly resistant to the HA isolate. The evaluation of disease development depending on various conditions suggested that an efficient screening method for FW resistance in watermelon plants is to dip the roots of 10-day-old seedlings in spore suspension of $1.0{\times}10^5-1.0{\times}10^6conidia{\cdot}mL^{-1}$ for 30 min., to transplant the seedlings to plastic pots with a fertilized soil, and then to cultivate the plants at $25^{\circ}C$ for 3 weeks.