• Journal of Convergence Society for SMB
• /
• v.1 no.1
• /
• pp.75-83
• /
• 2011

Unified Modeling Language (UML) is widely accepted in industry and particularly UML State Machine Diagram is popular for describing the dynamic behavior of classes. This paper discusses deadlock detection of System using UML State Machine Diagram. Since a State Machine Diagram is used for indivisual class' behavior, all the State Machine Diagrams of the classes in the system are combined to make a big system-wide State Machine Diagram to describe system behavior. Generally this system-wide State Machine Diagram is very complex and contains invalid state and transitions. To make it a usable and valid State Machine Diagram, synchronization and externalization are applied. The reduced State Machine Diagram can be used for describing system behavior thus conventional model-checking technique can be applied. This paper shows how deadlock detection of system can be applied with simple examples. All the procedures can be automatically done in the tool.

• The Journal of Society for e-Business Studies
• /
• v.9 no.3
• /
• pp.145-154
• /
• 2004

Class extraction of object or component based software development methodology is the major factor for software quality. Each method has the class definition and extraction method however there are some troubles when the beginners try. Especially, the conceptual gap results to make the class extraction hard. This research suggests three diagrams to support it. They are Information diagram, Behavio diagram and Management diagram. They specify which services a stakeholder wants, which information to support the service, which actions to solve the service and who has the responsibility for those. Any analysis process which takes class extraction can utilize these diagrams.

• International Journal of Highway Engineering
• /
• v.14 no.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.

• The KIPS Transactions:PartD
• /
• v.16D no.4
• /
• pp.527-540
• /
• 2009

State diagrams describe the dynamic behavior of an individual object as a number of states and transitions between these states. In this paper, we propose an automated technique to the generation of a state diagram from class operations with pre/post conditions. And I also develop a supporting tool, SDAG (State Diagram Automatic Generation tool). Additionally, we propose a complexity metric and a state diagram generation approach concerning types of each operation for decreasing complexity of generated state diagram.

• Journal of applied mathematics & informatics
• /
• v.27 no.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.

• Archives of design research
• /
• v.19 no.5 s.67
• /
• pp.75-84
• /
• 2006

The aims of this study are to examine the conceptual contents of space diagram, and to find its elements and practical applications by analyzing the UN Studio. The Findings of this study are as follows: firstly, the conceptual contents represented in space diagram are classified into four elements - motif, flow, relationship, and distribution. Secondly, space diagram is used in program development, schematic design, and preliminary design of design process phases. Thirdly, the elements based on the case diagrams include five elements: context analysis, object analysis, time-behavior analysis, modeling analysis, and space analysis. Fourthly, in practical use, diagrams with motif concept is usually used in modeling analysis, and diagram with flow concept is commonly used in the analysis of time-behavior and object. Diagrams with relationship concept is mostly used in space analysis, secondly in analysis of context and modeling. Further, diagrams with distribution concept is usually used in space analysis. If one uses these findings for design projects in practical business or education, it would be helpful in design conception and development as well as of design information structuralization.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.42 no.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
• /
• v.22 no.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.

• The KIPS Transactions:PartD
• /
• v.17D no.5
• /
• pp.337-346
• /
• 2010

Timing diagram is popularly utilized for the reason of its advantages; it is convenient for timing diagram to describe behavior of system and it is simple for described behaviors to recognize it. Various techniques are needed to test systems described in timing diagram. One of them is a technique to derive the system into a certain condition under which a test case is effective. This paper proposes a technique to automatically generate the test input sequence to reach the condition for systems described in timing diagram. It requires a proper input set which satisfy transition condition restricted by input waveform and timing constraints to generate a test input sequence automatically. To solve the problem, this paper chooses an approach utilizing the linear programming, and solving procedure is as follows: 1) Get a Timing diagram model as an input, and transforms the timing diagram model into a linear programming problem. 2) Solve the linear programming problem using a linear programming tool. 3) Generate test input sequences of a timing diagram model from the solution of linear programming problem. This paper addresses the formal method to drive the linear programming model from a given timing diagram, shows the feasibility of our approach by prove it, and demonstrates the usability of our paper by showing that our implemented tool solves an example of a timing diagram model.

• Journal of the Korean Society of Safety
• /
• v.5 no.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.