• Proceedings of the Acoustical Society of Korea Conference
• /
• autumn
• /
• pp.341-344
• /
• 2000

소나 센서부 설계 시 개별 센서에 대한 정합회로의 선계는 전체 가중회로의 특성에 매우 큰 영향을 미친다. 피러나 많은 경우 정합회로를 설계하는데 있어서 경험에 의한 수작업으로 수행하거나 매우 간단한 모델을 설정하여 그것을 바탕으로 설계하는 예가 많다. 다양한 센서에 대해서 유연하게 대응하는데 한계를 갖고 있고 또 많은 오류를 동반하기 때문에 정합회로 설계에 많은 시행착오를 초래한다. 본 연구에서는 다양한 센서에 유연하게 대응하는 정합회로 설계 도구를 구성하는 첫 단계로써 실제 소나 센서의 특성 측정 및 그를 바탕으로 한 소자 모델링을 일괄 작업화 한 선계 프로그램을 구성하여, 그 구성과 기능에 대해서 선명하고자 한다.

• Proceedings of the CALSEC Conference
• /
• 1999.07a
• /
• pp.207-213
• /
• 1999

When function modeling with IDEF0 which is called as a standard methodology for CALS (FIPS 183), the initial work is to determine the purpose and viewpoint, and the next work is to generate a data list and an activity list. This work requires participant's discussion and agreements. The main problems for these working are a communication between participants and efficient discussion processing. Brainstorming is the most useful method for this work. The paper is for development for the modeling assistant tool to promote the business modeling. In this paper, we will introduce the tool which name is 'MindMapper' and 'Dyna-IDEF'. Mind-mapper is software for mind-map method that is used for creative thinking. Using this tool, we refine the result of the brainstorming about activity list and translate the result into the functional model of IDEF0 using Dyna-IDEF. The translated functional model is prototype model without ICOM arrows.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2016.01a
• /
• pp.71-72
• /
• 2016

베이지안 알고리즘은 추론 분야에서 오랜 기간 사용되어 왔다. 하지만 기본적인 베이지안 네트워크 이론만으로는 다양한 도메인에 적합한 추론 기능을 제공할 수 없기 때문에, 도메인의 특성에 맞는 알고리즘이 적용된 다양한 추론 기법들이 연구되어왔다. 본 논문에서는 실시간 지능화 서비스를 위하여 특정 도메인 영역에 대하여 자동으로 적합한 베이지안 네트워크 알고리즘을 선별하는 기법을 제안한며, 해당 기법의 적합도를 평가하기 위해서 수학적인 모델링과 추론 알고리즘 선택 기법에 대해 서술한다.

• Journal of the Korea Society of Computer and Information
• /
• v.3 no.4
• /
• pp.126-131
• /
• 1998

Spatial data warehouse, whose importance is being increased, is composed of huge amounts of historical spatial data for organizational decision making and it also allows users to obtain useful geospatial information through analyzing and summmarizing spatial data. In this paper, we survey effective spatial multidimensional model which is based on virtual scenario for spatial data warehouse modelling. Therefore, we describe spatial multidimensional analytical query which provide multiple analytical functions according tom user's requests.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2002.12a
• /
• pp.478-481
• /
• 2002

본 논문에서는 생명체의 면역계에서 중요한 역할을 하는 세포독성 T세포의 생성과정의 하나인 긍정선택(positive selection)과 부정 선택(negative selection)을 모델링하여 침입에 의한 데이터 변경과 바이러스에 의한 데이터 감염 등을 탐지할 때 가장 중요한 요소인 변경 검사 알고리즘을 개발하였다. 제안한 알고리즘은 면역세포의 생성시 MHC 인식부를 형성해 주는 긍정 선택을 자기 인식 알고리즘으로 구현하여 컴퓨터에서 자기로 인식해야하는 파일이나 기능에 대해 MHC 인식부를 형성하고, 또한 항원 인식부를 형성하는 부정 선택을 이용해 변형 검지기(anomaly detector)를 구성한다. 따라서 제안한 알고리즘은 실제 면역세포와 마찬가지로 자신과 침입자 모두에 대한 인식기를 가지고 변경을 탐지하게 된다. 시뮬레이션을 통하여 자기파일의 일부가 변경되었을 때와 블록이 변경되었을 때에 대하여 두 가지 방법을 이용한 변경 검사 알고리즘의 특성과 유효성을 밝힌다.

• Proceedings of the KIEE Conference
• /
• summer
• /
• pp.1418-1420
• /
• 2004

