• 한국산학기술학회논문지
• /
• 제10권5호
• /
• pp.985-991
• /
• 2009

문법 기반의 테스트 케이스 자동 생성(GBTG) 알고리즘은 문법 G를 기반으로 G에 의해 수용되는 문장들의 집합 L(G), 즉 소프트웨어 테스트를 위한 테스트 케이스를 생성한다. 문맥 자유 문법으로 기술되는 대부분의 언어들은 순환적 성격을 가지며, 일반적으로 G에 의해 생성되는 집합 L(G)는 너무 커서 생성된 케이스들을 모두 실행시킬 테스트 대상으로 삼는다는 것은 현실석이지 못하다. 본 논문에서는 CFG에 의해 자동 생성되는 테스트 케이스의 집합의 크기를 통제하면서도 테스트의 주요 범위를 커버하기 위하여 문맥 자유 문법을 보강하는 문법외적 요소인 태그들을 개발하고 실험하였다.

• 산업경영시스템학회지
• /
• 제21권48호
• /
• pp.37-52
• /
• 1998

In many distribution systems important cost reductions and/or service improvements may be achieved by adopting an efficient inventory policy and proper selection of facilities. These efficiency improvements and service enhancements clearly require an integrated approach towards various logistical planning functions. The areas of inventory control and transportation planning need to be closely coordinated. The purpose of this paper is to construct an integrated model that can minimize the total cost of the transportation and inventory systems between multiple origin and destination points, where in origin point i has the supply of commodities and in destination point j requires the commodities. In this case, demands of the destination points are assumed random variables which have a known probability distribution. Using the lot-size reorder-point policy and the safety stock level that minimize total cost we find optimal distribution centers which transport the commodities to the destination points and suggest an optimal inventory policy to the selected distribution center. We also show if a demand greater than one unit will occur at a particular time, we describe the approximate optional replenishment policy from computational results of this lot-size reorder-point policy. This model is formulated as a 0-1 nonlinear integer programming problem. To solve the problem, this paper proposes heuristic computational procedures and a computer program with UNIX C language. In the usefulness review, we show the meaning and validity of the proposed model and exhibit the results of a comparison between our approach and the traditional approach, respectively.

• Journal of Welding and Joining
• /
• 제10권4호
• /
• pp.199-212
• /
• 1992

Expert system is a practical application part of the artificial intelligence and can be generally described as a computer-based system designed to simulate the knowledge and reasoning of a human expert, and to make that knowledge conveniently available to other people in a useful way. Expert systems consist of three major components, knowledge base, inference engine and user interface. In this paper, it is aimed to construct a prototype system to design the horizontal-typed pressure vessel. To do this, a representative artificial programming language, Turbo Prolog, was employed, and the knowledge representation was mainly done by the production rule such as "If(condition), than (action)" style and by the predicate logic. In the developed system, it was quite easy to represent the knowledge of "If(condition), then (action)"style and by the predicate logic. In the developed system, it was quite easy to represent the knowledge of "If(condition). then(action)" style and the various table-like data. It was also effective to represent the graphics. Though this expert system is by now small and incomplete, it is possible to expand it to a larger and refined system later.rger and refined system later.

• JSTS:Journal of Semiconductor Technology and Science
• /
• 제14권2호
• /
• pp.212-226
• /
• 2014

This paper presents the design and implementation of a pipelined architecture and a method for real-time human detection using depth image from a Time-of-Flight (ToF) camera. In the proposed method, we use Euclidean Distance Transform (EDT) in order to extract human body location, and we then use the 1D, 2D scanning window in order to extract human joint location. The EDT-based human extraction method is robust against noise. In addition, the 1D, 2D scanning window helps extracting human joint locations easily from a distance image. The proposed method is designed using Verilog HDL (Hardware Description Language) as the dedicated hardware architecture based on pipeline architecture. We implement the dedicated hardware architecture on a Xilinx Virtex6 LX750 Field Programmable Gate Arrays (FPGA). The FPGA implementation can run 80 MHz of maximum operating frequency and show over 60fps of processing performance in the QVGA ($320{\times}240$) resolution depth image.

• Journal of Information Technology Applications and Management
• /
• 제12권1호
• /
• pp.157-172
• /
• 2005

Recently, location-based service (LBS) is a hot issue in the field of computer applications. So many papers introducing new techniques of implementing a LBS and new application fields of LBS have been published recently. However, to the best of our knowledge, none of them discusses feasibility test in the prior to the implementation. The importance of a feasibility test for a design prior to the implementation cannot be overemphasized. This paper presents a method of feasibility test for a LBS design. Our method performs three steps. At the first step, we build a Petri net model of the LBS system which is depicted in natural language. The second step is to analyse the Petri net to find errors and flaws in the design. We also improve the Petri net model by fixing the errors and flaws in this step. A feasibility test is the third and final step. In this step. we verify if the design satisfies the user's requirement in the senses of quality of service (QoS) and of minimizing the implementation cost. The third step is performed in the manner of mathematical analysis of the Petri net.

• 정보교육학회논문지
• /
• 제15권4호
• /
• pp.561-569
• /
• 2011

