• Korean Journal of Logic
• /
• v.9 no.1
• /
• pp.1-29
• /
• 2006

This paper investigates algebraic semantics for sKD and its extensions $sKD_\triangle$, $sKD\forall$, and $sKD\forall{_\triangle}$: sKD is a variant of the infinite -valued Kleene- Diense logic KD; $sKD_\triangle$ is the sKD with the Baaz's projection A; and $sKD\forall$ and $sKD\forall{_\triangle}$: are the first order extensions of sKD and $sKD_\triangle$, respectively. I first provide algebraic completeness for each of sKD and $sKD_\triangle$. Next I show that each $sKD\forall$ and $sKD\forall{_\triangle}$: is algebraically complete.

• The Korean Journal of Mycology
• /
• v.26 no.4 s.87
• /
• pp.551-561
• /
• 1998

Plasma membrane from the fungal cells (Aspergillus phoenicis, Rhizopus acidus, Candida albicans) treated with sodium benzoate (S.B), potassium sorbate (P.S) and calcium propionate (C.P) during the cultivation were separated. The contents and patterns of plasma membrane proteins compared with those of the control. The growth of A. phoenicis was decreased by the average 64.0% in the S.B treatment. That of R. acidus was inhibited by the average 69.0% in the P.S treatment. Also, That of C. albicans was showed the deminution of the average 59.5% in the S.B treatment. The contents of protein involved in the plasma membrane of the each fungal cells were inhibited the average 41.0%, 41.7% and 59.5% in the S.B treatment, respectively. In case of A. phoenicis, the changes in the protein pattern involved in the plasma membraneshowed the aspect similar to the control on the 1st day and 2nd day of cultivation in the treatment group, but $116\;KD{\sim}97\;KD$ band almost disappeared in the 5th day of cultivation, and $45\;KD{\sim}29\;KD$ band was uncleared through the cultivation. In S.B treatment group R. acidus was showed the loss of $116\;KD{\sim}97\;KD$ band from the middle stage of cultivation and P.S, and C.P treatment group were started the loss at the early stage and completely lost at the 36 hours of cultivation. In C. albicans, $116\;KD{\sim}97\;KD$ band were started the loss at the early stage to compare with the control and $66\;KD{\sim}45\;KD$ band were dimmed at the 96 hours of cultivation. Especially, the C.P treatment group were perfectly lost at the 96 hours of cultivation.

• Korean Journal of Logic
• /
• v.8 no.2
• /
• pp.85-107
• /
• 2005

Kleene first investigated a three-valued system which follows the evaluations of the Lukasiewicz infinite-valued logic ${\L}C$ with respect to negation, conjunction, and disjunction, and treats $\rightarrow$ as material-like implication in the sense that A $\rightarrow$ B is defined as ${\sim}A{\vee}B$ in its evaluation. Diense and Rescher extended it to many-valued logic and infinite-valued logic, respectively. This paper investigates a variant of the infinite-valued Kleene-Diense logic KD, which we shall call strong Kleene-Diense logic (sKD): sKD has the same evaluations as KD except that sKD takes a variant of Kleene-Diense implication. Following the idea of Dunn [2], we provide algebraic completeness for sKD together with its deduction theorem.

• Korean Journal of Microbiology
• /
• v.42 no.2
• /
• pp.103-110
• /
• 2006

T-RFLP analysis and clone sequencing analysis based on bacterial 16S rDNA were conducted to assess bacterial community structure and diversity in Zoysia japonica soil treated with liquid fertilizer containing amino acids(LFcAA) after spray with herbicide. The results of T-RFLP (terminal restriction fragment length poly-morphism) analysis using restriction enzyme Hae III showed that the T-RFs of various size appeared evenly in the 32 clones of KD3 and 38 clones of KD4 respectively that had been treated with liquid fertilizer containing amino acid(LFcAA) compared to 23 clones of KD2 hat had not been treated with LFcAA. The microbial com- munity structure in KD2 appeared less diverse than those in KD3 and KD4. Analysis of partial sequences for 110 clones from KDI (control), KD2 (non-treated), KD3 (LFcAA 1X), KD4 (LFcAA 2X), respectively, revealed that most bacteria were related with uncultured bacteria in a 16S rDNA sequence similarity range of 91-99% through blast search. Otherwise, the other clones were members of proteobacteria, Acidobacteria, Act-inobacteria, Sphingobacteria and Planctomyces groups. Especially in KD4, members of Alpha Proteobacteria, Rhizobiales, Sphigomonadales, Caulobacterales, Gamma Proteobacteria, the genus Pseudomonas, Betapro-teobacteria, Nitrosomonadales and genus Nitrosospira appeared to be dominant. In addition, Acidobacteria group, Actinobacteria group, Planctomycetacia and Sphingobacteria were also shown. The microbial com-munity structure in Z. japonica soil sprayed with herbicide was affected by LFcAA.

• Korea Information Processing Society Review
• /
• v.5 no.3
• /
• pp.34-41
• /
• 1998

AC(인증센터)의 주요한 기능은 이동국과 인증을 수행하고 이동국과 인증센터간에 사용하는 인증정보를 갱신하는 일이다 이러한 일을 수행하는 데 있어서 인증키의 교환 관리 분배는 가장 기본적인 것이라고 할 수 있을 것이다 KDS는 위와같이 인증에 관여하는 여러 블록중에서 특히 키의 생성 관리 분배 등을 맡고 있는 블록이다 즉 가입자의 인증키는 KDS에 의해서 생성되고 관리된다 KDS는 인증센터 내부에 하나의 블록으로 존재할수도 있고 인증센터와 분리될 수 도 있으므로 설계시 이 사항을 고려해야 한다 본 논문에서는 이동국과 인증센터간의 정확한 인증키의 공유(분배)를 위한 KDS의 역할 및 KDS와 주변블럭들간의 메시지 흐름을 설명한다.

