• Korean Journal of Cognitive Science
• /
• v.14 no.2
• /
• pp.15-25
• /
• 2003

The Monkey and Banana Problem is an example commonly used for illustrating simple problem solving. It can be solved by conventional approaches, but this requires a procedural aspect when inferences are processed, and this fact works as a limitation condition in solving complex problems. However, if we use DNA computing methods which are naturally able to realize massive parallel processing. the Monkey and Banana Problem can be solved effectively without weakening the fundamental aims above. In this paper, we design a method of representing the problem using DNA molecules, and show that various solutions are generated through computer-simulations based on the design. The simulation results are obviously interesting in that these are contrary to the fact that the Prolog program for the Monkey and Banana Problem, which was implemented from the conventional point of view, gives us only one optimal solution. That is, DNA computing overcomes the limitations of conventional approaches.

• Journal of Wetlands Research
• /
• v.13 no.2
• /
• pp.209-218
• /
• 2011

This study is to estimate economic damages of water shortage, especially drought. we assume scenarios of water shortage and use water input-output linear programming. The result is that economic damage is about 6.4 trillion won in the case of 10% water shortage. According to water shortage scenarios, the shadow price of water in Korea is increasing from 2,462 won to 76,902 won. This study indicates that water has a significant influence on the industrial production in Korea and provides the necessity of the climate change policy for water management.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.18 no.3
• /
• pp.263-269
• /
• 2000

As the accuracy of digital photogrammetry is restricted by the resolution of image to be used, it is axiomatic that the resolution of image should be improved. As for the method to constitute hardware with CCD sensor that capacity was expanded or the method to acquire the image of high resolution by deciding the quantity of sub-pixel in advance through moving sensor, the price is expensive. This study tries to enhance the resolution of low resolution image by acquiring the image with the digital camera that the price is cheap and deciding shifts and rotations through matching multiple digital image by means of least square method. As the result of study, the resolution of digital image was improved greatly. So, not only the digital photogrammetry which has the competitive power of price economically is possible in the future but also the application is expected widely.

• The KIPS Transactions:PartD
• /
• v.10D no.6
• /
• pp.971-982
• /
• 2003

The consistency of UML diagrams is a nature for checking whether diagrams are coherently designed with only one requirements and the correctness of UML Diagrams, especially it uses OCL(Object Constraint Language) which is standard constraint language in UML. Firstly we devise metamodels that are described with conponent and relationships, then we derive verification rules from each matamodels for verifying correctness and consistency, and then we formally specify the rules with OCL for automatic verification. Finally we verify the rules with USE TOOL.

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

유역 내 효율적 수자원관리 및 이 치수 계획수립을 위해 수계별 혹은 지역별로 다양한 형태의 하천정비 사업이 시행되고 있으며, 사업의 대부분은 통수능 확보를 위한 확폭 및 홍수피해방지를 위한 제방의 보강이 주를 이루고 있다. 그러나 이러한 하천정비사업 계획의 검토를 위하여 횡방향 흐름을 고려할 수 없는 1차원 HEC-RAS 모형이 주로 이용되고 있으며, 이는 만곡부와 같은 복잡한 흐름특성이 발생하는 구간에서의 정비 사업 후 흐름특성 변화 및 하상의 안정성에 대한 평가를 위해 1차원 수치모형의 적용이 제약적임을 의미한다. 본 연구에서는 용담댐 하류부 대유리에 위치한 만곡부를 대상으로 2차원 수치모형인 CCHE2D를 이용하여 정비사업 전 후의 흐름특성 변화에 대한 분석을 수행하였다. 분석결과, 만곡부 정점부의 단면축소로 흐름의 통제가 발생하던 구간에서 정비사업 후 유속과 소류력이 감소되었으며, 상류측으로 수위가 크게 저하하였다. 또한, 정비사업 후 상류측에서 유속과 소류력의 증가가 관측되었으며, 만곡부 내측으로 유속과 소류력의 중심이 이동함에 따라 제방의 안정성에 영향을 줄 수 있음을 확인할 수 있었다. CCHE2D모형은 자연하천의 만곡부와 같은 복잡한 흐름이 발생하는 구간의 분석을 위하여 효율적으로 이용될 수 있으며, 모형 내 하상변동 모듈과의 연계모의를 통해 제방의 안정성 및 하상의 안정성 평가를 위한 수리학적 기초자료를 제공할 수 있을 것으로 판단된다.

• Annual Conference of KIPS
• /
• 2006.11a
• /
• pp.413-416
• /
• 2006

최근 위치 측위 기술의 발달 및 GPS 기술의 상용화로 인해 무선 통신 기기의 보급이 증가하면서 다양한 위치 기반 서비스 개발을 위한 노력이 활발히 진행되고 있다. 사용자들의 특성에 맞게 개인화되고 세분화된 위치 기반 서비스를 제공하기 위해서는 방대한 이동 객체의 위치 이동 데이터로부터 의미있는 지식인 유용한 패턴을 추출하기 위한 시간 패턴 탐사가 필요하다. 기존의 시간 패턴 탐사 기법들 중 일부는 이동 객체의 시간에 따른 공간 속성들의 변화를 충분히 고려하지 못하거나 또는 시공간 속성을 동시에 고려한 패턴 탐사는 가능하나 전체 이동 패턴들 중 추출하고자 하는 패턴에 반드시 포함되어야 하는 공간 정보에 대한 제약이 없어 특정 지점들 사이의 최적 이동 경로 탐색 문제나 단위기간 동안 이동 객체가 순회해야 지점들에 대한 스케줄링 경로 예측 문제 등에 적용하기 어렵다. 따라서 본 논문에서는 이동 객체의 위치 이력 데이터들에 대한 시공간 속성들을 고려하여 다양한 이동 패턴들 중 객체의 최적 이동 경로에 해당하는 패턴을 탐색하기 위한 새로운 시간 패턴 마이닝 알고리즘을 제안한다. 제안된 알고리즘은 특정한 지점들 사이를 이동한 객체의 위치 데이터들 중 객체가 가장 빈번하게 이동한 경로를 탐색하여 최적 경로를 결정하는 알고리즘으로, 공간 추상 계층의 각 계층별 영역 내 포함여부를 고려한 위치 일반화를 수행하여 보다 효과적으로 이동 패턴을 탐색할 수 있다.

