高溫의 鐵筋콘크리트 단순보 擧動 및 殘餘强度 解析

학위논문(석사)--서울대학교 대학원 :건축학과,2003.Maste

高溫超傳導體 및 그와 關聯된 化合物의 電子分光學 硏究

Thesis (doctoral)--서울대학교 대학원 :물리학과,1996.Docto

An Automated Tool for Real - time Software Development Based on Transformation Schema

시스템의 자동화 추세에 따라 실시간 소프트웨어의 중요성은 점차 증대되어 왔다. 그러나 이의 중요성에 반하여 실시간 소프트웨어 개발 도구는 극히 제한되어 있으며 많은 제약을 내포하고 있다. 자료흐름도의 확장형태인 변환도해를 바탕으로 하는 방법론은 이러한 문제점에 대한 중요한 접근법을 제시하고 있다. 본 논문에서는 이러한 변환도해의 개발 방법론을 위한 자동화 도구를 디자인하였다. 이 도구는 서울 시경의 명령, 통제, 통신 그리고 지능(C³I) 시스템에 적용되었으며 변환도해의 요구 명세서에서 많은 불일치 점들을 제거하고 동적인 테스트 법칙들을 오류없이 적용하므로서 완전성을 증가시킬 수 있었다

K - Meta System A Meta System for Software Development Environments

소프트웨어 수명 주기 지원 시스템은 소프트웨어 수명 주기의 한 단계, 또는 그 이상의 단계를 지원하는 소프트웨어 개발 환경이다. 이러한 수명주기 지원 체제의 효율적인 개발 및 유지, 변경이 가능하도록 해 주는 메타 시스템 접근 방법의 가장 큰 관심은 수명 주기 지원 시스템들을 표현하는 메타 데이타 모형의 표현력을 높이는 것과 사용자의 편의를 위한 도구들을 자동적으로 생성해 주는 것이다. 본 연구에서는 이러한 소프트웨어 개발 환경 구축을 위한 도구로서 K-메타 시스템을 설계, 구현하였다. K-메타 시스템은 개체-범주-관계 데이타 모형을 도입하여 실세계의 표현력을 높이고 사용자와의 친밀성을 강조하고 있다

Multi-facetted Approach to Mathematical Model Representation and Management

One of the essential issues in model systems is how to represent and manipulate mathematical modeling knowledge. As the bases of integrated modeling environments, current modeling frameworks have limitations; lack of facility to coordinate different users perpectives and lack of mechanism to reuse modeling knowledge. In this paper. multi-facetted modeling approach is proposed as a basis for the development of integrated modeling environment which provides facilities for (1) independent management of modeling knowledge from individual models; (2) object-oriented conceptual blackboard concept: (3) multi-facetted modeling; and (4) declarative representation of mathematical knowledge. The proposed multi-facetted approach is illustrated using multicommodity transportation models