서지주요정보
(A) model management system for linear programming model formulation and modification = 구조적 모형화 기법을 이용한 선형계획모형 생성과 수정을 위한 모형관리 시스템
서명 / 저자 (A) model management system for linear programming model formulation and modification = 구조적 모형화 기법을 이용한 선형계획모형 생성과 수정을 위한 모형관리 시스템 / Ki-Young Lim.
발행사항 [대전 : 한국과학기술원, 1991].
Online Access 제한공개(로그인 후 원문보기 가능)원문

소장정보

등록번호

8001887

소장위치/청구기호

학술문화관(문화관) 보존서고

MMGS 9120

휴대폰 전송

도서상태

이용가능

대출가능

반납예정일

리뷰정보

초록정보

One of the main problems confronted with linear programming (LP) model users is the frequent changes of models. When this situation is occurred, practitioners using LP models must reformulate the model repeatedly. Existing model management systems (MMS) are mainly concerned with model formulation and executability, not paying much attention to model modification. The primary purpose of this thesis is to develope an MMS for 1) easy modification and formulation of LP models, and for 2) the management of LP models in reusable forms. As a conceptural framework, structured modeling(SM) is used to represent LP models. We used a logic based executable modeling language LSM to represent and manipulate the LP models and extended it to be able to modify them. Three operations i.e., insert, delete and modify are used for the model modification of LP models. We implemented a prototype LP/SM, a first-order logic based language, designed to support non-expert users for activities performed during the modification and formulation of LP models with the domain of production planning.

선형계획 모형의 사용자들이 직면하는 가장 큰 문제중의 하나는 사용하는 모형이 시간이 지남에 따라서 자꾸 변한다는 사실이다. 일단변화가 발생하면 실무자들은 모형을 다시 재구성해야 하는데 이것은 많은 시간과 경비를 필요로 하는 작업이다. 현재까지의 모형관리시스템은 이런 모형의 변화, 수정의 측면에는 관심을 기울이고 있지 않고 주로 모형의 생성과 실행 가능성에만 관심을 기울여 왔다. 이 논문의 주요한 목적은 1) 선형계획모형의 수정과 생성이 용이한 2) 모형을 재사용이 가능한 형태로 관리하는 모형관리 시스템을 개발하는데 있다. 개념적인 틀로써 구조적 모형화 기법을 이용하였고 선형계획 모형을 나타내고 다루기 위하여 논리 (logic) 에 기반을 둔 실행가능 언어인 LSM을 이용하여 그것을 수정이 가능하도록 확장하였다. 모형의 수정을 위해서 3가지의 절차 (insert, delete, modify) 를 이용하였다. 여기에서 제시된 접근 방법들은 first-order logic에 기반을 둔 LP/SM이라는 원형시스템으로 개발되었다. LP/SM은 생산계획 문제를 다루며 모형의 수정과 생성을 하는 동안의 여러가지 과정을 잘 알지 못하는 사람도 사용 할 수 있도록 고안이 되었다.

서지기타정보

서지기타정보
청구기호 {MMGS 9120
형태사항 [iii], 64 p. : 삽도 ; 26 cm
언어 영어
일반주기 저자명의 한글표기 : 임기영
지도교수의 영문표기 : Sung-Joo Park
지도교수의 한글표기 : 박성주
학위논문 학위논문(석사) - 한국과학기술원 : 경영과학과,
서지주기 Reference : p. 62-64
주제 Linear programming.
Modeling.
모형 (모델) --과학기술용어시소러스
전문가 시스템. --과학기술용어시소러스
선형 계획법. --과학기술용어시소러스
Expert systems (Computer science)
QR CODE qr code