• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.284-286
• /
• 2000

시간에 따라 변화하는 자료들을 저장하는 시간지원 데이터베이스에서 집단 함수는 시간지원 그룹화를 통하여 집단 함수 값이 변하지 않는 시간 구간을 구하고 그 각각의 구간마다 집단 함수의 결과를 생성해야 하는 복잡한 연산이다. 기존의 시간지원 집단 함수 처리 기법들은 집단 함수를 포함하는 질의가 요구되었을 때, 불변 구간을 구하기 위해 트리와 같은 자료구조를 생성하고 이 트리의 노드들을 순회함으로써 집단 함수의 결과를 생성하였다. 이 논문에서는 미리 데이터베이스를 한 번 스캔하여 투플의 시작 시간과 종료 시간들의 정렬된 집합인 시점 시퀀스를 생성하고, 이를 이용하여 시간지원 집단 함수를 처리하는 방법을 제안한다. 또한 데이터베이스에서 저장된 데이터의 삭제나 새로운 데이터의 삽입에 따른 시점 시퀀스의 갱신 방법도 제시한다.

• KSBB Journal
• /
• v.5 no.1
• /
• pp.75-80
• /
• 1990

The investigations of specific growth rate, specific alcohol production rate, cell yield, alcohol yield of K. marxianus LG were performed according to the sugar concentrations, 50, 80, 110, 190, and 250g/l of extracted solution of Jerusalem Artichoke. The functipnal relationship between specific growth rate, specific alcohol production rate, and alcohol concentrations were devoted study to. In case of low concentration of alcohol, the fuctions were linear relationships. But in the region of high concentration of alcohol, they expressed the exponential relationships. The growth rate of K. marxianus was prohibited at higher than 50g/l of alcohol concentrations regardless of concentration of residual sugar. Cell and alcohol yield showed the maximum values around 25g/l of alcohol concentraton without being related to initial sugar concentrations.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2019.10a
• /
• pp.942-945
• /
• 2019

현재 딥러닝은 컴퓨터 분야에서 이미지 처리 방법으로 활용도가 높아지면서 딥러닝 모델 개발 연구가 활발히 진행되고 있다. 딥러닝 모델 중에서 이미지 생성모델은 대표적으로 GAN(Generative Adversarial Network, 생성적 적대 신경망) 모델을 활용하고 있다. GAN은 생성기 네트워크와 판별기 네트워크를 이용하여 진짜 같은 이미지를 생성한다. 생성된 이미지는 실제 이미지와의 오차를 최소화해야 하며 이때 사용하는 함수를 손실함수라고 한다. GAN에서 손실함수는 이미지를 생성하는 학습이 불안정하여 이미지 품질이 떨어지는 문제가 있다. 개선된 GAN 관련 연구가 진행되고 있지만 완전한 문제 해결에는 부족하다. 본 논문은 7개의 GAN 모델에서 사용하는 손실함수를 분류하고 특징을 분석한다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 1994.11a
• /
• pp.132-156
• /
• 1994

본 논문에서는 비선형 합성 함수를 이용하여 생성된 난수 계열의 특성을 분석한다. 먼저 트레이스 함수 등을 정의하고, 선형 복잡도 및 생성기 구조 분석시 요구되는 관련 이론을 도출하고, 특정 난수 계열이 주어진 경우 이계열을 생성할 수 있는 최소 길이의 LFSR을 합성할 수 있는 USR 합성 알고리듬을 제시한다. 동일한 계열을 위상 천이한 계열간의 비선형 결합으로 생성된 난수 계열과 다른 계열간의 비선형 결합으로 생성된 난수 계열에 대한 주기 및 선형 복잡도 등의 특성을 분석하고 생성기의 구조를 제시한다.

• Journal of KIISE
• /
• v.44 no.2
• /
• pp.171-178
• /
• 2017

