• 한국정보과학회논문지:데이타베이스
• /
• 제31권5호
• /
• pp.445-456
• /
• 2004

데이타베이스 스키마는 모델링 되는 환경이 변화할 때에도 여전히 유효한 상태로 남을 만큼 안정적이라고 가정되어 왔다. 그러나 실제로는, 데이타 모델은 데이타베이스 설계자들이 공통으로 가정하는 만큼 안정적이지 않다. 현재 데이타베이스 시스템에서 풍부한 스키마 변화 연산들이 제공되지만은 사용자들은 스키마 변화가 스키마에 쓰여진 기존의 응용 프로그램에 영향을 미치는 문제로 곤란을 겪어왔다. 이 논문은 응용 프로그램에 영향을 주는 문제를 탐구한다. 옛 스키마에 기존의 프로그램을 지속적으로 지원하기 위하여 옛 스키마가 이전처럼 변경과 질의를 계속 허락해야 한다. 더 나아가, 관련 데이타는 최신상태로 유지되어야 한다 이것을 스키마 변화 도구의 프로그램 독립 성질이라 부른다. 이 성질을 달성하기 위하여, 이 논문은 프로그램 독립적인 스키마 진화 (Program Independency Schema Evolution: PISE) 방법론을 제안한다. 더 나아가, 각각의 관계형 스키마의 변화 연산들에 대하여 PISE 방법론에 기초한 구현 알고리즘을 도식적으로 설명함으로써 PISE 방법론의 포괄성과 견고성을 증명한다.

• 대한전자공학회논문지SD
• /
• 제38권12호
• /
• pp.56-65
• /
• 2001

본 논문은 이상적인 균일한 무손실 유전체를 갖는 일반적인 3차원 연결선 구조에서의 커패시턴스 추출 시, 널리 사용되는 일차 대조법(First-order collocation) 외에 고차 구적법을 결합하여 사용함으로써 정확성을 제고하고, 반복적 행렬-벡터의 곱을 효율적으로 수행하기 위한 알고리즘을 제안한다. 제안된 기법은 연결선에서 전기적 성질이 집중되어 있는 코너나 비아를 포함한 경우에 일차 대조법 대신에 구적법을 이용하여 고차로 근사함으로써 정확성을 보장한다. 또한, 이 기법은 경계 요소 기법에서 행렬의 대부분이 수치적으로 저차 계수(low rank)를 이룬다는 회로상의 전자기적 성질을 이용하여 모형차수를 축소함으로써 효율성을 증진한다. 이 기법은 SVD(Singular Value Decomposition)에 기반한 저차 계수 행렬 축소 기법과 신속한 행렬의 곱셈 연산을 위한 Krylov-subspace 차수 축소 기법인 Gram-Schmidt 알고리즘을 도입함으로써 효율적인 연산을 수행할 수 있다. 제안된 방법은 허용 오차 범위 내에서 효율적으로 행렬-벡터의 곱셈을 수행하며, 이를 기존의 연구에서 제시된 기법과의 성능 평가를 통하여 보인다.

• 한국인터넷방송통신학회논문지
• /
• 제8권2호
• /
• pp.15-21
• /
• 2008

본 논문에서는 2진논리의 확장을 Galis체상에서 해석하여 확장논리에 기초한 순차디지털논리시스템과 컴퓨터구조의 핵심인 연산알고리즘을 논의하였다. 순차디지털논리시스템은 Building Block으로서 T-gate를 사용하였으며, 차순상태함수, 출력함수를 도출하여 최종 궤환이 없는 Moore Model의 순차디지털논리시스템을 구성하였다. 그리고, 컴퓨터구조에서 중요한 연산알고리즘의 핵심인 가산, 감산, 승산 및 제산 알고리즘을 유한체의 수학적 성질을 토대로 각각 도출하였다. 특히, 유한체 GF($P^m$)상에서 P=2인 경우는 기존의 2진디지털논리시스템에 적용이 용이하다는 장점이 있으며, mod2의 성질에 의해 감산 알고리즘은 가산 알고리즘과 동일하다. 제안한 방법은 기존의 2진논리를 확장할 수 있어 좀 더 효율적으로 디지털논리시스템을 구성할 수 있을 것으로 사료된다.

• 대한수학교육학회지:수학교육학연구
• /
• 제27권2호
• /
• pp.249-267
• /
• 2017

