• Proceedings of the Korea Water Resources Association Conference
• /
• 2020.06a
• /
• pp.89-89
• /
• 2020

본 연구에서는 GPU 가속화 기반의 Boussinesq 모형인 Celeris Advecnt에 수심 적분된 2차원 이송-확산방정식을 추가하여 인터렉티브 시스템 기반의 추적자 이동 모형을 개발하였다. Celeris Advent는 최초로 개발된 인터렉티브 시스템을 갖춘 Boussinesq 모형으로, 시뮬레이션 중에 사용자가 모형의 파라미터뿐 아니라 모델 도메인 내 수위 및 수심을 바꿀 수 있다. 이를 통해 사용자는 모의가 진행되는 도중에 모델의 안정성 및 효율성을 위해 시간 간격을 조정할 수 있을 뿐 아니라 방파제 설치 등과 같은 지형 변화를 고려하기 위해 도메인 내 격자별 수심을 조정할 수 있다. 본 연구에서는 연안에서의 추적자 이동 모의를 위해 Boussinesq 방정식과 더불어 이송-확산방정식을 풀이하는 추적자 이동 모형을 개발하였다. 추적자의 확산항의 경우 분자 자체의 확산과 더불어 쇄파에 따른 난류 확산을 고려하였다. 난류 확산계수는 슈미트 수를 1로 두어 와동점성계수와 동일하게 두었으며, 와동점성은 단순화된 형태의 쇄파모형을 고려하여 계산하였다. 쇄파모형의 고려로 인해 이송-확산방정식과 더불어 운동량 방정식에서도 쇄파에 따른 운동량 소산이 고려되었다. 마지막으로, 추적자 농도에 대한 인터렉티브 시스템을 추가하여, 모델 구동 중에도 사용자가 수심적분된 추적자 농도를 조정할 수 있도록 하였다. 기수행된 2개의 수리실험 조건과 관측값을 이용하여 벤치마크 테스트를 수행하였으며, 관측값과 대체로 일치하는 것을 확인하였다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2009.05a
• /
• pp.1971-1973
• /
• 2009

본 연구에서는 하천에 유입된 오염물질의 거동 및 확산 특성을 파악하기 위하여 하천에서 추적자를 이용한 현장실험을 실시하였으며, 실험구간은 경상북도 경주시 에 위치한 하천으로 총 길이 2km, 평균폭 25m로 이루어진 대종천이다. 현장실험에서의 추적자 실험결과를 수치모형과 비교하기 위해 2차원 수심적분 모형인 RMA2, RMA4를 이용하였다. 2차원 동수역학적인 모형인 RMA2를 사용하여 흐름장을 모의한 후 계산결과를 2차원 수질모형인 RMA4에 입력하여 농도자료를 모의하였으며 상 하류단의 경계조건은 현장 실험시 실측한 상류단의 유량과 하류단의 수위를 적용하였다. 실측한 자료를 경계조건으로 모형에 적용하여 시간에 따른 농도값을 계산하였으며, 그 계산값을 추적자의 농도 관측값과 비교하였다. 계산결과는 서로 잘 일치하였다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.22 no.6
• /
• pp.1231-1242
• /
• 2012

Traitor tracing schemes deter traitors from sharing their private keys by tracing at least one of the subscribers who were implicated in the construction of a pirate decoder. In general, it is assumed that the system manager in the scheme generates and distributes the subscribers' private key. But if the system manager knows the subscribers' private keys, he cannot convince a third party of a certain subscriber's piracy. To solve this problem, the system manager should not know the whole parts of subscribers' private keys and this leads to researches of asymmetric schemes. Moreover for the purpose of enhancing subscribers' privacy, there were two proposals of introducing anonymity onto asymmetric traitor tracing schemes, but one of them turned out to be a failure. In this paper, we point out that the other proposal also has flaws. We consider how to introduce anonymity to traitor tracing schemes, as a result, we suggest a new framework which is practical. We also construct a scheme by using an anonymous credential system and an asymmetric traitor tracing scheme. We prove the security of our scheme and consider the typical applications.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2021.06a
• /
• pp.200-200
• /
• 2021

