• 논리연구
• /
• 제9권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.

• 한국균학회지
• /
• 제26권4호통권87호
• /
• pp.551-561
• /
• 1998

S.B, P.S, C.P를 각각 처리한 배지에 배양된 진균류(Aspergillus phoenicis, Rhizopus acidus, Candida albicans)에서 원형질막을 분리하였다. 원형질막 단백질의 함량과 특성을 대조구와 비교하였다. A. phoenicis의 생장은 S.B 처리구에서 평균 64.0%가 감소하였다. R. acidus의 생장은 P.S 처리구에서 평균 69.0%가 감소하였다. 또한 C. albicans의 생장도 S.B 처리구에서 평균 59.5%의 감소를 나타내었다. 여러 진균세포 원형질막에 함유된 단백질의 함량은 S.B 처리구에서 평균 41.0%, 41.7%, 59.5%가 각각 억제되었다. A. phoenicis의 원형질막 단백질의 변화 양상은 처리구에서는 배양 1일째, 2일째는 대조구와 비슷한 경향을 나타내었다. 그러나 배양 1일째 $116\;KD{\sim}97\;KD$ 밴드는 거의 사라졌고 $45\;KD{\sim}29\;KD$ 밴드는 희미하게 관찰되었다. R. acidus는 S.B 처리구에서 배양 중간기부터 $116\;KD{\sim}97\;KD$ 밴드가 소실되었으며, P.S 처리구와 C.P 처리구는 배양초에 소실되기 시작하여 배양 36시간에는 완전히 소실되었다. C. albicans에서는 $116\;KD{\sim}97\;KD$ 밴드가 대조구와 비교하여 배양초에 소실되기 시작하였고 $66\;KD{\sim}45\;KD$밴드는 배양 96시간에 희미하게 나타났다. 특히 C.P 처리구에서는 배양 96시간에 완전히 소실되었다.

• 논리연구
• /
• 제8권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.

• 미생물학회지
• /
• 제42권2호
• /
• pp.103-110
• /
• 2006

들잔디(zoysia japonica)에 제초제를 살포 한 다음, 아미노산을 포함한 액비(LFcAA)를 처리한 들잔디 토양의 미생물 군집구조 및 다양성을 비교하기 위하여 16S rDNA서열에 기초한 T-RFLP (terminal restriction fragment length polymorphism)분식과 클론의 염기서열 분석을 실시하였다. 제한효소 HaeIII을 이용한 T-RFLP 분석결과 아미노산 액비를 처리한 실험구 KD3과 KD4에서, 32, 38개의 유효한 피크를 가진 T-RFs가 나타났다. 23개를 나타낸 아미노산 무처리구인 KD2가 KD3,4에 비해 미생물군집구조가 단순한 것으로 조사되었다. 네 개의 실험구 KDl (대조구), KD2 (무처리구), KD3 (LFcAA 1X)., KD4 (LFcAA 2X)에서 각각 110개의 클론의 16S rDNA부분 염기서열 분석결과 대부분이 $91{\sim}99%$ 유사도 수준에서 GeneBank에 등록된 염기서열 중 대부분 uncultured bacterium으로 BLAST결과 조사되었다. 이외의 대부분의 클론들은 Proteobacteria, Acidobacteria, Actinobacteria, Sphingobacteria, Planctomycetes 그룹들의 클론들이 조사되었고, 특히 LEcAA 2X 처리구인 KD4에서는 KD2에서와는 다르게 Alphaproteobacteria의 Rhizobiales, Shigomonadales,그리고 Caulobacterales목에 속하는 미생물들의 클론이 조사되었으며, Gammaproteobactetia의 Pseudomonas 속의 세균들이 주로 나타났으며, Betaproteobaderia 의 Nitrosomonadales 목의 Nitrosospira 속들이 주로 조사되었다. 이 외에도 Acidobacteria 그룹, Actinobacteria 그룰, Planctomycetacia, Sphingobacteria 그룹들이 다양하게 조사되었다. 이러한 결과는 제초제를 살포한 미생물 군집구조가 LFcAA 첨가로 들잔디의 미생물 군집 구조에 큰 영향을 주고 있음을 시사하였다.

