• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.14 no.10
• /
• pp.2310-2316
• /
• 2010

This paper presents an application of retiming to model checking, a branch of formal verification. Retiming can change the transition relation of a circuit without changing its input-output behaviour by relocating its registers. With the retiming, a given circuit can have a different structure more adequate for model checking. This paper proposes a cost function to reflect the number of registers and the characteristic of its transition relation and develops a heuristic annealing algorithm to search efficiently the circuit structures obtained by retiming. Experimental results show that the proposed method can improve the model checking performance.

• 한국HCI학회:학술대회논문집
• /
• 2006.02a
• /
• pp.836-842
• /
• 2006

3D 애니메이션 제작에서 동작의 타이밍(예를 들면 timing&spacing, slow-in, slow-out)은 연기의 의미와 느낌을 정확히 표현하기 위한 매우 중요한 요소 중의 하나이다. 따라서 이러한 타이밍의 편집은 애니메이션 작업에서 필수적이라고 할 수 있는데, 이를 기존의 3D 애니메이션 시스템에서 수행하기에는 기술적으로 많은 어려움이 있었다. 첫째로 타이밍의 편집은 시간축 자체를 변형하는 문제이기 때문에 보간 곡선에 대한 재매개변수화가 필요한데, 이러한 가능은 기존 애니메이션 시스템에서 제공되지 않는다. 둘째로 타이밍 편집에는 종종 애니메이션 감독이 직접 참여하기도 하는데, 일반적으로 3D 애니메이션 시스템의 사용에 익숙하지 않기 때문에 원하는 결과를 직접 만들어 보기가 어려웠다. 본 논문에서는 이러한 문제들을 해결한 새로운 애니메이션 타이밍 시스템을 구현하였다. 이 시스템은 렌더링된 영상파일들과 애니메이션 장면 파일을 입력 받아 사용자가 타이밍 편집을 하고, 그 결과를 애니메이션 장면 파일에 다시 기록하는 방식으로 구현된다. 타이밍 편집은 기존 셀 애니메이션 제작 방식과 유사한 방식으로 프레임을 삽입하거나 삭제하는 가능과 시간왜곡 (time-warping) 그래프를 직접 조정하여 타이밍을 조정하는 가능을 제공한다. 전자는 제작도구에 익숙하지 않은 감독이나 셀 애니메이션 작업자들이 직관적으로 사용할 수 있는 기능이고, 후자는 좀 더 세밀한 타이밍 조정을 위해 제공하는 가능이다. 사용자가 편집한 타이밍 결과는 각 동작변수의 보간곡선을 재매개변수화하여 애니메이션 파일에 기록된다. 본 논문에서 구현한 시스템은 실제 애니메이션 제작에 보편적으로 사용되는 마야 애니메이션 파일을 지원하도록 구현되었다.

• Journal of Hydrogen and New Energy
• /
• v.19 no.6
• /
• pp.474-481
• /
• 2008

수소 기관에서 역화없이 고성능과 저$NO_x$를 실현시키기 위하여 밸브 타이밍 변화에 따른 흡기관 분사식 수소 기관의 성능을 파악하고 가솔린의 경우와 비교하였다. 그 결과 흡기밸브 타이밍은 역화억제와 성능향상에 큰 영향을 미치는 것을 확인하였다. 흡기밸브타이밍의 진각은 역화를 억제하며 효율과 출력을 동시에 향상된다. 비록 흡기밸브 타이밍 변화에 의해 NOx는 증가하지만, 희박영역인 출 ${\Phi}=0.5$에서 현저히 감소된다. 또한 열효율은 ${\Phi}=0.5$ 토크는 ${\Phi}=1.0$에서 가장 높게 나타난다. 흡기밸브 타이밍을 $ATDC20^{\circ}$에서 TDC로 변화시켰을 때, ${\Phi}=1.0$에서 토크는 약 28% 증가되고, ${\Phi}=0.5$에서 효율은 약 7%향상된다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2005.11a
• /
• pp.81-84
• /
• 2005

