• 품질경영학회지
• /
• 제18권2호
• /
• pp.18-24
• /
• 1990

The location of inspection stations is a significant component of production systems. In this paper, a prototype expert system is designed for deciding the optimal location of inspection stations. The production system is defined as a single channel of n serial operation stations. The potential inspection station can be located after any of the operation stations. Nonconforming units are generated from a compound binomial distribution with known parameters at any given operation station. Traditionally Dynamic programming, Zero-one integer programming, or Non-linear programming techniques are used to solve this problem. However a problem with these techniques is that the computation time becomes prohibitively large when t be number of potential inspection stations are fifteen or more. An expert system has the potential to solve this problem using a rule-based system to determine the near optimal location of inspection stations. This prototype expert system is divided into a static database, a dynamic database and a knowledge base. Based on defined production systems, the sophisticated rules are generated by the simulator as a part of the knowledge base. A generate-and-test inference mechanism is utilized to search the solution space by applying appropriate symbolic and quantitative rules based on input data. The goal of the system is to determine the location of inspection stations while minimizing total cost.

• Industrial Engineering and Management Systems
• /
• 제4권1호
• /
• pp.23-35
• /
• 2005

This paper aims to develop a practical finite capacity MRP (FCMRP) system based on the needs of an automotive parts manufacturing company in Thailand. The approach includes a linear goal programming model to determine the optimal start time of each operation to minimize the sum of penalty points incurred by exceeding the goals of total earliness, total tardiness, and average flow-time considering the finite capacity of all work centers and precedence of operations. Important factors of the proposed FCMRP system are penalty weights and dispatching rules. Effects of these factors on the performance measures are statistically analyzed based on a real situation of an auto-part factory. Statistical results show that the dispatching rules and penalty weights have significant effects on the performance measures. The proposed FCMRP system offers a good tradeoff between conflicting performance measures and results in the best weighted average performance measures when compared to conventional forward and forward-backward finite capacity scheduling systems.

• 인지과학
• /
• 제4권2호
• /
• pp.145-180
• /
• 1994

본 논문은 단어를 구성하는 모든 가능한 형태소열 생성하는 효율적인 한국어 형태소분석 모델을 제시한다.본 논문의 형태소분석 모델은 결정적인(deterministic) 철자규칙의 적용을 보장하며,복합어나 중의성을 지니는 단어의 경우에도 불필요한 계산을 방지한다.이러한 효율성의 획득은 (1)철자규칙을 해석하는 새로운 방법. (2)입력단어에 적합한 철자규칙만을 적용하는 예측중심의 규칙적용방법.(3)중의성이 있는 단어의 경우 이미 분석된 형태부분의 반복계산을 방지하는 동적 프로그래밍 기법의 사용에 의한 새로운 분석기술에 의하여 이루어진다.본 논문에서는 제시된 형태소 분석 모델은 국민학교 국어교과서에서 무작위로 추출된 413,975개의 단어 를 대상으로 실험되었으며, 실험 결과는 본 모델이 효율적이면서도 견고한 형태소 분석을 보장하는것으로 나타났다.

• ETRI Journal
• /
• 제29권4호
• /
• pp.477-488
• /
• 2007

In recent years, numerous studies have identified and explored issues related to web-service-oriented business process specifications, such as business process execution language (BPEL). In particular, business rules are an important cross-cutting concern that should be distinguished from business process instances. In this paper, we present a rule-based aspect oriented programming (AOP) framework where business rule aspects contained in business processes can be effectively separated and executed. This is achieved by using a mechanism of the business rule itself at the business rule engine instead of using existing programming language-based AOP technologies. Through some illustrative examples, this work also introduces a method by which business rule aspects, separated through an external rule engine, can be represented and evaluated. We also demonstrate how they can be dynamically woven and executed by providing an implementation example which uses two open-source-based products, the Mandarax rules engine and Bexee BPEL engine.

• 한국게임학회 논문지
• /
• 제16권6호
• /
• pp.143-150
• /
• 2016

프로그래밍 학습은 비숙련자에게 쉽지 않은 과정이다. 최근의 피교육자는 학습 전에 게임을 경험하는 경우가 빈번하므로 재미와 함께 자연스럽게 교육 내용에 몰입할 수 있는 기능성게임이 유용한 도구로 활용될 수 있다. 이 논문에서는 프로그래밍 교육을 지원하기 위하여 설계하고 구현한 기능성 게임을 제안한다. 제안된 기능성게임은 프로그래밍 언어를 구성하는 요소들을 게임 규칙과 객체들로 치환하는 방법으로 구성한다. 게임의 구조와 함께 차별화된 설계 요소들에 대하여 논하고자 한다.

• Journal of Computing Science and Engineering
• /
• 제1권1호
• /
• pp.56-73
• /
• 2007

