• 한국음향학회지
• /
• 제39권1호
• /
• pp.32-37
• /
• 2020

본 논문은 l₁놈-Recursive Least Squares(RLS)에 수치 계산상 견실화를 더한 새로운 알고리즘을 제안한다. Eksioglu와 Tanc는 희소성 음향 채널 추정을 위해서 l₁놈-RLS 알고리즘을 구현하였다. 그러나 이 알고리즘의 근간인 RLS 계산법 역행렬 계산에서 수치 계산상의 불안정성을 지니고 있다. 본 논문에서는 이런 불안정성을 낮추는 새로운 알고리즘을 제안한다. 그리고 제안한 방법을 사용했을 때 수치적 불안정성에 대한 성능이 개선되었음을 보인다.

• 논리연구
• /
• 제23권1호
• /
• pp.1-23
• /
• 2020

이 글에서 우리는 좌, 우 n-멱등 공리를 갖는 미아놈에 기반한 논리를 다룬다. 이를 위하여 먼저 미아놈에 바탕을 둔 좌, 우 n-멱등 공리를 갖는 논리 체계 P^r_nMIAL, P^l_nMIAL을 소개한다. 각 체계에 상응하는 대수적 구조를 정의한 후, 이들 체계가 대수적으로 완전하다는 것을 보인다. 다음으로, 이 논리 체계들이 표준적으로 완전하다는 것 즉 단위 실수 [0, 1에서 완전하다는 것을 제네이-몬테그나 방식의 구성을 사용하여 보인다. 마지막으로 이를 고정점을 갖는 누승적 확장에 대한 연구로 확대한다.

• 한국잠사곤충학회지
• /
• 제14권1호
• /
• pp.9-13
• /
• 1972

상족후 7일째 수견하고 자웅을 감별하여 일부는 방사선(${\gamma}$-선) 1,000${\gamma}$에서 40분간 조사시켜 화아 교미후 산란후 시간을 5분, 15분, 45분, 90분, 720분, 2,400분의 6구로 나누어 란내 acid soluble phosphorus의 변동을 분석 검토한 결과 다음과 같은 결과를 얻었다. 1. 표준구(대조구)에서는 산란후 90분에 1,288${\gamma}$/100 mg D.P.로 점차 감소하여 720분에 1,232${\gamma}$/100mg D.P.로 가장 적은량을 나타냈으나 2,400분에 1,456${\gamma}$/100mg D.P.로 가장 많은 량을 나타냄을 알 수 있었다. 2. 방사선처리한 ♀에 표준구(무처리) ♂놈을 교미시킨 구에서는 표준구(대조구)에 비하여 산란초기 5분에 1,288${\gamma}$/100mg D.P. 15분에 1,299${\gamma}$/100mg D.P.로 다소 적은량을 나타냈으나 45분에 1,484${\gamma}$/100mg D.P.로 증가된 량을 보이다가 2,400분에 1,400${\gamma}$/100mg D.P.로 표준구(대조구)보다 적은량을 나타냈다. 그러나 표준구에 ♀놈에 방사선처리구에 ♂놈을 교미시킨 구와 비교할 때 초기에는 다소 적은 량이었으나 큰 차리는 확인할 수 없었으며 양구 다같이 산란후 15분에서 720분까지 양적으로 표준구(대조구) 많았음을 인정할 수 있고, 방사선처리한 ♀놈에 표준구(무처리)의 ♂놈을 교미시킨 구보다 표준구의 ♀놈에 방사선처리한 ♂놈을 교미시킨 구에서 변동이 크고, lipid phosphorus(Part I)의 경우와 상반된 변동이 이루어지는것을 알 수 있었다. 3. ♀.♂ 다같이 방사선을 처리하여 교미시킨 구에서 산란후 90분에 1,736${\gamma}$/100mg D.P, 2,400분에 1,760 ${\gamma}$/100mg D.P.로 많은 량을 나타냈고 5분에 1,288${\gamma}$/100mg D.P.로 가장 적은량을 나타냈으며 전반적으로 보아 산란초기에는 표준구보다 적었으나 그 후에는 표준구보다 크게 증가하고 변동이 심한것을 확인할 수 있었다.

• 한국전자통신학회논문지
• /
• 제17권1호
• /
• pp.41-48
• /
• 2022

본 논문은 통합 베이즈 티코노프 정규화 방법을 총변이 정규화에 대한 해법으로 제시한다. 통합된 방법은 총변이 항을 가중된 티코노프 정규화 항으로 변형하여 정규화 모수를 구하는 공식을 제시한다. 정규화 모수를 구하고 이를 바탕으로 새로운 가중인수를 구하는 것을 복원된 영상이 수렴하기까지 반복한다. 실험결과는 영상 복원 문제에 대하여 제안하는 방법의 효능을 보여준다.

• 한국소프트웨어감정평가학회 논문지
• /
• 제16권2호
• /
• pp.153-162
• /
• 2020

디지털 이미지 위조 탐지는 디지털 포렌식 분야에서 매우 중요한 분야 중 하나이다. 기술의 발전을 통해 위조된 이미지가 자연스럽게 바뀜에 따라 이미지 위조를 감지하기 어렵게 만들었다. 본 논문에서는 디지털 이미지에서 복사 붙여넣기 위조에 대한 수동적 위조 검출을 이용한다. 또한, L₀ Norm 기반 LE 연산자를 사용해 복사 붙여넣기 위조를 검출함과 동시에 기존에 존재하던 L₂, L₁ Norm 기반 LE 연산자를 이용한 위조 검출 정확도를 비교하였다. 제안한 하삼각 윈도우를 적용하고 L₂, L₁ 및 L₀ Norm 기반 LE 연산자를 통해 BAG 불일치를 검출하고 위조 검출률을 측정하였다. 검출률의 비교에서 제안한 하삼각 윈도우는 기존의 윈도우 필터보다 BAG 불일치 검출에 강인함을 볼 수 있었다. 또한, 하삼각 윈도우를 쓰는 경우 L₂, L₁, L₀ Norm LE 연산으로 갈수록 이미지 위조 검출의 성능이 점점 높게 측정되었다.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 1995년도 추계학술대회논문집; 한국종합전시장, 24 Nov. 1995
• /
• pp.241-248
• /
• 1995

본 연구에서 얻어진 주된 결과를 요약하면 다음과 같다. 1) 모달필터의 오차로 인해 모달상태 추정에 오차가 발생할 때, 폐루프 진동제어계가 Lyapunov 점근 안정성을 갖기 위한 필요충분 조건식(26)을 유도하였다. 2) 모달필터의 오차가 클수록 폐루프 진동제어계의 안정성은 점점 나빠지게 된다. 3) 모달필터의 오차 .DELTA.D가 존재할 때, L$_{\infty}$-놈 이론을 적용하여 진동제어 응답성능의 오차의 상한, 식(32)를 유도하였다. 4) 응답성능 오차의 상한은 모달필터 오차 .DELTA.D의 크기에 비례하고 있으며, 비례계수는 모달공간에서의 제어기법이 종류에 따라 다르다.

