• Journal of applied mathematics & informatics
• /
• v.14 no.1_2
• /
• pp.69-80
• /
• 2004

We present a construction of the linear reduction of Hilbert type proof systems for propositional logic to if-then-else equational logic. This construction is an improvement over the same result found in [4] in the sense that the technique used in the construction can be extended to the linear reduction of first-order logic to if-then-else equational logic.

• Proceedings of the Korean Society Of Semiconductor Equipment Technology
• /
• 2006.05a
• /
• pp.164-167
• /
• 2006

In this paper, we prepared Al doped ZnO thin films by using facing targets sputtering method. Al doped ZnO thin film was deposited with different working pressure on flexible substrate. We prepared Al doped ZnO thin film at room temperature, because the flexible substrate has weak thermal resistance. From the results, we could obtain thin film with a resistivity of $8.4{\times}10^{-4}{\Omega}cm$, an average transmittance of over 80% and a film thickness of 200nm.

• Proceedings of the KIEE Conference
• /
• 2005.04a
• /
• pp.80-82
• /
• 2005

This paper presents the characteristics analysis of an electromagnetic pump using a linear induction motor(LTM). The characteristics of the pump for three molten metals Is analyzed by the magneto hydro dynamics: flow velocity, flow mass and etc. The result of the analysis is that the flow velocity for three molten metals is over 0.3[m/s] at the center of duct.

• Bulletin of the Korean Mathematical Society
• /
• v.43 no.1
• /
• pp.77-80
• /
• 2006

Let K be a number field, $K_n$ its ray class field with conductor n and L a Galois extension of K containing $K_n$. We prove that $L/K_n$ has a relative integral basis (RIB) under certain simple condition. Also we reduce the problem of the existence of a RIB to a quadratic extension of $K_n$ under some condition.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.7 no.4
• /
• pp.73-80
• /
• 1997

유한체 위에서 다항식의 근을 구하는 문제는 수학의 오래된 문제중 하나이고 최근들어 암호학과 관련하여 유한체 위서의 다항식 연산과 성질등이 쓰이고 있다. 유한체 위에서 다항식의 최대공약수(greatest common divisor) 를 구하는데 많은 시간이 소요 된다. Rabin의 알고리즘에서 주어진 다항식의 근들의 곱(F(x), $x^{q}$ -x)를 구하는 과정을 c F(p), $f_{c}$ (x)=(F(x), $T_{r}$ (x)-c), de$gf_{c}$ (x)>0인 $f_{c}$(x) s로 대체한 효율적인 알고리즘 제안과 Mathematica를 이용한 프로그램의 실행 결과를 제시한다.

• Korean Journal of Veterinary Service
• /
• v.14 no.2
• /
• pp.159-174
• /
• 1991

A field trial of norfloxacin on bovine 206, swine 222 and poultry 205 with respiratory diseases and diarrhea was conducted from Sept 1, 1990 to Jan 30, 1991 in Inchon and Kyonggi-do. The results are as follows. 1. Guinea pigs and rabbits were dosages 10 and 20 times normal. Ten days of observation saw no side effect. 2. Oral treatment on bovine, swine and poultry showed a curing rate of 82.00∼89.06%(Mean 86.00%), compared with 87.27∼96.36%(Mean 92.24%) by Injection. 3. The curing rate was 81.92% by the fourth treatment. 4. The curing rate with and without the use of adjuvant was 80.00∼100% and 83.60∼93. 10%, respectively, for swine, and 81.82∼100% and 82.00∼97.14% for bovine. 5. The curing rate was more dependent on seriousness of illness, environment and time than age. 6. The main disease causing bacteria of bovine respiratory diseases： Haemolytic Sta 27.62%, Haemolytic Str 33.33%, sum of this bacteria is 60.95%, diarrhea: Haemolytic coliform 80.20%, swine respiratory diseases； Haemophilus Spp 20.95%, Haemolytic Sta 72%, Haemolytic Str 21.90%, Sum of these bacteria is 68.57％, diarrhea; Haemolytic coliform 57.26%, poultry respiratory diseases； mycoplasma Spp 29.52%, Haemolytic Sta 13.33％, Sum of this bacteria is 42.85%, diarrhea； Haemolytic coliform 53.00%. 7. The curing rate of norfloxacin by species of strain, the unidentified bacteria on bovine respiratory diseases was the lowest with 77.78％, the others ranged from 84.21％ to 100％ with most of them over 90%. 8. The loss of clinical sign on bovine and swine was the highest when after 2∼4 application. 9. In terms of antibiotic sensitivity test, norfloxacin was the highest with 84.62∼100％ (mean 90.09％) among eight bacterias, only 5 of 15 antibiotics had a sensitivity of over 56.25%, showing a high degree of tolerance.

• Journal of Pharmaceutical Investigation
• /
• v.27 no.4
• /
• pp.331-335
• /
• 1997