지상파 디지털 방송신호의 방송구역 확장이나 난시청지역 해소를 위해 사용되는 동일채널중계기(On-Channel Repeater : OCR)는 수신신호와 송신신호의 주파수를 완벽히 일치시켜야한다. 송수신신호의 주파수가 일치하지 않을 경우 주 송신신호와 중계신호가 동시에 수신되는 중첩지역에서 수신기의 수신성능이 현저히 저하되기 때문이다. 본 논문에서는 ATSC 지상파 디지털 방송신호를 중계하는 등화형 동일채널중계기(Equalization Digital On-Channel Repeater : EDOCR)에서 송수신신호의 주파수를 일치시키는 알고리즘에 대해 기술한다. 등화형 동일채널중계기는 주 송신신호를 수신하여 복조한 후 재 변조 하므로 송수신신호의 주파수를 일치시키기 위한 별도의 장치나 알고리즘이 반드시 사용되어야 한다. 제안하는 알고리즘은 주 송신신호의 동기복원 과정에서 획득한 주파수 오차 정보를 재 변조 과정에 사용함으로써 GPS와 같은 별도의 장치 없이 송수신신호의 주파수를 일치시킨다. 반송파 복원과정에서 획득한 반송파 오차와 심볼타이밍 복원과정에서 획득한 심볼타이밍 오차를 재 변조 신호에 추가하면 수신신호와 송신신호가 같은 주파수 오차를 갖게 되어 두 신호의 중심주파수가 일치된다.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.6
• /
• pp.1635-1645
• /
• 1999

In this paper, an intelligent resynthesis technique for timing optimization at the architecture-level has been studied. The proposed technique can remedy the problem which may occur in combinational timing optimization techniques applied to circuits which have the hierarchical subblock structure at the architectural-level. The approach first tries to maintain the original hierarchical subblock while minimizing the longest delay of whole circuit. This paper tries to find a new approach to timing optimization for circuits which have hierarchical structure at architectural-level, and has verified its effectiveness experimentally. We claim its usefulness from the fact that most designers design the circuits hierarchically due to the increase of design complexity.

• 한국생물공학회:학술대회논문집
• /
• 2001.11a
• /
• pp.711-714
• /
• 2001

The production of the recombinant Plasmodium vivax merozoite surface protein (PvMSP) has been investigated in the recombinant E.coli system. Experimental optimization of the culture conditions, such as the effect of initial pH, and operating temperature has been tried on the growth of recombinant E.coli and on the overproduction of the target foreign protein.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.30 no.12A
• /
• pp.1161-1167
• /
• 2005

In this Paper, a concept of virtual smart antenna (SA) is introduced for orthogonal Sequency division multiplexing (OFDM)-based cellular systems with a frequency reuse factor equal to 1. The OFDM-based cellular system is robust to multipath channels but has a disadvantage that the intercell interference (ICI) caused by adjacent base stations is large at the edge of a cell. In this paper, after deriving the symbol timing offset estimation scheme for the OFDM signal received from multiple base stations in a quasi-static fading channel, the ICI cancellation method based on virtual smart antenna is proposed using the steering vector formed by the symbol timing offset of the desired signal and interference signals.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.35 no.6C
• /
• pp.530-538
• /
• 2010

In this paper, estimation methods of cell searching and DoA (Direction of Arrival) for mobile relay stations with a uniform linear array are proposed. The proposed methods can improve the performance of cell searching and DoA estimation by removing the effect of STOs when there exist symbol timing offsets (STOs) between the signals received from adjacent base stations,. Also, the proposed methods can improve the performance of DoA estimation significantly when there exists Doppler frequency shift caused by movement of the mobile relay station. The performances and computational complexities of the proposed cell searching and DoA methods are evaluated by computer simulation under Mobile WiMAX environments.

• Journal of Advanced Navigation Technology
• /
• v.23 no.2
• /
• pp.97-103
• /
• 2019

In this paper, we designed and fabricated a receiving modem that can be applied to guided weapons can change real-time targets with little effect of fading. The designed modem consists of synchronous detector, timing error estimator, timing recovery, differential decoder and viterbi decoder, and it's implemented in FPGA so that it can be redesigned and modified according to requirements. The modem board was directly converted from IF frequency to baseband and converted into digital data through ADC. It is confirmed that it is applicable to the guided weapons that changing real-time targets through simulations, measurements and test.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.17 no.4
• /
• pp.93-100
• /
• 2009

Intake/exhaust valve timing and exhaust cam lift were changed to control the internal exhaust gas recirculation (IEGR) and combustion phase of homogeneous charge compression ignition (HCCI) engine. To measure the IEGR rate, in-cylinder gas was sampled during from intake valve close to before ignition start. The lower exhaust cam made shorter valve event than higher exhaust cam and made IEGR increase because of trapping the exhaust gas. IEGR rate was more affected by exhaust valve timing than intake valve timing and increased as exhaust valve timing advanced. In-cylinder pressure was increased near top dead center due to early close of exhaust valve. Ignition timing was more affected by intake valve timing than exhaust valve timing in case of exhaust valve lift 8.4 mm, while ignition timing was affected by both intake and exhaust valve timing in case of exhaust valve 2.5 mm. Burn duration with exhaust valve lift 2.5 mm was longer than other case due to higher IEGR rate. The fuel conversion efficiency with higher exhaust valve lift was higher than that with lower exhaust valve lift. The late exhaust and intake maximum open point (MOP) made the fuel conversion efficiency improve.