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

시스템 설계가 시스템 요구 사항을 만족하지 않으면 시스템 구현 후 처음부터 다시 설계 및 구현을 해야 함으로 시스템 설계 단계에서 설계한 시스템이 요구 사항을 만족하는지 검증하는 것이 매우 중요하다. 일반적 시스템 요구 사항 중에는 시스템이 항상 막힘없이 작동 (live)해야 한다는 것과 시스템 자원의 총합이 한계값을 넘지 말아야 한다 (bounded)는 것이 있다. 본 논문에서는 이동물체 데이터베이스 시스템이 구조적으로 live하고 bounded 한지 검증하는 페트리 넷 방법을 소개한다.

• 정보처리학회논문지A
• /
• 제9A권4호
• /
• pp.459-466
• /
• 2002

최근의 내장형 시스템은 유연성을 유지하고 시간 제약사항을 만족하기 위해서 일반적인 프로세서와 FPGA와 같은 재구성 가능한 부품을 결합하는 Hybrid 시스템을 사용하는 추세이다. 이러한 내장형 시스템은 구축하는 설계 시간을 단축하여 짧은 시간 안에 시장에 진입하는 것이 아주 중요하다. 새로이 주목받고 있는 연구분야인 설계공간탐색은 실제 시스템을 제작하지 않고도 시스템 수준에서 어플리케이션의 성능을 분석하여 최소의 비용으로 시스템에서 요구하는 제약사항을 만족하는 구조를 예측하는 것을 가능하게 한다. 본 논문에서는 Hybrid 내장형 시스템의 설계공간탐색을 위한 시간분석 시뮬레이터를 선계하고 구현하였다. 시스템 설계변수를 변화하면서 정량적인 성능 데이타를 이용하여 설계공간 탐색을 가능하게 하는 Y-Chart 방법을 Hybrid 시스템의 경우에 적용하여 시뮬레이터를 확장 구현하였으며, 기존의 소프트웨어 시간 분석 도구 및 하드웨어 시간분석도구를 활용한다. 본 논문에서 제시하는 시간분석 시뮬레이터는 Hybrid 내장형 시스템의 설계 비용과 시간을 현저하게 줄이면서, 최적의 하드웨어 구성을 찾는 설계공간탐색의 핵심 모듈로 활용될 것으로 기대된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
• /
• pp.164-166
• /
• 1999

본 연구에서는 객체지향적 CASE 툴인 ObjecTime을 이용하여 지능형 제조 운영 시스템을 설계/구현하였다. 객체지향적 프로그래밍 방법론과 ROOM(Real-time Object-Oriented Modeling) 방법론을 사용하여 지능형 제조 운영 시스템에서 필요한 객체를 설계하였으며, 이들 객체의 계층도와 관계를 정의하였다. 객체지향적 설계 방법론을 사용하여 설계한 시스템은 모델링 과정에서 실행화일을 얻는 과정까지 발생하는 오류를 최소화할 수 있다는 장점이 있다. 또한, 본 연구에서는 제조 시스템의 모니터링과 제조시스템 운영 소프트웨어의 자료 입력 및 수정을 위한 그래픽 사용자 인터페이스 툴을 제작하였다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2014년도 전력전자학술대회 논문집
• /
• pp.554-555
• /
• 2014

제어 시스템은 과도 응답을 거쳐 입력 명령에 근접하는 정상 상태 응답이 출력되도록 설계되기 때문에 동적시스템으로 정의된다. 이러한 동적시스템을 설계할 때 과도 응답과 정상 상태 오차, 안정도의 보장은 시스템 설계 시 가장 기본적으로 고려되어야 하는 요소이다. 본 논문에서는 동적시스템의 응답 특성 개선을 위하여 PI제어기와 IP제어기의 특성을 동시에 이용할 수 있는 혼합제어기를 설계하고 PMSM의 속도제어기에 적용하여 응답 특성을 시뮬레이션으로 확인하였다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2022년도 학술발표회
• /
• pp.181-181
• /
• 2022

상수도 관망은 비정상상황에서도 안전한 물을 안정적으로 공급하는 것을 목표로 한다. 따라서 상수도 관망의 최적 설계는 수리학적 제약조건 (i.e., 절점의 압력, 관의 유속)을 만족하는 설계안을 제시한다. 하지만 점차 커지는 도시 규모에 따라 수질적으로 안전한 물을 공급하지 못하는 문제가 발생하고 있다. 또한, 상수도시스템의 형식 (i.e., 수지상식, 혼합식, 순환식)에 따라 용수의 체류 시간, 절점의 압력 등이 상이하다. 따라서, 본 연구에서는 도시 규모 및 형식과 잔류염소 농도를 고려한 상수도시스템 최적 설계를 진행하였다. 절점의 개수에 따라 도시의 규모를 분류하였으며, BI(BI; Branch Index) 지수를 통해 상수도시스템의 형식을 분류하였다. 또한, 수리학적 제약조건(i.e., 절점의 압력)과 수질적 제약조건 (i.e., 잔류염소 농도)을 설정하여 수리-수질을 동시에 만족하는 최적 설계안을 도출하였다. 비상시에도 물을 안정하게 공급하기 위하여 시스템의 탄력성과 설계비용을 목적함수로 설정하여 다목적 최적 설계를 진행하였다. 이러한 연구는 압력만을 고려한 기존 설계단계에서 수질적 측면을 동시에 고려하여 수질 측면의 안전성을 향상할 수 있다. 또한, 시스템의 탄력성을 고려하여 비정상상황에서도 물을 공급하여 사용성을 향상하는 설계안을 도출하여 수리학적 안정성을 만족하며, 경제적 측면도 향상할 수 있다.

