• 한국게임학회 논문지
• /
• 제4권1호
• /
• pp.58-66
• /
• 2004

본 논문에서는 반례를 도달성 게임 풀이에 활용했다. 도달성 게임이란, 게임 규칙을 준수하면서 초기 상태에서 목표 상태로 가는 경로를 찾는 것이다. 게임의 초기 상태를 유한 상태 모델로 표현하고 목표 상태의 부정(오답)을 시제 논리식으로 표현해서 모델 검사기에 입력하면, 반례로 오답에 대한 부정 즉 정답을 출력한다. 다시 말해서 반례로 출력된 것이 문제를 해결하는 정답인 것이다. 이와 같은 아이디어를 푸쉬푸쉬 게임 풀이에 적용했다. 그 결과 크기가 작은 푸쉬푸쉬 게임의 경우 게임을 해결하는 최단 경로를 쉽게 찾아냈다. 그러나 게임의 크기가 큰 경우 제한된 시간(실험에서는 3시간)내에 찾아내지 못했다. 왜냐하면 게임의 크기가 커질 경우 검사해야할 상태의 수가 지수적으로 증가하는 상태 폭발 문제가 발생했기 때문이다. 상태 폭발 문제를 해결하기 위해 추상화 기법을 이용해서 검사해야 할 상태공간을 축소하였다. 상태 공간을 줄인 결과, 기존 모델체킹으로 해결하지 못했던 게임을 풀 수 있었다.

• 인터넷정보학회논문지
• /
• 제3권1호
• /
• pp.41-49
• /
• 2002

MPLS망에서 루프 경로가 형성되는 것을 방지하기 위한 방안으로 Ohba는 칼라 스레드 알고리즘을 제안하였다. LSP를 설정할 때 중간 노드가 칼라와 홉 카운트, TTL 값으로 표현된 스레드 정보를 LDP메시지를 이용하여 다운스트림 노드에게 전달한다. 그 다음 같은 칼라의 스레드가 다시 접수되면, 루프 경로가 형성되었음을 감지하고 다른 경로의 탐색을 시도한다. 메시지가 egress 노드에 도착하면 ingress 노드까지 업스트림으로 확인 메시지를 역 전송하여, 루프가 없는 경로를 설정한다. 이를 위해 Ohba가 스레드의 상태를Null, Colored, Transparent의 세 가지로 정의한 것을Extending, Merging, Stalling, Null, Transparent의 5가지로 확장하여 정의하고, 이에 따라 관련 FSM과 TCB를 재정의 하여 스레드 상태의 모호성으로 인한 잘못된 동작과 오버로드의 발생을 개선코자 하였다. 그리고, Stalling 상태에서 스레드 생성을 회피함으로써, 성능의 향상을 유도하였다.

• 한국시뮬레이션학회논문지
• /
• 제21권1호
• /
• pp.9-17
• /
• 2012

워게임 시뮬레이션은 전장의 상황을 모델링하고 전력 평가나 임무 분석을 위해 사용되고 있다. 그러나 워게임 시뮬레이션에서 실제 전장에서 받을 수 있는 영향을 모두 고려하는 것은 매우 복잡하다. 이를 해결하기 위해 우리는 온톨로지 기반의 경로탐색 모델을 제안한다. 이 모델은 전장 상황 데이터를 개념화하고 그 관계를 표현할 수 있는 온톨로지를 사용한다. 또한, 몇 가지 추론 규칙을 정의하여 온톨로지로 부터 새로운 지식을 만들거나 기존의 규칙을 통해 지식을 공유한다. 제안하는 모델의 성능 평가를 위해 우리는 제한된 시뮬레이션 환경을 구성하고 부대 이동 시간, 부대의 전투력, 부대 이동간 소요 비용을 측정한다. 측정된 실험의 결과는 제안하는 모델이 이동 시간과 전투력 손실, 소요 비용 측면에서 이점을 제공한다는 것을 보여준다.

• 한국지진공학회논문집
• /
• 제2권1호
• /
• pp.71-78
• /
• 1998

