• Annual Conference on Human and Language Technology
• /
• 1999.10e
• /
• pp.297-303
• /
• 1999

오늘날 전산망을 통해 대량의 다양한 언어 정보가 일상 언어로 교환되고 있다. 따라서 대량의 이러한 정보를 효율적으로 처리할 수 있는 언어 정보 처리 시스템이 필요하다. Hausser (1999)와 이기용(1999)는 그러한 언어 정보 처리 시스템으로 데이터베이스 의미론을 주장하였다. 이 의미론의 특징은 자연언어의 정보 처리 시스템 구축에 상업용 데이터베이스 관리 시스템을 활용한다는 점이다. 이때 야기되는 문제 중의 하나가 표상(representation)의 문제이다. 그 이유는 언어학의 표상 방법이 데이터베이스 관리 시스템의 표상 방법과 다르기 때문이다. 특히, 관계형 데이터베이스 관리 시스템(RDBMS)에서는 테이블 (table) 형식으로 각종 정보를 표시한다. 따라서, 이 논문의 주안점(主眼点)은 언어학에서 흔히 쓰이는 표상 방법, 즉 문장의 통사 구조를 표시하는 수형(tree)이나 의미 구조를 표시하는 논리 형태(logical form), 또는 단어나 구의 특성을 나타내는 자질 구조(feature structure)를 테이블 형식으로 대체하는 방법을 모색하는 것이다. 더욱이 관계형 데이터베이스 관리 시스템에서는 테이블에 대한 각종 연산, 특히 두 테이블을 연결(link)하는 작업이 가능하고 이런 연산 과정을 통해 정보를 통합하거나 여과할 수 있기 때문에 관련 정보를 하나의 테이블에 표상하거나 정보 자료의 분산 저장과 자료의 순수성을 유지하는 것이 용이하다. 이 논문은 곧 이러한 점을 가급적 간단한 예를 들어 설명하는 데 그 목적이 있다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.3 no.3
• /
• pp.651-659
• /
• 1999

This Paper Proposes new speed and electromagnetic torque control of an induction motor, which is robust against time varying parameters. The control is based on adaptive vector control with serial block adaptive algorithm. Motor parameters used to estimates slip frequency and electromagnetic torque. Parameters mismatch in the control system detrimentally affects slip frequency estimation and torque response. In order to compensate lot degradation of the responses, an adaptive identifier for the magnetizing inductance and the secondary time constant is introduced. adaptive vector control system consisted of two subsystems, a vector control system realized on synchronous frame and a parameter identification system on stationary frame. the effectiveness of the proposed method was verified by some digital simulations.

• Korean Journal of Optics and Photonics
• /
• v.8 no.6
• /
• pp.492-499
• /
• 1997

We proposed and studied an all-optical switching device made of a bent nonlinear waveguide and an all-optical logic gate made of a bent nonlinear Y-junction. The proposed devices as switch and a logic function are based on the evolution of nonlinear guided wave along a bent nonlinear waveguide. Since the characteristics of beam propagation depens on the nonlinearity, input power and bent angle of waveguide, the characteristics of output power transmission is calculated by variation the such parameters. Furthermore, by calculating the output power through the nonlinear media with different positions of detector in nonlinear media, we could find the ideal digital switching performance at specific position of detector and implement several all-optical logic functions (AND, OR, XOR) by power contrast between waveguide end and nonlinear media.

• Journal of Korea Multimedia Society
• /
• v.7 no.5
• /
• pp.633-639
• /
• 2004

The performance of optimistic concurrency control schemes which are generally used for Mobile computing is very sensitive to the transaction abort rate. Even if the abort probability can be reduced by back-shifting the timestamp from the time of requesting a commit, some transactions continuously perform unnecessary operations after the transactions accessed write-write conflicting data. In this paper, we propose an optimistic protocol that can abort the transactions during the execution phase by using the write notification approach. The proposed protocol enhances the performance of the optimistic concurrency control by reducing the unnecessary operations. In addition, we present a simulation study that compares our schemes with the timestamp based certification scheme. This study shows that our scheme outperforms the timestamp based certification scheme.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.12 no.10
• /
• pp.1794-1800
• /
• 2008

This paper presents a method of constructing the digital logic switching functions using PLA. First of all, we propose a MIN and MAX algebra arithmetic operation based on the Post algebra. And we discuss the T-gate which is used for realization of the MIN and MAX algebra arithmetic operation. Next, we discuss the MIN array and MAX array which are basic circuit of the PLA, also we discuss the literal property. For the purpose of the design for the digital logic switching functions using PLA, we Propose the variable partition, modular structure design, literal generator, decoder and invertor. The proposed method is the more compactable and extensibility.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2017.05a
• /
• pp.328-328
• /
• 2017