비정형적인 방법에 의해 설계되어진 프로토콜은 불확실성과 오류를 내포하고 있을 수 있으며, 이러한 특성은 프로토콜의 안전성에 매우 심각한 영향을 미치게 된다. 또한 구형되어진 프로토콜 명세에 만족하게 구현되어졌는지를 확인하는 것 또한 프로토콜 엔지니어링에서 매우 중요한 부분이다. 즉, 프로토콜 명세의 정형검정과 적합성 시험은 프로토콜 개발 과정에서 매우 중요한 부분이다. 본 논문에서는 유한상태 레이블 천이시스템(LTS Labeled Transition System)으로 명세화된 철도 신호제어용 프로토콜 Type 1 모델에 대한 적합성 시험을 위하여 프로토콜 제어흐름을 IOFSM으로 모델링하였으며, 이 명세로부터 UIO 방법에 의한 적합성 시험계열 생성방법을 제시하였다. 또한, 프로토콜 검정 및 적합성 시험 방법을 실제 프로토콜의 정확성을 분석하는 데 사용할 수 있도록 프로토콜 검정기와 시험기를Windows 환경하에서 GUI기능에 의해 Window상에 구현되도록 하여 프로토콜 명세의 정확성을 평가할 수 있게 하였다.

• Information and Communications Magazine
• /
• v.31 no.1
• /
• pp.53-62
• /
• 2013

생태계를 구성하고 있는 각 생물체들은 외부에서의 제어 개체 없이 독자적이면서 매우 단순하고 적은 수의 행동 규칙의 준수를 통하여 해당 생태계의 유지, 관리 및 동기화 등의 기능을 수행하고 있음을 관찰 할 수 있다. 이처럼 지구상의 다양한 생물체의 행동 원리를 관찰하고 이를 기반으로 모델링한 알고리듬을 생체모방 알고리듬 (biologically inspired or bio-inspired algorithm)이라 한다. 생체모방 알고리즘은 동종 혹은 이종의 다수의 개체가 존재하고, 주변 환경이 동적으로 변하며, 사용가능한 자원의 제약이 정해져 있을 때, 각 개체들이 분산 및 자율적으로 움직이는 환경에서 안정성, 확장성, 적응성과 같은 특징을 보여주는데, 이는 통신 네트워크 환경 및 서비스 요구사항과 유사성을 갖는다. 본 논문에서는 최근에 발표된 생체모방 알고리즘으로 통신 및 네트워킹 기술로 적용 가능한 Huddling Penguins 알고리즘, Krill Herd알고리즘, Cuckoo 알고리즘에 대해 살펴보고, 관련 프로젝트 및 연구 동향을 정리한다.

• Annual Conference of KIPS
• /
• 2001.10a
• /
• pp.489-492
• /
• 2001

소프트웨어의 대형화와 급격히 변화하는 소프트웨어 시장에 시기 적절히 대응하기 위해, 기존의 소프트웨어를 재사용함은 물론이고 재사용이 용이한 구조로 소프트웨어를 구성하여 다른 부분에 영향을 미치지 않고 특정 부분을 변경시킬 수 있는 솔루션이 요구된다. 이러한 기술에 부합되는 것이 재사용성, 대체가능성 등의 기능을 강조한 컴포넌트 기술이라 할 수 있겠다. 컴포넌트 기반 시스템을 설계하는데 있어서는 기존의 객체지향 접근방식을 포함하면서 컴포넌트의 고유의 특성을 반영하는 다른 접근방식을 필요로 하게 된다. 본 논문에서는 이러한 객체지향적 접근방식에 개념적인 컴포넌트 설계 방식과 이를 EJB 컴포넌트로 다시 상세화하는 컴포넌트의 모텔링 프로세스와 이를 지원하는 도구에 대해 다룬다.

• Annual Conference of KIPS
• /
• 2003.05a
• /
• pp.419-422
• /
• 2003

TMO 비주얼 빌더는 사용자가 TMO(Time-triggered Message-triggered Object) 모델을 사용하여 실시간 시스템을 개발하는데 도움을 주는 모형화 도구이다. 이 도구는 TMO의 실시간 요소를 입력해 시각적인 모델링을 하고 거기에 기초한 C++ 소스 코드를 생성시킨다. 이는 초기 설계 작업에서 개발자들에게 편의성을 제공할 수 있고, 이후 안정된 로직을 구현할 수 있도록 한다. 본 논문은 이러한 TMO 비주얼 빌더의 구성 및 기능에 관하여 기술한다.

• Annual Conference of KIPS
• /
• 2003.05a
• /
• pp.19-22
• /
• 2003

본 논문에서는 2차원 영상을 다중 해상도(Multi-Resolution)로 분해하는 이산 웨이블렛 변환 알고리즘을 하드웨어로 구현하기 위한 연구를 하였다. 이 알고리즘을 효율적으로 연산하기 위한 하드웨어 구조를 제시하였고, 이를 VHDL을 통하여 모델링 하였다. 또한 시뮬레이션과 합성을 통하여 기능을 검증하였다.