• 정보처리학회논문지A
• /
• 제19A권1호
• /
• pp.23-34
• /
• 2012

본 연구에서는 오토마타 이론을 적용하여 Simulink 모델의 각종 정보를 보여주고 시뮬레이션 결과를 출력하는 모듈 구조를 제안하고, 이를 구현하였다. 이 모듈은 사용자로부터 명령을 받아서 Simulink 모델의 각종 내부 정보와 시뮬레이션 결과를 보여주는 기능을 제공하는 메인 프로그램과 Simulink 모델의 시뮬레이션을 제어하기 위한 별도의 스레드, 그리고 실제로 시뮬레이션을 수행하는 Simulink 모델의 세 가지 독립적인 시스템으로 이루어져 있다. 오토마타를 이용하여 각 시스템과 전체 모듈을 설계 및 검증하고, C# 과 MATLAB을 통해 이를 구현한다. 그리고 구현된 모듈의 동작을 실제 모델을 통한 실험으로 검증하였다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2013년도 전력전자학술대회 논문집
• /
• pp.457-458
• /
• 2013

본 논문은 Simulink 모델을 기반으로 하여 FPGA 알고리즘을 설계하는 과정을 구현하였다. Simulink 모델은 SRF-PLL 제어기법을 적용하였으며, Simulink 모델은 기본적으로 부동소수점으로 구성된다. 그러나 FPGA 구현에 필요한 VHDL 코드는 고정 소수점 변환이 필요하므로, 부동 소수점 모델을 고정 소수점으로 변환하고 두 연산 기법의 시뮬레이션 결과를 비교분석하였다.

• 한국항공우주학회지
• /
• 제31권5호
• /
• pp.100-109
• /
• 2003

$SIMULINK^R$를 이용하여 Pt6A-62 터보프롭엔진의 성능모사모델이 정상상태 및 천이성능 예측을 위해 제안되었다. $SIMULINK^R$모델은 GUI 방식으로 사용자 편의와 컴퓨터프로그램의 수정이 용이하다는 장점을 가지고 있다. $SIMULINK^R$모델은 유동경로에 따른 구성품들 즉, 대기조건, 압축기, 연소기, 압축기 터빈, 동력터빈, 배기노즐, 적분기 서브시스템들로 구성하였다. 이러한 서브시스템외에 보다 정확한 기체상수값을 계산하기위한 Gasprop 서브시스템블록, 2-D look-up 테이블로부터 스케일링에 의해 적합한 작동 점을 탐색하기 위한 탐색 서브시스템블록이 있다. 정상상태 해석 타당성 확인 경우, 제안된 $SIMULINK^R$에 의한 해석결과는 사용프로그램인 GASTURB와 해석결과에 잘 일치하였다. 또한 천이모델의 타당성 확인 경우에 있어서는, 제안된모델에의한 동적성능모사 결과가 기 성능이 입증된 FORTRAN프로그램을 이용한 해석결과와 합리적으로 일치함이 확인되었다.

• 정보처리학회논문지D
• /
• 제17D권2호
• /
• pp.111-118
• /
• 2010

본 논문에서는 Simulink로 모델 검사를 위한 향상된 기능을 가진 디버거의 구현에 대해 기술한다. Simulink에서 기본적으로 제공되는 디버그 기능은 복잡한 시나리오나 복잡한 모델을 검사할 때 단순 반복적인 작업이 다수 요구되었다. 이를 개선하기 위해서 본 연구에서는 임의의 시나리오에 따른 시뮬레이션 결과와 예상한 결과를 확인할 수 있는 기능, 원하는 시점에서 시스템의 변화를 확인하는 기능, 임의의 혹은 전체 시나리오에 대한 시스템의 Coverage Report 기능 등이 구현된 Simulink 디버거에 대해 소개하고 구현에 대한 이슈를 기술한다. 이 프로그램을 Matlab에서 제공하는 자판기 모델에 적용해서 그 유용성을 확인했다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제8권6호
• /
• pp.235-242
• /
• 2019

본 논문에서는 제어기 기능이 표현 된 변경된 MATLAB Simulink/Stateflow(SL/SF) 모델의 재사용 가능한 테스트 케이스 도출 기법을 제안한다. 자동차의 ECU(Electrical Control Unit)와 같이 복잡한 SL/SF 모델의 테스트 케이스를 작성하는데 많은 시간과 노력이 필요하다. 모델이 수정 될 때마다 새로 만들어낼 테스트 케이스를 줄이기 위한 직관적인 방법은 수정 전 모델에서 생성한 테스트 케이스 중 일부를 재사용하는 것이다. 본 논문에서는 모델 행동을 정의하고 테스트 케이스 별 모델 동등성을 판단하여 수정 후 SL/SF에 재사용 가능한 테스트 케이스를 도출하는 방법을 제안한다. 제안된 테스트 케이스 재사용 기법은 상용 자동차 제어기 모델을 이용하여 성능을 평가한다.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2010년도 제35회 추계학술대회논문집
• /
• pp.287-293
• /
• 2010