• 대한유전성대사질환학회지
• /
• 제19권1호
• /
• pp.20-25
• /
• 2019

Very-long-chain acyl-CoA dehydrogenase (VLCAD) 결핍증은 상염색체 열성으로 유전되는 유전성대사질환으로 미토콘드리아에서 장쇄지방산의 산화 장애이다. VLCAD 결핍증의 임상증상은 중증도 및 발현 시기에 따라 심각한 심장 이상을 동반하는 신생아기 발현형, 소아기 발현형, 지발형의 세 가지로 분류할 수 있다. 저자들은 혈장 아실카르니틴 분석과 유전자패널 염기서열분석 방법으로 확진된 성인기 발현형 VLCAD 결핍증 1례를 경험하였기에 보고하고자 한다. 34세 여자가 반복되는 근육통증과 간헐적 횡문근융해증의 병력을 주소로 내원하였다. 환자는 12세에 처음으로 운동 후 횡문근융해증으로 급성 신부전이 발생하여 혈액 투석을 받고 회복하였다. 이후 환자는 장시간의 운동이나 금식 후에 반복적으로 근육통증과 횡문근융해증이 발생하였다. 내원 시 신체 검진과 신경학적 검진은 정상이었다. 내원시 혈장 AST/ALT, Creatinine kinase (CK)는 약간 상승해있었으나, 이전 의무기록에 의하면 횡문근융해증이 있을 당시 AST/ALT, CK는 매우 상승하였다. 환자의 병력을 토대로 지방산대사장애 의심하에 감별진단을 위하여, 유전자 패널 염기서열 분석과 혈장 아실카르니틴 분석을 시행하였다. 혈장 아실카르니틴 분석결과 C14:1 ($1.453{\mu}mol/L$; 참고치, 0.044-0.285)와 C14:2 ($0.323{\mu}mol/L$; 0.032-0.301)가 증가였고, C14 ($0.841{\mu}mol/L$; 0.065-0.920)는 높은 정상이었다. 유전자패널 염기서열분석에서는 ACADVL 유전자에서 두 개의 병원성변이가 이형접합으로 발견되었으며, 이는 Sanger 염기서열 분석으로 확진되었다: c.[1202G>A(;)1349G>A] (p.[(Ser401Asn)(;)(Arg 450His)]). 환자는 생화학적, 유전학적 검사결과를 바탕으로 지발형 VLCAD 결핍증으로 확진되어 저지방식이와 급성 대사장애를 예방하기 위한 영양 교육을 받았다. 경증의 지발형 지방산 대사장애는 임상증상과 생화학적 검사 이상이 간헐적으로 발생하기 때문에 진단이 어렵다. 유전자패널 염기서열 분석은 지방산대사 장애와 같이 임상증상과 원인 유전자 이상이 다양한 대사 이상질환에서 유용한 진단법이 될 수 있다.

