• 한국빅데이터학회지
• /
• 제7권1호
• /
• pp.1-14
• /
• 2022

대부분의 블록체인이 사용하는 작업증명 합의 알고리즘은 채굴이라는 형태로 대규모의 컴퓨팅리소스 낭비를 초래하고 있다. 작업증명의 컴퓨팅리소스 낭비를 줄이기 위해 유용한 작업증명 합의 알고리즘이 연구 되었으나 여전히 블록 생성 시 리소스 낭비와 채굴의 중앙화 문제가 존재한다. 본 논문에서는 블록생성을 위한 상대적으로 비효율적인 연산 과정을 분산 인공지능 모델 학습으로 대체하여 블록생성 시 리소스 낭비문제를 해결하였다. 또한 학습 과정에 참여한 노드들에게 공평한 보상을 제공함으로써 컴퓨팅파워가 약한 노드의 참여 동기를 부여했고, 기존 중앙 집중 인공지능 학습 방식에 근사한 성능은 유지하였다. 제안된 방법론의 타당성을 보이기 위해 분산 인공지능 학습이 가능한 블록체인 네트워크를 구현하여 리소스 검증을 통한 보상 분배를 실험 하였고, 기존 중앙 학습 방식과 블록체인 분산 인공지능 학습 방식의 결과를 비교하였다. 또한 향후 연구로 블록체인 메인넷과 인공지능 모델 확장 시 발생 할 수 있는 문제점과 개발 방향성을 제시함으로서 논문을 마무리 하였다.

• 전기전자학회논문지
• /
• 제19권4호
• /
• pp.520-525
• /
• 2015

본 논문은 통신 지연이 존재하는 고차적분기 시스템의 일치문제를 다룬다. 리카티 방정식 기반의 제어기법과 시간지연의 효과를 제거해주는 부가적인 설계변수를 도입함으로써 임의로 큰 통신 지연이 존재하는 경우에도 일치 문제를 해결할 수 있음을 증명한다. 또한, 단지 하나의 변수만 설계하면 되기 때문에 기존의 설계 방법에 비하여 매우 간단하고 제어기의 존재성이 통신지연의 크기에 의존하지 않는다는 장점을 가진다.

• 한국정보처리학회논문지
• /
• 제6권11호
• /
• pp.2981-2988
• /
• 1999

연역데이터베이스는 외연적 데이터베이스인 사실들의 집합과 내포적 데이터베이스인 규칙들의 집합으로 구성된다. 이 규칙들을 계산하기 어렵기 때문에 규칙을 병렬로 계산하기 위한 많은 알고리즘들을 연구해 왔으나 만족스런 결과를 얻지 못하 였다 이 논문에서는 이행적 종속성을 가지는 선형적 재귀 규칙의 증명-이론적 의미를 비공유 병렬구조를 이용하여 효율적 으로 계산하는 새로운 방법을 제안한다 먼저 선형적 재귀규칙을 위한 둥가의 표현식이 존재함을 증명하고, 이 표현식을 근 거하여 선형적 재귀규칙을 계산하기 위한 알고리즘을 고안하며, 마지막으로 제안된 알고리즘의 성능을 분석한다

• 한국정보과학회논문지:정보통신
• /
• 제28권4호
• /
• pp.508-516
• /
• 2001

본 논문에서는 VOD(Video On Demand)나 실시간 방송 데이타 전송과 같은 비상호적 멀티미디어 응용을 위한 멀티캐스트 라우팅 알고리즘을 제안한다. 비상호적 멀티미디어 응용에서는 송신자가 다수로 존재할 수 있다. 송신자가 다수로 존재할 때 적용할 수 있는 멀티캐스트 라우팅 알고리즘을 설계하고 기존의 단 하나의 송신자가 존재할 때와 비교하여 지연 시간 및 비용 측면에서 현저한 성능향상을 가져올 수 있음을 실험적으로 증명한다. 제안된 알고리즘의 성능 검증을 위해 광역 ATM(Asynchronous Transfer Mode)네트워크를 모델링하고 모의 실험을 수행하였다. 모의 실험 결과 다양한 네트워크 환경하에서 다수의 송신자 존재시 하나의 송신자만 존재할 때와 비교하여 현저한 성능향상을 보였다.

