• 대한전기학회논문지
• /
• 제33권4호
• /
• pp.134-139
• /
• 1984

This paper presents the computer program to design the synchronous sequential logic circuit. The computer program uses the MASK method to get the circuit of optimal cost. The computer program takes as an input, the minimal reduced state transition table where each state has its internal code. As an output,the optimal design of synchronous sequential logic circuit is generated for each flipflop type of JK,T,D, and RS respectively. And these circuits for 4 flipflop types are evaluated and sorted in ascending order of their costs, so that the user can select the proper flipflop type and its circuit. Furthermore,the proposed computer program may be applied to state assignment with its facility of cost evaluation.

• 대한전자공학회논문지
• /
• 제12권4호
• /
• pp.21-27
• /
• 1975

본 논문에서는 분기가 있는 일반조합논리회로의 다중결함을 검출할 수 있는 테스트집합을 구하는 절차를 유도하였다. 일반논리회로를 우선 내부분기점을 전후하여 이를 분기가 없는 부분회로로 분리하고 각 부분회로에 대한 최소테스트집합을 구한다. 다음에 각 부분테스트를 최대한으로 병립시켜 합성테스트를 구하여 종합적인 일차입력벡터를 정한다. 이러날 수 있는 모든 결함을 빠짐없이 피복할 수 있는 최소테스트집합을 구해가는 과정에 대해서는 각 를 들어 상세히 설명하였다. In this paper, a procedure for deriving of multiple fault detection test sets is presented for fan-out reconvergent combinational logic networks. A fan-out network is decomposed into a set of fan-out free subnetworks by breaking the internal fan-out points, and the minimal detecting test sets for each subnetwork are found separately. And then, the compatible tests amonng each test set are combined maximally into composite tests to generate primary input binary vectors. The technique for generating minimal test experiments which cover all the possible faults is illustrated in detail by examples.

• 대한전기학회논문지
• /
• 제33권2호
• /
• pp.47-55
• /
• 1984

This paper is concerned with a computer-aided state assignment, that is, coding race-free internal states of asynchronous sequential circuits, and a method for minimizing the combinational network of asynchronous sequential circuits. The FORTRAN version of the peoposed algorithm results in race-free state assignments and reduction of the number of connections and gates with near minimal hardware cost. Some examples are designed by the proposed computer program to illustrate the algorithm in this paper. Finally, results are compared with those of the other methods.

• 한국지능시스템학회논문지
• /
• 제8권5호
• /
• pp.72-82
• /
• 1998

Power transformer protective relay should block the tripping during magnetizing imrush and rapidly operate the tripping during internal faults. But traditional approaches maloperate in the case of magnetizing inrush with low second harmonic component and internal faults with high second harmounic component. To enhance the fault detection sensitivities of conventional technuques, flux-differential current derivative curve by fuzzy theory approaches is used. This paper deals with fuzzy logic based protective relaying for power transformer. The proposed fuzzy based relaying algorithm consisits of flux-differential current derivative curve, harmonics restraint, and precentage differential characteristic curv. The proposed relaying was tested with relaying signals obtained from Salford EMTP simulation package and showed a fast and accurate trip operation.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 추계학술대회 논문집 전력기술부문
• /
• pp.210-212
• /
• 2003

Conventional PDC relaying with 2nd harmonic restraint makes some doubt in reliability. It can contain second harmonic component to a large extent even during internal fault, and shows a tendency of relative reduction because of the advancement of transformer's core material. It is, therefore, necessary to develop a new algorithm as well as a new technique for the effective and accurate discrimination. This paper deals with advanced algorithm, fuzzy logic based relaying by using flux differential, and a new fault detection criterion logic scheme by using wavelet transform. To comparative analysis of proposed techniques, the paper constructs power system model including power transformer, utilizing the EMTP, and collects data through simulation of various internal faults and magnetizing inrush.

• 한국컴퓨터정보학회논문지
• /
• 제22권3호
• /
• pp.139-145
• /
• 2017

The purpose of this study is to establish a predictive causal model of codependency that is a main issue of family problem on the base of Triple ABC-X model which is a kind of family stress model. For the purpose of this study, we reviewed the concept and characteristics of codependency, affecting factors of codependency, and then reviewed the basic concept and logic of Triple ABC-X Model as theoretical viewpoint for the purpose of establishing a predictive causal model of codependency. We established it through examining main variables of codependency from Triple ABC-X Model. Main ingredients of the predictive causal model include boundary ambiguity, internal working model, internal and external locus of control, self-regard, social support, individual maladjustment etc. We established a predictive model of codependency basing on logic inferences among the variables. This study is expected to be used basic data to introduce some implications and for hereafter research.

• 반도체디스플레이기술학회지
• /
• 제4권2호
• /
• pp.25-32
• /
• 2005

