• Title/Summary/Keyword: 특성 모델 검증

Search Result 2,149, Processing Time 0.03 seconds

Rule-based Feature Model Validation Tool (규칙 기반 특성 모델 검증 도구)

  • Choi, Seung-Hoon
    • Journal of Internet Computing and Services
    • /
    • v.10 no.4
    • /
    • pp.105-113
    • /
    • 2009
  • The feature models are widely used to model the commonalities and variabilities among the products in the domain engineering phase of software product line developments. The findings and corrections of the errors or consistencies in the feature models are essential to the successful software product line engineering. The aids of the automated tools are needed to perform the validation of the feature models effectively. This paper describes the approach based on JESS rule-base system to validate the feature models and proposes the feature model validation tool using this approach. The tool of this paper validates the feature models in real-time when modeling the feature models. Then it provides the information on existence of errors and the explanations on causes of those errors, which allows the feature modeler to create the error-free feature models. This attempt to validate the feature model using the rule-based system is supposed to be the first time in this research field.

  • PDF

Feature Configuration Validation using Semantic Web Technology (시맨틱 웹 기술을 이용한 특성 구성 검증)

  • Choi, Seung-Hoon
    • 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.

The Timing Specification and Verification on Real-Time Object (실시간 객체의 시간 명세 및 검증 기법)

  • 손혁수;양승민
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 1998.10b
    • /
    • pp.484-486
    • /
    • 1998
  • 실시간 객체 지향 모델은 객체 지향 개념에 실시간 특성을 추가한 시스템 모델 개념이다. 이는 실시간 시스템에 적합한 모델을 제시하고 있다. 그러나, 대부분의 실시간 객체 지향 모델이 실시간 객체의 실시간 특성에 관련된 시간 명세를 전문자의 경험에 많이 의지하고 있다. 그리고, 실시간 자료, 메소드 및 메시지를 명확하게 구분하고 있지 않을 뿐 아니라 이들에 대한 시간 명세 표현도 부족한 형편이다. 따라서, 하나의 틀안에 실시간 객체의 실시간 특성을 모두 표현하고 이를 검증할 수 있는 방법이 필요하다. 본 논문에서는 실시간 객체의 실시간 특성을 표현하기 위해 실시간 자료 및 메소드 순차 차트와 시간 제약 사항 그래프를 제시하여 실시간 특성의 표현과 검증을 한다. 순차 차트는 실시간 객체의 실시간 자료, 메소드 및 메시지에 대한 시간 명세를 시간 구동 메소드 단위로 하나의 차트에 나타낸다. 시간 제약 사항 그래프는 순차 차트로부터 유추되어 실시간 메소드의 마감시간과 실시간 자료의 최대 유효 기간에 대한 시간 명세가 올바른지 그래프를 이용하여 검증할 수 있는 방법을 제시한다.

Feature Model Validation Tool based on Ontology (온톨로지 기반의 특성 모델 검증 도구)

  • Kim, Min-Kyung;Song, Eun Chong;Han, Ji Hee;Choi, Seung-Hoon
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2010.11a
    • /
    • pp.276-279
    • /
    • 2010
  • 소프트웨어 제품 라인 개발 패러다임은 관련 제품들 사이의 공통점과 차이점을 이용해 보다 전략적인 재사용을 가능하게 함으로써 소프트웨어 개발 생산성을 높여 주는 개발 방법론이다. 공통점과 차이점을 분석하고 모델링하기 위해 가장 중요한 모델이 특성 모델이다. 특성 모델은 규모가 커짐에 따라 오류를 포함할 가능성이 커지며 이를 검증하기 위한 자동화된 도구가 필요하다. 본 논문에서는 온톨로지를 자바 언어로 구현 가능하게 해주는 Protege API, OWL기반의 시맨틱 웹 규칙 언어인 SWRL, 규칙 추론 엔진인 Pellet Reasoner 등의 기술을 이용한 특성 모델 검증 도구를 제안한다.

Starting Dynamic Characteristic Prediction of Open type Liquid Rocket Engine Using Simulink (Simulink를 이용한 개방형 로켓엔진시스템의 시동특성예측)

  • Jeong, Yu-Shin;Lee, Kuk-Jin;Yoon, Woong-Sup
    • Proceedings of the Korean Society of Propulsion Engineers Conference
    • /
    • 2010.11a
    • /
    • pp.287-293
    • /
    • 2010
  • 본 연구에서는 개방형 로켓엔진시스템의 제어시스템을 구성하기 위한 선행연구로서, 시동특성을 예측하기위해 Simulink 모델을 구성하였다. 구성품별 동특성 모델을 바탕으로 로켓엔진시스템의 예측 프로그램을 구성하였으며, 대상으로 하는 시스템의 천이 작동상태에서의 동특성 변화의 예측과 더불어 그 모델링의 타당성 검증을 위하여 실제 개방형 로켓엔진 상사모델의 수류실험을 통해 실험적으로 측정하여 비교하였다. 또한 Simulink모델이 제어시스템을 구성하기위해 적합한지를 판단하기위해 기 수행된 천이 동특성 예측 프로그램의 결과와 비교하였고 검증하였다.

  • PDF

