• 한국가스학회지
• /
• 제3권2호
• /
• pp.62-69
• /
• 1999

본 논문에서는 혼합감도문제를 이용하여 강인한 서보계를 구성함으로서 동위치 제어 시스템의 제어계를 설계하는 방법을 제안하였고, LQG를 이용한 다변수 디지털 서보 제어기 및 H$\infty$ 최적 제어기와의 비교실험을 통하여 제안된 제어기의 유용성을 입증하였다.

• 대한수학교육학회지:수학교육학연구
• /
• 제17권1호
• /
• pp.1-31
• /
• 2007

본 논문에서는 먼저 음수개념의 내재적 본질이 외형화되는 점진적 형식화의 과정을 역사적인 측면에서 분석하였다. 그리고 음수의 개념장을 가법구조와 승법구조에 측면에서 분석하였으며 역사적 심리학적 분석을 바탕으로 음수개념의 형식성을 이해하기 위한 방안을 모색하기 위해 음수개념의 발달 수준을 설정하였다. 그리고 음수개념의 형식적 본질에 비추어 현행 교육과정에서의 음수 지도 내용을 분석하여 그 문제점을 드러내고자 하였으며, 우리나라 중등학교 학생들의 음수의 이해 상태를 조사 분석하였다. 끝으로, 이러한 분석을 기초로 점진적 수학화 과정, 기호화 과정을 통하여 음수개념의 형식성을 지도하기 위한 구체적인 지도 방안을 제시하였다.

• 대한수학교육학회지:학교수학
• /
• 제15권4호
• /
• pp.889-920
• /
• 2013

본 연구는 초등학교 수학에서 곱셈 개념의 도입과 곱셈 구구 지도를 위한 교수학적 배경을 알아보고, 앞으로의 곱셈 지도 개선을 위한 시사점을 제공하는 데 그 목적이 있다. 이를 위해 여러 곱셈 연구에 대한 이론적 고찰을 통해 곱셈 지도의 교수학적 배경의 핵심 내용으로 곱셈 개념, 곱셈 상황, 곱셈 지도 모델, 곱셈 전략을 추출하고 이에 대해 살펴보았고, 이를 기초로 미국, 핀란드, 네덜란드, 독일과 우리나라 교과서를 비교 분석하였다. 이런 이론적 고찰과 분석 결과를 바탕으로 이후의 우리나라 초등학교 수학의 곱셈 지도 개선을 위한 시사점으로 곱셈 상황에서 묶음 상황의 다양화와 곱셈적 비교 상황의 강조 및 데카르트 곱의 재고, 곱셈 지도 모델에서 묶음 모델, 배열 모델, 직선 모델의 균형과 구조화와 형식화로의 이행, 곱셈 구구 지도에서 곱셈 전략과 곱셈 성질의 강조와 곱셈 구구 사이의 연결을 제안하였다.

• 한국수산과학회지
• /
• 제30권1호
• /
• pp.132-138
• /
• 1997

동해안 한해성 조개인 북방대합의 자원 증대를 위한 기초 자료를 얻기 위하여 1994년 3월부터 1995년 5월까지 주로 조직학적 방법에 의해 생식소의 발달과정과 생식주기를 조사하였다. 북방대합은 자웅이체로서, 생식소는 해부학적으로 소화맹낭과 족부 근육 사이에 위치하였다. 비만도는 1994년 6월에 0.19로 가장 높았으며 11월에 최소값을 보였다. 생물학적 최소형은 각장 50.0mm였으며, 80.0mm 이상의 대형개체에서도 $10\%$ 미만의 성적으로 미분화한 개체가 관찰되었다. 성숙한 난모세포의 크기는 $50\~60{\mu}m$였으며, 성숙기의 정소에서 정소란이 관찰되었다. 북방대합의 생식주기는 분열증식기 ($10\~1$월), 성장기 ($2\~4$월), 성숙기 ($4\~6$월), 산란기 ($6\~7$월) 및 휴지기 ($8\~9$월)의 연속적인 5단계로 구분되었다.

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

