MIS는 1970년대부터 국내기업에 도입되어 초기에는 단순한 데이타 처리용(TPS:Transaction Process System)으로 수립, 실행, 평가하는데 없어서는 안 될 요인이 되었다. 그러한 반면에 정부의 정보시스템 (IS:Information System)의 도입은 매우 저조한 수준에 머무르고 있다. 정부는 이익집단이 아니라는 이유 때문에 정부업무의 효율성을 위한 정보시스템 도입 방안-기자재의 도입, 새로운 시스템 구축, 우수한 인력의 도입-이 번번히 좌절되고 있다. 아울러 정부의 최고 의사결정자인 각료층의 잦은 교체도 IS 도입의 걸림돌이 되고 있다. 그러나 정부는 기업전체를 포함하여 국민을 전체 고객으로 상대하는 기관이라는 점에서 비록 이익집단은 아니더라도 전폭적인 투자가 필요하다. 가장 시급한 것은 각 부처의 정보를 종합한 통합된 데이타베이스의 구축이다. 이 중앙 데이타베이스에 의해서 정부는 보다 일관성 있고 신속하며 신뢰성 있는 정책을 결정하고 수행할 수 있을 것이다. 본 논문에서는 정부를 포함한 공공기관에 있어서 정보시스템 도입의 필요성에 대해서 분석해 보았다. 또 이를 토대로 정부 각 부처에 분산되어 있는 정보를 수집하여 통합된 데이타베이스를 구축하는데 필요한 개발모델을 세워보았다. 아울러 이러한 통합시스템의 파급효과 및 운용방법도 예측, 분석해 보았다.

본 연구에서는 다품종(multiple products) 다단계(multi-stage) 흐름 생산시스템에서의 제품별 로트 투입순서결정무제를 다루었다. 다단계 흐름 생산시스템의 투입순서 결정문제에 대한 기존연구는 각 단계의 기계대수가 1대인 경우에 관한 것이 대부분이지만, 본 연구에서는 각 단계의 기계대수가 복수이고 각 제품의 생산량이 로트로 주어지며, 또한 각 단계마다의 이송이 로트로 이루어지는 것이 아니라 1단위로 이루어지는 생산시스템을 대상으로 하였다. 그리고 각 제품의 생산준비기간은 투입순서와 관계 없이 일정하며 앞 단계에서 제품이 도착하지 않더라도 생산준비는 먼저 수행될 수 있다고 가정하였다. 제품별 로트 투입순서 결정문제에서 사용된 성능평가기준(performance measure)은 총작업소요시간(makespan)이며 순열투입순서(permutation schedule)만을 대상으로 하였다. 결정기법으로는 투입순서 결정문제에서 효율적인 것으로 알려져 있는 분지한계법(Branch & Bound)이 사용되었으며 분지한계법에서 이용되는 부분투입순서(partial sequence)에 대한 하한값(lower bound)을 제시하였다. 제시된 기법을 사용하면 현실적인 크기의 제품별 로트 투입순서 결정문제를 적당한 시간내에 충분히 해결할 수 있을 것으로 보인다. 제시된 해법으로 해결된 수치예제가 주어져 있다.

In general, the line balancing problem is defined as of finding an assignment of the given jobs to the workstations under the precedence constraints given to the set of jobs. Usually, the objective is either minimizing the cycle time under the given number of workstations or minimizing the number of workstations under the given cycle time. In this paper, we present a new type of an assembly line balancing problem which occurs in an electronics company manufacturing home appliances. The main difference of the problem compared to the general line balancing problem lies in the structure of the precedence given to the set of jobs. In the problem, the set of jobs is partitioned into two disjoint subjects. One is called the set of fixed jobs and the other, the set of floating jobs. The fixed jobs should be processed in the linear order and some pair of the jobs should not be assigned to the same workstations. Whereas, to each floating job, a set of ranges is given. The range is given in terms of two fixed jobs and it means that the floating job can be processed after the first job is processed and before the second job is processed. There can be more than one range associated to a floating job. We present a procedure to find an approximate solution to the problem. The procedure consists of two major parts. One is to find the assignment of the floating jobs under the given (feasible) assignment of the fixed jobs. The problem can be viewed as a constrained bin packing problem. The other is to find the assignment of the whole jobs under the given linear precedence on the set of the floating jobs. First problem is NP-hard and we devise a heuristic procedure to the problem based on the transportation problem and matching problem. The second problem can be solved in polynomial time by the shortest path method. The algorithm works in iterative manner. One step is composed of two phases. In the first phase, we solve the constrained bin packing problem. In the second phase, the shortest path problem is solved using the phase 1 result. The result of the phase 2 is used as an input to the phase 1 problem at the next step. We test the proposed algorithm on the set of real data found in the washing machine assembly line.

