• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (1)
• /
• pp.754-756
• /
• 2004

CBMC는 ANSI-C 프로그램과 베릴로그 서킷사이의 일치성을 검증하는 툴이다. 입력된 서킷과 코드를 CNF로 변환 과정에서 C 코드는 중첩 루프, pointer, dynamic memory allocation등에 대한 변환의 문제점이 있다. 본 논문에서는 CBMC에서 C 코드의 CNF로 변환하는 과정의 문제점들을 동일한 식(equation)의 변환 과정에 대하여 설명하고 상용적인 트리플 DES를 CBMC로 검증하는 과정을 제시한다

• 한국정보처리학회논문지
• /
• 제2권3호
• /
• pp.364-373
• /
• 1995

본 논문은 동적 자료구조의 확률론적 운영방식의 설계와 그 성능분석의 이론적 접근 방법을 제시한다. 즉 m개의 셀로서 구성된 일련의 연속된 블록에 두 개의 스택 을 할당하여 공유하는 시스템의 확률적 운용방식의 효율성을 해석적 방법에 의한 성 능분석을 통하여 그 결과를 제시한다. 특히 스택 원소의 삽입과 제거는 스택의 현재 의 크기에 따라 빈도를 달리하는 방식을 제안한다. 따라서 두 스택의 충돌까지 스택 조작 횟수의 평균과 분산등 통계적 특성을 희소 사건 확률 계산이론에 의하여 m$\longrightarrow$$\infty$ 일 때 점근적 결과를 제시한다. 또한 유한상태기계, 컴퓨터 및 정보 시스템의 성능 분석에 응용할 수 있는 보다 일반적인 방법을 고찰한다.

• 한국정보과학회논문지:데이타베이스
• /
• 제36권5호
• /
• pp.374-385
• /
• 2009

플래시 메모리는 비휘발성이면서도 작고 가벼우며, 전력 소모가 적고 충격에 강하다는 장점 등으로 인해 휴대 기기를 포함한 다양한 기기의 저장매체로 사용되고 있다. 그러나 플래시 메모리는 하드디스크와는 달리 제자리 갱신이 불가능하고, 읽기 연산에 비해 쓰기 및 지우기 연산이 매우 느리기 때문에, 기존의 하드 디스크를 기반으로 설계된 데이터베이스 시스템은 플래시 메모리 상에서 최적의 성능을 내기 어렵다. 플래시 메모리 상에서 데이터베이스의 성능을 극대화하기 위해, 어떤 데이터에 변경이 발생하면 원래 위치의 데이터를 덮어쓰는 대신, 해당 데이터의 변경 사항에 대한 로그만을 다른 위치에 기록하는 방식들이 제안되었다. 본 논문에서는 플래시 메모리 기반의 데이터베이스 시스템을 위한 효율적인 로깅 방법을 제안한다. 제안하는 방법은 기존 방법들과 달리, 로그만을 저장하는 로그 블록들을 별도로 두고 데이터의 변경에 따라 발생하는 로그를 로그 블록들에 고르게 분포시킨다. 이를 통해 제안하는 방법은 페이지 쓰기 및 블록 지우기 연산의 횟수를 크게 감소시킬 수 있다. 합성 데이터와 TPC-C 벤치마크 데이터를 사용한 실험을 통해, 제안하는 방법은 기존의 방법에 비해 좋은 성능을 나타냄을 보였다.

• 한국정보처리학회논문지
• /
• 제4권6호
• /
• pp.1625-1635
• /
• 1997

