• Title/Summary/Keyword: 존재 증명

Search Result 529, Processing Time 0.023 seconds

Distributed AI Learning-based Proof-of-Work Consensus Algorithm (분산 인공지능 학습 기반 작업증명 합의알고리즘)

  • Won-Boo Chae;Jong-Sou Park
    • The Journal of Bigdata
    • /
    • v.7 no.1
    • /
    • pp.1-14
    • /
    • 2022
  • The proof-of-work consensus algorithm used by most blockchains is causing a massive waste of computing resources in the form of mining. A useful proof-of-work consensus algorithm has been studied to reduce the waste of computing resources in proof-of-work, but there are still resource waste and mining centralization problems when creating blocks. In this paper, the problem of resource waste in block generation was solved by replacing the relatively inefficient computation process for block generation with distributed artificial intelligence model learning. In addition, by providing fair rewards to nodes participating in the learning process, nodes with weak computing power were motivated to participate, and performance similar to the existing centralized AI learning method was maintained. To show the validity of the proposed methodology, we implemented a blockchain network capable of distributed AI learning and experimented with reward distribution through resource verification, and compared the results of the existing centralized learning method and the blockchain distributed AI learning method. In addition, as a future study, the thesis was concluded by suggesting problems and development directions that may occur when expanding the blockchain main network and artificial intelligence model.

Consensus of High-Order Integrators With a Communication Delay (통신 지연을 갖는 고차 적분기시스템의 일치)

  • Lee, Sungryul
    • Journal of IKEEE
    • /
    • v.19 no.4
    • /
    • pp.520-525
    • /
    • 2015
  • This paper investigates the consensus problem for high-order integrators with an arbitrary large communication delay. In order to solve this problem, new consensus controller with an additional design parameter that can eliminate the effect of a communication delay on the consensus problem is proposed. Also, it is proved that the proposed consensus controller can always solve the consensus problem of high-order integrators even in the presence of an arbitrarily large communication delay. Finally, an illustrative example is given in order to show the effectiveness of our design method.

An Efficient Evaluation of Proof-theoretic meaning for Normalized Recursive Rules using Shared-nothing Parallel Architecture (비공유 병렬구조를 이용한 정규화된 재귀규칙에 대한 증명-이론적 의미의 효율적 계산)

  • Cho, Woo-Hyun;Lee, Jong-Hee
    • The Transactions of the Korea Information Processing Society
    • /
    • v.6 no.11
    • /
    • pp.2981-2988
    • /
    • 1999
  • A deductive database consists of facts being the extensional database and rules being the intensional database. Because of the difficulty of evaluating rules, many parallel evaluation algorithms for rules have been presented. But we have not gotten an acceptable result. This paper proposes a new methodology to evaluate proof-theoretic meaning of the linear recursion rule which contains transitive dependency by using a shared-nothing parallel architecture. As first, we prove that there exists the equivalent expression for a linear recursion rule, design the algorithm for evaluating the linear recursion rule based on the equivalent expression, and finally analyse performance of the proposed algorithm.

  • PDF

Distributed Multicast Routing Algorithm for Non-Interactive Video/Audio Distribution (비상호적 비디오/오디오 분배를 위한 분산형 멀티캐스트 라우팅 알고리즘)

  • Yi, Yung;Lee, Young-Seok;Choi, Yang-Hee
    • Journal of KIISE:Information Networking
    • /
    • v.28 no.4
    • /
    • pp.508-516
    • /
    • 2001
  • This paper proposes multicast routing algorithm that operates for non-interactive multimedia applications such as VOD(Video On Demand) and real-time data broadcasting. It is possible that there exist multiple senders in non-interactive multimedia applications. This paper designs multicast routing algorithm in this environment. The simulation of algorithm proposed in this paper shows much better performancetcost, delay) than that of only one source. To guarantee the performance of algorithm, Broadband ATM network is modelled in simulation.

  • PDF

Biological active components in cigarette mainstream smoke (담배연기 중 생물학적 활성 성분)

  • Shin, Han-Jae
    • Journal of the Korean Society of Tobacco Science
    • /
    • v.32 no.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).

시장가치 대차대조표를 이용한 자본비용과 베타분석

  • Gu, Bon-Yeol
    • The Korean Journal of Financial Studies
    • /
    • v.8 no.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를 이용하여 유도된 자본비용들간의 제관계식이 이들의 연구결과와 동일함을 증명하였다. 나아가 개인소득세가 존재할 경우에 무위험주식의 도입을 통하여 기업가치모형을 유도하고 이를 바탕으로 자본비용들간의 제관계식을 유도하고 아울러 베타분석도 실시하였다.

  • PDF

신규 참여자의 형평성 향상을 위한 블록체인에서의 새로운 증명 방식 연구: Proof-of-Probability

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

Study on Research of Secure Crypto System Using a ECC Crypto System (ECC 암호시스템을 활용한 강력한 암호시스템의 구축 및 사례연구)

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

  • PDF

Output Feedback Control for Feedforward Nonlinear Systems with Time Delay (시간지연을 갖는 피드포워드 비선형시스템의 출력 피드백 제어)

  • Lee, Sungryul
    • Journal of IKEEE
    • /
    • v.17 no.1
    • /
    • pp.83-88
    • /
    • 2013
  • This paper presents the output feedback control design for feedforward nonlinear systems with input and output delay. The proposed output feedback controller is composed of a linear observer and a linear controller. It is shown that by using Lyapunov-Krasovskii theorem, the proposed controller ensures a global asymptotic stability for arbitrarily large delay. Finally, an illustrative example is given in order to show the effectiveness of our design method.

A Study on Gergonne's Point and Its Adjoint Points of Triangle Using the Principle of the Lever (지렛대 원리를 이용한 삼각형의 Gergonne점과 딸림점에 대한 연구)

  • Han, In-Ki
    • Communications of Mathematical Education
    • /
    • v.22 no.4
    • /
    • pp.545-556
    • /
    • 2008
  • In this paper we study Gergonne's point and its adjoint points of triangle using the principle of the lever. We prove existence of Gergonne's point and its adjoint points, suggest new proof method of a equality related with Gergonne's point. We find new equalities related with adjoint points of Gergonne's points, and prove these using the principle of the lever.

  • PDF