확장성을 조절할 수 있는 자바스크립트 앱 정적 분석 프레임워크

고윤석(Yoonseok Ko),류석영(Sukyoung Ryu) Korean Institute of Information Scientists and Eng 2015 정보과학회논문지 Vol.42 No.11

In this paper, we present a novel approach to analyzing large-scale JavaScript applications statically by tuning the analysis scalability, possibly sacrificing soundness. For a given sound static baseline analysis of JavaScript programs, our framework allows users to define a sound approximation of selected executions that they wish to analyze, and it derives a tuned static analysis that can analyze the selected executions practically. The selected executions serve as parameters of the framework by taking a trade-off between the scalability and the soundness of the derived analyses. We formally describe our framework in the abstract interpretation setting and present two instances of the framework.

필요한 정보만 가지고 필요한 지점만 분석하는 일반적인 방법

고윤석(Yoonseok Ko),오학주(Hakjoo Oh),허기홍(Kihong Heo),이광근(Kwangkeun Yi) 한국정보과학회 2011 한국정보과학회 학술발표논문집 Vol.38 No.1C

명령형 언어로 작성된 프로그램에 대한 정적 분석을 효과적으로 수행하는 방법을 제시한다. 흐름을 고려하면서 분석 할 때, 일부의 계산만이 분석 결과를 만들어내는 데 이바지한다. 주어진 입력 메모리로 어떤 명령문을 계산할 때 입력 메모리의 일부만 계산에 사용하고, 계산의 결과는 입력 메모리에서 일부만 변경된 값이기 때문이다. 또한, 변경된 값이 다시 계산에 사용되기까지 불필요한 값의 전달을 수반한다. 이 논문에서는 가벼운 전분석을 통해 불필요한 계산들을 미리 찾아내어 계산에서 제외하는 방법을 제시한다. 상용화된 요약해석 기반 분석기에 이 기법을 적용하고 10개의 오픈 소스 프로그램에서 실험한 결과 분석속도가 평균 65배 빨라졌다. 또한, 최근에 제안된 필요한 정보만 가지고 계산하기 기법을 적용한 결과에 비해서도 분석속도가 평균 16배 빨라졌다.

정확도와 확장성을 조절하는 정적 분석 방법

고윤석(Yoonseok Ko),류석영(Sukyoung Ryu) 한국정보과학회 2015 한국정보과학회 학술발표논문집 Vol.2015 No.6

그리드 포탈을 위한 객체 기반의 웹 사용자 인터페이스

고윤석(Yoonseok Ko),황선태(Suntae Hwang) 한국정보과학회 2006 정보과학회논문지 : 시스템 및 이론 Vol.33 No.11·12

그리드 포탈 서비스는 기존의 어플리케이션 기반 그리드 서비스가 갖는 시간적 공간적 제약을 극복하여 보다 유연한 연구 환경을 제공한다. 그러나 사용자 인터페이스와 같은 사용자 요구 사항은 개발기간 동안 불분명하기도 하고 자주 변하기도 한다. 그러므로 그리드 서비스를 위한 사용자 인터페이스를 만들고 유지 관리하는 비용을 줄일 수 있는 방안이 필요하다. 본 논문에서는 유저 인터페이스 개발이 보다 쉽고 코드의 재사용률을 증가시킬 수 있는 객체 기반의 컨트롤 모델을 제안한다. 이 모델에서는 프레젠테이션 페이지의 구조를 보다 명확히 기술할 수 있고 액션들을 구현하는 것이 보다 쉽고 간단하다. Grid portal services provide more flexible research environment by overcoming time and space limit of existing application-based grid services. However user's requirements such as user interfaces are not clear during development cycle and changed frequently. Therefore it is necessary to reduce the cost for creating and maintaining user interfaces of grid services. In this paper, we suggest an object-oriented user control model which allows easier development of user interfaces and increases code reusability by abstracting objects from presentation layer of web. In this model, structure of presentation pages can be described more clearly and implementation of actions is simple and easy.