하천은 용수공급, 관개, 친수활동, 산업활동 등 인간의 활동에 중요한 역할을 한다. 이에 따라 수질관리는 필수적이며 유기물, 중금속, 화학물질 등의 용존물질들은 수질문제에 직접적으로 영향을 미친다. 따라서 하천에서의 용존물질의 혼합 거동을 파악하기 위한 연구가 지난 수십년간 이루어지고 있다. 하천 흐름에 따른 오염물질의 이동 및 확산 거동을 예측하기 위하여 1차원 추적모형이 활용되는데, 그 중 하천저장대 모형(Transient Storage Model, TSM)은 자연하천의 복잡하고 불규칙한 수리·지형적인 특성을 단순하게 반영할 수 있다는 장점때문에 가장 많이 사용된다. 하지만 TSM은 매개변수에 대한 의존성과 불확도가 크며, TSM의 저장대에서의 농도분포에 대한 지수함수형태의 모델링이 하상간극수역(Hyporheic zone)에서의 저장대 특성을 반영하기에 구조적으로 부정확하다는 단점이 제기되고 있다. 최근 이러한 TSM의 단점을 보완하고 하천에서의 저장대 메커니즘을 보다 정확하게 구현하고자 체류시간분포(residence time distribution)를 이용한 확률론적 저장대 모델링 프레임워크가 등장하고 있다. 본 연구에서는 본류대와 저장대에서의 오염물질의 체류시간분포를 분리하여 해석하고 이를 전달함수(transfer function)를 이용한 합성곱으로 결합한 형태의 프레임워크를 적용하여 모델링하였다. 상기의 모형을 검증하기 위하여 2019년 감천의 4.85km 구간에서 추적자 실험을 실시하였다. 실험 당시 유량은 12.9 m³/s로 풍수기에 해당되며 평균 유속은 약 0.6 m/s로 측정되었다. 모형의 매개변수는 추적자 실험으로부터 최적화 기법을 통해 역모델링기법으로 결정하였다. 제안된 모형에 의한 모의 결과를 추적자 실험에서의 농도측정자료와 비교한 결과, 평균 0.988의 결정계수를 보여 매우 높은 정확도를 보이고 있음을 알 수 있었다. 저장대특성을 나타내는 농도곡선의 꼬리부에 대하여 같은 조건에서 1차원 이송-분산(ADE) 모형, TSM의 모의결과와도 비교한 결과 본 모형은 추적자 실험 농도측정 결과와 평균 0.195의 오차율을 보이며, 이는 ADE 모형과 TSM의 오차율인 14.03과 1.866에 비해 매우 정확한 것으로 나타났다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2012.05a
• /
• pp.194-194
• /
• 2012

본 연구에서는 자연하천에서 Rhodamine-WT를 이용하여 추적자 실험을 수행하고 이를 바탕으로 오염사고대응예측모델에 대한 검증을 실시하고자 하였다. 최근 국내에서는 다양한 형태와 규모의 수질오염사고가 매년 수십건 이상 발생하고 있으며, 따라서 수치모형 기반의 수질오염 사고 대응 예측시스템에 대한 높은 신뢰성이 요구되고 있다. 수질사고에 노출되어 있는 지표수를 각종 용수로서 안전하게 공급하기 위해서는 정확한 수질예측이 필수적이며, 이를 위해서 수십 년간 연구되어 온 수질모델을 오염사고 대응예측시스템에 적합하도록 정확성과 신뢰성을 갖추기 위한 연구가 진행되어야 한다. 수치 모형을 이용한 물질의 이송 및 확산 모의에서는 오염물질 도달시간과 확산 농도를 결정하는 것이 가장 중요한 요소이므로 이송 및 확산 모의에 대한 검증 기법 개발 및 적용이 필요하다. 본 연구에서는 낙동강수계 지류하천인 감천에서 추적자 실험을 4회 실시하여 측정한 수리량과 농도 실측치를 이용하여 분산계수를 종 횡분산계수 산정이 가능한 2차원 유관추적법을 적용하여 산정하였다. 각 단면에 유속은 ADV-3차원 유속계인 Flow-Tracker를 사용하여 도섭으로 측정하였으며 하천의 흐름 방향의 직각으로 측선을 설치하고 펌프를 이용하여 채수를 한 다음 Rhodamie WT의 농도를 측정하였으며 측선의 위치 보정은 GPS를 통하여 보정하였다. 측정 자료를 이용하여 2차원 유관추적법으로 분산계수를 산정한 결과 각각의 측선에 따라서 다소 차이가 발생하였으며, 일부 구간에서는 이론식으로 계산한 분산계수와 근사한 값이 나타났다. 이는 사주가 매우 발달하고 만곡이 많은 실험구간의 특성상 Elder와 Fischer 식으로 계산한 값과 차이가 발생할 가능성이 높은 구간이기 때문인 것으로 판단된다. 또한 하폭에 대한 수심비가 커질수록 분산계수도 증가하고 평균유속에 대한 전단유속에 비에 비례하는 것으로 나타났다.

