• Annual Conference of KIPS
• /
• 2010.04a
• /
• pp.56-59
• /
• 2010

오늘날 임베디드 환경에서의 하드웨어의 발전에 더불어, 소프트웨어의 복잡도가 점점 증가하고, 유지보수에 대한 비용이 증가함에 따라 UML모델을 이용한 자동코드 생성에 대한 관심이 더욱 커지고 있다. UML을 이용한 코드 생성의 효과적으로 이루어지기 위해서는 설계된 모델의 무결성이 요구되고 이를 위해서는 모델의 논리적 검증이 선행되어야 한다. 아울러 설계자로 하여금 정의하는 모델이 명확하게 이해되고 구현될 있어야 한다. 하지만 코드 생성의 행위적 관점의 기본이 되는 상태머신 다이어그램에서 잘 드러나는 흐름과는 다르게 데이터의 사용은 다이어그램 내부에 숨겨져 있어 설계자로 하여금 모델에 대한 이해를 어렵게 하고 잠재적인 에러의 내포 가능성이 제기되어 왔다. 본 논문은 이러한 문제의 해결을 위해 코드 내포 상태머신 다이어그램의 데이터 시각화기법을 이용하고, 이러한 시각화 기법을 이용하여 데이터 사용관점에서의 모델의 이해를 도움과 동시에 이를 통하여 더욱 정확한 모델링을 수행하고 더불어 이를 통해 최종적으로는 더욱 효율적인 형태의 코드를 생성하는 코드 자동 생성기의 설계를 제안 한다.

• Journal of the Korea Society for Simulation
• /
• v.21 no.2
• /
• pp.19-30
• /
• 2012

In recent decades, it has been known that the Discrete Event System Specification, or DEVS, formalism provides sound semantics to design a modular and hierarchical model of a discrete event system. In spite of this benefit, practitioners have difficulties in applying the semantics to real-world systems modeling because DEVS needs to specify a large size of sets of events and/or states in an unstructured form. To resolve the difficulties, this paper proposes an extension of the DEVS formalism, called the Structured DEVS formalism, with an associated graphical representation, called the DEVS diagram, by means of structural representation of such sets based on closure property of set theory. The proposed formalism is proved to be equivalent to the original DEVS formalism in their model specification, yet the new formalism specifies sets in a structured form with a concept of phases, variables and ports. A simplified example of the structured DEVS with the DEVS diagram shows the effectiveness of the proposed formalism which can be easily implemented in an objected-oriented simulation environment.

• Journal of the Korea Institute of Building Construction
• /
• v.11 no.1
• /
• pp.1-8
• /
• 2011

Linear scheduling method limits to present works of work breakdown structure as a form of lines and was often developed manually. In other words, linear schedule could not utilize activity, work breakdown structure, and etc. information of network schedule such as CPM(Critical Path Method) and has been used only for reporting or confirming construction master plan. Therefore, it is necessary to develop system which can automatically generating the linear schedule based on the network schedule having many accumulated and useful construction schedule information. Thus, this research has an effort to establish data process model, data flow diagram, and data model in order to make linear schedule. In addition, this research addresses the system solution structure, user interface class diagram and logic diagram, and data type schema. The results of this paper can be used as a preliminary research for developing linear schedule generating system prototype by utilizing the network schedule information.

• Journal of the Korean Society of Costume
• /
• v.63 no.3
• /
• pp.17-32
• /
• 2013

This study examined the visual elements of the Trompe l'oeil design and the combination conditions of each element in order to deduce the form generation diagrams of Trompe l'oeil fashion design. The following is what the study found: First, Trompe l'oeil fashion design can be divided into two based on its subject: 'the combination of internal elements of dress' and 'the combination of external elements of dress'. Looking at the visual components of each type, depending on the subject, 'the combination of internal elements of dress' design was achieved by combining internal dress elements: including textile, detail, item, accessory, layering, etc.. In case of 'the combination of external elements of dress' design, the object of Trompe l'oeil was expanded in scope to environment, which includes the actions of a wearer. Second, as for Trompe l'oeil fashion design through the combination of external dress elements, the condition to combined visual components of the work in the process of creation was related to 'the popularity of object', 'the similarity of shapes and sizes', and 'the probability of location'. Third, deriving a form generation diagrams of Trompe l'oeil fashion design was very effective in delineating specific relationships and conditions, directions among elements combined in fashion design.

• Journal for History of Mathematics
• /
• v.22 no.3
• /
• pp.45-60
• /
• 2009

Mathematical thinking can be symbolized by the external signs, and these signs determine in reverse the form of mathematical thinking. Each symbol - a symbol in algebra, a symbol in analysis, and a diagram which verifies syllogism - reflects the diverse characteristic of cogitation in mathematics and perfirms a heuristic function.

