• Journal of the Korea Convergence Society
• /
• v.9 no.9
• /
• pp.9-14
• /
• 2018

This study aims to investigate an importance of Author keyword with analysis the position of author keyword. An analysis was carried out on the position of author keyword. we examined an importance of Author keyword by using degree centrality, closeness centrality, betweenness centrality, eigenvector centrality. In the next stage, we performed analysis on correlation between network centrality measures and the position of keyword. As a result, degree centrality, closeness centrality, betweenness centrality, eigenvector centrality both has a high value in 4th author keyword order. eigenvector centrality was the comparatively effective method to separate of author keyword order method than other 3 centrality. Correlation analysis result shows that the network analysis value are increasing in order. This study has significance in that it was able to examine the author keyword behavior. Future research is needed to identify and supplement future situational factors, behavior, and psychology.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1993.10a
• /
• pp.10-10
• /
• 1993

본 연구에서는 다품종(multiple products) 다단계(multi-stage) 흐름 생산시스템에서의 제품별 로트 투입순서결정무제를 다루었다. 다단계 흐름 생산시스템의 투입순서 결정문제에 대한 기존연구는 각 단계의 기계대수가 1대인 경우에 관한 것이 대부분이지만, 본 연구에서는 각 단계의 기계대수가 복수이고 각 제품의 생산량이 로트로 주어지며, 또한 각 단계마다의 이송이 로트로 이루어지는 것이 아니라 1단위로 이루어지는 생산시스템을 대상으로 하였다. 그리고 각 제품의 생산준비기간은 투입순서와 관계 없이 일정하며 앞 단계에서 제품이 도착하지 않더라도 생산준비는 먼저 수행될 수 있다고 가정하였다. 제품별 로트 투입순서 결정문제에서 사용된 성능평가기준(performance measure)은 총작업소요시간(makespan)이며 순열투입순서(permutation schedule)만을 대상으로 하였다. 결정기법으로는 투입순서 결정문제에서 효율적인 것으로 알려져 있는 분지한계법(Branch & Bound)이 사용되었으며 분지한계법에서 이용되는 부분투입순서(partial sequence)에 대한 하한값(lower bound)을 제시하였다. 제시된 기법을 사용하면 현실적인 크기의 제품별 로트 투입순서 결정문제를 적당한 시간내에 충분히 해결할 수 있을 것으로 보인다. 제시된 해법으로 해결된 수치예제가 주어져 있다.

• Journal of KIISE:Software and Applications
• /
• v.30 no.11
• /
• pp.1015-1024
• /
• 2003

In [1] we proposed a method to generate a test model (GFSM) from a set of scenarios of embedded software. Each scenario describes the interaction sequences for an external input event. Although these external events are generated and accepted alternatively and concurrently by embedded software, we considered only the alternative relations. In this paper, we describe an improved algorithm to generate GFSM from concurrent scenarios, and propose methods to reduce the number of transitions in the GFSM. The first is the synchronous interpretation of message passing instead of asynchronous one considering the real behavior of tasks in embedded software. The others apply the partial order techniques to the GFSM using independent regions. We apply the method to generate a reduced GFSM of embedded software running on a digital TV.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.11a
• /
• pp.23-26
• /
• 2005

XML이 발표되면서 대용량의 XML을 효과적으로 관리하는 여러 가지 방법들이 연구되고 있다. 특히 지금까지 상업적, 기술적으로 성공적이고 안정된 데이터 모델인 관계형 데이터베이스를 활용하는 여러 가지 방법들이 연구되고 있다. 본 논문은 관계형 DBMS를 사용하여 XML 질의어인 XQuery를 SQL로 변환하여 처리하는 효율적인 방법을 제안한다. 우선 본 논문에서 제안하는 방식은 XML문서를 분할하여 관계형 테이블에 저장하는 분할방식을 사용하며, 분할된 관계형 테이블을 이용하여 XPath를 포함한 XQuery의 기능을 실행하는 SQL을 생성하여 관계형 DBMS에서 SQL을 실행하는 방식을 사용한다. 제안한 XQuery 처리방식은 먼저 XQuery의 구문 분석을 통하여 AST(Abstract Syntax Tree)를 생성하고, AST를 순회하면서 SQL문장을 생성한다. 생성된 SQL문장은 XML 문서의 경로를 사용함으로써 XQuery 연산의 조인 횟수를 감소시키며, 각 노드마다 부여된 순서 정보를 효과적으로 사용하여 문서의 원래 순서에 맞는 XML 부분을 생성하는 방법을 제시한다. 그리고 실제 제안된 시스템을 개발하여 그 성능을 평가한다.

• 전기의세계
• /
• v.43 no.3
• /
• pp.10-17
• /
• 1994

