http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
양홍석(Hongseok Yang),이광근(Kwangkeun Yi) 한국정보과학회 2004 한국정보과학회 학술발표논문집 Vol.31 No.1B
고급 언어(high-level language)로 프로그램을 쓰고 그것이 맞다고 증명했을때, 프로그램과 증명을 동시에 "컴파일"해주는 방법을 찾으려고 한다. 이러한 방법은 "증명 보내기"(Proof Carrying Code)라는 제안을 실용화할 때 요긴하게 사용할 수 있는 기술이다. 지면관계상 "반복문에서 명령어 끄집어내기"(Loop Invariant Code Motion)라는 최적화 과정에 맞게 Hoare 증명을 변환하는 방법에 대해서만 알아보겠다.
A Study on High-Precision CNC Tool Grinding System using Machine Vision
Hongseok youn,Minyang yang 한국생산제조학회 2005 한국공작기계학회 추계학술대회논문집 Vol.2005 No.-
In this research, CNC tool grinding system has been developed with open architectural PC-NC kernel. The developed 4 axis tool grinding system is motion-controlled by PC-based controller. To reduce the machining error, machine vision system is adopted. By using the various image processing algorithms, alignment and auto-setaup processes are achieved between grinding wheel and workpiece. Also, the resolution of machine vision system is improved 10-15 times with the process of image enhancement and noise reduction. In grinding mechanism, there exist numerous parameters especially in machining conditions and processes. It is a very hard work to decide the optimal machining parameters. In this work, to optimize the grinding conditions, the grinding force has monitored using hall sensor. Since the hall sensor signal from the spindle current represents the grinding force, the excessive grinding force occurred at comer could be stabilized by feed rate control. In grinding process, as the wheel wear is natural phenomenon with its self-sharpening action, it is exceedingly difficult to measure the wear width during grinding process. The tracking method was developed with machine vision system. This algorithm enables the system to measure the wear width during grinding process. It is very useful to compensate the wheel wear in real-time.
A Study on High-Precision CNC Tool Grinding System using Machine Vision
Hongseok youn,Minyang yang 한국생산제조학회 2005 한국생산제조시스템학회 학술발표대회 논문집 Vol.2005 No.10
In this research, CNC tool grinding system has been developed with open architectural PC-NC kernel. The developed 4 axis tool grinding system is motion-controlled by PC-based controller. To reduce the machining error, machine vision system is adopted. By using the various image processing algorithms, alignment and auto-setaup processes are achieved between grinding wheel and workpiece. Also, the resolution of machine vision system is improved 10-15 times with the process of image enhancement and noise reduction. In grinding mechanism, there exist numerous parameters especially in machining conditions and processes. It is a very hard work to decide the optimal machining parameters. In this work, to optimize the grinding conditions, the grinding force has monitored using hall sensor. Since the hall sensor signal from the spindle current represents the grinding force, the excessive grinding force occurred at comer could be stabilized by feed rate control. In grinding process, as the wheel wear is natural phenomenon with its self-sharpening action, it is exceedingly difficult to measure the wear width during grinding process. The tracking method was developed with machine vision system. This algorithm enables the system to measure the wear width during grinding process. It is very useful to compensate the wheel wear in real-time.
Yang, Sunmo,Kim, Chan Yeong,Hwang, Sohyun,Kim, Eiru,Kim, Hyojin,Shim, Hongseok,Lee, Insuk Oxford University Press 2017 Nucleic acids research Vol.45 No.d1
<P>The use of high-throughput array and sequencing technologies has produced unprecedented amounts of gene expression data in central public depositories, including the Gene Expression Omnibus (GEO). The immense amount of expression data in GEO provides both vast research opportunities and data analysis challenges. Co-expression analysis of high-dimensional expression data has proven effective for the study of gene functions, and several co-expression databases have been developed. Here, we present a new co-expression database, COEXPEDIA (www.coexpedia.org), which is distinctive from other co-expression databases in three aspects: (i) it contains only co-functional co-expressions that passed a rigorous statistical assessment for functional association, (ii) the co-expressions were inferred from individual studies, each of which was designed to investigate gene functions with respect to a particular biomedical context such as a disease and (iii) the co-expressions are associated with medical subject headings (MeSH) that provide biomedical information for anatomical, disease, and chemical relevance. COEXPEDIA currently contains approximately eight million co-expressions inferred from 384 and 248 GEO series for humans and mice, respectively. We describe how these MeSH-associated co-expressions enable the identification of diseases and drugs previously unknown to be related to a gene or a gene group of interest.</P>
Yun, Yang Sik,Park, Hongseok,Yun, Danim,Song, Chyan Kyung,Kim, Tae Yong,Lee, Kyung Rok,Kim, Younhwa,Han, Jeong Woo,Yi, Jongheop The Royal Society of Chemistry 2018 Chemical communications Vol.54 No.52
<P>Catalytic activity was efficiently tuned <I>via</I> manipulating the electronic state of a catalyst, induced by a facile doping method in a metal/graphene system. The strategy was proven to be applicable to not only transition metal but also noble metal catalysts in CO hydrogenation and 4-nitrophenol reduction.</P>