• Proceedings of the Korea Water Resources Association Conference
• /
• 2011.05a
• /
• pp.242-247
• /
• 2011

본 연구는 한국형 Reach File을 개발하기 위한 선행 연구로써 한국형 Reach File의 필수 구성요소 중 하나인 속성을 설계하는 것을 목표로 하였다. 이를 위해 우선 미국 Reach File 구축 사례를 검토하였고, 특히 최종 버전인 RF3(Reach File version 3)의 속성 내역을 정리하여 설계에 참조하였다. 국내 TMDL 업무 분석을 수행하여 업무 활용 측면에서 요구되는 속성도 모델링을 통해 속성 설계에 반영하였으며, 아울러 아크-노드 모델(Arc-node model) 기반의 네트워크 형식의 공간자료를 구축하는 것을 가정하여 네트워크 분석에도 활용이 가능하도록 선형 및 점형 도형자료 간 위상관계도 속성 설계에 반영하였다. 연구 결과에서 한국형 Reach File의 속성은 '위상(topology)', '위치(location)', '주제(theme)'의 세 가지 대분류에 따라 모델링되었으며, 각 분류에 따라 세부 속성이 정의되었다. 고유 식별자를 포함하여 선형 도형자료의 경우 총 53개, 점형 도형자료의 경우 총 13개의 세부 속성이 정의되었고, 각 속성에 대한 속성명, 필드명, 데이터 타입 및 길이 등에 관한 상세 설계서가 작성되었다. 본 연구를 통해 개발된 속성 설계서는 향후 한국형 Reach File 구축에 직접 활용이 가능하며, 따라서 한국형 Reach File의 구체적인 개발 방향의 설정에도 기여할 것으로 예상된다. 향후 연구에서는 속성 설계서 결과를 바탕으로 한국형 Reach File 구축 및 활용에 관한 연구가 뒤따라야 한다.

• The KIPS Transactions:PartD
• /
• v.12D no.1 s.97
• /
• pp.81-90
• /
• 2005

Given a model and a property, model checking determines whether the model satisfies the property. In case the model does not satisfy the property model checking gives a counterexample which explains where the violation occurs. Since counterexamples are useful for model debugging as well as model understanding, counterexample generation is one of the indispensable components in the model checking tool. This paper presents efficient counterexample generation techniques when a safety property is falsified. These techniques are used to solve Push Push games which consist of 50 games. As a result, all the games are solved with the proposed techniques. However, with the original NuSMV, 42 games are solved but 8 failed. In addition, we obtain $86{\%}$ time improvement and $62{\%}$ space improvement compared to the original NuSMV in solving the game.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.363-366
• /
• 2000

인터넷 이용의 급증에 따라 전자상거래(Electronic Commerce)가 시간적, 공간적 제약을 극복한 새로운 경제활동으로 지식, 정보기반시대의 새로운 패러다임으로 국가 경제, 사회의 변혁을 주도하는 수단으로 부각되고 있다. 이러한 시대적 환경과 인터넷 이용의 확산으로 전자상거래 시장규모도 이례 없이 증가하고 있다. 특히 전자상거래에 대비하는 대부분의 업체들이 내세우는 전략의 공통점은 B2C(Business to Customer) 보다는 B2B(Business to Business)에 중점을 두고 있다는 것이다. 기업간 전자상거래에 필수적인 요소로 부각되고 있는 워크플로우 관리 시스템이 서로 다른 벤더들에 의해 제작된 워크플로우 엔진들의 상호운영성이 보장되지 않기 때문에 전자상거래의 제 기능을 발휘하지 못한다. 본 논문에서는 서로 다른 벤더들에 의해 제작된 워크플로우 엔진들의 상호운영성을 위한 기본 명세에 대해 살펴보기로 한다. 또한 엄청난 비즈니스 프로세스로 구성되어 있는 기업간 전자상거래 상에서의 통합된 비즈니스 프로세스를 정의하기 위한 워크플로우 정의도구 구현 시 고려해야 할 사항들에 대해서 살펴보기로 한다.

• Journal for History of Mathematics
• /
• v.21 no.4
• /
• pp.105-126
• /
• 2008

This article summarizes the historical changes of the secondary school geometry to give insights into the new direction of geometry education for the 21th century. Geometry has been considered as an essential subject in high school since mid-nineteen century in accordance with the social changes. Since the development of computer softwares such as CAD effects on the role of geometry in work and professional societies, the knowledge and skills the contemporary world require to school geometry have being changed. More focus on applications and modeling aspects, expansion of reasoning and problem solving, emphasis on design-related elements are features of the school geometry for the new century.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10b
• /
• pp.1337-1340
• /
• 2000

