• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.12 no.1
• /
• pp.420-426
• /
• 2011

In this paper, we introduce a system which helps to draw a conceptual class diagram from the problem description by combining various class diagram deriving methods. Generally, problem description is a kind of statements including user requirements in the early development phase. The system developer can derive a conceptual class diagram from this document, which playes an important role during the object-oriented software development. Until now, it is not easy for the novice to elicit classes because it requires good experience and intuition. In addition, there are also some difficulties of finding valid conceptual classes by hand when the size of system becomes larger. Therefore, we develop a system to solve these problems so that the developer is able to construct the conceptual class diagram easily.

• Communications of Mathematical Education
• /
• v.27 no.3
• /
• pp.267-281
• /
• 2013

In this paper, we explore the possibility that ladder diagram games can be used for the introduction of the function and composite function. A ladder diagram with at most one rung is a bijection. Thus a ladder diagram with r rungs is the composition of r one-to-one correspondence. In this paper, we use ladder diagrams to give simple proofs of some fundamental facts about one-to-one correspondence. Also, we suggest Story-telling for introduction of function in middle school and high school. The ladder diagram approach to one-to-one correspondence not only grabs our students' attention, but also facilitates their understanding of the concept of functions.

• Transactions of Materials Processing
• /
• v.18 no.8
• /
• pp.596-600
• /
• 2009

Finite element simulation is an alternative method to practically find the forming limit diagram(FLD). In this paper, the novel fracture criterion is utilized to predict the FLD in conjunction with finite element analysis for sheet forming. The principal scheme of the fracture criterion in this paper is that growth of the micro voids leads up to fracture in the viewpoint of micro-mechanics. The numerical FLD is verified by results of the out-of plane stretching test using hemispherical punch. The verification is also conducted about two types of material. These results are in good accord with the experimental results. Especially, the proposed scheme is appropriate to predict FLDs for a restricted material with low ductility after the instability point or ultimate tensile strength.

• Proceedings of the Korean Society of Tribologists and Lubrication Engineers Conference
• /
• 2002.10b
• /
• pp.179-180
• /
• 2002

In this study. the friction transition diagram based on the effect of oxide layer formation on contact surface between TiN coated steel ball and uncoated steel disk was constructed. From the diagram. it can be seen that as the contact load increases. the contact number of cycle at the beginning of oxide layer formation decreases linearly and as the coating thickness increases and the surface roughness of steel disk increases under same contact load. that increases. For the coated ball specimen, a AISI 52100 steel ball was used and AISI 1045 steel was used for the disk counter part.

• Journal of Korean Institute of Industrial Engineers
• /
• v.20 no.3
• /
• pp.3-14
• /
• 1994

In this study, two reliability computational algorithms which respectively utilize a factoring method are proposed for a system represented by reliability block diagram. First, vertex factoring algorithm is proposed. In this algorithm, a reliability block diagram is considered as a network graph with vertex reliabilities. Second algorithm is mainly concerned with conversion of a reliabilities block diagram into a network graph with edge reliabilities. In this algorithm, the independence of edges is preserved by eliminating replicated edges, and in computing the reliability of a converted network graph, existing edge factoring algorithm is applied. The efficiency of two algorithms are compared for example systems with respect to computing times. The results shows that the second algorithm is shown to be more efficient than the first algorithm.

• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.9
• /
• pp.759-767
• /
• 2000

OPKFDD(Ordered Pseudo-Kronecker Functional Decision Diagram)는 각 노드에서 다양한 decomposition을 취할 수 있는 Ordered-DD(Decision Diagram)의 한 종류이다. OBDD(Ordered Binary Decision Diagram)에서 각 노드는 Shannon decomposition 만을 이용하는 반면, OPKFDD는 각 노드마다 Shannon, positive Davio, negative Davio decomposition 중의 하나를 사용하도록 하며 많은 경우 매우 적은 수의 노드로 함수를 표현할 수 있다. 그러나 각 노드마다 각기 다른 확장 방법을 선택할 수 있는 특징 때문에 입력 노드에 대한 확장 방밥과 입력 변수 순서의 결정에 의해서 OPKFDD의 크기가 좌우되며 이에 대한 최적의 해를 구하는 것은 매우 어려운 문제로 알려져 있다. 본 논문에서는 DD 크기를 기준을 노드 수로 하여 기존의 BDD(Binary Decision Diagram) 자료구조에서 OPKFDD를 효율적으로 유도해내는 방법을 제시하고 complex term을 이용하여 이를 최소화하는 알고리즘을 제시한다. 그리고 입력변수 순서 결정을 위하여 다출력함수의 경우 함수간의 포함관계를 고려한 그룹-sifting과 각 노드의 확장 방법을 제안하고 실험 결과를 제시한다.

• Asia pacific journal of information systems
• /
• v.11 no.1
• /
• pp.117-137
• /
• 2001

B2B(business-to-business) commerce has become the prime driver of contemporary electronic commerce. Under B2B commerce, corporations often must operate across organizational boundaries to share their business processes. Workflow management was proposed by Aalst(4, 5) to support several business partners that are involved in shared workflow processes in B2B commerce. We designed a messaging system for B2B workflow, where heterogeneous workflow management systems on each organization for trade were integrated. Based on Aalst's example in(4, 5), we analyzed B2B workflow by using class diagram, use case diagram, activity diagram, and statechart diagram of UML, and designed the messaging system, We also demonstrated a prototype system which was implemented by using Java API and XML. To compare with a holistic system such as EDI systems, the messaging system allows the business partners in B2B commerce to communicate with each other by dedicated messages and integrate each B2B interoperable workflow without any restrictions.

• Journal of Korean Society of Steel Construction
• /
• v.13 no.2
• /
• pp.163-176
• /
• 2001

In this paper, the stress resultants and displacements of simply supported curved girder based on the flexural torsional theory considering torsional warping effects are analyzed. And elastic equations of continuous curved girder are obtained by using energy method. Also, bending moment warping torsional moment diagram, pure torsional moment diagram, shearing force diagram, and deflection diagram of continuos curved girder bridge subjecting to vertical loads and uniform loads are presented.

• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• pp.594-597
• /
• 2005

In this paper, I-PDA controller based on Coefficient Diagram Method incorporating feedforward controller is applied by robotic manipulators. Robotic manipulator models contain uncertain elements, which are not known exactly. Therefore, the dynamics of robotic manipulators are generally classified as uncertain dynamic system. The controller considered for the robotic manipulators need to move payloads of different masses from one point to another with good balance of the stability and response, consequently we propose I-PDA controller based on Coefficient Diagram Method incorporating FFC. The effectiveness of the controller for different system type of robotic manipulators is demonstrated by the simulation results.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.35 no.11
• /
• pp.487-494
• /
• 1986

This paper is concerned with the techniques of error check and reduction of state diagram using logic programming. Error check program aims to check not only syntax errors but also semantic errors. And reduction program optimizes the state diagram by finding the redundant equivalence states and removing those from the set of states. The input of both program is state diagram represented as state table form. The output of error check program is error comment. The output of reduction program is equivalence reduced state table. Both programs are implemented using prolog. Prolog has very powerful pattern matching, and its automatic back-tracking capabilities facilitate easy-to-write error check and reduction programs.