When modeling a complex system we use an event tree to analyze propagation of failure. An event tree cannot represent the statistical interrelationships among parameters, but it can be represented as a statistically identical influence diagram so that parameter updating can be easily performed. After updating parameters we can calculate posterior distribution of the failure rate for each path. But exact distribution requires considerably complex numerical integration. We propose an approximation method to calculate the posterior and derive the predictive distribution of the time to next failure. Finally we introduce the system which implements our methodology.

This paper considers a procedure for the economic design of a cumulative score(CUSCORE) control chart and more sensitive than X-type control chart for small shift to control the mean of a process with a exponentially distributed quality characteristic. An expected loss - cost model as a function of design variables(sample size, sampling interval, scoring limit and decision limit) is derived. Direct search techniques are used to optimize the model subject to ARL in control. Numerical examples and sensitivity analysis of the model are presented. For selected values of situation parameters a comparison study with CUSUM charts is given. CUSCORE control charts compare favourably with CUSUM charts in cost for speedy production process. The proposed control chart can be directly applied for controlling the lifetime characteristics.

항공기 일정계획문제는 항공기, 승무원, 항공기 정비, 공항사용 등의 현재흐름을 시간과 공간의 개념을 도입한 Network상에 표현하여 분석하는 문제로서 여러가지 의사결정이 복합적으로 관련되어 있는 문제이다. 기존 연구에서는 운영상에 발생하는 많은 제약조건을 주어진 가정으로 처리하여 비교적 단순한 수리모형으로 최적해를 구하고자 했으므로 실제 적용에 한계를 가지고 있다. 또한, 최적해법으로 사용했던 최대흐름 알고리즘(Maximum Flow Algorithm)이나 단계적 접근법(Sequential Approach)으로는 변수의 수가 증가함에 따른 해법의 한계점을 가지고 있다. 본 연구에서는 1978년 미국의 항공규제완화 조치 후 많이 사용되고 있는 Hub and Spoke 노선상에서 항공기를 할당하는 문제로서, 보다 현실적인 제약요인을 포함하는 수리모형을 수립하고, Lagrangean Relaxation 기법을 사용하여 해를 구하고자 하였다.

선형계획 프로그램의 개발에 있어서 속도의 제고와 수치적안정을 고려한 방법에 대한 접근들이 이루어지고 있다. 본 연구에서는 단체법 수행 이전에 입력자료의 사전처리를 통해 속도 및 수치적 안정을 도모하고자 하는 방법과 이에 대한 전산실험 결과를 제시하고자 한다. 입력자료의 사전처리는 첫째, 수치적 안정을 향상시키는 입력자료의 Scaling에 대한 내용과 둘째, 문제의 크기를 줄이거나 단체법에서 다루기 쉬운 형태로 변형하여 속도를 제고하고 수치적 안정을 도모하는 입력자료의 재구조화에 대한 내용으로 구성된다. 본 연구에서 다루는 주요 내용은 다음과 같다. 첫째, Scaling 부분에서는 여러 가지 Scaling 방법과 이에 대한 비교를 전산실험결과로 제시한다. 둘째, 입력자료의 재구조화 방법과 이에 대한 실험적 결과를 제시한다. 본 연구결과 기대효과로는 선형계획 프로그램의 개발에 있어서의 Scaling 방법과 재구조화 방법들의 선택기준으로 사용될 수 있을 것이다.

