• Proceedings of the KSEEG Conference
• /
• 2001.04a
• /
• pp.115-118
• /
• 2001

Suppressed Wave equation Estimation of Traveltime (SWEET, Shin et, al., 2000) 알고리즘을 이용하여 등방성 및 이방성 탄성 매질에 대한 ched 주시와 진폭을 계산하는 방법을 개발하였다. SWEET 알고리즘을 2차원 등방성 및 이방성 탄성 매질의 속도 구조에 적용하여 P파의 초동 주시와 진폭을 계산 할 수 있었다. 본 논문에서는 간단한 등방성 균질 탄성 모형, 복잡한 등방성 탄성 모형 및 간단한 이방성 균질 모형에 대한 수치 계산 결과를 보여 줄 것이다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2007.05a
• /
• pp.1258-1262
• /
• 2007

수치해석분야에서 가장 난해한 부분은 복잡한 지형을 표현할 수 있는 격자망을 쉽고 간편하게 생성하고 수치모형에 적용하는 것이다. 가장 쉽고 널리 적용되던 직사각형격자망의 한계를 극복하기 위하여 곡선좌표계를 이용하거나, 삼각형 또는 사각형의 불규칙 격자망을 적용하여 복잡한 지형을 표현하는 연구들이 시도되었다. 그러나, 곡선좌표계를 이용하여 지배방정식을 변환하는 방법은 지배방정식이 매우 복잡하고 수치모형의 구성이 난해하며, 불규칙 격자망을 이용한 방법은 계산영역을 적절히 표현하는 격자망을 구성하기 위해서 상당한 노력과 시간이 소요되는 단점이 있다. 이에, 직사각형의 격자망과 비구조 격자망의 장단점을 보완하여 수치격자 구성이 간편하고 지형을 정확히 표현할 수 있는 기법에 대한 연구가 필요한 단계에 이르게 되었다. 본 연구에서는 직사각형 격자를 기본으로 지형을 따라 계산격자를 분할하는 기법인 cut-cell기법을 이용하여 계산격자망을 구성하고, 그 적용성을 검토하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10b
• /
• pp.326-328
• /
• 2000

인공신경회로망 기술은 선형 또는 비선형성 계산 문제를 복잡도에 무관하게 학습에 의해 자동으로 근사한다. 또한 알고리즘이 단순하며 잡음에 강하여 다양한 분야에 적용되고 있다. 반면 대상시스템의 특성이나 조건이 변경되면 계산성능을 보장할 수 없고, 계산의 신뢰성 보장 한계가 모호하기 때문에 제어문제에는 실용화가 어려운 것으로 알려져 있다. 제안 모델은 인공신경회로망의 장점을 유지하면서, 위와 같은 문제점을 해결한다. 시뮬레이션을 통하여 제안 모델은 기존 제어기에 비해 우수한 추종제어성능을 보이는 것으로 밝혀졌다.

• 전기의세계
• /
• v.9
• /
• pp.18-22
• /
• 1962

지수선로는 특히 microwave공학에서 Impedance 변환용으로 널리 사용되고 있으나 그 Impedance 함수 또는 반사계수의 표시식의 복잡성으로 인하여 이 선로의 특성연구, 설계에 있어서 적지 않은 계산의 곤란이 따른다. 따라서 이의 도식해법이 환영된다. 본논문에서 우리는 지수선로의 Impedance함수를 일차변환하면 보통의 균일선로에 대한 것과 유사한 표시식이 얻어짐에 착안하여 복소수의 일차변환을 대표하는 W-평면과 Smith chart 또는 직교 Impedance diagram을 병용하던지 W-평면을 직교 Impedance diagram에 중첩시키던지 또는 Smith chart의 constant-r constant-x도의 label를 고쳐서 사용하던지 하여 지수선로의 문제를 도식으로 해결하는 방법을 모색하였다. 또 같은 착안으로부터 지수선로의 집중정수 등가회로가 흥미있게 구해짐을 부수적으로 지적하였다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.2 no.1
• /
• pp.59-77
• /
• 1992

본 논문은 컴퓨터 시스템의 보호 및 데이타 통신의 암호등과 관계가 있는 논리 프로그래밍에 대한 것이다. 본 논문에서 우리는 병력 논리프로그래밍 시스템에 대한 개선된 conteol strategy를 제안하였으며, 이에대한 형식적인 syntax와 semantics등을 정의하였다. 병렬 논리프로그램에 대한 병력성등을 분류하여, 이들이 어떻게 활용되는지 설명하였다. 또한 병렬 논리프로그램의 유도과정과 계산방식이 같은 alternating Turing machine이란 병렬 계산모형을 제안하여, 논리프로그램의 복잡도의 분석과 제안된 idea에 대한 타당성을 ATM을 이용하여 하였다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2022.10a
• /
• pp.93-96
• /
• 2022

DTW can eliminate gaps between sequences of different lengths and find out the similarity of patterns, but due to the time and space complexity, it requires a high computational cost on large datasets. In this paper, we propose a DDTW algorithm that not only reduces computational costs but also has no error in the results. In addition, the algorithm complexity of DTW and DDTW is compared by measuring the computational time according to the length of the sequence. Simulation results show a noticeable reduction in computational time in DDTW compared to DTW.

• The KIPS Transactions:PartD
• /
• v.8D no.1
• /
• pp.71-80
• /
• 2001