FD-AHP를 이용한 도시형 생활주택 개발사업의 융,복합적 리스크 요인 분석

고영태(Ko, Young-Tae),신윤석(Shin, Yoonseok) 한국전시산업융합연구원 2017 한국과학예술융합학회 Vol.27 No.-

현재 국내의 주거성향은 소득증대 및 생활환경 변화에 따른 핵가족화가 진행되어 1∼2 가구는 꾸준히 증가하는 추세이며, 더욱이 국내 인구구조는 빠른 노령화가 진행되어 향후에는 1∼2인 가구 비율은 지속적으로 증가될 것으로 예상되고 있다. 복합적인 이러한 영향을 반영하듯 1∼2인 가구의 주요 거주 수단인 소규모 주택의 주거시장에서 차지하는 비중 또한 지속적으로 상승해가고 있다. 정부는 인구노령화 및 세대구조변화에 대응하여 2019년까지 약 30만 가구의 소규모 주택을 공급할 예정으로 있으며, 이를 위해 도시형 생활주택의 다양한 세제 및 법적 편의성을 제공하고 있다. 그러나 소규모 주택은 일반 공동주택과 달리 주요 수요층과 요구하는 기능이 상이하므로, 사업성패를 결정하는 다양하고 복합적인 리스크요인을 사전에 파악하여 제어하는 것이 중요하다. 이에 본 연구는 소규모 주택의 주요 공급원으로 부상한 도시형 생활주택의 사업 리스크 관리를 위한 기초연구로 도시형 생활주택 사업타당성 검토 시 리스크 요인의 중요도 분석을 목적으로 한다. 본 연구를 위하여 개발사업 절차, 도시형 생활주택, 리스크 특성에 대하여 분석하였고, 이를 토대로 도시형 생활주택의 리스크 요인(예비적)을 추출하여 1차 설문조사를 통해 리스크 요인을 확정하였다. 이후 1차 설문조사를 통해 확정된 도시형 생활주택 리스크 요인에 대하여 전문가 설문 및 AHP(analytic hierachy process) 방법을 이용하여 중요도를 분석 한 후 리스크 요인의 중요도를 이용하여 도시형 생활주택의 사업검토 시 고려하여야 할 중요 항목을 확인하고 이에 대한 관리방안을 도출한다. 연구결과는 다음과 같다. 첫째, 건설 사업에서 융복합적 사업을 시행하기 전 우선적으로 적용하여야 할 요인을 확인할 수 있었다. 둘째, 도시형 생활주택 사업 시 리스크 관리요인의 우선순위를 정할 수 있을 수 있으며, 셋째, 이들을 활용한 효율적인 사업 관리가 가능할 것으로 기대된다. Nuclear family has progressed due to the increase and changes in the living environment of income, 1-2 households is in the steadily increasing trend further, the domestic population structure of, due to the fast aging, the proportion of one to two person households future , and it is expected to continue to increase. Percentage of complex these effects is the main residence means of one or two-person households to reflect the small-scale residential housing market is also growing continuously. The government is scheduled to supply the small house of about 30 million households by 2019 in response to changes in aging and age structure of the population, which in the detergent and legal convenience that tea aroma of urban life housing has provided. However, small-scale housing, general co-housing Unlike the ability to request a major demand layer is very different. Therefore it is important to control in known in advance the various and complex influencing factors which are determined the success or failure of business. Therefore, in this study, as basic research for the business risk management of urban living housing has emerged as a major source of small houses, the importance of risk factors when considering the validity of urban life Residential Business analysis it is an object of the present invention. Procedures of development projects for the present study, urban living housing, were analyzed for properties for risk management, which is to extract the influencing factors of urban life house (preliminary) in the group, and influence through the primary investigationIt was determined factors. Utilizing the expert questionnaires and AHP methods for been Urban Life Housing contributor determined through subsequent primary investigation, after analyzing the importance, by using the importance degree of the influence factors of urban life housing business check the important items that should be taken into account when considering, to derive how to manage them. The results of the study are as follows. First, it is possible to identify the factors that should be applied prior to the implementation of the complex project in the construction business. Second, it is possible to set the priority of risk management factors in the urban residential housing business. Third, it is expected that efficient business management using these will be possible.

