• Kyungpook Mathematical Journal
• /
• v.48 no.3
• /
• pp.487-493
• /
• 2008

A. Di Nola & S.Sessa [8] showed that two compact spaces X and Y are homeomorphic iff the MV -algebras C(X, I) and C(Y, I) of continuous functions defined on X and Y respectively are isomorphic. And they proved that A is a semisimple MV -algebra iff A is a subalgebra of C(X) for some compact Hausdorff space X. In this paper, firstly by use of functorial argument, we show these characterization theorems. Furthermore we obtain some other functorial results between topological spaces and MV -algebras. Secondly as a classical problem, we find a necessary and sufficient condition on a given residuated l-monoid that it is segmenently embedded into an l-group with order unit.

• Proceedings of the KIPE Conference
• /
• 2017.11a
• /
• pp.199-200
• /
• 2017

ITER 초전도자석 전원공급장치의 통합제어를 위한 마스터제어기는 각 플랜트시스템(CCPS, TFPS, PFCS)에 대한 3개의 MCS로 구성되며, 전체 전원장치 I&C 시스템의 통합을 위하여 플랜트 레벨에서의 PSH 통합이 필요하다. ITER 제어시스템에서 제공하는 플랜트 시스템 I&C의 통합 기능을 이용하여 통합시 고려해야 하는 문제점 및 이슈들을 조사하여, 향후 마스터제어기의 통합 시험에 필요한 기능들을 사전에 점검하고, 통합오류를 최적화하여 마스터 제어기 제작 및 시험에 적용하고자 한다.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.62 no.9
• /
• pp.1276-1282
• /
• 2013

This paper presents a demosaicking method based on high-order interpolation with parameters. Demosaicking is an essential process in capturing color images through a single sensor-array. Thus, a lot of methods including the Hamilton-Adams(HA) method has been studied in this literature. However, the image quality depends on various factors such as contrast and correlation in color space; existing algorithms depend on test images in use. Consequently, a new test image set was suggested to develop demosaicking algorithms properly. According to previous studies, the HA method shows high performances with the new test data set. In this paper, we improve the HA method using high-order interpolation with parameters. Also, we provide an analysis and formulations for the proposed method. To evaluate our method, we compare our method with the existing methods both objectively and subjectively. The experimental results indicate that the proposed method is superior to the existing methods.

• Asian-Australasian Journal of Animal Sciences
• /
• v.23 no.9
• /
• pp.1190-1197
• /
• 2010

The objective of the study was to determine the relationship between faecal egg counts and nutritionally-related blood metabolites in Nguni goats of South Africa. Body weights, body condition scores (BCS), FAMACHA scores, faecal and blood samples were collected from 96 Nguni castrates. Faecal samples were analysed using the modified McMaster technique for nematodes and the sedimentation method for trematodes. Blood was analysed for packed cell volume (PCV), glucose, cholesterol, total protein, albumin, urea and creatinine. Season had an effect on glucose, globulin, total protein, creatinine, PCV and faecal egg counts (FEC). Globulin, PCV, creatinine and FEC were significantly higher in the wet season compared to the dry season. A quadratic relationship existed between faecal egg count loads and BCS whilst negative linear relationships were observed between faecal egg counts and creatinine, albumin and cholesterol levels of Nguni goats.

• Structural Engineering and Mechanics
• /
• v.3 no.4
• /
• pp.341-358
• /
• 1995

The results of a series of ten W-shaped test specimens subjected to monotonic, quasi-static cyclic loading and fatigue type of loading in the form of constant amplitude tests are presented. The objectives were to assess and compare the rotation capacity and energy absorption of monotonically and cyclically loaded beams, and for the latter specimens to document the deterioration in the form of low cycle fatigue due to local buckling. In addition, strength and energy dissipation deterioration and damage models have been developed for the steel beam section under consideration. Finally, a generalized model which uses plate slenderness values and lateral slenderness is proposed for predicting rate in strength deterioration per reversal and cumulated damage after a given number of reversals.

• Electrical & Electronic Materials
• /
• v.8 no.4
• /
• pp.504-508
• /
• 1995

The purpose of this research is to study on characteristics of corona ignitor which was designed for ignition of plasma, used at hard coating, surface treatment and thin film preparation, at high pressure. Corona ignitor composed of hollow type inner electrode and ring type external electrode. Though corona voltage increased with increasing distance between electrodes, corona discharge can be controlled stably. The gas flow in hollow type inner electrode and the construction between electrodes affect a length of corona flame and corona phenomenon. It is possible to ignite the . plasma, usually generated at low pressure(10 Torr), at high pressure(100 Torr) by corona ignitor.

• 제어로봇시스템학회:학술대회논문집
• /
• 1987.10a
• /
• pp.770-775
• /
• 1987

In this paper, design and development experiences of a vision based robotic assembly system for electronic components are described. Specifically, the overall system consists of the following three subsystems each of which employs a 16 bit Preprocessor MC 68000 : supervisory controller, real-time vision system, and servo system. The three microprocessors are interconnected using the time shared common memory bus structure with hardwired bus arbitration scheme and operated as a master-slave type in which each slave is functionally fixed in view of software. With this system architecture, the followings are developed and implemented in this research; (i) the system programming language, called 'CLRC', for man-machine interface including the robot motion and vision primitives, (ii) real-time vision system using hardwired chain coder, (iii) the high-precision servo techniques for high speed de motors and high speed stepping motors. The proposed control system were implemented and tested in real-time successfully.

• Asian Oncology Nursing
• /
• v.3 no.2
• /
• pp.155-163
• /
• 2003

This study was designed to assess the level of family function between cancer patient's families and normal families, and to seek better quality family-Mcentered nursing care. The subjects for this study were 95 ca patient's families who were selected from th university hospitals and 95 normal families who selected from 1 university hospital. The instrument used for this study was McMaster Family Assessment Device (FAD) developed by Epstein, Baldwin and Bishop (1983). The scale consisted of 53 items covering 7 areas: 'problem solving', 'communication', 'roles', 'affective responsiveness', 'affective involvement', 'behavior control', and 'general functioning'. As for data analyses, descriptive statistics, ${\chi}^2-test$, t-test, ANOVA were adopted using SAS program. The result of this study was as follows: There there was no significant difference between cancer patient's family function and normal family function. Also there was no significant difference on cancer patient's family function with regard to family characteristics, disease's characteristics, and clinical stage of cancer.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1995.10a
• /
• pp.475-479
• /
• 1995

During the hypothetical loss of coolant accident in the nuclear power plant the emergency core cooling water could not penetrate to the reactor core when the steam flow rate from the reactor core exceeds CCFL (Countercurrent flow limitation). The CCFL generated by earlier investigators are developed under the steady gas flow. However the flow instability in the reactor loop could generate oscillatory steam flow, hence their applicability under oscillating flow should be investigated. In this work, an experimental investigation of countercurrent flow in the vertical flow channel has been conducted under oscillatory gas flow. Pulsation of gas under oscillatory flow disturbs the flow pattern significantly and prevents flooding (CCFL) when its minimum value is less than the threshold gas flow rate value.

• Journal of Korean Physical Therapy Science
• /
• v.11 no.1
• /
• pp.36-42
• /
• 2004

Evidence based physical therapy interventions for this patient was applied in 15 clinical sessions. Considering the patient's two main impairments, two physical therapy interventions were delivered with WOMAC index outcome measurement. From this case report, I observed that a combined physical therapy interventions consisting of manual therapy, therapeutic exercise, and TENS Unit in patients with knee osteoarthritis may result in decreased pain, stiffness and increased physical function.