• Title/Summary/Keyword: Automatic Model Transformation

Search Result 52, Processing Time 0.027 seconds

A mechanism for Converting BPMN model into Feature model based on syntax (구조 기반 BPMN 모델의 Feature 모델로 변환 기법)

  • Song, Chee-Yang;Kim, Chul-Jin
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.17 no.1
    • /
    • pp.733-744
    • /
    • 2016
  • The legacy methods for converting a business model to a feature model make it difficult to support an automatic transformation due to a dependence on a domain analyzers' intuitions, which hinders the feature oriented development for the integration of feature modeling in business modeling. This paper proposes a method for converting a BPMN business model into a feature model based on syntax. To allow the conversion between the heterogeneous models from BPMN to the FM(Feature Model), it defines the grouping mechanism based activities' syntax, and then makes translation rules and a method based on the element (represent business function) and structure (relationships and process among elements), which are common constructs of their models. This method was applied to an online shopping mall system as a case study. With this mechanism, it will help develop a mechanical or automated structure transformation from the BPMN model to the FM.

Component Modeling Focusing on View-point of Component Use (사용 관점 중심의 컴포넌트 모델링)

  • Kim, Tae-Woong;Kim, Kyung-Min;Kim, Tae-Gong
    • The KIPS Transactions:PartD
    • /
    • v.14D no.2
    • /
    • pp.181-190
    • /
    • 2007
  • In component based development, component modeling for understanding and analyzing is the important part and is used to improve reusability. Generally, components are need to be divided into two types according to their usages, where the developer and assembler are usually different. To make a good component model, a complete component and interface specification for those components are needed. And the component model needs to adept two different views of developer and assembler. In this paper, we suggest two different views of component model that is related to views from developer and assembler, and we expand UML. Also we validate the efficiency of the suggested model by developing and applying a tool for building, managing and automatic transformation.

Automatic TFT-LCD Mura Inspection Based on Studentized Residuals in Regression Analysis

  • Chuang, Yu-Chiang;Fan, Shu-Kai S.
    • Industrial Engineering and Management Systems
    • /
    • v.8 no.3
    • /
    • pp.148-154
    • /
    • 2009
  • In recent days, large-sized flat-panel display (FPD) has been increasingly applied to computer monitors and TVs. Mura defects, appearing as low contrast or non-uniform brightness region, sometimes occur in manufacturing of the Thin-Film Transistor Liquid-Crystal Displays (TFT-LCD). Implementation of automatic Mura inspection methods is necessary for TFT-LCD production. Various existing Mura detection methods based on regression diagnostics, surface fitting and data transformation have been presented with good performance. This paper proposes an efficient Mura detection method that is based on a regression diagnostics using studentized residuals for automatic Mura inspection of FPD. The input image is estimated by a linear model and then the studentized residuals are calculated for filtering Mura regions. After image dilation, the proposed threshold is determined for detecting the non-uniform brightness region in TFT-LCD by means of monitoring the every pixel in the image. The experimental results obtained from several test images are used to illustrate the effectiveness and efficiency of the proposed method for Mura detection.

Development of an intelligent system for Lagrangian structural identification and relaxation for integer programmings (정수계획 모형에서 라그란지안 구조정의 및 완화를 지원하는 지능형 시스템의개발)

  • 김철수;이재규;김민용
    • Proceedings of the Korean Operations and Management Science Society Conference
    • /
    • 1995.09a
    • /
    • pp.300-324
    • /
    • 1995
  • This research investigates the automatic identification of typical embedded structures in the Integer Programming(IP) models and automatic transformation of the problem to an adequate Lagrangian problem which can provide tight bounds within the acceptable run time. For this purpose, the structural distinctiveness of variables, constants, blocks of terms, and constraint chunks is identified to describe the structure of the IP model. To assist the identification of the structural distinctiveness, the representation by the knowledge based IP model formulator UNIK-IP is adopted. For the reasoning for the structural identification, the bottom-up, top-down, and case-based approaches are proposed. A prototype system UNIK-RELAX is developed to implement the approaches proposed in this research.

  • PDF