패트리네트는 시스템의 관계를 시작적으로 보여주어 시스템의 모델링을 쉽게 만든다. 시스템의 각 부분에 관한 정보를 가지고 전체와 부분에 대하여 하향식(top-down)과 상향식(bottom-up) 설계를 할 수 있게 해준다. 패트리네트는 그래프 표현이므로 FMS(flexible manufacturing systems)등과 같은 실시간 제어(real-time control)의 구현에 사용될 수 있으며 토큰 정보로부터 시스템의 각 부분의 상태를 실시간 감시(monitoring)할 수 있다. 패트리네트는 PLC(programmable logic controller)와 같이 여러 요소시스템(subsystem)을 순서대로 동작시키고 조정한다. 시스테메 대한 페트리네트 모델로부터 시뮬레이션(simulation)을 할 수 있고, 이로부터 성능 평가를 할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10c
• /
• pp.42-44
• /
• 1998

Sequential Ordering Problem(SOP)은 여러 개의 도시를 방문함에 있어 '어떤 도시를 다른 도시보다 먼저 방문해야 한다'는 선행제약이 있는 비대칭 순회 세일즈맨 문제(Traveling Salesman Problem)로서, 주어진 선행 제약을 만족하면서 모든 도시를 한번씩만 경유하는 가장 짧은 경로를 찾는 NP-Complete에 속하는 문제이다. 유전자 알고리즘은 SOP와 같은 조합 최적화문제에 대해 유용한 메타휴리스틱의 한가지이다. 본 논문에서는 SOP에 유전자 알고리즘을 적용할 때, 선행제약을 만족하는 해를 생성하는데 사용할 수 있는 선행관계유지 유전 연산자를 소개하고 이를 비교한다. 비교하는 유전 연산자는 선행관계유지 교차연산자, 선행관계유지 순서기반 교차연산자, 최대부분순서/임의삽입 연산자, 선행관계유지 간선재결합 연산자이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06a
• /
• pp.373-374
• /
• 2008

• Journal of KIISE:Software and Applications
• /
• v.27 no.4
• /
• pp.370-383
• /
• 2000

This paper describes a new technique known as specification-based regression testing that is used for the revalidation of concurrent programs after changes are made to specifications. This type of regression testing requires sequencing constraint that specify precedence relations on the synchronization events. In order to extract sequencing constraint automatically, we use Message Sequence Charts(MSCs) that are considered partial and nondeterministic specifications. We show how to identify which sequencing constraint is affected by the modifications made to a specification rather than creating new sequencing constraint from scratch to reduce the cost of regression testing. We also describe how to determine that each affected sequencing constraint is satisfied by a program being tested.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.20 no.3
• /
• pp.549-557
• /
• 2016

It is important for effective visualization to summarize not only a large amount of debugging information but also the mental models of abstract ideas. This paper presents an abstract visualization tool which provides effective visualization of thread structure and race information for OpenMP programs with critical sections and nested parallelism, using a partial order execution graph which captures logical concurrency among threads. This tool is supported by an on-the-fly trace-filtering technique to reduce space complexity of visualization information, and a graph abstraction technique to reduce visual complexity of nested parallelism and critical sections in the filtered trace. The graph abstraction of partial-order relation and race information is effective for understanding program execution and detecting to eliminate races, because the user can examine control flow of program and locations of races in a structural fashion.

• Proceedings of the Korean Society of Soil and Groundwater Environment Conference
• /
• 1996.09a
• /
• pp.61-76
• /
• 1996

본 연구는 하천유역의 중금속을 제거하는데 식물을 활용하기 위해 1994년 7월부터 10월까지 전라북도에 위치한 전주천과 그 주변하천에서 7개 지점을 선정하여 토양층과 물의 Pb, Cu, Zn 및 Fe 등의 함량을 조사하였고 그 주변에 자생하는 고마리, 마름 및 노랑어리연꽃의 중금속 농축량과 부위별 중금속 농축량을 조사하였다. 그리고 재료식물내의 중금속 농축량과 서식지 토양의 중금속 함량과의 관계를 밝히기 위해 재료식물내의 중금속 함유량과 토양의 중금속 함량간의 상관계수를 조사하였다. 실험실 조건하에서 재료식물의 중금속 흡수경향을 조사하기 위해 재료식물 중 고마리를 선정하여 Pb, Cu 및 Zn 등을 여러 농도로 처리한 용액에 고마리의 뿌리부분을 침수하여 재배한 후 그농축량을 측정하였고, 그 결과를 7개 채집지에서 자생한 고마리의 중금속 농축량의 측정치와 비교 분석하였다. 7개 채집지에서 자생한 고마리의 부위별 중금속 농축량은 Pb와 Zn의 경우 줄기<잎<뿌리의 순서로 증가하였고 Cu와 Fe는 잎<줄기<뿌리의 순서로 증가하였으며, 중금별 농축량은 Pb$\leq$Zn의 순서로 증가하였다. 고마리의 배양 실험 결과, 서식지에서 조사된 결과인 잎과 줄기에서 Pb