• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.6 no.4
• /
• pp.97-106
• /
• 1996

In this paper, we define an equivalence relation on the group of all permutations over the finite field GF($2^n$) and show each equivalence class has common cryptographic properties. And, we classify all exponent permutations over GF($2^7$) and GF($2^8$). Then, three applications of our results are described. We suggest a method for designing $n\;{\times}\;2n$ S(ubstitution)-boxes by the concatenation of two exponent permutations over GF($2^n$) and study the differential and linear resistance of them. And we can easily indicate that the conjecture of Beth in Eurocrypt '93 is wrong, and discuss the security of S-box in LOKI encryption algorithm.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.21 no.2
• /
• pp.189-194
• /
• 2020

This paper analyzes the gradient descent method, which is the one most used for learning neural networks. Learning means updating a parameter so the loss function is at its minimum. The loss function quantifies the difference between actual and predicted values. The gradient descent method uses the slope of the loss function to update the parameter to minimize error, and is currently used in libraries that provide the best deep learning algorithms. However, these algorithms are provided in the form of a black box, making it difficult to identify the advantages and disadvantages of various gradient descent methods. This paper analyzes the characteristics of the stochastic gradient descent method, the momentum method, the AdaGrad method, and the Adadelta method, which are currently used gradient descent methods. The experimental data used a modified National Institute of Standards and Technology (MNIST) data set that is widely used to verify neural networks. The hidden layer consists of two layers: the first with 500 neurons, and the second with 300. The activation function of the output layer is the softmax function, and the rectified linear unit function is used for the remaining input and hidden layers. The loss function uses cross-entropy error.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.04a
• /
• pp.459-460
• /
• 2017

해시 함수는 데이터의 위변조를 확인하기 위해 사용하는 일방향 함수로, 현재 많은 기술 및 논문에서 해시 함수를 사용하고 있다. 대표적인 해시 함수에는 MD와 SHA가 있으며 다양한 버전을 가지고 있다. 본 논문에서는 해시 알고리즘들의 안전성과 관련된 동향과 취약점을 파악하고 향후 방향성을 알아보고자 한다.

• Communications of Mathematical Education
• /
• v.12
• /
• pp.303-315
• /
• 2001

본 논문에서는 고등학교 수학교과 7차 교육과정중 미분 단원의 교수 학습을 위한 프로그램을 Visual Basic 프로그램으로 설계한 과정과 그 기능을 기술하였다. 함수의 미분을 위한 초기의 좌표와 미분할 점의 좌표, 실행회수 등의 데이터를 입력 ${\cdot}$ 실행하여 그 결과(접근과정)를 화면에 도표와 그래프로 나타나게 하였고 미분단원의 ‘학습내용’과 ‘사용설명’의 기능을 추가하였다. 보조계산이나 함수의 입력을 위해 “함수값 계산”, “극한값 계산”, “함수입력판” 등의 창(폼)을 설치하였다. 이 프로그램은 일선 학교 교육 현장에서 수학 교수-학습을 위한 효율적인 시청각 자료로 활용 될 수 있을 것이다.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2005.05a
• /
• pp.684-691
• /
• 2005

본 연구는 전달함수 합성법을 이용하여 보강후 구조물의 진동특성을 예측하는 방법이다. 이 방법은 보강후 구조물의 진동특성을 보강전 구조물의 전달함수를 이용하여 예측하는 기술로, 이에 관한 이론은 많이 알려져 있다. 하지만 실제 실험으로 전달함수를 계측할 경우 회전자유도에 대한 전달함수를 계측하기가 어렵다. 따라서 병진자 유도만으로 전달함수 합성법을 적용할 경우 발생하는 고유진동수 추정 오차를, 전체 자유도를 이용한 경우와 간단한 구조물의 수치해석을 통해서 비교해 보고자 한다.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 1999.10a
• /
• pp.25-25
• /
• 1999

응답 함수는 추진제의 연소 불안정성을 예측하는데 사용되는 중요한 측정 방법중 하나이다. 복사 열속과 압력은 연소 불안정을 일으키는 주요인으로 알려져 있다. 최근에는 레이저 기술의 발달로 비접촉 방식으로 외부에서 연소장을 교란하여 불안정성을 판단하는 실험 연구가 많이 이뤄지고 있다. 이러한 실험 연구에 대한 해석 및 예측을 위하여 많은 연구자들이 이론 응답 함수를 구하려는 노력들을 하고 있다. De Luca 등이 복사열에 대한 응답 함수를 제안한데 이어 Brewster 등은 QSHOD 가정과 추진제 내부로의 복사열 흡수비를 고려하여 응답 함수를 구하였다 Lee 등은 ZN 방법을 사용하여 Brewster의 응답 함수를 재계산 하였다. 이와 같은 이론 응답 함수들은 연소 불안정성에 대한 유용한 정보들을 제공하였음에도 불구하고, 현상을 너무 단순화하였다는 한계를 가지고 있다.