• Korean Journal of Veterinary Research
• /
• v.35 no.1
• /
• pp.87-94
• /
• 1995

Western immunoblot analysis of antigen of T sergenti merozoite revealed that the immunodominant proteins of this organism were characterized as the 18KD, 29KD, 34KD, 45KD and 105KD in Korea. The 34KD and 45KD among those immunodominant proteins of the parasite were isolated and their amino acid sequences from the $NH_2$-terminus were determined and synthesized. They respective polypeptides were cationized to enhance their antigenicity, fortified with Freund's adjuvant and tested for immunogenicity in rabbits and cattle. The results obtained were as follows; 1. Theileria sergenti merozoite antigen was shown in 120KD, 100KD, 66KD, 45KD, 34KD and 30KD in western immunoblot using serum of rabbits immunized with 34KD synthetic polypeptide and 70KD, 58KD, 55KD and 45KD using bovine serum. In western immunoblot, 45KD, 34KD and 30KD were recognized by immunized rabbits, and 50KD and 45KD by cattle sera immunized with 45KD synthetic polypeptide, respectively. 2. The ELISA utilizing the synthetic polypeptides demonstrated significant antibody response to the respective peptides. After the 2nd booster injection, an OD of 0.760(preimmunization 0.132) in rabbits and an OD of 0.645(preimmunization 0.488) to 34KD synthetic polypeptide in cattle were observed. In animals immunized with 45KD synthetic polypeptide, after the 2nd booster injection, an OD of 0.640(preimmunization 0.144) in rabbit, and an OD of 0.776 (preimmunization 0.477) in cattle were measured. 3. After the 2nd booster the reciprocal IFA titer was 1:64 in rabbits and 1:512 in cattle immunized with the 34KD synthetic polypeptide. The IFA titre was observed as 1:512 in rabbit and 1:1,024 in cattle in immunized with the 45KD synthetic polypeptide.

• Journal of Animal Environmental Science
• /
• v.10 no.2
• /
• pp.119-126
• /
• 2004

The protein in the extracts from the skins of pineapple and kiwi and the optimal conditions to hydrolyze blood, egg and gluten meals with them were investigated. Protein analysis by SDS-polyacylamide gel electrophoresis showed one protein band with 22 kd molecular weight in the pineapple skin extract, and Hve protein bands with 27 kd, 22.5 kd, 22 kd, 19 kd, and 14.4 kd molecular weight in the kiwi skin extract. The 22 kd protein in the pineapple skin extract is assumed to be bromelain, and the 27 kd protein in the kiwi skin extract is assumed to be actinidin, both are pretense. The optimal conditions for hydrolysis of blood, egg, and gluten meals we: 6-24 hours in time, $60^{\circ}C$ in temperature, and pH 4-pH 7.

• Clinical and Experimental Pediatrics
• /
• v.62 no.8
• /
• pp.292-296
• /
• 2019

Epidemiologic studies of Kawasaki disease (KD) have shown a new pattern or change of its occurrence suggestive of its pathophysiology or risk factors from the first patient with KD reported in 1961. The incidence of KD in Northeast Asian countries including Japan, South Korea, China, and Taiwan is 10-30 times higher than that in the United States and Europe. Knowing the true epidemiology of KD in each country and the availability of publications of KD epidemiology also could benefit general health care providers and general population. This would enable the early detection and treatment of KD, ultimately reducing the incidence of coronary artery complications and mortality. Therefore, efforts to investigate the true epidemiology of KD should be continued in every country using a questionnaire survey, National Health Insurance system data, or combined methods depending on each country's medical environment to ensure high-quality care of patients with KD.

• Journal of Korea Game Society
• /
• v.20 no.5
• /
• pp.53-64
• /
• 2020

Supporting NNS method in KD-Tree algorithm is essential in multidimensional data applications. In this paper, we propose HD-Tree, a high-performance Lock-Free KD-Tree that supports NNS in situations where reads and writes occurs concurrently. HD-Tree reduced the number of synchronization nodes used in NNS and requires less atomic operations during Lock-Free method execution. Comparing with existing algorithms, in a multi-core system with 8 core 16 thread, HD-Tree's performance has improved up to 95% on NNS and 15% on modifying in oversubscription situation.

• The Korean Journal of Zoology
• /
• v.33 no.2
• /
• pp.191-199
• /
• 1990

Sarcoplasmic reticulum subfractions were isolated from rabbit sarcoplasmic reticulum vesicles using ultracentrifugation in a continuous sucrose gradient (12.5% 50%) after French pressure treatment. And proteins in sarcoplasmic reticulum were detected by SDS-polyacrylamide gel electrophoresis and glycoproteins were identified through the reaction with 1251-concanavalin A.The electrophoresis showed that sarcoplasmic reticulum contained predominantly $Ca^2$+-AThase and calsequestrin along with high affinity calcium binding protein, intrinsic glycoprotein 160 Kd, 94 Kd, 80 Kd, 38 Kd, 34 Kd and 24 Kd proteins. Among these, the protein of about 80 Kd which has been known as one of heat shock proteins was especially enriched in the terminal cistemae of sarcoplasmic reticulum. Meanwhile, autoradiogram of 125 I-concanavalin A bound to the stained gels showed the distribution of glycoproteins which included 160 Kd glycoprotein, 94 Kd glycoprotein, calsequestrin and intrinsic glycoprotein Among these, the protein of about 160 Kd was especially enriched in longitudial sarcoplasmic reticulum and T-tubule, and the protein of about 94 Kd which has been known as one of glucose-regulated proteins was also enriched in T-tubule and sharply reduced in terminal cistemae.