• 전자공학회논문지A
• /
• 제32A권4호
• /
• pp.75-84
• /
• 1995

Fault simulators are used for accurate evaluation of fault coverages of digital circuits. But fault simulation becomes time and memory consuming job because computation time is proportional to wquare of size of circuits. Recently, several approximate algorithms for testability analysis have been published to cope with the problems. COP is very fast but cannot be used for sequential circuits, while STAFAN can ve used for sequential circuits but requires large amount of computation because it utilizes logic simulation results. In this paper EXTASEC(An Extension of Testability Analysis for Sequential Circuits) is proposed. It is an extension of COP in the sense that it is the same as COP for combinational circuits, but it can handle sequential circuits, Xicontrollability and backward line analysis are key concept for EXTASEC. Performance of EXTASEC is proven by comparing EXTASEC with a falut simulator, STAFAN, and COP for ISCAS circuits, and the result is demonstated.

• 한국통신학회논문지
• /
• 제25권10B호
• /
• pp.1793-1802
• /
• 2000

In this paper we propose an efficient implementation technique for cyclic extension in VDSL(Very High bit-rate Digital Subscriber Line) systems using Zipper duplexing and analyze its performances under typical telephone channel environments. In Zipper-based VDSL systems each DTM(discrete-multitone) block is appended by both cyclic prefix(CP) and cyclic suffix(CS). The CP is inserte to prevent both intersymbol interference (ISI) and iterchannel interference (ICI) while the CS is appended to ensure orthogonality between the upstream and downstream carriers thus preventing near-end crosstalk (NEXT). However in order to implement the CP in the transmitter side of the VDSL system an additional hardware is required to append the latter part of each DMT symbol to the beginning of the DMT symbol. In this paper we propose a VDSL system with Zipper duplexing using only CS to reduce hardware complexity (memory and processing delay) required for implementation of CP. It is shown by computer simulation that the proposed approach has the same capacity under typical channel environments as the previous Zipper-based VDSL system using both CP and CS. even with a significantly lower hardware complexity.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제23권8호
• /
• pp.466-472
• /
• 2017

하드웨어 트랜잭셔널 메모리(HTM)는 트랜잭션 처리를 위한 병렬 프로그래밍 패러다임을 크게 바꾸었으며, 최근 Intel에서 TSX를 제안함에 따라 HTM에 기반한 다수의 연구들이 수행되었다. 그러나 기존 연구들은 트랜잭션 처리에서 하나의 원인에 대한 충돌 예측만을 지원하며, 모든 워크로드에 대해 획일화된 TSX 환경을 제공한다. 이러한 문제점을 해결하기 위해, 본 논문에서는 멀티코어 인메모리 환경에서 트랜잭션을 처리하기 위한 효율적인 HTM 기법을 제안한다. 첫째, 제안하는 기법은 과거 트랜잭션 처리 정보를 수집한 매트릭스를 이용하여, HTM 실패시의 대비책 경로로써 STM 혹은 single lock을 선택한다. 둘째, 머신러닝 알고리즘 기반 재시도 정책을 제공함으로써, 워크로드 특성에 맞는 효율적인 트랜잭션 처리를 수행한다. 마지막으로 STAMP를 이용한 성능평가를 통해, 제안하는 기법이 기존 연구에 비해 10~20%의 성능 향상이 있음을 보인다.

• 한국정보과학회논문지:시스템및이론
• /
• 제31권3_4호
• /
• pp.187-194
• /
• 2004

쉬어-왑 분해 볼륨렌더링은 좋은 화질과 빠른 속도를 보이지만 대화형 분류 환경에서 메모리 참조 효율이 떨어지는 문제점이 있다. 본 논문에서는 대화형 분류 환경에서 효율적인 렌더링을 수행하기 위해 객체와 이미지에 대한 메모리 참조 공간 연관성을 갖는 알고리즘을 제안한다. 이를 위하여 쉬어-왑 분해에 회전을 추가한 확장 모델을 제안하여 객체와 이미지 모두에서 스캔라인 단위로 렌더링을 가능하게 한다. 또한 제안 모델이 가지고 있는 전후향 합성 혼란, 홀 발생, 계산 증가의 문제에 대한 원인을 제시하고 해결 방법을 보인다. 본 제안 모델은 렌더링 시 효율적 메모리 참조로 우수한 성능을 나타낸다.

• 한국콘텐츠학회논문지
• /
• 제15권4호
• /
• pp.9-16
• /
• 2015

