• 한국정보통신학회논문지
• /
• 제22권12호
• /
• pp.1698-1704
• /
• 2018

본 논문에서는 암호통신 응용을 위한 로렌츠 카오스 회로를 구현한다. 이산형 카오스 로렌츠 시스템을 구현하기 위하여, PIC18F 계열의 마이크로 콘트롤러가 사용되었으며, 제안하는 카오스 회로는, 연산증폭기 기반 아날로그 회로와는 다르게, 8 비트PIC 마이크로 콘트롤러 칩과 3개 R-2R 타입의 디지털-아날로그 변환기로 이루어진다. 마이크로 컨트롤러 포트 B, C 및 D에서 시간 파형 X, Y 및 Z가 출력되도록 하였다. 모의실험을 위하여 MATLAB 및 PROTEUS 소프트웨어 플랫폼이 사용되었다. 제안하는 회로에 대하여, MATLAB 및 프로테우스 프로그램에 의한 모의실험을 통하여 시간파형, 주파수 특성, 2차원 위상특성 해석을 실시하였다. 최종적으로, 카오스 시간파형, 2차원(2D) 어트랙터 가 얻어졌고, 카오스 신호에 기반한 아날로그 신호의 암호통신 검증을 실험을 통하여 확인 하였다.

• 한국음향학회지
• /
• 제27권5호
• /
• pp.215-220
• /
• 2008

의료용 초음파 프로브나 압전복합재료 트랜스듀서 등에 있어서는 배열된 압전세라믹 요소간의 공간, 즉 kerf에 주로 폴리머계열의 물질을 충진하고 있다. 이 경우 압전 요소의 횡방향 진동모드의 경계조건이 바뀌어 실제 사용되는 종방향 진동모드의 공진 주파수에도 영향을 미치게 된다. 본 연구에서는 kerf충진 매질에 따른 공진주파수의 변화를 실험적으로 고찰하기 위하여 크기가 $14mm{\times}0.22mm{\times}0.44mm$인 PZT 압전요소의 선형배열에 의한 초음파 트랜스듀서를 제작하고, kerf충진 매질이 없는 경우와 특성이 다른 두 종류의 에폭시로 충진한 경우 각각에 대한 측정을 행하였다. 그 결과 kerf충진 매질에 따른 종방향 공진주파수의 천이 경향이 이론해석 결과와 유사함을 확인하였다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제19권1호통권21호
• /
• pp.69-100
• /
• 2005

