• 한국정보처리학회논문지
• /
• 제3권7호
• /
• pp.1659-1668
• /
• 1996

스트링 문법은 그래프 언어와 부분집합인 스트링 언어를 생성하는 반면 그래프 문법은 그래프 언어를 생성한다. 그래프 문법 모델중 가장 성공적인 것중의 하나인 NLC문법은 노드 레이블을 이용하여 하나의 노드를 하나의 그래프로 치환 하므로서 그래프를 생성한다. 그래프를 포함하는 하아피그래프를 생성하는 하이퍼그래프 문법 모델로는 미리 정해놓은 접착점들의 순서를 이용하여 하나의 하이퍼에지를 하나의 하이퍼그래프로 치환하는 CFHG 문법, CFHG 문법의 확장형으로서 복제 및 삭제의 방벙 을 통해 하이페이지와 그것이 포함하고 있는 노드들, 즉 하나의 핸들을 하나의 하아 퍼그래프로 차환하는 HH 문법, 그리고 eNCE방식을 이용하여 하나의 핸들을 하나의 하아퍼그래프로 치환하는 HRNCE 문법 등이 소개되었다. 본 논문에서는 HRNCE 문법이 생성하는 그래프 언어와 위에서 언급된 기타의 그래프 문법들이 생성하는 그래프 언어 들을 비교하므로서 HRNCE 문법과 타 그래프 문법들의 언어 생성력을 비교 검토하고자 한다.

• 한국항행학회논문지
• /
• 제14권6호
• /
• pp.975-983
• /
• 2010

본 논문에서는 하노이의 탑 (Tower of Hanoi; ToH) 문제를 확장한 문제들을 소개하고, ToH 문제의 상태 공간을 그래프로 표현하기 위한 새로운 방안을 제시하고자 한다. 확장한 문제들로는 기둥의 수를 늘린 경우, 디스크 스택의 수를 늘린 경우, 그리고 일반 상태 간의 이동에 대한 세 가지를 소개하고, 다른 변종 문제들을 소개하고자 한다. 우리가 본 논문에서 제시한 새로운 표현 방안은 기존의 하노이 그래프 표현에 대해 확장된 방식의 그래프 표현을 제시하는 것이다. 제안된 표현에서는 각 디스크마다 하나의 직교좌표를 부여해 줌으로써 링크의 표시와 상태의 변화가 디스크가 어느 기둥에 배치되어 있는가와 시각적으로 일치된 시각화를 가능하게 해 준다. 제안된 표현을 기존의 하노이 그래프와 비교해 보면, 제안된 표현에서 디스크를 옮길 수 없는 링크를 제거하면 기존의 하노이 그래프와 isomorphic하다. 따라서, 제안된 표현은 기존의 하노이 그래프를 확장하여 표현력을 고도화한 것임을 알 수 있다. 제안된 표현에 대한 독자들의 이해를 돕기 위해, 우리는 본 논문에서 디스크의 개수가 2와 3인 경우에 대한 제안된 표현의 시각화 예를 제시하였다.

• 대한수학회논문집
• /
• 제11권1호
• /
• pp.1-21
• /
• 1996

In this paper the existence of spanning 3-trees in every 3-connected locally finite vertex-accumulation-point-free planer graph is verified, which is an extension of D. Barnette to infinite graphs and which improves the result of the author.

• 한국정보통신학회논문지
• /
• 제15권1호
• /
• pp.157-162
• /
• 2011

이 논문에서는 추상 그래프 기반의 경로 탐색 알고리즘에서 탐색된 경로의 비용이 증가하는 문제점을 보완하기 위해 탐색 영역 확장 기법들을 제안한다. 제안하는 기법들은 버퍼링 셀을 추출하여 유효 셀과 함께 탐색 영역으로 설정하는 기법으로, 단순 버퍼링 기법, 속력 제한 버퍼링 기법, 거리제한 버퍼링 기법을 제안하고 성능 평가하였다. 단순 버퍼링 기법은 유효 셀의 인접 셀들을 버퍼링 셀로 추출하며, 속력 제한 버퍼링 기법과 거리 제한 버퍼링 기법은 단순 버퍼링 기법을 통해 추출된 버퍼링 셀을 속력과 거리에 대해 제한하여 임계값을 미치지 못하는 버퍼링 셀을 제외하는 기법이다. 성능 평가 결과 탐색 영역을 확장함으로써 탐색된 경로의 비용을 줄일 수 있었다. 제안한 기법은 경로탐색, 물류관리 등 텔레매틱스 응용 서비스의 개발에 활용될 수 있을 것으로 기대된다.

• 한국건설관리학회논문집
• /
• 제16권5호
• /
• pp.3-11
• /
• 2015

본 연구는 BIM을 활용한 그래프 기반의 동선 표현과 분석 접근 방법 제안을 목적으로 한다. 접근 방법의 제안을 위해 건물 동선 관련 요구사항 파악과 공간 네트워크, BIM에 관한 선행연구를 분석하였다. 또한, 본 연구는 선행연구인 UCN(Universal Circulation Network)을 기반으로 연구를 진행하였으며, 본 연구를 통해 UCN에 추가적으로 고려해야 할 사항을 파악하고 이를 확장하였다. 본 연구에서는 UCN을 기반으로 두 가지 관점에서 동선의 표현과 분석 접근 방법을 제안하고자한다: 1) UCN의 그래프 기반 동선 분석의 주요 요소를 파악한다, 2) 국내 건축법 등의 요구사항을 적용하여 UCN을 재구성한다. 결과적으로, 본 연구에서는 출구에서 가장 먼 점 (MRP) 기반의 동선 표현과 가상공간에서의 동선 분석이 추가적으로 제안되었다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제10권4호
• /
• pp.93-100
• /
• 2021