Linux와 같은 발전된 운영 체제의 가상 메모리 관리 기술은 메인 메모리와 하드디스크와 같은 저장 장치를 이용하여 응용 프로그램에게 가상의 큰 주소 공간을 제공해준다. 최근 저장 장치는 속도의 측면에서 비약적인 발전을 보이고 있기 때문에 고속의 차세대 저장 장치를 메모리 확장에 이용하면 메모리를 많이 사용하는 응용의 성능이 좋아질 것이다. 그러나 기존 운영체제의 가상 메모리 관리 오버헤드 때문에 응용의 성능을 극대화시킬 수 없다. 이러한 문제를 해결하기 위해 본 논문은 차세대 저장 장치를 메모리 확장에 사용했을 때 쓰기 연산을 위한 블록 주소를 할당하는 향상된 알고리즘 및 시스템 튜닝 기법들에 대해 제안하였고, 제안된 기법들을 Linux 3.14.3의 가상 메모리 관리 시스템에 구현하였다. 그리고 구현된 시스템을 벤치마크를 이용하여 실험을 하였고, 마이크로 벤치마크의 경우에 평균 3배, 과학 계산 벤치마크 응용의 경우에 24%의 성능 향상이 있음을 보였다.

• 대한수학회지
• /
• 제52권4호
• /
• pp.797-819
• /
• 2015

A trapdoor discrete logarithm group is a cryptographic primitive with many applications, and an algorithm that allows discrete logarithm problems to be solved faster using a pre-computed table increases the practicality of using this primitive. Currently, the distinguished point method and one extension to this algorithm are the only pre-computation aided discrete logarithm problem solving algorithms appearing in the related literature. This work investigates the possibility of adopting other pre-computation matrix structures that were originally designed for used with cryptanalytic time memory tradeoff algorithms to work as pre-computation aided discrete logarithm problem solving algorithms. We find that the classical Hellman matrix structure leads to an algorithm that has performance advantages over the two existing algorithms.

• Communications for Statistical Applications and Methods
• /
• 제24권4호
• /
• pp.367-382
• /
• 2017

We consider an infinite-order long-memory heterogeneous autoregressive (HAR) model, which is motivated by a long-memory property of realized volatilities (RVs), as an extension of the finite order HAR-RV model. We develop bootstrap tests for structural mean or variance changes in the infinite-order HAR model via stationary bootstrapping. A functional central limit theorem is proved for stationary bootstrap sample, which enables us to develop stationary bootstrap cumulative sum (CUSUM) tests: a bootstrap test for mean break and a bootstrap test for variance break. Consistencies of the bootstrap null distributions of the CUSUM tests are proved. Consistencies of the bootstrap CUSUM tests are also proved under alternative hypotheses of mean or variance changes. A Monte-Carlo simulation shows that stationary bootstrapping improves the sizes of existing tests.

• 한국컴퓨터정보학회논문지
• /
• 제1권1호
• /
• pp.95-104
• /
• 1996

하프변환은 영상에서 직선을 검출하는데 유용하고 강력한 기법이다 그러나. 전통적인 하프변환의 확장은 원과 타원을 복구하는데 늦은 속포라 과도한 메모리로 인해 제한되어 왔다. 본 논문은 최소자승법을 이용하여 영상에서 하원을 검출하는 방법을 제안한다. 이 방법은 계산비용과 메모리 요구를 감소시킨다. 타원을 검출할 때 타원의 매개변수를 결정하기 위해서 하프변환의 누적을 이용하지 않고 타원의 기하학적 특징을 포함하는 특별한 점을 선택했다. 타원의 매개변수는 그 특별한 점을 사용한 최소자승법으로 계산된다.

• 제어로봇시스템학회논문지
• /
• 제18권2호
• /
• pp.69-75
• /
• 2012

This paper proposes a biomimetic finger module to be used in a lightweight hand prosthesis. The finger module consists of finger skeleton and an actuator module driven by SMA (Shape Memory Alloy). The prototype finger module can perform flexion and extension motions; finger flexion is driven by a contraction force of SMA, but it is extended by an elastic force of an extension spring inserted into the finger skeleton. The finger motions are controlled by feedback of electric resistance of SMA because the finger module has no sensors to measure length and angle. Total weight of a prototype finger module is 30g. In experiments the finger motions and finger grip force are tested and compared with simulation results when a constant contraction force of SMA is given. The experimental results show that the proposed SMA-driven finger module is feasible to the lightweight hand prosthesis.

• 한국정보통신학회논문지
• /
• 제5권3호
• /
• pp.493-501
• /
• 2001

웹 기반의 컴퓨터 기술이 보편화되면서, 정보통신 환경은 클라이언트/서버 시스템에서 e-비지니스 시스템으로 점차 바뀌어 가고 있다. 이러한 e-비지니스 시스템은 데이터베이스와 서버사이드 프로그래밍을 통합하기 위한 웹 인터페이스 기술을 요구하고 있다. 전통적으로 CGI 기술이 웹 인터페이스의 표준으로 사용되어 왔으나 연결의 어려움과 처리에 많은 지연 시간을 발생시켰다. 따라서 이러한 문제점을 개선하기 위해 컴퓨터자원의 사용량을 줄이면서도 빠른 처리가 가능한 ISAPI 방법과 JDBC방법 등이 개발되었다. 본 연구에서는 보다 효과적인 웹 인터페이스 방법을 제안하기 위해 JDBC-ODBC 기법과 ISAPl 확장 기법을 이용한 시스템을 구현하고 구현 방법과 처리시간을 상호 비교한다.