• 전기의세계
• /
• v.39 no.8
• /
• pp.14-24
• /
• 1990

전문가 시스템 개발과정에서 완전한 경험적 규칙들을 얻는 것은 극히 어려운 작업이다. 전문가들이 확고한 경험적 규칙들을 얻기위해서는 오랜 시간이 걸리며, 그 얻어진 지식조차 확신할 수 없다. 또한 같은 분야 지식도 전문가들 사이에서 큰 차이를 보일 수 있다. 이러한 상황에서 전문가 시스템이 보다 완전한 지식베이스를 얻어, 주어진 영역에서 기존의 고도 전문가 수준의 전문성을 갖는 완전한 전문가로 활약하기 위해서는 지식 배제, 둘째 기존의 경험적 탐색 공간은 물론 보다 다양한 문제 해결 전략이 가능한 심층적 탐색공간을 제공하여 그로부터 새로운 문제 해결 지식을 학습하는 자기 학습기능이 필요하다. 본지에서는 이러한 자기학습 기능을 갖는 전문가 시스템의 알고리즘을 검토하였다. 그리고 끝으로 전력계통에 대한 적용예로서 전압제어 전문가 시스템을 설명하였다. 아직 전문가 시스템의 자기학습 기능의 구현은 초보적 연구에 머물고 있으며, 그들의 학습 능력조차 낮은 수준에 불과하다. 그러나 전문가 시스템 연구자들은 기존 전문가 시스템의 문제점과 그 적응능력의 중요성을 인식하고 있기 때문에 보다 진보된 개념(데이타들로부터 이론과 원리를 학습하는)이 도입된 자기학습 전문가 시스템의 적용연구는 앞으로 여러분야에서 폭넓게 이루어 질 것으로 기대된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06c
• /
• pp.365-370
• /
• 2008

본 논문에서는 개미 집단 최적화(Ant Colony Optimization, ACO)의 시간적 공간적 효율성을 향상시키기 위해 ACO에 엘리트 콤팩트 유전 알고리즘(Elitist compact Genetic Algorithms, elitist cGAs)의 아이디어를 적용한 콤팩트 개미 최적화(Compact elitist Ant Optimization, CAO)를 제안한다. CAO는 elitist cGAs에서 각 세대마다 염색체의 수를 둘로 고정하고 우월한 염색체를 유지하여 최적의 해를 찾는 방식을 적용하여 개미의 수를 하나로 고정하고 전이 확률식과 페로몬 갱신 규칙을 변형하고 특정 문제에 적용할 수 있는 타부 규칙을 추가한 알고리즘이다. 이 알고리즘의 공간 효율성이 ACO보다 좋다는 것을 증명하고 스테이너 트리 문제(Steiner Tree Problem)에 적용하여 제안된 알고리즘의 시간 효율성이 ACO보다 좋다는 것을 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.694-696
• /
• 2001

인터넷의 이용이 생활화되면서 학생들의 인터넷 이용능력은 점차 향상되어가고 있으며 그 이용시간도 증가하는 추세다. 인터넷은 접근하기가 편리하고 시간적, 공간적 제약을 극복할 수 있고, 경제적 이점도 가져다주므로 인터넷의 교육적 활용에 대한 연구가 필요하다. 본 논문은 인터넷에 기반한 교육적 활용의 한 모델로서 WEB기반 학습지도.평가 시스템의 설계 및 구현에 관한 것이다. 즉 가상의 공간에서 교사와 학생이 상호 작용하면서 교수 학습할 수 있는 방법에 주목하여 교사는 WEB상에서 문제를 출제하고 학생 역시 WEB을 통해 손쉽게 문제를 풀고 결과를 확인할 수 있게 하는 것이다. 제안한 시스템의 설계를 위해 기존의 유사시스템을 비교.분석하여 필수 구성요소를 모두 포함하면서 미래의 학습평가방식에 적합한 효율적이고 유연성있는 모델을 만들었다. 설문조사를 통한 평가에서는 시스템의 학습효과성과 발전가능성이 높은 것으로 나타났다. 향후 평가를 통해 나타난 문제점을 보완하고 새로운 기능에 대한 연구가 따른다면 교사와 학생 모두에게 새로운 학습도구로서 흥미를 불러일으킬 수 있고, 학습 도구에 관한 새로운 인식전환의 기회가 될 것으로 생각된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06a
• /
• pp.205-207
• /
• 2006

