• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.34 no.10C
• /
• pp.1001-1009
• /
• 2009

In this paper, an efficient blind frequency offset estimation method for radio resource saving in orthogonal frequency division multiplexing (OFDM) systems is proposed. In the proposed method, we obtain two time different received OFDM signal blocks by using the cyclic prefix and define the cost function by using the two OFDM signal blocks. We show that the cost function can be approximately expressed as a closed form cosine function. The approximated cosine function can be obtained from three independent cost function values calculated at three different frequency offsets. In the proposed method, the frequency offset can be estimated by calculating a frequency offset minimizing the approximated cosine function without searching all the frequency offset range. Unlike the conventional methods such as MUSIC method, the accuracy of the proposed method is independent of the searching resolution since the closed form solution exists. The computer simulation shows that the performance of the proposed method is superior to those of the MUSIC and the oversampling method.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.14 no.4
• /
• pp.49-59
• /
• 2004

Boolean function synthesize problem is to find a boolean expression with in/outputs of original function. This problem can be modeled into a 0-1 integer programming. In this paper, we find a boolean expressions of S-boxes of DES for an example, whose algebraic structure has been unknown for many years. The results of this paper can be used for efficient hardware implementation of a function and cryptanalysis using algebraic structure of a block cipher.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2011.04a
• /
• pp.635-638
• /
• 2011

유한요소법은 편미분방정식(Partial Differential Equation)의 수치적 근사 해를 구하기 위한 가장 일반적이고 효율적인 방법으로 다양한 공학 분야에서 널리 사용되어지고 있다. 유한요소법의 해석은 연속적인 범위를 가지는 문제를 여러 개의 요소로 나누어 다항식의 형상함수를 만들게 되며 결과적으로 근사 해를 구하게 된다. 이때 해석의 정확성을 높이기 위하여 형상함수의 차수를 높이고 요소의 개수를 늘리게 되면, 이에 따른 수치 계산량의 급격한 증가로 인해 수치해석의 효율성은 떨어지게 된다. 이를 보완하기 위해 유한요소법에 영역분할기법을 적용하여 병렬해석을 수행하면 해의 정확성과 효율성을 동시에 높인다. 병렬해석을 수행하는데 있어서 클러스터의 구조적 특성은 해석의 효율성에 영향을 미치게 된다. 따라서 본 논문에서는 일반적인 모델에 대하여 병렬해석의 수행을 통하여 클러스터의 구조적 특성이 병렬해석의 효율성에 미치는 영향에 대해 확인한다.

• Communications of Mathematical Education
• /
• v.22 no.3
• /
• pp.289-310
• /
• 2008

The purpose of study is to propose the possibilities of finding trigonometric function values using trigonometric function graphs instead of the unit circle method. And it is to discuss how to enhance relating trigonometric function value finding to graphs construction, and students conceptual understanding of the properties of trigonometric functions. The conclusions of this study are the effectiveness of function value finding using trigonometric function graphs, the use of a precise term of function value finding given general angles, consideration of a link between function value finding and graphs, and the possibility of teaching trigonometric function graphs in advance of function value finding.

• Proceedings of KOSOMES biannual meeting
• /
• 2018.06a
• /
• pp.43-43
• /
• 2018

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2005.05a
• /
• pp.225-229
• /
• 2005

항공기 운항 승무원의 로스터링 문제에서 패턴 생성은 승무원의 효율적인 운항스케줄 생성에 가장 중요한 부분이다. 본 연구는 패턴 생성을 다음의 두 단계로 진행한다. 먼저, 단위운항구간의 특성을 고려하여 특정 단위운항구간에 대한 부분 집합 패턴을 생성한다. 그리고 생성된 패턴을 제외한 단위운항구간의 집합에 대해서 목적함수의 가중치와 비용함수를 적절히 적용한 집합 분할 모형을 사용하여 부분최적해 집합을 구하였다. 결과적으로, 항공 운항 승무원의 로스터링을 위한 성능이 우수한 실행 가능한 패턴을 생성하였다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 1998.12a
• /
• pp.243-252
• /
• 1998

비밀분산은 비밀정보의 관리나 multiparty 프로토콜, 그룹 암호방식등의 분야에서 매우 중요한 부분이다. 따라서 본 논문에서는 일방향 해쉬함수에 기반한 효율적인 온라인 비밀분산 방식을 제안하고자 한다. 제안하는 방식은 하나의 share만으로 여러 개의 비밀을 분산할 수 있고, 액세스 구조가 변하는 경우에 notice board에 공개된 값들만 변경하면 각 참가자들은 기존의 share를 그대로 사용할 수 있다. 또한 참가자들의 부정이 있는 경우 그 수에 관계없이 부정한 참가자의 신분을 밝혀낼 수 있으며, 기존의 방식보다 계산상 효율적이라는 장점이 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10c
• /
• pp.633-635
• /
• 2000

본 논문에서는 프로그램을 루프 구조에 근거하여 계층적으로 표현한 HTG (Hierarchical Task Graph)의 복합 노드 태스크들을 공유 메모리 다중처리기 환경에서의 효율적 수행을 위한 새로운 스케쥴링 기법을 제안한다. 단일처리기의 멀티스레드 구조를 비롯한 여러 플랫폼에 적용하기 위해 자바의 스레드를 사용하여 구현하였으며, 기존의 HTG의 함수 병렬성을 위한 비티 벡터 알고리즘과 성능을 비교 분석하였다. 실험 결과에서 보듯이, 제안된 기법이 비트 벡트 방법에 비해 수행 시간 측면에서 효율적임을 알 수 있으며 또한, 좋은 부하 균형을 유지하였다.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.12 no.6
• /
• pp.931-939
• /
• 2001

The slot coupling characteristics was analysed in a radial-line slot antenna for its design. The previously proposed waveguide model with a periodic boundary condition on its narrow walls and periodically arranged slots on its wide wall was used. The magnetic field integral equation and two dyadic Green\`s functions for respective regions was derived and the method of moments was used. To maximize the efficiency of numerical analysis and to extract singularities, two different kinds of basis functions, the entire domain basis function and the sub-domain one, are used. In addition, the Ewald sum technique for the rectangular waveguide and the Shanks transform for the half space were used to accelerate the computation of the slowly convergent potential Green\`s functions. Simulation results expressed the effects of the various design parameters on the slot coupling.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.3
• /
• pp.846-858
• /
• 1997

Despite elaegant semantics and a lot of features, pure functional programming languages do not provide an affcient way of represnting states.Many researches have been done to resolve the problem, however, another problem arises that it is hard to implement becaese of the complex type system and redujction rule.Therefore, the scheme which simplifies the reduction rule and maintains states effciently is needed to have the implemen-taiton dffetive.This paper proposes st-calculus, the excution model of a functinal language with states and proves that the proposed model satistiies the church-Rosser theorem.It has simple reduction rules and the ability of rerpresenting states without, and the difficulties with implementation may be reduced by simplifving the reduction rules.