• 정보처리학회논문지D
• /
• 제15D권4호
• /
• pp.505-512
• /
• 2008

임베디드 시스템에 대한 RBT(Requirement-Based Testing)를 수행하기 위하여 정확한 요구사항 명세서가 존재해야 한다. 그러나 고객이 자연어로 작성하는 요구사항은 모호성, 부정확성, 불일치성을 가지고 있다. 이를 해결하기 위해서 UML, Simulink등의 모델링 언어를 이용하여 요구사항을 다시 모델링 하지만, 이 과정에서 요구사항을 use-case단위로 조합하고 재해석하는 단점이 생겨나게 되었다. 본 논문에서는 임베디드 시스템에 대한 고객의 요구사항을 use-case단위의 조합이나 재해석이 필요 없이 곧바로 모델로 표현할 수 있는 그래픽 언어를 이용한 1:1 요구사항 모델링 기법을 소개한다. 제안한 방법은 1) 임베디드 시스템의 요구사항을 자연어가 아닌 의미가 분명한 그래픽 언어를 이용하여 표현하고, 2) 하나의 요구사항을 하나의 그래픽 모델로 표현한다. 또한 제안한 방법은 시스템의 입출력을 기반으로 "what-to-do"만을 기술하기 때문에 상위레벨의 요구사항이나 하위레벨의 요구사항 모두에 적용할 수 있는 기법이다. 이 기법이 적용된 REED라는 도구를 통하여 실제 프로젝트에 적용한 예를 살펴본다.

• 한국산학기술학회논문지
• /
• 제14권8호
• /
• pp.3999-4005
• /
• 2013

스마트 폰 2천만 시대가 도래 하면서 향후 모바일 시장의 규모는 엄청나게 거대해질 것으로 전망되고 있다. 이러한 흐름에 동반하여 소프트웨어 개발의 형태도 웹 기반 소프트웨어에서 모바일 기반의 앱 형태나 클라우드 컴퓨팅 기반의 서비스 형태로 변화되고 있다. 현재 전 세계적으로 스마트폰을 위한 플랫폼으로는 구글의 안드로이드와 애플의 IOS가 양대 산맥을 이루고 있다. 이러한 플랫폼 하에서 실행되는 모바일 앱을 개발할 경우 기존의 소프트웨어 모델링 기법을 그대로 적용할 수가 없다. 따라서 본 연구에서는 기존의 소프트웨어 모델링 기법을 안드로이드 기반의 소프트웨어 개발에 맞도록 특화된 모델링 기법을 제안한다. 안드로이드 기반의 모바일 스마트 환경에 필요한 분석 및 설계 기법을 모델링 기법으로 제안한다.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2011년도 추계학술대회 논문집
• /
• pp.614-622
• /
• 2011

In this study, the computational structural dynamic modeling of floating offshore wind turbine system is presented using efficient equivalent modeling technique. Structural dynamic behaviors of the offshore floating platform with 5MW wind turbine system have been analyzed using computational multi-body dynamics based on the finite element method. The considered platform configuration of the present offshore wind turbine model is the typical spar-buoy type. Equivalent stiffness and damping properties of the floating platform were extracted from the results of the baseline model. Dynamic responses for the floating wind turbine models are presented and compared to investigate its structural dynamic characteristics. It is important shown that the results of the present equivalent modeling technique show good and reasonable agreements with those by the fully coupled analysis considering complex floating body dynamics.

• 한국측량학회지
• /
• 제39권2호
• /
• pp.93-101
• /
• 2021