3학년 1학기의 곱셈 단원에서는 2학년에서 다룬 (한 자리 수)${\times}$(한 자리 수)인 곱셈 구구를 바탕으로 (두 자리 수)${\times}$(한 자리 수)의 계산을 다룬다. 학생들은 종종 계산은 잘 하면서도 정작 계산 원리를 이해하지 못하는 경향이 있다. 이에 본 연구는 퀴즈네어 막대와 배열 모델을 활용하여 곱셈의 계산 원리를 학생들이 탐구할 수 있도록 수업을 설계하고 실행하였다. 연구결과, 대부분의 학생들은 퀴즈네어 막대와 배열 모델을 통하여 곱셈의 원리를 이해하고 이를 곱셈식으로 나타낼 수 있었으며, 특히 곱셈식을 다양하게 해결하는 과정에서 결합법칙이나 분배법칙을 자연스럽게 발견할 수 있었다. 몇몇 학생들은 처음에 모델이나 곱셈식을 표현하는 과정에서 어려움을 드러내기도 하였으나 수업이 진행됨에 따라 보다 성공적으로 수행할 수 있었다. 본 연구 결과를 토대로 수와 연산의 성질을 적용하여 곱셈의 계산 원리를 의미있게 지도할 수 있는 방안에 대한 시사점을 제공한다.

• 융합보안논문지
• /
• 제8권4호
• /
• pp.127-134
• /
• 2008

본 연구는 투명 성질을 가진 물방울의 윤곽선에 대한 효율적인 검출을 통해 분석 장비의 자동 측정에 대한 정확성을 향상시키는 것을 목적으로 한다. 투명성질을 가지는 원의 윤곽선 검출을 위해 밝기 분포에 대한 국소적 미분 대신에 적응성 방향 미분(Adaptive Directional Derivative；ADD)이라는 비국소적 연산자를 도입함으로써 에지의 램프 폭의 변화에 무관하게 에지 검출에 적용할 수 있는 MADD(Modified Adaptive Directional Derivative) 알고리즘을 사용한다. 이 방법은 램프 구간 내에서 방향 미분 값을 가중치로 사용하여 픽셀들의 위치를 평균한 방향 미분의 국소 중심(Local Center of Directional Derivative；LCDD)등의 위치를 찾는 추가적인 과정없이, 정확한 에지 픽셀의 위치가 완전 선명화 사상에 의한 단순 계단 함수의 위치로 자연스럽게 결정될 수 있다. 제시된 에지 검출 방법을 표면분석 기술인 접촉각 연산에 적용하여 실험 및 결과 분석을 통해 제안 기법의 타당성 및 효율성을 검증한다.

• 대한전자공학회논문지SD
• /
• 제42권5호
• /
• pp.23-30
• /
• 2005

확장체 GF($p^n$)의 구성에서 차수와 다항식 곱셈 방법은 밀접한 관련을 가진다. 기존의 다항식 곱셈 방법인 KO] 및 MSK 방법은 효율적으로 계수-곱셈 연산량을 줄인다. 그러나 이들 방법을 이용하여 확장체 곱셈을 구성할 경우, 일반적으로 해당하는 분할 방법의 배수가 되도록 패딩(Padding)하여 구성하지만 이에 대한 기준이 모호하며 계수-곱셈의 연산량이 최소가 되도록 패딩하는 방법 또한 제안되지 않았다. 본 논문에서는 확장체 곱셈을 효율적으로 구성할 수 있는 기본적인 성질과 계수-곱셈의 연산량이 최소가 되는 다항식 차수를 찾는 알고리즘을 제안한다. 본 논문에서 제안하는 알고리즘을 적용하면 기존의 방법을 그대로 적용하여 구성할 때 보다 확장체의 차수가 증가할수록 더 많은 계수-곱셈 연산량을 줄일 수 있다. 따라서 본 논문의 결과는 스마트 카드 등 작은 공간 복잡도를 요구하는 병렬처리 곱셈기에 효율적으로 적용될 수 있다.

• 한국전산구조공학회논문집
• /
• 제34권3호
• /
• pp.151-157
• /
• 2021