Xerostomia is caused by organic or functional changes affecting the salivary system at different levels. Patients suffering from xerostomia may also complain of an oral burning sensation, ulceration or soreness, difficulty in swallowing, and poor denture retention. And pilocarpine is administered orally to induce salivary secretion. In Seoul National University Hospital(SNUH) pharmacy, the pilocarpine chewing tablets are prepared and supplied to patients of xerostomia in request of the dental hospital in SNUH. And we tested the salivary flow induction and the dissolution patterns of these products in saliva by a double-blind, sequential cross-over trials to eight healthy human volunteers with placebo. The pilocarpine chewing tablet contained 5 mg of pilocarpine, and placebo consisted of same materials as test drug, but didn't contain pilocarpine. In vivo experiment, all subjects were instructed to chew as 60-80 times/min. Mixed saliva was collected in the ranges of intervals such as 0-2, 2-5, 5-10, 10-15, 15-20, 20-30, 30-45 and 45-60 min after pilocarpine chewing tablet or placebo administration. Saliva volume was measured in each collecting time interval, and saliva pilocarpine concentrations were determined by reversed phase HPLC. The 82.5 percent $(4.13{\pm}0.69\;mg)$ of pilocarpine was extracted from chewing tablets during mastication of 60-80 times per minute for 60 minutes. Among these dissolved amounts, 90 percent was extracted within 20 minutes. The salivary flow rates were more increased in a group who administered pilocarpine chewing tablet at the interval of 5-10, 10-15, 20-30 and 45-60 min rather than a placebo-group, but only extracted amount of pilocarpine at 45-60 min interval is significanly different between two groups (p<0.05). But total amounts of saliva secreted for 1 hour in two group-pilocarpine and placebo treated- were $46.36{\pm}9.72\;ml\;and\;39.09{\pm}7.81\;ml$, respectively, and were not significantly different between two groups.

• Economic and Environmental Geology
• /
• v.32 no.1
• /
• pp.19-31
• /
• 1999

In this study, we have estimated lineaments in the Euiseong area, Kyungbuk Province, from Landsat TM by applying the algorithm developed by Kim and Won et al. which can effectively reduce the look direction bias associated with the Sun's azimuth angle. Fratures over the study area were also mapped in the field at 57 selected sites to compare them with the results from the satellite image. The trends of lineaments estimated from the Landsat TM images are characterized as $N50^{\circ}$~70W, NS~$N10^{\circ}$W, and $N10^{\circ}$~$60^{\circ}$E trends. The spatial distribution of lineaments is also studied using a circular grid, and the results show that the area can be divided into two domains : domain A in which NS~$N20^{\circ}$E direction is dominant, and domain B in which west-north-west direction is prominent. The trends of lineaments can also be classified into seven groups. Among them, only C, D and G trends are found to be dominant based upon Donnelly's nearest neighbor analysis and correlations of lineament desities. In the color composite image produced by overlaying the lineament density map of these C-, D-, and G-trends, G-trend is shown to be developed in the whole study area while the eastern part of the area is dominated by D-trend. C-trend develops extensively over the whole are except the southeastern part. The orientation of fractures measured at 35 points in the field shows major trends of NS~$N30^{\circ}$E, $N50^{\circ}$~$80^{\circ}$W, and N80$^{\circ}$E~EW, which agree relatively well with the lineaments estimated form the satellite image. The rose diagram analysis fo field data shows that WNW-ESE trending discontinuities are developed in the whole area while discontinuities of NS~$N20^{\circ}$E are develped only in the estern part, which also coincide with the result from the satellite image. The combined results of lineaments from the satellite image and fracture orientation of field data at 22 points including 18 minor faults in Sindong Group imply that the WNW-ESE trend is so prominent that Gumchun and Gaum faults are possibly extended up to the lower Sindong Group in the study area.

• Journal of Korean Academy of Nursing
• /
• v.22 no.1
• /
• pp.68-80
• /
• 1992

In order to provide data basic to the training of hospice volunteers, this study was carried out to investigate the personal attributes and the Death Orientation of hospice volunteers. 80 hospice volunteers were sampled from those registered on Seoul Catholic Social Service and Korean Association for Volunteers Effort conveniently. Data were gathered from August 16th to October 3rd, 1991. The instrument used for this study was the Death Orientation Questionnaire developed by Thorson and Powell, subjective age and religiosity questionnaire developed by Bell and Batterson, and subjective health criteria developed by Baumann. Data were analyzed using frequency, mean, standard deviation, Chi-square, and t-test by SPSS - program. Result of this study are summarized as follows ; 1. The majority of hospice volunteers perceived younger in their subjective age than their chronological age (65%), Perceived themselves to be healthy subjectively(88.8%), and revealed to have high religiosity score(96.3%) 2. Level of Death Orientation of hospice volunteers was revealed to be moderate.(Mn＝2.06, SD＝0.40, range, 1.45-3.53) Among 25 Death Orientation items, respondents revealed the highest concern over the afterlife (Mn＝3.53, SD＝0.71), revealed the lowest anxiety about not knowing the next world after his or her death(Mn＝1.45, SD＝0.69), and relatively high concern over leaving careful instructions after death (Mn＝2.97, SD＝0.83) Respondents revealed low Death Orientation score(below 1.99) to 12 negative items(2, 3, 5, 6, 7, 9, 14, 17, 18, 19, 20, 22). Thus hospice volunteers seem to be preparing for their own death and shown positive Death Orientation to some items relatively. 3. According to personal attributes (demographic, socioecnomic, and relevant variables) of hospice volunteers, there were no significant statistic differences of Death Orientation score. Thus pre-existing Death Orientation of hospice volunteers and their motive of participation to the hospice service are to be considered important variables influencing the Death Orientation.

• Applied Chemistry for Engineering
• /
• v.9 no.5
• /
• pp.619-623
• /
• 1998

The influences of reaction temperature, HF/DCM mole ratio, contact time and catalyst type on activity and selectivity of difluoromethane synthesis via hydrofluoriation of dichloromethane over fluorinated catalyst have been studied. It has been found that fluorinated $Cr/Al_2O_3$ catalysts, show better performance compared to pure fluorinated $Al_2O_3$ catalyst and then, non-treated catalysts demonstrate better than catalysts pretreated with hydrogen and air. The results show that the optimum reaction conditions are found as follows : reaction temperature at $340^{\circ}C$, mole ratio of HF/DCM 5 or above and contact time 20 sec. or above. With these conditions the maximum attainable yield of difluoromethane has been found to be greater than 80%. In particular, the activity and the selectivity of difluoromethane do not change with the reaction time on stream up to 8 hours.