• 중소기업융합학회논문지
• /
• 제1권1호
• /
• pp.75-83
• /
• 2011

Unified Modeling Language (UML)는 산업계에서 소프트웨어 설계 표준 언어로서 인정되고 있으며 특히 UML State Machine Diagram은 클래스의 동적인 행위(behavior)를 묘사하는데 많이 사용되고 있다. 이 논문은 UML State Machine Diagram을를 이용하여 시스템의 데드락 (deadlock)을 찾는 방법에 대해서 논한다. 보통 State Machine Diagram는 개별의 클래스의 행위를 나타내는 데 사용되므로 시스템 범위의 행위를 알고 싶으면 시스템에 있는 클래스들 중 관심 있는 클래스들의 State Machine Diagram을 합하여 시스템의 행위를 나타낼 수 있는 State Machine Diagram이 필요하여진다. 일반적으로 이러한 시스템 수준의 State Machine Diagram은 매우 복잡하고 실제로는 타당하지 않은 State나 Transition들을 포함하게 된다. 실제 시스템의 행위를 나타내기 위해서 synchronization과 externalization을 적용하여 State Machine Diagram을 유효한 수준으로 줄이는 것이 필요하다. 이렇게 만들어진 State Machine Diagram은 시스템의 행위를 나타내는데 사용될 수 있으며 통상의 모델 체킹 방법이 적용될 수 있다. 이 논문은 데드락 탐지를 하는 방법을 간단한 예제를 통해서 보여준다. 모든 과정은 툴에서 자동으로 지원되며 필요한 알고리즘도 같이 설명된다.

• 한국전자거래학회지
• /
• 제9권3호
• /
• pp.145-154
• /
• 2004

객체지향 및 컴포넌트지향 소프트웨어 개발 방법론의 클래스의 도출은 개발하려는 소프트웨어의 전체 품질을 결정하는데 중요한 요소이다. 각 방법론에서는 이 부분에 대해 클래스의 정의와 도출하는 방법을 설명하고 있지만 초보 분석자들이 활용하기는 어려운 점이 많다. 그 중, 개념적 갭(conceptual gap)으로 인한 문제는 클래스 도출에 가장 큰 영향을 미친다. 연구에서는 이런 부분을 보완하기 위한 장치로써 세가지 다이어그램을 제안한다. 요구분석과정의 결과를 도식적으로 정리하여 클래스 도출을 보완하기 위한 도구로 정보다이어그램(Information Diagram), 행위다이어그램(Behavior Diagram) 그리고 관리다이어그램(Management Diagram)이다. 세 다이어그램은 시스템의 관련자(stakeholder)가 시스템에 어떤 서비스를 요구하는가에 대한 관점으로 필요한 정보를 찾고, 그에 포함될 수 있는 세부 행위를 분석하고, 누가 이 서비스에 대한 책임이 있는가의 명세이다. 본 연구에서 제안하는 다이어그램들은 기존의 소프트웨어 개발 방법에서 클래스를 도출하는 과정에 활용할 수 있다.

• 한국도로학회논문집
• /
• 제14권6호
• /
• pp.183-190
• /
• 2012

PURPOSES : The fundamental diagram provides basic information necessary in the analysis of traffic flow and highway operation. When traffic flow is congested, the density-flow points in the fundamental diagram are widely scattered and move in a stochastic manner. This paper investigates the pattern of density-flow point transitions and identifies car-following behaviors underlying the density-flow transitions. METHODS : From a microscopic analysis of 722 fundamental diagrams of NGSIM data, a total of 20 transition patterns of fundamental diagrams are identified. Prominent features of the transition patterns are explained by the behavior of the leader and follower. RESULTS : It is found out that the average speed and the speed difference between the leader and the follower critically determine the density-flow transition pattern. The density-flow path is very sensitive to the values of vehicle speed and spacing especially at low speed and high density such that most fluctuations in the fundamental diagram in the congested regime is due to the noise of speed and spacing variations. CONCLUSIONS : The result of this study suggests that the average speed, the speed difference between the leader and the follower, and the random variations of speed and spacing are dominant factors that explain the transition patterns of a fundamental diagram.

