• The Journal of the Korea Contents Association
• /
• v.6 no.11
• /
• pp.258-265
• /
• 2006

DEVS formalism is advantageous in modeling large-scale complex systems and it reveals good readability, because it can specify discrete event systems in a hierarchical manner. In contrast, it has drawback in that the simulation speed of DEVS models is comparably slow since it requires frequent message passing between the component models in run-time. This paper proposes a method, called model composition, for simulation speedup of DEVS models. The method is viewed as a compiled simulation technique which eliminates run-time interpretation of communication paths between component models. Experimental results show that the simulation speed of transformed DEVS models is about 18 times faster than original ones.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2015.05a
• /
• pp.747-753
• /
• 2015

요즘 우리의 생활 속에서 차세대 신기술로 주목할 만한 것이 바로 "빅 데이터" 이다. 하지만 빅 데이터는 아직 구체적인 개념이 모호한 상태이다. 빅 데이터란, 기존 데이터베이스 관리도구로서 데이터를 수집, 저장, 관리, 분석할 수 있는 역량을 넘어서는 대량의 정형 또는 비정형 데이터 집합 및 이러한 데이터로부터 가치를 추출하고 결과를 분석하는 기술을 의미한다. 이러한 분석된 데이터들은 여러 방면으로 활용이 가능하다. 이를 통해 기업에서는 비즈니스적인 활용이 가능하며 예측과 분석을 통해 사업전망을 내다볼 수도 있다. 따라서 본 논문에서는 비즈니스 모델 혁신을 위해 빅 데이터 기반 예측분석이 왜 필요한 지에 대해 논의하고 기업들이 혁신을 촉진하기 위해 사업전략 목표에 예측모델들을 활용하는 운영 모델을 제시하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.504-507
• /
• 2016

내장형 소프트웨어의 검증은 운영체제와 응용 소프트웨어에 대해 동시적으로 수행되어야 한다. 선행연구에서는 운영체제를 정형적으로 모델링하고 이를 이용한 내장형 소프트웨어 안전성 검증 기법을 제안하였다. 본 연구에서는 선행 연구에서 Promela로 작성되었던 정형 모델을 참조하여 C 언어로의 변환 규칙을 정의함으로써 구현에 독립적인 모델을 작성하였다. 작성된 검증 모델을 CBMC 모델 체커로 검증한 결과 요구사항으로부터 도출된 35개의 안전성 속성 중 가변 속성을 제외한 21개에 대하여 21개를 모두 만족함을 입증하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2023.11a
• /
• pp.1244-1246
• /
• 2023

비디오, 오디오, 이미지, 텍스트 등의 비정형 데이터는 데이터 구조가 없어 데이터 자체만으로는 내용에 대한 질의 처리가 힘들어 정형 데이터로 변환하는 과정이 필요하다. 관계 추출 작업은 문장 내 단어 간 속성 또는 관계를 예측하여, 문장을 구조적으로 표현한다. 자연어처리 기법인 Dual Supervision 모델은 인간이 레이블한 데이터와 기계가 레이블한 데이터를 기반으로 기존 모델보다 적은 리소스로 관계를 예측한다. 해당 자연어 처리 모델을 이미지 처리에도 적용하여 기존 방법보다 적은 리소스를 이용하여 이미지에 대한 내용을 구조적으로 나타내는 모델을 제안하였으며, 실험을 통해 효율적인 이미지 객체 관계 추출이 가능함을 확인하였다.

• The KIPS Transactions:PartB
• /
• v.16B no.2
• /
• pp.109-116
• /
• 2009

In this thesis, an object tracking method based on the active feature model and the optical flow in stereo images is proposed. We acquired the translation information of object of interest and the features of object by utilizing the geometric information and depth of stereo images. Tracking performance is improved for the occlude object with this information by predicting the movement information of features of the occlude object. Rigid and non-rigid objects are experimented. From the result of experiment, the OOI can be real-time tracked from complicate back ground. Besides, we got the improved result of object tracking in any occlusion state, no matter what it is rigid or non-rigid object.

• Journal of KIISE:Software and Applications
• /
• v.33 no.12
• /
• pp.1008-1021
• /
• 2006

