• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06c
• /
• pp.462-465
• /
• 2011

웹 애플리케이션의 사용이 늘어남에 따라 자바스크립트 프로그램의 성능을 높이는 것이 중요한 문제가 되었다. 자바스크립 프로그램에 대해 별칭 분석을 수행하면 더 많은 최적화가 가능해지지만, 자비스크립트가 가지는 동적인 특성으로 인해 분석 방법을 고안하는 데 어려움이 있었다. 본 논문에서는 자바스크립트의 주요한 동적 특성을 온전하게 다루는 별칭 분석 알고리즘을 최초로 제안한다. 제안한 방법은 별칭 그래프를 생성하여 프로그램 내의 별칭 관계를 완전하게 찾아내며, 또한 실행시킬 코드가 동적으로 추가될 때마다 이전에 이루어졌던 최적화가 유효한지 검사한다. 별칭 분석 결과를 이용하여 V8 자바스크립트 엔진에서 추가적으로 최적화를 수행한 결과, 유의미한 수행 시간 감소를 확인할 수 있었다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04a
• /
• pp.671-674
• /
• 2002

동적 메모리 할당 방식은 사전에 그 메모리의 크기를 결정할 수 없는 경우에 효과적인 프로그래밍 기술이다. 하지만 메모리 조각화 문제와 최악의 경우 실행 시간을 예측할 수 없는 단점 때문에 실시간 시스템에는 거의 적용되지 않고 있다. 본 연구에서는 리눅스 기반의 실시간 시스템을 위한 동적 메모리 할당 알고리즘인 QB(Ouick-Buddy)를 제안한다 제안된 알고리즘은 작은 크기의 메모리 요구에 대해서 워드 크기별로 프리 리스트를 관리하고, 큰 크기의 메모리 요구에 대해서는 이진 버디 시스템을 이용하여 관리한다. 이 알고리즘에서는 작은 크기의 메모리 요구에 대해 완전-적합(exist-fit) 전략을 사용하여 메모리 이용 효율을 증가시킨다. 또한 큰 크기의 메모리 요구에 대해서 버디 시스템을 적용함으로써 외부 조각화를 제거시키고 처리량(throughput)을 증가시킨다. 제안된 알고리즘의 성능을 확인하기 위해서 제안된 알고리즘과 이진 버디 시스템(binary buddy system), 빠른-적합(quick-fit)의 메모리 이용 효율성 및 메모리 조각화 율을 비교할 것이다.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.5 no.1
• /
• pp.31-36
• /
• 2001

본 논문에서는 지점근처에 납-전단 댐퍼(LSD)가 설치된 케이블의 동적 거동에 대해 다루었다. 이러한 동적 거동에 대한 파악은 케이블의 진동 감소 목적으로 댐퍼를 설계하는 경우 중요한 절차중 하나이다. 납-전단 댐퍼와 같은 이력형 댐퍼의 실제 이력곡선에 기초하여 본 연구에서는 납-전단 댐퍼의 이력곡선을 완전 탄소성으로 가정하였다. 납-전단 댐퍼의 역학적 모델은 등가 켈빈 모델을 사용하였으며 케이블의 새그 효과를 고려하였다. 납- 전단 댐퍼의 용량이라고 할 수 있는 항복력을 설계변수로 선택하고 케이블에 최적의 감쇠효과를 부여하는 동적학적 관계에 대해 연구하였다. 또한 댐퍼가 케이블에 설치되는 지점과 케이블의 장력에 대한 댐퍼의 감쇠효과에 대해서도 연구하였다. 매개변수 해석결과 케이블의 기하학적 형상 및 댐퍼의 설치조건에 따라 납-전단 댐퍼가 케이블에 부가하는 감쇠의 크기가 변함을 알 수 있었으며, 이때 최대의 감쇠성능을 발휘하는 최적 항복력이 존재하는 것을 알았다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2004.05b
• /
• pp.517-520
• /
• 2004

In this paper, a PWM Cuk AC-AC converter is modelled by using complex circuit DQ transformation whereby the equivalent model is obtained which has the complete information of the Cuk converter. Using the model, the dynamicc characteristics equations such as state equations is analytically obtained. Finally, the PSIM simulation show the validity of the modelling and analysis.

• Proceedings of the Korea Contents Association Conference
• /
• 2014.11a
• /
• pp.469-470
• /
• 2014

동적 무기할당 문제는 전형적인 NP-완전 문제로써 위협하는 표적에 대해 아군의 무기를 적절히 할당하는 문제이다. 이는 매우 시간 제약적인 문제로써 가능한 단 시간 내에 적절한 무기할당 및 대응을 도출하여야 하지만 매우 유동적인 전장 환경에서 이는 쉽지 않다. 최근 이와 같이 높은 복잡성을 가진 빅데이터를 기반으로 하는 응용에서 분산 처리 시스템을 활용한 분석 및 처리에 대한 연구가 큰 주목을 받고 있고, 대표적인 프레임워크로써 맵리듀스가 활용되고 있다. 그러나 맵리듀스는 전체 데이터에 대한 일괄 처리 기능만을 제공하므로 동적 데이터에 대한 유전자 알고리즘의 수행이 쉽지 않고, 최종 결과 도출에 여전히 많은 시간을 필요로 한다. 본 논문에서는 맵리듀스 환경에서 유전자 알고리즘 기반의 동적 무기할당 알고리즘을 제안한다. 제안하는 기법에서는 맵리듀스 환경에서 유전자 알고리즘의 연속적인 데이터 처리의 지원을 위해 새롭게 추가 및 제거된 무기-표적 데이터만을 분석하고, 이를 기 분석 완료된 데이터와 결합하여 최종 결과를 도출한다. 이를 통해, 신속한 동적무기할당의 수행이 가능하다.

