http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Jaeho Han,Dong-Hwa Kim,Hyen Joo Park,Hee Juhn Park,Sang Kook Lee 대한암예방학회 2023 Journal of cancer prevention Vol.28 No.4
Lung cancer is one of the most common causative cancers worldwide. Particularly, non-small cell lung cancer (NSCLC) accounts for approximately 85% of all lung cancer cases. NSCLC is a serious form of lung cancer that requires prompt diagnosis, and the 5-year survival rate for patients with this disease is only 24%. Gibbosic acid H (GaH), a natural lanostanoid obtained from the Ganoderma species (Ganodermataceae), has antiproliferative activities against colon and lung cancer cells. The aim of the present study was to evaluate the antiproliferative activity of GaH in NSCLC cells and to elucidate the underlying molecular mechanisms. GaH was found to induce G0/G1 cell cycle arrest and autophagy by activating adenosine monophosphate-activated protein kinase in A549 and H1299 cells. The induction of this cell cycle arrest was associated with the downregulation of cyclin E1 and CDK2. Additionally, the induction of autophagy by GaH was correlated with the upregulation of LC3B, beclin-1, and p53 expression. GaH also induced apoptosis by upregulating cleaved caspase-3 and Bax in the lung cancer cells. These findings suggest that GaH has a potential in the growth inhibition of human lung cancer cells.
하드웨어/소프트웨어 동시검증을 위한 합성 가능한 인터페이스 검증 기법
이재호(Jaeho Lee),한태숙(Tai Sook Han),윤정한(Jeong-Han Yun) 한국정보과학회 2010 정보과학회논문지 : 소프트웨어 및 응용 Vol.37 No.4
임베디드 시스템은 오늘날 우리 일상에서 널리 사용되고 있고 그 중요성은 더욱 증대되고 있다. 이에 비례하여 임베디드 시스템의 복잡도와 이를 개발하려는 노력 또한 더욱 더 증가하고 있다. 하드웨어와 소프트웨어로 구성되어 있는 임베디드 시스템의 이질적인 특성은 시스템 개발 및 통합 시에에러를 야기하는 주원인이 된다. 그 중에서도, 하드웨어와 소프트웨어 간의 인터페이스에서 발생하는 에러가 시스템 에러의 13%를 차지하고 있으며 이 비율은 더욱 증가하는 추세이다. 우리는 하드웨어와 소프트웨어 동시설계를 위한 실제적인 인터페이스 동시 검증 기법을 제안하고 이를 지원하는 도구를 구현하였다. 먼저, 이 논문은 하드웨어와 소프트웨어간의 상호작용을 기술할 수 있는 인터페이스 명세를 정의한다. 이 명세 방법은 하드웨어와 소프트웨어 서로간의 특성을 잘 표현할 수 있고, 소프트웨어 명세로부터 하드웨어 명세로의 변환이 가능하여 전체 시스템이 소프트웨어의 입장에서 기술될 수 있도록 한다. 둘째, 작성된 하드웨어 설계와 소프트웨어 설계에 대해 명시된 인터페이스의 의미대로 동작하는지를 검증하는 기법을 제시한다. 주어진 명세로부터 소프트웨어의 동작을 가정하고 이를 하드웨어 설계로 모델링하여 하드웨어 인터페이스에 대한 모델검증을 수행하고, 그 후 소프트웨어의 동작에 대해 검증을 수행하는 가정-보증 추론(assume-guarantee reasoning) 방식의 검증을 수행한다. 마지막으로 기존의 검증 연구들이 저수준의 인터페이스를 추상화하여 현실적 적용이 힘들었던 반면 우리는 디바이스 API, 디바이스 드라이버, 디바이스 컨트롤러 등의 저수준의 인터페이스 코드들을 자동으로 생성하여 검증된 하드웨어와 소프트웨어 코드가 바로 통합되어 시스템을 구축할 수 있는 실제적인 해결책을 제시한다. The complexity of embedded systems and the effort to develop them has been rising in proportion with their importance. Also, the heterogeneity of the hardware and software parts in embedded systems makes it more challenging to develop. Errors caused by hardware/software interfaces, especially, account for up to 13 percent of failures with an increasing trend. Therefore, verifying the interface between hardware and software in embedded system is one of the most important research areas. However, current approaches such as co-simulation method and model checking have explicit limitations. In this paper, we propose the synthesizable interface co-verification framework for hardware/software co-design. Firstly, we introduce the separate interface specifications for the heterogeneous components to describe hardware design and software design. Our specifications are expressive enough to describe both. We also provide the transformation rules from the software specification to the hardware specification so that the whole system can be described from the software view. Secondly, we address the solution of verifying the interface of the software and hardware design by adopting and extending existing verification-techniques and extending them. In hardware interface verification, we exploit the model checking technique and provide more efficient verification by closing the hardware design from the assumption of the software behavior which is ensured by software verification step. Lastly, we generate the interface codes such as device APIs, device driver, and device controller from the specification so that verified hardware and software codes can be synthesized without extra efforts.
인터넷 뉴스 댓글 기반의 다중 감정 분석 모델 개발 및 적용
한재호(Jaeho Han),김우정(Woojeong Kim),한경식(Kyungsik Han) 한국HCI학회 2018 한국HCI학회 학술대회 Vol.2018 No.1
본 연구에서는 4 가지 감정(‘기쁨’, ‘슬픔’, ‘분노’, ‘혐오’)으로 분류한 데이터를 바탕으로 기계학습기반 감정 분석 모델을 구축하였다. 기사와 댓글을 연관하여 총괄적인 측면에서 문맥을 파악하여 판단한 감정 데이터를 기반으로 한 우리의 모델은 단순 감정 사전 중심인 기존의 감정 모델과 차이가 있다. 우리 모델은 79%의 정확도를 달성하여 우리 방법론의 유효성과 실제 활용 가능성을 보여주었다.
Jaeho Park,Yu-Chan Kim,Myoung-Ryul Ok,Wonryung Lee,Hyung-Seop Han,Jeong-Yun Sun,Hojeong, Jeon 대한기계학회 2021 대한기계학회 춘추학술대회 Vol.2021 No.11
As the increasing demand for semiconductor, it has been studied for high integration, and miniaturization. Therefore, a more sophisticated process is essential such as plasma etching within high vacuum system. However, the inner wall of the etching equipment can be easily damaged since the surface is exposed to highly reactive atmosphere, so the surface should be coated with high corrosion resistant property. Currently, yttrium-based ceramic materials with excellent corrosion resistance (e.g, Y2O3, YOF) are synthesized and widely used as coating materials. The materials are used to apply in high-temperature and pressure system. However, residual stress, cracks, pores, and low coating strength of the coating layer inevitably exist. In this study, it is not only does not require pretreatment, but also coat simultaneously a plasma-resistant material on substrate via a pulsed laser heat source. The surface was selectively coated with Y2O3 or YOF by modifying the solution concentration used as a precursor. The coating process in this study is simple compared to the existing method. In addition, it can form a high-density layer that minimizes cracks and pores with improved process efficiency and plasma resistance. It is expected that the ceramic material of the desired composition can be selectively applied to various products by utilizing the highly integrated energy of the laser beam.