본 연구는 점탄성 감소기가 설치된 건물의 고유치 해석을 위하여 라그라란지 승수 방법(Lagrage multiplier formulating)을 이용하였다. 특성방정식은 건물의 고유진동수, 감소기가 설치된 층의 모드 성분, 감쇠기의 점성 및 강성에 관계된 식으로 나타났으며, 감쇠기의 점성으로 인하여 복소수의 형태로 표현이 되었다. 유도된 특성방정식은 고유치 해석을 위한 일반적인 형태의 식이 아니므로 본 연구에서는 그림 해석을 통하여 감쇠기의 설치로 인한 점성과 증가로 건물의 복소 고유진동수의 변화를 분석하는 방법을 제시하였다. 그림 해석으 결과에 따르면 감쇠기의 점성과 강성으로 인한 복소 고유진동수의 물리적인 의미를 확인할 수 있으며, 최소 및 최대값을 예측할 수 있다. 또한, 복소 고유진동수를 실수의 고유진동수와 모드 감쇠비로 변환하여 상태방정식에 의한 방법의 결과와 비교하여 정확성을 검증하였다.

• 한국정보과학회논문지:데이타베이스
• /
• 제28권1호
• /
• pp.104-114
• /
• 2001

XML은 웹에서 데이터를 주고받는 표준으로 새로이 등장하고 있다. 이러한 데이터를 잘 처리하기 위하여 데이터베이스의 도움은 필연적이다. XML을 처리하는 데이터베이스에서 데이터는 트리 형태로 저장되며 질의어는 정규 경로식(regular path expression)의 특징을 가지고 있다. 이때 질의 처리는 트리의 각 노드 탐색을 통하여 수행된다. 본 논문에서는 시그니처를 이용한 저장 방법 및 질의 처리를 통하여 질의 수행 시 각 노드의 탐색 횟수를 줄여 질의 수행을 빠르게 할 수 있게 한다. 뿐만 아니라 반 구조적 데이터에 대한 인덱스도 데이터베이스 내에서 반구조적 데이터로 표현된다. 그러므로 본 논문에서 제안한 방법을 인덱스 노드에도 적용할 수 있다. 이와 같이 본 논문에서 제안한 방법은 데이터 객체와 인덱스 객체의 탐색을 줄임으로서 XML 질의를 빠르게 처리할 수 있게 한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권11호
• /
• pp.1136-1140
• /
• 2010

Esterel 언어는 동기 (synchronous)식 절차(imperative)형 언어로 유한 상태 기계 (finite state machine)를 기반으로 한 정형적 의미구조를 가지고 있어 오토마타를 이용한 프로그램 분석에 매우 용이하다. 본 논문에서는 프로그램의 수행 과정이 필요 없는 문법 구조 바탕의 오토마타 생성 규칙을 제안한다. 우리의 생성 규칙은 문법 구조를 직관적으로 표현하고 모든 가능한 경로를 나타내기 때문에 다양한 분석을 적용하기에 적합하다.

• 한국통신학회논문지
• /
• 제22권5호
• /
• pp.1007-1017
• /
• 1997

본 연구에서는 생존 트래픽의 비율로 정의되는 생존도가 아닌 트래픽의 중요도에 따라 통신재난의 영향을 평가할 수 있는 척도로서 새로운 통신만 생존도 평가모형을 제시한다. 제시하는 생존도 평가척도에 근거하여 장애발생시 우회경로를 발견하고 복구 트래픽을 할당하는 최적화 모형을 수립한다. 최적화 모형은 신호복구수준과 트래픽 분할에 따라 구분되면 이들은 모두 정확한 해를 구하기 어려운 혼합정수계획문제로 표현된다. 따라서 모형별로 휴리스틱 해법을 제시하고 노드 10개, 링크 17개의 망에 적용하여 결과를 비교한다.

• 대한교통학회지
• /
• 제23권1호
• /
• pp.103-114
• /
• 2005

