• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.18 no.6A
• /
• pp.3-15
• /
• 2008

In this paper we study exponentiation in finite fields $F{_p}{^{k}}$(k is odd) with very special exponents such as they occur in algorithms for computing square roots. Our algorithmic approach improves the corresponding exponentiation independent of the characteristic of $F{_p}{^{k}}$. To the best of our knowledge, it is the first major improvement to the Tonelli-Shanks algorithm, for example, the number of multiplications can be reduced to at least 60% on average when $p{\equiv}1$ (mod 16). Several numerical examples are given that show the speed-up of the proposed methods.

• Journal of Korea Entertainment Industry Association
• /
• v.14 no.7
• /
• pp.319-331
• /
• 2020

This study investigated the meaning of absolute music of the first movement of Brahms' symphony No. 1, which was used as film music in the films "Tetro" and "Savages" and interpreted the meaning of this music used in these two films. Therefore, the purpose of this study is to explore the characteristics that classical music can be interpreted ambiguously in films. In particular, it was examined whether film music could be interpreted in a new meaning rather than a program music. The first movement of Brahms' symphony No. 1 is in a sonata form and has the characteristics of a chromatic grammar of the romanticism. In "Tetro", the irony about the value connection between this music and the characters of the film, the composition process of this music and the historicity that appeared in the character story of the film presented important. On the other hand, in "Savages", the chromatic grammar of this music expresses the emotional meaning of the characters in the film and the atmosphere of the event. This can be said to be the role of program music. In particular, the scene in which this music is used at the end of "Tetro" shows an ambiguous characteristic that can interpret a piece of music in different meanings depending on which of the two characters appearing in the film interprets the music from the perspective of the character. And the fact that Brahms spent 21 years to complete this music and that Tetro, the main character of the film, spent about 10 years before going through theatrical scenario and submitting it to the festival in the film, coincide with each other in terms of historicality. This gives the meaning of understanding film music from a new point of view, not from the point of view of absolute music or program music. In addition, this musical setting made the music recognized as an essential element of the film and as an irreplaceable auditory theme. When classical music meets other art such as film, this ambiguity Characteristics of music will have a great influence on the new perception of classical music.

• Journal of the Institute of Electronics Engineers of Korea TE
• /
• v.42 no.4
• /
• pp.47-52
• /
• 2005

In this paper, the genetic algorithm is used to design a fixed order square decoupling $H_{\infty}$ controllers based on the Two-Degree-of-freedom standard model. The proposed decoupling $H_{\infty}$ controller which is minimizes the maximum energy in the output signal is designed to reduce the coupling properties between the input/output variables which make it difficult to control a system efficiently. A minimal set of assumptions for existence of the decoupling controller formula is described in the state-space formulas. It is verified by an example.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06c
• /
• pp.13-16
• /
• 2011

에너지플랜트는 위험성이 높은 유해화학물질을 취급해서 누출사고가 발생 할 가능성이 높다. 유해화학물질이 누출되어 대기 중에 확산되면 강한 유독성으로 인해 대형피해를 불러온다. 유해화학물질의 누출로 인한 대기 중의 확산피해 최소화하는 방안에는 확산 될 범위를 산출하여 적절한 사고대응조치를 취하는 것이다. 대기확산모델의 시뮬레이션을 이용한 대기확산범위 산출은 가상으로 설정 된 시나리오의 데이터를 사용자가 수동으로 입력하여 결과를 도출한다. 가상 데이터로 산출 된 결과는 정확성이 결여 될 수 있으며 실시간 대기확산범위 산출이 불가능하다. 본 연구에서는 유해화학물질의 대기확산범위를 즉각적으로 산출 할 수 있는 실시간 대기확산시스템을 설계하고 구현한다. 대기확산범위 산출에 필요한 데이터는 실시간으로 수집 된 실제 데이터를 이용한다. 실시간으로 수집된 실 데이터를 토대로 데이터마이닝기법을 통해 자율적인 누출사고를 탐지하고 누출지점을 특정 할 수 있는 지능화모듈을 설계한다. 대기확산모델은 유해화학물질의 증기운의 무게에 따라 가우시안과 SLAB모델을 이용한다. 실시간으로 산출 된 대기확산범위는 ERPG의 각 단계의 농도 기준에 근거하여 총 3단계로 구분해서 GIS맵 상의 유저인터페이스에 표현한다. 산출된 대기확산피해범위는 현장 작업자의 모바일기기로 사고와 관련 된 대응조치와 함께 신속히 전파할 수 있도록 구현해서 누출로 인한 유해화학물질의 확산사고피해 최소화를 도모한다.

• Communications of Mathematical Education
• /
• v.8
• /
• pp.17-32
• /
• 1999

