• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1996년도 춘계학술발표회논문집(1)
• /
• pp.446-450
• /
• 1996

본 논문은 Computer Aided Software Engineering (CASE) Tool을 이용할 경우의 Safety Critical 소프트웨어 개발 방법론인 구조적 분석 및 구조적 설계 모델링 방법론을 Teamwork CASE tool의 예를 중심으로 제안하고자 한다. 제시된 사례는 NSIS(Nuclear Safety Information System)으로서 Essential Modeling과 Implementation Modeling을 제시하였는데 Teamwork CASE 환경하에서의 분석 및 설계 절차, 지침 등을 제시하였다. Essential Modeling에서는 NSIS의 MMIS 분석범위 및 External Interface를 제시하는 환경 모델(Environmental Model)과 MMIS의 기능을 계층구조적으로 분할하는 행위모델링(Behaviroal Modeling)을 각각 Context Diagram과 Data Flow Diagram (DFD)으로 그 과정을 제시하였다. Implementation Modeling에서는 Essential Modeling으로 부터 나온 결과물을 토대로 Boss Rule, Transform Rule과 Transaction Rule 등을 거쳐 NSIS MMIS의 설계 근간이 되는 Structured Chart(SC)를 제시하였다. 본 논문에서 제시된 모델링 방법론을 통하여 Safety Critical 소프트웨어 개발시 Teamwork CASE Tool을 활용할 수 있음과 동시에 분실 및 설계의 일치성을 통하여 Safety Critical 소프트웨어의 안전성 확립과 품질보증 목표에 기여할 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2009년도 춘계학술발표대회
• /
• pp.479-482
• /
• 2009

급변하는 경영 환경에서 기업의 목표나 정책목적을 실현하기 위해 많은 기업들이 비즈니스 프로세스의 중요성을 인식하게 되면서 비즈니스 프로세스 관리에 대한 관심이 높아졌다. 이러한 비즈니스 프로세스를 관리하기 위해 일반적으로 모델링 작업을 수행하게 되는데 모델링 작업 시 예기치 못한 여러 가지 이상 현상을 포함 될 수 있다. 본 논문에서는 본 연구자가 발표한 선행 논문을 바탕으로 기존의 이상 현상 검출 기법 중 그래프 축소 기법을 확장하여 모델링 단계에서 정의된 비즈니스 프로세스 모델의 구조적 이상 현상을 검출하고 명제 논리학을 이용하여 이의 타당성을 증명하였다.

• 한국융합학회논문지
• /
• 제5권4호
• /
• pp.107-112
• /
• 2014

대체에너지로 차량주행풍을 이용한 연구 목표들은 다음 세 가지로 정리되었다. 첫째 목표는 차량주행풍의 풍력 발전 시스템을 통하여 환경적으로 무해한 대체 에너지 원을 확보하였다. 둘째는 연계된 융합 전문가를 길러낼 수 있는 교육 프로그램을 개발했다는 점이다. 셋째는 대체 에너지 교육을 위한 풍력시스템을 구축했다는 점이다. 본 연구에는 6개월의 연구기간이 소요되었다. 그 결과 다음과 같은 세 가지 결론을 얻게 되었다. 차량주행풍을 사용하는 시스템이 모델링 되었다. 전기, 전자, 기계공학의 새로운 융합 교육 프로그램이 이 모델링 시스템 하에 개발되었다. 마지막으로, 차량주행풍이 대체에너지의 데모용으로 실제 교육을 할 수 있도록 제작되었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (B)
• /
• pp.261-266
• /
• 2007