서울시 대중교통체계개편에서 요금부과방안은 기본적으로 거리비례제에 근거하고 있다. 거리비례제에서 요금은 일정거리까지의 통행에 따른 기본요금과 수단적 환승에서 발생하는 환승요금, 일정거리 이상의 통행에 따른 할증요금으로 구분하여 부과된다. 본 연구는 거리비례제에 따른 요금부과 시 순차적으로 정렬된 K개의 요금경로를 탐색하는 K요금경로탐색알고리즘을 제안한다. 이를 위해 다수의 대중교통수단이 존재하는 복합교통망에서 링크표지기법을 적용하여 네트워크확장이 요구되지 않도록 하였으며, 동일링크를 통행하는 복수의 통행순단을 각각의 개별링크로 처리되도록 구축하였다. 따라서 본 연구에서 제안하는 K요금경로탐색알고리즘은 수단과 관련된 별도의 표식이 요구되지 않으므로 단일수단 교통망에 확용되는 K경로탐색알고리즘이 직접 적용될 수 있다. 본 연구는 또한 출발지에서 수단을 탑승한 이용자에게 요금이 부과되는 과정을 복합교통망에서 나타내가 위하여 출발지를 기준으로 탐색되는 인접된 두 링크에 대해서 기본요금, 환승요금, 할증요금이 계산되어 합산되는 과정을 수식으로 표현하였다. 이 수식을 K개의 원소를 포함하는 재귀벡터형태(Recursive Vector Formula)로 전화하여 K요금경로탐색을 위한 최적식과 알고리즘을 제안하였다. 간단한 사례연구를 통하여 알고리즘 수행과정을 검증하고 향후에 연구진행방향에 대하여 서술하였다.

• 한국감성과학회:학술대회논문집
• /
• 한국감성과학회 1999년도 추계학술대회 논문집
• /
• pp.362-367
• /
• 1999

본 연구에서는 정신분열증 환자들이 정서상태를 개념화하고 얼굴표정을 통하여 타인의 정서 상태를 판단하는 과정을 정상인과 비교하였다. 연구1에서는 만 19세-46세의 정신분열병 환자 19명에게 정서 관련 형용사 15개로 구성된 105개의 형용사 쌍에 대하여 유사성을 평정하도록 하여 MDS로 분석한 결과, 쾌/불쾌와 각성의 두 차원이 일관되게 보고되고 있는 정상집단과는 달리 정신분열병 집단의 자료에서는 쾌/불쾌 차원만이 뚜렷하게 나타나고 각성 차원은 얻어지지 않았다. 연구 2에서는 다양한 정서를 표현한 얼굴 사진 28개를 정신분열병 환자 30명과 대학생 31명에게 제시하고 각 사진의 인물이 경험하고 있는 내적 상태를 쾌/불쾌와 각성의 두 차원에 대하여 각각 7점 척도로 평정하도록 한 결과 정신분열병 집단은 대학생 집단에 비하여 쾌/불쾌 차원에서는 보다 긍정적으로 평정하는 경향이, 각성 차원에서는 상대적으로 낮게 평가하는 경향을 나타냈다. 특히 부정적이고 각성 수준이 높은 내적 상태를 표현하는 사진 자극에 대하여 정신분열병 환자 집단이 각성수준을 과소평가하는 경향이 두드러지게 나타났다. 이와 같은 결과를 종합하여 볼 때, 정신분열병 환자들은 정서상태의 개념화 과정에서 각성 차원에 대하여 상대적으로 낮은 민감도를 보이고 있으며, 특히 부정적인 정서상태를 표현하는 얼굴들에 대란 판단에서는 각성 차원을 과소평가하여 높은 각성수준을 나타내는 표정과 낮은 각성수준을 변별하는데 어려움을 보이는 것으로 해석될 수 있다. 본 연구의 결과는 정신분열병 환자들은 자율신경계의 높은 각성 수준으로 인하여 각성 수준을 더 높일 가능성이 있는 자극을 회피하는 경향이 있다는 Mednick의 가설과 일관되는 결과로 이들의 각성 수준에 대한 낮은 민감도는 방어적인 회피성향의 지속에 따른 둔감화의 결과로 해석될 수 있다. 효과는 GSR를 비롯한 자율신경계지표에서 잘 반영되었다.^2$=.792가 되었다. 설명되는 누적분산값은 67.18%였다.주관적 평가의 결과와 객관적 평가 결과를 이용해 마직물의 태를 평가하는 산출식을 제시하였다. 태 평가치의 경우 16가지 특성치를 모두 넣는 방법과 stepwise 방법, 또 Kawabatark 사용한 순차적 군 회귀법의 세가지 방법의 회귀식 중 16가지 특성치를 모두 넣는 방법의 결정계수가 가장 높았다.tosterone농도는 107.7$\pm$12.0 pmol／l이었고, 남성의 타액내 농도는 274.2$\pm$22.1 pmol／l이었다. 이상의 결과로 보아 본 연구에서 정립된 EIA 방법은 RIA를 대신하여 소규모의 실험실에서도 활용할 수 있을 것으로 사려된다.또한 상실기 이후 배아에서 합성되며, 발생시기에 따라 그 영향이 다르고 팽창과 부화에 관여하는 것으로 사료된다. 더욱이, 조선의 ${\ulcorner}$구성교육${\lrcorner}$이 조선총독부의 관리하에서 실행되었다는 것을, 당시의 사범학교를 중심으로 한 교육조직을 기술한 문헌에 의해 규명시켰다.nd of letter design which represents -natural objects and was popular at the time of Yukjo Dynasty, and there are some documents of that period left both in Japan and Korea. "Hyojedo" in Korea is supposed to have been influenced by the letter design. Asite- is also considered to have been "Japanese Lett