본 연구에서는 개방형 로켓엔진시스템의 제어시스템을 구성하기 위한 선행연구로서, 시동특성을 예측하기위해 Simulink 모델을 구성하였다. 구성품별 동특성 모델을 바탕으로 로켓엔진시스템의 예측 프로그램을 구성하였으며, 대상으로 하는 시스템의 천이 작동상태에서의 동특성 변화의 예측과 더불어 그 모델링의 타당성 검증을 위하여 실제 개방형 로켓엔진 상사모델의 수류실험을 통해 실험적으로 측정하여 비교하였다. 또한 Simulink모델이 제어시스템을 구성하기위해 적합한지를 판단하기위해 기 수행된 천이 동특성 예측 프로그램의 결과와 비교하였고 검증하였다.

• 한국시뮬레이션학회논문지
• /
• 제17권4호
• /
• pp.219-227
• /
• 2008

DEVS 형식론은 이산 사건 시스템을 계층적이고 모듈러하게 표현할 수 있다. MATLAB/Simulink는 연속 시스템과 이산 시간 시스템을 모델링하고 시뮬레이션을 수행하는 데 널리 쓰인다. 본 논문은 MATLAB/Simulink 환경에서 DEVS 형식론을 구현하는 방법론을 제안한다. 본 논문에서 제안하는 방법론을 이용하여MATLAB/Simulink에서 제공하는 다양한 공학 방정식과 알고리즘을 사용할 수 있다. 또한 동일한 시뮬레이션 환경에서 연속 시스템과 이산 사건 시스템이 혼합된 하이브리드 시스템에 대한 시뮬레이션을 수행할 수 있다. 이를 위해 본 논문은 Simulink-DEVS 모델과 이 모델을 시뮬레이션을 수행하는 데 필요한 시간 진행 알고리즘을 제안한다. 특히 시간 진행 알고리즘은 시스템의 유형에 상관없이 적절한 시간 진행을 수행한다. 두 가지 실험 결과를 통해 본 논문에서 제안하는 방법론의 효용성을 입증한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권12호
• /
• pp.829-840
• /
• 2013

본 논문은 Simulink/Stateflow 모델 기반의 테스트 케이스를 자동으로 생성하기 위하여, 휴리스틱 입력 분석을 이용한 Rapidly-exploring Random Tree(RRT) 기법을 제안한다. RRT는 모델 기반 블랙박스 테스트 케이스 생성 시 반드시 해결해야 되는 도달 가능성 문제를 효율적으로 해결할 수 있는 방법이지만, 모델의 내부 상태와 테스트 목표를 고려하지 않고 무작위로 모델의 입력을 생성하기 때문에 테스트 케이스 생성 효율이 떨어지는 단점이 있다. 제안하는 기법에서는 RRT를 확장해나갈 때 필요한 입력을, 모델의 현재 상태에서 만족 할 수 있는 테스트 목표를 분석하고 이를 달성할 수 있는 모델의 입력을 분석 결과에 따라 휴리스틱하게 결정함으로써, RRT의 장점을 보존하면서, 테스트 케이스 생성 효율을 높일 수 있다. 제안된 기법은 자동차에 사용되는 실 부품 ECU의 Simulink/Stateflow 모델을 대상으로 한 실험을 통해 성능이 평가되었으며, 기존 RRT와 비교하여 테스트 케이스 생성 효율이 높은 것을 보였다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2011년도 전력전자학술대회
• /
• pp.573-574
• /
• 2011

본 논문에서는 DC-DC 컨버터의 설계 및 해석 방법을 PSpice와 Simulink를 이용한 Co-Simulation방법으로 제안하였다. 일반적인 회로 및 제어기 설계방식은 회로와 제어기를 각각 설계하여 시제품으로 측정하는 방법과 이상적인 모델을 이용하여 시뮬레이션 하는 방법을 사용한다. 본 논문에서는 상용 소자모델로 구성된 컨버터를 PSpice로 설계하였고, Simulink에서 PSpice Solver를 이용하여 시뮬레이션 함으로써 일반적인 설계 방식보다 높은 신뢰성을 가진 시뮬레이션 방법을 제안한다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2010년도 하계학술대회 논문집
• /
• pp.391-392
• /
• 2010

본 논문에서는 조류발전 시스템의 시험을 위한 시뮬레이터를 구현하였다. 조류발전 시뮬레이터 모델은 회전자 모델, MPPT 알고리즘, 발전기 등을 포함하고 있으며 Matlab Simulink를 이용해 구현했다. 제안한 조류 발전용 시뮬레이터를 이용해 조류발전에서 주속비(Tip Speed Ratio) 제어방식의 출력 특성에 대한 시뮬레이션을 수행하여 그 타당성을 분석하였다.