http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
봉독이 골육종세포주에서 세포사멸 및 COX-2 억제에 미치는 영향
황대연,김호현,김창주,김이화,Hwang, Dae-yeon,Kim, Ho-hyun,Kim, Chang-ju,Kim, Ee-hwa The Korean AcupunctureMoxibustion Medicine Society 2003 대한침구의학회지 Vol.20 No.3
목적 : 한의학에서 관절염이나 진통치료에 사용되어 왔던 봉독약침액이 인간 골육종 세포주인 MG-63 세포에서 항종양효과가 있는지 연구하고자 한다. 특히 본 실험에서는 이러한 봉독의 종양발생 억제작용이 세포사멸과 관련이 있는지, 그리고 프로스타글란딘 합성 효소인 cyclooxygenase(COX)-2의 억제와 관련이 있는지를 연구하고자 한다. 방법 : 인간 골육종 세포주에서 세포사멸의 변화를 관찰하기 위해서 3-(4,5-dimethylthiazol-2-yl)-2,5-diphenyltetrazolium brimide(MTT) assay, 4,6-diamidino-2-phenylindole (DAPI), DNA fragmentation assay 및 reverse transcription-polymerase chain reaction(RT-PCR) 방법을 이용하였다. 결과 : 세포독성 검사에서 봉독은 MG-63 세포에서 농도-의존적으로 세포독성을 나타내었다. 이러한 봉독의 세포독성이 세포사멸로 인한 것인지를 여러 가지 형태로 검사한 결과 봉독에 의한 세포독성은 TUNEL 검사와 DAPI 염색시 세포사멸의 특징적인 소견들을 나타내었고, flow cytometric 분석에서도 세포사멸을 의미하는 세포주기의 변화들을 나타내었다. 봉독이 COX-2의 발현에 미치는 영향을 RT-PCR로 실험한 결과 봉독은 COX-2 mRNA의 발현을 선택적으로 억제하였다. 결론 : 본 실험의 결과 봉독은 COX-2 mRNA의 발현을 억제함으로써 골육종 세포에서 세포사멸을 유발하고 그 결과 항종양효과를 나타내는 것으로 보여진다.
황대연,남기용,Hwang, Dai-Yun,Nam, Kee-Yong 대한생리학회 1971 대한생리학회지 Vol.5 No.2
Oxygen consumption, pulmonary ventilation, heart rate, and breathing frequency were measured on 8 men walking on a treadmill carrying load of 9 kg on hand, back, or head. Besides measurements were made on subjects carrying loads of 2.6 kg each on both feet. The speed of level walking was 4, 5, and 5.5km/hr and a fixed speed off km/hr with grades of 0, 3, 6, and 9%. Comparisons were made between free walking without load and walking with various types of loads. The following results were obtained. 1. In level or uphill walking the changes in oxygen consumption, pulmonary ventilation, breathing frequency and heart rate were smallest in back load walking, and largest in hand load walking. The method of back load was most efficient and hand load was the least efficient. The energy cost in head load walking was smaller than that of in hand load walking. It was assumed that foot load costed more energy than hand load. 2. In level walking the measured parameters increased abruptly at the speed of 5.5 km/hr. Oxygen consumption in a free walking at 4 km/hr was 11.4ml/kg b.wt., and 13.1 ml/kg b.wt. 5.5 km/hr, and in a hand load walking at 4 km/hr was 13.9, and 18.8 ml/kg b. wt. at 5.5 km/hr. 3. In uphill walking oxygen consumption and other parameters increased abruptly at the grade of 6%. Oxygen consumption at 4 km/hr and 0% grade was 11.4 ml/kg b. wt., 13.6 at 6% grade, and 16.21/kg b. wt. at 9% grade in a free walking. In back load walking oxygen consumption at 4km/hr and 0% grade was 12.3 ml/kg b.wt.,14.9 at 6% grade, and 18.7 ml/kg b.wt. In hand load walking the oxygen consumption was the greatest, namely, 13.9 at 0% grade, 17.9 at 6%, and 20.0 ml/kg b. wt. at 9% grade. 4. Both in level and uphill walking the changes in pulmonary ventilation and heart rate paralleled with oxygen consumption. 5. The changes in heart rate and breathing frequency in hand load were characteristic. Both in level and uphill walk breathing frequency increased to 30 per minute when a load was held on hand and showed a small increase as the exercise became severe. In the other method of load carrying the Peak value of breathing frequency was less than 30 Per minute. Heart rate showed 106 beats/minute even at a speed of 4 km/hr when a load was held on hand, whereas, heart rate was between, 53 and 100 beats/minute in the other types of load carriage. 6. Number of strides per minute in level walking increased as the speed increased. At the speed floater than 5 km/hr number of strides per minute of load carrying walk was greater than that of free walking. In uphill walk number of strides per minute decreased as the grade increased. Number of strides in hand load walk was greatest and back load walk showed the same number of strides as the free walk.
황대연(Dae-Yon Hwang),강인혜(Jin-Young Choi),강필용(In-Hye Kang),이완석(Pil-Yong Kang),최진영(Wan S. Lee) 한국정보과학회 2003 한국정보과학회 학술발표논문집 Vol.30 No.2Ⅰ
컴퓨터 시스템에 대한 보안의 필요성이 계속적으로 증대되고 있으며 이에 다양한 보안시스템들이 개발되고 있다. 이러한 보안 시스템들이 높은 등급의 평가를 받기위해서는 정형적 방법론을 사용하여 명세 및 검증을 해야 한다. 본 논문에서는 정형 검증의 한 방법론인 모델 체킹을 이용하여 접근통제모델을 설계하고 검증하는 방법을 제안하고자 한다.
Assertion Based Verification을 이용한 Statechart 모델의 검증
황대연(Dae-Yon Hwang),방기석(Ki-Seok Bang),최진영(Jin-Young Choi) 한국정보과학회 2004 한국정보과학회 학술발표논문집 Vol.31 No.2Ⅱ
Statechart는 매우 널리 쓰이고 있는 명세 언어이다. 현재는 UML에 포함되어 많은 사람들이 구현하고자 하는 시스템의 명세에 Statechart를 이용하고 있다. Statechart 명세는 구현될 시스템의 설계도 역할을 하기 때문에 오류가 있을 경우 매우 치명적일 수 있으며, 반대로 시스템의 오류를 명세 단계인 Statechart 명세에서 찾아내게 되면 수정에 필요로 하는 비용과 시간의 손실을 최소화 할 수 있다. 본 논문에서는 하드웨어 검증 분야에서 사용되고 있는 Assertion Based Verification (ABV) 방법론을 Statechart 영세에 적용하여 시뮬레이션 등으로는 찾아내기 힘든 오류를 찾아낼 수 있음을 보였다.
Statchart/ACSR:State chart와 ACSR을 조합한 정형 명세
황대연(Dae Yon Hwang),김진현(Jinhyun Kim),안영정(Young-Jung Ahn),강인혜(Inhye Kang),최진영(Jin-Young Choi) 한국정보과학회 2012 정보과학회 컴퓨팅의 실제 논문지 Vol.18 No.2
실시간 소프트웨어가 프로세스가 되어 운영체제 위에서 실행이 되면 소프트웨어의 기능만을 명세하는 것으로는 소프트웨어의 안전성을 보장할 수 없다. 때문에 소프트웨어가 올라간 플랫폼의 정보를 포함하여 명세하고 자원과 cpu에 대한 스케줄링 알고리즘도 살펴보아야 비로소 실시간 제약 사항을 만족하는지를 확인할 수 있다. UML에 포함되어 있는 Statechart 언어는 소프트웨어의 행위를 표현하기에 적합하지만 프로세스가 되어 스케줄링 되는 것을 표현하는 것에는 많은 제약이 존재 한다. 본 논문에서는 이처럼 Statechart로는 명세하기 어려운 부분인 자원과 통신에 관련된 특징을 ACSR을 통하여 명세하여 보완하고자 한다. 두 가지 정형 언어를 통해 보다 시스템을 정확하게 명세할 수 있는 방법을 제시하고, 이를 위해 두 언어의 연결을 위한 정형적 문법과 의미를 제시한다. For Real-time systems, formally specifying the functional behavior of the software and verifying it is not enough to prove that it will meet its real-time requirement. When a software is loaded as a process and gets restriction on resources, the platform information has to be considered together with the software. In this paper we propose a combination of two formal language, Statechart and ACSR to complement each other's weak point and to formally specify software and platform together.