• Computational Structural Engineering
• /
• v.22 no.4
• /
• pp.89-94
• /
• 2009

최근에 선박의 도킹해석은 3차원 전선 구조 해석을 통해 수행되어 왔으나 도킹해석 모델을 구성하는데 많은 시간과 노력이 필요하였다. 전선구조해석 모벨을 만들기 위해 필요한 선박구조 도면이 완성되기 전인 초기 설계단계에서 도킹시 반목배치를 조기에 확정하고, 구조 안정성을 확보하기 위한 노력이 요구되어 왔기 때문에 간이화된 도킹 해석 프로그램을 개발하게 되었다. 2차원 격자구조를 이용한 도킹해석기법을 통해 얻은 반목에서의 지지력이 3차원 전선해석모델을 사용하여 얻은 반목에서의 반력 결과와 비교해 타당한 결과를 보여 주고 있음을 확인하였다. 간이화된 도킹용 해석 프로그램을 개발하였으며, 다음과 같은 기능을 갖추어 사용자가 쉽게 격자 구조 모델을 생생하고 해석을 수행할 수 있도록 구성하였다. 향후 각 요소의 단면 특성치를 자동으로 산정하는 기능이 추가되어야 한다. 그리고 부유식 도크(Floating dock)에서의 도킹해석은 본 개발의 대상이 된 건식 도크(Dry dock)에서의 경우와 다른 고려사항이 추가되어야 하기 때문에 향후 추가적인 연구와 개발을 통해 새로운 기능으로 포함될 것이다.

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

고랭지 지역 등에서 매년 집중강우로 인하여 많은 양의 토양유실이 발생되고, 이로 인한 탁수 사태가 장기화되면서 많은 환경 및 사회적 문제가 발생되고 있다. 환경부에서는 2007년 고탁수 발생지역을 비점오염원 특별 관리지역으로 지정하고 전 방위적인 비점오염 저감 노력을 수행하고 있다. 최근 환경부와 농림부에서는 농업지역의 비점오염원 저감을 위해 필지단위 BMP를 적용하고, 저감효과를 모니터링하고 있으며, 2011년도에는 BMP 적용에 따른 삭감효과를 평가할 수 있는 모델이 개발되었다. 하지만 모델을 이용하여 정확한 BMP 적용에 따른 삭감효과를 산정하기 위해서는 필지에서 발생되는 유출량 및 유사량에 대한 검보정이 수행되어야한다. 그러나 기 개발된 삭감효과 산정모델은 사용자가 유출량 및 유사량에 대한 검보정을 수동으로 실시하기 때문에 검보정 과정 중 사용자의 주관적인 경향이 모델 변수 선정에 영향을 미칠 수 있어 비효율적이다. 정확성 및 객관성을 확보한 검보정 수행을 위해서는 반드시 자동 검보정 툴 개발이 필요하다. 이에 본 연구에서는 Parasol 방법을 이용하여 삭감효과 산정모델의 자동 검보정 툴을 개발하고 적용성을 평가하였다. Parasol 방법은 최적화 및 불확실성 분석방법으로, 원격 토지 표면 모델링 토양 침식, 지하 수문학과 같은 유역 모델 보정 및 수문학의 다른 분야에서 많이 사용되고 있는 SEC-UA 알고리즘을 사용하여 매개변수들을 자동 변환하고, 목적함수로 SSQ를 이용하여 최적매개변수를 찾아낸다.

• The KIPS Transactions:PartD
• /
• v.18D no.6
• /
• pp.443-450
• /
• 2011

Model-based Component development methodologies consider the whole system as an component and develop physical components through recursive decomposition and refinements of components in a top-down manner. We developed a model translator that can be used to formally verify interaction consistency among components, especially the interaction behavior between before- and after- refinements of components. This translator can be used to identify potential problems in the refinement process so that problems can be addressed from the early stage of development. This paper introduces our translation approach and the organization of the translator. The translator has been applied to two case studies to show its usefulness.

• Proceedings of the KIPE Conference
• /
• 2008.06a
• /
• pp.295-297
• /
• 2008

슈퍼커패시터는 전력밀도가 높고 사이클 수명이 긴 무공해 소자로 신재생에너지원이나 배터리의 동특성 보상 및 수명연장을 목적으로 그 사용이 증대되고 있다. 본 논문에서는 이러한 슈퍼커패시터의 정확한 동특성 모델을 임피던스 분광법(Impedance Spectroscopy)을 이용하여 개발하고, 개발된 모델의 유용함을 시뮬레이션을 통해 검증하였다. 주파수영역에서 개발된 모델은 시간영역으로 등가 변환되어 Matlab/Simulink를 이용하여 시뮬레이션 되었고, 실험결과와 비교되었다. 다수의 제조사에서 제작된 비슷한 용량의 슈퍼커패시터들의 임피던스 모델을 개발하고 전압에 따른 커패시턴스의 변화를 비교하고 분석하였다. 또한, 상용 장비로는 모델링이 불가능한 고압 슈퍼커패시터 모듈의 모델링을 수행할 수 있는 새로운 방법을 제안하고, 제안된 방법에 의해 개발된 모델의 유용함을 실험을 통해 검증하였다.

