• The Transactions of the Korea Information Processing Society
• /
• v.2 no.3
• /
• pp.364-373
• /
• 1995

We propose a probabilistic design method and performance analysis in the area of dynamic data structures. We assign two stacks to a block which consists of m contiguous memory cells. Frequencies of delete and insert operations are not fixed, but depend on stack heights. We present various probabilistic schema and a rigorous performance analysis for a random memory allocation. Especially, stack coillision problem is studied and exponential increase of the mean of collision time as mlongrightarrow$\infty$is showed. We also present general mathematical schema which can be applied to the performance problems of finite automata and other computer information systems.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.940-942
• /
• 2004

자바가상기계의 메모리 할당에서 서로 다른 크기의 메모리 할당과 해제는 힙 영역과 자바 스택 영역에 심각한 외부 단편화를 발생시킨다. 자바가상기계에서 외부 단편화는 가비지 콜렉션의 발생을 증가시키고 메모리를 할당하기 위한 메모리 접근이 증가되는 고비용의 동작이 발생하므로 소규모 메모리에서 동작하는 임베디드 자바가상기계에서 성능저하가 발생하게 된다. 본 논문에서는 임베디드 자바가상기계에서 외부 단편화를 최소화하고 메모리를 효율적으로 관리하기 위한 한 가지 방안으로 고정크기 메모리 할당 방법에 대한 연구이다. 고정크기 메모리 할당 기법은 자바가상기계의 힙 영역에 가장 큰 객체의 크기를 기준으로 할당하고 자바 스택 영역에 가장 큰 스택 프레임을 기준으로 할당하도록 하여, 힙 영역과 자바 스택 영역에 외부 단편화를 최소화하도록 하는 메모리 할당 정책이다. 고정 크기 메모리 할당은 내부 단편화에 따른 메모리 낭비가 발생될 수 있지만, 외부 단편화는 최소화되기 때문에 가비지 콜렉션 발생 횟수를 감소시킬 수 있으며, 회수된 메모리 공간을 재구성하는 고비용을 제거 할 수 있다. 또한 할당 해제된 영역들은 Free-List로 연결되어 메모리 할당을 위한 메모리 접근을 최소화시키는 장점을 가진다.

• Proceedings of the KIPE Conference
• /
• 2016.11a
• /
• pp.87-88
• /
• 2016

경전철 차량은 1MW이상의 전력을 요구하기 때문에 단일 인버터 시스템으로 구현할 경우 시스템 부피 및 비용 증가, 효율 감소 등 문제점을 가지게 된다. 이러한 이유로, 수 kW급 인버터 스택을 병렬로 구성하여 대용량 시스템을 구현한다. 본 논문에서는 이러한 대용량 인버터 시스템을 구성하는 스택 개발 사례를 보여주고 있다. 실험을 통하여 개발한 무선급전용 인버터 스택의 성능을 검증한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2024.05a
• /
• pp.321-322
• /
• 2024

다양한 방면에서 사용되는 임베디드 시스템의 메모리 취약성에 대한 관심이 많아짐에 따라 임베디드 시스템의 메모리 보호와 관련하여 많은 연구가 진행 중이다. 스택 카나리는 효율적인 메모리 보호 기법으로써 널리 사용되지만 물리 메모리가 제한적이고 사용자 권한 분리를 지원하지 않는 임베디드 시스템에서는 기존 방식을 활용한 스택 카나리를 적용하는 것에 한계가 있다. ARM의 TrustZone은 일반 실행 환경과 신뢰 실행 환경으로 분리하여 일반 실행 환경에서 신뢰 실행 환경의 데이터나 코드에 접근하지 못 하도록 막는다. 그렇기 때문에 ARM의 TrustZone에 암호화 키를 저장하거나 보안이 중요한 동작을 TrustZone에서 실행하는 연구가 많다. 본 논문에서는 ARM의 TrustZone을 활용하여 임베디드 시스템에서 스택 카나리 기법의 한계를 보완 할 수 있는 방법을 제안한다.

• Journal of Advanced Marine Engineering and Technology
• /
• v.39 no.7
• /
• pp.765-772
• /
• 2015

In this research, the characteristics of SOFC/GT (Solid Oxide Fuel Cell/Gas Turbine) system temperature, stack power and system efficiency for flow rates of air, CH4 and water supplied to SOFC stack have been investigated. The temperature of the gas supplied to cathode and anode of SOFC stack in the SOFC/GT system are maintained by utilizing exhaust gas without the addition of external heat source. As a result, within the scope of this study, temperatures of gas supplied to cathode and anode of SOFC stack were maintained at 1000 (K) by utilizing the exhaust gas of the SOFC/GT system without the addition of external heat source. The system efficiency is increased with increase of air flow rate supplied to the stack and with decrease of $CH_4$ flow rate supplied to the stack. In addition, it can be found that the flow rate of the exhaust gas supplied to the turbine had a significant effect on the system efficiency. And the efficiencies of SOFC stack and SOFC/GT system depending upon various operating conditions of the SOFC/GT system is 51~57% and 57~73%, respectively.

