• Korean Journal of Cognitive Science
• /
• v.4 no.2
• /
• pp.29-51
• /
• 1994

This paper presents a new approach to describing the meanings of English relative clauses with the theoretical framework of Conceptual Structure Theory (henceforth CST)which builds on the pionerring work of Sowa.And this paper aims at proposing some extensions to his work. CST describes the conceptual structrures of sentences with conceptual graphs(henceforth CG). which have begun to be used as an intermediate language in natural language processing and machine translation of computer.CGs are composed of concept types and conceptual relation types. They are a system of logic for semantic representation of sentences. This paper focuses on showing the differences of the CGs according to the functions of English relative clauses. English relative clauses are divided into restrictive and nonrestrictive uses.And this paper describes a restrictive clause with a CG including a expression.which derives from the viewpoint of Montague-semantics and Nom-S Analysis.This paper deals mainly with the relative clauses of double restroction as an example of restrictive relative clauses.The description of a nonrestrictive relative clause does not need any-expression, for it doesn's involve the meaning of set.And this paper links the CG of an appositive relative clause,which is a kind of nonrestrictive clauses,to the concept of the antecedent in the main clause.The description of a nonrestrictive relative clause with adverbial meaning is strated with two CGs for the main clause and the relative clause.They are linked with an appropriate intersentential conceptual relation type according to the contextual realtions between them.This paper also presents a CG of a sentential relative clause,which gives a comment on the main clause.

• Korean Journal of Cognitive Science
• /
• v.28 no.4
• /
• pp.223-243
• /
• 2017

A Hangul input method consists of two core components: key layout for primitive units (Natja), and binding rules to form more complex, composite units from primitive ones. However, careless design and implementation of an input method may result in ambiguity and inability of contiguous typing, when it comes to handle composite Hangul units. This is due to the collective nature of Hangul, namely, existence of implicit boundaries between units and syllables. This issue gets more challenging for the context-dependent 2-beolsik method, mobile environment having significantly fewer keys, and yet addition of the support for Old Hangul. For the sake of the management of complexity, we devised a system in which the binding rule is divided into two layers rather than one. Based on this concept, we implemented a tool program that, given the primitive units and their binding rules, generates input details of every composite unit and detects any potential ambiguity and conflicts. We presented the actual analysis result for Samsung Cheonji-in and KT Naratgeul, two of the most popular mobile Hangul input methods used in Korea.

• Journal of the Korea Computer Industry Society
• /
• v.2 no.2
• /
• pp.219-228
• /
• 2001

This paper presents the implementation of comparator which are Fail-Safe with respect to faults caused by any single physical defect likely to occur in NMOS and CMOS integrated circuit. The goal is to use it at the Fail-Safe system. First, a new fault model for PLA(Programmable Logic Array) is presented. This model reflects several physical defects in VLSI circuits. It focuses on designs based on PLA because VLSI chips are far too complex to allow detailed analysis of all the possible physical defects that can occur and of the effects on the operation of the circuit. Second, this paper show that these design, which was implemented with 2 level AND_ORor NOR-NOR circuit, are optimal in term of size. And it also present a formal proof that a comparator implemented as NOR-NOR PLA, based on these design, is self-testing with respect to most single faults in the presented fault model. Finally, it discuss the application of the self-testing comparator as a building block for implementing Fail-Safe Adder.

• Journal of Korean Society for Atmospheric Environment
• /
• v.14 no.2
• /
• pp.143-152
• /
• 1998

The aerosol concentrations of ionic components were measured on a daily basis from a coastal monitoring site located at Kosan, Cheju Island from 26 September to 5 October 1997 as a field-intensive for a LRTAP project The chemical species we investigated include most of important inorganic species (i.e., Cl-, NO3-, F-, SO42-, Na+, NH4+, and K+) and some organic species (i.e. formats, acetate, and methanesulfonate (MSA) ions). The concentration data of those important inorganic and organic species obtained during this study were evaluated to properly address their chemical and physical characteristics. Most of major inorganic components including sulfate, sodium, chloride, and potassium ions exhibited very conservative relationships with each other such that the concentration ratios of any pair are quite analogous to that of seawater ratio. Since the oceans serve as the major sources of ionic constituents, their concentration changes appear to be senstively reflected by the factors affecting air-sea processes such as an increase in wind speed or changes in wind direction. A comparative analysis of sulfur-containing species such as seasalt (SS) and nonseasalt (NSS) sulfate and MSA were also made to assess the factors influencing the S cycling. An evaluation of NSS/SS ratios suggests that most of sulfate be associated with NSS fraction rather than 55 one. The finding of lower MSA/NSS-SO42- ratio along with a line of physical evidence such as intrusion of anthropogenically affected air mass suggests that the oxidation of S species have been promoted under the conditions encountered during the study period. Finally, the concentration data of carboxylic species (such as formats and acetate ions) were also analyzed. Although the existence of temporal trends were difficult to assess, these data indicate that their contribution to the precipitation acidity may not be significant enough.

• The KIPS Transactions:PartA
• /
• v.18A no.6
• /
• pp.249-254
• /
• 2011

