• Journal of the KSME
• /
• v.22 no.6
• /
• pp.456-462
• /
• 1982

재래의 공학적 해석과정에서는, 주어진 시스템에 대한 정량적 해석을 위해 우선 시스템에 대한 수학적 모형을 가정.도입하고, 미지계수에 대한 결정은 시스템으로부터 관측된 자료에 의존하게 된다. 반면 DDS에 의한 모형화는 시스템에 대한 사전 지식이 없어도 시스템으로부터의 자료에 대한 체계적인 정량적 해석을 통해서 시스템을 특성화시키는 미분방정식을 유도할 수 있게 하며 오히려 시스템에 대한 이해를 돕게 한다. 이 때 결정되는 모형은 최소오차자승법(least square error method)에 의한 통계학적으로 가장 적합한 근사모형으로 결정된 모형의 계수로부터 시 스템의 물리적 특성을 규명(identify)할 수 없는 경우에도 그 모형으로 표현되는 추상시스템을 바탕으로 특성화, 예측 내지 제어 목적으로 활용할 수 있다. DDS는 단일변수(univariate)및 다 변수(multivariate) 자료에 모두 적용 가능하며 전달 함수 규명(Transfer Function Identification) 및 닫힘 루우프 시스템(closedloop system)의 모형화 및 해석에도 이용되고 있다.

• Annual Conference on Human and Language Technology
• /
• 2020.10a
• /
• pp.54-59
• /
• 2020

사실 불일치 교정은 기계 요약 시스템이 요약한 결과를 실제 사실과 일치하도록 만드는 작업이다. 실제 요약 생성연구에서 가장 공통적인 문제점은 요약을 생성할 때 잘못된 사실을 생성하는 것이다. 이는 요약 모델이 실제 서비스로 상용화 하는데 큰 걸림돌이 되는 부분 중 하나이다. 본 논문에서는 원문으로부터 개체명을 가져와 사실과 일치하는 문장으로 고치는 방법을 제안한다. 이를 위해서 언어 모델이 개체명에 대한 문맥적 표현을 잘 생성할 수 있도록 학습시킨다. 그리고 학습된 모델을 이용하여 원문과 요약문에 등장한 개체명들의 문맥적 표현 비교를 통해 적절한 단어로 교체함으로써 요약문의 사실 불일치를 해소한다. 제안 모델을 평가하기 위해 추상 요약 데이터를 이용해 학습데이터를 만들어 학습하고, 실제 시나리오에서 적용가능성을 검증하기 위해 모델이 요약한 요약문을 이용해 실험을 수행했다. 실험 결과, 자동 평가와 사람 평가에서 제안 모델이 비교 모델보다 높은 성능을 보여주었다.

• Applied Microscopy
• /
• v.37 no.2
• /
• pp.73-82
• /
• 2007

The antennae of millipedes have a prominent function in detecting various types of environmental stimuli. The structural modification of the antennae is closely associated with the degree of sense recognition. Here we study functional morphology of the antennae of the millipede Cawjeekelia pyongana using field emission scanning electron microscope (FESEM). The antennae generally include eight segments, called articles. On the surface of the antennae, there are a variety of sensory receptors which include olfactory and mechanical receptors. We could identify four different types of antennal sensory organs in C. pyongana as follows: apical cone (Ac), trichoid sensilla (Ts), chaetiform sensilla (Cs) and basiconic sensilla (Bs). The most prominent of which is four APs at the 8th article. Both of the Is and the Cs are abundantly observed almost all of the antennal segments. They are long and strong bristles with longitudinal grooves acuminating toward the tip. The Bs is further divided into three subtypes: large basiconic sensilla $(Bs_1)$, small basiconic sensilla $(Bs_2)$ and spiniform basiconic sensilla $(Bs_3)$. The $Bs_1$ is located at the 5th and 6th articles, while the $Bs_2$ and $Bs_3$ can be seen at the 5th and at the 7th article, respectively.

• Journal of Software Engineering Society
• /
• v.13 no.3
• /
• pp.45-54
• /
• 2000