공사기간 단축을 위한 원자로 건물 외벽 거푸집 개발

조예림(Yerim Cho),신윤석(Yoonseok Shin),고영태(Young-Tae Ko) 한국산학기술학회 2018 한국산학기술학회논문지 Vol.19 No.1

세계에서는 지구온난화 등에 따른 기후 변화에 대응하여 원전 건설을 금지해오던 국가들도 점점 허용하는 추세이다. 따라서 앞으로의 원전 건설이 늘어날 것이며 이에 대한 경쟁 또한 심화될 것이다. 원전 프로젝트는 일반 건설 공사와 비교하여 공사 기간이 매우 길다. 원전 건설 프로젝트에서 경쟁 우위를 확보하기 위해 원전 공사 기간을 줄일 수 있는 기술을 개발하는 것이 필요하다. 따라서 본 연구의 목적은 원자로 건물 외벽 거푸집의 높이를 3m에서 4m로 증가시킴으로써 공사 기간을 감소시키기 위한 원자로 건물 외벽 거푸집을 개발하는 것이다. 개발된 거푸집을 원전 프로젝트에 적용하기 위해 구조적 안전성과 시공성 및 경제성을 분석하였다. 현장 적용 가능성을 평가한 결과 개발된 거푸집은 구조적으로 안전했다. 그리고 시공 단수가 감소함으로써 공사 기간이 단축되고 공사비 또한 절감되는 효과를 확인하였다. 본 연구의 결과는 향후 원자로 건물의 공사 기간 단축을 위한 지속적인 기술 개발을 위한 자료로 활용하여 한국의 세계 원전시장에서의 경쟁력 확보에 기여할 수 있을 것으로 사료된다. Countries that have been banned from building nuclear plants are becoming more tolerant in response to global warming and climate change. Thus, the construction of future nuclear plants will increase, and the competition will also intensify. A nuclear power plant has a long construction period compared with conventional construction projects. In order to gain a competitive advantage in nuclear power plant construction, the construction period must be decreased. Therefore, the purpose of this study is to develop an exterior wall form for a reactor containment building to reduce the construction time by increasing the height of the form. The structural safety, constructability, and economic feasibility were analyzed to assess the applicability of the proposed form. The proposed form was determined to be structurally safe. Furthermore, the construction period was shortened by reducing the duration of the construction units, and the total construction cost and interest were also reduced. Therefore, the proposed form could contribute to reducing the construction period for nuclear power plants.

공동주택 마감공사에 따른 하자 및 관리방안에 관한 연구: 마감공사의 외벽도장을 중심으로

고영태,조예림,신윤석,Ko, Young-Tae,Cho, Yerim,Shin, Yoonseok 한국산학기술학회 2017 한국산학기술학회논문지 Vol.18 No.12

This study focused on achieving 100 % of housing penetration in the traditional market through an examination of the supply and management of the housing market. The study found various types of defects in seven different types of houses in the country. The medical institution has investigated the actual cause of the defects and management measures to calculate the cost for the repair and management of defects, and is expected to help resolve the defect and management measures. 본 연구는 공동주택에서 나타나게 되는 마감공사에 따른 하자에 대해 갈등 및 관리방안에 대한 연구로 국내의 주택시장의 지속적인 주택수요와 공급으로 인하여 전통적인 공급자 위주시장에서 점차 수요자 위주 시장으로 변화되는 현 시점에서 양적 성장에 힘입어 주택보급률 100% 달성이라는 획기적인 성과를 이루기는 했지만, 공동주택의 물량적 보급에만 치중하고 마감공사의 품질관리측면에서는 상대적으로 소홀히 하여 나타나게 되는 많은 하자가 발생하게 된 것에 대한 해결 및 관리 방안에 대한 연구를 하였다. 본 연구에서는 최근 준공된 전국지역의 7개 공동주택을 대상으로 입주자가 생활하면서 발견한 여러 가지 유형의 하자 및 결함에 대해 각 공종별 하자발생 건수를 수급자의 하자보수대장을 근거로 하여 조사하였다. 본 연구에서는 하자해결 및 관리방안에 대하여 실 판례를 조사 연구하여 하자판정의 우선기준 선별과정을 통해 실제 현황을 기준으로 하자보수비의 산정 및 관리방안에 대하여 제시하였으며, 연구 결과는 공동 주택 시장에서 나타나게 되는 하자해결 및 관리방안에 기여할 것으로 기대한다.