• 한국음향학회지
• /
• 제36권4호
• /
• pp.285-291
• /
• 2017

두 개 수신기에 들어오는 신호 간의 시간 지연 값을 추정하기 위한 방법들이 연구되고 있다. 그중에서 채널 추정 기법을 기반으로 한 방법의 경우는 두 수신기의 입력 신호간의 상대적인 지연을 채널의 임펄스 응답처럼 추정하는 방법이다. 이 경우에는 해당 채널의 특성이 희소 채널의 특성을 가지고 있다. 기존의 방법들은 채널의 희소성을 이용하지 못하고 있는 방법이 대부분이다. 본 논문에서는 채널의 희소성을 이용하기 위하여 희소 신호 최적화 방법의 하나인 BPD(Basis Pursuit Denoising) 최적화 기법을 사용한 시간 지연 추정 방법을 제안한다. 제안한 방법을 기존의 일반 상호 상관(Generalized Cross Correlation, GCC) 방법과 적응 소유치 분해법 및 희소 신호 추정법의 일종인 RZA-LMS(Reweighted Zero-Attracting Least Mean Square)들과 비교하여, 백색 가우시안 신호원과 유색 신호원 및 해양 포유류 신호원에 대해서 비교 실험을 하였다. 그 결과 갑자기 추정성능이 열화되는 문턱 현상이 늦게 나타나거나 훨씬 줄어드는 것을 보였다.

• 한국음향학회지
• /
• 제40권5호
• /
• pp.460-465
• /
• 2021

능동 소나에서 시간 지연 추정은 목표와 소나 사이의 거리를 알아내기 위해서 사용하고 있다. 능동 소나에서 시간 지연을 추정할 때 주파수 영역에서 계산하면 시간 지연 추정이 주파수 추정으로 바꾸어 생각할 수 있어서 비교적 쉽게 사용할 수 있다. 그러나 이 방법은 잡음에 의해 오류가 급증할 요소가 포함되어 있다. 본 논문에서는 이런 오류 급증 현상을 줄일 수 있는 가중 딕션너리를 사용하는 희소성 기반 추정 방법을 새롭게 제안한다. 또 이 방법을 두 개의 수신기로 확대 적용하여 두 수신기 간 시간 지연을 추정하는 알고리즘을 제안한다. 그리고 백색 잡음 환경에서 제안한 방법을 적용한 것과 일반 상호 상관 알고리즘(Generalized Cross Correlation-Phase transform, GCC-PHAT) 및 일반 주파수 영역 방법을 포함한 제안한 방법을 적용하지 않은 방법들을 서로 비교한다. 그리고 새로 제안한 방법이 다른 비교 대상 알고리즘들보다 약 15 dB에서 약 60 dB의 성능 이득이 있음을 보인다.