• 한국연초학회지
• /
• 제32권1호
• /
• pp.41-54
• /
• 2010

담배 주류연은 수천가지 종류의 다양한 형태의 화학물질로 구성되어있고, 이들 화학물질의 대부분은 극히 미량의 농도로 존재하는 것으로 알려져 있다(Green and Rodgman, 1996). 담배연기 속에서 발암물질로서는 poly cyclic aromatic hydrycarbon (PAHs) 류인 B(a)P를 최초로 보고된 이후, 현재까지 69종의 화합물이 담배연기중의 발암물질로서 알려졌으며, 여기에는 9종의 PAHs 그리고 4종의 aromatic amine, nitrosoamines 및 aldehydes 그리고 다른 무기 및 유기 화합물들을 포함된다. 또한 담배 주류연에는 여러 화학물질들에 의해 유발된 생물학적 독성을 상당히 감소시키는 것으로 확인된 성분들이 존재하는 것으로 알려져 있다. 이러한 담배연기 중에 존재하는 항 발암성 효과를 나타내는 성분들의 작용 메카니즘은 발암성 물질 또는 발암성 물질의 대사산물들과 반응을 하거나, 불활성화 시키거나, 세포 구성 물질들과의 반응에서 서로 경쟁하거나, 또는 발암성의 흡수를 간섭함으로서 발암성 효과를 없애거나 또는 감소시키는 것으로 생각된다. 여러 연구자들은 담배연기 응축물에서 종양 성장의 억제 작용을 하는 성분들이 존재하는 것으로 주장 하고 있다.(Hoffmann and Griffin, 1958; Fall et al., 1964; Homburger and Tregier, 1965). 담배 연기 중에는 발암성을 나타내는 성분들과 함께 항 발암성 및 항 돌연변이성 효과를 나타내는 성분들이 존재한다는 것이 다양한 생물학적 평가 연구들에 의해 증명되었다(Slaga and DiGivanni, 1984; Fay et al., 1984; Green and Rodgman, 1996).

• 재무관리논총
• /
• 제8권1호
• /
• pp.77-98
• /
• 2002

본 연구는 MM(1963)에 의하여 시작된 기존의 기업가치와 자본구조에 대한 연구 방법과는 달리, Rao(1987), Howe(1995), Brealey-Myers(1996)등을 중심으로 시도되어 온 시장가치 대차대조표(MVB/S)를 이용한 기업가치와 자본비용의 통합적 분석방법을 소개하였다. 그리고 MM(1963)에 가정을 추가함으로써 변형된 기업가치 모형과 자본비용에 대한 연구방법을 시도한 Modigliani(1988), Miles-Ezzell(1980)와 Taggart(1991)의 연구가 MVB/S를 이용하여도 동일하게 적용할 수 있음을 증명하였다. 따라서 본 연구는 MM(1963)의 명제들로부터 유도되는 관계식인 가중평균자본비용과 무부채기업의 자기자본비용과의 관계(MM명제III)와 부채사용기업의 자기자본 비용과 무부채기업의 자기자본비용과의 관계(MM명제II)를 Modigliani(1988), Miles-Ezzell(1980)와 Taggart(1991)의 가정하에서 MVB/S를 이용하여 각각 유도하였다. 그리고 MVB/S를 이용하여 유도된 자본비용들간의 제관계식이 이들의 연구결과와 동일함을 증명하였다. 나아가 개인소득세가 존재할 경우에 무위험주식의 도입을 통하여 기업가치모형을 유도하고 이를 바탕으로 자본비용들간의 제관계식을 유도하고 아울러 베타분석도 실시하였다.

• 정보보호학회지
• /
• 제28권3호
• /
• pp.18-25
• /
• 2018