본 논문의 목적은 Cabri II 를 이용하여 형식적이고 연역적인 증명수업 방법의 대안을 찾는 데 있다. 형식적인 증명을 하기 전에 탐구와 추측을 통한 발견과 그 결과에 대한 비형식적인 증명 활동을 강조한다. 역동적인 기하소프트웨어인 Cabri II 는 작도가 편리하고 다양한 예를 제공하여 추측과 탐구 그리고 그 결과의 확인을 위한 풍부한 환경을 제공할 수 있으며, 끌기 기능을 이용한 삼각형의 변화과정에서 관찰할 수 있는 불변의 성질이 형식적인 증명에 중요한 역할을 한다. 또한 도형에 기호를 붙이는 활동은 형식적인 증명을 어렵게 만드는 요인 중의 하나인 명제나 정리의 기호적 표현을 보다 자연스럽게 할 수 있게 해 준다. 그러나, 학생들이 증명은 더 이상 필요 없으며, 실험을 통한 확인만으로도 추측의 정당성을 보장받을 수 있다는 그릇된 ·인식을 심어줄 수도 있다. 따라서 모든 경우에 성립하는 지를 실험과 실측으로 확인할 수는 없다는 점을 강조하여 학생들에게 형식적인 증명의 중요성과 필요성을 인식시킬 필요가 있다. 본 연구에 대한 다음과 같은 후속연구가 필요하다. 첫째, Cabri II 를 이용한 증명 수업이 학생들의 증명 수행 능력 또는 증명에 대한 이해에 어떤 영향을 끼치는지 특히, van Hiele의 기하학습 수준이론에 어떻게 작용하는 지를 연구할 필요가 있다. 둘째, 본 연구에서 제시한 Cabri II 를 이용한 증명 교수학습 방법에 대한 구체적인 사례연구가 요구되며, 특히 탐구, 추측을 통한 비형식적인 중명에서 형식적 증명으로의 전이 과정에서 나타날 수 있는 학생들의 반응에 대한 조사연구가 필요하다.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.2 no.2
• /
• pp.106-112
• /
• 2007

Recently the crowd environment in the department of the animation is necessary to the digital industry. The goal of researching a proper crowd animation is to design character animation that is defined by the reality of scenes, performance of system and interaction with users to show the crowd vividly and effectively in cyber underwater. It is important to set up the crowd behavior patterns to represent for moving crowd naturally in cyber space. In the paper, we expressed the behavior patterns for flocks of fish in cyber underwater, and compared with the number of mesh, the number of fish, the number of frame, elapsed time, and resolution and analyzed them with the fish behavior simulating system.

• Science of Emotion and Sensibility
• /
• v.18 no.1
• /
• pp.103-110
• /
• 2015

Sentiment lexicon is an essential element for expressing sentiment on a text or recognizing sentiment from a text. We propose a graph-based semi-supervised learning method to construct a sentiment dictionary as sentiment lexicon set. In particular, we focus on the construction of domain-specific sentiment dictionary. The proposed method makes up a graph according to lexicons and proximity among lexicons, and sentiments of some lexicons which already know their sentiment values are propagated throughout all of the lexicons on the graph. There are two typical types of the sentiment lexicon, sentiment words and sentiment phrase, and we construct a sentiment dictionary by creating each graph of them and infer sentiment of all sentiment lexicons. In order to verify our proposed method, we constructed a sentiment dictionary specific to the movie domain, and conducted sentiment classification experiments with it. As a result, it have been shown that the classification performance using the sentiment dictionary is better than the other using typical general-purpose sentiment dictionary.

• Sleep Medicine and Psychophysiology
• /
• v.9 no.1
• /
• pp.56-60
• /
• 2002

Objective: Various psychological factors influence the occurrence of tension-type headaches. The aim of this study is to compare the level of alexithymia between tension-type headache patients and normal controls. Methods: Sixty-six subjects with tension-type headaches and 59 controls were studied. The Beck Depression Inventory and Toronto Alexithymia Scale (TAS-20K) were administered to the tension-type headache group and TAS-20K to the normal control group. Results: Compared with normal controls, the tension-type headache group had significantly higher alexithymia scores. There was also significant association between the level of alexithymia and the severity of the depression in tension-type headache patients. Conclusions: These findings suggest that patients with tension-type headaches have difficulty in expressing their emotions. And in patients with tension-type headaches, the more alexithymic they are, the more depressive.

• Journal of Broadcast Engineering
• /
• v.17 no.4
• /
• pp.684-694
• /
• 2012

In the underwater environment, light is absorbed and scattered by water and floating particles, which makes the underwater images suffer from color degradation and limited visibility. Physically, the amount of the scattered light transmitted to the image is proportional to the distance between the camera and the object. In this paper, the proposed visibility enhancement. method utilizes depth images to estimate the light transmission and the degradation factor by the scattered light. To recover the scatter-free images without unnatural artifacts, the proposed method normalizes the degradation factor based on the value of each pixel of the image. Finally, the scatter-free images are obtained by removing the scattered components on the image according to the estimated transmission. The proposed method also considers the color discrepancies of underwater stereo images so that the stereo images have the same color appearance after the visibility enhancement. The experimental results show that the proposed method improves the color contrast more than 5% to 14% depending on the experimental images.

• Economic and Environmental Geology
• /
• v.33 no.4
• /
• pp.295-307
• /
• 2000

Probabilistic analysis is a powerful method to quantify variability and uncertainty common in engineering geology fields. In rock slope engineering, the uncertainty and variation may be in the form of scatter in orientations and geometries of discontinuities, and also test results. However, in the deterministic analysis, the factor of safety which is used to ensure stability of rock slopes, is based on the fixed representative values for each parameter without a consideration of the scattering in data. For comparison, in the probabilistic analysis, these discontinuity parameters are considered as random variables, and therefore, the reliability and probability theories are utilized to evaluate the possibility of slope failure. Therefore, in the probabilistic analysis, the factor of safety is considered as a random variable and replaced by the probability of failure to measure the level of slope stability. In this study, the stochastic properties of discontinuity parameters are evaluated and the stability of rock slope is analyzed based on the random properties of discontinuity parameters. Then, the results between the deterministic analysis and the probabilistic analysis are compared and the differences between the two analysis methods are explained.