https://capstone.uos.ac.kr/cdc/index.php?action=history&feed=atom&title=%EC%9C%A4%EC%83%81%ED%98%B8%EC%A1%B0
윤상호조 - 편집 역사
2026-04-10T23:48:27Z
이 문서의 편집 역사
MediaWiki 1.28.2
https://capstone.uos.ac.kr/cdc/index.php?title=%EC%9C%A4%EC%83%81%ED%98%B8%EC%A1%B0&diff=2003&oldid=prev
2019년 6월 26일 (수) 16:35에 윤상호님의 편집
2019-06-26T16:35:29Z
<p></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;' lang='ko'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← 이전 판</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">2019년 6월 26일 (수) 16:35 판</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l184" >184번째 줄:</td>
<td colspan="2" class="diff-lineno">184번째 줄:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>===상세설계 내용===</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>===상세설계 내용===</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">내용</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">* 브로드캐스트 프로토콜</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">브로드캐스트 프로토콜은 일반적으로 여러 프로세스로 구성되며, 그 중 특정 프로세스 하나가 프로토콜에 참여하는 다른 프로세스들에게 메시지를 전달하는 구조이다. 원자적(atomic) 브로드캐스트 프로토콜이란 전달되는 메시지가 모든 프로세스에게 전달되거나 아예 전달되지 않는다는 성질을 보장하는 프로토콜을 의미한다.\cite{tap}</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">* 트랜잭션</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">트랜잭션이란 브로드캐스트를 통해 전파되는 상태의 변화 하나를 의미한다. 트랜잭션 <v, z>는 두 개의 원소로 이루어진 튜플이다. v는 트랜잭션을 통해 전파되는 값을 나타내며 z는 트랜잭션 식별자(zxid)를 의미한다. 트랜잭션 식별자는 <e, c>로 정의되며 e는 epoch을 의미하고 c는 카운터를 의미한다. 두 트랜잭션 식별자 $z = <v, <e, c>>, $z' = <v', <e', c'>>는 비교가 가능하며 z < z'일 경우 e < e'이거나 e = e' & c < c'임을 의미하며 z가 z'를 선행한다라고 표현한다.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">* Quorum</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">다수의 프로세스로 이루어진 시스템이 하나의 값을 결정한다는 것은 과반수 이상의 프로세스가 동일한 값을 가진다는 것을 의미하고 이 때 과반수 이상의 프로세스의 집합을 quorum이라 정의한다. PlusCal의 모델에서는 toLeader, toFollower변수와 같이 전역 변수로써 설정되고 정의는 quorum = 1..N \ {loracle}로 정의해 리더 프로세스를 제외한 follower 프로세스 전체로 모델링하고 있다.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">* Request의 개수 크기</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">ZAB의 트랜잭션은 시스템 사용자의 요청에 의해서 발생하기에 ZAB을 모델링하기 위해선 시스템 사용자의 요청을 모델링 할 필요가 있다. 이 명세에서는 프로세스의 개수 $N$과 비슷하게 사용자 요청의 개수 R이라는 모델 값을 만들고 파라미터로써 설정하는 방식을 선택한 후 PlusCal에서 R의 크기 만큼의 사용자 요청을 처리하는 형태로 프로토콜을 모델링했다.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">* 프로토콜 페이즈</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">각각의 프로세스는 한 번에 하나의 페이즈를 실행하며 프로세스가 실행 중 down process가 되어 다시 시작될 경우 현재의 페이즈를 포기하고 첫 번째 페이즈부터 다시 시작할 수 있다. 리더의 역할을 수행 중인 프로세스일 경우 Follower의 역할도 동시에 수행되게 된다. 프로토콜을 이루는 3개의 페이즈는 발견, 동기화, 브로드캐스트이며 PlusCal로의 모델링은 각각의 프로세스에서의 분기를 통한 결정 방식을 사용한다.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline"><pre></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">CONSTANTS N</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">process (Peer \in 1..N)</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">    variables requests = 0,</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">              history = << >>,</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">              last_zxid = -1,</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">              accepted_epoch = -1,</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">              current_epoch = -1;</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">{</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">    p1: while (requests < R) {</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">          if (self = loracle) {</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">                if (phase[self] = 1) {</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">                    (* Execute leader phase 1 *)</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">                } else if (phase[self] = 2) {</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">                    (* Execute leader phase 2 *)</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">                } else if (phase[self] = 3) {</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">                    (* Execute leader phase 3 *)</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">                }</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">          } else {</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">                if (phase[self] = 1) {</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">                    (* Execute follower phase 1 *)</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">                } else if (phase[self] = 2) {</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">                    (* Execute follower phase 2 *)</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">                } else if (phase[self] = 3) {</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">                    (* Execute follower phase 3 *)</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">                }</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">        }</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">  }</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">}</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline"></pre></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">history, last_zxid, accepted_epoch, current_epoch 변수는 프로세스의 지역 변수이고 request는 개별 프로세스가 자신이 현재 몇 번째 유저 요청을 처리하고 있는지를 나타내는 변수이다. 총 R개의 유저 요청이 처리되었을 경우 프로세스는 종료되게 된다.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">* 프로토콜 속성</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">ZAB이 원자적 브로드캐스트 프로토콜이기 위해서는 아래의 네 가지 성질을 만족해야 한다.<ref>Medeiros, André. "ZooKeeper’s atomic broadcast protocol: Theory and practice." Aalto University School of Science 20 (2012).</ref></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">** Validity: 올바른 프로세스가 메시지를 전달한다면 모든 올바른 프로세스는 해당 메시지를 언젠가는 전달받는다.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">** Agreement: 어떤 프로세스 p<sub>1</sub>이 <v,z>을 전달받았고 다른 프로세스 p<sub>2</sub>가 <v',z'>을 전달받았다면 p<sub>1</sub>이 <v',z'>을 전달받거나 p<sub>2</sub>가 <v,z>을 전달받는다.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">** Integrity: 어떤 메시지 m의 발신자를 s라 하면 모든 프로세스는 m을 최대 한 번 전달받는다.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">** Total Order: 어떤 프로세스 p와 q가 두 개의 메시지 m, m'을 전달 받았을 경우, p가 m' 보다 전에 m을 전달 받았다면 q도 m' 보다 전에 m을 전달받아야 하며 반대의 경우도 마찬가지이다.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">* 프로토콜 속성의 TLA+ 표현</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">** Agreement: 기본 아이디어는 먼저 임의의 두 프로세스 p<sub>1</sub>, p<sub>2</sub>의 history에서 서로 다른 두 개의 트랜잭션 쌍 <t<sub>1</sub>, t<sub>2</sub>>을 찾은 다음 t<sub>1</sub>이 p<sub>2</sub>의 history에 속해있거나 t<sub>2</sub>가 p<sub>1</sub>의 history에 속해있는지를 확인하는 것이며 TLA+ 식으로 나타내면 다음과 같다.  $\forall x,y \in quorum : Len(history[x]) > 0 \land Len(history[y]) > 0 \Rightarrow (\forall i \in 1..Len(history[x]), j \in 1..Len(history[y]) : history[x][i] /= history[y][j] \Rightarrow (\exists ix \in 1..Len(history[x]) : history[x][ix] = history[y][j]) \lor (\exists jy \in 1..Len(history[y]) : history[y][jy] = history[x][i])) $</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">** Total Order: 두 개 이상의 트랜잭션($t_1, t_2, ...$)을 가지고 있는 $history$를 가진 프로세스를 찾은 후 $t_2$를 $history$에 포함하고 있는 프로세스들이 $t_1$도 가지고 있는지를 확인하면 되며 TLA+ 식으로 나타내면 다음과 같다. $\forall q \in quorum : Len(history[q]) > 1 => \forall i,j \in 1..Len(history[q]) : i > j  \Rightarrow \forall q2 \in quorum : (\forall iq2 \in 1..Len(history[q2]) : history[q2][iq2] = history[q][i] => \exists jq2 \in 1..iq2-1 : history[q2][jq2] = history[q][j])$</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">** Validity: $quorum$에서 가장 작은 수로 표현되는 프로세스를 $s$라 하면 $s$의 $history$가 언젠가는 유저 요청의 수 만큼 늘어나게 된다는 사실과 이 늘어난 $history$를 $quorum \setminus \{s\}$도 동일하게 가지고 있다는 사실을  TLA+로 표현하면 다음과 같다. $LET\ s = CHOOSE\ x \in quorum : \forall q \in quorum \ \{x\} : x < q IN \langle\rangle(Len(history[s]) = requests \land \forall q \in quorum \ \{s\} : history[q] = history[s])$</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">** Integrity:  ZAB 프로토콜은 리더 프로세스만 PROPOSE 메시지를 보낼 수 있고 ZAB이 사용하는 채널 모델인 TCP의 integrity속성 때문에 보내진 메시지만 받을 수 있다는 사실로부터 Integrity 속성을 자명하게 도출해낼 수 있기에 따로 표현하지 않았다.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>==결과 및 평가==</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>==결과 및 평가==</div></td></tr>
<tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l190" >190번째 줄:</td>
<td colspan="2" class="diff-lineno">256번째 줄:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>====프로토타입 사진 혹은 작동 장면====</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>====프로토타입 사진 혹은 작동 장면====</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* TLA+ ToolBox 첫 실행 화면</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">[[파일:tla1.png]]</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* ZAB 명세 생성 팝업 창</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">[[파일:tla2.png]]</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* ZAB 모델 설정 화면</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">[[파일:tla3.png]]</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* ZAB 모델 체킹 결과</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">[[파일:tla4.png]]</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>===완료작품의 평가 및 향후계획 ===</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>===완료작품의 평가 및 향후계획 ===</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>분산 시스템이 따라야 하는 프로토콜은 설계하기 까다롭고 단일 시스템에 비해 버그가 발생할 수 있는 여지가 많다는 것은 잘 알려져있다. 이 논문에서는 산업계에서 널리 사용되고 있는 원자적 브로드캐스트 프로토콜인 ZooKeeper Atomic Broadcast를 TLA+라는 형식 언어를 통해 모델링하고 이 프로토콜이 지켜야 하는 4가지 속성도 마찬가지로 TLA+로 작성하여 기존의 연구에서 이루어졌던 손을 통한 증명을 기계적으로 검증 가능한 형태로 바꾸었다. 프로토콜은 4개의 프로세스, 5개의 프로세스로 구성된 모델에서 성공적으로 속성을 만족했고 이를 통해 프로토콜의 설계에 버그가 없음을 재확인 할 수 있었다. 이 작업을 바탕으로 이 후에는 명세를 발전시켜 fault-model을 만들고 정상적으로 동작하지 않는 프로세스가 존재할 때의 프로토콜이 속성을 지키는지에 대한 확인과 실제 구현에서 사용되고 있는 Fast Leader Election 프로토콜\cite{tap}에 대한 명세를 통해 존재하는 증명<ref>Junqueira, F. P., B. C. Reed, and Marco Serafini. "Dissecting zab." Tech. Rep. YL-2010–007, 12. Yahoo! Research, 2010.</ref>과 불일치되는 실제 구현과의 간극을 메우는 일도 생각해 볼 수 있을 것이다.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>분산 시스템이 따라야 하는 프로토콜은 설계하기 까다롭고 단일 시스템에 비해 버그가 발생할 수 있는 여지가 많다는 것은 잘 알려져있다. 이 논문에서는 산업계에서 널리 사용되고 있는 원자적 브로드캐스트 프로토콜인 ZooKeeper Atomic Broadcast를 TLA+라는 형식 언어를 통해 모델링하고 이 프로토콜이 지켜야 하는 4가지 속성도 마찬가지로 TLA+로 작성하여 기존의 연구에서 이루어졌던 손을 통한 증명을 기계적으로 검증 가능한 형태로 바꾸었다. 프로토콜은 4개의 프로세스, 5개의 프로세스로 구성된 모델에서 성공적으로 속성을 만족했고 이를 통해 프로토콜의 설계에 버그가 없음을 재확인 할 수 있었다. 이 작업을 바탕으로 이 후에는 명세를 발전시켜 fault-model을 만들고 정상적으로 동작하지 않는 프로세스가 존재할 때의 프로토콜이 속성을 지키는지에 대한 확인과 실제 구현에서 사용되고 있는 Fast Leader Election 프로토콜\cite{tap}에 대한 명세를 통해 존재하는 증명<ref>Junqueira, F. P., B. C. Reed, and Marco Serafini. "Dissecting zab." Tech. Rep. YL-2010–007, 12. Yahoo! Research, 2010.</ref>과 불일치되는 실제 구현과의 간극을 메우는 일도 생각해 볼 수 있을 것이다.</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">===특허 출원 내용===</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">내용</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>===참고 자료===</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>===참고 자료===</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div><references /></div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div><references /></div></td></tr>
</table>
윤상호
https://capstone.uos.ac.kr/cdc/index.php?title=%EC%9C%A4%EC%83%81%ED%98%B8%EC%A1%B0&diff=1994&oldid=prev
2019년 6월 26일 (수) 16:06에 윤상호님의 편집
2019-06-26T16:06:53Z
<p></p>
<a href="https://capstone.uos.ac.kr/cdc/index.php?title=%EC%9C%A4%EC%83%81%ED%98%B8%EC%A1%B0&diff=1994&oldid=1166">차이 보기</a>
윤상호
https://capstone.uos.ac.kr/cdc/index.php?title=%EC%9C%A4%EC%83%81%ED%98%B8%EC%A1%B0&diff=1166&oldid=prev
상스치콤: 새 문서: <div>__TOC__</div> ==프로젝트 개요== === 기술개발 과제 === ''' 국문 : ''' 00000000.. ''' 영문 : ''' 00000000.. ===과제 팀명=== 00000.. ===지도교수=== 000...
2019-06-11T07:14:09Z
<p>새 문서: <div>__TOC__</div> ==프로젝트 개요== === 기술개발 과제 === ''' 국문 : ''' 00000000.. ''' 영문 : ''' 00000000.. ===과제 팀명=== 00000.. ===지도교수=== 000...</p>
<p><b>새 문서</b></p><div><div>__TOC__</div><br />
<br />
==프로젝트 개요==<br />
=== 기술개발 과제 ===<br />
''' 국문 : ''' 00000000..<br />
<br />
''' 영문 : ''' 00000000..<br />
<br />
===과제 팀명===<br />
00000..<br />
<br />
===지도교수===<br />
000 교수님<br />
<br />
===개발기간===<br />
2019년 3월 ~ 2019년 6월 (총 4개월)<br />
<br />
===구성원 소개===<br />
서울시립대학교 ㅁㅁ공학부·과 2011XXX0** 김**(팀장)<br />
<br />
서울시립대학교 ㅁㅁ공학부·과 2011XXX0** 정**<br />
<br />
서울시립대학교 ㅁㅁ공학부·과 2011XXX0** 조**<br />
<br />
서울시립대학교 ㅁㅁ공학부·과 2011XXX0** 이**<br />
<br />
서울시립대학교 ㅁㅁ공학부·과 2011XXX0** 남**<br />
<br />
==서론==<br />
===개발 과제의 개요===<br />
====개발 과제 요약====<br />
내용<br />
====개발 과제의 배경====<br />
내용<br />
====개발 과제의 목표 및 내용====<br />
내용<br />
<br />
===관련 기술의 현황===<br />
====관련 기술의 현황 및 분석(State of art)====<br />
*전 세계적인 기술현황<br />
내용<br />
*특허조사 및 특허 전략 분석<br />
내용<br />
*기술 로드맵<br />
내용<br />
<br />
====시장상황에 대한 분석====<br />
*경쟁제품 조사 비교<br />
내용<br />
*마케팅 전략 제시<br />
내용<br />
<br />
===개발과제의 기대효과===<br />
====기술적 기대효과====<br />
내용<br />
====경제적, 사회적 기대 및 파급효과====<br />
내용<br />
<br />
===기술개발 일정 및 추진체계===<br />
====개발 일정====<br />
내용<br />
====구성원 및 추진체계====<br />
내용<br />
<br />
==설계==<br />
===설계사양===<br />
====제품의 요구사항====<br />
내용<br />
====설계 사양====<br />
내용<br />
<br />
===개념설계안===<br />
내용<br />
<br />
===이론적 계산 및 시뮬레이션===<br />
내용<br />
<br />
===상세설계 내용===<br />
내용<br />
<br />
==결과 및 평가==<br />
===완료 작품의 소개===<br />
====프로토타입 사진 혹은 작동 장면====<br />
내용<br />
====포스터====<br />
내용<br />
<br />
===관련사업비 내역서===<br />
내용<br />
<br />
===완료작품의 평가===<br />
내용<br />
<br />
===향후계획===<br />
내용<br />
<br />
===특허 출원 내용===<br />
내용</div>
상스치콤