정보화 사회에서의 컴퓨터의 가치는 교육분야서 더욱 높아지고 있으며, 기존의 수업보다 시간적 공간적 제약을 덜 받게 되는 원격교육은 무한한 발전 가능성을 가지고 있다. 하지만 기존 웹 상에서의 원격교육에서는 필수의 강의가 끝나면 수업의 평가 후 학생에게 수업의 결과를 알려주는 형식이었고, 또한 학습자에게는 일률적으로 평가가 적용 학생의 수준에 맞는 수업을 할 수가 없었으며 교수의 입장에서도 학생들의 평가 결과가 수업의 질을 높이거나 내용을 변경시킬 근거가 될 수 는 없었다. 따라서, CAI(Computer Aided Instruction) 시스템에서 수준별 학습을 위한 단계별 예비 테스트와 학습 후 테스트의 평가 내용을 다양한 방법으로 가시적으로 제시함으로써 교수 방법을 지원할 수 있는 평가 컴포넌트를 작성하고자 한다. 이는 평가의 방법이 체계적으로 되고 또한 학습의 패러다임을 바꾸거나 과목을 변경할 경우 또한 그 결과에 따라 교수 방법의 변화나 수업내용의 변경을 하려할 때 용의하게 사용할 수 있다. 또한 유사한 다른 패러다임의 원격교육 시스템에서도 이미 개발된 구성요소를 사용함으로써, 사용의 용이성과 이식성, 재사용성을 높일 수 있게 한다.

• Journal of Digital Contents Society
• /
• v.19 no.1
• /
• pp.173-179
• /
• 2018

With the recent increase in the number of cars and the lack of parking spaces, the number of parking businesses has increased. the parking management has become an essential element in parking business, and the parking management's company becomes an increasingly popular opportunity. However, as competition grows as more and more and companies increase in number, efforts are being made to create new services, gain technological excellence, or reduce costs through current system improvements. In this paper, we developed a parking management system using cloud based LPR(License Plate Recognition) service for effective parking. Structural improvements in the proposed system reduce costs, simplify installation, and respond quickly to failures and updates.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2010.05a
• /
• pp.1293-1297
• /
• 2010

최근 10년 들어 가뭄과 홍수가 빈번하게 반복되면서 용수공급에 어려움이 많은 것이 사실이다. 특히나 농촌지역, 군, 면단위 지역의 용수공급 문제는 시간이 지날수록 개선이 이루어지고 있으나 시간적으로 공간적으로 개선속도가 늦게 진행되고 있다. 새로운 취수원의 변경, 댐건설 등으로 인하여 새로운 용수공급량의 추정과 용수공급의 배분문제는 아주 중요하다고 할 수 있다. 중소하천유역에서의 물수지 분석은 해당 지역에 대한 안정된 용수를 공급하기 위해 유역내의 장래 용수수요를 산정하고 공급기준년의 자연유량을 비교하여 유역내의 물수지를 예측하고, 공급기준년의 물부족량을 공급하기 위해 필수적으로 선행되어야 하는 요소이다. 갈수시의 물수지 분석은 유역 내에서 발생하는 용수수요의 총량 및 장래수요 증가량과 불규칙한 자연유하량을 비교 검토하여 물 부족 여부를 검토하는 것으로 갈수시에도 하천의 정상적인 기능을 유지하기 위한 수자원의 확보방안을 강구하기 위해 행하는 것이다. 본 연구에서는 증가하는 용수수요와 취수원 변경에 따른 영주시 수자원의 효율적인 이용과 체계적인 용수공급 계획을 수립하기 위하여 지방 2급 하천인 서천상류(죽계천, 남원천,서천)유역 일원에 대한 용수이용현황을 조사하고 장래 용수수요를 추정하여 물수지 분석을 실시하였다.

• Information and Communications Magazine
• /
• v.29 no.10
• /
• pp.66-73
• /
• 2012

전 세계적으로 노령인구가 급격히 증가하면서 만성질환자도 급증하고 있는 추세이다. 또한, 고도화된 현대사회와 과도한 업무, 서양화된 식습관, 그리고 운동부족은 젊은 층에서의 성인병 및 만성질환 증가를 부추기고 있다. 만성질환의 증가는 의료비 증가로 이어지고 결국은 국가재정 부담으로 돌아가게 된다. 만성질환자의 대부분은 지속적인 생체정보 측정과 이를 통한 관리가 필수적인데 매번 병원을 방문해 관리하는 것은 현실적으로나 비용적인 측면으로나 무리가 있는 것이 사실이다. 이러한 문제를 해결하고 언제 어디서나 시간과 공간에 구애받지 않고 생체정보를 원격에서 측정하고 관리 받을 수 있도록 하는 것이 U-헬스케어 서비스이다. U-헬스케어 서비스는 전통적인 의료 서비스에 정보통신 기술을 접목한 형태로 고령인구 및 만성질환자의 지속적인 관리를 위해 현재 주목 받고 있는 기술이다. U-헬스케어 서비스의 가장 중요하면서도 기본적인 요소는 원격지 사용자의 생체정보를 측정하고 수집할 수 있는 원격 생체정보 모니터링 기술이다. 이를 위해서는 다양한 종류의 생체정보 측정기기가 필요한데 장비나 시스템 간 통신 인터페이스의 상호 호환성이 매우 중요하다. 본 논문에서는 원격 생체정보 모니터링을 위한 표준 기술인 IEEE 11073 PHD를 소개하고 현재 IEEE 11073 PHD 표준에서 명시하고 있지 않은 보안 문제점과 필요 기술들을 분석하고자 한다. 또한, IEEE 11073 PHD에서 IEEE 11073-20601 표준 프로토콜을 이용한 사용자 인증 구조를 제안한다.

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

