• 정보처리학회논문지D
• /
• 제17D권4호
• /
• pp.297-310
• /
• 2010

최근에 콘콜릭 테스트이라 불리는 새로운 테스팅 방법이 많은 관심을 받고 있다. 콘콜릭 테스팅은 높은 테스트 커버리지를 달성하기 위해 실제 프로그램 수행과 심볼릭 수행을 결합하여 테스트 데이터를 생성한다. CREST는 콘콜릭 테스팅을 구현한 대표적인 open-source 테스트 도구이다. 그러나 현재 CREST는 입력으로 정수형만 다룬다. 이 논문은 포인터형인 입력이 존재하는 경우에 자동 테스트 데이터 생성을 위한 새로운 규칙을 제안한다. 이 규칙들은 C 프로그램에서 주로 사용되는 다단계 스택 지향 포인터를 효과적으로 처리한다. 또한, 이 논문에서는 제안 된 규칙을 구현한 vCREST라 불리는 도구에 대해 기술하고 C 프로그램에 적용한 결과도 함께 기술한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2018년도 추계학술발표대회
• /
• pp.530-533
• /
• 2018

클라우드 컴퓨팅에 대한 관심이 높아지면서 클라우드 자원의 구성과 설정을 자동화하는 클라우드 오케스트레이션 기술 역시 각광받고 있다. 클라우드 오케스트레이션 기술을 활용하면 다수의 클라우드 자원을 수동적으로 생성하고 설정할 필요 없이 스트립트를 실행함으로써 자동화할 수 있어 많은 클라우드 이용자에게 확산되고 있다. 그러나 현재 클라우드 플랫폼에서 제공하는 클라우드 오케스트레이션 서비스들은 템플릿 스트립트를 수동적으로 작성해야 하며, 가상 머신의 성능이나 배포해야 할 어플리케이션 등 스크립트의 구성 요소들을 사용자가 직접 매핑하기 어렵다는 문제점을 가지고 있다. 본 논문에서는 사용자가 원하는 기능 및 비기능 요구사항을 반영하여 YAML 스크립트 파일을 자동으로 생성하고 이를 통해 클라우드 환경을 자동적으로 구축할 수 있는 오케스트레이션 시스템을 제안한다. 제안하는 시스템의 아키텍처와 프로세스를 제시하며, 본 방법을 클라우드 기반 스마트 빌딩 환경 구축에 적용하는 사례 연구를 진행하였다.

• Journal of Biosystems Engineering
• /
• 제43권4호
• /
• pp.440-444
• /
• 2018

Purpose: Cloud-computing technology has several advantages, including maintenance, management, accessibility, and computing power. A greenhouse-control system utilizing these advantages was developed using a private cloud-computing system. Methods: A private cloud needs a collection of servers and a suite of software tools to monitor and control cloud-computing resources. In this study, a server farm, operated by OpenStack as a cloud platform, was constructed using servers, and other network devices. Results: The greenhouse-control system was developed according to the fundamental cloud service models: infrastructure as a service, platform as a service, and software as a service. This system has four additional advantages - security, control function, public data use, and data exchange. There are several considerations that must be addressed, such as service level agreement, data ownership, security, and the differences between users. Conclusions: When the advantages are utilized and the considerations are addressed, cloud-computing technology will be beneficial for agricultural use.

• 한국초전도ㆍ저온공학회논문지
• /
• 제4권1호
• /
• pp.135-139
• /
• 2002

In this study, the experimental open-tube and close-tube thermoacoustic apparatuses were built. In order to determine the optimum length of resonant tube and the optimum length of stack, the resonant characteristics of thermoacoustic apparatuses were investigated, The length of resonant tube varies from 400mm to 850mm. The experimental frequency varies from 100Hz to 1000Hz. In case of the second and third harmonics, the maximum temperature difference of open-tube thermoacoustic apparatus is 53$^{\circ}C$ (resonator length: 400mm) and the maximum temperature difference of closed-tube thermoacoustic apparatus is 51$^{\circ}C$ (resonator length: 500mm). In the open-tube thermoacoustic apparatus, the peak efficiency point is about 2%, 55%, 69% in the resonant tube and in the closed-tube thermoacoustic apparatus, the peak efficiency point is about 2%, 41%, 50% in the resonant tube.

• 신재생에너지
• /
• 제1권2호
• /
• pp.41-52
• /
• 2005

The effects of internal manifold designs on the reactants feed-stream in Polymer Electrolyte Fuel Cells [PEFCs] is studied to figure out flow and thermal distribution patterns over an entire fuel cell stack. Reactants flows are modeled either laminar of turbulent depending on regions and the open channels in the bipolar plates are simulated by porous media where permeability should be pre-deter-mined for computational analysis. In this work, numerical models for reactants feed-stream In the PEFC manifolds are classified Into two major flow patterns: Z-shape and U-shape. Several types of manifold geometries are analyzed to find the optimal manifold configurations. The effect of heat generation in PEFC on the flow distribution is also Investigated applying a simplified heat transfer model in the stack level (i.e. multi-cell electrochemical power-generation unit). This modeling technique Is well suited for many large scale problems and this scheme can be used not only to account for the manifold flow pattern but also to obtain Information on the optimal design and operation of PEFC systems.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 추계학술발표대회
• /
• pp.295-296
• /
• 2012