달착륙선의 전력시스템 개념설계와 지상시험모델용 추력기 밸브구동 전원장치 개발

  • Jang, Seong-Su;Ju, Gwang-Hyeok
    • The Bulletin of The Korean Astronomical Society
    • /
    • v.37 no.2
    • /
    • pp.196.2-196.2
    • /
    • 2012
  • 본 논문은 달착륙선의 개념설계를 위하여 고려한 전력시스템의 설계와 달착륙선의 지상시험모델용 추력기 밸브구동 전원장치 개발에 대해 기술하였다. 달착륙선의 임무특성을 고려하여 전력시스템의 구조를 검토하고, 극한의 온도환경에서 달착륙선의 임무수행을 위하여 필요한 전력에너지를 충분히 공급할 수 있도록 태양전지 배열기와 배터리의 용량, 그리고 전장품의 용량을 설계하였다. 특히 경량의 달착륙선 개발을 위하여 고효율의 태양전지를 이용한 태양전지 배열기와 리튬-이온 배터리를 검토하였다. 극한의 우주환경에서 태양전지배열기의 동작특성을 검토하고 생성될 수 있는 최대 전력을 분석하여 최적의 태양전지 배열기의 면적을 분석하고, 장시간의 월식을 고려하여 배터리의 방전특성에 따른 배터리의 전압특성을 검토하였다. 그리고 달착륙선의 전력시스템 개념설계의 타당성 검토를 위하여 유럽에서 개념설계 중인 달착륙선의 전력시스템 사양과 용량에 대해 비교검토를 수행하였다. 현재 개발중인 지상검증모델용 달착륙선의 전력시스템 설계와 추력기 밸브구동 전원장치의 개발에 관해 기술하였다. 지상검증용 전력시스템은 태양전지배열기의 장착 없이 배터리의 전력만을 사용하여 지상검증모델용 달착륙선의 부하에 전력을 공급할 수 있도록 설계되었다. 달착륙선 지상시험모델의 비행시간과 임무에 따른 부하특성을 고려하여 상용 리튬-이온 배터리의 용량을 선정하였으며, 부하의 전력을 고려하여 간단한 보호회로를 설계하였다. 그리고 지상검증용 전원시스템은 추력기의 밸브구동을 위한 추력기 밸브구동 전원장치, DC/DC 컨버터 전원 모듈, 모니터링 모듈, 그리고 위급상황에서 전원을 차단하기 위한 "Emergency STOP" 모듈로 구성되어 있다.

  • PDF

A Study on the MMPP Model Verification for the Real-time VBR Traffic of ATM Network (ATM망의 실시간 VBR 트래픽에 대한 MMPP 모델 적합성 검증 연구)

  • 정승국;이영훈
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.28 no.8B
    • /
    • pp.699-706
    • /
    • 2003
  • This paper is to verify that 2-state MMPP Model conform to ATM VBR traffic characteristics by measuring and analyzing real-time VBR traffic in KT's ATM network. As a result, we validated the fact that real-time VBR traffic of ATM network cannot be apply to MMPP model and must be represented by previously general On-Off Model with characteristics as follows: arrival rate of On state (λ$_1$) is deterministic, arrival rate of Off state (λ$_2$) is zero, and two transition rate (T$_1$,T$_2$) is only random variable. As research results are to handle real traffic, these results can be used to all ATM network traffic model with traffic management function such as KT's ATM network.

Graph Random Walk Analysis for Chat Messenger User Verification (채팅 메신저 사용자 검증을 위한 그래프 랜덤 워크 분석)

  • Lee, Da-Young;Cho, Hwan-Gue
    • Annual Conference on Human and Language Technology
    • /
    • 2021.10a
    • /
    • pp.79-84
    • /
    • 2021
  • 메신저 사용의 증가와 함께 관련 범죄와 사고가 증가하고 있어 메시지 사용자 검증의 필요성이 대두되고 있다. 본 연구에서는 그래프 기반의 인스턴트 메세지 분석 모델을 제안하여 채팅 사용자를 검증하고자 한다. 사용자 검증은 주어진 두 개의 텍스트의 작성자가 같은지 여부를 판단하는 문제다. 제안 모델에서는 사용자의 이전 대화를 토대로 n-gram 전이 그래프를 구축하고, 작성자를 알 수 없는 메세지를 이용해 전이 그래프를 순회한 랜덤워크의 특성을 추출한다. 사용자의 과거 채팅 습관과 미지의 텍스트에 나타난 특징 사이의 관계를 분석한 모델은 10,000개의 채팅 대화에서 86%의 정확도, 정밀도, 재현율로 사용자를 검증할 수 있었다. 전통적인 통계 기반 모델들이 명시적 feature를 정의하고, 방대한 데이터를 이용해 통계 수치로 접근하는데 반해, 제안 모델은 그래프 기반의 문제로 치환함으로써 제한된 데이터 분량에도 안정적인 성능을 내는 자동화된 분석 기법을 제안했다.

  • PDF