이 연구는 선형계획법을 위하여 개발된 프로그램들의 언어 및 자료 구조에 대한 차이를 비교, 분석하고자 한다. 선형계획법을 위하여 사용된 언어로는 C, PASCAL, FORTRAN이 있고 자료구조로는 Full Matrix형태와 Non-Zero Matrix형태를 고려한다. Non-Zero Matrix에서는 프로그램 언어별로 Cursor-Based System을 비교하고자 한다. 위의 실험을 수행하기 위하여 다음의 연구과정을 수행한다. 첫째, Non-Zero Matrix의 이용을 위한 Cursor-Based System과 Pointer-Based System을 설계한다. 둘째, LP프로그램을 위한 Full Matrix와 Non-Zero Matrix의 효율적인 자료구조를 구축한다. 세째, 프로그램 언어와 자료구조별로 LP프로그램의 성능을 비교분석한다.

현대 사회가 점점 복잡한 정보화 사회로 변해감에 따라 개인의 자료 또한 기존의 방법으로는 효율적인 관리가 어렵게 되었다. 이러한 상황속에서 연구소 및 대학 연구원들의 늘어나는 연구실적을 효율적으로 관리하기 위하여 본 논문에서는 연구원들의 연구실적을 컴퓨터에 저장하여 효율적으로 관리할 수 있는 연구실적관리시스템(RAMS : Research Accomplishment Management System)을 설계, 구현하였다. 본 시스템은 연구실적을 효율적으로 관리할 수 있도록 각 연구실적에 관한 원시자료만을 입력시킨 후 이를 이용하여 원하는 내용의 연구실적을 조회하고, 각 연구실적별 내용을 원하는 양식에 맞게 출력을 할 수 있게 해주었으며 또한 개인별 실적관리 뿐만 아니라 소규모 집단(연구소)에서의 개인별 관리를 용이하게 하기 위하여 개인화일을 코드화해서 관리해주는 기능을 가지도록 하였다.

전통적 의사결정 이론에 입각한 기존의 다기준 의사결정 모형은 명확하게 정의된 문제에 대해서 실함수로 표현된 사전의 선호정보에 의하여 모호함이 없이 확실한 선호의 판별을 산출하는 true-criterion 모형이다. 그러나 현실적인 의사결정 환경하에서 선호정보가 사전에 명확하게 하나의 실함수로 얻어지기는 매우 어렵다. 이는 곧 선호의 불확실성(fuzziness)이나 선호판별을 할 수 없는 비교불가능성(incomparability)등이 있을 수 있음을 의미한다. 1980년대 이후의 다기준의사결정 이론에 대한 연구는 불명확한 문제의 정형화나 선호의 불확실성을 인정하고, 이를 fuzzy 이론을 이용하여 모형의 설정에 반영하고 있다. 심지어는 선호관계의 비추이성(intransitivity)이나 비교불가능성까지도 인정하는 등 모형의 강건성(robustness)을 고려하는 연구가 활발하게 이루어지고 있다.

Since information systems have been treated as a management tool, a model is required to express and analyze and organizational point of view. Futher, a systematic methodology is required to analyze and diagnose organizational processes to improve them. To improve existing organizational processes, it is needed to describe all the processes performed in each department and their relationships to staffs, resources, and other processes of the organization. However, because of the complexity and unstructureness of the processes, this task is very difficult. We proposed an organizational process model which expresses organizational information on processes, departments, staffs, and resources. Based on this model, we have developed a management information database and a computerized tool which help analyze and diagnose organizational processes. The organizational process model, management information database, the automated tool may be used for BR(Business Re-engineering).

본 연구에서는 비.반구조적 문제의 구조화 과정을 지원하는 지식기반(knowledge-based) 의사결정지원시스템을 설계. 개발하였다. 문제의 구조화란 당면한 문제에 대한 인식을 한 후, 문제의 핵심과 관련된 요인을 추출하여 그들간의 관계를 모델화하는 것으로서, 본 연구에서는 구조화기법으로 방향성 그래프구조인 영향도(Influence Diagram)를 채택하였다. 특히 본 연구에서 제시된 시스템은, 의사결정자가 지식베이스에 자신의 관심영역에 관한 지식을 저장하여 사용할 수 있도록, 영역독립적(domain-independent)인 쉘(shell)의 구조로 설계되었다. 개발된 프로토타입인 IDMS를 R&D 평가와 관련된 의사결정분야에 적용하여 그 구조화과정을 보임으로써 현실문제에의 적용가능성을 제시하였다.