• Tunnel and Underground Space
• /
• v.20 no.5
• /
• pp.318-324
• /
• 2010

Dynamic properties of materials by shock loads such as rock blasting and earthquake are recently attracted in the design of aboveground and underground structures. The advance of measuring devices enables to obtain the whole histories of stress and strain in rock specimen of which the failure is completed in several hundred microseconds. The SHPB has been a popular and promising technique to study the dynamic behavior of rock. And the dynamic compressive, tensile and other test with this experiment system are planned to be Suggested Methods of ISRM. This technical paper is to introduced one study article which focuses the design of 3S (special shaped striker) to produce the half-sine wave to eliminate the problems of the rectangular wave. This article is also describing the advantage of half-sine incident wave and size effect of rock dynamic strength.

• Journal of KIISE:Computer Systems and Theory
• /
• v.28 no.9
• /
• pp.442-460
• /
• 2001

In video-on-demand(VOD) systems it is important to minimize initial latency and memory requirements. The minimization of initial latency enables the system to provide services with short response time, and the minimization of memory requirements enables the system to service more concurrent user requests with the same amount of memory. In VOD systems, since initial latency and memory requirement increase according to the increment of buffer size allocated to user requests, the buffer size allocated to user requests must be minimized. The existing static buffer allocation scheme, however, determines the buffer size based on the assumption that thy system is in fully loaded state. Thus, when the system is in partially loaded state, the scheme allocates user requests unnecessarily large buffers. This paper proposes a dynamics buffer allocation scheme that allocates user requests the minimum buffer size in fully loaded state as well as a partially loaded state. This scheme dynamically determines the buffer size based on the number of user requests in service and the number of user requests arriving while servicing current requests. In addition, through analyses and simulations, this paper validates that the dynamics buffer allocation outperforms the statics buffer allocation in initial latency and the number of concurrent user requests that can be supported. Our simulation results show that, in proportion to the static buffer allocation scheme, the dynamic buffer allocation scheme reduces the average initial latency by 29%~65%, and in a systems having several disks. increases the average number of concurrent user requests by 48%~68%. Our results show that the dynamic buffer allocation scheme significantly improves the performance and reduce the capacity requirements of VOD systems.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.37 no.4
• /
• pp.28-34
• /
• 2000

In this paper, a continuous-time filter for low voltage and high frequency applications using fully-balanced current integrators is presented. As the balanced structure of integrator circuits, the designed filter has improved noise characteristics and wide dynamic range since even-order harmonics are cancelled and the input signal range is doubled. Using complementary current mirrors, bias circuits are simplified and the cutoff frequency of filters can be controlled easily by a single DC bias current. As a design example, the 3rd-order lowpass Butterworth filter with a leapfrog realization is designed. The designed fully-balanced current-mode filter is simulated and examined by SPICE using 0.65${\mu}{\textrm}{m}$ CMOS n-well process parameters. The simulation results show 50MHz cutoff frequency, 69㏈ dynamic range with 1% total harmonic distortion(THD), and 4㎽ power dissipation with a 3V supply voltage.

• Journal of Korean Society of Transportation
• /
• v.17 no.4
• /
• pp.71-84
• /
• 1999

The purpose of this study is to construct a dynamic traffic analysis model using the existing traffic flow theory in order to develope a dynamic traffic assignment technique. In this study the dynamic traffic analysis model was constructed using Daganzo's CELL TRANSMISSION THEORY which was considered more suitable to dynamic traffic assignment than the other traffic flow theories. We developed newly the diverging split module, the cost update module and the link cost function and defined the maximum waiting time decision function that Daganzo haven't defined certainly at his Papers. The output that resulted from the simulation of the dynamic traffic analysis model with test network I and II was shown at some tables and figures, and the analysis of the bottleneck and the HOV lane theory showed realistic outputs. Especially, the result of traffic assignment using the model doesn't show equilibrium status every time slice but showed that the average travel cost of every path maintains similarly in every time slice. It is considered that this model can be used at the highway operation and the analysis of traffic characteristics at a diverging section and the analysis of the HOV lane effect.

• Composites Research
• /
• v.16 no.6
• /
• pp.23-32
• /
• 2003

Applications of advanced composite material in construction field are tending upwards and development of all composite material bridges is making progress rapidly in home and abroad due to their high strength to weight ratio. This paper formulated the dynamic responses of the laminated composite structures subjected to moving load and analyzed the various dynamic behaviors using the finite element method. The nondimensionalized natural frequencies of a simply supported square-laminated composite plate are considered for verifications. Mode superposition and Newmark direct integration method are applied for moving load analysis. For structural models, dynamic magnification factor calculated for various velocities of the moving load and displacements characteristics of laminated composite structures due to the moving load are investigated theoretically Numerical results are presented to study the effects of lamination scheme, stacking sequence, and fiber angle for laminated composite structures during moving load. The various results on moving load and lamination through numerical analysis will present an important basic data for development and grasp the behavior of all composite material bridges.