본 연구는 제주도의 흑우에서 다배란을 유기한 후 발정기 동안 혈중 호르몬의 농도 검사, 혈액 생화학 검사, 체내 수정란 회수율 등을 관찰하였다. FSH를 4일간 8회 50 mg씩 주사하여 다배란을 유기하였다. 성호르몬의 측정은 radioimmunoassay (RIA)법으로 측정하였으며 혈액 생화학치는 자동혈청 분석기로 측정하였다. 인공 수정 후 7일에 수정란을 비외과적 방법으로 회수하였다. 본 연구의 결과는 다음과 같았다. 1. 혈중 호르몬의 농도를 측

제1세대 니켈계 단결정 초합금인 CMSX 6를 사용하여 셀렉타법으로 진공 정밀주조하여 단결정을 제작하였다. 주형온도 약 1500˚C, 주입온도 약 1630˚C와 용탕 주입 직후 주형을 2.5mm/분 속도로 하강시켜 단결정을 성장시켰다. 단결정 주조조직에서 기지와 공정조직은 γ' 석출물(Ni3(Al, Ti)) 모양과 크기에 따라 각각 모두 두영역으로 구분되었으며, 공정조직의 Ti함랗은 기지보다 높았다. 즉, EPMA 및 CBED 분석 등으로 γ' 석출물을 분석한 결과, 기지내의 γ'은 크기가 0.5~0.7μm 이하이며 화학조성상 Ni3Al에 가까웠으며 격자구조도 Ll2를 나타내었다. 반면에 공정조직에 가까울수록 γ' 크기는 1.0μm보다 컸으며, 모양도 판상형의 거대한 모양으로 바뀌었다. 화학조성 또한 Ni3Ti에 가까웠으며 격자구조도 D O24를 나타내었으므로 수지상과 공정조직의 γ' 석출물은 화학조성 및 격자구조가 상이함을 알 수 있었다.

A variety of herbs and plants have been traditionally used in oriental folk medicine for the treatment of inflammatory diseases. In our attempt to search for anti-inflammatory agents from natural products, we investigated 64 methanol extracts from 42 medicinal plants belonging to 10 families which were evaluated for inhibitory activities of NO production in lipopolysaccharide (LPS)-stimulated macrophage RAW 264.7 cells. Among them, 16 extracts exhibited inhibitory activities of NO production (IC50 values ranging from 59.6 to 94.7 μg/ml). Only the extract from aerial parts of Hosta lancifolia (H. lancifolia) did not exert cytotoxic effects at the concentrations tested. The extract from H. lancifolia decreased the mRNA and protein levels of inducible nitric oxide synthase (iNOS) and pro-inflammatory cytokines in activated macrophage RAW 264.7 cells in dose-dependent manner. The results suggest that the extract may contain bioactive compounds that suppress expression of pro-inflammatory cytokines, which may prove beneficial with regard to the development of natural agents for prevention and treatment of inflammatory diseases.

The primary objective of this study was to determine the effects of abalone in reducing blood pressure and increasing anti-coagulant capacity. The serum angiotensin-converting-enzyme (ACE) activities of rats on an abalone-supplemented diet did not significantly differ from the ACE levels of rats on a normal diet, at any time (before the experiment, or 1 week, 2 weeks, 3 weeks, and 4 weeks, after commencement of the abalone diet) during the experiment. This result showed that abalone-supplemented diets had no effect on the activity of ACE, which controls blood pressure. To determine if an abalone-containing diet might increase anti-coagulant capacity, both prothrombin (PT) and activated partial thromboplastin time (APTT) levels were measured. The PT levels of control rats remained constant throughout the experiment. In rats fed the abalone-containing diet, PT levels increased with time, and the increase became statistically significant after 2 weeks, when compared to pre-trial PT levels. Control rats showed no significant change in APTT levels over time. The rats fed abalone, however, showed significant differences in APTT levels. Specifically, when pre-trial APTT levels were compared with 4-week levels, and when 1-week levels were compared with 4-week levels, the differences attained statistical significance. These results indicate that an abalone-supplemented diet may inhibit blood coagulation in normal rats. The results of this study prove the inherent health value of abalone, and may encourage investment in the seafood industry. Future studies will explore other possible beneficial effects of abalone, apart from the anti-hypertension and anti-coagulant effects examined above.

알긴산을 이용한 기능성 쌀을 개발하고자 제조공정을 확립 및 생산설비를 제작하고 알긴산 코팅 쌀을 제조하였으며 코팅정도, 흡습특성, 노화억제 효과 및 관능특성을 분석하여 품질특성을 검토하였다. 알긴산 코팅 쌀의 수분함량은 일반 쌀에 비하여 약 정도 높은 수준을 보였다. 알긴산으로 코팅한 쌀의 경우 일반쌀에 비하여 탄수화물 함량의 증가량을 측정한 결과 약 정도 코팅됨을 알 수 있었다. 알긴산 코팅 농도가 높을수록 수분 흡습도가 높았으며 알긴산으로

본 논문에서는 반례를 도달성 게임 풀이에 활용했다. 도달성 게임이란, 게임 규칙을 준수하면서 초기 상태에서 목표 상태로 가는 경로를 찾는 것이다. 게임의 초기 상태를 유한 상태 모델로 표현하고 목표 상태의 부정(오답)을 시제 논리식으로 표현해서 모델 검사기에 입력하면, 반례로 오답에 대한 부정 즉 정답을 출력한다. 다시 말해서 반례로 출력된 것이 문제를 해결하는 정답인 것이다. 이와 같은 아이디어를 푸쉬푸쉬 게임 풀이에 적용했다. 그 결과 크기가 작은 푸쉬푸쉬 게임의 경우 게임을 해결하는 최단 경로를 쉽게 찾아냈다. 그러나 게임의 크기가 큰 경우 제한된 시간(실험에서는 3시간)내에 찾아내지 못했다. 왜냐하면 게임의 크기가 커질 경우 검사해야할 상태의 수가 지수적으로 증가하는 상태 폭발 문제가 발생했기 때문이다. 상태 폭발 문제를 해결하기 위해 추상화 기법을 이용해서 검사해야 할 상태공간을 축소하였다. 상태 공간을 줄인 결과, 기존 모델체킹으로 해결하지 못했던 게임을 풀 수 있었다.