$a^b{\equiv}c$(mod p)에서 a,c,p가 주어졌을 때 b를 구하는 이산대수 문제를 푸는 아기걸음-거인걸음 알고리즘은 p를 $m={\lceil}{\sqrt{p}}{\rceil}$개의 원소를 가진 m개의 블록으로 분할하고 거인 1명이 보폭 m으로 단방향으로만 $a^0$로 걸어가면서 찾는 방법이다. 본 논문은 기본적으로 p를 p/l, $a^l$ > p로 분할하고, 성인 1명이 보폭 l로 단방향으로 걸어가는 방법으로 변형시켰다. 또한, 성인 $2^k$명이 동시에 걸어가면서 b를 빠르게 찾는 방법으로 확장시켰다. 제안된 알고리즘을 $1{\leq}b{\leq}p-1$의 범위에서 $2^k$, (k=2)를 적용한 결과 기본적인 성인걸음수의 1/4로 감소시키는 효과를 얻었다. 결론적으로, 제안된 알고리즘은 아기걸음-거인걸음 알고리즘의 보폭 수를 획기적으로 단축시킬 수 있었다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제24권2호
• /
• pp.345-363
• /
• 2010

본 연구는 비례 개념을 배우지 않은 초등학생들이 가지고 있는 비형식적 지식을 조사 분석하여, 비례 개념 지도에 대한 시사점을 얻는데 목적이 있다. 이 연구를 위해 정비례, 반비례에 관한 선행학습을 하지 않은 6학년 학생 117명을 연구대상으로 본 연구에서 개발한 정비례 7문항, 반비례 4문항을 이용하여 조사 연구를 시행하였다. 또 학생들이 문제를 해결하는 과정에서 보인 비례에 관한 비형식적 지식을 심층적으로 알아보기 위하여 문제해결 전략별로 9명의 학생들을 선정한 후 면담을 시행하였다. 연구 결과, 학교에서 정비례, 반비례 개념을 배우지 않은 6학년 학생들은 정비례 문제와 반비례 문제를 해결할 때 곱셈추론전략, 비례추론 전략, 한 단위 전략 등을 사용하여 해결하였다. 학생들이 비례에 관한 비형식적 지식을 적극 활용한다는 사실은 이를 형식화하여 의미 있는 비례 개념 지도가 가능하다는 것을 시사한다.

• Smart Structures and Systems
• /
• 제25권6호
• /
• pp.719-732
• /
• 2020

Real-time hybrid simulation (RTHS) which combines physical experiment with numerical simulation is an advanced method to investigate dynamic responses of structures subjected to earthquake excitation. The desired displacement computed from the numerical substructure is applied to the experimental substructure by a servo-hydraulic actuator in real time. However, the magnitude decay and phase delay resulted from the dynamics of the servo-hydraulic system affect the accuracy and stability of a RTHS. In this study, a robust stability analysis procedure for a general single-degree-of-freedom structure is proposed which considers the uncertainty of servo-hydraulic system dynamics. For discussion purposes, the experimental substructure is a portion of the entire structure in terms of a ratio of stiffness, mass, and damping, respectively. The dynamics of the servo-hydraulic system is represented by a multiplicative uncertainty model which is based on a nominal system and a weight function. The nominal system can be obtained by conducting system identification prior to the RTHS. A first-order weight function formulation is proposed which needs to cover the worst possible uncertainty envelope over the frequency range of interest. Then, the Nyquist plot of the perturbed system is adopted to determine the robust stability margin of the RTHS. In addition, three common delay compensation methods are applied to the RTHS loop to investigate the effect of delay compensation on the robust stability. Numerical simulation and experimental validation results indicate that the proposed procedure is able to obtain a robust stability margin in terms of mass, damping, and stiffness ratio which provides a simple and conservative approach to assess the stability of a RTHS before it is conducted.

• 응용통계연구
• /
• 제20권3호
• /
• pp.449-458
• /
• 2007