안정성은 가장 중요시되는 컴퓨터의 특성이다. 안정성에 문제가 생긴 경우, 전체의 동작이 중단되어 수정 중이던 데이터가 손실되거나 기존 데이터의 복구가 불가능하게 되는 상황이초래 될 수 있다. 이러한 문제점들을 극복하기 위해 DuaIFS(8), log-structured 파일 시스템[10] 등의 다양한 저널링 파일 시스템들이 사용된다. 특히 Ext3 파일 시스템은 일반적으로 매우 안정적으로 동작하며, 치명적인 문제도 없기 때문에 많이 사용되고 있는 저널링 파일 시스템이다. 하지만 Ext3 파일 시스템의 기본 저널링 모드인 ordered mode는 메타 데이터에 대한 기록을 남기기 위해 여분의 디스크 공간이 필요하고, 저널링을 위한 추가적인 작업이 수행되어야 한다. 본 논문에서는 ordered mode의 추가적인 공간과 추가적인 작업의 필요 없이 저널링을 수행하는 log-ordered mode를 제안한다.

• 한국지형공간정보학회:학술대회논문집
• /
• 2002.03a
• /
• pp.34-42
• /
• 2002

본 연구에서는 사회발전과 더불어 성장하는 주요도로의 교통량을 충족시키기 위해 지속적으로 진행되는 도로건설사업의 노선선정 및 그에 따른 환경적인 문제의 중요성이 인식되는 바 가장 적절한 도로건설사업을 위해 지리정보시스템 기법을 도입하여 도로건설에 있어서 고려되는 몇 가지 기본자료를 선택하고 데이터베이스를 구축하여 구축된 데이터의 분석과 활용에 의해 노선선정에 따른 절 성토량과 기존의 도로설계프로그램으로 절 성토량을 산정하여 비교하였고 기존의 수작업에 의한 설계된 최적노선과 GIS에서 자동 선정된 노선을 비교하여 도로건설사업에 따른 객관적이고 경제적, 환경적, 기술적 문제를 해결 평가하고 Virtual GIS로 가상현실 구현과 기존의 도로설계 프로그램을 이용한 삼차원 도로설계를 제시하였다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 1998.06a
• /
• pp.157-160
• /
• 1998

비디오 카메라에서 획득된 동영상 또는 기존의 동영상 자료를 하나의 완성된 프로그램으로 만들기 위해서는 여러 가지 편집 과정을 거치게 된다. 편집 시 사용되는 효과들로는 잘라붙이기(cut & paste), 디절브, 와이프, 페이드 인, 페이드 아웃, 자막넣기 등 수 많은 방법들이 있다. 압축되지 않은 동영상 또는 M-JPEG과 같은 시간 상관성이 없는 압축 동영상의 경우 편집은 영상 내의 공간적 영역에서 간단한 처리를 통하여 편집기의 구현이 가능하다. 그러나 MPEG-1, 2와 같은 시·공간적 상관성을 이용한 압축방법에서는 편집의 문제가 간단하지 않다. 압축 영역에서 편집 시 발생할 수 있는 문제를 해결하기 위하여 본 논문에서는 이러한 편집 과정에서 발생할 수 있는 오류의 전파를 관찰하고 편집되기 전에 가지고 있던 MPEG 비트열 정보를 최대한 이용하여 편집기를 구현하는 최소한의 알고리즘을 제안한다.

• 한국공간정보시스템학회:학술대회논문집
• /
• 2002.03a
• /
• pp.15-21
• /
• 2002

기존의 WebGIS는 구현방법에 따라서 서버중심과 클라이언트중심의 WebGIS모델로 구분할 수 있다. 서버중심의 WebGIS모델은 결과데이터가 이미지(JPG,GIF)로 클라이언트에 전송되므로 사용자는 기본적인 GIS 기능만을 처리할 수 있고, 데이터 확대 시 데이터가 손상되는 문제들이 있다. 클라이언트 중심의 WebGIS모델은 벡터데이터(Java-applet, ActiveCGM) 전송을 위해 고가의 특정 소프트웨어를 구입해야 하고, 플랫폼에 의존적이며, 표준화된 포맷이 아니므로 웹에서 데이터 상호 전송 및 호환의 문제가 있다. 본 논문에서는 기존의 WebGIS모델의 전반적인 분석을 통해서 각기 구축된 WebGIS의 구현방법과 문제점에 대해 고찰해 본다. 그리고 이런 문제점들이 대안인 XML(extensible Markup Language)으로 기술된 GML (Geographic Markup Language)과 SVG(Scalable Vector Graphics)를 이용한 WebGIS에 대한 연구와 향후 우리가 연구해야 할 방향에 대해 모색해 본다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2004.05b
• /
• pp.1408-1412
• /
• 2004

