• 정보보호학회논문지
• /
• 제28권3호
• /
• pp.563-577
• /
• 2018

VANET(Vehicular Ad hoc Network)에서 안전한 통신을 지원하기 위해 차량 간 또는 차량과 기반 구조 사이에서 교환되는 메시지는 인증이 반드시 수행되어야 한다. 본 논문에서는 VANET 환경을 위한 계층적 구조의 익명 인증 시스템을 제안한다. 제안하는 시스템 모델은 계층적으로 비밀키를 발급하여 기존 시스템의 문제점인 PKG의 오버헤드를 줄여 실용성을 높인다. 또한 페어링을 사용하지 않고 설계된 효율적인 2레벨 계층적 ID 기반 서명(Two-Level Hierarchical Identity-Based Signature, TLHIBS) 기법을 제안한다. 제안하는 기법은 조건부 익명성을 만족하여 차량의 프라이버시를 보호하고, 일괄검증(batch verification)을 지원하여 다수의 서명을 효율적으로 검증할 수 있다. 마지막으로 기존의 VAENT 환경에서 ID 기반 서명 기법들의 안전성 증명이 잘못된 것과는 다르게 제안한 기법의 안전성은 이산 대수 문제(Discrete Logarithm Problem, DLP)에 리덕션되어 랜덤 오라클 모델(random oracle model)에서 증명된다.

• 정보보호학회논문지
• /
• 제31권3호
• /
• pp.517-526
• /
• 2021

최근 양자 컴퓨터의 개발이 가속화되면서 기존 인터넷 환경에서 사용되고 있는 인수분해 및 이산대수 기반의 전자서명 기법들의 안전성에 대한 문제가 제기되고 있다. 이에 대응하기 위해 미국 국립표준기술연구원(NIST)의 표준화 작업을 비롯하여 양자 컴퓨팅 환경에서 안전한 여러 가지 전자서명 기법들이 제시되고 있다. 본 논문에서는 2018년 Behnia 등이 CCS 컨퍼런스에서 발표한 TACHYON 전자서명 기법을 이용한 다중 서명 기법을 설계하여 제시하고, 안전성을 증명하고자 한다. 다중 서명 기법은 최근 많은 관심을 받고 있는 암호화폐 분야에서 전자지갑의 개인키 의존도를 분산하여 보다 안전한 전자지갑 시스템을 구성할 수 있는 핵심 기술로, 최근 많은 연구자들과 개발자들이 관심을 갖고 있는 전자서명 응용 분야이다. 본 논문에서 제시하는 다중 서명 기법은 일반 공개키 모델(plain public key model)에서 공개키 결합(public key aggregation)이 가능한 기법으로, 부가적인 영지식 증명(zero-knowledge proof) 기법이 필요하지 않으며, 결합 된 단일 공개키만으로 효율적인 시스템을 구성할 수 있는 기법이다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제37권1호
• /
• pp.65-84
• /
• 2023

라그랑주 승수법(Method of Lagrange Multipliers)은 등식 제약조건하에서 미분가능한 함수의 최대, 최소를 구하는 대표적인 방법이다. 선형대수학, 최적화 이론, 제어 이론을 포함하여 최근에는 인공지능 기초수학에서도 널리 활용되고 있다. 특히 라그랑주 승수법은 미분적분학과 선형대수학을 연결하는 중요한 도구이며, 주성분 분석(Principal Component Analysis, PCA)을 포함한 인공지능 알고리즘에 많이 활용되고 있다. 따라서 교수자는 대학 미분적분학에서 처음 라그랑주 승수법을 접하는 학생들에게 구체적인 학습 동기를 제공할 필요가 생겼다. 이에 본 논문에서는 교수자가 학생들에게 라그랑주 승수법을 효과적으로 교육하는데 필요한 통합적인 시야를 제공한다. 먼저 다양한 전공의 학생들이 계산에 대한 부담을 덜고 원리를 쉽게 이해할 수 있도록 개발한 시각화 자료 및 파이썬(Python) 기반의 SageMath 코드를 제공한다. 또한 라그랑주 승수법으로 행렬의 고윳값과 고유벡터를 유도하는 과정을 상세히 소개한다. 그리고 라그랑주 승수법을 간단한 경우에 대한 증명에서 시작하여 일반화된 최적화 문제로 확장하고, 수업에서 학생들이 라그랑주 승수와 PCA를 활용하여 실제 데이터를 분석한 결과를 추가하였다. 본 연구는 대학수학을 지도하는 다양한 전공의 교수자들에게 도움이 될 기초자료가 될 것이다.

