• Journal of Ocean Engineering and Technology
• /
• v.15 no.4
• /
• pp.101-107
• /
• 2001

This paper describes a fault diagnosis method by a T-invariance of Petri Net (PN). First, a complicated fault system with some failure is modeled into a PN graphic expressions. Next, the PN model is analyzed by using the backward chaining of T-invariance to find out causes of the faults. In this step, an inter-node search technique which is suggested in this paper is applied for reducing searching area in the fault system. Also, a novel idea to compose incidence matrices which have different dimension each other in PN model is proposed. As the new knowledges which is discovered newly about faults can be added easily to conventional systems, the diagnosis system will be very flexible. Finally, the proposed method is applied to the automobile fault diagnosis system to confirm the validity of the method.

• IE interfaces
• /
• v.12 no.4
• /
• pp.532-539
• /
• 1999

The first step to design a cellular manufacturing system is to make part-families and machine-cells. This process is called the machine-part grouping. This paper considers a machine-cell size when grouping machine-cells. By considering a machine-cell size, an unrealistically big size of machine-cell which may be caused by the chaining effect can be avoid. A heuristic algorithm which minimizes the number of inter-cell movement of parts considering a machine-cell size is presented. The effectiveness and performance of the proposed heuristic algorithm are compared with those of several heuristic algorithms previously reported. The comparison shows that the proposed heuristic algorithm is efficient and reliable in minimizing the number of inter-cell movement of parts and also prevents the chaining effect.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 1999.03a
• /
• pp.353-359
• /
• 1999

We present a matrix-based inference alorithm suitable for electronic commerce applications. For this purpose, an Extended AND-OR Graph (EAOG) was developed with the intention that fast inference process is enabled within the electronic commerce situations. The proposed EAOG inference mechanism has the following three characteristics. 1. Real-time inference: The EAOG inference mechanism is suitable for the real-time inference because its computational mechanism is based on matric computation.2. Matrix operation: All the subjective knowledge is delineated in a matrix form, so that inference process can proceed based on the matrix operation which is computationally efficient.3. Bi-directional inference: Traditional inference method of expert systems is based on either forward chaining or backward chaining which is mutually exclusive in terms of logical process and exclusive in terms of logical process and computational efficiency. However, the proposed EAOG inference mechanism is generically bi-directional without loss of both speed and efficiency. We have proved the validity of our approach with several propositions and an illustrative EC example.

• Korea-Australia Rheology Journal
• /
• v.14 no.4
• /
• pp.203-207
• /
• 2002

Particle-particle interaction is of great importance in the study of suspension rheology. In this research we have investigated the hydrodynamic interaction between two identical cylinders in viscoelastic fluids numerically as a model problem for the study of viscoelastic suspension. We confine two neutrally buoyant cylinders between two parallel plates and impose a shear flow. We determine the migration velocity of two cylinders. The result shows that cylinders move toward or away from each other depending upon the initial distance between them and that there is an equilibrium distance between two cylinders in viscoelastic fluids regardless of the initial distance. In the case of Newtonian fluid, there is no relative movement as expected. The results partly explain the chaining phenomena of spherical particles in shear flows of viscoelastic fluids.

• IE interfaces
• /
• v.17 no.1
• /
• pp.13-21
• /
• 2004

In this study, the prototype of a system for checking risk-factor of NC machine is proposed. The proposed system can get the risk-related information by monitoring the status of real-time processes of NC machines. Using the information, the accidents can be prevented by the background process of an expert system tool. This paper consists of 2 parts: (1) the method for gathering data and definition of the risk-related factors of NC machines and (2) the procedure for finding the proper actions by using the forward chaining of a rule-base. Proposed system is implemented with C++ language under MS-windows.

• Proceedings of the KIEE Conference
• /
• 2001.07b
• /
• pp.699-701
• /
• 2001

The expert system monitoring and diagnosing 765kV power apparatus was described in this paper. To develop this expert system, we studied the knowledge bases and data bases for 765kV transformer and GIS. In order to make the reliable inference of knowledge base and the good MMI(Man Machine Interface), the data bases were consisted of the tables of power apparatus information, limit level value, measured input data, inference result and diagnosis result. The knowledge base had various rules to infer the conditions of transformer and GIS. We applied both the forward chaining and backward chaining methods to these rules of system for good inferences. This paper describes the applied methods for expert system. Also, this developed system was tested with dissolved gas analyzing result and the result was shown.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.1
• /
• pp.39-51
• /
• 2010

In this paper we consider the uniform central limit theorem for a martingale-difference array of a function-indexed stochastic process under the uniformly integrable entropy condition. We prove a maximal inequality for martingale-difference arrays of process indexed by a class of measurable functions by a method as Ziegler [19] did for triangular arrays of row wise independent process. The main tools are the Freedman inequality for the martingale-difference and a sub-Gaussian inequality based on the restricted chaining. The results of present paper generalizes those of Ziegler [19] and other results of independent problems. The results also generalizes those of Bae and Choi [3] to martingale-difference array of a function-indexed stochastic process. Finally, an application to classes of functions changing with n is given.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2013.10a
• /
• pp.653-656
• /
• 2013

TFTP(Trivial File Transfer Protocol)는 UDP(User Datagram Protocol) 기반의 파일 전송 프로토콜이다. TFTP는 프로토콜 구조가 단순하여 작은 크기의 데이터를 빠른 속도로 전송할 때 사용된다. 하지만 TFTP는 보안 기능을 지원하지 않기 때문에 데이터 노출의 위험이 있다. 본 논문에서는 Diffie-Hellman 키 교환 방식과 AES-CBC(Advanced Encryption Standard-Cipher Block Chaining) 암호화 방식을 이용하여 TFTP 프로토콜에 보안 기능을 추가하였다. Diffie-Hellman 키 교환 방식을 이용하여 두 사용자 간에 비밀 키를 공유하도록 하였고, AES-CBC 암호화를 지원하여 기밀성을 제공하도록 하였다. 수신된 데이터는 암호화 과정의 역으로 복호화를 수행하였다. WireShark 프로그램을 통하여 암호화된 데이터가 전송 되는 것을 확인하였다.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.4 no.2
• /
• pp.83-87
• /
• 2011

Clock selection has a significant impact on the performance and quality of designs in high-level synthesis. Almost systems require that the clock length is required prior to scheduling, the best value of the clock can be found only after evaluating different schedules. In this study, we presents a scheduling method that works simultaneously with synthesis by selecting a clock from a chainable operation set. Our scheduling algorithm is based on list scheduling and executes chaining considering bit level delays based on selected clock period. Experimental results show that our method improves the performance by 18 percent.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.39 no.1
• /
• pp.16-21
• /
• 1990

A Knowledge based expert system is a computer program that emulates the reasoning process of a human expert in a specific problem domain. Expert system has the potential to solve a wide range of problems which require knowledge about the problem rather than a purely analytical approach. This papaer presents the application of knowledge based expert system to power system fault diagnosis. The contents of expert system develpped in this paper is judgement of fault section from a given alarm sets and production of all possible hypothesis for the single fault. Both relay failures and circuit breaker failures are considered simultaneously. Although many types of relay are used in actual system, experts recognize ones as several typical signals corresponding to the fault types. Therefore relays are classified into several types. The expert system is written in an artificial intelligence language "PROLOG" . Best-first search method is used for problem solving. Both forward chaining and backward chaining schemes are used in reasoning process. The application to a part of actual power system proves the availability of the developed expert system.