해운대 해변은 한국에서 가장 유명한 해변 중 하나로 국제적으로도 널리 알려져 매년 많은 관광객을 끌어들이는 부산의 대표 관광지 중 하나이다. 그러나 근래 들어 해운대에서 이안류가 자주 발생하며 관광객들이 불안해하고 있다. 해운대 해변에서 해수욕을 즐기던 관광객들이 이안류에 휩쓸려 구조된 사례가 2013년에만 500명을 넘는 것으로 보고되고 있다. 다행히 아직까지 이 지역에서 이안류로 인한 인명사고는 보고되지 않았으나 매년 발생하는 이안류에 대한 공포로 사회적인 경각심이 고조되고 있는 실정이다. 이에 따라 해운대 이안류의 발생 메커니즘을 규명하고자 하는 연구가 꾸준히 진행되고 있으며, 이안류 사고에 대비한 경보체계 구축 등의 연구도 병행되고 있다. 해운대 이안류의 발생원인을 공학적으로 규명할 수 있다면 향후 해운대 해변의 방재대책 수립을 위한 핵심자료로 사용될 수 있으며, 타 지역에서 발생하는 이안류의 원인분석 및 대책수립을 위한 참고자료로서도 중요한 역할을 할 수 있다. 본 연구에서는 최근 국내외에서 발표된 해운대 이안류 발생원인에 대한 고찰을 기초로 해저지형으로 인한 해운대 이안류 거동의 변화를 수치모델을 활용하여 분석하였다. 널리 알려진 Boussinesq 방정식 모델인 FUNWAVE-TVD를 사용하였으며, 병렬 연산을 활용하여 수치모의 시간을 단축하였다. 해운대 이안류는 해저지형의 변화에 따라 이안류 발달 장소가 달라지긴 하였으나 전체적인 양상은 크게 변하지 않는 것으로 나타났다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.1 no.1
• /
• pp.16-28
• /
• 1991

Knapsack public-key cryptosystems are based on the knapsack problem which is NP-complete. aii of the knapsack problem, are known to be insecure. However, the Chor and Rivest knapsack cryptosystem based on arithmetic in finite field is secure against all known cryptosystem based on arithmetic in a finite field is secure against all known cryptanalytic attacks. We suggest a new msthod of attack on knapsack cryptosystem which is based on the relaxation of a quadratic 0-1 integer optimization problem. We show that under certain condirions some bits of the solution of knapsack problem can be determined by using persistency property of linear relaxation. Also we propose a new Chor-Rivest system, this new cryptosystem reduces the number of calculation of discrete logarithms which are necessary for the implemention in a multi-user system.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2021.05a
• /
• pp.359-360
• /
• 2021

The pixel-based processing of an image refers to a process of converting a value of one pixel only depending on the value of the current pixel, regardless of the value of another pixel. Pixel-based processing is used as the most basic operation in many fields such as image conversion, image enhancement, and image synthesis. There are processing methods such as arithmetic operation, histogram smoothing, and contrast stretching. In this paper, in order to clearly distinguish the tidal flat region from the tidal flat image of the west coast taken with a drone, we seek a method to find an efficient outline using pixel-based processing in the boundary detection part of the pre-processing process.

• Journal of the Korean School Mathematics Society
• /
• v.11 no.4
• /
• pp.629-654
• /
• 2008

This study investigated school mathematics curriculum of the State of Georgia in the United States focused on the 'number and operation' and 'algebra' domain. On the basis of its understanding, this domain was compared and analyzed with school mathematics curriculum of Korea. In doing so, this study explored its plans and procedures and established a frame of comparison for the curriculums between the two countries. The most noticeable difference between the former and the new curriculum in mathematics for Georgia schools is the use of performance standards. A performance standard has four components: a content standard, illustrative tasks, examples of student work, and a commentary for teachers. This study focuses on the content standard and according to the results of the present study, Korea focuses on the formal and systematic mathematical knowledge on the basis of sound understanding of certain mathematical terms or concepts. On the other hand, the State of Georgia curriculum tends to deal with the content which can be understood more intuitively, flexibly, and naturally through the experience, aquisition, and furthermore interpretation based on the concrete manipulation and technological devices.

• Journal of the Institute of Convergence Signal Processing
• /
• v.2 no.3
• /
• pp.50-56
• /
• 2001

As the fuzzy control is applied to servo system, the hardware implementation of the fuzzy information systems requires the high speed operations, short real time control and the small size systems. The aims of this study is to develop hardware of the fuzzy information systems to be apply to servo system. In this paper, we propose a calculation method of approximate reasoning for fuzzy control based on $\alpha$ -level set decomposition of fuzzy sets by quantize $\alpha$ -cuts. This method can be easily implemented with analog hardware. The influence of quantization Bevels of $\alpha$-cuts on output from fuzzy inference engine is investigated. It is concluded that 4 quantization levels give sufficient result for fuzzy control performance of dc servo system. The hardware implementation of proposed operation method and of the defuzzification by gravity center method which is directly converted to PWM actuating signal is also presented. It is verified useful with experiment for dc servo system.