Recently, with the urban redevelopment and the spread of the planned cities, there is increasing interest in the wind environment, which is related not only to design of buildings and landscaping but also to the comfortability of pedestrians. Numerical analysis for wind environment prediction is underway in many fields, such as dense areas of high-rise building or composition of the apartment complexes, a precisive 3D building model is essentially required in this process. Many studies conducted for wind environment analysis have typically used the method of creating a 3D model by utilizing the building layer included in the GIS (Geographic Information System) data. These data can easily and quickly observe the flow of atmosphere in a wide urban environment, but cannot be suitable for observing precisive flow of atmosphere, and in particular, the effect of a complicated structure of a single building on the flow of atmosphere cannot be calculated. Recently, drone photogrammetry has shown the advantage of being able to automatically perform building modeling based on a large number of images. In this study, we applied photogrammetry technology using a drone to evaluate the flow of atmosphere around two buildings located close to each other. Two 3D models were made into an automatic modeling technique and manual modeling technique. Auto-modeling technique is using an automatically generates a point cloud through photogrammetry and generating models through interpolation, and manual-modeling technique is a manually operated technique that individually generates 3D models based on point clouds. And then the flow of atmosphere for the two models was compared and analyzed. As a result, the wind environment of the two models showed a clear difference, and the model created by auto-modeling showed faster flow of atmosphere than the model created by manual modeling. Also in the case of the 3D mesh generated by auto-modeling showed the limitation of not proceeding an accurate analysis because the precise 3D shape was not reproduced in the closed area such as the porch of the building or the bridge between buildings.

• Journal of the Korean Data and Information Science Society
• /
• 제17권2호
• /
• pp.269-278
• /
• 2006

This paper presents the new hybrid data mining technique using error pattern, modeling of improving classification accuracy. The proposed method improves classification accuracy by combining two different supervised learning methods. The main algorithm generates error pattern modeling between the two supervised learning methods(ex: Neural Networks, Decision Tree, Logistic Regression and so on.) The Proposed modeling method has been applied to the simulation of 10,000 data sets generated by Normal and exponential random distribution. The simulation results show that the performance of proposed method is superior to the existing methods like Logistic regression and Discriminant analysis.

• 한국경영과학회지
• /
• 제22권3호
• /
• pp.175-190
• /
• 1997

Organizational change projects such as Business Process Redisign (BPR) have been perceived to incur high risk due to their high management complexity, enterprise-wide impace, and steep project cost. This research intends to reduce such risk by developing a systematic process redesign methods, called Dynamic Process Modeling (DPM) method. DPM integrates the customer-oriented business process modeling technique with computerized visual simulation technique to promote better understanding of the target process and enable performance simulation of the proposed redesign alternatives prior to actual BPR implementations. For the cusstomer-oriented process modeling, we propose Dynamic-Event Process Chain (Dynamic-EPC) extending from the conceptual customer process model, Event-Process Chain (EPC). We compare DPM with four other implementation-level process modeling methods over eight criteria and demonstrate its effectiveness by applying it to the real-world hospital BPR case.

• Structural Engineering and Mechanics
• /
• 제18권1호
• /
• pp.113-124
• /
• 2004

The information on local stress acting in a bridge is required in many occasions such as fatigue assessment. The analysis by beam elements cannot yield this class of information adequately, while the finite element modeling of an entire long-span bridge by shell elements is impractical. In the present study, the hybrid modeling is tried out: only part of a bridge in which the point of interest is located is discretized by shell elements and the remaining part is modeled by beam elements. By solving a simple box girder problem, the effectiveness of this approach is discussed. This technique is then applied to the Rama IX Bridge for local stress evaluation. The numerical results compare very well with the results of a full-scale static loading test. The present research thus offers a practical yet accurate technique for the stress analysis of a long-span cable-stayed bridge.

• 전기학회논문지
• /
• 제61권12호
• /
• pp.1959-1963
• /
• 2012

Since electric railway load is variable largely due to starting and braking characteristics as well as various operation patterns, load modeling is not easy but complicated. For this reason, a simple technique for modeling of electric railway load of is required to analyze the AC substation system of electric railway. In this paper, a modeling technique of converter-based electric railway load is proposed and is tested using nonlinear loads on Matlab/Simulink.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1996년도 춘계공동학술대회논문집; 공군사관학교, 청주; 26-27 Apr. 1996
• /
• pp.200-203
• /
• 1996

Object-Oriented Modeling Technique (OMT) [1] promotes better understanding of requirements, cleaner designs, and more maintainable systems. A development of Group Decision Support System (GDSS) needs this advantage of OMT. GDSS designed through OMT proposes 3 modelings, object modeling, dynamic modeling, and functional modeling. This paper illustrates a design of GDSS using these 3 modelings. By exploiting the object-oriented paradigm, this design results in a highly system-independent design. And this paper shows some implementation issues including a tip of C++ code.

• 소성∙가공
• /
• 제1권1호
• /
• pp.5-10
• /
• 1992