• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권2호
• /
• pp.325-325
• /
• 1999

This paper presents a locally deterministic abstract machine for a new process model LocPi which is based on a subset of asynchronous polyadic π-calculus and enriched with locations and process mobility. Our calculus has a primitive for migrating and spawning a process to a location(remote site), but does not explicitly represent the place which a process are running at. Running processes may have names attached with their locations and the communication reductions can occur only on located names. So we present how to assign locations to unlocated names. Without a global channel environment, these located names enable us to locate the place which input actions occur at and output messages should be sent to.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.477-479
• /
• 2000

최근 대부분의 시스템은 즉각적인 정보를 요구하는 실시간 시스템이다. 실시간 시스템은 오류에 대한 유연적인 대체를 필요로 하는 내고장성 시스템(fault tolerant system)의 개념을 지향한다. 내고장성 시스템은 보다 정확한 시스템 설계가 중요하며, 특히 실시간 시스템에서 필요로 하는 여러 종류의 시간제약에 대한 풍부한 표현력과 명세된 시간에 대한 검증이 중요하다. 본 논문은 특정 시점과 시간 간격, 주기, 이산 시간, 다수의 타이머에 의한 동적 등의 시간 관련 동작을 ATM(Abstract Timed Machine)에 기반으로 명세하고 명세된 시간에 대한 분석을 살펴본다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권12호
• /
• pp.926-939
• /
• 2002

시스템이 실행 중 다양한 환경 요인에 의해 발생할 수 있는 불확실성을 명세하기 위해 확률의 개념을 적용한 명세 방범이 요구되고 있다. 본 논문에서는 실행에 영향을 주는 많은 환경 요인들을 고려하여, 변화하는 실행 환경에서 시스템의 행위를 예측, 분석하기 위한 확률 정형 기법인 확률 추상 시간 기계(PATM:Probabilistic Abstract Timed Machine)를 제안한다. PATM에서는 확률에 영향을 주는 환경요인을 실행 도중 변경이 가능한 가변 확률 요인과 변경이 불가능한 고정 확률 요인으로 분류하고 있다. 시스템의 행위에 대한 분석은 PATM의 동적 실행모델인 확률 도달성 그래프를 통해서 이루어진다. 분석결과를 토대로 시스템의 동작 실패 가능성을 예측하고, 이에 영향을 미치는 가변 환경 요인을 변경하여 궁극적으로 시스템의 신뢰도를 향상할 수 있도록 한다.

• Applied Microscopy
• /
• 제39권2호
• /
• pp.141-147
• /
• 2009

노래기는 눈의 기능이 퇴화된 야행성 동물로서, 외부 환경으로부터 오는 자극을 감지하는 발달된 촉각을 가진 대표적인 절지동물이다. 계림갈퀴노래기 촉각의 미세구조를 주사전자현미경을 이용하여 분석한 결과, 대형의 말단원추 감각기 (AP) 4개와 모상 감각모 (CS), 관상 감각모 (TS), 추상 감각모 (BS) 등 3종류의 감각모가 구분되었다. 기계적 자극을 수용하는 모상 감각모와 관상 감각모는 말단 마디를 제외한 모든 마디에 고루 분포되어 있었고, 화학적 자극을 수용하는 추상 감각모는 제5마디부터 제7마디까지의 원위 말단부에 형성된 큐티클 함몰부에서만 특이적으로 관찰되었다. 추상 감각모는 미세구조적 특징에 따라 다시 3종류가 구분되었는데, 길이가 긴 제1형 ($BS_1$)은 제5마디에 분포되어 있었고, 길이가 짧은 제2형 ($BS_2$)은 제6마디에, 그리고 가시모양의 제3형 ($BS_3$)은 제7마디에만 분포되어 있음이 확인되었다. 특히, 노래기 종류에 따라 촉각에 분포된 추상 감각모의 개수와 분포 양상 등은 종간의 차이가 현저하여 분류학적 형질로 적용할 수 있을 것으로 사료된다.

• 기계저널
• /
• 제22권6호
• /
• pp.456-462
• /
• 1982

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

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2020년도 제32회 한글 및 한국어 정보처리 학술대회
• /
• pp.54-59
• /
• 2020

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

• Applied Microscopy
• /
• 제37권2호
• /
• pp.73-82
• /
• 2007

다지류 노래기의 안테나는 다양한 환경 자극을 감지하는 탁월한 기능을 가지고 있다. 안테나의 구조적 특성은 감각하는 자극의 종류와 밀접한 연관을 가지고 있으므로 본 연구는 띠노래기목의 평안노래기(Cawjeekelia pyongana)를 실험재료로 하여 다지류 안테나 표면의 미세구조를 주사전자현미경(FESEM)으로 관찰하였다. 노래기의 안테나는 8개의 마디로 이루어져 있었고, 큐티클의 표면에는 후각과 기계적 감각을 담당하는 다양한 종류의 감각기들이 형성되어 있었다. 평안노래기 안테나의 감각기들은 말단마디에 형성된 4개의 대형 원추말단(Ac) 감각기와 관상 감각모(Ts), 모상 감각모(Cs), 추상 감각모(Bs) 등 3종류의 감각모들로 이루어져 있음이 확인되었다. 관상 감각모는 제1마디를 제외한 전체 마디에 걸쳐 관찰되었고, 모상 감각모는 제4마디부터 제7마디까지, 그리고 추상 감각기는 제5마디부터 제7마디까지의 표면 함몰부에서만 관찰되었다. 추상 감각기는 그 미세구조적 특징에 따라 길이가 긴 제1형$(Bs_1)$과 길이가 짧은 제2형$(Bs_2)$, 가시 모양의 제3형$(Bs_3)$으로 다시 세분되었다. 제1형은 제5마디에만 분포되어 있었고, 제2형은 제5마디 및 제6마디에, 그리고 제3형은 제7마디에만 분포되어 있음이 확인되었다.

• 소프트웨어공학소사이어티 논문지
• /
• 제13권3호
• /
• pp.45-54
• /
• 2000

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

• Tribology and Lubricants
• /
• 제18권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.

• 한국주거학회논문집
• /
• 제15권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.