• Journal of KIISE:Computer Systems and Theory
• /
• v.35 no.1
• /
• pp.53-59
• /
• 2008

In spite of increasing complexity of wireless sensor network applications, most of the sensor node platforms still have severe resource constraints. Especially a small amount of memory and absence of a memory management unit (MMU) cause many problems in managing application thread stacks. Hence, a shared-stack was proposed, which allows several threads to share one single stack for minimizing the amount of memory wasted by fixed-size stacks. In this paper, we present the memory usage models for thread stacks by deriving the overflow probability of the fixed-size stack and the shared-stack and also show that the shared-stack is more reliable than the fixed-size stack.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.413-415
• /
• 1998

스택 머신 코드(stack-machine code)를 레지스터 기반 언어로 변환하는데 있어 스택의 타입 정보가 있으면 보다 효율적인 코드를 생성할 수 있음을 알아내었다. 본 논문에서는 스택 머신 코드의 타입을 분석해야 할 이유를 제기하고, 요약해석 방법론에 따라 분석 방법을 제시하고, 제시된 분석 방법의 안전성을 짚어 본다.

• 한국신재생에너지학회:학술대회논문집
• /
• 2010.11a
• /
• pp.79.1-79.1
• /
• 2010

현재까지의 연료전지 스택 고장 진단 방법은 스택의 전류와 각 셀 전압값을 측정하고 그 측정된 값을 계산함으로써 스택의 고장 여부를 판단하는 것이었다. 이러한 방법은 수백개 이상의 스택의 셀 전압을 2~4개 단위로 측정하기 때문에 백개 이상의 측정 채널이 필요하다. 또한, 스택 진단 시스템을 복잡하게 하여 신뢰성을 저하시킬 뿐만 아니라 가격 상승을 유발한다. 본 논문에서는 이러한 문제점을 해결하기 위해 THDA(전고조파왜율 분석) 방법을 제안하였다. THDA는 스택에 교류 전류를 주입하고 스택 양단의 전압을 측정하여 주입된 교류 전류의 THD를 구함으로써 연료전지 스택의 상태를 진단하는 방법이다.

• Journal of KIISE:Software and Applications
• /
• v.31 no.6
• /
• pp.840-848
• /
• 2004

Garbage collecting objects in Java makes memory management easier for the programmer, but it is time consuming. Stack allocation may be an alternative which identifies stack-allocatable objects before the execution, without performance degradation. We suggest an escaping analysis recording the interprocedural movement of the method, to detect an object the method of whose creation may have been already deactivated during the access. Our approach is different from prior works, enables us to handle some cases that are missed in the previous variable - oriented approach.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06b
• /
• pp.403-405
• /
• 2006

Java 2에서는 자원의 접근관리를 위하여 정책파일에 근거한 스택 인스펙션(stack Inspection)기법을 제공하고 있다. 본 논문에서는 스택 인스펙션에 자연스럽게 접근하여 불필요한 권한검사 집합을 구하기 위해 역방향 흐름분석(backward flow analysis) 기법을 사용한 권한검사 시스템을 구현하였다. 이를 통해 정책파일의 내용에 근거하여 각 메소드에서 항상 성공하거나 실패하는 권한검사를 결정하여 보여준다. 또한 권한검사에 대해서 스택 인스펙션하는 과정을 추적해볼 수 있다. 본 시스템을 이용하는 사용자는 불필요한 권한검사를 제거하여 스택 인스펙션을 최적화하거나, 자신의 프로그램에 적절한 보안정책을 세우기 위해 정책파일을 수정하는데 이 분석결과를 활용할 수 있다.

• Journal of Energy Engineering
• /
• v.8 no.1
• /
• pp.23-33
• /
• 1999

용융탄산염 연료전지의 대형화에 관한 기본 기술을 확립하기 위하여 전극의 유효면적이 625 $\textrm{cm}^2$인 단위전지를 20단 적층한 내부 분배형 용융탄산염 연료전지 스택을 제작하고 그 성능을 살펴보았다. 연료로 72% H2/18% CO2/10% H2O를 , 산화제로는 70% air/30% CO2의 혼합 기체를 사용하여 운전한 결과 전류밀도가 150 mA/$\textrm{cm}^2$이고 연료 및 산화제의 이용율이 0.4일 때, 스택 전압이 16.62 V로 1.56 kW의 높은 초기출력을 나타내었다. 스택 내 분리판에서의 온도 분포는 가스 흐름 방향으로 온도가 증가하였으며 스택출력이 높아질수록 가스 배출 부분의 온도가 상승하였다. 스택 내 각 단위전지간의 성능 분포는 균일하지 않았으며, 가스이용율에 따라 그 편차가 증가하였다. 연속 운전 300시간 후부터 스택의 성능이 감소하였으며, 그 원인을 분석한 겨로가 탄소 석출과 부식 생성물에 의한 전기 단락 때문으로 밝혀졌다. 본 연구를 통하여 anode 출구에서의 가스 조성을 분석함으로써 전기 단락에 의한 전압 손실량을 계산하는 기법을 확립하였다. 또한 본 연구에서 얻은 결과를 통하여 향후 스택의 대형화와 장수명화에 대한 대책을 제시하였다.

• 한국신재생에너지학회:학술대회논문집
• /
• 2010.06a
• /
• pp.145.2-145.2
• /
• 2010

탄소복합소재 분리판의 연료전지 성능을 시험하기 위해 소형 고분자연료전지 스택을 제작하였으며 연료전지 운전에 따른 성능변화를 측정하여 탄소복합소재 분리판이 연료전지 스택의 성능에 미치는 영향을 조사하였다. 자체 설계한 가스유로로 디자인된 분리판과 MEA를 적층한 스택의 초기 성능과 장기간 운전에 따른 전압 감소를 측정하였다. 또한 장시간 운전 동안 각 셀의 전압 거동도 함께 측정하였으며 비교를 위해 흑연 분리판을 이용하여 제작한 스택의 성능도 함께 시험하였다. 스택에서 각 셀의 성능은 단위전지에서의 성능과 유사하게 나타나 분리판과 스택의 구조가 셀의 성능을 충분히 보여줄 만큼 적절히 디자인된 것을 알 수 있었으며, 장시간 운전 동안 전류가 증가함에 따라 스택의 성능 감소도 점차 증가하였으며 두 종류의 스택이 유사한 성능 감소를 보여 자체 제작한 탄소복합소재 분리판이 흑연 분리판과 유사한 성능을 보임을 알 수 있었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.586-588
• /
• 2002

실행 시간 스택 프레임의 하단과 상단을 가리키는 프레임 포인터와 스택 포인터는 항상 일정한 대소 관계를 유지한다. 선형 스택 공격이 진행되면, 이관계가 반전된다. 이때 스택이 역위되었다고 한다. 본 논문은 x86프로세서 계열의 gcc 컴파일러에 스택 역위 탐지기능을 부여하여, 이 컴파일러를 사용하였을 때 실행 프로그램의 성능에 미치는 영향을 분석하였다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2002.05d
• /
• pp.1001-1006
• /
• 2002

KVM에서의 검증단계는 크게 두가지로 나된다. 일반적으로 처리되는 Off-device에서의 사전검증과 실제 VM에 탑재되어 수행되는 in-device에서의 검증이다. 전자의 경우, 실행시 검증을 쉽게 하기 위해서 클래스 파일에 특별한 속성을 가진 스택맵을 추가한다. 이렇게 추가된 스택맵은 KVM상에서 보다 효율적인 검증을 위한 것으로써, 본 논문에서는 이러한 스택맵을 분석하였다.

• 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.