• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2008년도 춘계학술발표대회
• /
• pp.553-556
• /
• 2008

임계구역을 가진 공유 메모리 기반의 병렬 프로그램에서 발생하는 경합은 프로그래머가 의도하지 않은 비결정적인 수행 결과를 초래하므로 반드시 디버깅해야 한다. 이러한 경합을 수행 중에 탐지하는 기존의 기법들은 임계구역의 실행순서에 의해서 발생하는 내부적 비결정성이 존재하지 않는 프로그램에 대해서만 경합의 존재를 검증할 수 있다. 본 논문에서는 내부적 비결정성을 가진 프로그램에 존재하는 비결정적 접근사건을 정적으로 분석하고, 이 정보를 이용하여 수행 중에 경합을 탐지함으로써 잠재되어 있는 경합까지 탐지할 수 있는 도구를 제안한다. 제안한 도구는 비결정성이 포함된 합성프로그램과 공인된 OpenMP 벤치마크 프로그램인 Microbenchmark를 이용하여 경합 검증이 가능함을 보인다.

• 한국통신학회논문지
• /
• 제18권10호
• /
• pp.1572-1581
• /
• 1993

프로토콜을 명세할때 결정적 유한상태기계(Deterministic Finite State Machine)가 프로토콜의 제어 흐름을 쉽게 나타낼 수 있어서 시험항목 생성시 주로 사용되었으나, 실제의 프로토콜들은 한개의 입력에 의해서 한개 이상의 상태로 천이가 발생하는 비결정성(Nondterminism)문제들을 내포할 수 있으므로 결정적 유한상태기계로는 비결정성 문제를 처리할 수 없다. 따라서 본 논문에서는 프로토콜을 먼저 프로토콜의 비결정성 특성을 잘 나타낼 수 있는 비결정적 유한상태기계(Nondeterministic FSM)로 나타내고, 이를 결정적 유한상태기계를 변환하기 위한 알고리즘을 제시하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.145-147
• /
• 2000

Statechart는 기존 상태추이도를 확장한 것으로서, 반응시스템을 명세하기 위해 제안된 가시적 정형기법이다. 그러나 statechart에서의 비결정성은 실시간 시스템에서의 예측가능성에 심각한 문제를 유발할 수 있다. 또한, 이를 해결하기 위한 기존의 우선순위 표현방법은 statechart의 비결정성을 완전히 해결하지 못하고 있을 뿐 아니라 실시간 시스템에서 요구하는 다양하고 동적인 우선순위 변화를 표현하기에 부적합하다. 이와 같은 문제점을 해결하기 위하여 본 논문에서는 미리 예측가능하고 동적으로 우선순위 변화에 표현하기에 부적합하다. 이와 같은 문제점을 해결하기 위하여 본 논문에서는 미리 예측가능하고 동적 우선순위를 변화시킬 수 있는 동적 우선순위 개념을 제안한다.

• 정보처리학회논문지A
• /
• 제17A권1호
• /
• pp.9-18
• /
• 2010

OpenMP와 같은 공유 메모리 기반의 병렬 프로그램에서 발생하는 경합은 프로그래머가 의도하지 않은 비결정적인 수행 결과를 초래하므로 반드시 탐지되어야한다. 이러한 경합의 존재를 수행 중에 검증하는 기존의 기법들은 내부적 비결정성이 존재하지 않는 프로그램에 대해서만 가능하다. 하지만 이 조건을 만족하지 못한다면 경합검증을 위해서 각 임계구역마다 적어도 N! 만큼의 프로그램 수행이 필요하다. 여기서 N은 탐지 대상 프로그램이 가진 최대 병렬성을 의미한다. 본 논문에서는 프로그램 슬라이싱을 이용하여 내부적 비결정성을 가진 프로그램에 존재하는 비결정적 접근사건을 정적으로 분석하고, 이 정보를 이용하여 한번의 수행으로 실제 경합뿐만 아니라 잠재적 경합까지 탐지할 수 있는 경합 전처리기를 제안한다. 제안된 도구는 OpenMP 병렬 프로그램에서 발생할 수 있는 비결정적 접근사건들에 대해서 항상 결정적으로 감시할 수 있으므로 임계구역 가진 프로그램 모델에 적용할 수 있는 어떠한 경합탐지 프로토콜을 사용하더라도 경합 검증이 가능하다. 본 도구의 실험적 증명을 위해서 비결정성이 포함된 합성 프로그램, 공인된 벤치마크 프로그램인 OpenMP Microbenchmark, NAS Parallel Benchmark, 그리고 OpenMP 응용 프로그램을 이용하여 제안된 도구의 정확성을 보인다.

• 유변학
• /
• 제5권2호
• /
• pp.170-179
• /
• 1993

결정성 고분자/비결정성 고분자/충격보강재의 조합으로 이루어진 열가소성 삼성분계 블렌드의 미세구조 조절이 기계적 및 열적 거시물성에 미치는 영향을 살펴보았다. 결정성 고분자로는 나일론6를 비결정성 고분자로는 변성폴리페닐린 옥사이드(PPO)를 충격 보강재 로는 스티렌-에틸렌부틸렌-스티렌(SEBS) 삼중블록 공중합체를 사용하였고 비상용인 나일 론6와 변성 PPO 사이의 상용화를 위해 반능 상용화(reactive compatibilization)방법을 사용 하였다. 반응 사용화에 사용된 반응기로는 나일론의 말단기에 있는 친핵성기인 아민기와 반 응성이 높은 친전자성기인 무수말레인산(MAH)을 충격보강 고부 SEBS에 그라프트시켜 충 격보강 고무내의 SEBS-MAH의 함량을 증가시킴에 따라 처음에 PPO 분산상에 있던 고무 가 나일론 연속상으로 이동하는 현상을 관찰하였다. 이러한 충격보강 고부의 SEBS-MAH 함량 증가에 의한 PPO 분산상에서 나일론상으로의 이동이 내충격성의 향상 및 내열성의 저 하와 밀접한 관계가 있다는 것을 알았다.

• 한국유변학회:학술대회논문집
• /
• 한국유변학회 2002년도 추계학술발표회 논문집
• /
• pp.135-138
• /
• 2002

• 한국실내디자인학회:학술대회논문집
• /
• 한국실내디자인학회 2005년도 추계학술발표대회 논문집
• /
• pp.155-160
• /
• 2005

This study is focused on the indeterminancy of the contemporary social structure based on the philosophical concept of relationship. The indeterminate relationship is one of the prominent characteristics of contemporary architecture. This study aims to clarity the indeterminate programs of the contemporary urban spatial structures. By tracing this new characteristics of new architectural trend, the spatial situations of could be understood in light of new conceptual frame as well as some relevant architectural project cases.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2007년도 추계학술대회 논문집
• /
• pp.325-326
• /
• 2007

• 한국고분자학회지:고분자과학과기술
• /
• 제5권4호
• /
• pp.344-352
• /
• 1994

• 한국섬유공학회:학술대회논문집
• /
• 한국섬유공학회 1990년도 제2차 학술발표초록집
• /
• pp.21-22
• /
• 1990