• 전자통신동향분석
• /
• 제9권3호
• /
• pp.55-67
• /
• 1994

본고는 7년여에 걸쳐 수행된 주전산기 II, III 프로젝트를 통하여 습득한, CAD 시스템을 이용한 하드웨어 설계 기법 및 주전산기 설계 환경에 대해 기술한다. 특히 주전산기 III와 같은 큰 규모의 컴퓨터 시스템 설계 분야에 국내 최초로 적용된 고급 언어와 로직 합성 기법을 이용한 FPGA 및 ASIC 설계 기법에 대해 상세히 기술한다. 아울러 새로운 주전산기 IV에 적합하도록 개선된 하드웨어 설계 환경을 주전산기 II, III 수행시의 환경과 비교, 설명한다. 이로써 하드웨어 구현 부품 및 관련 기술의 변화를 적극 수용하는 CAD 시스템의 진화 과정을 보인다.

• 제어로봇시스템학회지
• /
• 제3권1호
• /
• pp.75-82
• /
• 1997

본 글에서는 자동물류취급시스템을 설치하여 극단적인 다품종소량생산시스템을 모델링하고 분석하여 설계변수들을 결정하는 틀을 설명하였으며, 이에 의해 설치되어진 자동물류취급시스템의 실례를 들어서 자동물류취급시스템이 납기단축과 간접공수절감에 얼마나 효율적인가를 보였다. 본 연구에서 얻어진 결론을 요약하면 다음과 같다. 1) 다양한 정보처리와 실시간 이산현상시스템의 해석 및 검증을 위하여 Colored and Stochastic 페트리네트를 정의하고 이를 이용하여 자동물류취급시스템이 설치되어진 생산시스템에 대한 모델링을 수행하였다. 2) Colored and Stochastic페트리네트 모델에 대한 시뮬레이션을 수행하는 소프트웨어를 개발하여 주어진 모델의 성능평가를 수행하였다. 3) 자동물류취급시스템의 설계변수를 결정하는 알고리즘을 제시하였으며 이에 의거한 시뮬레이션을 통하여 적절한 설계변수를 결정하였다. 4) 자동물류취급시스템이 설치되어진 생산시스템을 대상으로 모델과 설계변수의 타당성을 검증하였다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국지능시스템학회 2007년도 추계학술대회 학술발표 논문집
• /
• pp.399-402
• /
• 2007

본 논문은 Qi 시스템 제어를 위한 지능형 디지털 재설계 접근 방안을 제안한다. 디지털 재설계란, 기존의 안정화 된 연속시간 플랜트와 이산 시간에서 설계된 디지털 제어기와의 상태 접합 및 안정도 분석을 통해 전체 시스템을 재구성 하는 것을 말한다. 퍼지 모델링을 통해 Qi 시스템을 퍼지 규칙으로 표현하며, 디지털 재설계를 통해 재설계된 디지털 제어기를 통해 이를 제어하게 된다. 주어진 조건은 LMI를 통해 표현되며, 시스템의 안정도를 증명함으로써 디지털 제어기절계의 활용성 및 가능성을 검증하고자 한다.

• 대한조선학회논문집
• /
• 제33권1호
• /
• pp.135-144
• /
• 1996

본 논문에서는 범용 전문가 시스템 쉘을 이용하여 구조설계, 특히 선박의 중앙 횡단면 구조설계를 지원할 수 있는 전문가 시스템(ESMID)을 개발하였다. 기존의 전문가 시스템과는 달리 여기서는 효율적인 설계 전문가시스템을 구현하기 위하여 지식베이스와 공학 데이타베이스, 사용자 인터페이스, 그리고 공학 계산 프로그램들이 통합된 시스템을 구현하였다. 본 시스템의 유효성을 검증하기 위하여 64K 살물선에 적용하여 구조설계를 수행하였다. 기존의 전문가시스템에 데이타베이스, 그래픽 사용자 인터페이스 등의 환경들이 접목됨으로써 초보자도 쉽게 구조설계를 수행할 수 있게 된다.

• 제어로봇시스템학회지
• /
• 제16권2호
• /
• pp.26-32
• /
• 2010

주로 이벤트 입력방식으로 이루어지는 차량 바디 분야의 응용 시스템과는 달리 차량 모터 응용 시스템은 실시간 제어가 필요하기 때문에 모터 응용 소프트웨어를 설계하기 위해서는 다른 방법으로 접근해야 한다. 본 연구에서는 AUTOSAR(AUTomotive Open System Architecture) 표준 플랫폼을 이용하여 모터 응용 시스템 소프트웨어를 설계하는 방안을 소개하고자 한다. 대표적인 차량 모터 응용 시스템인 전동식 조향 시스템의 소프트웨어를 AUTOSAR 표준 규격에 준거하여 설계하고 시뮬레이션을 통해 이를 검증한다.