• 한국의류학회지
• /
• 제25권9호
• /
• pp.1681-1692
• /
• 2001

본 연구는 광복 이후 현재까지 첫돌 복식 변화를 시대적으로 고찰, 그 변화 양상과 영 향 요인을 규명하는 것을 목적으로 하고 있다. 연구 방법은 문헌 고찰과 사진 자료를 통한 내용 분석을 주로 하였다. 더불어 자료의 보충을 위해 첫돌 의례와 관련된 주변 인물들-가족, 기성 아동 한복 유통 상인, 상업적 사진사 등-의 면접 조사도 병행하였다. 이상의 연구를 통해 다음과 같은 결과를 얻었다. 1940년대 중반∼50년대 초에는 해방 이후 혼란과 전란으로 인한 물자의 부족으로 첫돌 의례의 명분은 남아있으나 복식 문화는 공백기를 맞는다. 1950년대 중반이후 60년대 전반기는 미국의 경제 원조와 섬유 공업 활성화로 의료의 공급이 원활하여 전기에 비해 의례적 의미를 지닌 첫돌 복식의 착용이 가능해 졌다. 전통 한복을 기본으로 한 위에 서양식 복식 품목들이 섞여서 나타나고 있다 60년대 후반에서 1970년대의 두드러진 양상은 기성복 산업 의 발달로 전문적 인 기성복 시장이 형성되었고 이는 기성복화 된 첫돌 복식의 일습 개념을 등장시키게 하였다. 또한 한복이 예복화 되는 경 향이 두드러지게 나타났던 시기로 70년대 후반의 칼라 필름의 보급은 금박과 자수와 같은 다양한 재료와 재단 방법을 사용한 장식화 된 첫돌 복식의 사용을 가속화 시 켰다. 특히 70년대 중반에 소수의 일반에게 입혀졌던 궁중복식의 하나인 당의가 소매없는 당의로 바뀌어 여아의 돌옷으로 입혀지기 시작하였다. 1980년대 전반기는 칼라 TV의 보급, 비디오 촬영의 보편화로 한복이던 양복이던 일습화 된 첫돌 복식이 대중적으로 정착하게 되었다. 후반기에는 국내의 국제적인 행사의 유치와 전통 복식 소개를 위한 전시들을 계기로 왕실 복식에 대한 관심이 고조되었다. 이로 인해 여아에게 소매없는 당의를 입히고 남아에게 용포를 입히는 유행이 가속화되었다. 또한 서양식 예복을 입히는 유행이 시작되었다. 90년대에 들어와 아기 전문사진점의 등장은 1 회적인 첫돌 의례에 한복과 서양식 예복, 일상복 등을 다양하게 착용시키는 계기를 가져오게 하였다. 이상과 같은 다양한 변화 양상에도 불구하고 첫돌을 기념하기 위해 특별한 옷을 마련하고자 했으며, 그 복식의 구성 이 전통적인 일습 개념을 꾸준히 지향해 온 경향을 보여주고 있다. 반면 최근 과열된 아동 산업은 보다 다양한 복식을 입혀서 촬영한 사진으로 특별하게 꾸민 상업적인 기념물들을 남겨주게 하고 있다. 비록 특별한 옷을 준비하여 아동에게 입히는 행위는 유사한 표현 양태이나 지나치게 많은 옷을 갈아 입히는 표현 방식은 지양되어야할 것이다