• Proceedings of the Korea Air Pollution Research Association Conference
• /
• 2002.04a
• /
• pp.105-106
• /
• 2002

산업이 발달함에 따라 대기 환경의 중요성이 강조되면서 대기 확산 모델을 이용하여 오염물질의 영향을 파악하는 일이 많아졌다. 그러나 대기 확산 모델은 수치계산으로 나온 값으로 자연현상의 모든 영향을 파악하기 어렵다는 한계점을 가지고 있다. 이러한 대기 확산 모델이 자연현상을 어느 정도 반영하는가를 평가하기 위해서는 추적자 물질을 이용하여 대기 오염물질의 확산 농도를 측정한 실측자료를 통하여 기존 모델을 평가하고 개선하는 것이 일반적인 방법이다. (중략)

• Journal of Korea Game Society
• /
• v.4 no.2
• /
• pp.13-20
• /
• 2004

We have been interested in solving escapee-chaser game. In this game, with avoiding chaser, the escapee must escape from given male. The winning strategies of the escapee are driving the chaser to an intended place and closely evading from chaser by using some walls. According to our experience, some stages of the game are too difficult to solve manually. So we take the model checking method to get a solution of the game. Because the model checking with breadth fist search manner exhaustively searches the all state space of the game, the solution using model checking is best solution, shortest path. Fortunately, during the process of finding solution path, the state space explosion problem didn't occur, and the results of the game solving was applied to embedded system, Lego Mindstorm. Two agents, escapee and chaser, were implemented into robots and several experiments conformed the correctness of our solution.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2009.05a
• /
• pp.900-904
• /
• 2009

연구에서는 HEC-RAS 모형을 이용한 부등류 모의를 통하여 댐 방류수의 유하시간을 산정하고 이를 실시간 댐 방류수의 봉부자 추적실험에서 산정된 유하시간과 비교검증 하였다. 대상구간은 충주댐지점부터 여주대교까지 총 63.6km에 이르는 남한강 본류 구간으로 164개 단면으로 나누어 부등류 모의를 하였다. 유하시간 실험은 센서가 내장된 봉부자를 최초 시작지점에 투척하여 주요 교량에서 봉부자를 관측하여 최초 투척된 시간으로부터 교량을 통과하는 시간을 관측하는 방법을 사용하였다. HEC-RAS 부등류 모의 결과 2007년 8월 7일 방류량(680CMS)의 유하시간은 약 13시간으로 산정되었고 봉부자 추적자 실측자료를 통한 유하시간은 11.5시간으로 산정되어 실측치가 모의치보다 유하시간이 빠른 것으로 나타났다. 구간별로 살펴보면 HEC-RAS 모형의 모의결과는 수행교에서 충주조정지는 1.4시간 느리게, 목계교에서 남한강교는 1.0시간 빠르게 모의되었으나 나머지 구간에서는 실측치와 대체로 일치하였다. 본 연구는 유하시간 실험 구간 및 구간과 동일한 조건으로 모의함으로서 모형을 보정하기 위한 실측 유하시간 자료를 확보하였으며, 이러한 실측자료를 토대로 보정된 모형의 매개변수를 이용함으로서 대상 수계의 방류량별 유하시간을 산정하는데 정확성을 제고하고 홍수기 댐 운영 및 홍수예경보에 반영될 수 있을 것으로 기대된다.

• Proceedings of the Korea Air Pollution Research Association Conference
• /
• 1999.04a
• /
• pp.185-186
• /
• 1999

• KAPE Magazine
• /
• s.148
• /
• pp.21-21
• /
• 2008

소 및 쇠고기 이력추적에 관한 법률'이 2007년 12월 21일 제정되고 그 하위법령인 시행령과 시행규칙, 관련 고시 등이 마련되어 12월 22일부터 전국의 모든 소를 대상으로 한 "쇠고기 이력추적제"가 시행된다. 이에 소의 거래 등으로 인한 이동경로, 쇠고기에 대한 원산지, 등급판정결과, 위생검사결과, 소의 종류, 사육자, 도축장 등의 정보가 생산자와 소비자 등에게 제공된다.