내장형 시스템에 보다 강력한 성능이 요구됨에 따라 내장형 마이크로 프로세서는 보다 깊은 파이프라인을 채택하고 있다. 따라서, 내장형 마이크로 프로세서는 보다 정확한 분기 예측기를 필요로 하고 있다. 이러한 상황에서 분기 예특기의 구조, 성능 및 전력 소모와 전체 시스템의 전력 소모 사이의 trade-off를 분석하는 것은 매우 중요하다. 내장형 환경에서 시스템의 전력 소모는 설계 시 매우 중요하게 고려되어야 한다. 특히 내장형 시스템의 요구사항은 동작할 응용 프로그램에 의하여 규정되고, 전력 소모도 응용프로그램의 구조와 강하게 연관되어 있다. 본 논문의 목표는 내장형 환경에서 성능-전력 공간에서 분기 예측기를 분석하는 기법을 제시하는 것에 있다. 이를 통하여, 분기 예측기 테이블의 성능-전력을 고려한 최적화된 크기를 찾을 수 있다. 이러한 목표는 수학적 모델링을 통한 정량적 예측의 수행 및 시뮬레이션 결과와의 비교를 통한 수학적 모델링의 검증의 과정을 통하여 이루어진다. 결과는 우리의 수학적 모델이 성능-전력 공간에서 분기 예측기 테이블의 최적화된 크기 결정의 해법을 제공하고 있음을 보여주고 있다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2020년도 제32회 한글 및 한국어 정보처리 학술대회
• /
• pp.135-140
• /
• 2020

사전 학습된 Transformer 기반 언어 모델은 자연어처리 시스템에 적용되었을 시 광범위한 사례에서 큰 폭의 성능 향상을 보여준다. 여기서 사전 학습에 사용되는 언어 모델링 태스크는 비지도 학습에 속하는 기술이기 때문에 상대적으로 데이터의 확보가 쉬운 편이다. 하지만 몇 종의 주류 언어를 제외한 대부분 언어는 활용할 수 있는 언어 자원 자체가 희소하며, 따라서 이러한 사전 학습 기술의 혜택도 누리기 어렵다. 본 연구에서는 이와 같은 상황에서 발생할 수 있는 자원 희소성 문제를 극복하기 위해 이종 언어 간 전이 학습을 이용하는 방법을 제안한다. 본 방법은 언어 자원이 풍부한 언어에서 학습된 Transformer 기반 언어 모델에서 얻은 파라미터 중 재활용 가능한 부분을 이용하여 목표 언어의 모델을 초기화한 후 학습을 진행한다. 또한, 기존 언어와 목표 언어의 차이를 학습하는 역할을 하는 적응층들을 추가하여 이종 언어 간 전이 학습을 돕는다. 제안된 방법을 언어 자원이 희귀한 상황에 대하여 실험해본 결과, 전이 학습을 사용하지 않은 기준 모델 대비 perplexity와 단어 예측의 정확도가 큰 폭으로 향상됨을 확인하였다.

• Spatial Information Research
• /
• 제18권4호
• /
• pp.13-22
• /
• 2010

수질오염의 효율적 관리를 위한 오염총량관리제(TMDL)의 적용에는 하천 수질모델링이 우선 되어야 하며, 이러한 모델링은 하천중심선의 추출이 필수이다. 반면, 현재는 수질모델링을 수행하는 기관들이 제각기 다른 기준으로 하천중심선을 제작하여 정확도가 높지 않으며, 이로 인하여 수질모델링의 수행기관에 따라 통일 유역임에도 수질모델링 결과가 달라지는 문제점이 발생하고 있다. 따라서 본 연구에서는 정확한 하천중심선 추출방법의 개발을 주요 목표로 하였다. 이를 위하여 최대내접원을 활용한 중심선 추출방법을 GIS 기술과 결합하여 자동화 모듈을 개발하였다. 연구 결과 기존 방법의 하천중심선 추출보다 개발된 모듈을 이용한 하천중심선의 추출이 하천형상의 변화를 보다 세부적으로 표출하는 것이 가능하였으며, 정확도 역시 향상되었다. 또한, 기존 방법의 한계점이었던 섬을 포함한 하천의 중심선 추출도 가능하여 보다 정확한 수질모델링의 지원이 가능하였다.

• 한국항공우주학회지
• /
• 제47권4호
• /
• pp.289-299
• /
• 2019

자세제어 M&S(Modeling & Simulation)는 모델링 정밀도에 따라 간단한 자세제어 알고리즘 설계부터 실제 탑재 소프트웨어 검증까지 활용될 수 있다. 본 논문은 CMG 기반 위성 자세제어를 위한 M&S 소프트웨어를 소개한다. 개발된 소프트웨어는 크게 6자유도 모델링과 자세제어 알고리즘으로 나뉠 수 있다. 6자유도 모델링은 CMG 구동기 모델링과 우주환경 모델링(궤도외란/자세외란)을 포함한다. 자세제어 알고리즘은 CMG 모터속도 제어기(내부루프)부터 토크명령생성 및 스티어링 법칙(외부루프)을 포함한다. M&S는 하위 레벨인 CMG 모터제어부터 상위 레벨인 지구관측임무 수행까지 단계적으로 수행되며, 적용 레벨에 따라 3개 모듈로 나뉜다. 본 M&S 소프트웨어는 초기 자세제어 알고리즘 개발을 목표로 개발되었는데, 향후 상세한 위성체/구동기 모델링 및 우주환경 모델링을 반영해 점차 활용 범위를 넓힐 수 있을 것으로 기대된다.

