• Genomics & Informatics
• /
• 제4권3호
• /
• pp.118-124
• /
• 2006

For the direct understanding of flow, pathway data are usually represented as directed graphs in biological journals and texts. Databases of metabolic pathways or signal transduction pathways inevitably contain these kinds of graphs to show the flow. KEGG, one of the representative pathway databases, uses the manually drawn figure which can not be easily maintained. Graph layout algorithms are applied for visualizing metabolic pathways in some databases, such as EcoCyc. Although these can express any changes of data in the real time, it exponentially increases the edge crossings according to the increase of nodes. For the understanding of genome scale flow of metabolism, it is very important to reduce the unnecessary edge crossings which exist in the automatic graph layout. We propose a metabolic pathway drawing algorithm for reducing the number of edge crossings by considering the fact that metabolic pathway graph is scale-free network. The experimental results show that the number of edge crossings is reduced about $37{\sim}40%$ by the consideration of scale-free network in contrast with non-considering scale-free network. And also we found that the increase of nodes do not always mean that there is an increase of edge crossings.

• 한국콘텐츠학회논문지
• /
• 제10권5호
• /
• pp.70-79
• /
• 2010

바이너리 코드 수준에서 정적인 프로그램 분석을 수행한다. 소스 코드가 아닌 바이너리 코드 수준에서 분석을 수행하는 이유는 일반적으로 로컬 컴퓨터에 설치하는 실행 파일은 소스 코드 없이 단지 바이너리로 된 실행 파일만 주어지는 경우가 대부분이기 때문이다. 또한 정적으로 분석을 수행하려는 이유는 정적인 제어 흐름 분석을 통해 프로그램이 수행 시 어떤 동작을 수행하게 될지를 수행 전에 파악하기 위해서이다. 본 논문에서는 바이너리 실행 파일로부터 함수간의 실행 순서 및 제어 흐름 등의 정보를 표현할 수 있는 실행 흐름 그래프를 작성하여 사용자가 바이너리 파일의 실행 흐름과 위험한 함수의 호출 여부를 동시에 파악할 수 있도록 하며, 그래프를 통해 바이너리 파일의 분석을 용이하게 한다. 또한 실행 흐름에 대한 자동 탐색 방법을 제공하여 수행될 프로그램의 안전성을 보장하고, 수행 전에 외부에서 다운받아 설치할 프로그램이 안전한지를 판단할 수 있도록 한다.

• Journal of applied mathematics & informatics
• /
• 제7권2호
• /
• pp.379-389
• /
• 2000

FORD and FULKERSON have shown that a stationary maximal dynamic flow can be obtained by solving a transhipment problem associated with the static network and thereby finding the maximal temporally repeated dynamic flow. This flow is known to be an optimal dynamic flow. this paper presents the remark that temporally repeated flows may be not optimal for a minimal dynamic flow and an algorithm for such a flow. a numerical example is presented.

• 대한의용생체공학회:의공학회지
• /
• 제38권2호
• /
• pp.82-88
• /
• 2017

Enlargement of the lateral ventricles have been identified as a surrogate marker of neurological disorders. Quantitative measure of the lateral ventricle from MRI would enable earlier and more accurate clinical diagnosis in monitoring disease progression. Even though it requires an automated or semi-automated segmentation method for objective quantification, it is difficult to define lateral ventricles due to insufficient contrast and brightness of structural imaging. In this study, we proposed a fully automated lateral ventricle segmentation method based on a graph cuts algorithm combined with atlas-based segmentation and connected component labeling. Initially, initial seeds for graph cuts were defined by atlas-based segmentation (ATS). They were adjusted by partial volume images in order to provide accurate a priori information on graph cuts. A graph cuts algorithm is to finds a global minimum of energy with minimum cut/maximum flow algorithm function on graph. In addition, connected component labeling used to remove false ventricle regions. The proposed method was validated with the well-known tools using the dice similarity index, recall and precision values. The proposed method was significantly higher dice similarity index ($0.860{\pm}0.036$, p < 0.001) and recall ($0.833{\pm}0.037$, p < 0.001) compared with other tools. Therefore, the proposed method yielded a robust and reliable segmentation result.

• 한국초등과학교육학회지:초등과학교육
• /
• 제31권3호
• /
• pp.386-397
• /
• 2012

The purpose of this study was to find a way to improve the science textbook graph through analyzing teachers' interpretation process with eye movement tracking when they try to read the science textbook graph. Participants in this project were 10 elementary school teachers while bar graphs, line graphs, pie charts in 2007 revision science textbooks were used as materials. SMI (SensoMotoric Instruments)' iView X TM RED 120 Hz was used in order to collect eye movement data. Although subjects paid attention to the title of the graph at first, the consequence of the eye fixation was changed by the composition of the graph in case of the rest of areas. In particular, the flow of visual attention and fixation time were affected by the form and configuration of the graph. The diversity of graph construction caused confusion in interpreting graphs; the manner of presenting title, the difference of background colors, size of characters, the name of X-axis and Y-axis. Out results showed that the conformation of graphs as well as the presentation of each factor should be composed in accordance with the educational purpose for helping users to easier understanding.