블록체인의 확장성 문제를 해결하기 위한 이더리움 샤드 시스템은 부하 균형 문제가 존재하며 이는 그래프 분할 문제로 모델링된다. 본 논문에서는 게임 이론의 협상 해법을 사용하여 이더리움 샤드 시스템의 상반된 효용에 대한 협상이 가능한 적응적 온라인 가중그래프 분할 알고리즘을 제안한다. 게임 이론의 협상 해법은 상반된 효용의 협상점을 공정하게 결정할 수 있는 공리적 해법이다. 제안 알고리즘은 기존 온라인 그래프 분할 알고리즘을 가중그래프에 적용할 수 있도록 개선하였으며 대표적인 교섭 해법인 내쉬 협상 해법을 확장한 확장 내쉬 협상 해법을 사용하여 이더리움 시스템 상황을 고려한 설계를 통해 효과적으로 부하 균형을 수행하였다. 실험 결과, 대표적인 온라인, 오프라인 그래프 분할 알고리즘에 비해 최대 37% 우수한 성능을 보였다.

• Physical Therapy Rehabilitation Science
• /
• 제9권4호
• /
• pp.287-294
• /
• 2020

Objective: This study aimed to investigate the effects of an ultrasound-based bar graph proportional to the quadriceps muscle thickness as a real-time visual feedback training tool in the elderly. Design: Cross-sectional study. Methods: Twenty-four elderly persons participated in this study and were randomly divided into three groups: oral training group (n=8, group 1), ultrasound imaging group (n=8, group 2), and graph group (n=8, group 3). In the pre condition, all participants performed maximal voluntary isometric contraction (MVIC) of the quadriceps with knee extension three times with oral training. In the post condition, group 1 performed MVIC of the quadriceps with oral training, group 2 performed MVIC of the quadriceps with real-time visual feedback using ultrasound imaging, and group 3 performed MVIC of the quadriceps with real-time visual feedback using a bar graph proportional to the quadriceps muscle thickness, three times for all groups. Muscle thickness, activity (mean, peak), tone, stiffness, logarithmic decrement, relaxation, and creep were measured in both conditions in all participants. Results: Visual feedback with a bar graph showed significant effects on muscle thickness, mean muscle activity, and peak muscle activity compared with oral training and visual feedback with ultrasound imaging (p<0.05). Conclusions: Isometric training of the quadriceps with real-time visual feedback using a bar graph proportional to the quadriceps muscle thickness may be more effective than other methods in improving muscle thickness and muscle activity. This study presented a tool that can help increase muscle thickness in the elderly.

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

데이터마이닝은 현재 매우 각광 받고 있는 분야다. 연관규칙탐사는 트랜잭션 데이터베이스에서 일정빈도 이상의 패턴을 찾아내는 작업을 말한다. 그중 빈발서브그래프패턴 마이닝은 최근 관심이 늘어나고 있으며, 그 활용도 또한 매우 높다. 그래프마이닝은 아이템셋마이닝보다 훨씬 더 많은 계산을 필요로 한다. 중복을 최소화 하는 방법이 필요하며, 그중 가장 좋은 성능을 보이는 GASTON 알고리즘을 분석한다.

• 한국자동차공학회논문집
• /
• 제6권3호
• /
• pp.34-44
• /
• 1998

It is clear that when an automobile negotiates a curve the lateral acceleration causes an increase in tire normal load for the wheels on the outside of the curve and a decrease in load for the inside wheels. However, just how the details of the suspension linkages and the parameters of the springs and shock absorbers affect the dynamics of the load transfer os not easily understood. One even encounters the false idea that since it is the compression and extension of the main suspension springs spring body role which largely determines the changes in normal load, of roll could be reduced, the load transfer would also be reduced. Using free body diagrams, one can explain quite clearly how the load is transferred for steady state cornering, and, using complex multibody models of particular vehicles one can simulate in good fidelity how load transfer occurs dynamically. Here we adopt a middle ground by using the concept of roll center and using a series of half-car bond graph models to point out main effects. Since bond graph junction structures automatically and consistently constrain geometric and force variables simultaneously, they can be used to point out hidden assumptions of other simplified vehicle models.

• International Journal of Contents
• /
• 제6권3호
• /
• pp.19-24
• /
• 2010

Task scheduling is an integrated component of computing with the emergence of grid computing. In this paper, we address two different task scheduling models, which are static Round-Robin (RR) and dynamic Fastest Site First (FSF) task scheduling method, using extended timed marked graphs, which is a special case of Stochastic Petri Nets (SPN). Stochastic reward nets (SRN) is an extension of SPN and provides compact modeling facilities for system analysis. We build hierarchical SRN models to compare two task scheduling methods. The upper level model simulates task scheduling and the lower level model implements task serving process for different sites with multiple servers. We compare these two models and analyze their performances by giving reward measures in SRN.