• 디지털융복합연구
• /
• 제10권1호
• /
• pp.349-355
• /
• 2012

오늘날 복잡해져가는 컴퓨팅 환경에서 자가치유를 위해 시스템에 발생한 문제를 스스로 인식하는 능력을 부여하는 연구가 중요한 이슈가 되고 있다. 그러나, 기존 방법론들은 새로운 요구사항에 대한 목표 시스템을 자가 치유하기 위해 개발자들이 제약조건을 모델링하고 분석해야 하는 노력이 크다. 따라서, 본 논문에서는 시스템에서 발생한 문제를 인식하고 감지된 문제를 해결하기 위해 목표 시나리오 기반의 분석하고, 전 후 전략을 적용하여 동적으로 재구성되도록 자가 치유 방법을 제시하도록 한다. 이러한 제안 방법론을 통해 새로운 요구사항에 대한 자가 치유 개발자의 분석의 부하를 줄이고, 변경 정보를 파악하여 동적으로 재구성 되도록 지원하도록 한다.

• 한국항공우주학회지
• /
• 제40권2호
• /
• pp.118-128
• /
• 2012

본 논문은 쿼드로터형 무인 비행체를 비전센서를 이용한 목표 추적 위치 제어기 설계하였고, 이를 시뮬레이션 및 실험을 통해서 확인하였다. 우선 제어기 설계에 앞서 쿼드로터의 동역학 분석 및 실험데이터를 통한 모델링을 수행하였다. 이때, 모델의 계수들은 실제 비행 데이터를 이용한 PEM(Prediction Error Method)을 이용하여 얻었다. 이 추정된 모델을 바탕으로 LQR(Linear Quadratic Regulator) 기법을 이용한 임의의 목표를 따라가는 위치 제어기를 설계하였으며, 이때 위치 정보는 비전센서의 색 정보를 이용한 Color Tracking기능을 이용하여 쿼드로터와 물체의 상대적인 위치를 얻어내었고, 초음파 센서를 이용하여 고도 정보를 얻어 내었다. 마지막으로 실제 움직이는 물체의 추적 제어 실험을 수행하여 LQR 제어기 성능을 평가하였다.

• 한국도시환경학회지
• /
• 제18권4호
• /
• pp.401-408
• /
• 2018

하수처리 공정모델링 소프트웨어인 EQPS(Effluent Quality Prediction System, Dynamita, France)를 적용하여 A하수처리시설 생물반응조 설계의 적합성을 분석하였다. A하수처리장은 친수용수 수준의 목표수질을 준수하기 위하여 이차침전지 유출수 설계농도를 총질소와 총인, 각 10 mg/L, 1.8 mg/L로 설정하여 설계하였다. 4-Stage BNR 공정인 반응조의 체류시간은 총 9.6시간으로 전무산소조 0.5, 혐기조 1.0, 무산소조 2.9, 호기조 5.2시간이었다. 동절기 공정모델링 결과 친수용수 수준의 목표수질을 만족하기 위하여 혐기조의 체류시간을 0.2시간 늘렸고 당초 설계조건이던 외부탄소원 비상시 주입을 상시적으로 주입해야 하는 것으로 조사되었다. 모델링 결과의 왜곡을 배제하기 위하여 소프트웨어 제조사가 제시한 one step nitrification denitrification 모델의 Default 계수를 사용하였다. 공정모델링은 대체적으로 최적의 상태를 제시하기 때문에 생물반응조 여유율을 고려하면 4-Stage BNR의 체류시간은 9.8시간보다 증가시켜야 한다. 하수처리장 설계단계에서 공정 모델링의 정확한 사용은 하수처리장 건설 후 처리성능과 효율의 안정성을 담보할 수 있는 방법이므로 설계단계에서 철저한 평가가 필요하다.