생산자동화기술을 도입하여 도입성과를 향상시키려면 자동화기술을 도입하고 활용함에 있어서 성공요인들을 문헌과 현장의 사례들을 통하여 충실히 검토하고 종합적으로 분석한 후에 이를 생산시스템에 적용할 때에는 자동화기술의 상반관계(trade-off)에 있는 성과변수를 동시에 향상시켜 경쟁력을 갖게 될 것이다. 기업전략과 생산전략을 수립하고 그 틀 안에서, 생산자동화기술 추진전략을 세워 전략사이의 적합성이 높을 때 자동화기술 도입성과는 크게 향상될 것임을 유념해야 한다. 따라서 본 연구에서 제시한 생산자동화기술 성공요인이 자동화기술 도입성과에 영향을 미치므로 자동화기술 추진전략이 기업의 능력범위 안에서 이들 요인을 잘 반영하고 있는지를 검토하고, 분석한 후에 종합적으로 판단하여야 한다. 이러한 과정을 거쳐 자동화기술이 도입되고 운영될 때 자동화기술 도입효과는 극대화될 수 있다.

오늘날 다양한 고객욕구를 충족시키기 위해 재공품재고 없이 단일조립라인에서 다양한 제품들을 생산하는 혼합모델조립(MMAL)방식이 많이 사용되고 있다. 일반적으로 MMAL은 모든 일감에 대해 동일한 작업장, 작업시간이 동일한 여러가지 사양중 하나를 선택할 수 있는 작업장, 그리고 작업시간이 상이한 작업들을 수행하는 작업장으로 구성되어 있다. 첫째 유형의 작업장에서의 작업순서결정은 전혀 문제가 되지 않는다. 그러나 두번째 유형의 작업장에서는 작업순서에 따라 작업준비비용이 달라지게 된다. 세번째 유형의 작업장에서는 필요로 하는 작업유형의 종류와 양에 따라 원활한 흐름에 변화를 가져온다. 조립라인의 일괄작업순서가 작업장의 처리능력보다 많은 부하를 초래하면 후속 작업장의 원활한 작업을 위하여, 해당 작업장의 작업자들을 지원하는 보완작업(utility work)을 행하여야 하나, 타 작업장에서 해당조립품의 작업시간에 따라 해당작업장의 부하는 평활화될 수 있으므로 보완작업량은 통제가능하다. 따라서 준비비용과 보완작업 비용의 합을 최소화하는 일정계획이 요구된다. 이에 관한 연구들이 행해져오고 있으나, 두가지 비용의 합을 최소화하는 연구는 아직 많이 진척되지 못하고 있는 실정이다. 선행연구들에서 이미 제시된 TSP개념을 이용한 비선형2진 혼합정수계획모델인 수리모델을 이용할 수 있다. 그러나 이 모델은 너무 복잡하여 현실문제를 적용할 경우 계산이 불가능하다. 따라서 단시간에 최적에 가까운 해를 구하기 위한 휴리스틱 기법의 개발이 요구된다. 따라서 본 연구에서는 이를 위한 기초연구로서 우선 준비비용을 고려하지 않는 경우의 휴리스틱기법을 개발하는데 초점을 맞추었다. 특히 본 연구에서는 작업장에서 행해지는 작업유형은 기본작업과 여러가지 선택작업이 있을 수 있으므로 선행연구를 확장하여 기본작업과 두가지의 선택작업이 행해지는 경우에 촛점을 맞추었다. 그리하여 다작업장의 휴리스틱에 의거한 작업순서 결정을 위해 우선 BB의 상한을 구하는 연구를 행했다. 이를 위해 우선 단일작업장에서 야기될 수 있는 모든 상황을 고려한 최적 작업순서 결정규칙을 연구했으며, 이의 증명을 위해 이 규칙에 의거했을 때의 보완작업량이 최소가 된다는 것을 밝혔다. 보완작업 계산의 효율성을 제고하기 위해 과부하(violation)개념을 도입하였으며, 작업유형이 증가된 상황에서도 과부하 개념이 보완작업량을 충분히 반영할 수 있음을 밝혔다. 본 연구에서 제시한 최적 작업순서 규칙에 의거했을 때 야기될 수 있는 여러가지 경우의 과부하를 모두 계산했다. 앞에서 개발된 단일작업량의 최적 작업순서 결정규칙을 이용하여 다작업장의 문제를 실험했다. 이 문제는 규모가 매우 크므로 Branch & Bound를 이용하였으며, 각 가지에서 과부하량이 최적인 경우만을 고려하는 휴리스틱을 택하여 실험자료를 이용하여 여러 회 반복실험을 행했다. 그리고 본 연구의 성과를 측정하기 위해 휴리스틱 기법시 소요되는 평균 CPU time 범위에서, 랜덤 작업순서에 따른 작업할당을 반복실험하여 이중 가장 좋은 해와 비교했다. 그러나 앞으로 다작업장 문제를 다룰 때, 각 작업장 작업순서들의 상관관계를 고려하여 보다 개선된 해를 구하기 위한 연구가 요구된다. 또한, 준비작업비용을 발생시키는 작업장의 작업순서결정에 대해서도 연구를 행하여, 보완작업비용과 준비비용을 고려한 GMMAL 작업순서문제를 해결하기 위한 연구가 수행되어야 할 것이다.