Product line engineering(PLE) is one of the recent and effective reuse approaches that enables developing a number of applications by instantiating a core asset. Elements of a core asset are product line architecture(PLA), component, and decision model. Among these elements, PLA is the key element since it defines the overall structure of the core asset. Although numerous PLE methodologies have been introduced, it is still unclear what should be the elements of a PLA and how to systematically instantiate it for specific applications. Formal specifications can play a key role in defining detailed and precise instantiation process. In this paper, we first present a meta model of PLA and show how to specify PLA in a formal language, Object-Z. Then, we propose instantiation rules using formal specification and those rules precisely define constraints for instantiating PLA. By applying the proposed formal specification, we believe PLA instantiation can be carried out precisely and correctly, yielding high quality software development.

• Journal of Internet Computing and Services
• /
• v.11 no.4
• /
• pp.107-117
• /
• 2010

The feature models representing the common and variable concepts among the software products and the feature configurations generated by selecting the features to be included in the target product are the essential components in the software product lines methodology. Although the researches on the formal semantics and reasoning of the feature models and feature configurations are in progress, the researches on feature model ontologies and feature configuration validation using the semantic web technologies are yet insufficient. This paper defines the formal semantics of the feature models and proposes a feature configuration validation technique based on ontology and semantic web technologies. OWL(Web Ontology Language), a semantic web standard language, is used to represent the knowledge in the feature models and the feature configurations. SWRL(Semantic Web Rule Language), a semantic web rule languages, is used to define the rules to validate the feature configurations. The approach in this paper provides the formal semantic of the feature models, automates the validation of feature configurations, and enables the application of various semantic web technologies, such as SQWRL.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.27 no.4
• /
• pp.223-230
• /
• 2014

In this paper, the wind-induced response characteristics of freeform shaped tall building is studied by using FSI analysis. The analytical models are twist shaped ones at representing type of atypical tall building, and this study focused on the relationship between twist angle and wind acceleration. Firstly, 1-way FSI analysis is performed, so maximum lateral displacement of the analytical model for 100 years return period wind speed is calculated, then the elastic modulus of a structure that satisfies the constraints condition is evaluated. And 2-way FSI analysis is carried out. so acceleration of the analytical model for the evaluated modulus of elasticity and arbitrary density is predicted through time history analysis. The basic model is a set of a square shape, height is 400m, slenderness ratio is 8, and twist model is rotated at square model from 0 to 90 degrees at intervals of 15 degrees and from 90 to 360 degrees at intervals of 90 degrees. According to the result of predicting wind acceleration by the shape of each model, the wind vibration effect of square shape model is confirmed to be sensitive more than a twist shape ones.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.495-497
• /
• 2000

분석 모델은 개발자의 언어로 작성되어 정확성과 일관성이 있는 개발 산출물로 관리되어야 한다. 본 논문은 이를 지원하기 위해 정형명세를 위한 New FST를 정의하고, 분석 모델의 정확성과 일관성 검증 규칙을 제안하며, 사례 연구를 통하여 적용하여 이 규칙들을 시험하였다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2021.06a
• /
• pp.300-300
• /
• 2021

최근 기후변화와 기상이변으로 예측하지 못한 게릴라성의 국지성호우로 인해서 과거 장마와 같은 피해가 아닌 변화된 강우패턴으로 막대한 피해가 나타나고 있다. 또한, 이러한 게릴라성 호우는 예측 또한 어려운 경향을 나타낸다. 이러한 피해를 방지하기 위해 단기유출 예측을 위해 사용되는 다양한 모형들 가운데 GRM(Grid based Rainfall-runoff Model)을 사용하였으며, GRM모델은 단기유출해석에 사용되며 국내에서 개발된 물리적 기반 모형이다. 본 연구에서는 한강의 하류인 청미천 유역을 대상으로 강우-유출 분석을 진행하였으며, 환경부의 11개 기상관측소의 자료를 이용한 티센망도 기반의 면적강우량으로 산정하였고 이를 GRM에 적용하였다. 강우자료의 Event 선정기간은 2011년 6월 29일부터 2011년 7월 1일까지 86.83mm 강수가 내린 Event이다. 공간자료는 국토지리정보원의 90M DEM(Digital Elevation Model), 농촌진흥청의 정밀토양도와 토심, 환경부 환경공간서비스의 대분류 토지이용도를 이용하였다. 또한, 검정을 위해서 정형우도인 NSE, 비정형우도인 Log-normal 우도를 이용하여 분석하였으며, 각각의 결과값은 NSE 0.966, Log-normal은 -1214.97의 값을 나타냈다. 추후, 다양한 적합지표를 이용하여 GRM의 강우패턴별, 유역별대표매개수가 산정된다면 홍수방어를 위한 강우-유출 모형으로 매우 유용하게 활용될 것으로 판단된다.