정보사회의 문제점과 채팅의 역기능을 해결하기 위해서 교육적인 접근방안 모색의 필요성이 점차 증가하고 있다. 건강한 인격 형성과 그 과정이 자칫 훼손될 수 있는 초등학교 시기부터 정보통신윤리교육이 체계적으로 실시되어야 할 것이다. 이와 같은 문제의식에 기초하여 채팅 교육을 중심으로 우선 초등학교에서 실시하는 정보 통신윤리교육과정을 분석하고, 그 결과를 바탕으로 정보통신윤리교육과정의 하위영역인 채팅교육에 적합한 교육목표와 지도내용을 추출하여, 초등학교 채팅교육에 적합한 웹 기반 학습자료를 설계하고 구현하여 수업에 적용한 결과 매우 효과적임이 입증되었다.

• 한국실천공학교육학회논문지
• /
• 제2권1호
• /
• pp.58-63
• /
• 2010

본 연구는 지식기반 시스템을 구축 및 활용하여 CNC 가공교육을 효율적으로 하고자하는 데에 그 목적을 둔다. 프로그램은 각종 교육, 교수방법론 및 교수매체 등을 기반으로 하고, 컴퓨터만 있다면 어디서든 교육이 가능하도록 접근성이 용이하게 구축한다. 본 시스템은 CNC 선반 및 머시닝센터 가공 전반에 대한 내용을 포함하고, 초보자의 접근이 용이하며 단계별 학습이 되도록 구성한다. 가공을 위한 재료, 공구 또는 형상에 따른 여러 절삭 조건들도 검토하고 분석하며, 비주얼 베이직 언어를 이용하여 프로그램을 구성 및 개발한다. 본 시스템은 실제 절삭가공에 절삭조건을 참고하기를 원하는 초보 훈련생뿐만 아니라 CNC 가공 교육을 처음 배우기를 원하는 초보자들에게 많은 도움을 줄 수 있으리라 기대된다.

• 정보처리학회논문지A
• /
• 제9A권2호
• /
• pp.163-170
• /
• 2002

연속미디어 파일을 위한 버퍼 캐시 기법들은 연속 미디어의 순차적 접근만을 고려하고 반복참조는 고려하지 않았다. 그러나, 외국어 영상 학습의 경우 사용자가 어떤 장면을 반복 구간으로 설정하면 자동으로 수회 반복 상영하는 기능이 있을 수 있다. 본 논문에서는 순차 참조와 반복 참조가 혼재하는 연속미디어 파일 시스템을 위한 새로운 버퍼 캐시 기법을 제안한다. 제안한 기법은 파일의 참조 유형을 탐지하고 파일 별로 적절한 교체 정책을 적용하여 버퍼 캐시 적중률을 높인다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1989년도 하계종합학술대회 논문집
• /
• pp.241-245
• /
• 1989

A knowledge based expert system is a computer program that emulates the reasoning process of a human expert in a specific problem domain. This paper presents an expert system to diagnose the various faults in power system. The developed expert system is represented considering two points; the possibility of solution and the fast processing speed. As uncertainties exist in the facts and rules which comprise the knowledge base of the expert system, Certainty Factor, which is based on the confirmation theory is used for the inexact reasoning. Also, as the diagnosis problem requires the inductive reasoning process in nature, the solution is imperfect and not unique in general. So the expert system is designed to generate all the possible hypothesis in order of the possibility and also it can explain the propagation procedure of the faults for each solution using the built in backtracking mechanism. In realization of the expert system, the processing speed is greatly dependent upon the problem representation, reasoning scheme and search strategy. So, in this paper the fault diagnosis problem itself is analysed from the view point of Artificial Intelligence and as a result, the expert system has the following basic features. 1) The certainty factor is adopted in the inference engine for inexact reasoning. 2) Problem apace is represented using the problem reduction technique. 3) Bidirectional reasoning scheme is used. 4) Best first search strategy is adopted for rapid processing. The expert system was developed us ing PROLOG language.

• 교육시설
• /
• 제5권3호
• /
• pp.98-106
• /
• 1998

This paper is to find out a possibility that, adapting article 81 of regional finacing law, the community develops community facilities such as gymnagiums, swimming pools, and parking facilities in school site. The study requires an agreement about managements between the mayor and the superintendent of education. This paper also surveys community's needs with respect to use of school facilities before and after class, willingness to pay for the school use, and use of school facilities by private institutions. This paper adopts two experimental case studies to find a feasibility of community building construction in school sites. It also adopts dscriptive analysis of the statistics to find out the degree of willingness to use by community people. It is found, first, that regional finacing law permits community facilities' development in school sites and an agreement between the mayor and the superintendent of education about usage and profits should be made by the rate of construction fee and land cost. The second is that 65.8% of community people want to use school facilities such as gymnasium and school ground. And favorite series of physical exercise is swimming, baminton, tennis in order. The third is that 66.4% of community people have willingness to pay for the use of school facilities. The fourth is that school facilities such as class room, special class room, and computer room can be used by private institutions. 75% of community people agree to use school facilities by the private institutions. Favorite series on these are classes for reviewing the lessons, language classes, classes for playing musical instruments in order.