In this study, we propose an automated unit test generation technique for detecting vulnerabilities of Android kernel modules. The technique automatically generates unit test drivers/stubs and unit test inputs for each function of Android kernel modules by utilizing dynamic symbolic execution. To reduce false alarms caused by function pointers and missing pre-conditions of automated unit test generation technique, we develop false alarm reduction techniques that match function pointers by utilizing static analysis and generate pre-conditions by utilizing def-use analysis. We showed that the proposed technique could detect all existing vulnerabilities in the three modules of Android kernel 3.4. Also, the false alarm reduction techniques removed 44.9% of false alarms on average.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.796-798
• /
• 2005

본 연구에서는 엔트로피 이론을 사용하여 ICA(Independent Component Analysis) 점수함수를 생성하는 새로운 밀도추정자(Density Estimator)를 제안한다. 원 신호에 대한 밀도함수의 추정은 적당한 점수함수를 생성하기 위해 필요하고, 미분 가능한 밀도함수인 커널을 이용한 밀도추정법(Kernel Density Estimation)을 이용하여 점수함수를 생성하였다. 보다 빠른 점수함수의 생성을 위해서 식의 형태를 convolution 형태로 표현하였으며, ICA 학습을 위해서 결합엔트로피를 최대화(Joint Entropy Maximization)하는 방향으로 커널의 폭을 학습하였다. 이를 위해서 기울기 강하법(Gradient descent method)를 사용하였으며, 이러한 제약 사항은 새로운 밀도 추정자를 설계하기 위한 기본적인 개념을 나타낸다. 실험결과, 커널의 폭을 담당하는 smoothing parameters들이 일정한 값으로 학습함을 알 수 있었다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.37 no.5C
• /
• pp.437-443
• /
• 2012

In this paper, we propose a novel unambiguous correlation function for binary offset carrier (BOC) signal acquisition. Specifically, we first find out that the side-peaks arise due to the fact that the BOC autocorrelation is the sum of the irregularly shaped BOC sub-correlations, and then, propose an unambiguous correlation function with no side-peak by combining the sub-correlations. The proposed scheme is shown to remove the side-peaks completely for any type of BOC signal and to provide a better acquisition performance than the conventional correlation functions.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2012.11a
• /
• pp.254-255
• /
• 2012

임의의 위치에 음상을 정위하는 기본적인 방법으로, 머리전달함수(HRTF : Head Related Transfer Function)을 원음에 convolution하는 기법이 사용된다. 또한 머리전달함수의 주파수 영역에서의 보간을 이용하여 이동음 효과를 생성할 수 있다. 하지만 더미헤드를 이용하여, 각각의 고도각과 방위각에서 측정된 머리전달함수는 사용자에 따라 정위감을 저하시킬 수 있으며, 클릭음 발생, 보간 특성의 변화등의 문제점이 발생하게 된다. 또한 좌표로 표현되는 영상과는 달리, 소리는 들려오는 방향을 정확한 좌표로 표현하기가 힘들다. 이에 본 논문에서는, 이동음 궤적상의 머리전달함수와 그 주변의 머리전달함수를 선형 보간법으로 그룹화하여 생성된 새로운 머리전달함수를 이용하여 이동음을 구현하는 방법을 제안한다. 또한, 생성된 머리전달함수를 이용하여 구현한 이동음의 청감평가를 수행하여 개선 효과를 확인하였다.

• Journal of Korea Game Society
• /
• v.14 no.6
• /
• pp.109-118
• /
• 2014

We studied the creation of fractal images with polygonal rotation symmetry. As in Loocke's method[13] we start with IFS of affine functions that create polygonal fractals and extends the IFS by adding functions that create Julia sets instead of adding square root functions. The resulting images are rotationally symmetric and Julia set shaped. Also we can improve fractal images by modifying probabilistic IFS algorithm, and we suggest a method of deforming Julia set by changing exponent value.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2009.05a
• /
• pp.433-436
• /
• 2009

Many researchers had made a diversity of attempts for generating pseudorandom sequences such as the method of using LFSR whose characteristic polynomial is a primitive polynomial, of using Cellular Automata and of using quadratic functions. In this paper, we can analyze and characterize the methods for generating maximal period pseudorandom sequences constructed by quadratic functions.