This paper describes an efficient design of the interpolation circuit to generate the luma and chroma sub-pixels for H.264 motion estimation. The circuit based on the proposed architecture does not require any input data buffering and processes the horizontal, vertical and diagonal sub-pixel interpolations in parallel. The performance of the circuit is further improved by simultaneously processing the 1/2-pixel and 1/4-pixel interpolations for luma components and the 1/8-pixel interpolations for chroma components. In order to reduce the circuit size, we store the intermediate data required to process all the interpolations in parallel in the internal SRAM's instead of registers. We described the proposed circuit at register transfer level and verified its operation on FPGA board. We also synthesized the gate-level circuit using 130nm CMOS standard cell library. It consists of 20,674 gates and has the maximum operating frequency of 244MHz. The total number of SPSRAM bits used in our circuit is 3,232. The size of our circuit (including logic gates and SRAM's) is smaller than others and the performance is still comparable to them.

• KIPS Transactions on Software and Data Engineering
• /
• v.9 no.6
• /
• pp.195-204
• /
• 2020

Nowadays there are over 1.6 billion web pages and it is hard to get necessary results that user wants. Most search engines allow you to search with logical form to get accurate results. However, normal users are not familiar to search information as logical form. Therefore, they search in natural language rather than in complicated logical form. In this paper there are some suggestions to improve quality of searching results, converting natural language input by the user into logical form which can able to use advanced search engine. Users tend to make short searches due to the 'Simplicity' which is one of the features of the search form. Therefore we suggest history retrieval method; advanced version of previous suggestion to provide convenience to the normal users. We had improvement on accuracy of the search results converting natural languages to logical form and also can contain every keyword without missing any keywords using searching methods on this paper. It is expected that these search methods will contribute to the development of search engines.

• Journal of Korean Society of Transportation
• /
• v.18 no.5
• /
• pp.57-67
• /
• 2000

Two fuzzy travel time estimators for interrupted traffic flow were developed based on field survey data and simulation data 7hat is collected from DETSIM, which is microscopic traffic simulation model that car-following theory is applied. One is FETTOS(Fuzzy Estimator of Travel Time using Occupancy and Spot speed) and the other is FETTOS(Fuzzy Estimator of Travel Speed using Volume and Occupancy). Fuzzy logic controller was applied to the estimators to deal with non-linear relationship between traffic variables and travel time. According to results of simulation and field survey. estimation of travel time can be modeled by using percent occupancy better than any other traffic variables. Detector location from storyline and signal timing Plan of intersection are affected to estimate travel time. With a few findings, the estimator was constructed and its performance was tested for observed travel time data and simulated data. FETTOS which needs signal timing plan and detector location estimates travel time with accurate better than FETSVO does. However. FETSVO has excellent transferability because the estimator needs set of input data only; volume and time mean speed.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.16 no.8
• /
• pp.1593-1598
• /
• 2012

In this paper, we propose an intelligent signal control method based on fuzzy logic applicable in real time. We design membership functions to model occupied time and the number of vehicles for each lane. A priority for each signal phase is computed by the popular Max-Min fuzzy inference based on control rules and membership degrees of prepared two functions at any given time. A tie breaking scheme is considering weighted sum of the rate of occupied time per number of vehicles in that block and the standard deviation of these blocks. Only a signal phase with the highest priority is opened and all others are closed and the duration of the phase opening is computed proportional to the rate of number of weighting vehicles in that signal per all weighted vehicles. The simulation result shows that the proposed method is more efficient than the static control in all simulation conditions in $2{\times}3$ experimental designs with the number of vehicles in intersection and congestion degrees that have all three levels.

• KOREAN JOURNAL OF PACKAGING SCIENCE & TECHNOLOGY
• /
• v.26 no.2
• /
• pp.53-60
• /
• 2020

A concept of household container to create and keep the modified atmosphere (MA) beneficial for fresh produce mix was devised and tested under typical chilled storage conditions of 3℃. The container system containing mixed products is initialized by applying weak hypobaric condition (0.9 atm) and subsequently injecting CO₂ gas at an appropriate low level (0.03 atm). The passive atmosphere modification by produce respiration is then induced to reach a target until gas diffusion tube of proper dimension starts to open. The design was made to attain quasi-steady state mass balance of O₂, CO₂ and N₂ to maintain the desired MA through the storage. Interrupted opening for taking out or placing some products was to reinitialize the loop of control logic. The developed concept was tested by the container which held commodities of spinach, pak choi, oyster mushroom, peeled onion, strawberry and cut carrot. The target optimum MA of 11% O₂ and 10% CO₂ (0.11 and 0.10 atm, respectively) was set to avoid injurious range of O₂ and CO₂ concentrations for any commodities. The developed container system could work to reach and maintain beneficial MA of 0.10-0.12 atm O₂ and 0.07-0.10 atm CO₂ close to the target during the storage contributing to quality retention of products measured in weight loss, chlorophyll content of spinach, ascorbic acid content of pak choi, color of onion, texture of oyster mushroom, bacterial count of strawberry and carotenoids of carrot. The container system shows potential to improve current preservation practice of fresh produce mix on consumers' level.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.46 no.7
• /
• pp.47-52
• /
• 2009

H.264 video coding standard is widely used due to the high compression rate and quality. The motion compensation is the most time-consuming and complex unit in the H.264 decoder. The performance of the motion compensation is determined by the calculation of pixel interpolation and management of the reference pixels. The reference pixels read from external memory using efficient memory management for data reuse is necessary along with the high performance interpolators. We propose the architecture of a motion compensation unit for H.264 decoders. It is composed of 2-dimensional circular register files, a motion vector predictor and high performance interpolators with low complexity. The 2-dimensional circular register files reuse reference pixel data as much as possible, and feed reference pixel data to interpolators without any latency and complex logic circuits. We design a motion compensation unit and a intra-prediction unit and integrate them into a prediction unit and verify the operation and the performance.