실시간 시스템은 특정 시간 내에 요구하는 정보를 제공해주는 시스템이다. 즉 실시간 시스템에서 요구되는 시간을 충족하지 못할 경우 시스템의 신뢰도는 급격히 감소하며, 요구되는 시간의 범위를 넘어서서 제공되는 정보는 활용도와 가치에 있어서 거의 무의미하게 된다. 이러한 실시간 시스템의 성공적인 동작을 보장하기 위해서는 보다 정확한 시스템 설계가 중요하다. 특히 실시간 시스템에서 필요로 하는 여러 종류의 시간제약에 대한 풍부한 표현력과 명세 된 시간에 대한 검증이 중요하다. 본 논문은 특정 시점(time points)과 시간 간격(time intervals), 주기(period), 이산 시간(discrete time)으로 연속적인 시간(continuous time) 표현, 다수의 타이머에 의한 지역 시간과 전역시간 등의 시간 관련 동작을 ATM(Abstract Time Machine)을 기반으로 명세하고 명세하고 명세 된 시간에 대한 분석 방법을 살펴본다.

• Journal of KIISE:Software and Applications
• /
• v.27 no.9
• /
• pp.973-985
• /
• 2000

함수형 프로그래밍 언어는 전통적인 프로시저형 언어에 비하여 많은 장점이 있다. 그러나 함수 언어 프로그래머를 위한 실용적인 디버깅 환경은 상대적으로 빈약하다. 그동안 유용한 디버거 구현을 위해서 많은 시도가 있었고, 그 결과로 하향식 기법으로 이용한 알고리즈믹 디버거와 상향식 기법을 이용한 레덱스 트레일 디버거가 연구되었다. 두가지 기법은 모두 실제 프로그래밍에 적용하기에는 유지해야 하는 디버깅 정보의 양이 많다는 단점이 있다. 이 논문에서는 선택적 레덱스 트레일 디버깅 방법을 제안한다. 이 방법을 이용하면 디버거 사용자는 프로그램에서 오류가 예상되는 부분에 포커스를 설정할 수 있고 단지 선택된 부분에 한하여 트레일을 생성하게 된다. 이 방법은 프로그램의 오류에 대한 디버거 사용자의 예측을 반영하고 디버깅에 필요한 정보의 양을 줄이는 장점이 있다. 구현된 디버깅 시스템은 선택적 레덱스 트레일을 생성하는 추상기계와 실제 디버깅이 이루어지는 레덱스 트레일 탐색기로 구성된다.

• Tribology and Lubricants
• /
• v.18 no.3
• /
• pp.228-234
• /
• 2002

Generally, space structures are subjected to severe situations, such as, sublimation, strong evaporation of lubricants, thermal stresses, high temperature gradients, irradiation, impacts by microscopic meteorites, and other factors. Recent]y, various kinds of coatings are applied to the parts under heavy contact stresses, in order to insure long wear-free lives and/or reduce friction coefficients. In space structures, molybdenum disulfide is using frequently. Moreover TiN, Al$_2$O$_3$, PTFE(Poly Tetra Fluor Ethylene) are introduced recently for space structure. In this part we are going to apply the partial model method, developed in reference[11] to analyze part with coated layer. In referencer[l1], we compute the reasonable size of partial model and aspect ratio. Using these data, we analyze the structures coated with TiN, Al$_2$O$_3$, PTFE under contact load, temperature and crack model . Beside, we consider the stress analysis under time dependent load and transient thermal effect.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.2329-2332
• /
• 2002

G-machine은 지연 함수형 언어를 효율적으로 구현하기 위한 추상기계이다. G-machine은 축약 과정에서 생성되는 그래프를 저장하기 위해서 많은 기억장소를 필요로 한다. 본 논문은 힙에 할당되는 그래프 노드 중 AP 노드를 재사용하는 방법을 제시한다. 일반적으로 AP 노드를 루트로 하는 그래프가 한 단계 축약된 후 다시 AP 노드를 루트로 하는 그래프로 구성되어지는 경우 루트 노드를 재사용할 수 있다. 이를 위해서는 기존 G-machine을 약간 확장 시켜야 하는데, 본 논문에서는 AP 노드의 일부를 변경하기 위한 명령어 UPDL과 UPDR을 제시하고, 이들 명령어의 상태변환 규칙과 이들 명령어 생성을 위해 수정된 R-변환 규칙을 제시한다. 본 논문에서 제시하는 방식으로 기 생성된 AP 노드를 재사용함으로써 힙 기억공간의 사용량을 줄일 수 있고, 이 과정에서 힙 기억장소 할당과 쓰기 연산의 수를 줄일 수 있다.