객체지향 컴퓨터의 동적 메모리 할당을 위해 가중치 버디 시스템을 확장한 확장-가중치 버디 시스템을 제안하였다. 가중치 버디 시스템이 블럭의 크기를 $2^k와\;3*2^k$ 두가지로 제공하는데 비해 확장-가중치 버디 시스템은 블럭의 크기를 $2^k,\;3*2^k,\;5*2^k,\;7*2^k$등으로 제공한다. 이 확장은 각 블럭당 3비트의 추가 비용의 부담만으로 메모리 관리 장치를 실현할 수 있다. 그리고 본 기법과 가중치 버디 시스템을 비교 실험한 결과를 제시하였다. 확장-가중치 버디 시스템은 메모리 할당 요구 크기가 균일분포일 때 가중치 버디 시스템에 비해 내부단편화가 약 60% 정도 감소하였으며, 지수분포일 때 약 50% 정도 감소하였다. 외부단편화는 가중치 버디 시스템에 비해 본 논문에서 제안한 시스템이 크지만, 전체단편화는 지수분포시 확장-가중치 버디 시스템이 적으며 균일 분포시 두 시스템간에 큰 차가 없으므로 가중치 버디 시스템을 대체할 수 있다.

• 한국항행학회논문지
• /
• 제14권5호
• /
• pp.767-774
• /
• 2010

NAND 플래시 메모리는 높은 입출력 성능, 내장애성, 저전력 소모 등 여러 가지 장점을 가지고 있어서 하드디스크를 대체할 수 있는 새로운 저장 장치로 관심을 받고 있다. 전통적인 DBMS들은 FTL (Flash Translation Layer)를 이용하면 전혀 수정 없이 플래시 메모리 위에서 동작한다. 그러나, 대부분의 FTL은 DBMS가 아닌 파일 시스템에 최적화 되어있다. 또한, 전통적인 DBMS는 플래시 메모리의 특징 (erase-before-write) 을 고려하지 않고 있다. 이 논문에서는 플래시 메모리를 이차 저장장치로 사용하는 DBMS를 위한 플래시 고려하는 스토리지 시스템을 제안한다. 제안하는 플래시 고려 스토리지 시스템은 비용이 높은 변경 연산을 피하기 위해 로그 레코드를 이용한다. 마지막으로, 실험을 통해서 제안하는 스토리지 시스템이 기존에 제안된 플래시를 고려하는 DBMS에 비해 우수함을 보인다.

• 한국통신학회논문지
• /
• 제31권6C호
• /
• pp.614-622
• /
• 2006

본 논문에서는 패킷화 부가 정보를 효과적으로 감축할 수 있는 패킷화 기법을 제안한다. 이를 위해 기존의 인터넷 동영상 전송을 위한 패킷화 기법을 패킷 길이에 따른 패킷 손실률에 대한 특성을 검증하였다. 인터넷망을 이용한 동영상을 전송 실험을 통해 패킷의 길이가 경로 MTU (path MTU)를 넘을 경우 급격한 패킷 손실률이 증가하고, 이에 따른 화질의 급격한 저하 현상이 발생함을 확인하였다. 그러나 패킷의 길이가 감소하게 되면, 각 패킷별로 부가정보들을 전송해야 하므로, 페이로드에 해당하는 부호화된 동영상 비트열에 할당할 수 있는 비트율의 감소로 인한 화질이 감소하게 된다. 그러므로 효율적인 패킷화를 위해서는 각 패킷들이 경로 MTU에 근접한 길이를 갖도록 패킷화해야 한다. 본 논문에서는 패킷화 문제가 운영체제의 메모리 관리 기법과 유사함을 지적하고, 운영체제에서 사용되는 메모리 관리 기법을 동영상 패킷화에 적용하는 것을 제안하였다. 실험을 통해서 기존의 대표적인 패킷화 방식인 순차적 패킷화 방식과 비교하였고, 제안방식이 패킷화 부가정보를 최대 28.3%까지의 감축할 수 있음을 보였다.

• 한국정보과학회논문지:정보통신
• /
• 제32권4호
• /
• pp.443-451
• /
• 2005