• 한국수학사학회지
• /
• 제21권2호
• /
• pp.55-70
• /
• 2008

본 연구에서는 유클리드의 저작중의 하나인 자료론에 대해 소개하고자 한다. 먼저 자료론의 내용 구성에 대해 살펴보고, 이러한 고찰을 바탕으로 하여 이 책의 형식적인 체계에 대해 분석한다. 형식적인 체계는 정의와 명제, 증명이 기술되어진 방법에 대해 분석하고, '주어진(given)' 이 가지는 의미에 대해 살펴본다. 마지막으로는 자료론이 지니고 있는 수학적인 의미에 대해 분석한다. 수학적인 의미는 대수적인 관점, 기하학적인 관점, 유클리드의 원론과 대비된 관점에서 살펴본다.

• 한국통신학회논문지
• /
• 제34권12A호
• /
• pp.949-961
• /
• 2009

본 논문에서는 하이브리드 복호 후 전달(HDF)기법을 이용하는 2홉 무선 통신 네트워크의 BER(Bit Error Rate) 성능을 분석한다. 기존의 HDF 기법은 릴레이에서 복호된 데이터의 전달유무를 수신되는 신호 대 잡음비(SNR)를 기준으로 한다. 반면 본 논문에서는 SNR 기준 방식 대신 대수 우도비(Log Likelihood Ratio, LLR) 분석 기법을 제안한다. 제안한 새로운 HDF 기법의 근사적 BER 표현식을 유도하며, Monte-Carlo 시뮬레이션으로 검증한다. 또한 HDF 기법을 위한 최적의 임계값을 계산한다. 다양한 수식으로 인한 결론은 본 논문에서 제안하는 LLR기반 HDF가 기존의 SNR기반 HDF보다 레일리 페이딩채널과 AWGN환경에서 어떠한 임계값과 어떠한 릴레이 위치에도 뛰어난 성능을 보임을 증명한다.

• 논리연구
• /
• 제11권2호
• /
• pp.171-197
• /
• 2008

이 논문에서 우리는 [10]에서 멧칼페와 몬테그나에 의해 소개된 몇 체계들에 대한 새로운 표준 완전성 증명을 다룬다. 이를 위해 이 논문은 연관 논리 R-mingle (RM)의 이웃들로 간주될 수 있는 몇몇 퍼지-연관 논리를 연구한다. 우선, 좌-연속 항등적 멱등 유니놈들과 그것들의 잔여(left-continuous conjunctive idempotent uninorms and their residua)의 동어반복을 다루도록 의도된 monoidal uninorm idempotence 논리 MUIL과 그것의 몇몇 확장이 RM의 이웃으로 소개된다. 그리고 그것들에 상응하는 대수적 구조가 정의된 후, 이 체계들을 위한 표준 완전성 즉 단위 실수 [0, 1] 위에서의 완전성이 제공된다.

• 한국식품과학회지
• /
• 제24권3호
• /
• pp.236-239
• /
• 1992