Few-Shot Image Synthesis using Noise-Based Deep Conditional Generative Adversarial Nets

  • Msiska, Finlyson Mwadambo;Hassan, Ammar Ul;Choi, Jaeyoung;Yoo, Jaewon
    • Smart Media Journal
    • /
    • v.10 no.1
    • /
    • pp.79-87
    • /
    • 2021
  • In recent years research on automatic font generation with machine learning mainly focus on using transformation-based methods, in comparison, generative model-based methods of font generation have received less attention. Transformation-based methods learn a mapping of the transformations from an existing input to a target. This makes them ambiguous because in some cases a single input reference may correspond to multiple possible outputs. In this work, we focus on font generation using the generative model-based methods which learn the buildup of the characters from noise-to-image. We propose a novel way to train a conditional generative deep neural model so that we can achieve font style control on the generated font images. Our research demonstrates how to generate new font images conditioned on both character class labels and character style labels when using the generative model-based methods. We achieve this by introducing a modified generator network which is given inputs noise, character class, and style, which help us to calculate losses separately for the character class labels and character style labels. We show that adding the character style vector on top of the character class vector separately gives the model rich information about the font and enables us to explicitly specify not only the character class but also the character style that we want the model to generate.

Geocoding of Low Altitude UAV Imagery using Affine Transformation Model (부등각사상변환을 이용한 저고도 UAV 영상의 지형보정)

  • Kim, Seong-Sam;Jung, Jae-Hoon;Kim, Eui-Myoung;Yoo, Hwan-Hee;Sohn, Hong-Gyoo
    • Journal of Korean Society for Geospatial Information Science
    • /
    • v.16 no.4
    • /
    • pp.79-87
    • /
    • 2008
  • There has been a strong demand for low altitude UAV development in rapid mapping not only to acquire high resolution image with much more low cost and weather independent, compared to satellite surveying or traditional aerial surveying, but also to meet many needs of the aerial photogrammetry. Especially, efficient geocoding of UAV imagery is the key issue. Contrary to high UAV potential for civilian applications, the technology development in photogrammetry for example direct georeferencing is in the early stage and it requires further research and additional technical development. In this study, two approaches are supposed for automatic geocoding of UAV still images by simple affine transformation and block adjustment of affine transformation using minimal ground control points and also evaluated the applicability and quality of geometric model compared to geocoded images generated by commercial S/W.

  • PDF

M2M Transformation Rules for Automatic Test Case Generation from Sequence Diagram (시퀀스 다이어그램으로부터 테스트 케이스 자동 생성을 위한 M2M(Model-to-Model) 변환 규칙)

  • Kim, Jin-a;Kim, Su Ji;Seo, Yongjin;Cheon, Eunyoung;Kim, Hyeon Soo
    • KIISE Transactions on Computing Practices
    • /
    • v.22 no.1
    • /
    • pp.32-37
    • /
    • 2016
  • In model-based testing using sequence diagrams, test cases are automatically derived from the sequence diagrams. For the generation of test cases, scenarios need to be found for representing as a sequence diagram, and to extract test paths satisfying the test coverage. However, it is hard to automatically extract test paths from the sequence diagram because a sequence diagram represents loop, opt, and alt information using CombinedFragments. To resolve this problem, we propose a transformation process that transforms a sequence diagram into an activity diagram which represents scenarios as a type of control flows. In addition, we generate test cases from the activity diagram by applying a test coverage concept. Finally, we present a case study for test cases generation from a sequence diagram.

