http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
김윤호(Yunho Kim),이명무(Myung Moo Lee) 동국대학교 경영연구원 2023 경영과 사례연구 Vol.45 No.1
Living Labs are spaces for innovative and participative research, development and activities that use multidisciplinary approaches and promote the co-creation paradigm. The main aim of this paper is therefore to put Living Labs in the context of rural areas and evaluate their possible contributions for sustainable rural development. This study analyzed the prototyping cases of cardamom dryer, cooking stove and farm reservoir design with the topic of sustainable living in rural areas in India. The research method was as follows. First, the selected living lab cases were explained according to the innovation development process. Second, the 20 evaluation criteria of the European Network of Living Labs (ENoLL) were mapped to the components of the Extended Business Model Canvas (EBMC). Third, the characteristics of Urban Living Lab were presented by grouping in the components of the Extended EBMC. And, based on the suggested characteristics, we offer a Proposition for the sustainable development of an Rural Living Lab. 리빙랩은 다차원적 접근법을 사용하고, 공동 창조 패러다임을 촉진하는 혁신적이고 참여적인 연구, 개발 및 활동을 위한 공간이다. 본 연구의 목표는 리빙랩이 농촌 컨텍스트에서 지속가능한 농촌 발전을 위해 기여하는 바를 평가하는 것이다. 이를 위해 첫째, 인도 농촌의 3개 리빙랩 사례(식물건조기 및 취사난로 개발, 농장 내 저수지 설계)에 대해 프로젝트 개요 및 필요성, 혁신 개발 프로세스를 설명한다. 둘째, 유럽리빙랩네트워크의 평가기준 20개를 확장된 비즈니스모델캔버스(Extended Business Model Canvas)의 구성요소에 그룹화하여 맵핑시키고, 사례에 맞춰 모델의 세부 구성요소를 설명한다. 셋째, EBMC의 구성요소에서 그룹화하여 추출된 농촌 리빙랩의 특성을 제시하고, 그 특성을 기반으로 농촌 리빙랩의 지속가능한 발전을 위한 제언을 한다.
슬로싱의 영향이 포함된 사각형 부유체의 1자유도 및 2자유도 운동에 대한 실험적 연구
김윤호(YunHo Kim),성홍근(Hong G. Sung),조석규(SeokKyu Cho),정희운(HuiUn Jeong),최항순(Hang S. Choi) 대한조선학회 2012 대한조선학회 학술대회자료집 Vol.2012 No.5
This study is constructed to investigate the sloshing effect on the motions of a two-dimensional rectangular floater experimentally. There are two main categories. First, only roll motion is permitted and the other motions are firmly restricted. Second, sway and roll motions are are just allowed simultaneously with heave motion prevented. Sway motion is occurred along the flume's upper rail, while roll motion is performed at the center bearing of the model. Experiments are performed in the 2D flume at Seoul Nat'l University. The filling ratios are changed from empty to 50% and for the second experimental case, the ballast conditions are varied to quantify the rail friction effect. All tests are carried out under regular wave conditions. The motions measured by a non-contact camera, which can trace two different marks on the model accurately. The steady-state sway and roll motions are filtered out by post-processing. The spring system is installed to prevent th model drift off. For the first case, it is found that as the filling ratio is increased, the roll natural frequency becomes lower. And the sloshing effect is observed at the vicinity of roll natural frequency and sloshing natural one, but the amount is not that much significant as the sway motion. For the second case, sway motion is dominant and roll motion is almost diminished except for cases near the sloshing natural frequency. Between 4.0~7.0rad/s, which is the interval between roll natural frequency and sloshing natural one, it is found that coupling of two motions leads the roll motion's phase shift and finally internal fluid tank acts as ART(Anti-Rolling Tank) precisely.
탄소섬유 산화 현상을 고려한 탄소복합재료의 섬유체적비 측정법
김윤호 ( Yunho Kim ),( Sathish Kumar ),최충현 ( Chunghyeon Choi ),김천곤 ( Chungon Kim ),김선원 ( Sunwon Kim ),임재혁 ( Jaehyuk Lim ) 한국복합재료학회 2015 Composites research Vol.28 No.5
섬유체적비에 따라 복합재료의 기계적 열적 특성이 크게 달라지기 때문에, 복합재료 설계시 섬유체적비를 올바르게 측정하는 것이 매우 중요하다. 일반적으로 섬유체적비를 측정하는 여러 방법은 산화되지 않는 유리섬유나 세라믹섬유를 사용한 복합재료의 경우에는 적합하고 효율적이다. 하지만 산화현상이 있는 탄소섬유의 경우에는 산화 방법과 조건에 따라서 다른 결과를 가져오게 되며 그러므로 올바른 섬유체적비를 측정이 어렵다. 본연구에서는 Thermogravimetric analysis를 수행하여 산화되는 탄소섬유의 질량 감소량을 보정하여 탄소섬유 복합재료의 섬유체적비를 측정하였고 현미경 단면 이미지를 이용하여 그 결과를 검증하였다. Measuring fiber volume fraction properly is very important in designing composite materials because the fiber volume fraction mainly determines mechanical and thermal properties. Conventional Ignition methods are effective for ceramic fiber reinforcing composite materials. However, these methods are not proper for applying to carbon fiber reinforcing composites because of the venerable characteristic against oxidation of carbon fiber. In the research, fiber volume fraction of carbon fiber composites was obtained by a thermogravimetric analysis considering oxidation characteristic of the carbon fiber and the method was compared and verified with the results from microscopic cross section images.
CREST-BV: 임베디드 소프트웨어를 위한 Bitwise 연산을 지원하는 Concolic 테스팅 기법
김윤호(Yunho Kim),김문주(Moonzoo Kim),장윤규(Yoonkyu Jang) 한국정보과학회 2013 정보과학회논문지 : 소프트웨어 및 응용 Vol.40 No.2
기존 소프트웨어 테스팅 기법은 개발자가 수동으로 테스트 케이스를 작성해야 하는 비효율성으로 인해 임베디드 소프트웨어의 안정성 확보에 어려움이 있다. Concolic 테스팅 기법은 자동으로 소프트웨어 테스트 케이스를 생성함으로써 기존 소프트웨어 테스팅 기법의 문제를 해결했지만, 임베디드 소프트웨어 테스트에 필수적인 bitwise 연산을 지원하지 않는 문제가 있었다. 본 논문에서는 임베디드 소프트웨어를 위해 bitwise 연산을 지원하는 Concolic 테스팅 개선 방법을 연구하고 오픈 소스 임베디드 소프트웨어 Busybox에 적용하여 기존 연구와 분기 커버리지 및 실행 속도를 비교하였다. Busybox의 10개 유틸리티에 적용한 결과 기존 연구 결과 대비 평균 33%의 분기 커버리지 향상이 있었다. 또한, CREST-BV의 성능 저하 원인을 분석하였다. Conventional testing methods often fail to assure reliability of embedded software due to inefficiency and ineffectiveness of manual test case generation. Concolic testing can address this by automatically generating test cases but has a limitation that does not support bitwise operations critical to embedded software. To address this limitation, we have developed an improved concolic testing technique with bitwise operations support for embedded software. We applied the improved technique to 10 utilities of open-source embedded software Busybox and achieved 33% more branch coverage on average. In addition, we analyzed the performance bottleneck of the improved technique.
사례연구를 통한 정적 프로그램 분석 기법을 사용하는 도구의 비교
김윤호(Yunho Kim),박용배(Yongbae Park),김문주(Moonzoo Kim) 한국정보과학회 2013 정보과학회 컴퓨팅의 실제 논문지 Vol.19 No.8
프로그램 신뢰성 향상을 위해서 정적 프로그램 분석 도구가 많이 사용되고 있다. 하지만, 정적 분석 결과에서 거짓 경보를 걸러내기 위한 추가적인 분석이 필요하고 실제 오류를 찾지 못할 수 있는 문제점이 있다. 본 논문에서는 상용 정적 프로그램 분석 도구인 Coverity와 Sparrow 및 오픈 소스 도구인 Clang analyzer를 buffer overflow 벤치마크와 libexif 0.6.20 소스코드에 적용하여 실험 대상 도구가 오류를 찾아내는데 얼마나 효과적인지 사례 연구를 수행하였다. 실험 결과 buffer overflow 벤치마크에서는 Coverity, Sparrow, Clang analyzer 각각 6.02%, 3.61%, 0%의 버그탐지율과 2.41%, 1.20%, 0%의 오탐율을 보였다. libexif 0.6.20 적용에서 Coverity, Sparrow, Clang analyzer는 총745개의 오류를 찾아내었으나 알려진 7개의 오류 중 6개를 찾아내지 못하였다. 이와 같이 정적 분석 도구가 놓칠 수 있는 오류가 많으므로 높은 소프트웨어 신뢰성 보장을 위해 다른 기법과 병행하여 적용하는 것이 필요하다. Static analysis tools have been widely used to improve software reliability. However, static analysis tools have limitations that can generate false alarms and can miss real bugs. This paper presents a comparative study of three static analysis tools, Coverity, Sparrow, and Clang analyzer, through a case study on a set of buffer overflow benchmark programs and libexif 0.6.20 to evaluate the effectiveness of the three static analysis tools in terms of a bug finding capability. Experiment results on buffer overflow benchmark show that bug detection capabilities of Coverity, Sparrow, and Clang analyzer are 6.02%, 3.61%, and 0%, respectively and false alarm ratios of Coverity, Sparrow, and Clang analyzer are 2.41%, 1.20% and 0%, respectively. Experiment results on libexif 0.6.20 show that Coverity, Sparrow, and Clang analyzer detect 745 bugs and miss 6 out of 7 real bugs. Thus, it is necessary to use other bug finding techniques with static analysis techniques for achieving high software reliability, because static analysis tools can miss real bugs in target programs.