We consider a discrete event dynamic system called periodic job shop, where an identical mixture of items called minimal part set(MPS) is repetitively produced in the same processing order and the primary performance measure is the cycle time. The precedence relationships among events(starts of operations) are represented by a directed graph with rocurront otructure. When each operation starts as soon as all its preceding operations complete(called earliest starting), the occurrences of events are modeled in a linear system using a special algebra called minimax algebra. By investigating the eigenvalues and the eigenvectors, we develop conditions on the directed graph for which a stable steady state or a finite eigenvector exists. We demonstrate that each finite eigenvector, characterized as a finite linear combination of a class of eigenvalue, is the minimum among all the feasible schedules and an identical schedule pattern repeats every MPS. We develop an efficient algorithm to find a schedule among such schedules that minimizes a secondary performance measure related to work-in-process inventory. As a by-product of the linear system approach, we also propose a way of characterizing stable steady states of a class of discrete event dynamic systems.

Separating Hyperplane의 기하학적인 성질을 이용하여, 일반적인 Closed Convex Set들의 교집합에 속하는 점을 찾아가는 방법을 제안하고, 교집합에 속하는 점을 찾아가는 과정에서 그 교집합의 공집합 여부를 판정할 수 있는 방법을 제안하였다. 이 기법은 기존의 방법들이 가정하는 수렴조건보다 더 일반적인 조건 하에서도 수렴성을 갖는 것을 증명할 수 있었으며, 그 교집합의 공집합 여부를 선형부동식 해의 존재 유무로 판정할 수 있는 방법을 제시하였다. 몇가지 특수한 경우의 Convex Set들의 경우에 대한 기법의 적용 결과도 알아 보기로 한다.

Many business forecasting problems are characterized by infrequent occurences, a large number of variables, presence of error, and great complexity. Because no forecasting models and tools are effective in handing these problems, managers often use the outcomes of past analogous cases to predict the outcome of the current one. They (1) observe significant attributes in describing a case, (2) identify the past cases similar in these attributes to the current case, and (3) predict the outcome of the current case based on those of the analogous cases identified through some mental simulation and adjustment. This process of forecasting can be termed forecasting-by-analogy. In spite of fairly frequent use of this forecasting process in practice, however, if has not been recognized as a primary forecasting tool, nor applied on a regular basis. In this paper, by automatizing this process using computer models, we develop a case-based forecasting system(CBFS), which identifies relevant cases and applies their outcomes to generate a forecast. We demonstrate the effectiveness of the CBFS in terms of its accuracy in predicting the outcome of the current problem based on the similar cases identified. We compare the forecasting accuracy of the CBFS with that of regression models developed by stepwise procedure under varied simulated problem conditions. The CBFS outperforms regression models in most comparisons. The CBFS could be used as an effective forecasting tool.

시간변동모수 공적분(Time-Varying Parameter Cointegration) 모형에서 시간변동모수가 안정적인 확률과정을 따르는 경우 BI(bi-integrated) 과정을 오차항으로 갖는 고정모수 공적분 모형과 동일하다. 이 때 BI과정은 ARCH 과정과 조건부분산이 동치관계에 있음을 이용하여 소득과 비내구재(서비스) 소비의 시간변동모수 공적분 관계를 추정하였다. 이로부터 합리적기대 항상소득가설을 검증한 결과 고정모수 공적분 모형과 달리 가설을 기각할 수 없는 것으로 나타났다.