Assert로 자바스크립트 프로그램 분석의 정확도 높이기

이홍기(Hongki Lee),고윤석(Yoonseok Ko),류석영(Sukyoung Ryu) 한국정보과학회 2012 한국정보과학회 학술발표논문집 Vol.39 No.2A

Clinical Significance of Serum Exosomal miRNA in Liver Fibrogenesis of Non-alcoholic Fatty Liver Disease

( Soo Min Bang ),( Eun Jung Ko ),( Yoonseok Lee ),( Haein Bak ),( Sehwa Kim ),( Young-sun Lee ),( Young Kul Jung ),( Ji Hoon Kim ),( Yeon Seok Seo ),( Hyung Joon Yim ),( Jong Eun Yeon ),( Soon Ho Um ) 대한간학회 2020 춘·추계 학술대회 (KASL) Vol.2020 No.1

Aims: Fatty liver disease in non-significant amount of alcoholic drinker (Non-alcoholic fatty liver disease (NAFLD)) is on the rise worldwide as obesity and diabetes increase. Among histologic changes, the degree of liver fibrosis is the most important factor for predicting long term outcomes. Although liver biopsy is the gold standard for diagnosis, it is difficult to be done in routine clinical practice due to the risk of serious complications and variabilities of sampling and interpretation. The aim of this study was to explore clinical significance of serum exosomal miRNA in liver fibrogenesis of NAFLD patients. Methods: A total of 41 biopsy-proven NAFLD patients were included. Exosomes were isolated from serum samples and exosomal miRNAs were analyzed with GeneChip miRNA 4.0 array (Affymetrix, U.S.A). Expression levels of miRNAs in liver tissues of the same patient who had been tested for serum exosomal miRNA were analyzed. To define the role of miRNA in liver fibrogenesis, hepatocytes or stellate cells were transfected with miRNA of interest. Results: NAFLD patients with significant fibrosis (Group 1) were older than those with non-significant fibrosis (Group 2). The percentage of patients who had metabolic syndrome was higher in Group 1. In addition, Group 1 patients had lower platelet counts and prolonged PT INR. A total of 86 serum exosomal miRNAs showed significant differences in expression between the two groups. Of these, 42 miRNAs showed significantly higher expression while 44 miRNAs showed significantly lower expression in Group 1 than in Group 2. MiR4668-5p, 3613-3p, 8075, 619-5p, 1184 showed higher expression levels in Group 1 than in Group 2. When human stellate cells (LX2 cells) were transfected with miR4668-5p inhibitors or miR4668-5p mimics, TGF-b, collagen1A1, and a-SMA mRNA expression levels were significantly decreased by miR 4668-5p inhibitors. However, their expression levels or significantly increased after transfections with miR4668-5p mimics. Conclusions: Serum exosomal miRNAs showed significantly altered expression in NAFLD patients with significant fibrosis. Although additional researches are required, serum exosomal miRNA might have a diagnostic value for advanced fibrosis or serve as therapeutic targets for liver fibrogenesis in NAFLD patients.

직렬 능동전력필터와 병렬 수동필터를 이용한 고조파 전류 저감 및 불평형 전원 전압 보상에 관한 연구

오재훈(Jaehon Oh),고수현(Suhyun Ko),한윤석(Yoonseok Han),김영석(Youngseok Kim) 대한전기학회 2001 대한전기학회 학술대회 논문집 Vol.2001 No.10