인구의 폭발적 증가, 산업화, 도시화의 급진적, 과학기숙의 발달 등으로 물 소비는 급증하는 반면, 이상기후현상으로 수자원의 절대량이 줄어 수자원의 양적인 문제와 하천 및 저수지의 수질오염에 대한 질적인 문제가 ,대두되고 있다. 하천의 수질현상 및 이송은 상당히 비선형적이고, 시간에 따라 변화하려, 실제로 수질의 예측은 유량의 변동, 오염물질의 이송 및 확산, 하천 구조물 등의 여러 요인에 의하여 상당히 어렵다고 알려져 왔다. 또한 한정된 수자원으로 하천의 수량과 수질목표를 동시에 달성하기 위해서는 물의 수요와 공급을 실시간으로 감시하면서 기상과 유출예측기술을 활용하여 용수의 수요와 공급을 예측하고 이를 토대로 수량과 수질을 고려한 물관리 운영시스템이 구축되어야 한다. 이를 위해 본 연구에서는 모형의 입${\cdot}$출력 구성을 자유롭게 변형할 수 있는 상태공간 모형과 신경망 모형을 이용하여 금강수계 주요 지점의 수질예측 모형을 구성하고 모형의 적용성을 파악한 후 예측력이 우수한 모형을 Web기반 모형의 수질예측 모듈의 기본모형으로 선정하고 Web 상에서 수질예측이 가능하도록 시스템을 개발하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.325-327
• /
• 2005

모델 체킹은 시스템이 올바르게 동작하는 지를 자동으로 검증해주는 기법이다. 지금까지 모델 체킹은 방법의 특성상 상태폭발문제 때문에 작은 규모의 상태공간을 갖는 하드웨어나 프로토콜 검증에 주로 사용되어져 왔다. 그러나 최근에는 상태폭발문제를 다루기 위한 연구와 술어추상화 등과 같은 추상화기술의 발달로, 다를 수 있는 상태공간의 크기가 증가하고 정리증명기의 성능이 향상됨에 따라 소프트웨어 자체의 논리적 오류를 검증하려는 움직임이 활발하다. 일반적으로 소프트웨어 검증을 위해 추상화-모델 체킹-추상화 개선의 3단계 프로세스를 사용하는데 주로 C프로그램에 대해서만 이루어져 왔다. 우리는 이 프로세스를 자바프로그램에 적용하고 자동으로 자바프로그램을 이진프로그램으로 변환하는 술어추상화 모듈을 개발하였다. 이 모듈은 우리가 개발한 자바 모델 체커의 front-end부분이다. 본 논문에서는 자바프로그램에 대한 주요 추상화 알고리즘을 보이고 특정 자바프로그램의 안전성과 궁극성을 검증한다.

• Bulletin of the Society of Naval Architects of Korea
• /
• v.33 no.4
• /
• pp.67-75
• /
• 1996

일찌기 20세기 초반부터 지구의 마지막 남은 자원의 보고로서 또한 미래의 생화공간으로서 해양에 대한 관심이 고조되어 왔다. 해양의 에너지/광물 자원의 개발을 위한 노력은 이미 1950년대 부터 시작되어 상당한 가시적인 성과를 얻고 있다. 최근에는 특히 환경보존에 대한 관심이 고조됨에 따라 육상기피시설물(공항, 폐기물 처리시설, 원자력 발전설비 등)들의 부지확보 문제를 해결하기 위하여 해양공간을 활용하는 방안이 선진각국에서 연구되고 있으며, 그중 가장 타당성이 높은 방안의 하난로서 각종 생산활동을 위한 플랜트를 대형 부유구조물 위에 설치하는 해상플랜트(Barge Mounted Plant, BMP)가 제안되고 있다. 원자력 발전설비를 비롯한 대형 프랜트를 부유구조물 위에 설치할 경우, 지진의 영향을 극소화 할 수 있다는 장점이 있으나 해상의 파도, 조류, 바람, 일사에 의한 갑판의 열변형 등 불규칙적인 환경하중에 노출되므로 이러한 환경조건하에서 구조물이 설계 수명 동안 안전하게 기능을 다할 수 있는지를 세심하게 검토할 필요가 있다. 따라서 BMP의 안전성 평가방법에 대한 신뢰도를 높이고 평가결과에 대한 합리성을 제고하는 한편, 이를 바타응로 현재까지는 설계/건조 경험이 전무한 초대형 부유구조물의 구조설계와 관련된 기초기술 및 응용기술을 확보하는 문제는 가장 시급히 해결되어야 할 부분이다.