• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.130-132
• /
• 2002

NATM(Network Abstract Timed Machine)은 통신 네트워크와 같이 다양한 형태의 시스템을 기술하는데 사용되고 크고 복잡한 네트워크에 대해서 요구사항을 만족하도록 설계된 모델링 언어이다. NATM은 기존의 네트워크 설계 언어에서 기술하기 어려운 다양한 형태의 네트워크 표현과 네트워크를 고정 네트워크 환경과 무선 네트워크 환경으로 나누어 유/무선 네트워크 환경을 명세 할 수 있다. 본 논문에서는 NATM의 다양한 네트워크 환경에서의 여러 Component들을 기술하고 이 Component 속성들을 예제를 통해서 살펴본다.

• 한국지능시스템학회논문지
• /
• 제2권3호
• /
• pp.3-16
• /
• 1992

퍼지제어기는 입.출력 관점에서 일반적으로 입.출력에 대한 비선형 함수로 볼수 있다. 전문가의 제어 행위의 입.출력 관계가 크리시(crisp) 비선형 함수로 표현되었을때 그것을 언어적 퍼지 모델링(linguistic fuzzy modelling)하는 방법이 1-입력/ 1-출력 및 2-입력/1-출력의 static 시스템에 대하여 제안되었다. 이를 위해 소속함수 제한조건(membership function constraint)의 개념을 제시하고 선형계획법에 의한 최적화 기법을 이용하여 소속함수의 생성에 관한 체계적인 방법을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.43-45
• /
• 2001

본 논문에서는 MPEG 비디오 코어 프로파일 디코더 ASIC 상위 구조 설계를 시스템 수준에서 검증하는 기법을 제시한다. 상위 구조 설계는 RISC 프로세서와 펌웨어 그리고 일반 로직이 병존하는 혼합형 구조라는 것과 설계의 상위 단계라는 특징을 가지고 있기 때문에 Verilog HDL과 CSIM 모델 두 가지 모델이 혼합되어 있다. 통합 환경은 C 언어를 이용한 하드웨어 모델링 기법과 PLI를 통한 프로그래밍 언어와 Verilog의 통합 방법을 이용하여 설계 단계에서 각 블록의 특성에 가장 적합한 모델을 이용하여 동작 검증이 가능하도록 하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.565-567
• /
• 2001

원자력 발전 및 항공 시스템과 같은 실시간 시스템의 설계는 자원 및 시간적인 분석은 상당히 중요한 부분을 차지하고 있다. 이러한 설계는 그 설계단계로부터 철저한 명세 및 집중이 이루어져야 한다. Statechart는 Reactive 시스템을 모델링 하는 도식언어이다. 하지만 기존 Statechart 언어는 자원에 대한 시간적 명세가 분명치 않아 상태로 모든 것을 표현하기에는 복잡하고 용이하지 않다. 또만 이러한 명세 도구는 시스템의 검증은 물론 시간적 행위의 검증은 수월치 한다. 본 논문은 Statechart에 시간을 소모하는 자원을 명세하는 문법을 소개하고 이를 검증하는 기법을 제시하고자 한다.

• 한국과학교육학회지
• /
• 제42권2호
• /
• pp.201-214
• /
• 2022

본 연구에서는 학생들의 자유 탐구 활동에서 나타나는 실험 모델링의 특징을 탐색하였다. 연구는 '학교과학탐구'라는 주제로 이루어진 3년의 연구 과제 수행에서 기수집한 자료를 '실험 모델' 관점에서 재해석한 것이다. 4명의 학생들로 구성된 1개 소집단이 7회에 걸쳐 수행한 탐구 활동을 녹화하고 녹음한 파일을 주된 자료원으로 하였으며, 녹화 및 전사본을 해석적인 방법에 따라 분석하였다. 문제 상황으로부터 출발하여 이를 해결하고 마무리되는 과정을 포괄하는 것을 모델링 단위로 볼 때, 학생들의 활동은 3개 실험 모델링 단위로 구분되었다. 연구의 결과는 각 모델링 단위에서 분산인지체계로서 실험 모델링의 역동적 과정과 특징을 조명하고 교육적 의미를 논하는 것을 포괄한다. 구체적으로는 첫째, 학생과 실험도구 그리고 그들 사이의 상호작용으로 나타나는 원시적 형태의 계산은 실험 모델링을 구성하는 분산인지체계의 중요한 요소로 드러났다. 둘째, 초기에 학생이 도구에 익숙해지는 비언어적인 활동이 이루어졌으며, 그 활동이 충분히 이루어졌을 때 언어적인 양적 기호가 창출되었다. 창출된 양적 기호는 이후 활동에서 참고할 수 있는 데이터와 자신감의 원천이 되었다. 셋째, 도구의 전용화가 발생하였으며, 변인통제와 같이 기존의 과학 탐구에서 중요하게 다룬 요소들이 나타났다. 연구의 결과는 기존의 과학교육에서 주목받지 못했던 실험 모델링의 특징을 학생 활동을 통해 펼쳐 보임으로써, 설명 모델 중심으로 이루어져왔던 과학교육 연구와 교육에 새로운 시사점을 제공한다.