이 연구는 내신성적이 우수함에도 불구하고 수능성적이 저조한 학생들이 문제 해결과정에서 나타내는 특성과 수학불안 요인을 분석하는데 있다. 연구의 대상은 인천시 5고등학교 자연계열 2학년 학생 중 내신성적이 상위 10%안에 드나 수능성적(모의수능성적)은 그렇지 못한 학생 5명이고, 이들의 수학적 성향, 수학 성취도, 개인별 특성 등에 대한 사전 면담자료, 문제풀이과정에 대한 사후 심층면담자료, 현장노트, 수학불안검사를 바탕으로 그들의 특성과 수학불안 요인을 분석한 결과는 다음과 같다. (1) 내신성적은 좋으나 수능성적이 저조한 학생들의 수학 문제 해결 과정에서 나타나는 특성은 수학전 영역에서의 개념부족, 공식암기 부족 등으로 인하여 문제풀이계획을 세우지 못하거나 설사 문제를 푼다고 해도 계산 실수, 착각, 부주의 등으로 인해 정확한 답을 구하지 못하는 것으로 나타났다. (2) 내신성적은 좋으나 수능성적이 저조한 학생들은 어느 정도의 수학 불안은 가지고 있었다. 불안의 요인은 개념부족, 응용력 부족 등 개인적 인지능력에 의한 저조한 수학 성취수준과 수학 공부시간 부족, 풀이시간 부족 등의 환경적 요인에 때문인 것으로 밝혀졌다. 특히 수학개념이 부족한 학생일수록 수학불안 현상이 심하게 나타났다. 따라서 이들 학생들의 수학 문제풀이 과정 중에 나타나는 계산 실수, 부주의, 착각은 그들의 수학 자신감에 많은 악영향을 미치게 되므로, 교사가 이를 그냥 방관할 것이 아니라 적극적으로 확인하고 지도해줄 필요가 있다. 또 교실 수업에서도 수능시험에서 다루고 있는 수학 내적, 외적 문제해결문제, 추론문제, 응용문제, 통합문제에 대한 문제풀이 경험을 하게하여 수학불안을 해소해줄 필요가 있다.)값을 보였으나, 10,000Hz의 높은 측정주파수에서는 더 큰 $E_a$값을 나타냄으로서 반응온도변화에 민감함을 보여주었다.원으로부터 부유물을 증가로 사료되었으며, 이에 대한 대책마련이 시급한 것으로 사료되었다. 수질이 휴양용수로서 사용하는 데에 적합하도록 충분한 차집시설과 환경 기초시설의 설치 운영이 필요할 것으로 판단된다.TEX>$K_s$값이 높고 $V_m/K_s$비율은 낮아 수게에서 질소가 저농도 일 때에는 다른 미세조류와 비교하면 경쟁력이 떨어지고 질소에 대한 기질 친화력은 약한 것으로 나타났다. 낙동강 하류지역에서 M. aeruginosa가 대발생하는 시기에 수중 영양염의 농도 변동은 M. aeruginosa의 영양생리 kinetics 특성과 잘 부합하는 것으로 나타났다.부분을 보완하기 위한 연구가 이루어져야 할 것으로 보인다. 연마방법 간에 상호 연관성이 없었다. FE-SEM관찰에서 레진전색제를 적용한 후의 표면은 모든 군에서 대체적으로 평활한 표면을 나타내었다. 4. 동일한 복합레진과 연마방법으로 처리된 군에서 레진전색제 적용 전과 후의 표면조도 값은 M1B군이 M1군보다, S1B군이 S1군보다 통계학적으로 높게 나타났으며, M4B군과 M5B군은 각각 M4군과 M5군 보다. 그리고 S5B군은 S5군 보다 통계학적으로 낮게 나타났다 (p<0.05). 본 연구를 종합하여 보면, 복합레진의 종류에 따라 표면조도의 순서는 다르게 나타났고, polyester strip 하에서 복합레진이 중합된 경우 가장 낮은 표면조도 값과 평활한 표면을 제공하였으며 전반적으로 anishing bur는 가장 높은 Ra값과 거친 표면을 제공하였다.

• 한국산학기술학회논문지
• /
• 제18권5호
• /
• pp.557-564
• /
• 2017

대한민국 군의 K 계열 전차에 장착되어 있는 열영상장비의 목적은 시계가 제한된 환경에서 외부의 적외선 영역의 정보를 인간이 인지할 수 있는 시각 정보로 변환하는 것이다. 열영상장비의 시계, 배율, 분해능, 변조전달함수, 잡음등가온도차, 최소분해가능온도차 등의 지표 중에서 최소 분해 가능 온도차(MRTD)는 공간주파수와 온도분해능을 복합적으로 표현할 수 있기 때문에, 열영상장비의 성능 표현에 있어 가장 중요한 파라메터이다. 그러나 NATO의 MRTD 표준 측정 방법은 많은 주관적인 요소를 포함하고 있다. 즉, 측정자의 정신 상태, 시력 등의 차이와 측정환경에 따라 측정 결과의 오차가 발생하므로 MRTD의 측정결과는 안정적이지 못하다. 따라서 본 논문에서는 정성적인 MRTD 측정 방법을 gary scale을 바탕으로 이미지 연산을 통한 정량적인 지표로 변환하였다. 흑상과 백상의 Gray scale 차이의 평균을 최소분해가능온도로 변환하여, 국방규격서에서 요구하는 성능요구조건의 충족여부를 판단할 수 있다. 또한 gray scale은 MRTD의 탐지/인지/식별의 판별기준으로 활용할 수 있다. 전차에 열영상장비가 탑재되어 작전을 수행할 때의 탐지 가능 거리를 안개, 폭우, 맑은 날씨 등의 다양한 환경조건에 따라 분석하였다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2002년도 춘계학술대회논문집
• /
• pp.125-129
• /
• 2002

