• Journal of the Society of Naval Architects of Korea
• /
• v.34 no.3
• /
• pp.96-103
• /
• 1997

This paper presents a mathematical method that represents efficiently high-speed coastal fishing vessel. That is, it represents the numerical hull by using irrational function and hull form characteristic curves, which define a hull form under design conditions. Then it suggests a process that hull form characteristic curves are represented with NURBS and hull form is varied.

• Journal of Elementary Mathematics Education in Korea
• /
• v.14 no.1
• /
• pp.123-134
• /
• 2010

Recently, mathematics education have been emphasized on developing students' mathematical thinking and problem solving abilities. Accordance with this emphasis, dramatical changes are needed in learning mathematics not merely let alone students solve real-made mathematics problems. The project learning to explore a counterweight activity will have an effects on positive mathematical attitude(to pose problem, to have curiosity) and mathematical thinking(power 10-digit representation, 2-digit number, two representation of 3-digit number, connect exponential number and log situation) which could develop understanding problems and critical thinking.

• Journal of KIISE:Software and Applications
• /
• v.26 no.4
• /
• pp.453-461
• /
• 1999

최근 들어 생물학적 두뇌에 대한 관심이 높아지고 있으며, 그에 따라 인공두뇌의 개발이나 두뇌의 기능을 밝히고자 하는 시도가 활발히 이루어지고 있다. 특히 셀룰라 오토마타는 간단한 규칙들의 조합으로 복잡한 현상을 표현하는 모델로 복잡한 두뇌를 표현하기에 적합한 모델로 복잡한 두뇌를 표현하기에 적합한 모델일 기대된다. 셀룰라 오토마타 상에서 특정한 기능을 갖도록 신경망 모듈들을 진화시킨 후, 이들을 결합하여 인공두뇌를 개발하고자 하는 시도가 있다. 본 논문에서는 이러한 접근방식의 유용성을 보여주기 위하여 적당한 크기의 셀룰라 오토마타 공간에서 신경망을 만들어내어 이동 로봇의 제어기를 진화방법으로 구성하고자한다. 실험결과 로봇이 벽과 충돌하지 않고 잘 움직일 수 있도록 진화된 제어기를 얻을 수 있었다. 또한 다각적인 분석과정을 통해 진화된 제어기의 구조와 그 작동과정으 밝혀내고자 하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.241-243
• /
• 2002

DNA 컴퓨팅은 생체 분자들이 갖는 막대한 병렬성을 정보 처리 기술에 적용한 기술이다. Adleman의 DNA 컴퓨팅은 랜덤한 고정길이의 형태로 문제를 표현하기 때문에 해를 찾지 못하거나 시간이 많이 걸리는 단점을 갖고 있다. 본 논문은 DNA 컴퓨팅에 DNA 코딩 방법을 적용하여 DNA 서열을 효율적으로 표현하고 반응횟수 만큼 합성과 분리 과정을 거쳐 최적의 코드를 생성하는 ACO(Algorithm for Code Optimization)를 제안한다. DNA 코딩 방법은 변형된 유전자 알고리즘으로 DNA 기능을 유지하며, 서열의 길이를 줄일 수 있으므로 최적의 서열을 생성할 수 있는 특징을 갖는다. ACO를 NP-complete 문제 중 Hamiltonian path problem에 적용하여 실험한 결과, Adleman의 DNA 컴퓨팅 보다 초기 문제 표현에서 높은 적합도 값을 갖는 서열을 생성했으며, 경로의 변화에도 능동적으로 대처하여 최적의 결과를 빠르게 탐색할 수 있었다.

• Proceedings of the KAIS Fall Conference
• /
• 2009.05a
• /
• pp.191-194
• /
• 2009

센서 네트워크들은 지역적 혹은 종류별로 다양한 센서를 사용하여 네트워크를 형성한다. 기존의 센서 네트워크의 개발은 센싱 데이터에 대한 단일화된 형식으로 표현하지 않기 때문에 그 단위나 표현 방식에 따라서 응용 프로그램이 처리하는데 어려움이 있다. 또한, 다른 센서 네트워크와 데이터 공유도 용이하지 못하다. 이에 센서 노드로부터 수집된 다양한 원 데이터를 원활하게 데이터 교환을 할 수 있는 미들웨어 개발이 필요하다. 이에 우리는 센서 노드로부터 측정한 데이터 및 모든 처리를 기술할 수 있는 표현을 XML로 작성하고, 웹을 통해 센서 데이터를 활용할 수 있는 센서 네트워크 미들웨어를 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.689-691
• /
• 2000

