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의 발현을 억제함으로써 골육종 세포에서 세포사멸을 유발하고 그 결과 항종양효과를 나타내는 것으로 보여진다.
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.
SC/ACSR : ACSR과 Statechart를 조합한 정형 명세
황대연(Dae Yon Hwang),김진현(Jinhyun Kim),최진영(Jin-Young Choi) 한국정보과학회 2011 한국정보과학회 학술발표논문집 Vol.38 No.1A
Statechart는 상태 기계를 기반으로 하는 정형 명세 언어로 반응형 시스템의 행위를 상태와 그 상태에서 받는 이벤트에 의한 전이로 표현한다. 프로세스 알제브라의 한 종류인 ACSR은 이벤트 기반으로 프로세스들 간의 통신과 프로세스의 우선 순위, 자원 소모 등의 표현이 용이한 정형 명세 언어이다. 본 논문에서는 서로 다른 관점의 명세를 하는 이 두 가지 언어가 서로를 보완하여 ACSR을 이용하여 Statechart의 공유 자원에 대한 사용과 제어를 표현하여 보다 시스템을 정확하게 명세할 수 있는 언어를 제시한다. 이를 위해 두 언어의 연결을 위한 정형적 문법과 의미를 제시한다.
Rhapsody Statecharts 의 정형검증을 위한 변환 알고리즘 연구
황대연 ( Dae Yon Hwang ),박승현 ( Seunghyun Park ),이나영 ( Na-young Lee ),김윤구 ( Yun Goo Kim ),최진영 ( Jin-young Choi ) 한국정보처리학회 2006 한국정보처리학회 학술대회논문집 Vol.13 No.2
Statechart 는 상태 기반의 시각적 명세 언어로 UML 에 포함되어 매우 널리 사용되고 있다. 하지만 UML 의 특성에 의해 그 의미론이 비정형적이 되었으며, 시스템의 행위를 불안하게 만드는 비결정적인 경우가 발생하게 된다. 본 논문에서는 UML 지원 도구인 Rhapsody 의 statechart diagram 중 코어 부분을 정형적 의미론을 가지는 명세로 변환함으로써 비결정적 명세를 찾아낼 수 있음을 보였 다.
원통공작물의 (圓筒工作物) 가공정도에 관한 연구 - 연동척을 중심으로 -
황대연(Dae Yeon Hwang) 대한공업교육학회 1984 대한공업교육학회지 Vol.9 No.1
This study is the experiment about the influence of three conditions on roundness; which are to increase the diameter of workpiece, to vary spindle speed of workpiece, and to vary chucking length. The results of the experiments are as follows; 1) In the case of increasing in diameter of workpiece, the roundness is decreased. 2) In the case of spindle speed keeps steady and the diameter of work pieces is increased the roundness is decreased because the cutting resistance decreased. 3) In the case of increasing in chucking length, roundness is decreased. 4) With the increasing of distance from chuck face, the roundness is increased.