양극성 장애 (bipolar disorder)는 조증 삽화 (manic episode)와 우울증 삽화 (depression episode)를 반복적으로 경험하는 기분장애이다. 양극성 장애환자에게 우울증은 조증보다 심각한 결과를 가져오며, 치료의 효과를 측정하기도 어렵다고 알려져 있다. 본 연구의 목적은 우울증(depression) 상태에 있는 환자들을 대상으로 항우울제를 사용하여 정상 (normal) 상태로 전환했을 때, 약물의 장기 사용으로 일어날 수 있는 조증 (mania)과 같은 부작용을 통제하고자 한다. 이를 위해 정상 상태에서 조증으로 전환하는데 소요되는 시간의 분포를 추정한다. 본 연구에서는 세 가지 방법, 모수적, 비모수적 그리고 준모수적 방법을 차례대로 적용하였다. 특히 기분 전환의 흐름을 파악하기 위해 3단계 모형을 사용하였다. 예를 들어, Illness-Death 모형하에서 기분 전환의 발생시점에 대한 분포를 추정하기 위해 계수 과정에 의해 기분 전환에 대한 과정을 모형화하였다.

• 한국컴퓨터정보학회논문지
• /
• 제18권8호
• /
• pp.87-93
• /
• 2013

최단 보폭-최장 보폭 알고리즘은 n을 $m={\lceil}\sqrt{n}{\rceil}$개의 원소를 가진 m개의 블록으로 분할하고 첫 번째 블록의 m개에 대해 $a^x$ (mod n) 값을 저장한다. 다음으로 m개의 블록에 대한 mod n을 계산하여 첫 번째 블록의 원소 값을 검색하여 일치하는 블록을 찾는 방법이다. 본 논문에서는 첫 번째로, $a^{{\phi}(n)/2}{\equiv}1(mod\;n)$과 $a^x(mod\;n){\equiv}a^{{\phi}(n)+x}$ (mod n)의 특징을 적용하여 m개의 원소를 가진 ${\lceil}m/2{\rceil}$개의 블록으로 분할하는 방법을 적용하여 최장보폭의 수행횟수를 50% 감소시켰다. 두 번째로, ${\lceil}m/2{\rceil}$개의 최단 보폭을 먼저 수행하여 저장하고, 첫 번째 블록의 m개 원소를 수행하는 최단 보폭을 수행하는 방법으로 최단 보폭-최장 보폭 알고리즘을 역으로 수행하는 방법을 제안하였다. 이 알고리즘은 최단 보폭-최장 보폭 알고리즘의 m개 저장과 검색을 ${\lceil}m/2{\rceil}$개로 50% 감소시키는 특징이 있다.

• 한국정보통신학회논문지
• /
• 제23권12호
• /
• pp.1609-1617
• /
• 2019

ECC (Elliptic Curve Cryptography)와 RSA를 기반으로 하는 다양한 공개키 암호 프로토콜 구현을 지원하는 하드웨어 가속기 설계에 관해 기술한다. NIST 표준으로 정의된 소수체 상의 5가지 타원곡선과 3가지 키길이의 RSA를 지원하며 또한, 4가지 타원곡선 점 연산과 6가지 모듈러 연산을 지원하도록 설계되어 ECC와 RSA 기반 다양한 공개키 암호 프로토콜의 하드웨어 구현에 응용될 수 있다. 저면적 구현을 위해 내부 유한체 연산회로는 32 비트의 데이터 패스로 설계되었으며, 워드 기반 몽고메리 곱셈 알고리듬, 타원곡선 점 연산을 위해서는 자코비안 좌표계, 그리고 모듈러 곱의 역원 연산을 위해서는 페르마 소정리를 적용하였다. 설계된 하드웨어 가속기를 FPGA 디바이스에 구현하여 EC-DH 키교환 프로토콜과 RSA 암호·복호 둥작을 구현하여 하드웨어 동작을 검증하였다. 180-nm CMOS 표준 셀 라이브러리로 합성한 결과, 50 MHz 클록 주파수에서 20,800 등가게이트와 28 kbit의 RAM으로 구현되었으며, Virtex-5 FPGA 디바이스에서 1,503 슬라이스와 2개의 BRAM으로 구현되었다.