• Proceeding of EDISON Challenge
• /
• 2017.03a
• /
• pp.100-109
• /
• 2017

이번 연구에서 우리는 궤적 앙상블을 이용해 1 차원 Ising 모형의 동역학적 상전이를 관측했다. s 앙상블이라고도 불리는 궤적 앙상블은 활성도의 켤레 변수를 도입해 활성도에 편중을 두어 궤적을 추출한 앙상블이다. 평형상태에 있는 1 차원 Ising 모델에서는 외부 자기장이 존재하지 않을 때 상전이가 나타나지 않는다. 하지만 s 앙상블을 통해서 우리는 1 차원 Ising 모형에서 동역학적 상전이가 존재한다는 사실을 발견할 수 있었다. 이동역학적 상전이는 유한 크기 조정 법칙이 잘 적용되며 2 차원 Ising 모형과 같은 보편성 등급을 가진 것을 통해 두 상전이가 서로 연관되어 있다는 것을 알 수 있었다. 또한 열역학적 함수인 에너지와 동역학적 함수인 활성도 사이에 선형관계가 존재하는 점을 통해 동역학적 함수와 열역학적 함수 사이의 관계가 존재하는 것을 확인했다. 마지막으로 또 다른 열역학적인 함수인 자화도에 편중을 두었을 때 동역학적 상전이가 일어나는 임계점이 이동하는 것을 통해 에너지 외의 다른 열역학적 함수도 동역학적 함수와 연관된다는 것을 알아냈다.

• 한국정보교육학회:학술대회논문집
• /
• 2004.08a
• /
• pp.226-235
• /
• 2004

초등학생 프로그래밍 교육은 프로그래밍 활동을 통해 논리적 사고력과 문제 해결력을 신장시키는 데 의의를 두고 다양한 프로그래밍 교육 방법과 학습 시스템을 개발하려는 연구가 이루어지고 있다. 프로그래밍 교육의 목표가 프로그래밍적 사고력 함양이라면 프로그래밍적 사고를 언어로 표현하여 실제로 프로그램을 작성할 수 있는 프로그래밍 언어 사용 능력 함양도 필요하다. 초등학생 프로그래밍 언어 학습은 특정 언어의 문법적 설명과 해석을 지양하고 프로그래밍 언어에 대한 올바른 개념 이해와 활용을 통해 프로그램을 구현하는데 필요한 기초 소양 능력 함양에 중점을 두어야 한다. 따라서 초등학생을 위한 프로그래밍 언어 교육 방법의 체계화에 기여할 수 있는 하나의 모델로서, 프로그래밍 언어의 기본적인 개념 중 함수 개념을 효과적으로 지도할 수 있는 지도 원리와 학습 모형을 연구하였고, 함수가 가진 특성 즉 함수적 사고과정을 이용하여 프로그래밍 언어 기술 능력과 논리적 사고력 및 문제해결력의 고등인지기술 능력을 함께 신장시킬 수 있는 지도 방법을 제안하고자 한다.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.6 no.4
• /
• pp.80-88
• /
• 2003

Radar signal simulation is increasingly gaining in importance according as modem radar systems are more complex. Although computer performance has been advanced, it is difficult to implement the real-time simulation because the detailed model for the radar is necessary to get the desired accuracy. In order to achieve real time operation, we propose radar signal generation technique using ambiguity function, Instead of wellknown correlation method. The ambiguity function is the mathematical modeling of the signal processing procedure which is a simulation section to require the most computations.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06a
• /
• pp.343-344
• /
• 2008

최근 시스템의 복잡도가 증자함에 따라 보안 취약점 문제가 더욱 많이 발생하고 있다. 이를 해결하기 위해 보안 패치가 배포되고 있지만, 시스템 서비스의 중단이 필요하고 패치 자체의 안정성이 검증되지 못해 패치의 적용이 늦어지는 문제가 발생한다. 우리는 이러한 문제를 해결하기 위해 업데이트성이 없는 커널을 위한 함수 단위 동적 업데이트 시스템인 DUNK를 설계 하였다. DUNK는 서비스 중단 없는 업데이트를 가능케 하고, 보안 기법인 MAFIA를 이용해 안전한 업데이트를 수행한다. MAFIA는 바이너리 패치 코드의 접근 행위를 분석함으로써 패치된 함수가 기존 함수의 접근 권한을 상속받도록 하고, 이를 검증하는 기술을 제공한다. 본 논문에서는 DUNK의 설계와 MAFIA의 알고리즘 및 수행에 대해 기술한다.