단일 클라우드 환경에서 발생하는 비효율적인 자원 사용 및 서비스 신뢰성 문제를 극복하기 위하여 다중 클라우드 서비스 제공자가 존재하는 멀티 클라우드 환경을 고려할 수 있다. 멀티 클라우드 환경에서 각 클라우드 서비스 제공자는 이종의 클라우드 플랫폼을 구축하므로 이를 일괄적으로 접근, 제어 및 관리하기 위한 통합 모듈이 요구된다. 본 논문에서는 현재 오픈소스로 공개되어 있는 OpenStack, Eucalyptus 및 CloudStack과 같은 이종의 클라우드 플랫폼을 연동 및 접근할 수 있는 클라우드 브로커 구조를 제안한다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2019년도 제60차 하계학술대회논문집 27권2호
• /
• pp.259-260
• /
• 2019

4차산업이 본격화되면서 드론의 경제적 활용에 대하여 많은 관심이 집중되고 있다. 본 논문에서는 드론의 효율적 제어를 위하여 비행제어시스템의 운용프로그램인 비행제어 프로그램에 대하여 분석한다. 현재 오픈소스 비행 스택들을 다양한 비행제어기에 적용하기 위하여 다양한 기능들을 포함하고 있어 그 크기가 방대하다. 본 연구에서는 공개된 비행제어시스템을 분석하여 소형 무인 비행체인 드론에서 사용할 비행제어프로그램을 설계하고 구현하고자 한다. 제안한 비행제어프로그램은 구조가 간단하여 제어주기에 해당하는 루프타임을 줄일 수 있고, 특정 기능의 추가와 변경이 용이할 것으로 예상한다.

• 한국신재생에너지학회:학술대회논문집
• /
• 한국신재생에너지학회 2008년도 춘계학술대회 논문집
• /
• pp.550-553
• /
• 2008

In this paper, experiments of air-breathing proton exchange membrane fuel cell (PEMFC) for mobile devices were carried out according to the cathode conditions. These conditions are defined by the cathode flow field plate type (the channel type, the open type) and the cathode surface direction. Single cell and 6-cell stack were used in this experiments. The experimental results showed that the open type cathode flow field plate gave better performance for small size PEMFCs because the open type cathode plate allowed better air convection than the channel type cathode plate. In the experiments related to the direction of the slits on the cathode flow field plate, the horizontal slit cell was better than the vertical slit cell. With respect to the cathode surface direction, when the cathode surface is placed in the direction normal to the ground, PEMFC generated more stable power in the mass transport loss region.

• 한국재료학회지
• /
• 제23권3호
• /
• pp.206-210
• /
• 2013

In the segmented-in-series solid-oxide fuel cells (SIS-SOFCs), fabrication techniques which use decalcomania paper have many advantages, i.e., an increased active area of the electrode; better interfacial adhesion property between the anode, electrolyte and cathode; and improved layer thickness uniformity. In this work, a cell-stack was fabricated on porous ceramic flattened tube supports using decalcomania paper, which consists of an anode, electrolyte, and a cathode. The anode layer was $40{\mu}m$ thick, and was porous. The electrolyte layers exhibited a uniform thickness of about $20{\mu}m$ with a dense structure. Interfacial adhesion was improved due to the dense structure. The cathode layers was $30{\mu}m$ thick with porous structure, good adhesion to the electrolyte. The ohmic resistance levels at 800, 750 and $700^{\circ}C$ were measured, showing values of 1.49, 1.58 and $1.65{\Omega}{\cdot}cm^2$, respectively. The polarization resistances at 800, 750 and $700^{\circ}C$ were measured to be 1.63, 2.61 and $4.17cm^2$, respectively. These lower resistance values originated from the excellent interfacial adhesion between the anode, electrolyte and cathode. In a two-cell-stack SOFC, open-circuit voltages(OCVs) of 1.915, 1.942 and 1.957 V and maximum power densities(MPD) of 289.9, 276.1 and $220.4mW/cm^2$ were measured at 800, 750 and $700^{\circ}C$, respectively. The proposed fabrication technique using decalcomania paper was shown to be feasible for the easy fabrication of segmented-in-series flattened tube SOFCs.

• 한국문헌정보학회지
• /
• 제49권3호
• /
• pp.437-456
• /
• 2015

본 연구의 목적은 선행연구에서 밝혀진 자동서고의 자료 수장 효율을 다른 유형의 서고와 비교 분석하는데 있다. 국내외의 대학도서관은 장서 증가에 따라 자료 수장 효율을 높이기 위한 방안으로 자동서고시스템을 도입하였다. 선행연구에 의하면 자동서고는 개가제 서고나 고정서가형 및 이동서가형 보존서고보다 자료 수장 효율이 높다. 본 연구는 우리나라 S대학교도서관 자동서고의 자료 수장량을 개가제 서고와 가상의 고정서가 형 및 이동서가형 보존서고의 수장량과 비교하였다. 조사결과 자동서고는 개가제 서고보다 최대 6배, 고정서가형 보존서고보다 최대 3.61배 그리고 이동서가형 보존서고보다 최대 1.45배 높은 것으로 나타나, 선행연구에서 밝혀진 것보다는 자료 수장 효율이 낮았다.