불완전한 지식에서 정리증명을 위한 확률추론

김진상,신양규,Kim, Jin-Sang,Shin, Yang-Kyu 한국데이터정보과학회 2001 한국데이터정보과학회지 Vol.12 No.1

We present a probabilistic reasoning method for inferring knowledge about mathematical truth before an automated theorem prover completes a proof. We use a Bayesian analysis to update beleif in truth, given theorem-proving progress, and show how decision-theoretic methods can be used to determine the value of continuing to deliberate versus taking immediate action in time-critical situations.

Colchicine 투여 후 흰쥐와 모래쥐 시각교차위핵내 bombesin에 대한 면역조직화반응

김진상,이성준,Kim Jin-Sang,Yi Seong-Joon 대한물리치료학회 1999 대한물리치료학회지 Vol.11 No.2

This experiment was carried out to investigate the bombesin immunoreactivity in suprachiasmatic nucleus in rat and Mongolian gerbil hypothalamus after colchicine treatment and analyze the morphological difference between rat and Mongolian gerbil which is focused for experimental animal model of neuronal and circulatory diseases. The results were as followings. 1. The shape of suprachiasmatic nucleus was triangle in rat, but oval or kidney-shape in Mongolian gerbil 2. The suprachiasmatic nucleus devided into ventrolateral portion and dorsomedial portion in rat, but dorsolateral portion and ventromedial portion or superior portion and inferior portion in Mongolian gerbil. 3. The area of suprachiasmatic nucleus of rat was greater than one of Mongolian gerbil. 4. The bombesin immunoreactivity showed after colcichine treatment in rat and Mogolian gerbil suprachiasmatic nucleus. 5. The bombesin immunoreactivity was stronger in ventrolateral portion than in dorsomedial portion of suprachiasmatic nucleus in rat, but in ventromedial or inferior portion than in dorsolateral or superior portion of suprachiasmatic nucleus in Mongolian gerbil. 6. The bombesin immunoreactivity showed at the oval, ellipsoid or triangular neurons and varicose nerve terminals in ventrorateral portion of rat, and only nerve terminals in dorsomedial portion of rat suprachiasmatic nucleus. But the bombesin immunoreativity didn't show at neurons of Mongolian gerbil suprachiasmatic nucleus.

고령에 따른 흰쥐 시상하부 oxytocin 분비세포의 형태적 변화에 대한 면역조직화학적 연구

김진상,이성준,Kim, Jin-sang,Yi, Sung-joon 대한수의학회 1995 대한수의학회지 Vol.35 No.1

This study was carried out to investigate the morphological changes of the oxytocin secreting neurons in age-related rat hypothalamus by means of immunohistochemistry. The experimental group was 20 aged female rats (Sprague-Dawley, 25~30 months), and the control group was 10 adult female rats (10 months). All animals were perfused transcardially with 4% paraformaldehyde-lysine-periocdate(PLP), and serial transverse brain sections($30{\mu}m$) were prepared by means of cryotome, and were stained with rabbit anti-oxytocin antisera immunohistochemically, using the free floating method and avidin-viotin peroxidase complex. The results were as followings. 1. The immunostained oxytocin secreting neurons were located at the paraventricular nucleus and supraoptic nucleus of age-related rat hypothalamus chiefly. 2. The numbers of oxytocin secreting neurons decreased at the paraventricular nucleus and supraoptic nucleus of age-related rat hypothalamus(p<0.01) 3. The oxytocin secreting neurons of age-related rat hypothalamus immunostained less than those of the adult rat hypothalamus, and the paraventricular nucleus immunostained greater than supraoptic nucleus in age-related rat. 4. The numbers and expansion of dendrite and axonal varicosities decreased in the age-related rat hypothalamus greatly.

의료용 전문가 시스템에서 추론에 관한 연구

김진상,신양규,Kim, Jin-Sang,Shin, Yang-Kyu 한국데이터정보과학회 1999 한국데이터정보과학회지 Vol.10 No.2

We investigate a logical approach to represent medical knowledge, reason deductively and diagnostically. It is suggested that medical knowledge-bases can be formulated as a set of sentences stated in classical logic where each sentence reflects a doctor's knowledge about the human anatomy or his/her view of patient's symptoms. It is also suggested that a form of temporal reasoning can be captured within the same framework because each sentence can have a different truth value based on time. We apply our logical framework to formalize diagnostic reasoning, where the primary cause of illness is chosen among the set of minimal causation on the basis of abductive hypotheses. Most of our examples are given in the context of medical expert systems.

기니픽 심근의 수축력과 세포내 $Na^+$ 활성도에 미치는 ${\alpha}_1-Adrenergic$ 수용체 자극효과

김진상,강형섭,채수완,이진옥,Kim, Jin-Sang,Kang, Hyung-Sub,Chae, Soo-Wan,Lee, Chin-Ok 대한약리학회 1996 대한약리학잡지 Vol.32 No.2

