• 제목/요약/키워드: Model-to-model Transformation

검색결과 1,671건 처리시간 0.031초

기능 모형으로부터 프로세스 흐름 모형으로의 변환을 통한 시스템의 개념적 설계에 대한 연구 (A Study on Conceptual Design through Function-to-Process Flow Model Transformation)

  • 박찬권;신기태;박남규;박진우
    • 한국전자거래학회지
    • /
    • 제1권2호
    • /
    • pp.49-76
    • /
    • 1996
  • An industrial process is a sequence of steps intended to perform a useful task in an industrial organization, and can be described using a model or a representation framework such as function model, information model, process flow model, etc. Many researchers, however, claim that, all those models from different perspectives are required to describe complex systems such as CIMS. Thus these perspectives should be put together to build an optimal system. And the need for interconnection or transformation among different view points has arisen for effective communications between system developers and easy propogation of local changes in a model. But it seems to be difficult to integrate such models into a unified framework as they describe different aspects of the system on different purposes. This study is an attempt to interconnect these different perspectives, and thereby to support conceptual design of systems in a more effective manner. A methodology to transform the IDEFO functional model into a process flow model is proposed. The validity of the proposed approach is tested by developing a prototye of a computer-assisted design system on the operation processes of FMS installed at Seoul National University - Automation and Systems Research Institute.

  • PDF

디지털 큐레이션 성숙도 모델 및 지표 개발에 관한 연구: 한국과학기술정보연구원 디지털큐레이션센터를 중심으로 (A Study on Development of Digital Curation Maturity Models and Indicators: Focusing on KISTI)

  • 김성훈;도슬기;한상은;김재훈;임석종;박진호
    • 정보관리학회지
    • /
    • 제39권4호
    • /
    • pp.269-306
    • /
    • 2022
  • 본 연구는 성숙도 모델 개념을 활용하여 디지털 전환 성과를 측정할 수 있는 지표 개발을 시도하였다. 디지털 전환을 위해서는 단순한 서비스 개선이 아니라 조직, 업무 변화까지를 고려할 필요가 있다. 여기서는 우리나라의 대표적인 과학기술정보서비스 기관인 KISTI의 디지털 전환 측정을 위한 모델 개발을 목표로 하였다. KSITI는 이미 디지털 전환을 위한 BPR 작업을 수행한 바 있으며, 성숙도 모델 개념을 차용하였다. 단, BPR에서는 해당 결과를 측정할 수 있는 방법은 존재하지 않는다. 본 논문에서는 성숙모 모델을 기반으로 디지털 전환을 측정할 수 있는 지표를 개발하였다. 지표개발은 모델 개발과 평가 두 가지 방법으로 수행하였다. 모델 구성을 위한 사례는 기존 KISTI에서 수행한 관련 연구, 다양한 국내·외 사례를 통해 이루어졌다. 검증 전 모델은 대분류를 기준으로 기술(37개), 데이터(45개), 전략(18개), 조직(인력)(36개), (사회적)영향력(14개)이었다. 검증 후에 최종 모델은 기술(20개/17개 지표 탈락), 데이터(36개/9개 지표 탈락), 전략(18개/유지), 조직(인력)(30개/6개 지표 탈락), (사회적)영향력(13개/1개 지표 탈락)으로 구성되었다.

미소운동 변환을 이용한 자율주행 자전거의 기구학 모델 (Kinematic Modeling for Autonomous Bicycle Using Differential Motion Transformation)

  • 이수영
    • 로봇학회논문지
    • /
    • 제8권4호
    • /
    • pp.292-297
    • /
    • 2013
  • This paper presents a new method of kinematic modeling for autonomous bicycle by using the differential motion transformation. Kinematic model is indispensable to trajectory planning and control for an autonomous mobile robot. The conventional methods of kinematic modeling for an autonomous bicycle depend on intuition by geometry. On the contrary, the proposed method in this paper is based on the systematic differential motion transformation, thus applicable to various types of autonomous bicycles. The differential motion transformation gives Jacobian between two coordinate frames and the velocity kinematics as a result.

Coordlinate Transformation Parameter Estimation for Korean Seas and Islands

  • KWON Jay Hyoun;BAE Tae-Suk;CHOI Yoon-Soo
    • Korean Journal of Geomatics
    • /
    • 제5권1호
    • /
    • pp.21-26
    • /
    • 2005
  • According to revisions of survey law taking effect on January 1, 2003, the Korean geodetic datum has been changed from a local geodetic to a world geodetic system. In this study, the datum transformation parameters especially for the maritime geographical data are determined. From database constructed through MGIS, a total of 492 coordinate pairs were selected and used in the parameter determination after outlier testing. Based on the parameter estimation, the Molodensky model is selected for datum transformation. For higher accuracy, Application of network optimization and a least squares collocation with Gaussian model has resulted in the accuracy better than 15 cm in coordinate transformation.

  • PDF

스트립캐스팅한 구상흑연주철 박판의 흑연화 과정에 대한 phase-field 모델링 (I);고용도가 없는 상의 모델링 (Phase Field Modeling of Graphitization in Ductile Cast Iron by Strip Casting(I);Modeling of Phases with Negligible Solubility)

  • 김성균;나형용
    • 한국주조공학회지
    • /
    • 제20권2호
    • /
    • pp.129-140
    • /
    • 2000
  • This study aims at the phase-field modeling of the phase transformation in graphitization of the cast iron. As the first step, we constructed a phase-field model including the phases with negligible solubility. Under the dilute regular solution approximation, a simplified version of the phase-field model was obtained, which can be used for the phase transformation related with the stoichiometric phases. The results from the numerical calculation of the phase-field model was in good agreement with the exact analytic solution. The compositional shift due to Gibbs-Thomson effect can be reproduced within 0.5% error in the numerical calculation. The interface velocity, whereas, in numerical calculation of phase-field model appeared to be 15% larger than that from the analytic solution. This error is due to the shift of the interface position in phase-field model from the position with ${\phi}=0.5$.

  • PDF