• Korean Institute of Interior Design Journal
• /
• v.15 no.4 s.57
• /
• pp.147-155
• /
• 2006

Recently, because of the rapid remarkable development of the digital media, contemporary society is continuously extending and changing over the limitation of the human recognition. But in the field of architectural form creation, a diagram used in the design process of the past is not enough to reflect a complication, contingent and multiple quality of these contemporary society. So, to reveal the rhizomorphous and non-hierarchial qualify of the contemporary digital network society, architecture became necessary to use the diagram with digital media which have various possibilities to present architect's abstract images that the diagram of the past couldn't do. Therefore, this study proposes that the process for creating architectural form with the digital diagram be a alternative to conquest the limits of contemporary architecture, so it present the complicate and contingent quality of contemporary society. Furthermore, it examines the quality and possibility of the diagram by understanding the creation and transformation of the digital diagram, and how to apply to the actual architecture process of the creating form.

• Composites Research
• /
• v.37 no.3
• /
• pp.215-218
• /
• 2024

Liquid crystalline thermosetting epoxy oligomer DD-A was synthesized with Diglycidyl ether of 4,4'-dihydroxy-α-methylstilbene (DGE-DHMS) and aniline in a ratio of 2:1 and cured with a catalytic curing agent, 1-Methyl Imidazole. The gelation times and vitrification times were measured to create Time-Temperature-Transition Diagrams with liquid crystalline phase changes. It was found that the gelation and vitrification times were decreased as the concentration of curing agent increased, and the vitrification curve showing a typical S-shape was confirmed.

• Journal of The Korean Association For Science Education
• /
• v.32 no.5
• /
• pp.1007-1026
• /
• 2012

The purpose of this study was to develop analytic framework for dialogic argumentation to show the context and flow visualizing interactions of argumentation, to be able to present quality of argumentation specifically. For this, we formulated a method of the argumentation diagram using feature of diagram simple and structurally visualizing interrelation between argument components, and then quantified quality of argumentation to argument level score on this basis. We have developed the learning material for argumentation about a vertical circular motion and used the obtained translations from applying it in developing the framework. We chose argument statements among full transcript and then coded as Toulmin's argument components, and these codes was effectively arranged and linked to show argumentation diagram. Results by argumentation diagram could be useful understanding of interactive argumentation context and the flow and present frequency, the combination of argument elements, rough qualitative level of argumentation. To quantify argumentation quality, we gave different scores to different link lines reflecting indication of argumentation quality like that diversity of argument component, justification, presence or absence of rebuttals. The process of identification of argument level is very simple, qualitative level of argumentation represented as concrete score could present various and concrete argument level. Developed analytic framework might contribute to argumentation research field, because it can present effectively dialogic argumentation result. Also, various analysis cases might guide designing an effective argumentation practice and circular motion learning.

• The Transactions of the Korea Information Processing Society
• /
• v.1 no.3
• /
• pp.299-310
• /
• 1994

Re-engineering tools can substantially increase software maintenance productivity and the quality of maintenance work. Re-engineering usually involves changing the form(e.g.changining objects names and definitions, restructuring process logic) of a program. In this paper, we describe the design and implementation of InMaC＋＋ that is a software tool oriented towards maintenance of C＋＋ object oriented programs. With InMaC＋＋, programms can be displayed and edited in two forms : as the code and as the diagram InMaC＋＋ also contains transformations in both directions, i,e. from code to diagram and from diagram to skeletons of code. Hence, it is suitable for re-engineering and maintenance of existing code. Specially designed browsers implement the graphical interface. InMaC＋＋ contains a database that is based on a simple but effective data model of InMaC＋＋ programs. The model contains only four object classes and three relations, which makes the tool small, and easy to implement and use. A simple query language allows browsing through the database.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.871-873
• /
• 2004

현재 다양한 시각 프로그래밍 시스템과 다이어그램을 사용하는 모델링 도구가 증가하고 있다. 이러한 도구에서 사용되는 각 그래픽 요소들은 매우 다양하고, 동일한 형태라도 의미가 다르며, 각 그래픽 요소들이 연결될 수 있는 형태가 다르기 때문에 범용적인 그래픽 편집기를 개발하기 어렵다. 본 논문은 다양한 시각 프로그래밍 언어에 적용가능한 편집기를 개발하기 위해 시각적인 표현에 필요한 기본적인 기능을 제공하는 추상적 시각 프로그래밍 편집기와 각 시각적 프로그래밍 언어마다 의미하는 그래픽 요소를 생성하는 토큰편집기를 가진 추상적인 시각 프로그래밍 시스템을 제안한다. 사용자는 제안한 시스템을 이용하여 각 언어별로 알맞은 명시적 시각 프로그래밍 편집기의 생성이 가능하다. 또한. 모든 명시적 시각 프로그래밍 편집기는 플랫폼에 독립적인 형태로 생성이 가능하다.