최근 블록체인 기술을 응용한 가상화폐에 대한 관심이 높아지면서 자본금이 많지 않은 사람들도 블록체인 네트워크에 참여하기 시작했다. 가장 유명한 가상화폐인 비트코인이 채택한 PoW 방식은 고성능 하드웨어의 과열된 열풍을 불어왔고 PoS 방식은 기존 지분이 많은 참여자들이 많이 존재하여 소수의 자본금을 가진 신규 참여자들이 네트워크에 새로 참여하기 어려운 환경이다. 따라서 본 논문에서는 기존 블록체인 증명방식인 PoW, PoS 방식보다 네트워크 참여를 위한 자본금이 적고 신규로 참여하더라도 리스크가 적은 PoP(Proof-of-Probability) 방식을 소개한다. PoP 방식은 블록을 생성할 시 실제 암호화된 해쉬와 수많은 가짜 해쉬를 각 노드들이 정렬하여 진짜 해쉬를 복호화하여 찾은 노드가 블록을 생성하는 방식이다. 또한 1개의 해쉬를 복호화하여 검증받을 때 1분의 대기시간을 두어 과열된 컴퓨팅파워 경쟁을 제한한다. 지분(Stake)이 많을수록 블록을 생성할 확률은 높아지지만 이는 PoS 방식처럼 절대적이지 않다. 이 방식을 이용한다면 지분을 많이 가진 유효성 검증자(Validators)에 의한 집중화를 피하며 블록체인 네트워크에 참여하려는 진입장벽도 낮출 수 있을 것 이다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2003년도 추계학술발표대회(하)
• /
• pp.707-710
• /
• 2003

인터넷은 전 세계를 연결하는 매체로서, 그 사용자가 매년 폭발적으로 증가하고 있다. 이러한 인터넷 사용자간의 자료 교환 수단으로서 전자우편은 표준이라 말할 수 있을 만큼 많이 사용되고 있다. 일반 편지에서부터 상업광고 목적의 전자우편에 이르기까지 다양한 분야에서 사용되고 있다. 하지만 이러한 전자우편에도 많은 문제가 존재한다. 기존의 전자우편은 간단한 방법으로 내용을 열람하거나 변조할 수 있어 중요한 정보나 사생활 노출의 위험에서 벗어날 수 없다. 이러한 데이터에 대한 보안이 기대에 미치지 못하고 있기 때문에 암호학적으로 강력한 전자우편 시스템의 개발이 시급하다 본 논문에서는 기본적인 정보보호 서비스 외에 기존의 전자우편 시스템에서는 제공되지 않는 배달 증명 및 내용 증명 기능을 제공하고 자바 암호 API를 사용하여 안전한 키 교환이 가능하도록 하였다.

• 전기전자학회논문지
• /
• 제17권1호
• /
• pp.83-88
• /
• 2013

본 논문에서는 입력과 출력에 동시에 시간 지연이 존재하는 피드포워드 비선형시스템에 대한 출력 피드백 제어 방법을 제안한다. 제안한 출력 피드백 제어기는 선형관측기와 선형제어기로 구성된다. Lyapunov-Krasovskii 정리를 이용하여 임의의 크기를 갖는 시간지연에 대하여 전역적 점근 안정도를 보장함을 증명한다. 마지막으로 제안한 결과의 유효성을 증명하기 위하여 모의실험 예제를 제공한다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제22권4호
• /
• pp.545-556
• /
• 2008

삼각형은 가장 단순한 기하학적 도형이지만, 기하학 탐구에서 삼각형은 훌륭한 연구 대상이며 후속적인 기하학 연구의 중요한 도구라고 할 수 있다. 본 연구에서는 지렛대 원리를 이용하여 삼각형의 Gergonne 점과 Gergonne 점의 딸림점들의 존재성, Gergonne 점에 관련된 등식을 증명하였고, Gergonne 점의 딸림점들에 대한 새로운 등식을 증명하였다.