Characteristic Tests on the Gas Turbine Generator System for Determination and Verification of Model Parameters in a Combined Cycle Power Plant (복합화력발전소 가스터빈 발전기계통 모델정수 도출 및 검증을 위한 특성시험)

  • Kim, Jong Goo;Yoo, Hoseon
    • Plant Journal
    • /
    • v.17 no.4
    • /
    • pp.35-40
    • /
    • 2021
  • In this study, a technical characteristic test was conducted on the gas turbine generator system of Seoincheon Combined cycle no.6 to derive and verify the model constants. As a result of the generator maximum/minimum reactive power limit test, the maximum reactive power limit is 80 MVar and the minimum is -30 MVar. The generator uses the GENROU model, the field time constant (T'do) is 4.077 s, and the inertial constant (H) is 5.461 P.U. Excitation system used ESST4B model to derive and verify model constants by simulating no-load 2% AVR step test, PSS modeling derived from PSS2A model constants, and simulated and compared measurement data measured when PSS off/on Did. The GGOV1 model was used for the governor-turbine, and the numerical stability of the determined governor-turbine model constant was verified by simulating a 10% governor step test through the PSS/E simulation program

Building of cyanobacteria forecasting model using transformer (Transformer를 이용한 유해남조 발생 예측 모델 구축)

  • Hankyu Lee;Jin Hwi Kim;Seohyun Byeon;Jae-Ki Shin;Yongeun Park
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2023.05a
    • /
    • pp.515-515
    • /
    • 2023
  • 팔당호는 북한강과 남한강이 합류하여 생성된 호소로 수도인 서울과 수도권인 경기도 동부지역의 물 공급을 담당하는 중요한 상수원이다. 이러한 팔당호에서 유해남조 발생은 상수원수 활용과 직접적으로 연관되어 있어 신속하고 정확한 관리 및 예측이 필요하다. 본 연구에서는 안전한 상수원 활용을 위해, 딥러닝 기법을 이용하여 유해남조 사전 예측 모델을 구축하고자 하였다. 모델 입력 변수는 2012년부터 2021년까지 10년 동안의 주간 팔당호 수질(수온, DO, BOD, COD, Chl-a, TN, TP, pH, 전기전도도, TDN, NH4N, NO3N, TDP, PO4P, 부유물질)과 수문(유입량, 총방류량), 기상 정보(평균기온, 최저기온, 최고기온, 일 강수량, 평균풍속, 평균 상대습도, 합계일조량), 그리고 북한강과 남한강 유입지점의 남조 세포 수를 사용하였다. 모델 출력 변수는 수질, 수문, 기상 요인으로 인한 남조의 성장 발현 시기를 고려하여 1주 후의 댐앞 남조 세포수를 사용하였다. 사용한 딥러닝 기법은 최근 주목받고 있는 Temporal Fusion Transformer (TFT)를 사용하였다. 모델 훈련용 데이터와 테스트용 데이터는 각각 8:2의 비율로 나누었으며, 검증용 데이터는 훈련용 데이터 내에서 훈련 데이터와 검증 데이터를 6:4 비율로 분배하였다. Lookback은 5로 설정하였고, 이는 주단위 데이터로 구성된 데이터세트의 특성을 반영한 것이다. 모델의 성능은 실측값과 예측값을 토대로 R-square와 Root Mean Squared Error (RMSE)를 계산하여 평가하였다. 모델학습은 총 154번 반복 진행되었으며, 이 중 성능이 가장 준수한 시점은 54번째 반복 시점으로 훈련손실 대비 검증손실이 가장 양호한 값을 나타냈다(훈련손실:0.443, 검증손실 0.380). R-square는 훈련단계에서 0.681, 검증단계에서 0.654였고, 테스트 단계에서 0.606으로 산출되었다. RMSE는 훈련단계에서 0.614(㎍/L), 검증단계에서 0.617(㎍/L), 테스트 단계에서 0.773(㎍/L)였다. 모델에 사용한 데이터세트가 주간 데이터라는 특성을 고려하면, 소규모 데이터를 사용하였음에도 본 연구에서 구축한 모델의 성능은 양호하다고 평가할 수 있다. 향후 연구에서 데이터세트를 보강하고 모델을 업데이트한다면, 모델의 성능을 더욱더 개선할 수 있을 것으로 기대된다.

  • PDF