• 정보처리학회논문지D
• /
• 제16D권4호
• /
• pp.527-540
• /
• 2009

상태 다이어그램은 객체가 가질 수 있는 상태와 각 상태에서 수행 할 수 있는 전이를 사용하여 객체의 동적행위를 표현한다. 본 논문에서는 클래스 연산들의 선행/후행 조건들을 이용하여 상태다이어그램을 자동으로 생성하는 기법을 제안한다. 그리고 본 논문에서 제시한 기법을 구현하는 도구 SDAG(State Diagram Automatic Generation Tool)을 제작하였다. 추가적으로 생성된 상태 다이어그램의 복잡도를 감소시키기 위하여 연산의 종류를 고려한 상태 다이어그램 생성 방법과 생성된 다이어그램을 측정하는 방법을 제안하고 실험하였다.

• Journal of applied mathematics & informatics
• /
• 제27권5_6호
• /
• pp.1331-1342
• /
• 2009

In this paper, we analyze the behavior of the state transition of nongroup CA with a single attractor over GF($2^p$)(p > 1), and propose the algorithm for the construction of the state transition diagram of a Single Attractor CA(SACA) over GF($2^p$) which is very different from the construction algorithm for the state transition diagram of GF(2) SACA.

• 디자인학연구
• /
• 제19권5호
• /
• pp.75-84
• /
• 2006

본 연구의 주 내용은 UN Studio의 다이어그램 사례를 중점적으로 분석해봄으로써 공간디자인 다이어그램의 개념적 내용과 구성 요소 및 실질적 활용방법에 대해 알아보는 것이다. 사례연구를 통해 분석된 연구결과는 다음과 같다. 첫째, 공간 다이어그램에 표현되고 있는 개념적 내용은 모티브, 흐름, 관계, 분포의 네 가지로 구분된다. 둘째, 공간 다이어그램은 디자인 프로세스의 프로그램 개발, 개략적인 디자인, 초기 디자인의 단계에서 주로 사용된다. 셋째, 사례 다이어그램들에 기초한 다이어그램 구성요소의 내용은 크게 다섯 가지, 컨텍스트 분석, 객체 분석, 시간/행위 분석, 조형 분석, 공간 분석으로 나눌 수 있다. 넷째, 다이어그램의 실질적 활용에 있어서 모티브를 개념적으로 표현한 다이어그램은 조형 분석에 주로 활용될 수 있으며, 흐름을 개념적으로 표현한 다이어그램은 시간/행위 분석과 객체 분석에 주로 활용될 수 있다. 관계를 개념적으로 표현한 다이어그램은 공간 분석에 가장 많이 활용 될 수 있으며, 그 다음으로 컨텍스트 분석과 조형분석에 활용 될 수 있다. 분포를 개념적으로 표현한 다이어그램은 공간분석에 주로 활용될 수 있다. 이와 같은 연구 결과를 실무 및 교육의 디자인 프로젝트에 적극적으로 활용한다면 디자인 정오의 구조화뿐만 아니라 디자인 발상과 전개에 도움이 될 것이다.

• 산업경영시스템학회지
• /
• 제42권3호
• /
• pp.52-60
• /
• 2019

This paper presents a numerically robust algorithm to construct a Voronoi diagram of circles in the plane. The circles are allowed to have intersections among them, but one circle cannot fully contain another circle. The Voronoi diagram is a tessellation of the plane into Voronoi regions of given circles. Each circle has its Voronoi region which is defined by a set of points in the plane closer to the circle than any other circles. The distance from a point p to a circle $c_i$ of center $p_i$ and radius $r_i$ is ${\parallel}p-p_i{\parallel}-r_i$, which is the closest Euclidean distance from p to the circle boundary. The proposed algorithm first constructs the point Voronoi diagram of centers of given circles, then it enlarges each point to the circle and expands its Voronoi region accordingly. This region-expansion process is done by local modifications and after completing this process for the whole circles the desired circle Voronoi diagram can be obtained. The proposed algorithm is numerically robust and we provide with a few examples to show its robustness. The algorithm runs in $O(n^2)$ time in the worst case and O(n) time on average where n is the number of the circles. The experiment shows that the region-expansion algorithm is robust and runs fast with strong linear time behavior.