Myocardial ${\alpha}_1-adrenoceptors$ have been shown to mediate a biphaslc inotropic response that was characterized by a transient decline followed by a sustained increasing phase in guinea pig ventricular muscle. Recently one group reported that an ${\alpha}_1-adrenoceptors-induced$ intracellular $Na^+$ decrease is linked to fast $Na^+$ channel inhibition and another group reported that it is linked to $Na^+$-$K^+$ pump activation by ${\alpha}_{1b}-adrenoceptors$. But until now, its mechanism is not clear. Therefore, to see whether the $Na^+$channel or $Na^+-K^+$ pump is related to a decrease in intracellular $Na^+$ activity and/or the negative inotropic response, and which ${\alpha}_1-adrenoceptor$ subtype was involved in the decrease in intracellular $Na^+$activity by phenylephrine, we used conventional and sodium selective microelectrodes, and tension transducer to determine the effects of ${\alpha}_1-adrenergic$ stimulation on membrane potential, intracellular $Na^+$ activity, and twitch force in guinea pig ventricular muscles. $10^{-5}$ M Phenylephrine produced a slight hyperpolarization of the diastolic membrane potential, a decrease or increase in $a_N^i_a$, and a biphasic inotropic response. The negative inotropic response accompanied by a decrease in intracellular $Na^+$activity, whereas in muscles showing a remarkable positive inotropic response without initial negative inotropic effect was accompanied by an increase in intracellular $Na^+$ activity. The decrease in intracellular $Na^+$ activity was apparently inhibited by WB4101, an antagonist of the ${\alpha}_{1a}-adrenoceptors$. The decrease in intracellular $Na^+$ activity caused by phenylephrine was not abolished or reduced by a block of the fast $Na^+$ channels. $V_{max}$ also was not affected by phenylephrine. Phenylephrine produced an increase in intracellular $Na^+$ activity in the presence of a high concentration of extracellular $Ca^{2+}$ (in quiescent muscle) or phorbol dibutyrate, a protein kinase C activator(in beating muscle). These suggest that the ${\alpha}_{1a}-adrenoceptors-mediated$ decrease in intracellular $Na^+$ activity may be related to the protein kinase C.

베이지안 학습을 이용한 문서의 자동분류

김진상,신양규,Kim, Jin-Sang,Shin, Yang-Kyu 한국데이터정보과학회 2000 한국데이터정보과학회지 Vol.11 No.1

As the number of online documents increases enormously with the expansion of information technology, the importance of automatic document classification is greatly enlarged. In this paper, an automatic document classification method is investigated and applied to UseNet 20 newsgroup articles to test its efficacy. The classification system uses Naive Bayes classification algorithm and the experimental result shows that a randomly selected newsgroup arcicle can be classified into its own category over 77% accuracy.

Nitrate가 가토 갑상선 기능에 미치는 영향

김진상,한정희,김기수,Kim, Jin-sang,Han, Jeong-hee,Kim, Kye-soo 대한수의학회 1989 大韓獸醫學會誌 Vol.29 No.2

The present study was carried out to investigate the effects of nitrate ($KNO_3$) on the thyroid glands in rabbits which were administrated $KNO_3$ of 1g/kg/day for 6 weeks. Growth rate, and serum levels for $T_4$, $T_3$ and TSH were observed every weeks. The histological changes and the weights of the thyroid glands were observed in 6 weeks. The results obtained were summarized as follows: 1. The mean growth rates of experiments were decreased significantly in the 1st week, but were increased a little from the 5th to 6th week compared with those of controls. 2. The serum levels for $T_4$ of the experimental group manifested significantly decreased values than those of control through the experimental term consistently and the serum levels for $T_3$ were greatly decreased in the 3rd and 4th weeks. 3. TSH contents of the serum were not changed through the experimental term. 4. The mean weight of the thyroid gland in the experiment was decreased significantly after 6 weeks compared with that of control. 5. In the experimental group, the color of colloid in the thyroid follicles revealed deeper eosinophilic and the heights of the follicular epithelial cells were taller than those of controls. The colloid in the thyroid follicles revealed depletion. As summarized above, the observations suggest that nitrate can be an antithyroid substance in rabbits and it leads the thyroid glands to hypofunctional state.

기니픽 유두근에서 α₁-adrenoceptor 자극에 의한 세포내 pH와 Na⁺ 증가는 Na⁺-H⁺ 교환기를 경유

김진상,Kim, Jin-sang 대한수의학회 1995 대한수의학회지 Vol.35 No.2