지하수 관측이란 지하수위 하강, 수질오염 등 지하수 장해로부터 지하수를 보전 관리하고 대책을 수립하기 위하여 정기적 및 장기적으로 지하수위, 수질 등 부존된 지하수 특성의 상태와 변화하는 추이를 관찰하여 측정하는 행위를 말한다. 지하수는 지하의 보이지 않는 지층구조에서 매우 천천히 유동하므로 수위하강 및 수질오염 발생을 늦게 인지할 경우 원상회복이 불가능할 수 있고, 지하수 장해를 인지한 이후의 대처과정에서도 기존의 관측자료가 없거나 부족할 경우에는 원인분석과 대책수립이 지연되거나 불가능할 수 있으므로 지하수관리에 있어 관측정호를 설치하고 정기적으로 지하수의 부존 및 유동특성, 배경수질 등의 지하수 관측은 기본적이며 필수적인 요소이다. 따라서 지하수 관측망을 설치하고 운영하기 위해서는 관측 목적을 명확히 정의하고 관측 프로그램이 이를 만족시키도록 구성되어야하며 시간적, 공간적으로 지하수가 변동되는 것을 고려하여 관측 지역 대수층의 유형과 특성 등이 완전히 파악되어야 한다. 필요시 기존 관정을 활용하여 관측하며 관측 항목, 관측 유형, 위치측량 및 관측 주기 등은 관측의 목적에 부합되도록 한다. 관측 데이터의 생성, 전송 및 분석 진행과정 등이 완벽하게 정립되어 데이터의 생성에서부터 활용까지 체계화되어야 하고 지하수와 지표수는 연계된 단일 수자원으로서 지하수 관측은 지표수 관측과 연계되어 설계되고 분석되어야 한다. 또한 취득된 데이터의 정확성은 지속적으로 검토 확인되어야 하며 전문가의 능력을 활용하여 관련 자료의 분석이 이루어지고 데이터의 정도를 높이기 위한 후속조치들이 병행되어야 한다. 그리고 지하수위, 수질 등 관측 자료가 자연적인 지하수 유동 체계에 의하여 변화되는 것이라고 인식될 경우에는 관측 시스템 전반을 재평가하여 보다 효율적인 관측 시스템으로 발전시켜야 한다.

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

저수지에서 퇴사가 저수지에 미치는 영향으로는 저수용량의 감소로 인한 용수공급량 저하, 상류하천 수위 상승에 따른 홍수소통능력 감소로 인한 배수위 상승, 퇴적토의 용출에 의한 부영양화 촉진 및 중금속 퇴적 등의 수질변화, 퇴사로 인한 어류서식처 환경의 변화 등이 있다. 또한, 저수지로 유입되는 유사에 대한 정확한 예측은 댐의 계획 및 운영과 관련된 저수지 퇴사관계를 이해하는데 필수 요소이다. 즉, 저수지 퇴사에 관한 예측 자료는 댐 설계시에 장래 50년 및 100년 후의 저수위-저수용량 관계곡선을 결정하고, 댐의 사수위를 결정하는데 중요한 기본자료이며, 또한 댐 건설후의 저수지내로 유입되는 유사의 공간적 퇴적분포를 예측하고, 기능별 저수지 용량배분, 본체 및 취수구 등 각종 수리구조물의 안정, 저수지 상류 퇴사로 인한 홍수위의 상승 등 저수지 제 기능의 적정 관리를 계획하는데 필요한 기본자료이기 때문이다. 본 연구에서는 저수지 내에서의 2차원적 하상변동을 해석하기 위한 퇴사 모델링 방법으로 2차원 정상 및 동수역학적인 유사이송과 하상변동을 모의할 수 있으며, 침식과 포착 및 이송 그리고 퇴적의 각 단계에 따라 세부모의가 가능할 뿐만 아니라 RMA2와 SMS 프로그램과 상호 연계가 자유로운 SED-2D 모형을 이용하여 댐 축조로 인한 저수지내의 퇴사거동을 모의한 후 하상변동을 분석하였다.