This paper proposes a method for the intelligent load distribution of two cooperating robots(TCRs) using fuzzy logic. The proposed scheme requires the knowledge of the robots' dynamics, which in turn depend upon the characteristics of large flat panel displays(LFPDs) carried by the TCRs. However, the dynamic properties of the LFPD are not known exactly, so that the dynamics of the robots, and hence the required Joint torque, must be calculated for nominal set of the LFPD characteristics. The force of the TCRs is an important factor in carrying the LFPD. It is divided into external force and internal force. In general, the effects of the internal force of the TCRs are not considered in performing the load distribution in terms of optimal time, but they are essential in optimal trajectory planning; if they are not taken into consideration, the optimal scheme is no longer fitting. To alleviate this deficiency, we present an algorithm for finding the internal-force (actors for the TCRs in terms of optimal time. The effectiveness of the proposed system is demonstrated by computer simulations using two three-joint planner robot manipulators.

• 한국반도체및디스플레이장비학회:학술대회논문집
• /
• 한국반도체및디스플레이장비학회 2005년도 추계 학술대회
• /
• pp.110-123
• /
• 2005

This paper proposes an intelligent method for the optimal load distribution of two cooperating robots(TCRs) using fuzzy logic. The proposed scheme requires the knowledge of the robots' dynamics, which in turn depend upon the characteristics of large flat panel displays(LFPDs) carried by the TCRs. However, the dynamic properties of the LFPD are not known exactly, so that the dynamics of the robots, and hence the required joint torque, must be calculated for nominal set of the LFPD characteristics. The force of the TCRs is an important factor in carrying the LFPD. It is divided into external force and internal force. In general , the effects of the internal force of the TCRs are not considered in performing the load distribution in terms of optimal time, but they are essential in optimal trajectory planning: if they are not taken into consideration, the optimal scheme is no longer fitting. To alleviate this deficiency, we present an algorithm for finding the internal-force factors for the TCRs in terms of optimal time. The effectiveness of the proposed system is demonstrated by computer simulations using two three-joint planner robot manipulators.

• 한국수학사학회지
• /
• 제25권3호
• /
• pp.29-39
• /
• 2012

선형논리는 현대 증명이론의 산물로서 1987년 프랑스 Marseille대학 Jean-Yves Girard 교수가 프로그래밍 언어의 개발을 위해 직관주의 논리학 (Intuitional logic) 을 정교하게 보완하여 고안한 새로운 논리학이다. 그래서 선형논리의 연결사들은 정보배열 (Sequentiality)과 병행처리 (Parallel computation) 등 정보처리와 관련된 해석을 갖는다. 예컨대, A${\otimes}$B는 두 과정 A와 B를 차례차례 수행하는 것을 나타내고, A&B는 내적미결정과 관련되어 관찰자가 A 또는 B를 선택할 수 있으며, A${\oplus}$B는 외적인 미결정으로서, 관찰자는 A 또는 B라는 사실을 알지만 어느 것이 될지는 알지 못한다. 그리고 A${\wp}$B는 A과정과 B과정의 병행처리를 의미한다. 선형부정은 동시화(Synchronization)를 나타내어, 하나의 과정 A가 수행되기 위해서는 A와 $A^{\bot}$가 동시에 이루어져야 한다. 국내에 선형논리에 대한 연구가 활성화되지 않아서 이 글은 이에 대한 관심을 제고하기 위해 우선 선형논리의 통사론만을 취급했으며, 의미론과 증명망 등은 차후의 연구에서 다루고자 한다.

• 수산해양기술연구
• /
• 제24권4호
• /
• pp.172-179
• /
• 1988

A cartridge type hydraulic logic valve consists of simple two port valve whose poppet is closed or opened by means of pressure signal of a pilot line. Accordingly, the logic valve can be used not only for direction, flow and pressure control purpose but also for versatile function valve which enables all above mentioned functions. In addition, the valve has little internal leakage and pressure loss, superior response characteristics and easiness in making small block type valve. The above mentioned good performances being recognized recently, the logic valve has been used widely in the large scale hydraulic system such as a hydraulic press system, for the performance requirements of high speed operation and precise control characteristics. However, there are scarce reports until now, except for a few ones from Aachen Institute of Technology in West Germany, so it is necessary to be studied on development and investigation for practical application. This paper showed that the static and dynamic characteristics of a logic valve when the logic valve is used for directional control, to investigate the relations between the valve operating characteristics and the valve design conditions. From the above mentioned procedure, it was ascertained that the valve operation characteristics obtained by numerical analysis showed good agreements with experimental results. The representative results obtained are as follows; 1. During the valve is closing, the poppet velocity is almost constant in the logic valve. 2. The pilot pressure P sub(3) and the resistance R in the pilot line have much influences on the valve operation time. 3. Spring strength have not such a severe influence on the valve operating time. 4. The operation characteristics of the logic valve can be estimated with good accuracy comparatively by numerical analysis with the equations describing poppet motion.