SMT 해결기를 이용한 자바 메모리 모델 시뮬레이션 (Java Memory Model Simulation using SMT Solver)

  • 이태훈;권기현
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제15권1호
    • /
    • pp.62-66
    • /
    • 2009
  • 많은 컴파일러는 속도를 높이기 위해서 최적화를 수행한다. 최적화의 결과로 프로그램의 구문이 변경된다. 단일 스레드 소프트웨어에서는 변경된 구문이 영향을 받지 않지만 멀티스레드 소프트웨어에서는 변경된 구문 때문에 예상하지 못한 실행 결과가 발생할 수 있다. 멀티 스레드자바 소프트웨어는 스레드들 간에 메모리를 통한 상호작용을 자바 메모리 모델을 통해서 명세 한다. 자바 메모리 모델은 자바언어의 표준 메모리 모델이다. 하지만 현재까지 나와 있는 어떠한 자바 모델 체킹 도구도 자바 메모리 모델을 지원하지 않는다. 본 논문에서는 자바 메모리 모델을 지원하는 모델 체킹 도구를 개발하기 위해서 자바 메모리 모델을 지원하는 시물레이터를 많은 모델 체킹 도구에서 사용되는 SMT 기반으로 구현했다. SMT 기반 메모리 모델 시뮬레이터는 기존의 메모리 모델 시뮬레이터에서 몇분이 걸리는 계산 결과를 1초 이내에 계산하였다. 또한 이를 통해 기존 소프트웨어 모델 체킹에서 표현할 수 없는 실행 결과를 빠르게 표현할 수 있다.

멱변환 이분산성 시계열 모형을 이용한 인터넷 트래픽 예측 기법 연구 (Internet Traffic Forecasting Using Power Transformation Heteroscadastic Time Series Models)

  • 하명호;김삼용
    • 응용통계연구
    • /
    • 제21권6호
    • /
    • pp.1037-1044
    • /
    • 2008
  • 본 연구에서는 재무시계얼 자료의 변동성을 분석하는데 유용하게 쓰이는 멱변환 시계열 모형을 인터넷 트래픽 자료 특성 분석에 적용하여 효용성을 보이고자 한다. 트래픽의 특성인 장기기억(long memory)특성을 설명하기 위하여 멱변환 GARCH(PGARCH) 모형을 소개하고 기존의 GARCH 모형보다 더 유용함을 시뮬레이션과 실제 인터넷 트래픽 자료에 적합시켜 입증하였다.

AR 모델을 이용한 이동 통신 채널의 시간 지연 해석기법에 관한 연구 (A Study on Analysis of Time Delay Model Using Autoregressive Method for Mobile Communication Channels)

  • 이형권;류은숙;이종길
    • 대한전자공학회:학술대회논문집
    • /
    • 대한전자공학회 1999년도 하계종합학술대회 논문집
    • /
    • pp.29-32
    • /
    • 1999
  • In this study, the time delay model were simulated using the well-known AR model. Frequency response of the time delay model can be obtained by mapping AR model to JTC model in the time domain. That is, from the few measurement data in JTC model, the channel frequency response can be obtained by the estimation of AR model parameters. From this channel frequency response, the time delay model can be obtained using Fourier transformation. To prove the validity of the suggested method, three models of JTC were shown and analyzed.

  • PDF

오스테나이트 결정립 크기를 고려한 CGHAZ에서의 상변태 거동 예측 (Modeling of PhaseTransformation Kinetics in the CGHAZ Considering Prior Austenite Grain Size)

  • 이찬우;엄상호;이경종;이창희
    • Journal of Welding and Joining
    • /
    • 제18권5호
    • /
    • pp.55-62
    • /
    • 2000
  • A metallurgical model for the phase transformation kinetics at Coarsened Grain Heat Affected Zone(CGHAZ) on the basis of Johnson-Mehl-Avrami equation(JMA equation) was proposed. In this model, the effect of prior austenite grain size on the transformation and the morphological changes of ferrite were considered. Isothermal dilatometer tests were performed to determine the effect of prior austenite grain size (AGS) on the austenite decomposition to ferrite and pearlite in a plain carbon steel. By comparing the calculated volume fraction with measured data, the reliability of the developed model was discussed.

  • PDF

스펙트럼을 이용한 파랑변형 예측 (Prediction Wave Transformation for Using Wave Spceturm)

  • 박정철;김재중
    • 한국항해항만학회:학술대회논문집
    • /
    • 한국항해항만학회 1999년도 추계학술대회논문집
    • /
    • pp.235-242
    • /
    • 1999
  • Wave which propagate from the offshore cause transformation of diffraction, refraction, and reflection etc. in coming in the coastal by depth change. Especially, Wave strongly show the charcateristics of rancom wave in the coastal zone. Developed wave model until a recent date analysed regular waves with height and period equal to those of the significant wave, In case of Monochromatic wave, it can be analysed fine in the offshore, but differ from in coastal zone. In this study, form of governing equation is parabolic mild slope equation. This model calculated random wave for using frequency spectrum and directional spectrum from input data condition of wave. This model is applied to Vincent shoal and compared with laboratory experimental data. The results agreed well with laboratory data.