생산일정계획 수립 시스템을 통하여 수립된 생산계획을 현장에서 실천하고자 할 때, 일반적으로 계획수립 후 얼마 지나지 않아 계획수립시 고려할 수 없었던 기계고장 또는 자재조달 지연, 작업 지체, 주문 취소 등과 같은 요인으로 생산일정을 계획대로 실천할 수 없는 경우가 발생한다. 이런 상황에서는 기존의 생산계획을 계속 실행할 수 없으므로 손쉽게 대처할 수 있는 방안이 필요하다. 본 연구에서는 일정계획편집기를 이러한 문제점을 해결할 수 있는 대안으로 제시한다. 일정계획편집기를 GUI, 객체지향적 설계를 통해 구현하므로서 이상상황과 일정변동에 효과적으로 대처할 수 있다. GUI환경을 통해, 수립된 생산일정과 이상상황, 작업진척, 수행도 등을 화면에 Gantt 도표로 표시해 주어 현장 파악을 용이하게 하고 작업추가, 삭제, 작업시간 변경, 대체공정으로의 이동 등의 편집을 mouse와 icon을 이용, 편리하게 수행할 수 있다. 편집작업시 자동으로 생산일정의 타당성을 만족시켜 줄 수 있는 지능화를 위한 기초 단계로서 객체지향설계를 이용한 규칙기반 일정계획 편집기를 설계한다.

자원제약하의 롯트 사이즈 결정문제(capacitated lot sizing problem: CLSP)는 주어진 생산자원의 제약요건을 만족하면서 모든 계획기간의 수요를 충족시킬수 있는 가동준비와 재고유지비의 총합에 대한 최소화 문제다. CLSP는 NP-hard이기 때문에 그 해를 효율적으로 구하기 위한 휴리스틱 해법이 그동안 꾸준히 개발되어져 왔으며 그 대부분의 알고리즘은 Wagner-Whitin의 해도출원리를 이용한 것이다. 본 연구는 지금까지 개발된 CLSP의 알고리즘을 분석하여 그 특성을 파악한 후 본 연구에서 개발한 알고리즘과 이들 기존 알고리즘을 비교 실험함으로써 개발된 알고리즘이 어느 정도의 효율성을 가지는가를 검토하고자 한다.

Modeling the production process is a necessary and essential aspect of the production planning. This paper introduces a theoretical model of the multi-stage production process. A multi-stage production process is regarded as a network of interrelated production activities which use system exogenous inputs of goods in production and the intermediate products transfers between activities to produce final products. Our model is characterized by (1) a few of the production-related assumptions and (2) two types of elements "goods and activities" that are represented in terms of the network terminology. This model is different from the another multi-stage production models, so-called production network models in relation to the production-theoretical concept. It is not based on the concept of the production correspondence and the activity production functions, but the technology model of Koopmans. Koopmans.

In this paper, we investigate the effect of production uncertainty - especially demand fluctuation and activity time variation, to production control policies. First, we examine three famous production control policies, namely, MRP, JIT, OPT, from shop floor control perspective and analyze the difference among them. Based on these, simulation studies are performed to draw out the effects of demand fluctuation which are classified into demand lumpiness and demand irregularity, and, the effects of activity time variation which are classified into standard time variation and non-standard time variation. Experimental investigation shows that, in terms of demand fluctuations, MRP is affected by demand lumpiness, but JIT by demand irregularity. And we also see that both MRP and JIT are influenced by standard time variation with respect to activity time variations.

This paper proposes an optimal incentive scheme for environmental pollution and output control in oligopoly markets under asymmetric information situation where the regulator has no information about each firm's technology on output productions and pollution abatements. We compare two interesting optimal incentive schemes (one is static model previously proposed and the other is dynamic model suggested in this paper), analyze features of these schemes, and carefully discuss its relevances to other schemes.

The self-reliance of NSSS System Design is required not only the design capability to perform the system design but also the management capability to control the resource and time for the Project effectively. The purpose of this study is to develop the simplified standard Logic Network that is scheduled on the time and resource using the PERT/CPM method. That is mainly focused on Ulchin 3&4 Project. We prepare the management tool of NSSS System Design project. And we can utilize it as a reference tool for the similar project which are complex and long term in a next project.