• Journal of applied mathematics & informatics
• /
• 제23권1_2호
• /
• pp.193-203
• /
• 2007

In this paper we consider the inverse minimum flow (ImF) problem, where lower and upper bounds for the flow must be changed as little as possible so that a given feasible flow becomes a minimum flow. A linear time and space method to decide if the problem has solution is presented. Strongly and weakly polynomial algorithms for solving the ImF problem are proposed. Some particular cases are studied and a numerical example is given.

• 한국자동차공학회논문집
• /
• 제3권6호
• /
• pp.69-77
• /
• 1995

This paper presents performance investigation of a continuously variable ER(Electro-Rheological) damper for passenger vehicles. A dynamic model of the damper is formulated by incorporating electric field-dependent Bingham properties of the ER fluid. The Bingham properties are experimentally obtained through Couette type electroviscous measurement with respect to two different particle concentrations. The governing equation of the hydraulic model treating three components of fluid resistances;electrode duct flow, check valve flow and piston gap flow, is achieved via the bond graph method. A prototype ER damper is then designed and manufactured on the basis of parameter analysis. The damping forces of the system are experimentally evaluated by changing the intensity of the electric field, the particle concentration and the electrode gap.

• 정보처리학회논문지A
• /
• 제9A권3호
• /
• pp.371-378
• /
• 2002

EMFG(Extended Mark Flow Graph)는 이산시스템을 표현하는데 유용한 그래프 도구로 알려져 있다. 본 연구에서는 EMFG에서 각 트랜지션이 점화하였을 때의 입출력 박스의 마크 변화량을 입출력 행렬로 표현하였고, 이를 사용하여 EMFG의 접속행렬을 구하였다. 점화가능벡터를 구하기 위하여 각 트랜지션의 점화조건을 점화조건행렬로 표현하였으며, 각 트랜지션의 점화완료 상태를 판단하기 위하여 점화완료벡터를 도입하였다. 이들을 사용하여 EMFG의 모든 동작과정이 수학적으로 해석될 수 있도록 EMFG의 동작해석 알고리즘을 개선하였다. 제안된 알고리즘을 정회전과 역회전을 반복하는 시스템에 적용하여 알고리즘이 올바르게 동작하는 것을 확인하였다. 제안된 알고리즘은 다양한 이산 시스템을 분석하는데 유용하다.

• 한국수자원학회논문집
• /
• 제31권4호
• /
• pp.439-448
• /
• 1998

대규모의 배수관망 시스템에서 유량해석을 위한 기법들이 많이 있지만 가장 널리 사용되고 있는 기법은 선형화 기법이다. 이 방법은 연속방정식과 에너지 방정식을 연립하여 해석하므로 이론적으로는 간단하나 실제 시스템에 적용을 위해서는 연립방정식 해석시 생성되는 계수매트릭스의 대각행력에 '0'이 발생하는 등 매우 큰 이산화된 계수 매트릭스의 처리가 문제가 되었다. 본 연구에서는 ill-condition 계수매트릭스의 발생을 배제하기 위해 도학이론으로부터 선형독립적인 폐합회로를 찾는 기법을 상수관망해석에 적용하여 선형화기법의 positive-definite 계수매트릭스를 만드는 기법을 개발하였다. 개발된 알고리듬의 적용성을 시험하고자 22개 가상관로 및 142개 관로를 가진 대구 인근의 실제 관망자료를 이용하여 유량해석을 실시하였다. 유량해석 결과 본 알고리듬이 적용된 모형에서는 가상관망 및 실제관로에서 수렴의 실패없이 원활하게 계산이 이루어지고 있었다. 본 연구결과는 관로내 정상상태 유량해석을 위해 효율적으로 이용될 것이 기대된다.

• 한국통신학회논문지
• /
• 제31권3B호
• /
• pp.183-198
• /
• 2006

매체공유기반 통신 시스템은 매체접근제어 과정에서 단말기의 채별 점유 제약 조건에 따라 크게 완전매체공유 시스템과 불완전매체 공유 시스템으로 구분할 수 있다 본 논문은 불완전매체공유 시스템의 매체접근제어기법의 개발을 위해 채널할당기법을 다루었다. 최적 채널할당기법은 채널할당 문제를 다중항목흐름(multi-commodity flow) 최대화 문제로 간주하고 선형 프로그래밍 문제를 유도하여 전역 최적해를 구한다. 또한 연산 복잡도를 낮추기 위한 대안으로 준최적 채널할당기법을 제안한다. 이 방식은 2단 iSLIP 채널할당기법과 순차적(sequential) 채널할당기법으로 구분하여 제안한다. 모의실험 결과 순차적 채널할당기법이 2단 iSLIP 채널할당기법 비해 상대적으로 낮은 연산 복잡도와 우월한 성능을 나타냄을 확인할 수 있었다.