• Journal of Advanced Marine Engineering and Technology
• /
• v.35 no.6
• /
• pp.765-772
• /
• 2011

In this research, the fuel cell system model capable of generating codes in real time was developed to construct of a HIL (Hardware-In-the-Loop) for a SOFC-powered ship. Moreover, the effects of the distribution of the exhaust gas flow rates in a stack, the flow rates of fuels and temperature of air supplied on the temperature characteristics of fuels supplied to the cathode and the anode, the output power of the stack and system efficiency are examined to minimize the temperature difference between fuels supplied to the stack used in a 500kW SOFC system using methane as a fuel. As a result, the temperatures of fuels supplied to the cathode and the anode maintain at 830K when the opening factor of three-way valve located at outlet of turbine is 0.839. Also the process for optimization of methane flow rate considering the fuel cell stack and system efficiency is required to increase the temperatures of fuels supplied to the stack.

• Transactions of the Korean hydrogen and new energy society
• /
• v.11 no.3
• /
• pp.137-147
• /
• 2000

Not only study of fuel cell performance but study of fuel cell application is very important, therefore these studies were paralleled together for the commercialization of exciting power generation. The objective of this study is to determine the characteristics of shaft power and efficiency as a function of rpm and to compare natural convection air method to forced air method. From these results, performance of forced air was better than that of natural convection air because it enables to improve mass transportation by increasing air flow rate. With decreasing shaft power, efficiency of fuel cell decreases remarkably because dc motor drives at the low range of efficiency. Fuel cell powered vehicle has to be driven considering efficiency and shaft power. It should be driven at 35-45% of efficiency and 0.55-0.75v/cell.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10a
• /
• pp.130-134
• /
• 2006

본 논문에서는 메타 테이블(meta table)을 이용한 광선(ray)과 삼각형(triangle)들의 교차검사를 할 수 있는 효율적인 레이트레이싱 알고리즘을 제안한다. 기존의 kd-tree 탐색은 깊이 우선 탐색을 하면서 이미 방문했던 노드들을 방문하지 않기 위해서 스택을 이용하는 방법을 택하고 있는데, 본 논문에서 제안하는 알고리즘은 스택을 사용하지 않고 읽기 전용으로만 쓰이는 메타 테이블을 둠으로써 기존의 트리 탐색 과정보다 효율적으로 트리의 리프 노드들에 접근할 수 있도록 하였다. 실험결과 제안된 레이트레이싱 알고리즘이 기존의 kd-tree의 트리 탐색보다 노드 방문을 5배 이상 적게 하였고, 이미지 렌더링 시간도 총 2배 정도 향상됨을 볼 수 있었다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2004.05a
• /
• pp.358-361
• /
• 2004

자바 카드 기술이 나온지 약 8년 정도가 되었다 그간 많은 업체들과 연구원들에 의해 현재까지 자바 카드 기술이 많이 향상되어 왔다. 본 논문에서 제안하는 개발 도구는 계속해서 발전해가는 자바 카드 기술개발에 도움이 되고자 자바 카드 내부 스택에 들어있는 바이트 코드를 비주얼하게 접근 가능하도록 해준다. 이러한 이점이 off-Card영역에서 CAP 파일을 직접 이진 코드로 분석하는 것 보다 조금 더 빠르게 분석이 될 수 있게 하기 때문에 자바 카드 프로그램 개발에 있어서 개발자들에게 많은 도움이 될 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06a
• /
• pp.253-255
• /
• 2006

무선 센서 네트워크는 수백 혹은 수천 개의 무선 센서 노드들로 이루어지고 센서 노드의 플랫폼은 비용 효율성 때문에 매우 제한적인 메모리 공간을 지닌다. 이러한 센서 노드들은 자연의 정보를 수집하고, 이웃 노드들끼리 통신하며, 정보를 가공하여 사용자에게 실시간으로 전달하는 기능을 담당한다. 따라서 무선 센서 네트워크를 위한 센서 운영체제는 공간 효율적이고 다수의 작업들을 실시간으로 처리할 수 있는 멀티 쓰레드 기법이 필요하다. 본 논문에서는 공간 제약적인 센서 운영체제를 위한 스택리스 쓰레드 기법을 제안한다. 제안한 기법을 사용하면, 기존의 스택기반 쓰레드를 사용하는 것보다 메모리 공간의 사용량을 절감지킬 수 있다. 본 논문의 비교 실험 결과를 통하여, 제안한 기법을 사용하는 것이 기존의 방법보다 메모리 사용량을 상당히 줄일 수 있음을 보인다.