본 연구에서는 비국부 적분 연산기로 표현되는 페리다이나믹 방정식의 수렴성을 검토한다. 정적/준정적 손상 해석 문제를 효율적으로 해석하기 위해 페리다이나믹 방정식의 implicit 정식화가 필요하다. 이 과정에서 페리다이나믹 비국부 적분 방정식으로부터 대수방정식 형태가 나타나게 되어 시스템 행렬 계산을 위해 많은 시간이 소요되기 때문에, 효율적인 계산을 위해 수렴성이 중요한 요소가 된다. 특히 radial influence 함수를 적분 kernel로 사용하는 경우 fractional Laplacian 적분 방정식이 유도된다. 비국부 적분 연산기의 교윳값 성질에 의해 대수방정식의 condition number가 radial influence 함수의 차수 및 비국부 영역의 크기에 영향을 받는 것이 수학적으로 확인되었다. 본 연구에서는 이를 토대로 균열이 있는 페리다이나믹 정적 해석 문제를 Newton-Raphson 방법으로 해석할 때 적분 커널의 차수, 비국부 영역의 크기 등이 대수방정식의 condition number와 preconditioned conjugate gradient (PCG) 방법으로 계산 시 수렴성 및 계산 시간에 미치는 영향을 수치적으로 분석한다.

• 대한수학교육학회지:학교수학
• /
• 제10권4호
• /
• pp.537-555
• /
• 2008

본 연구는 학교수학에 매우 중요한 등호 개념과 관련하여 등호 문맥을 중심으로 초등학생들의 등호 개념 이해를 조사하고, 수학 교과서를 분석하며, 등호 개념 이해를 신장하기 위한 지도 방법을 모색하여 그 효과를 분석하는 데 목적이 있다. 이를 위한 이론적 배경으로 등호의 기원, 등호 개념, 등호 문맥, 등호 사용 오류 유형을 고찰하고, 분석을 위한 틀을 마련하였다. 등호 개념 이해를 위한 수업은 모델 만들기, 수식의 참 거짓 판단하기, 수와 연산의 관계 파악하기, 수와 연산의 기본 성질 추측하기, 다양한 등호 문맥 경험하기, 등호 문맥 만들기 활동을 중심으로 이루어졌다. 학생들의 등호 개념 이해는 등호 양쪽에 연산이 있는 문맥에서 매우 부족하며, 이와 관련하여 등호를 결과로 인식하는 오류가 가장 많이 나타났다. 교과서는 등호 왼쪽에 연산이 있는 문맥이 거의 대부분을 차지하는 관계로 이에 대한 제고가 필요하며, 본 연구에서 제시한 수업 방법은 등호 개념의 관계적 이해에 효과가 있는 것으로 나타났다.

• 한국정보통신학회논문지
• /
• 제17권9호
• /
• pp.2091-2096
• /
• 2013

본 논문에서는 방향성 그래프에 기초하여 절점들 간의 입출력 관계가 트리의 특성을 갖는 연관관계를 분할연산기법과 수학적 해석을 통하여 함수로 변환하고 이를 회로 설계하는 방법에 대하여 논의하였다. 기존에 제안된 알고리즘이 임의의 절점수를 갖는 방향성 그래프에 대하여 같은 수의 잉여절점수를 삽입함으로써 생성되는 매개변수들이 양의 정수로 표현되지 못하여 회로의 설계가 불가능하게 되는 문제점이 있었다. 이를 개선하기 위해서 본 논문에서는 트리의 성질을 수학적으로 해석하여 주어진 임의의 절점수를 가지는 방향성 그래프에 대하여 절점들의 관계를 규명해주는 매개변수들과 논리레벨 P의 승수로 표현되어 항상 양의 정수 값을 갖도록 레벨 간에 각기 다른 잉여절점을 삽입하여 효율적인 회로설계를 하였다.

• 한국멀티미디어학회논문지
• /
• 제6권3호
• /
• pp.549-555
• /
• 2003

LFSR보다 CA가 랜덤성이 우수한 패턴들을 효율적으로 생성함이 알려지면서 그 응용분야가 점차적으로 확대되고 있다. 특히 Nongroup CA는 해쉬함수의 생성, 암호알고리즘, 이미지 압축 등에 응용되고 있다. 본 논문에서는 TPNCA의 성질들을 분석하고, 선형 TPNCA의 0-트리의 기본경로와 순환상태의 사이클 구조를 이용하여 선형 TPNCA의 상태 전이그래프의 정확한 구조를 파악하는데 사용되던 기존의 행렬의 곱셈 연산 방법을 덧셈 연산으로 대체할 수 있음을 보였다. 또한 선형 TPNCA C의 0-트리의 비순환 상태를 여원벡터로 갖는 여원 TPNCA C'은 C와 그 구조가 동형임을 밝힘으로써 선형 TPNCA로부터 여원 TPNCA의 상태들의 위치를 정확하게 파악하여, CA를 이용하는 알고리즘을 개발하는데 있어 선행되어야 하는 CA의 상태를 분석하는 시간을 효과적으로 줄였다.