• 제목/요약/키워드: 특성 모델 검증

검색결과 2,134건 처리시간 0.031초

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

  • 최승훈
    • 인터넷정보학회논문지
    • /
    • 제10권4호
    • /
    • pp.105-113
    • /
    • 2009
  • 특성 모델(Feature Model)은 소프트웨어 제품 라인 개발 시 도메인 공학 단계에서 제품들 사이의 공통점과 차이점을 모델링하는데 널리 사용된다. 특성 모델의 오류 또는 불일치성에 대한 발견 및 수정은 성공적인 소프트웨어 제품 라인 공학을 위해서 필수적이다. 특성 모델의 검증을 효과적으로 수행하기 위해서는 자동화된 도구의 도움이 필요하다. 본 논문에서는 JESS 규칙 기반 시스템을 이용하여 특성 모델의 유효성을 검증하는 기법을 기술하고 이를 이용한 특성 모델 검증 도구를 제안한다. 본 논문의 도구는 특성 모델링 작업 시 실시간으로 특성 모델을 검증하여 오류의 존재 여부와 오류의 원인에 대한 설명을 제공함으로써 오류 없는 특성 모델을 생성할 수 있도록 해 준다. 특성 모델 검증 기법에 규칙 기반 시스템을 이용한 경우는 본 논문이 최초의 시도로 사료된다.

  • PDF

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

  • 최승훈
    • 인터넷정보학회논문지
    • /
    • 제11권4호
    • /
    • pp.107-117
    • /
    • 2010
  • 소프트웨어 제품들 사이의 공통된 개념과 서로 다른 개념들을 표현한 특성 모델과, 특정 제품에 포함될 특성들을 선택한 결과인 특성 구성은 소프트웨어 프러덕트 라인 개발 방법론에서 핵심 요소이다. 이들에 대한 정형적 시맨틱과 논리적 추론에 대한 연구가 진행 중이지만 시맨틱 웹 기술을 이용한 특성 모델 온톨로지 구축과 특성 구성 검증에 대한 연구는 아직 부족한 상황이다. 본 논문에서는 온톨로지와 시맨틱 웹 기술을 이용하여 특성 모델의 정형적 시맨틱을 정의하고 특성 구성을 검증하는 기법을 제안한다. 특성 모델과 특성 구성에 포함된 지식을 시맨틱 웹 표준 언어인 OWL(Web Ontology Language)로 표현하고 특성 구성을 검증하기 위한 규칙은 시맨틱 웹 규칙 언어인 SWRL(Semantic Web Rule Language)로 정의한다. 본 논문의 기법은, 특성 모델의 정형적 시맨틱을 제공하며 특성 구성 검증을 자동화할 뿐 만 아니라 SQWRL과 같은 다양한 시맨틱 웹 기술 적용을 가능하게 한다.

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

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

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

  • 김민경;송은총;한지희;최승훈
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2010년도 추계학술발표대회
    • /
    • pp.276-279
    • /
    • 2010
  • 소프트웨어 제품 라인 개발 패러다임은 관련 제품들 사이의 공통점과 차이점을 이용해 보다 전략적인 재사용을 가능하게 함으로써 소프트웨어 개발 생산성을 높여 주는 개발 방법론이다. 공통점과 차이점을 분석하고 모델링하기 위해 가장 중요한 모델이 특성 모델이다. 특성 모델은 규모가 커짐에 따라 오류를 포함할 가능성이 커지며 이를 검증하기 위한 자동화된 도구가 필요하다. 본 논문에서는 온톨로지를 자바 언어로 구현 가능하게 해주는 Protege API, OWL기반의 시맨틱 웹 규칙 언어인 SWRL, 규칙 추론 엔진인 Pellet Reasoner 등의 기술을 이용한 특성 모델 검증 도구를 제안한다.

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

  • 정유신;이국진;윤웅섭
    • 한국추진공학회:학술대회논문집
    • /
    • 한국추진공학회 2010년도 제35회 추계학술대회논문집
    • /
    • pp.287-293
    • /
    • 2010
  • 본 연구에서는 개방형 로켓엔진시스템의 제어시스템을 구성하기 위한 선행연구로서, 시동특성을 예측하기위해 Simulink 모델을 구성하였다. 구성품별 동특성 모델을 바탕으로 로켓엔진시스템의 예측 프로그램을 구성하였으며, 대상으로 하는 시스템의 천이 작동상태에서의 동특성 변화의 예측과 더불어 그 모델링의 타당성 검증을 위하여 실제 개방형 로켓엔진 상사모델의 수류실험을 통해 실험적으로 측정하여 비교하였다. 또한 Simulink모델이 제어시스템을 구성하기위해 적합한지를 판단하기위해 기 수행된 천이 동특성 예측 프로그램의 결과와 비교하였고 검증하였다.

  • PDF

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

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

  • PDF

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

  • 정승국;이영훈
    • 한국통신학회논문지
    • /
    • 제28권8B호
    • /
    • pp.699-706
    • /
    • 2003
  • 본 논문은 국내 ATM망을 대상으로 실시간 VBR 트래픽을 측정하고 그의 특성을 분석하여 기존의 연구에서 ATM VBR 특성이 2-상태 MMPP 모델 기반의 On-Off 특성을 갖는다는 이론의 적합성을 검증한 것으로 분석 결과 국내 ATM 망의 VBR 트래픽 특성은 2-상태 MMPP 모델을 따르지 않으며 On 구간의 도착율 (λ$_1$)은 협약 대역폭 주기 중심에서 0.93~0.96의 확률로 도착하는 거의 결정적(Deterministic) 특성을 가지고, On 구간에서 Off 구간의 천이율 (T$_1$) 및 Off 구간에서 On구간의 천이율(T$_2$)은 마코브 체인의 특성을 따르지 않는 단순 랜덤 변수의 특성을 갖는 것으로 검증되었다. 따라서, 국내 ATM망의 VBR 특성은 MMPP 모델로 표현할 수 없으며 일반적인 On-Off 모델로 표현되어야 함을 확인하였다. 본 연구 결과는 실질적인 ATM망 서비스 회선 트래픽을 대상으로 측정, 분석, 검증한 것이므로 국내 ATM망에 적용하기 위한 모든 장치 및 네트워크 설계에 이 결과가 사용될 수 있으며 국내 ATM망에 적용된 트래픽 관리 기능을 사용하는 모든 ATM망의 트래픽 모델로 사용할 수 있다.

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

  • 이다영;조환규
    • 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
    • /
    • 한국정보과학회언어공학연구회 2021년도 제33회 한글 및 한국어 정보처리 학술대회
    • /
    • 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)

  • 김종구;유호선
    • 플랜트 저널
    • /
    • 제17권4호
    • /
    • pp.35-40
    • /
    • 2021
  • 본 연구에서는 서인천복합 6호기 가스터빈 발전기계통에 대하여 기술특성시험을 실시하여 모델정수를 도출하고 검증하였다. 발전기 최대/최소 무효전력 한계시험 결과 최대 무효전력 한계는 80 MVar이고, 최소 무효전력 한계는 -30 MVar이다. 발전기는 GENROU 모델을 사용하였고, 계자시정수(T'do)는 4.077 s, 관성정수(H)는 5.461 P.U로 결정하였다. 여자시스템은 ESST4B 모델을 사용, 무부하 2% AVR 스텝시험을 모의하는 방식으로 모델정수를 도출하고 검증하였으며, PSS 모델링은 PSS2A 모델정수로 도출하였고, PSS Off/On일때 측정된 계측 데이터를 모의, 비교하여 검증하였다. 조속기-터빈는 GGOV1 모델을 사용하여 모델정수를 도출하고 검증하였다. PSS/E 시뮬레이션 프로그램을 통해 10% 조속기 스텝시험을 모의하여 결정된 조속기-터빈 모델정수의 수치 안정성을 확인하였다.

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

  • 이한규;김진휘;변서현;신재기;박용은
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2023년도 학술발표회
    • /
    • 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