• Asia pacific journal of information systems
• /
• v.4 no.2
• /
• pp.3-34
• /
• 1994

In this paper we describe a new data modeling language we call $O^{2}LDM$. $O^{2}LDM$ incorporates features from object-oriented and logic approaches. In $O^{2}LDM$ there is a rich collection of objects organized in a type hierarchy. It is possible to compose queries that involve field selection, function application and other constructs which transcend the usual, strictly syntactic, matching of PROLOG. We give the features of $O^{2}LDM$ and motivate its utility for conceptual modeling. We have a prototype implementation for the language, which we have written in ML. In this paper we describe an executable semantics of the deductive process used in the language. We work some examples to illustrate the expressive power of the language, and compare $O^{2}LDM$ to PROLOG.

• Language and Information
• /
• v.15 no.2
• /
• pp.1-21
• /
• 2011

Of the coordination structures in Korean, the symmetric and asymmetric properties of verbal coordination have challenged both theoretical and computational approaches. This paper shows how a typed feature structure grammar, HPSG, together with the notions of 'type hierarchy' and 'constructions', can provide a robust basis for parsing (un)tensed verbal coordination as well as pseudo-coordination found in the language. We show that the analysis sketched here and computationally implemented in the existing resource grammar for Korean, Korean Resource Grammar (KRG), can yield proper syntactic structures as well as enriched semantic representations for real-time applications such as machine translation.

• International Journal of Contents
• /
• v.13 no.2
• /
• pp.66-74
• /
• 2017

Patent classification is becoming more critical as patent filings have been increasing over the years. Despite comprehensive studies in the area, there remain several issues in classifying patents on IPC hierarchical levels. Not only structural complexity but also shortage of patents in the lower level of the hierarchy causes the decline in classification performance. Therefore, we propose a new method of classification based on different criteria that are categories defined by the domain's experts mentioned in trend analysis reports, i.e. Patent Landscape Report (PLR). Several experiments were conducted with the purpose of identifying type of features and weighting methods that lead to the best classification performance using Support Vector Machine (SVM). Two types of features (noun and noun phrases) and five different weighting schemes (TF-idf, TF-rf, TF-icf, TF-icf-based, and TF-idcef-based) were experimented on.

• Journal of Korean Library and Information Science Society
• /
• v.37 no.2
• /
• pp.255-272
• /
• 2006

This study was investigated to the geography services and geographical directories through Internet in order to develop a geographical directory. Research method was the examination of different type of geography services through internet and geographical directories on the Internet search engines. The results show principles for a geographical directory construction: use both geographical names and subject names on the initial directory screen, repeated use the names through directory hierarchy, locality use on bottom directory as a geographical name, and fit use of the number of directories.

• Proceedings of the KSR Conference
• /
• 2003.10b
• /
• pp.311-318
• /
• 2003

Traffic management means the management of streams of people, vehicle and cargo. Its aim is to help creating an efficient, safe and environmentally friendly transport system. Traffic management can roughly be divided in traffic control and monitoring, traffic information and demand management. The main purpose of this thesis is providing the basis for developing the next generation train traffic management system by comparing domestic and abroad train traffic management system. The composition of this thesis has been discussed in the following order of the comparison of train traffic management system's function, the introduction of Autonomous Decentralized system, the comparison between CTC and ATOS. the comparison between the hierarchy system and Autonomous Decentralized system, the study of introduction plan of Autonomous Decentralized-type train traffic management system and conclusion.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.21 no.48
• /
• pp.241-251
• /
• 1998

The purpose of this study is to evaluate the relative importance of seven JIT operational techniques in Domestic industries. These techniques are used to improve manufacturing effectiveness and efficiency such as : Setup time reduction, Kanban, Multi-functional worker, U type layout, Andon(line stop), Atonomation, and Smoothing production. The new analytic hierarchy process(AHP) model is used in order to evaluate the relative importance of the seven JIT operational techniques which are used to increase the manufacturing effectiveness and efficiency. To aggregate the multi-divisions priorities, in this paper, we suggest a way which decision maker can exclude outlier matrix from group by using the concept of the compatibility in AHP.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.30A no.10
• /
• pp.67-76
• /
• 1993

This paper presents the design and implementation of SVSIM (Sogang VHDL SIMulator), a multi-level VHDL simulator, designed for the construction of an integrated VGDL design environment. The internal model of SVSIM is the hierarchical C/DFG which is extended from C/DFG to include the network hierarchy and local/glabal control informations. Hierarchical network is not flattened for simulation, resulting in the reduction of space complexity. The predufined/user-defined types except for the record type and the predefined/user-defined attributes are supported in SVSIM. Algorithmic-level descriptions can be siumlated by the support of recursive procedure/function calls. Input stimuli can be generated by command script in stimuli file or in VHDL source code. Experimential results show SVSIM can be efficiently used for the simulation of the pure behavioral descriptions, structural descriptions or mixture of these.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.16 no.4
• /
• pp.479-484
• /
• 2006

This paper discusses a fitness of the control on intersection using fuzzy analytic hierachy process. The validity of control of traffic signal on intersection is the fitness of phase and cycle on the intersection. The validity of the controller is cleared by the comparison of the delay time of vehicle. Fuzzy analytic hierachy process clears the grade of validity of the fixed cycle time controller and adaptive fixed cycle time and fuzzy trafic controller and proposes a new control type a traffic signal by this fuzzy analytic hierachy process.

• The Journal of Information Technology and Database
• /
• v.3 no.1
• /
• pp.45-63
• /
• 1996

This paper presents an integrated object-oriented database approach for managing the evolution of products in agile manufacturing environments, Schema evolution modification facilities are provided to support full potential versioning of type definitions. All of the possible versions for a composite product are not explicitly represented to avoid version proliferation. However, valid configurations of any composite products can be provided to comply with customer demands, The attributes of composite products are classified in order to provide well-defined representation scheme for composite products and to be exploited in version control. The attributes are partitioned into composite-related and non composite-related categories. Composite-related attributes consist of subproducts and description ones. Subproducts attributes represent physical constituents of a composite product. Description attributes represent external features, assembling, and correspondence property. Interface attributes are introduced for managing configurability and version propagation. Version derivations due to the changes to the interface attributes are propagated toward the product composition hierarchy, The validity of configurations of composite products is checked by using configurability maps. Instance objects which represent the actual product instances are stored and manipulated in the database in order to support traceability during product life cycle.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.7 no.2
• /
• pp.375-380
• /
• 2012

The current reconstrution project has caused many conflicts due to the problems contretely expressed by the following matters. The results of the analytic hierarchy process showed that the stage of promotion the project shoud most be taken into consideration to resolve the cinflict, the prior task of the successful reconstrution project. In this sense as the stage of project planning. it was analyzed as the most important item of coarse classification.