• The Korean Journal of Quaternary Research
• /
• v.17 no.1
• /
• pp.17-26
• /
• 2003

A hierarchy is defined as a system wherein its parts are interconnected with one another and the lower levels are constrained by the higher levels to various degrees, depending on the time constraints of the behavior. We illustrate that the concept of hierarchy is identified in the Baekdoodaegan frame, and that the Korean national area was hierarchically divided into many watersheds in many old maps. The Baekdoodaegan and Jeongmack were consistent with the hierarchy of climatic as well as spatial variables. It is evident from an old map that the concept was coined as early as in 1402. A typical configuration of Korean landscape, which was developed in the arrangement of village and surrounding landscape elements situated in a watershed, may be associated with the hierarchical approach to land and culture. Although current practices based on the concept are meaningful, further diverse studies are needed to improve ideas.

• Bulletin of the Korean Space Science Society
• /
• 2010.04a
• /
• pp.28.2-28.2
• /
• 2010

영상레이더 위성으로부터 획득된 SAR 영상의 상대적/절대적 방사(radiometric) 정밀도를 만족시키기 위해서는 궤도상에서 검보정을 수행하여야 한다. 일반적으로 상대 방사 정밀도의 보정을 위해서는 아마존 일대와 같이 일정한 지표 반사도를 지니는 넓은 지역을 촬영함으로써, 지상에서 모델링된 안테나 패턴의 이상 유무를 검증한다. 절대 방사 정밀도를 결정하기 위해서는 보정계수(calibration constant)를 구해야 하는데, 이를 위해서 RCS(radar cross section) 값이 기 알려져 있는 지상의 CR(corner reflector)를 관측해야 한다. 대부분의 SAR 위성의 경우, 각 입사각별로 여러 개의 빔(beam)이 독립적으로 운용되고, 위성의 경로가 각 pass 사이 거의 일정한 간격을 가지기 때문에, 지상의 CR들에 대한 빔의 접근성이 상당히 제약을 많이 받게 된다. 즉, 개별 빔이 촬영할 수 있는 CR의 개수 및 동일 CR에 대한 촬영 빈번도가 많이 작을 수 있다는 것을 의미한다. 특히, CR이 빔폭의 중심에서 관측되어야 하는 요구사항이 추가로 반영될 경우 그 빈도수는 더욱더 영향을 받게된다. 이 연구에서는 고도 550 km, 28일의 지상반복주기(repeat ground track)를 가지는 여명 궤도(dawn-dusk orbit)를 가정하고, 각 빔별로 그 빔에 할당된 하나의 CR만을 촬영해야 된다는 조건하에, 빔 접근성의 요구사항을 최대로 만족시킬 수 있는 CR의 좌표들을 구하였다. 동시에, J2항만을 고려한 이상적 28일 지상반복궤도를 적용한 경우와 모든 중력섭동항을 적용한 최적궤도를 적용한 경우를 비교하여, 실질적 검보정 일정을 수립하였다.

• Annual Conference of KIPS
• /
• 2002.04b
• /
• pp.1567-1570
• /
• 2002

offline에서만 이루어지던 미디어 컨텐츠에 대한 online 의존도가 높아지고, 여러 가지 미디어들의 실 시간적인 서비스에 대한 사용자들의 요구가 커짐에 따라 서비스 제공에 따른 여러 가지 제약조건의 극복이 필요하다. 일반적인 데이터와 다른 특성을 가진 미디어들의 요구사항은 다양하다. 압축에 대한 요구사항은 전송 에러에 대해 많은 문제점을 노출한다. 압축 정보의 손실이나 변질은 많은 정보의 손실과 변질을 가져오게 되므로, 에러 제어에 대한 필요성이 요구된다. 기존에 제시된 많은 에러 제어 기법들은 기법들간에 장 단점을 지니고 있다. 이런 기법들의 장 단점을 대역폭이 높고 낮음과 같은 특정한 특성을 가진 네트웍 환경에 도입하는 것은 중요한 의미를 가진다. 따라서, 본 논문에서는 이러한 기존의 제시되어 있는 에러 제어에 관한 여러 가지 기법들의 비교와 유 무선 환경에서 각 기법들의 적합성에 대한 분석을 통해서 환경의 특성에 맞는 적절한 에러 제어기법의 선택을 보여준다.

• Journal of KIISE:Databases
• /
• v.36 no.6
• /
• pp.466-475
• /
• 2009

Considerable research in the field of ontology mapping has been done when information sharing and reuse becomes necessary by a variety of ontology development. Ontology mapping method consists of the lexical, structural, instance, and logical inference similarity computing. Lexical similarity computing used in most ontology mapping methods performs an ontology mapping by using the synonym set defined in the WordNet. In this paper, we define the Super Word Set including the hypenym, hyponym, holonym, and meronym set and propose an ontology mapping method using the Super Word Set. The results of experiments show that our method improves the performance by up to 12%, compared with previous ontology mapping method.