실시간 운영체제(Real-Time Operating System: 이하 RTOS라 함) 개발환경에서 제공하는 도구 중에 하나인 RTOS 시뮬레이터는 타겟 하드웨어가 호스트에 연결되어 있지 않아도 호스트에서 응용프로그램의 개발과 디버깅을 가능하게 해주는 타겟 시뮬레이션 환경을 제공해 줌으로서, 개발자로 하여금 빠른 시간 내에 응용프로그램을 개발할 수 있도록 지원하며 하드웨어 개발이 완료되기 전에도 응용프로그램을 개발할 수 있게 해 준다. 그러한 이유로 현재 대부분의 상용 RTOS 개발환경에서는 RTOS 시뮬레이터를 제공하고 있다. 그러나 현재 상용 RTOS 시뮬레이터들은 대부분 RTOS의 기능적인 부분들만 호스트에서 동작하도록 구현되어 있어서 RTOS나 RTOS 응용프로그램이 실제 타겟에서 실행될 때의 실질적인 시간 추정이 불가능하다. 이러한 문제점은 실시간 시스템이 정해진 시간 내에 결과를 출력해야 하는 시스템임을 감안한다면 RTOS 시뮬레이터의 가장 큰 결점이 되기 때문에 실행시간 추정 기능을 가지면서 실용화도 가능한 RTOS 시뮬레이터가 필요하다. 본 연구에서는 이러한 문제점을 해결하여 RTOS와 RTOS 응용프로그램이 실제 타겟에서 처리될 때의 실행시간 추정이 가능하고 상용화가 가능한 기계 명령어 기반(machine instruction-based)의 RTOS 시뮬레이터를 연구 개발하였다. 나아가 실행시간의 주요 요소인 파이프라인과 캐쉬의 영향도 고려함으로서 실행시간 추정의 정확도를 향상시켰다 본 연구에서 사용된 RTOS는 한국전자통신연구원(ETRI)에서 2000년에 개발된 Q+이고, Q+가 동작하는 타겟 하드웨어는 ARM 계열의 StrongARM SA-110 마이크로프로세서와 21285 주제어기가 장착된 EBSA-285 보드이다. 측정하면서 수행하였다. 검증 결과 random 상태에서는 문헌자료에 부합되는 예측결과를 보여주었으나, intermediate와 constant 상태에서는 문헌보다 다소 낮은 속도를 보여주었다 이러한 속도차는 추후 현장 데이터를 수집하여 보다 실질적인 검증을 통하여 조정되어야 할 것으로 판단된다.지발광(1.26초)보다 구애발광(1.12초)에서 0.88배 감소하였고, 암컷에서 정지발광(2.99초)보다 구애발광(1.06초)에서 0.35배 감소하였다. 발광양상에서 발광주파수는 수짓의 정지발광에서 0.8 Hz, 수컷 구애발광에서 0.9 Hz, 암컷의 정지발광에서 0.3 Hz, 암컷의 구애발광에서 0.9 Hz로 각각 나타났다. H. papariensis의 발광파장영역은 400 nm에서 700 nm에 이르는 모든 영역에서 확인되었으며 가장 높은 첨두치는 600 nm에 있고 500에서 600 nm 사이의 파장대가 가장 두드러지게 나타났다. 발광양상과 어우러진 교미행동은 Hp system과 같은 결과를 얻었다.하는 방법을 제안한다. 즉 채널 액세스 확률을 각 슬롯에서 예약상태에 있는 음성 단말의 수뿐만 아니라 각 슬롯에서 예약을 하려고 하는 단말의 수에 기초하여 산출하는 방법을 제안하고 이의 성능을 분석하였다. 시뮬레이션에 의해 새로 제안된 채널 허용 확률을 산출하는 방식의 성능을 비교한 결과 기존에 제안된 방법들보다 상당한 성능의 향상을 볼 수 있었다., 인삼이 성장될 때 부분적인 영양상태의 불충분이나 기후 등에 따른 영향을 받을 수 있기 때문에 앞으로 이에 대한 많은 연구가 이루어져야할 것으로 판단된다.태에도 불구하고 [-wh]의미의 겹의문사는 병렬적 관계의 합성어가 아니라 내부구조를 지니지 않은 단순한 단어(minimal $X^{0}$

• 한국광학회:학술대회논문집
• /
• 한국광학회 2000년도 제11회 정기총회 및 00년 동계학술발표회 논문집
• /
• pp.288-289
• /
• 2000

SBN, BSKNN KNSBN 등의 tungsten-bronze 계열에 속하는 광굴절 결정은 짧은 파장에서 좋은 감광도와 빠른 응답시간을 갖는다. 이중에서도 KNSBN 결정은 큰 크기의 결정 성장 및 도핑이 용이하고 광굴절 결정에서 중요한 특성 중 하나인 열 안정성(thermal stability)이 좋기 때문에 빠른 응답특성이 요구되는 응용분야에서 촉망받는 매질이다. 본 논문에서는 광정보저장, 광정보처리, 광컴퓨터, 광통신과 같은 다양한 분야에서 응용가능성을 가지는 Cu가 0.04wt.%도핑된 5mm$\times$5mm$\times$5mm 크기의 KNSBN 결정을 이용한 광신호의 증폭기술에 대하여 연구하였다. 먼저 Cu-KNSNB 결정의 2광파 결합 특성을 분석하기 위하여, 기록 파장에 따른 지수이득계수의 외부입사각의존성, 최대 지수이득계수를 나타내는 외부입사각에서 입사빔의 세기비에 따른 2광파 결합 이득을 측정하였다. 또한, 632.8nm파장 영역에서 기록 및 삭제시간 상수, 회절 효율의 입사빔 세기비 의존성을 측정하였다. 그리고, 음향-광학 변조기(AOM: acousto-optic modulator)에 의해 진폭 변조된 신호빔을 이용하여 광신호 증폭특성을 분석하고 그 결과를 제시하였다. 이때 두 빔의 입사각은 최대 지수이득계수를 나타내는 입사반각 12$^{\circ}$로 고정하고, 감쇄기를 이용하여 신호빔의 세기를 조절하면서 신호빔의 차동이득을 측정하였다. 투과된 신호빔은 같은 주파수에서 차동 이득(diffrerential gain)을 보였으며, 이는 moving grating과 시간-변조된 신호빔(또는 펌프빔)사이의 새로운 상호작용은 광굴절 결정의 시간 적분 특성에 의한 것이다. (중략) 경우는 상온에서 펌프 펄스의 유지시간이 0.5% 인 경우 레이저가 동작하는 것을 보여주었다. 이는 구조내에서 열전도가 문제가 된다는 것을 의미하는데 위아래가 공기로 둘러 싸여 있어 발생한 열이 가는 유전체 네트웍을 통해서만 전달 될 수 있기 때문이다. (중략)$^4$A$_2$에 의한 nophonon line R$_1$, R$_2$(680.4, 678.5 nm) 및 $^2$T$_1$$\longrightarrow$$^4$A$_2$(655.7, 649.3, 645.2 nm)의 형광방출 스펙트럼을 얻었으며, 형광수명은 0.264 ms로 조사되었다. 제조된 레이저 발진봉은 직경 6.3 m, 길이 45 nm이었다.\pm$0.06kHz Ge $F_4$; -1.84$\pm$0.04kHz$0.04kHz/TEX>0.04kHz 모국어 및 관련 외국어의 음운규칙만 알면 어느 학습대상 외국어에라도 적용할 수 있는 보편성을 지니는 것으로 사료된다.없다. 그렇다면 겹의문사를 [-wh]의리를 지 닌 의문사의 병렬로 분석할 수 없다. 예를 들어 누구누구를 [주구-이-ν가] [누구누구-이- ν가]로부터 생성되었다고 볼 수 없다. 그러므로 [-wh] 겹의문사는 복수 의미를 지닐 수 없 다. 그러면 단수 의미는 어떻게 생성되는가\ulcorner 본 논문에서는 표면적 형태에도 불구하고 [-wh]의미의 겹의문사는 병렬적 관계의 합성어가 아니라 내부구조를 지니지 않은 단순한 단어(minimal $X^{0}$ elements)로 가정한다.

• 대한전자공학회논문지SP
• /
• 제42권2호
• /
• pp.27-36
• /
• 2005

년 논문에서는 MPEG과 JPEG, H.26X 계열 등의 DCT-기반 영상/비디오 컨텐츠에 효과적인 암호화 방법을 제안하였고, 이를 최적화된 하드웨어로 구현하여 고속동작이 가능하도록 하였다. 영상/비디오의 압축, 복원 및 암호화로 인한 많은 연산량을 고려하여 영상의 중요한 정보(DC 및 DPCM계수)만을 암호화 대상 데이터로 선정하여 부분 암호화를 수행하였다. 그 결과 암호화에 소요되는 비용은 원 영상 전체를 암호화하는 비용이 감소하였다. 여기서 Nf는 GOP내의 프레임수이고 PI는 B와 P 프레임에 존재하는 인트라 매크로블록의 수이다. 암호화 알고리즘으로는 다중모드 AES, DES, 그리고 SEED를 선택적으로 사용할 수 있도록 하였다. 제안한 암호화 방법은 C++로 구현한 소프트웨어와 TM-5를 사용하여 약 1,000개의 영상을 대상으로 실험하였다 그 결과 부분 암호화된 영상으로부터 원 영상을 추측할 수 없어 암호화 효과가 충분함을 확인하였으며, 이 때 암호화에 의한 압축률 감소율은 $1.6\%$에 불과하였다. Verilog-HDL로 구현한 하드웨어 암호화 시스템은 하이닉스 $0.25{\mu}m$ CMOS 팬텀-셀 라이브러리를 사용하여 SynopsysTM의 디자인 컴파일러로 합성함으로써 게이트-수준 회로를 구하였다. 타이밍 시뮬레이션은 CadenceTM의 Verilog-XL을 이용해서 수행한 결과 100MHz 이상의 동자 주파수에서 안정적으로 동작함을 확인하였다. 따라서 제안된 암호화 방법 및 구현된 하드웨어는 현재 중요한 문제로 대두되고 있는 종단간(end-to-end) 보안에 대한 좋은 해결책으로 유용하게 사용될 수 있으리라 기대된다.

• 한국산학기술학회논문지
• /
• 제21권3호
• /
• pp.447-452
• /
• 2020

이 연구는 전전두엽 뉴로피드백 훈련이 청소년의 주의력과 수면에 미치는 영향을 검증할 목적으로 이루어졌다. 청소년의 삶의 질과 학습에 직결되는 주의력과 수면에 대한 다양한 연구 방법 가운데 뉴로피드백 훈련 효과가 과학적으로 입증될 수 있는지 실제 실험을 통하여 밝히는 데 목적이 있다. 연구를 위해 S시 J여자 고등학교에서 실험군 22명, 대조군 22명으로 구분하여 실험군에게 뉴로피드백 훈련을 실시하였다. 2019년 3월부터 7월 첫 주까지 주3회, 훈시간은 30분씩 하였다. 수집한 뇌파데이터는 선형분석법을 사용하여 고속퓨리에 변환을 통한 주파수계열파워 스펙트럼 분석법을 이용하여 통계처리하였다. 뉴로피드백 훈련 전과 훈련 후의 집단 간 변화 차이는 T-test를 사용하였다. 연구 결과는 전전두엽 뉴로피드백 훈련이 청소년의 주의력을 향상시키고, 수면을 개선시키는 데 효과가 있음을 확인할 수 있었다. 결론적으로 환경적요소와 교육적 요소가 중요한 역할을 한다. 두 요인의 상호작용은 개인의 독특한 뇌 구조와 기능을 낳기 때문에 뉴로피드백 훈련의 영향은 청소년들에게 중요하다. 본 연구에서는 과학적이고 객관적인 방법을 활용하여 결과를 도출하였다는 것이 중요함을 다시 강조한다.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2000년도 제18회 학술발표회 논문개요집
• /
• pp.108-108
• /
• 2000

급증하는 무선통신 정보수요는 특히, 고주파대역 (300NHz-300GHz)에서 사용되는 공진기, 필터, 발진기 등과 같은 소자의 품질향상을 요구하고 있다. 고주파용 유전체 중 ZrTiO4 는 $\alpha$-PbO2 계열의 사방정구조를 갖고 있는 유전체로서 높은 유전율 ($\varepsilon$=40)과 높은 품질계수 (Q=1/tan$\delta$=4700 at 7GHz)를 갖고 있고, Sn 첨가시 0ppm/$^{\circ}C$의 공진주파수 온도계수를 얻을 수 있다고 보고되어 있다. 본 연구에서는 약 110$0^{\circ}C$ 이상에서 안정한 상으로 존재하는 ZrTiO4를 저온에서 증착하여 준안정한 상태로 결정화되게 한후, 유전손실 (tan$\delta$)과 유전율($\varepsilon$)을 측정하였다. 또한 증착온도와 열처리과정에 따른 박막의 us형 (Strain) 정도의 변화를 X-선 회절결과로부터 분석하였으며 이를 측정된 유전특성 값과 비교하였다. ZrTiO4 박막은 DC magnetron reactive sputter로 Zr과 Ti 타겟으로부터 high phosphorous doped Si (100) 기판위에 증착하였다. 압력은 4mTorr로 유지하고 박막의 화학양론적 조성비를 맞추기 위해 각 타겟에 가해지는 power는 Zr/Ti=500W/650W로 고정하고, 반응가스의 비율을 Ar/O2=17sccm/3.5sccm으로 유지하여 박막내에 인입되는 산소량을 제어하였다. 증착 직후와 열처리 후의 박막특성을 비교하기 위해 증착온도를 상온에서부터 $600^{\circ}C$까지 변호시키고 증착후 각각의 시편을 80$0^{\circ}C$ 산소분위기에서 2시간동안 열처리하여 시편을 준비하였다. 박막의 상형성 여부와 결정성변화는 $ heta$-2$\theta$X-선 회절법을 사용하여 조사하였고, EPMA를 이용하여 박막의 조성을 확인하였다. 유전특성의 측정을 위해 백금 상부전극을 증착한 후, impedance analyzer를 이용하여 100kHz 영역에서의 유전손실을 측정하고, 측정된 정전용량과 박막의 두께로부터 유전율을 계산하였다. ZrTiO4 박막은 증착온도 20$0^{\circ}C$ 이상에서 결정성을 보이기 시작했으며, 열처리 이후에는 상온에서 비정질이었던 시편이 $650^{\circ}C$ 이상의 온도에서 결정화되기 시작하였다. 증착온도에 따라 유전손실은 0.038에서 0.017 정도로 감소하는 경향을 나타냈으며, 각각 열처리에 의해서 0.034, 0.005 정도로 다시 감소하였다. 박막의 유전율은 약 35 정도의 값을 나타내었으며 X-선 회절 data로부터 분석한 박막의 변형은 증온도에 따라 7.2%에서 0.04%로 감소하였고 이 이경향은 유전손실은 감소경향과 일치하였다.

• 대한토목학회논문집
• /
• 제33권2호
• /
• pp.585-594
• /
• 2013

공진형 파동에너지 추출시스템은 권혁민 등(2010)에 의해 최초로 제안되었다. 본 시스템은 계류장치와 직렬발전기 그리고 발전기를 가진하는 부이로 구성되어 있으며 직렬발전기의 운동자는 부이의 수직운동에 의해 내부 진동하는 시스템이다. 하지만, 우리나라와 같이 파랑에너지가 비교적 적은 지역에서는 가진체인 부이의 수직운동 크기를 증폭시킬 필요가 있다. 본 연구는 발전기를 탑재한 부이가 공진할 수 있도록 제원을 조절하고 이의 증폭효과를 실험적으로 확인하였다. 모형부이는 공진주기 1.96 sec에 해당하는 흘수를 확보하도록 제원을 조절하였다. 부이공진 실험은 최대수심 6.0 m, 폭 8 m, 길이 110 m인 대형수조에서 규칙파 및 불규칙파에 대하여 수행되었다. 실험파는 평상파의 파형경사에 해당하는 약 0.01에 상응하도록 파를 선택하였다. 부이의 수직변위 관측시계열 자료는 규칙파의 진폭증폭율과 불규칙파의 스펙트럼 면적비에 대하여 분석하였다. 분석결과, 규칙파실험은 모형 전력생산부이의 공진주기 1.96 sec에서 최대 진폭증폭율 5.66을 얻었으며 불규칙파의 경우는 첨두주기가 1.96 sec보다 약간 짧은 1.85 sec에서 최대 스펙트럼면적비 20.73을 얻었다. 본 실험성과로부터 부이의 공진설계가 전력생산의 증대에 유효하며 우리나라와 같이 비교적 파랑에너지가 적은 지역에서 상업적 전력생산을 위하여 필수불가결함을 알았다.