• Corrosion Science and Technology
• /
• 제22권3호
• /
• pp.137-152
• /
• 2023

Polarization behavior and corrosion inhibition of copper in acidic chloride solutions containing benzotriazole were studied. Pourbaix diagrams constructed for copper in NaCl solutions with different BTAH concentrations were used to understand the polarization behavior. Open circuit potential (OCP) depended not only on chloride concentration, but also on whether a CuBTA layer was formed on the copper surface. Only when the (pH, OCP) was located well in the CuBTA region of the Pourbaix diagram, a stable corrosion inhibiting CuBTA layer was formed, which was confirmed by X-ray Photoelectron Spectroscopy (XPS) and a long-term corrosion test. The OCP for the CuBTA layer decreased logarithmically with increasing [Cl^-] activity in the solution. A minimum BTAH concentration required to form a CuBTA layer for a given NaCl concentration and pH were determined from the Pourbaix diagram. It was found that 320 ppm BTAH solution could be used to form a corrosion-inhibiting CuBTA layer inside the corrosion pit in the sprinkler copper tube, successfully reducing water leakage rate of copper tubes. These experimental results could be used to estimate water chemistry inside a corrosion pit.

• 정보처리학회논문지D
• /
• 제17D권5호
• /
• pp.337-346
• /
• 2010

Timing diagram은 시간에 따른 시스템의 행동을 표현하기 용이하고 표현된 행동을 쉽게 인식할 수 있는다는 장점 때문에 널리 사용되고 있다. Timing diagram으로 기술된 시스템을 테스트 하기 위해서는 여러 기술이 필요하다. 그 중의 하나는 테스트 케이스 목표들이 존재할 때, 시스템 모델이 원하는 상태에 도달하도록 하기 위해 입력 값들의 시퀀스를 생성하는 기술이다. 본 논문은 Timing diagram모델에 대한 테스트 케이스 목표로부터 테스트 입력 시퀀스를 자동으로 생성하는 방법을 제안한다. Timing diagram에서 테스트 입력 시퀀스를 자동으로 생성하기 위해서는 입력 waveform과 시간 제약으로 이루어진 시점의 전이 조건을 만족시키는 적절한 입력 집합을 필요로 한다. 이와 같은 문제를 해결하기 위해, 본 논문에서는 선형 계획법을 이용한 접근 방식을 택하였는데, 해결과정은 다음과 같다. 1) Timing diagram 모델을 입력으로 받아 이를 선형 계획 문제로 변형한다. 2)변형된 선형 계획 문제를 선형 문제 해결 도구를 사용하여 해결한다. 3) 선형 계획 문제의 해답으로부터 Timing diagram모델의 테스트 입력 시퀀스를 생성한다. 본 논문에서는 임의의 Timing diagram 모델에 대해 이를 선형 계획법으로 모델링 하는 방법을 형식적으로 기술하였고, 증명을 통해 본 논문의 접근 방법의 타당성을 보였으며, 또한 도구를 구현하여 Timing diagram 예제 모델로부터 테스트 입력 시퀀스를 생성함으로써 본 논문의 유용성을 입증하였다.

• 한국안전학회지
• /
• 제5권2호
• /
• pp.58-65
• /
• 1990

The purpose of this study is to consider the effects of strain rate on the stress-strain behavior of sheet metal at instability. The results and conclusions obtained as follows ： 1. As the strain rate increases, the fracture pressure increases and the polar height at fracture decreases. 2. The effect of strain rate on forming limit diagram produces a general lowering of the diagram with increasing strain rate but changes according to materials and strain paths. 3. The forming limit diagram predicted by swift instability theory is comparatively inconsistent with the experimental result at high strain rates, because there is inevitable gap between them.