• 기계저널
• /
• 제25권2호
• /
• pp.117-121
• /
• 1985

SIMAN의 주요한 논리적 특성은 시뮬레이션프로그램이 시스템 모델부분과 실험부분의 두가지로 구성이 되어 있으며, 일반적인 시스템의 모델링과 분석뿐만 아니라, 자재운반시스템, 로봇 시스템, 제조 셀(manufacturing cell), 플렉시블 제조시스템(Flexible Manufacturing System, FMS)등의 모델링에 유용한 특성을 가지고 있어서 생산시스템의 시뮬레이션에 아주 적합한 시뮬레이션 언 어이다. 또 SIMAN은 대형. 중형 컴퓨터는 물론, 16비트 바이크로컵퓨터에서도 사용이 가능하 다(5). 이 글에서는 SIMAN 시뮬레이션 언어를 사용한 생산시스템의 시뮬레이션에 대한 개념과 방법을 고찰하고, 생산시스템의 시뮬레이션에 관한 간단한 사례를 고찰하고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.439-441
• /
• 2000

절차지향 소프트웨어를 객체지향 소프트웨어로의 재공학은 소프트웨어 유지.보수 비용의 절감과 기존의 시스템에 새로운 요구사항을 수용하는 등 많은 장점이 있다. 본 논문은 절차지향 소프트웨어를 재공학하는 과정에서 안전한 지속성(Safe Persistency) 결정문제, 즉 객체의 생성과 생성 주기의 결정 방법을 제안하였다. 본 논문에서는 지속성 결정을 위해 다섯 단계의 모델링 과정을 제시하였으며 모델링 과정을 통해 객체의 정확한 생성과 소멸 시점을 추출하였고 정제 과정을 거침으로써 메시지 전달과 생성/소멸 과정에서 안정성과 일관성을 유지할 수 있도록 하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.37-39
• /
• 2002

정형 언어 OCL은 UML의 한 부분으로써 클래스 다이어그램과 상태 기계의 조건을 표현하는데 많은 장점을 가지고 있다. 그렇지만, OCL을 이용하여 상태 기계를 메타모델링 하는데는 적지 않은 한계가 있다. UML/OCL은 모델의 정적인 구조를 강조하지만, 시스템이나 서브 시스템의 시간과 환경에 대한 반응을 고려는 미흡하다. 또한, 시스템의 변화에 있어 시그널은 오퍼레이션과 유사하지만 상태 기계에서만 다루어진다. 결국, 시스템의 변화에 대한 고려는 상태 기계를 통하여 보다 명확하게 명세 될 수 있으며, 현재 OCL의 확장으로써 이러한 문제를 해결 할 수 있다.

• 제어로봇시스템학회지
• /
• 제6권3호
• /
• pp.68-81
• /
• 2000

본 논문에서는 최근 10여년간 세계적으로 많은 관심과 더불어 비약적인 연구발전을 이루어 온 이산사건시스템의 관리제어에 있어서 기본적인 이산사건모델링과 관리제어이론을 설명하고최근의 연구동향 등을 소개한다. 또한 기존의 연속변수시스템과 대비해 이산사건시스템의 동적특성을 알아보고 구체적인 사례들을 살펴본다. 이러한 이산사건시스템의 동적특성을 기술하기 위해 형식언어이론에 기초한 논리적 이산사건모델을 소개하고 그 위에서 관리제어이론의 개념을 설명하나다 그리고 제어가능성 및 관측가능성의 관리제어기 존재조건을 토대로 관리제어기의 구현에 대해 알아본다 마지막으로 현재까지 수행되어온 관리제어에 대한 다방변의 연구 활동을 살펴보고 앞으로의 연구방향을 전만해 본다

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.496-498
• /
• 2001

분산 미들웨어 기술들이 등장하여 이기종 컴퓨팅 플랫폼마다 서로 다른 아키텍처와 언어, 표준화 장벽들을 극복하게되었다. 이러한 분산 컴퓨팅 기술과 컴포넌트 기술의 결합은 정보 시스템 구축 시 구성요소의 모듈화를 용이하게하고 인터페이스를 통한 컴포넌트 재 사용성을 가능하게 하여 소프트웨어 생산성향상에 크게 기여하였다. 컴포넌트 기반의 개발 방법론과 개발프로세스의 확립은 소프트웨어 위기를 극복하고 비용절감을 위한 최선의 해결책이 될 것이다. 본 연구에서는 정보구조 모델링 방법론을 이용하여 코바프레임 워크 기반의 분산 환경의 정보시스템의 구축 환경을 제시하고자 한다.