포도당을 2% MSG 용액에 20%까지 첨가하여 가열 중 MSG 열분해에 미치는 영향을 조사하였다. MSG 용액의 pH는 열분해가 비교적 많았던 초기 pH를 4와 5로 조절하여 $100{\sim}120^{\circ}C$에서 가열하였다. 그 결과 MSG 용액에 포도당의 농도가 증가함에 따라 MSG의 열분해가 촉진됨이 밝혀졌다. 포도당 농도의 증가에 따른 분해된 MSG 농도의 대수값과 가열시간 간에는 직선적인 관계가 있었으며 직선의 기울기에서 열분해 상수는 당의 농도가 증가하면서 또한 직선적으로 증가하였다. 당첨가에 의한 MSG의 분해 촉진 효과는 pH5에서의 경우가 pH4보다 더 많음이 증명되었다.

• Parasites, Hosts and Diseases
• /
• 제21권2호
• /
• pp.209-218
• /
• 1983

간흡충(Clonorchis sinensis) 각기관의 미세구조와 그 기능에 관하여는 이제까지 많은 연구결과가 발표되어 왔으나 Laurer's canal에 대해서는 그 구조와 기능에 관하여 별로 보고된 바 없었으므로 저자는 이의 기능을 간접적으로 증명할 각종증거를 수집하기 위하여 광학현미경을 비롯하여 투사전자현미경 및 주사전자현미경을 이용하여 정자 및 난자의 주된 통로가 되는 수정낭, 정자관, 대수정관, 자궁 및 Laurer's canal 등을 면밀히 관찰하였다. 그 결과 자궁내에서도 부위에 따라 간욕적으로 정자가 관소되는 예는 있었으나 여러가지 정황으로 보아 자관이 정자의 주된 통로가 되지 않는다는 것은 명확한 사실이라 하겠다. 그렇다면 가능한 결론은 대량으로 생산 ·사정되는 정자들이 수정란에 도달하는 통로는 유일하게 Laurer's canal 뿐이라는 것이다. 이제까지의 관찰에 의하면 Laurer's canal은 잘 발달된 환상승섬유로 둘러싸여져 있으며 관내의 상피조직은 모종의 분필기능을 가지고 있는 것으로 사료되나 이에 관하여는 추후 자세한 연구가 요구되고 있다고 하겠다.

• 전자공학회논문지SC
• /
• 제43권6호
• /
• pp.27-32
• /
• 2006

전기 저항식 습도 센서를 이용하여 온도 보상된 습도계를 개발하였다. 개발된 습도계는 사인파 발생기, 대수 변환기, 정류기, 그리고 증폭기로 구성되며, 사용된 센서의 선형화와 온도 보상을 수행한다. 습도계의 동작 원리를 제시하였고, 실험 결과들을 이용하여 이론적인 예측의 타당성을 증명하였다. 실험 결과는 습도계의 변환 감도가 약 24.8 mV/%RH이고 변환 특성의 선형 오차가 30에서 80 %RH의 상대습도 범위에서 17.2 %보다 작다는 것을 보여준다. 실험 결과는 또, 출력 전압의 온도 계수가 22에서 $40^{\circ}C$의 온도 범위에서 $10149ppm/^{\circ}C$ 이하라는 것을 보여준다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2000년도 춘계학술대회 학술발표 논문집
• /
• pp.245-248
• /
• 2000

본 논문에서는 강화 학습 개념을 도입하여 자율이동 로봇의 성능을 개선하고자 한다. 본 논문에서 사용되는 시스템은 크게 두 부분으로 나눌 수가 있다. 즉, 뉴럴 퍼지 부분과 동적귀환 신경회로망이다. 뉴럴 퍼지 부분은 로봇의 다음 행동을 결정하는 부분이다. 또한 동적귀환 신경회로망으로부터 내부 강화 신호를 받아 학습을 하여 최적의 행동을 결정하게 된다. 동적 귀환신경회로망은 환경으로부터 외부 강화신호를 입력으로 받아 뉴럴 퍼지의 행동결정에 대해 평가를 한다. 또한 내부강화 신호 값을 결정하는 동적 귀환 신경회로망의 웨이트는 유전자 알고리즘에 의해 진화를 한다. 제안한 알고리즘 구조를 컴퓨터 시뮬레이션상에서 자율 이동 로봇의 제어에 적용을 함으로서 그 유효성을 증명하고자 한다.