• Journal of KIISE:Software and Applications
• /
• v.27 no.7
• /
• pp.742-758
• /
• 2000

Some local governments in Korea are currently developing various Urban Information Systems (UIS) to computerize their work. But they have spent too much money on their own UIS development because they have not reused the existing UIS of others. It has caused the central government to invest money repeatedly. The work of some local governments is generally very similar to those of others. The purpose of this paper is to suggest a solution to the reinvestment problem. To solve the problem, this paper suggests that they could model a city's business using Unified Modeling Language and Component-Based Development Process (CBD). They could also develop a UIS from the existing models, and then other municipalities can reuse the developed UIS. This paper illustrates the water supply business of P City in Korea and Rational Unified Process as a CBD. This paper also describes methods to apply CBD, to establish a reusable business model, analysis model, and design model, and to develop the software components of ActiveX Controls form for the water supply business.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.23 no.1
• /
• pp.15-21
• /
• 2023

This paper is a study on the development of an artificial intelligence model that recognizes a hole cup on a golf green. A CNN-based object detection algorithm was used to recognize the hole cup on the green. Also, Apple's CreateML was used to create a model of the object detection algorithm. This paper created a JSON file with 120 training images and annotations to meet the needs of CreateML. In addition, for more accurate learning, data amplification algorithm was used for learning data and 288 learning data were used for learning. By changing the Iterations, Batch size, and Grid size required by CreateML, we found parameter values that improve the performance of the model. A prototype app was developed by applying the developed model, and performance was measured on an actual golf course green using the prototype app. As a result of the measurement, it was found that the hole cup was accurately recognized within 10m, which is the typical golfer's putting distance.

• Korean Journal of Remote Sensing
• /
• v.15 no.1
• /
• pp.31-38
• /
• 1999

In this paper, we introduce an algorithm for the ortho-rectification of high resolution pushbroom-type satellite images. The generation of ortho-images in the ultimate level of the satellite image preprocessing which also includes systematic geocoding and precision geocoding. It is also essential for the mapping of satellite images because topotraphic maps are based on the orthographic projection. The newly developed ortho-image generation algorithm introduced in this paper is on the line of the algorithms previously developed (Shin and Lee, 1997; Shin e 1998). Various experimental results are shown in this paper. The results show that the algorithm completely eliminates the disparities in the perspectively viewed images which were caused by the terrain height. The absolute accuracy of the developed algorithm depends on the accuracy of the camera model and the digital elevation model used.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.91-93
• /
• 2003

급격히 발전해 온 엔터프라이즈 환경에 대하여 체계적으로 소프트웨어 개발 패러다임이 변하고 있다. 이종 플랫폼, 나아가 이종 개발 플랫폼을 자유로이 연동시킬 수 있는 개발 방법에 대한 필요성이 대두되면서 MDA 개념이 등장하였다. MDA는 프로그래밍 언어 흑은 런타임 플랫폼에 독립적인 모델에 의해 개발하는 방식으로, 개발된 모델을 특정 플랫폼에 알맞은 형태로 변환함으로써 개발 모델 및 코드의 재사용성을 극대화한다. 본 논문에서는 MDA 개발에 있어서 특정 플랫폼에 알맞은 코드를 생성하기 위한 기능과 그 설계 방안을 논한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.444-446
• /
• 1999

컴포넌트 기반의 개발과 컴포넌트 개발에 대한 관심이 높아지면서 이를 위한 개발 방법론과 개발 도구들의 도입이 확산되고 있다. 또한 컴포넌트의 재사용 범위를 확장시키기 위해 컴포넌트 개발 시 나타나는 Hot Spot 처리를 위한 분석, 설계기법에 대한 관심이 높아지고 있다. 따라서 본 논문에서는 Hot Spot 처리시에 나타나는 의존적인 Hot Spot을 디자인하는 방법을 제시하고 그 방법을 적용하여 의존적인 Hot Spot을 디자인 할 때 발생되는 Hot Spot 간의 결합도 줄이고 디자인 모델의 가독성을 높인다. 본 논문에서는 디자인 모델링을 위한 표기법으로서 객체지향 모델링 기법인 (UML(Unified Modeling Language)를 이용하여 모델링한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05c
• /
• pp.1813-1816
• /
• 2003

최근 이동내장형 시스템 기술이 차세대 정보통신 산업의 주력으로 급부상함에 따라 다양한 이기종 제품간의 호환성과 이식성 제공의 핵심 역할을 수행하는 자바가상머신(Java Virtual Machine)이 주목 밭고 있다. 가상머신을 컴포넌트 기반 소프트웨어 기술을 사용하여 구축한다면, 재사용과 재구성이 용이해 저렴하고 신뢰성 있는 가상러신 개발이 가능해진다. 이러한 이유로 인하여, 자원이 제한된 내장형 실시간 시스템 개발사용에 적합한 컴포넌트 모델의 필요성이 동시에 증대되고 있다. 따라서, 본 논문에서는 기존에 제안된 내장형 실시간 컴포넌트 보델인 PBO(Port-Based Object) 모델을 내장형 실시간 환경에서 수행되는 자바가상머신에 적합하도록 개선하여 증가된 신뢰성과 감소된 시스템 복잡도를 갖는 자바가상머신 시스템을 제안하였다.