스테이트풀 인스펙션을 수행하는 기기에서는 패킷 플로우에 대한 정보를 유지해야 한다. 이러한 기기는 네트워크 공격 패킷에 대하여도 패킷 플로우 정보를 유지하게 되어 네트워크 공격 하에서 과도한 메모리가 요구되고 이로 인하여 메모리 오버플로우나 성능 저하가 일어난다. 따라서 이 논문은 스테이트풀 패킷 인스펙션 시 공격에 의해 생성되는 불필요한 미완성 엔트리를 제거하기 위해 사용할 수 있는 플로우 엔트리 타임아웃 값에 대한 가이드라인을 제시한다. 대부분의 인터넷 트래픽과 상당수의 네트워크 공격이 TCP 프로토콜을 사용하기 때문에 RFC2988의 TCP 재전송 시간 계산 규약에 기초를 둔 실제 인터넷 트레이스에 대한 분석을 통해 가이드라인을 도출한다. 구체적으로, 미완성 TCP 연결 설정 상태에서 (R+T) 초 이상 경과한 엔트리는 제거하여야하며, 이 때 R은 SYN 재전송 허용 회수에 따라 0,3,9를 선택하고 T는 $1\leqq{T}\leqq{2}$ 에서 부가적인 왕복 지연 허용치에 따라 선택하여야 함을 보인다.

• 한국컴퓨터그래픽스학회논문지
• /
• 제14권1호
• /
• pp.27-33
• /
• 2008

모바일 시스템은 메모리, CPU 등의 자원이 기존 데스크탑 시스템 보다 상대적으로 많이 부족하고 정수형 연산처리만을 사용해야 하는 제약이 있다. 본 논문에서는 모바일 시스템의 특성에 적합한 새로운 모바일 3D 연결데이터 압축 기법을 소개 하고자 한다. 연결 데이터 압축 시 옥트리 구조와 메쉬 삼각화 특성을 활용하여 연결되는 점간의 거리에 기초한 새로운 압축 방법을 개발하였다. 또한, 압축 및 해제 시에 정수형 연산만을 사용하고 동적 메모리 할당을 최소화하였다. 실제 핸드폰에서 실시간 압축 해제된 3D 메쉬 테스트 자료도 소개하여 본 알고리즘의 실용성을 높이고자 한다.

• The Journal of Asian Finance, Economics and Business
• /
• 제8권8호
• /
• pp.297-309
• /
• 2021

In this study, to capture the skewness and kurtosis detected in both conditional and unconditional return distributions of the stock markets of Kazakhstan and Russia, two versions of normal mixture GARCH models are employed. The data set consists of daily observations of the Kazakhstan and Russia stock prices, and world crude oil price, covering the period from 1 June 2006 through 1 March 2021. From the empirical results, incorporating the long memory effect on the returns not only provides better descriptions of dynamic behaviors of the stock market prices but also plays a significant role in improving a better understanding of the return dynamics. In addition, normal mixture models for time-varying volatility provide a better fit to the conditional densities than the usual GARCH specifications and has an important advantage that the conditional higher moments are time-varying. This implies that the volatility skews implied by normal mixture models are more likely to exhibit the features of risk and the direction of the information flow is regime-dependent. The findings of this study contain useful information for diverse purposes of cross-border stock market players such as asset allocation, portfolio management, risk management, and market regulations.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제17권3호
• /
• pp.896-915
• /
• 2023

The network function virtualization (NFV) uses virtualization technology to separate software from hardware. One of the most important challenges of NFV is the resource management of virtual network functions (VNFs). According to the dynamic nature of NFV, the resource allocation of VNFs must be changed to adapt to the variations of incoming network traffic. However, the significant delay may be happened because of the reallocation of resources. In order to balance the performance between delay and quality of service, this paper firstly made a compromise between VNF migration and energy consumption. Then, the long short-term memory (LSTM) was utilized to forecast network traffic. Also, the asymmetric loss function for LSTM (LO-LSTM) was proposed to increase the predicted value to a certain extent. Finally, an experiment was conducted to evaluate the performance of LO-LSTM. The results demonstrated that the proposed LO-LSTM can not only reduce migration times, but also make the energy consumption increment within an acceptable range.