대칭성(symmetry)은 그래프를 가시화하여 기하학적 표현을 구축하는 그래프 드로잉 분야에서 그래프의 구조와 특성을 명확하게 표현해주는 가장 중요한 평가 기준이다. 하지만 현재까지는 이차원 평면에서의 대칭성 문제에 대해서만 기존 연구가 이루어져왔을 뿐 해상도를 증가시키고 대칭성을 보다 풍부하게 표현할 수 있는 그래프의 삼차원 대칭 드로잉에 관한 연구는 아직 미약한 실정이다. 본 논문에서는 직병렬 유향 그래프에서의 삼차원 대칭성을 탐지하는 알고리즘을 제안하였다. 직병렬 유향 그래프는 소프트웨어 가시화난 네트워크 모델링 등에 자주 사용되는 유용한 그래프이다. 이 알고리즘은 직병렬 유향 그래프의 최대의 대칭성을 보여주는 삼차원 드로잉 알고리즘의 기반이 된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.677-679
• /
• 2000

대칭성(symmetry)은 그래프를 가시화하여 기학학적 표현을 구축하는 그래프 드로잉 분야에서 그래프의 구조와 특성을 효율적으로 표현해주는 가장 중요한 평가 기준이다. 하지만 현재까지는 이차원 평면에서의 대칭성 문제에 대해서만 기존 연구가 이루어져왔을 뿐 해상도를 증가시키고 대칭성을 보다 풍부하게 표현할 수 있는 그래프의 삼차원 대칭 드로잉에 관한 연구는 아직 제시된 바 없다. 본 논문에서는 그래프 드로잉에서의 삼차원 대칭성 문제를 연구하였다. 먼저 그래프의 삼차원 대칭 드로잉을 구축하기 위해 필요한 삼차원 대칭성 모델을 제시하고 이를 기반으로 하여 트리에서 삼차원 대칭성을 탐지하는 알고리즘을 제시하였다. 이 알고리즘은 트리의 최대의 대칭성을 보여주는 삼차원 드로잉 알고리즘으로 쉽게 확장이 가능하다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.451-453
• /
• 2000

메시지 순서도(Message Sequence Chart,MSC)는 ITU-T에서 국제적인 표준으로 제안되어 주로 전기 통신 교환 시스템과 같은 실시간 시스템을 위한 통신 행위에 대한 개괄적인 표현 방법으로서 널리 사용되어지고 있으며 요구 명세, 인터페이스 명세, 시뮬레이션 및 검정을 위해 사용되어지고 있다. MSC의 장점이라면 표현된 시스템의 행위를 직관적으로 이해할 수 있게 해주는 그래픽 표현을 제공하는 것이다. 의미론 입장에서 보면 MSC는 폴세스 대수 ACP의 변형인 PA$\varepsilon$에 의해 의미를 부여받고 있긴 하지만 이해하기가 난해한 것이 사실이다. 본 논문에서는 MSC의 동작적 의미를 분석하며 ACSR로 변환하여 그 의미를 보다 쉽게 파악하는 방법론에 대해 다룬다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.58-60
• /
• 2002

최근 XML 문서가 급증함에 따라 웹-기반 XML 응용 문서의 중요성이 많이 부각되고 있는 실정이다. 웹-기반 XML 응용 문서의 대표적인 예로 OSD, CDF가 있다. OSD 포맷은 소프트웨어 패키지와 그들간의 관계를 정의하는 것으로 CDF 문서 등에서 많이 사용되고 있다. 그러나 아직까지 이에 대한 객체 모델링이 제안된 바 없어, 소프트웨어를 재사용하려는 사람들마다 별도의 양식으로 이들 관계를 표현하고 있는 실정이다. 따라서, 본 논문은 UML의 다양한 관련성을 이용하여 OSD와 CDF 문서를 클래스 다이어그램으로 표현하고자 한다. 이를 위한 CDF와 OSD로부터 글래스 다이어그램 구성 요소로의 사상 규칙과 알고리즘을 제안한다. 본 연구의 의의는 소프트웨어 패키지간의 구현과 실체 관계를 UML 형태로 일관되게 표현하고 클래스 다이어그램 형태로 출력하여, 객체지향적인 문서 관리의 기반이 되도록 하는 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06c
• /
• pp.425-428
• /
• 2011

이 논문은 음식인식 자동화를 위해서 음식 이미지를 표현하는 새로운 방법을 제시한다. 먼저, 사람이 음식 속 재료성문을 인식하는 방법을 모방하여, 음식이미지에서 윤곽선을 따라 다각형을 검출한다 그 흐름, 각 다각형의 특징 다각형에 해당하는 음식재료성분의 라벨은 다각형의 사이즈, 다각형의 가로세로 비율 - 이 추출된다. 여기서 음식재료성분의 라벨은 음식재료이미지로 훈련 받은 Semantic Texton Forests (STF)[3]에 의해 구해진다. 구해진 다각형의 특징을 이용해 음식이미지마다 다차원 히스토그램이 형성되는데, 이히스토그램은 컴퓨터가 사람과 유사하게 음식이미지를 이해할 수 있도록 표현된다. 이 히스토그램은 컴퓨터가 음식을 인식할 수 있도록 도와주는 중요한 특징으로 사용될 것이다.