Analysis of Multivariate Process Capability Using Box-Cox Transformation (Box-Cox변환을 이용한 다변량 공정능력 분석)

  • Moon, Hye-Jin;Chung, Young-Bae
    • Journal of Korean Society of Industrial and Systems Engineering
    • /
    • v.42 no.2
    • /
    • pp.18-27
    • /
    • 2019
  • The process control methods based on the statistical analysis apply the analysis method or mathematical model under the assumption that the process characteristic is normally distributed. However, the distribution of data collected by the automatic measurement system in real time is often not followed by normal distribution. As the statistical analysis tools, the process capability index (PCI) has been used a lot as a measure of process capability analysis in the production site. However, PCI has been usually used without checking the normality test for the process data. Even though the normality assumption is violated, if the analysis method under the assumption of the normal distribution is performed, this will be an incorrect result and take a wrong action. When the normality assumption is violated, we can transform the non-normal data into the normal data by using an appropriate normal transformation method. There are various methods of the normal transformation. In this paper, we consider the Box-Cox transformation among them. Hence, the purpose of the study is to expand the analysis method for the multivariate process capability index using Box-Cox transformation. This study proposes the multivariate process capability index to be able to use according to both methodologies whether data is normally distributed or not. Through the computational examples, we compare and discuss the multivariate process capability index between before and after Box-Cox transformation when the process data is not normally distributed.

PROTOTYPE AUTOMATIC SYSTEM FOR CONSTRUCTING 3D INTERIOR AND EXTERIOR IMAGE OF BIOLOGICAL OBJECTS

  • Park, T. H.;H. Hwang;Kim, C. S.
    • Proceedings of the Korean Society for Agricultural Machinery Conference
    • /
    • 2000.11b
    • /
    • pp.318-324
    • /
    • 2000
  • Ultrasonic and magnetic resonance imaging systems are used to visualize the interior states of biological objects. These nondestructive methods have many advantages but too much expensive. And they do not give exact color information and may miss some details. If it is allowed to destruct some biological objects to get the interior and exterior information, constructing 3D image from the series of the sliced sectional images gives more useful information with relatively low cost. In this paper, PC based automatic 3D model generator was developed. The system was composed of three modules. One is the object handling and image acquisition module, which feeds and slices objects sequentially and maintains the paraffin cool to be in solid state and captures the sectional image consecutively. The second is the system control and interface module, which controls actuators for feeding, slicing, and image capturing. And the last is the image processing and visualization module, which processes a series of acquired sectional images and generates 3D graphic model. The handling module was composed of the gripper, which grasps and feeds the object and the cutting device, which cuts the object by moving cutting edge forward and backward. Sliced sectional images were acquired and saved in the form of bitmap file. The 3D model was generated to obtain the volumetric information using these 2D sectional image files after being segmented from the background paraffin. Once 3-D model was constructed on the computer, user could manipulate it with various transformation methods such as translation, rotation, scaling including arbitrary sectional view.

  • PDF

Development of Automatic System for 3D Visualization of Biological Objects

  • Choi, Tae Hyun;Hwnag, Heon;Kim, Chul Su
    • Agricultural and Biosystems Engineering
    • /
    • v.1 no.2
    • /
    • pp.95-99
    • /
    • 2000
  • Nondestructive methods such as ultrasonic and magnetic resonance imaging systems have many advantages but still much expensive. And they do not give exact color information and may miss some details. If it is allowed to destruct some biological objects to get interior and exterior informations, constructing 3D image form a series of slices sectional images gives more useful information with relatively low cost. In this paper, a PC based automatic 3D model generator was developed. The system was composed of three modules. The first module was the object handling and image acquisition module, which fed and sliced the object sequentially and maintains the paraffine cool to be in solid state and captures the sectional image consecutively. The second one was the system control and interface module, which controls actuators for feeding, slicing, and image capturing. And the last was the image processing and visualization module, which processed a series of acquired sectional images and generated 3D volumetric model. Handling module was composed of the gripper, which grasped and fed the object and the cutting device, which cuts the object by moving cutting edge forward and backward. sliced sectional images were acquired and saved in a form of bitmap file. 2D sectional image files were segmented from the background paraffine and utilized to generate the 3D model. Once 3-D model was constructed on the computer, user could manipulated it with various transformation methods such as translation, rotation, scaling including arbitrary sectional view.

  • PDF