• 정보처리학회지
• /
• 제5권3호
• /
• pp.34-41
• /
• 1998

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

• 대한수의학회지
• /
• 제35권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.

• 한국축산시설환경학회지
• /
• 제10권2호
• /
• pp.119-126
• /
• 2004

파인애플과 키위의 과피 추출물의 단백질분석과 이를 이용한 혈분, 파란분말 그리고 글루텐 분말의 가수분해 최적 조건을 조사하였다. 전기영동에 의하여 단백질을 분석한 결과 파인애플 과피 추출물에서는 분자량 22 kd의 단백질이 나타났으며 키위의 과피 추출물에서는 분자량 27 kd, 22.5 kd, 22 kd, 19kd 그리고 14.4 kd인 단백질 6종이 나타났다. 파인애플 과피 추출물에서 나타난 22 kd 단백질은 단백질 분해효소인 bromelain인 것으로 추정되며, 키위 과피 추출물에서 나타난 27 kd 단백질은 단백질 분해효소인 actinidin인 것으로 추정된다. 파인애플과 키위의 과피 추출물을 이용한 혈분, 파란 분말 그리고 글루텐 분말의 가수분해 최적 시간, 온도 및 pH는 각각 6에서 24시간, $60^{\circ}C$ 그리고 pH 4 에서 7의 범위인 것으로 나타났다.

• Clinical and Experimental Pediatrics
• /
• 제62권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.

• 한국게임학회 논문지
• /
• 제20권5호
• /
• pp.53-64
• /
• 2020

KD-Tree에서 NNS의 구현은 다차원 데이터를 다루는 응용 프로그램에서 필수적이다. 본 논문에서는 자료구조의 동시 수정, 검색이 일어나는 멀티스레드 상황에서 NNS를 지원하는 고성능 Lock-Free KD-Tree인 HD-Tree를 제안한다. HD-Tree는 동기화에 사용되는 노드 수를 최소화하고, 사용하는 원자 연산자의 수를 감소시켜 성능을 개선하였다. 실험 결과 HD-Tree는 8코어 16스레드의 멀티코어 시스템에서 기존의 NNS보다 성능이 최대 95% 향상되었고, 삽입/삭제연산은 코어보다 스레드가 많은 상황에서 기존 알고리즘보다 최대 15%향상된 성능을 보여준다.

• 한국동물학회지
• /
• 제33권2호
• /
• pp.191-199
• /
• 1990

토끼의 골격근에서 근소포체를 순수 분리하여 SDS-polyacrylamide gel전기영동법과 125 I-concanavalin A표지법으로 단백질과 당단백질의 조성을 조사하였다. 전기영동사에 나타난 대표적인 단백질은 $Ca^2$+-AThase, 80 Kd protein,calsequestrin,high affinity calcium binding protein, intrinsic glycoprotein이었으며, 160 Kd protein, 94 Kd protein,38 Kd protein, 34 Kd protein,24 Kd proteins도 존재하였다.특히, 막성계에 있는 heak protein으로 알려져 있는 80 Kd protein은 본 연구를 통해 주로 근소포체의 terminal cisternae에 들어 있음이 확인되었다. 한편 125 I-concanavalin A표지에 의해 전기영동성에 나타난 대표적인 당단백질은 160 Kd glycoprotein, 94 Kd glycoprotein, calsequestrin, intrinsic glycoprotein의 4종이었다. 이 가운데 94 Kd glycoprotein은 94 Kd glucose-regulated protein으로 추정되며, 본 연구를 통해 근소포체에서도 특히 T-tubule에 다량으로 존재함이 밝혀졌다.