• Journal of Korea Game Society
• /
• v.4 no.1
• /
• pp.58-66
• /
• 2004

This paper uses counterexamples for solving reachability games. An objective. of the game we consider here is to find out a minimal path from an initial state to the goal state. We represent initial states and game rules as finite state model and the goal state as temporal logic formula. Then, model checking is used to determine whether the model satisfies the formula. In case the model does not satisfy the formula, model checking generates a counterexample that shows how to reach the goal state from an initial state. In this way, we solve many of small-sized Push Push games. However, we cannot handle larger-sized games due to the state explosion problem. To mitigate the problem, abstraction is used to reduce the state space to be che cked. As a result, unsolved games are solved with the abstraction technique we propose inthis paper.

• Journal of Internet Computing and Services
• /
• v.3 no.1
• /
• pp.41-49
• /
• 2002

Ohba has suggested the Colored Thread Algorithm to prevent looped path when LSP is to be setup. M immediate node sends thread information such as color, hop count. ill, to downs1ream node via LDP message for the set-up of LSP. Afterward, decides that the looped path is formed when it receives a message with a same colored thread that was sent to downs1ream node, and it searches another path. If the message reaches to the egress node, then acknowledged message is sent to upstream node as reverse direction to the ingress node to set up loop-free path. For the algorithm, Ohva has defined three thread states as Null, Colored, Transparent. In this paper, the state of thread is extended to 5 states such as Extending, Merging, Stalling, Null, and Transparent. By the way, related FSM and TCB was redefined to make clear the ambiguity of thread states which causes faulty actions and to remove overhead. And, to improve performance, it limits to generate a thread in the state of Stalling.

• Journal of the Korea Society for Simulation
• /
• v.21 no.1
• /
• pp.9-17
• /
• 2012

War-game simulation models the situation of a battlefield and has been used for evaluating fighting power and analyzing the occupation of a troop. However, in war-game simulation environment, it is very complex to consider all factors which can be influenced in real battlefields. To solve the problem of the consideration, we propose an ontology-based path finding model. This model uses an ontology to conceptualize the situation data of a battlefield and represents the relations among the concepts. In addition, we extract new knowledge from the war-game ontology by defining some inference rules and share knowledge by the established rules. For the performance evaluation of the proposed model, we made a limitation on the simulation environment and measure the moving time of a troop, the fighting capability of a troop, and the necessary cost while a troop is moving. Experimental results show that this model provides many advantages in aspects of the moving time, a loss of fighting capability, and the necessary cost.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.2 no.1
• /
• pp.71-78
• /
• 1998

The eigenvalue problem is presented for the building with added viscoelastic dampers by using component mode method. The Lagrange multiplier formulation is used to derive the eigenvalue problem which is expressed with the natural frequencies of the building, the mode components at which the dampers are added, and the viscoelastic property of the damper. The derived eigenvalue problem has a nonstandard form for determining the eigenvalues. Therefore, the problem is examined by the graphical depiction to give new insight into the eigenvalues for the building with added viscoelastic dampers. Using the present approach the exact eigenvalues can be found and also upper and lower bounds of the eigenvalues can be obtained.

• Journal of KIISE:Databases
• /
• v.28 no.1
• /
• pp.104-114
• /
• 2001

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

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.11
• /
• pp.1136-1140
• /
• 2010

Esterel is an imperative synchronous language and its formal semantic based on finite state machine makes it easy to perform program analyses using automata. In this paper, we propose a syntax-driven automata generation rule. Because our rule intuitively expresses syntactic structure, it is very useful for other program analyses.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.22 no.5
• /
• pp.1007-1017
• /
• 1997

The existing survivability measure is defined as the only ratio of survival traffic volume on the given traffic demand. In this paper we suggest a new network survivability evaluation model. Sinceit depends on the importance of traffic, we can evaluatethe affect of telecommunication disaster. With the suggested evaluation model we formulate optimization models for restoration paths and traffic assinment on them. The optimization models are represented as mixed integer programming problems, which are difficult to find exact solutions. We develop heuristic algorithms according to the optimization models and apply them to an example network with 10 nodes and 17 links.

• Journal of Korean Society of Transportation
• /
• v.23 no.1
• /
• pp.103-114
• /
• 2005

The transit fare resulted from the renovation of public transit system in Seoul is basically determined based on the distance-based fare policy (DFP). In DFP, the total fare a passenger has to pay for is calculated by the basic-transfer-premium fare decision rule. The fixed amount of the basic fare is first imposed when a passenger get on a mode and it lasts within the basic travel distance. The transfer fare is additionally imposed when a passenger switches from one mode to another and the fare of the latter mode is higher than the former. The premium fare is also another and the fare of the latter begins to exceed the basic travel distance and increases at the proportion of the premium fare distance. The purpose of this study is to propose an algorithm for finding K number of paths, paths that are sequentially sorted based on total amount of transit fare, under DFP of the idstance-based fare policy. For this purpose, the link mode expansion technique is proposed in order to save notations associated with the travel modes. Thus the existing K shortest path algorithms adaptable for uni-modal network analysis are applicable to the analysis for inter-modal transportation networks. An optimality condition for finding the K shortest fare routes is derived and a corresponding algorithms is developed. The case studies demonstrate that the proposed algorithm may play an important role to provide diverse public transit information considering fare, travel distance, travel time, and number of transfer.

• Proceedings of the Korean Society for Emotion and Sensibility Conference
• /
• 1999.11a
• /
• 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

• Journal of the Korean Society of Clothing and Textiles
• /
• v.25 no.9
• /
• pp.1681-1692
• /
• 2001

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