Demands have been growing in safety-critical application fields for producing networked real-time embedded computing (NREC) systems together with acceptable assurances of tight service time bounds (STBs). Here a service time can be defined as the amount of time that the NREC system could take in accepting a request, executing an appropriate service method, and returning a valid result. Enabling systematic composition of large-scale NREC systems with STB certifications has been recognized as a highly desirable goal by the research community for many years. An appealing approach for pursuing such a goal is to establish a hard-real-time (HRT) component model that contains its own STB as an integral part. The TMO (Time-Triggered Message-Triggered Object) programming scheme is one HRT distributed computing (DC) component model established by the first co-author and his collaborators over the past 15 years. The TMO programming scheme has been intended to be an advanced high-level RT DC programming scheme that enables development of NREC systems and validation of tight STBs of such systems with efforts far smaller than those required when any existing lower-level RT DC programming scheme is used. An additional goal is to enable maximum exploitation of concurrency without damaging any major structuring and execution approaches adopted for meeting the first two goals. A number of previously untried program structuring approaches and execution rules were adopted from the early development stage of the TMO scheme. This paper presents new concrete justifications for those approaches and rules, and also discusses new extensions of the TMO scheme intended to enable further exploitation of concurrency in NREC system design and programming.

• 한국수자원학회논문집
• /
• 제30권3호
• /
• pp.269-278
• /
• 1997

저수지 운영의 기초가 되는 운영률은 대부분 과거기록 유입량중 최대 혹은 최소의 극한치 자료를 이용하거나 평균치 자료를 이용하여 도출하기 때문에 실제 운영에서 발생할 수 있는 불확실성에 대처한 기대편익 산정이나 운영방안 수립에는 적절히 이용할 수 없다. 또한 지금까지 개발된 대부분의 운영률은 유입량을 포함하여 모든 운영변수를 이미 알고 있다는 확정론적 방법에 기초하고 있어 유입량의 불확실성을 반영하지 못하는 단점이 있다. 이를 개선할 수 있는 방법으로 추계학 분석기법에 의한 운영률을 개발할 수 있는데 이는 저수지 상태방정식의 구성요소인 유입량의 추계학적 특성을 시계열상에서 이산화된 천이확률로 처리하여 모형에 적용할 수 있다. 확정론적 방법에 의한 저수지 운영방안을 개선시키기 위하여 추계학적 방법에 의한 저수지 운영률을 개발하였다. 본 연구에서는 이와같은 방법론에 따른 양해 추계학적 동적계획기법을 이용하여 충주 저수지 시스템의 최적 운영 방안을 마련하였다. 개발된 운영률을 홍수기를 제외하고는 Lag-1 Markov 모형의 기본가정을 충실히 따르고 있어 저수지 운영률로의 이용이 가능하며, 운영단계의 유입량을 적절히 예측할 수 없는 현실에서 전단계의 유입량과 적용단계의 저류량만을 이용하는 저수지 운영률의 개발이 가능하다.

• 한국정보과학회논문지:시스템및이론
• /
• 제35권3호
• /
• pp.141-149
• /
• 2008

대부분의 함수형 프로그래밍 언어에서는 '위에서 아래쪽, 왼쪽에서 오른쪽 방향으로' 패턴 매칭(pattern matching)을 한다는 전략에 따라, 모호한(ambiguous) 특성을 갖는 룰의 정의를 허용하고 있다. 이 방법은 함수형 프로그래머에게 디폴트 룰을 정의할 수 있게 하는 직관적인 편리함을 제공하지만, 한편으로 모호한 룰 때문에 함수형 언어의 의미는 불명확해 질 수 있다. 좀 더 구체적으로, 함수형 언어가 갖는 대표적인 특성인 등식 추론(equational reasoning) 원리의 적용을 불가능하게 할 수 있으며, 함수형 언어를 람다 계산법으로 변환하는 데 있어서도 정형적인 방법이 아닌 임시방편적인(ad hoc) 방법에 의존할 수밖에 없게 한다. 본 연구에서는 지연(lazy) 함수형 언어의 패턴 매칭의 의미를 순수 선언적 특성을 갖는 항 개서 시스템(Term Rewriting Systems)의 분리성(separability) 이론과 연관시키고, 분리성 이론에 따라 지연 함수형 언어가 람다 계산법으로 변환될 수 있음을 보인다.

• Management Science and Financial Engineering
• /
• 제12권1호
• /
• pp.127-142
• /
• 2006

In this paper, we present a frequency reassignment problem (FRP) that arises when we add new base stations to resolve hot-spots or to expand the coverage of a code division multiple access (CDMA) network. For this problem, we develop an integer programming (IP) model along with some valid inequalities and preprocessing rules. Also, we develop an effective heuristic procedure that solves two sub-problems induced from the original problem in repetition. Computational results show that the proposed heuristic procedure finds a feasible solution of good quality within reasonable computation time. Also, the lower bound by-produced from the heuristic procedure is quite strong.

• 제어로봇시스템학회논문지
• /
• 제4권5호
• /
• pp.624-629
• /
• 1998

Evolutionary computation techniques can solve search problems using simulated evolution based on the ‘survival of the fittest’. Recently, the genetic programming (GP) which evolves computer programs using the genetic algorithm was introduced. In this paper, the genetic programming technique is used in order to design a rule based controller consisting of condition-action rules for an unknown system. No a priori knowledge about the structure of the controller is needed. Representation of a solution, functions and terminals in GP are analyzed, and a method of constructing a fuzzy logic controller using the obtained rule based controller is described. A simulation example using a nonlinear system shows the validity and efficiency of the proposed method.