• Proceedings of the KIEE Conference
• /
• 2008.04a
• /
• pp.53-54
• /
• 2008

플랜트의 모델 없이 주파수 응답만으로 안정도와 여러 성능(이득여유, 위상여유, $H_{\infty}$ 여유)을 만족하는 1차 보상기 설계 이론이 최근에 발표되었다[1]. 그중 안정도를 만족하는 제어기의 셋을 구하는 것의 수치해를 [6]에서 제시하였고, 본 논문에서는 그것을 확장하여 여러 성능을 동시에 만족하는 셋을 구하는 알고리즘을 제시하고 그것을 이용한 MATLAB용 설계 도구를 소개한다.

• Proceedings of the Korea Database Society Conference
• /
• 1994.09a
• /
• pp.213-234
• /
• 1994

고도 정보화 사회로 발전해 감에 따라 사회 전반에서 발생하는 정보들을 컴퓨터에 저장하여 관리하는 정보 관리 시스템들이 많이 개발되고 있다. 특히 컴퓨터 기술의 발달과 통신의 발달은 서로 떨어져 있는 정보 시스템끼리의 정보 교환을 보다 효율적으로 할 수 있게 되어 시스템 통합 환경으로 선도하고 있다. 이에 본 논문에서는 시스템 통합 환경에서 공유 데이타 저장소를 기반으로 하여 지역 데이타베이스를 구축할 수 있는 데이타 모델인 ESR 데이타 모델을 제안하고, 그에 따른 데이타 모델링 방법론을 제안하였다. 또한 공유데이타 저장소를 기반으로 하여 ESR 데이타 모델링을 통한 데이터베이스를 설계할 수 있는 지원도구를 설계하였다.

• The Magazine of the Society of Air-Conditioning and Refrigerating Engineers of Korea
• /
• v.29 no.10
• /
• pp.44-46
• /
• 2000

자연환기를 건물에 적용하는 주된 목적은 "실내 환경수준을 충족시키기 위해 필요한 초기투자 및 유지비용을 절감하기 위해서" 이다. 따라서, 합리적인 환경계획을 수립하기 위해서는 "자연환기를 적용하는 것이 유효한가\ulcorner 유효하다면 어떤 전략을 채용할 것인가\ulcorner" 하는 것이 계획단계에서 반드시 검토되어져야 한다. 설계자는 합리적인 판단을 위해서 다양한 정보를 필요로 하게되며 이 과정에서 다양한 해석도구가 이용될 수 있다. 본보에서는 자연환기 설계단계에서 요구되는 각종정보와 그 해석도구의 특성에 대하여 고찰해 보고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.644-646
• /
• 1998

본 연구에서는 웹 서버(Web server)와 웹 브라우저(web browser) 환경에서 테스팅이 가능하도록 설계한 테스팅 도구, VIST를 설계하였다. VIST는 비주얼 툴로 개발된 소프트웨어의 특성을 고려하여 그래픽 유저 인터페이스(Graphic User Interface) 측면에서 소프트웨어를 테스팅한다. VIST는 클라이언트-서버 환경에서의 테스팅을 가능케 하며 테스팅 과정의 일관성을 유지하고, 테스팅의 수행 시간과 노력 및 장비, 인력의 감소 효과를 갖는다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2002.05d
• /
• pp.959-964
• /
• 2002

본 논문에서는 정보보호관리체계와 위험분석방법을 적용한 안전성 평가 도구를 설계하였다. 또한, 위험평가시 동일한 가중치를 적용한 평가와 조직의 특성에 따라 보안요소의 가중치를 가변적으로 적용한 평가를 할 수 있도록 하였으며, 각 조직이 자체적으로 보안 점검을 할 수 있도록 설계함으로서 관리적 측면에서 취약점을 쉽게 찾을 수 있도록 지원하며, 수행해야 할 권고를 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.172-174
• /
• 2002

음성정보 기술의 발달은 음성 마크업 언어인 VoiceXML1.0의 등장으로 인하여 기존의 음성 정보 기술은 보다 많은 발전 기회를 가지게 되었다. 그러나 현재 음성정보 서비스를 위한 기술은 많이 발전된 반면 이를 위한 마크업 언어인 음성 마크업 언어의 활용에 대한 연구는 부족한 실정이다. 이에 본 논문에서는 음성연구의 한 분야의 VoiceXML의 필요성과 기반 기술에 대하여 알아보고. 이를 활용하여 음성 정보 서비스를 위해 설계 요구사항을 정립하여, 저작도구의 구성요소를 기능별로 설계하였고 프로토타입으로 검증하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.823-825
• /
• 2003

보안 시스템에 대해서 고등급 평가를 받기 위해서는 정형적 방법론을 사용하여, 보안 모델을 설계하고, 보안 속성을 정확히 기술해야만 한다. 본 논문에서는 정형적 설계 방법을 통해 보안모델을 설계하고 검증하기 위한, SPR(Safety Problem Resolver) 정형검증도구의 검증방법 및 기능에 대해 소개하고자 한다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.12a
• /
• pp.533-537
• /
• 2003

보안 시스템의 안전성을 분석하기 위해서는, 정형적 방법론을 사용하여 보안 시스템에 대한 이론적인 수학적 모델을 정형적으로 설계하고, 보안 속성을 정확히 기술해야만 한다. 본 논문에서는 보안 시스템의 안전성을 검증하기 위한 보안모델의 구성요소와 안전성 검증방법을 설명한다. 그리고 보안모델을 설계하고 안전성을 분석하기 위한 SEW(Safety Evaluation Workshop)의 전체 구조와 SPR(Safety Problem Resolver) 정형검증도구의 검증방법 및 기능에 대해 소개하고자 한다.

• Proceedings of the Korean Institute of Landscape Architecture Conference
• /
• 2023.10a
• /
• pp.42-43
• /
• 2023

• Proceedings of the CALSEC Conference
• /
• 1999.07b
• /
• pp.417-430
• /
• 1999

인터넷 기술 특히, 웹 (WWW: World Wide Web) 의 비약적인 발전으로 기업 활동에 있어서 전자상거래 (EC: Electronic Commerce) 는 중요한 분야로 대두되고 있다. 본 논문은 시나리오 기반 객체지향 기술을 이용한 전자 상거래용 하이퍼미디어 시스템 개발 방법론과 이를 지원하는 설계 도구를 개발한다. 본 방법론은 영역 분석 (Domain analysis), 객체 모델링 (Object modeling), 뷰 설계 (View design), 네비게이션 설계 (Navigational design), 구현 설계 (Implementation design) 와 구현의 6단계로 구성된다. 사용자의 요구사항은 시나리오를 통하여 분석, 객체지향 기법으로 모델링되며, 객체 뷰를 이용하여 네비게이션 설계와 구현 설계에 활용된다. 구현설계 단계는 구현에 필요한 데이터베이스 스키마와 사용자 인터페이스 설계로 구성된다. 본 방법론은 사용자의 요구사항으로부터 하이퍼미디어 구현에 필요한 요소들을 분석하여 사용자 요구에 적합한 분산하이퍼미디어 시스템 설계와 개발을 지원할 수 있다. 또한 개발 지원 도구는 기업 데이터베이스와 통합되어 운영되는 전자상거래용 하이퍼미디어 시스템 개발에 효율적으로 활용될 수 있을 것이다.