• Journal of the Korean housing association
• /
• v.15 no.6
• /
• pp.15-25
• /
• 2004

This study examined how the characteristics of abstractive form among various contenporary housing architecture have been expressed. The conclusions were: First, abstractive characteristics and types related to from expression of contemporary housing architectures were minimal form and absolute form of geometrical abstraction, plastic form and atypical form of expressive abstraction and mechanical aesthetics of industrial abstraction. Second, the typological form expression characteristics in minimal expression related to geometrical abstraction were simplicity, purity, and the properties of matter, and the characteristics in absolute expression were overlapping, obliqueness and dispensability. On the other hand, plasticity and mobility of materials were distinctive in plastic form expression, and inclination, curve and asymmetry were distinctive in atypical expression. The distinctive nature of mechanical aesthetics related to industrial abstraction included transparency, simplicity and. the properties of matter Funhermore, the study aimed at the understanding of various from expressions showed up in contemporary housing architecture, revealing the aspects of abstractive form expression characteristics.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.415-417
• /
• 2000

ATA(Abstract Timed Machine)은 실시간 시스템을 순환공학에서 명세하기 위해 고안된 LTS(Labeled Transition System)이다. ATM은 상태 기반 명세 언어의 문제점이라 할 수 있는 상태폭발을 해결하기 위해 새로운 개념의 모드를 정의하였으며, 아키텍쳐 기반으로구성되어 시스템이 이해를 높일 수 있도록 하였다. 또한 통신, 시간, 예외시간 등의 다양한 실시간 시스템의 속성을 표현한다. 그러나 실시간 시스템은 이 외에도 자원의 한계와 통신 수행의 경쟁 등으로 인해 많은 계약을 가진다. PATM(Probabilistic ATM)은 자원의 사용이나 통신의 수행에 많은 경쟁을 하는 시스템의 동작의 성공과 실패를 확률로써 표현하여 시스템의 동작을 예측하며 내고장성(fault tolerance)을 동적으로 수행할 수 있도록 하기 위해 ATM을 확률의 개념으로 확장한 것이다. 본 논문에서 내고장성은 환경 요소를 파라미터로 하는 확률 함수에 의해 이루어 진다. 본 논문에서는 기존 ATM을 간단히 소개하고, PATM이 필요한 이유와 PATM의 정의, PATM이 동적인 상황에서 어떻게 작용하는지에 대해 기술한다.

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

본 논문은 ATM(Abstract Timed Machine)에 대해서 기술한다. ATM 은 임무 위급 시스템과 같은 실시간 시스템을 명세, 분석 및 검증할 수 있는 정형 기법이다. ATM 은 모드(mode), 전이(transition), 포트(port)로 구성된다. 모드는 머신의 압축된 상태를 의미하고 전이는 모드와 모드 사이의 변화를 말한다. 포트는 ATM 들 사이의 상호작용을 위한 진입을 나타내기 위한 것이다. ATM 은 소프트웨어 순환 공학을 위해 디자인 되었다. ATM은 재/역공학적 측면에서 계산 이론과 더불어 기존의 실시간 시스템의 소스코드에 대한 디지안 및 환경 정보를 나타낸다. 본 논문은 병렬성, 병렬적으로 동작하는 엔터티들 사이의 제어 정보이 흐름, ATM 타입과 클래스로부터의 인스턴스, 비/동기적 이벤트, 포트와 이벤트 타입, 포트의 타입, 통신, 입/출력, 예외처리, 시간에 관한 요구사항, 다수를 대상으로 하는 통신 주기적 작업등과 같은 ATM의 여러 개념을 기술하고 이러한 속성들을 Producer-Buffer-Consumer 예제로 살펴본다.