Object-Oriented (OO) methodology to use the concept like encapsulation, inheritance, polymorphism, and message passing demands metrics that are different from structured methodology. There are many studies for OO software metrics such as program complexity or design metrics. But the metrics for the analysis class need to decrease the complexity in the analysis phase so that greatly reduce the effort and the cost of system development. In this paper, we propose new metrics to measure the complexity of analysis classes which draw out in the analysis phase based on Unified Process. By the collaboration complexity, is denoted by CC, we mean the maximum number of the collaborations can be achieved with each of the collaborator and detennine the potential complexity. And the interface complexity, is denoted by IC, shows the difficulty related to understand the interface of collaborators each other. We prove mathematically that the suggested metrics satisfy OO characteristics such as class size and inheritance. And we verify it theoretically for Weyuker' s nine properties. Moreover, we show the computation results for analysis classes of the system which automatically respond to questions of the it's user using the text mining technique. As we compared CC and IC to CBO and WMC, the complexity can be represented by CC and IC more than CBO and WMC. We expect to develop the cost-effective OO software by reviewing the complexity of analysis classes in the first stage of SDLC (Software Development Life Cycle).

• Proceedings of the Korean Institute of Industrial Safety Conference
• /
• 1997.11a
• /
• pp.191-202
• /
• 1997

점점 과학의 고도화가 이루어지면서 산업 현장에서 사용하는 장비나 플랜트의 대형화, 복잡화가 이루어지고 있다. 이에 이러한 시스템들의 정량적 위험성 평가가 요구하기 시작했고, 이를 계산하기 위해서 ETA, FTA, CCA등 여러 가지 방법들이 사용되고 있다. 그 중에서도 가장 보편적으로 많이 사용하는 방법으로 FTA(Fault Tree Analysis)를 손꼽을 수 있다. 관찰하는 시스템이 커지는 경우 FTA를 수행하기 위해서는 복잡한 계산 과정을 거치면서 많은 항의 계산을 하게 된다. 이러한 계산시간을 줄이기 위해서 많은 노력들이 있었으며 이중 하나는 FT를 graph(acyclic nonliner graph)로 변형시킨 후 graph이론을 사용하여 신뢰도를 계산하는 것이다. (중략)

• Annual Conference on Human and Language Technology
• /
• 1993.10a
• /
• pp.341-353
• /
• 1993

기존의 한국어 형태소 해석 시스템들은 철자 변화형 어절에 대한 처리가 매우 효율적이지 못했다. 대개가 문제를 일으키는 형태소들의 변형들을 모두 사전에 등록하여 후처리 형태로 다루려 하거나, 각 형태/음운 규칙을 적용한 다음 거기에 대응하는 후보 단어들을 사전 검색을 통해 확인하는 방법들을 취하고 있다. 그러나 이러한 방법들은 과다한 사전 정보의 중복이나 계산의 중복으로 인하여 비효율적인 면을 많이 내포한다. 또한, 기존의 한국어 형태소 시스템들은 거의 모두가 형태소해석 엔진과 언어학적인 지식(특히, 철자 규칙과 형태소 배열 규칙)이 제대로 분리되지 않아 시스템 확장이 매우 어려웠다. 이 논문에서는, 철자 변화형 어절을 후처리에 의하지 않고, 사전 검색과 함께 하나의 오토마타에 의해 처리하면서, 형태소 해석시 발생하는 중복 계산을 최대한 배경하고, 또한 형태소 해석 엔진과 언어학적인 지식을 완전히 분리하여 시스템의 확장성을 한층 높인, 효율적인 한국어 형태소 해석 시스템 DDAG를 소개한다. 이 시스템의 주요 알고리즘의 계산적인 복잡도는 n이 입력 어절의 길이이고, m이 입력 어절을 이루고 있는 형태소의 최대 수라고 할 때 다음과 같이 분석된다: (1) 철자 변화의 처리와 사전 검색 부분의 계산적인 복잡도는 $O(n^2)$이고, (2) 형태소 배열 검사와 모든 가능한 결과를 출력해 내는 부분은 $O(2^m)$이다. 여기에서 m의 실질적인 값은 복잡한 한국어 용언의 경우 최대 8이다.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2000.06a
• /
• pp.1169-1173
• /
• 2000

최근에 미국에서는 실선에 대한 충격파 실험의 제약으로 인하여 수치시뮬레이션의 필요성이 더욱 야기되어 1996년도부터 수상함에 대한 실험대체용 수치계산의 가능성에 대한 연구가 시작되었다. 잠수함등과 같이 잠겨진 구조물에 대한 연구는 활발히 이루어졌으나 수상함에 대한 연구는 단순구조물을 대상으로 한 제한적 연구가 이루어져 왔다. 특히 본 연구에서는 아주 복잡한 수상함 구조물을 최대한 정확히 유한요소법으로 모델링하였다. 이러한 실선 충격연구는 실제 실선에 마운트되는 주요 장비의 안정성평가에 아주 중요한 자료를 제공하여주므로 시급한 과제이다. 하지만 수상함의 경우 유체-구조물 상호작용, 자유표면, cavitation등과 같은 해석상의 어려움과 복잡한 구조물의 모델링시 나타나는 현 단계에서의 계산상의 한계 등등 여러 가지 난제가 존재하고 있는 것도 사실이다. 본 논문에서는 수상함 내충격 수치해석의 현기술을 알아보고 수치계산의 발전방향을 제시보고자 한다.