The effect of ${\alpha}_1$-adrenoceptor(${\alpha}_1$-AR) stimulation on intracellular pH($pH_i$), $Na^+$ activity($a_{Na}{^i}$) and contractility were investigated in isolated papillary muscles of euthyroid or hyperthyroid guinea pig with conventional microelectrode, $Na^+$ or $H^+$-selective microelectrodes, and tension transducer. Stimulation of the ${\alpha}_1$-AR by phenylephrine produced a decrease in $a_{Na}{^i}$ in euthyroid preparations. This decrease in $a_{Na}{^i}$ was abolished in presence of PKC activator, phorbol dibutyrate, and increased contrary to decrease. Phenylephrine also increased $a_{Na}{^i}$ in hyperthyroid ones. However, phenylrephtine produced an increase in $pH_i$ in both euthyroid and hyperthyroid ones. These changes were blocked by prazosin, an antagonist of ${\alpha}_1$-AR. These findings suggest that the changes in $a_{Na}{^i}$ and $pH_i$ are mediated by a stimulation of $Na^+-H^+$ exchange via ${\alpha}_1$-AR stimulation. This study focused on the increase in $a_{Na}{^i}$, $pH_i$ and contractility. The increase in $pH_i$ was blocked by amiloride or EIPA, $Na^+-H^+$ exchange inhibitors. Therefore, the increase in $a_{Na}{^i}$ and $pH_i$ mediated by ${\alpha}_1$-AR appeared to be due to an influx of $Na^+$ and a reduction of $H^+$ through $Na^+-H^+$ exchange. This study also revealed that the increase in $pH_i$ and $a_{Na}{^i}$ might be related to the sustained positive inotropic response. The $a_{Na}{^i}$ increase may contribute to the intracellular $Ca^{2+}$ through the $Na^+-Ca^{2+}$ exchange, and the $pH_i$ increase could cause an increase in the $Ca^{2+}$ sensitivity of myofilaments and may augment the ${\alpha}_1$-AR-mediated positive inotropic response.

JSAP1 Interacts with Kinesin Light Chain 1 through Conserved Binding Segments

김진상,이철희,박혜영,예성수,장원희,이상경,박영홍,차옥수,문일수,석대현,Kim, Sang-Jin,Lee, Chul-Hee,Park, Hye-Young,Yea, Sung-Su,Jang, Won-Hee,Lee, Sang-Kyeong,Park, Yeong-Hong,Cha, Ok-Soo,Moon, Il-Soo,Seog, Dae-Hyun Korean Society of Life Science 2007 생명과학회지 Vol.17 No.7

A conventional kinesin, KIF5/kinesin-I, is composed of two kinesin heavy chains (KHCs) and two kinesin light chains (KLCs) and binds directly to microtubules. KIF5 motor mediates the transport of various membranous organelles, but the mechanism how they recognize and bind to a specific cargo has not yet been completely elucidated. Here, we used the yeast two-hybrid system to identify the neuronal protein(s) that interacts with the tetratricopeptide repeats (TRP) of KLCI and found a specific interaction with JNK/stress-activated protein kinase-associated protein 1 (JSAP1/JIPP3). The yeast two-hybrid assay demonstrated that the TRP 1,2 domain-containing region of KLCI mediated binding to the leucine zipper domain of JSAP1. JSAP1 also bound to the TRP region of lac2 but not to neuronal KIF5A, KIF5C and ubiquitous KIF5B in the yeast two-hybrid assay. In addition, these proteins showed specific interactions in the GST pull-down assay and by co-immunoprecipitation. KLCI and KIF5B interacted with GST-ISAP1 fusion proteins, but not with GST alone. An antibody to JSAPI specifically co-immunoprecipitated KIF5s associated with JSAP1 from mouse brain extracts. These results suggest that JSAP1, as KLC1 receptor, is involved in the KIF5 mediated transport.

저농도 일산화탄소가 흰쥐 미상핵에 미치는 영향에 관한 조직화학적 연구

김진상,Kim, Jin-sang 대한수의학회 1989 大韓獸醫學會誌 Vol.29 No.4

This study was undertaken to investigate the changes of enzyme activities resulted from low concentrated carbon monoxide poisoning on the caudate nucleus in rat. The activities of cytochrome oxidase, succinate dehydrogenase and lactate dehydragenase were observed histochemically, after the experimental animals were poisoned to 100ppm carbon monoxide for 8 hours every day from one day to 16 days. The materials were sliced from coronal section at the level of the optic chiasm and immediately frozen sections of $10{\mu}m$ thickness were cut on the cryostat at $-15^{\circ}C$ and incubated in the medium containing substrate for histochemical detection of cytochrome oxidase, succinate dehydrogenase and lactate dehydrogenase. The sections were mounted in glycerol gelatin and observed under light microscope. It was obtained that cytochrome oxidase activity decreased moderately and succinate dehydrogenase activity showed marked or moderate activity during entire poisoning period and lactate dehydrogenase activity showed marked or moderate activity from one to 8 days but recovered to normal condition at 16th day.