• Proceedings of the KIPE Conference
• /
• 2012.07a
• /
• pp.170-171
• /
• 2012

본 논문은 일부 내부 가습형 연료전지 스택에서 가습시 발생되는 출력전압의 단락현상을 해결하기 위한 다양한 방법들을 제시한다. 가습구간동안 배터리로부터의 전력을 활용하는 제어알고리즘 적용 방법, 출력전압의 허용 범위를 만족시키기 위해 하드웨어적으로 보상하는 방법들을 제안하고 실험을 통해 그 효과를 검증한다.

• Knowledge Management Research
• /
• v.23 no.3
• /
• pp.1-22
• /
• 2022

This study aims to investigate the gamification effect of the badge awards, the most popular gamification process, on users participation behavior. This study also attempts to investigate the effect of tailored gamification, which designs the system of gamification differently based on users' characteristics, focusing on the level of online user information disclosure. For this, we collect and analyze data on 557 users and 1,048,020 answers from StackOverflow, an online Q&A community for developers. The results show that providing a badge is effective for increasing the amount of user participation, whereas providing a goal through the badge is partially effective for increasing the quality of participation. However, the moderating effect of whether users disclose their SNS information on the relationship between badge gaining and participation decrease is not statistically significant. For platform operators, our findings emphasize the importance of gamification design to enhance user engagement effectively.

• KIISE Transactions on Computing Practices
• /
• v.22 no.6
• /
• pp.296-301
• /
• 2016

Object-based storage is an efficient storage solution that can handle unstructured data and shows better security and scalability than traditional block-based storage. However, in terms of power management, Object-based storage writes multiple copies in storage cluster, hence many servers consume unnecessary power in idle state. In order to resolve this problem, it is necessary to apply power management strategy by adjusting power mode of servers in idle state according to their workloads. In this paper, we proposed a new dynamic power management (DPM) method to transform power mode of storage servers dynamically according to workload information sent from proxy server. The experimental result shows that the proposed power management technic reduces total power consumption by 12% in the OpenStack based Swift object storage.

• The KIPS Transactions:PartD
• /
• v.17D no.4
• /
• pp.297-310
• /
• 2010

Recently, a new testing technique called concolic testing receives lots of attention. Concolic testing generates test data by combining concrete program execution and symbolic execution to achieve high test coverage. CREST is a representative open-source test tool implementing concolic testing. Currently, however, CREST only deals with integer type as input. This paper presents a new rule for automated test data generation in presence of inputs of pointer type. The rules effectively handles multi-level stack-directed pointers that are mainly used in C programs. In addition, we describe a tool named vCREST implementing the proposed rules together with the results of applying the tool to some C programs.

• The Journal of the Korea Contents Association
• /
• v.6 no.1
• /
• pp.14-22
• /
• 2006

The multimedia visualizational spreadsheet environment is shown to be extremely effective in supporting the organized visualization of multi-dimensional data sets. In this paper, we designed the visualization model that consists of the configurational 2D arrangement of spreadsheet elements at run time and each spreadsheet element has a novel framestack. As the feature, it supports 3D data structure of each element on the proposed model. It enables the visualization spreadsheet 1) to effectively manage, organize, and compactly encapsulate multi-dimensional data sets, 2) to reconfigure cell-structures dynamically according to client request, and 3) to rapidly process interactive user interface. Using several experiments with scientific users, the model has been demonstrated to be a highly interactive visual browsing tool for 2D and 3D graphics and rendering in each frame.

• Membrane Journal
• /
• v.16 no.3
• /
• pp.167-181
• /
• 2006

Continuous Electrodeionization (CEDI) is a hybrid separation process of electrodialysis and ion exchange to produce high purity water under electric field. CEDI system is generally explained with two regimes, ionic removal and electroregeneration. The performance optimization and modification of stack configuration is required for the effective utilization and various applications of a CEDI system. Understanding on various system characterization method and ion transport equation is thus necessary to utilize the CEDI system more effectively. This article provides a general review of continuous electrodeionization, including the basic principles and current stage of technologies of a CEDI system.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2001.05a
• /
• pp.546-549
• /
• 2001

IPOW 기술은 파장이 갖는 특성으로 인하여 여러 가지 제약 사항을 갖고 있어 기존에 개발된 MPLS 기술을 효과적으로 적용하기 위해서는 WDM의 특성을 잘 분석하여 적용하여야 한다. 본 논문에서는 현재 IETF를 중심으로 연구중인 MPLamdaS 개념을 기초로 하여 광 인터넷의 진화를 고려한 구조적인 접근 방법을 연구한다 MPLS 도메인과 MPLambdaS 도메인간에 연동을 고려하여 전자적인 다수의 LSP를 광 LSP로 모으는 레이블 스택 개념을 이용한 Lambda LSP Tunneling 기술을 적용하여 전자적인 MPLS와 광 MPLambdas 간의 연동 방안을 제안하고 이를 지원하는 Edge Optical LSR의 구조를 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04a
• /
• pp.201-204
• /
• 2002

본 논문에서는 멀티미디어 응용 개발 프레임워크에서 멀티미디어 응용 개발 프레임워크에서 네스티드 세션 관리에서의 오류 복구 방식에 대하여 기술한다. 네스티드 세션이란 하나의 부모 세션 아래에 여러 개의 자식 세션이 존재하는 것을 말한다. 제안하고자 하는 오류 제어는 멀티미디어 응용 개발 프레임워크에서 오류 발생시 오류를 하나의 메시지로 취급한다. 네스트드 세션에서 오류가 발견되면 복구는 스택을 사용하고 도미노 효과를 제거하기 위하여 네스티드 세션 및 검사점을 이용한 복구 알고리즘을 제안한다.

• The Journal of the Acoustical Society of Korea
• /
• v.14 no.6
• /
• pp.13-20
• /
• 1995

In this paper, the thermoacoustic refrigerating system was implemented and its operation was experimentally verified. The system is composed of several parts ,4 inch midrange speaker, speaker housing, chamber, stack housing, stack of plates, heat exchangers, thin pipe and cavity. The system is filled with He gas at 10 bar and contains T-type thermocouples and condenser microphone for measuring the temperature and pressure inside, respectively. In addition, cooling water is used for protecting speaker from thermal destruction and cooling down the hot heat exchanger. For the experimental verification of the implemented refigerating system, electrical impedance and resonance characteristics were measured. The results showed that it was most efficient to drive the system at 340 Hz. When operated at 340 Hz, $30^\circ{C}$ environments and 50 electical watts, the temperature of the cold region decreased by $16^\circ{C}$. The dissatisfaction mainly comes from the incomplete thermal insulation of the cold region. We also pointed out some guidelines to improve the performance for later study.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.12
• /
• pp.3023-3032
• /
• 1997

This study examined individual differences in navigating in hyperspace learning environment where a minimum structure is provided. Using a hypercard stack called "Pearl Harbor", Field Dependent people used guidance more often than those in Field Indepedent; FI achieved scored higher at the end of the study; and FI people had some type of pattern showing from them audit trail when FD people did not show any trail of patterns. Also people with higher visual thinking scores achieved higher scores in hyperspace environment.