• Journal of applied mathematics & informatics
• /
• 제29권3_4호
• /
• pp.547-562
• /
• 2011

We establish a new formalism of the non-periodic autocorrelation function (NPAF) of two sequences, which is suitable for the computation of the NPAF of any two sequences. It is shown, that this encoding of NPAF is efficient for sequences of small weight. In particular, the check for two sequences of length n having weight w to have zero NPAF can be decided in $O(n+w^2{\log}w)$. For n > w^2{\log}w$, the complexity is O(n) thus we cannot expect asymptotically faster algorithms.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2003년도 추계학술대회
• /
• pp.163-168
• /
• 2003

Analytical approach is applied to predict temperature of satellite box under worst hot condition from fairing jettison to separation. The box is tried to solve analytically which is exposed to known environmental heating condition and has internal heating and irradiation to space. For a single thermal mass, governing equation for temperature is simplified to 1st order ordinary differential equation(ODE) by several assumptions. Two cases are considered. The one is for constant mass box and the other is for mass-varying box. Each case has three different analytical solution by sign of constant term in ODE. One analytical solution for constant mass is applied to physical launch stage condition. It is concluded that the present analytical method can be used to quick predict the temperature of a satellite box and check whether a satellite is safe against space environment during launch stage.

• 한국경영과학회지
• /
• 제25권1호
• /
• pp.27-36
• /
• 2000

We perform a computational complexity analysis of a heuristic algotithm proposed in the literature for the combinatorial optimization problems extended with a single side-constraint. This algorithm, although such a view was not given in the original work, is a disguised version of an optimal Lagrangian dual solution technique. It also has been observed to be a very efficient heuristic producing near-optimal solutions for the primal problems in some experiments. Especially, the number of iterations grows sublinearly in terms of the network node size so that the heuristic seems to be particularly suitable for the applicatons such as routing with semi-real time requirements. The goal of this paper is to establish a polynomal worst-case complexity of the algorithm. In particular, the obtained complexity bound suports the sublinear growth of the required iterations.

• 제어로봇시스템학회논문지
• /
• 제19권10호
• /
• pp.879-885
• /
• 2013

By performing interval analysis on the system transfer function, we propose an improved method of control loop design for a DC/DC converter. In conventional design methods, the effect of system parameter change due to the specified range of operating conditions and production tolerances in power components should be checked a posteriori, because this may result in a transfer function shift and performance degradation. In the proposed method, a possible parameter change is considered a priori in the design step in order that the desired crossover frequency and sufficient phase margin can be achieved even in the worst case condition. As an illustrative example, a buck dc/dc converter is designed by two different methods and performance comparisons are performed to verify the feasibility of the proposed scheme.

• 한국자기학회지
• /
• 제22권2호
• /
• pp.33-36
• /
• 2012

1968년에 발표된 구식 싱글턴 혼합기수 고속푸리에 변환 포트란 서브루틴에 존재하는 일반적인 $N$ 문제에 대한 간단한 처치법을 제안하였다. 주어진 문제에 대한 간략한 검토를 마친 후에, 새로운 처치법을 동적메모리 할당방법의 입장에서 최악상황분석법을 통해 논의하였다. 본 논의를 통해 여기서 제시된 프로그래밍 기법은 최소한 다차원 데이터 집합에 대해 지금까지 제시된 여타 처치법보다 우월함을 보였다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2014년도 전력전자학술대회 논문집
• /
• pp.367-368
• /
• 2014

This paper investigates characteristics of high power semiconductor device losses in 5MW-class Permanent Magnet Synchronous Generator (PMSG) Medium Voltage (MV) wind turbines. High power semiconductor device of press-pack type IGCT of 6.5kV is considered in this paper. Analysis is performed based on neutral point clamped (NPC) 3-level back-to-back type voltage source converter (VSC) supplied from grid voltage of 4160V. This paper describes total loss distribution at worst case under inverter and rectifier operating mode for the power semiconductor switches. The loss analysis is confirmed through PLECS simulations. In addition, the loss factors due to di/dt snubber and ac input filter are presented. The investigation result shows that IGCT type semiconductor devices generate the total efficiency of 97.74% under the rated condition.

• 대한전자공학회논문지
• /
• 제23권6호
• /
• pp.981-987
• /
• 1986

This paper describes the CIREX(CIRcuit EXtractor), an automated CMOS circuit extraction program which provides SPICE2 input file by computing circuit connectivity and transistor dimensions from the CIF file. The CIREX also computes parasitic capacitance and resistance which makes it a valuable tool for timing analysis and detailed circuit simulation. A lattice model is used to calculate the interconnection resistances and substrate capacitances which can be replaced, as an option, by a node model for the worst case timing analysis of the circuit.

• Journal of Communications and Networks
• /
• 제12권4호
• /
• pp.289-307
• /
• 2010

The problem of model selection arises in a number of contexts, such as subset selection in linear regression, estimation of structures in graphical models, and signal denoising. This paper studies non-asymptotic model selection for the general case of arbitrary (random or deterministic) design matrices and arbitrary nonzero entries of the signal. In this regard, it generalizes the notion of incoherence in the existing literature on model selection and introduces two fundamental measures of coherence-termed as the worst-case coherence and the average coherence-among the columns of a design matrix. It utilizes these two measures of coherence to provide an in-depth analysis of a simple, model-order agnostic one-step thresholding (OST) algorithm for model selection and proves that OST is feasible for exact as well as partial model selection as long as the design matrix obeys an easily verifiable property, which is termed as the coherence property. One of the key insights offered by the ensuing analysis in this regard is that OST can successfully carry out model selection even when methods based on convex optimization such as the lasso fail due to the rank deficiency of the submatrices of the design matrix. In addition, the paper establishes that if the design matrix has reasonably small worst-case and average coherence then OST performs near-optimally when either (i) the energy of any nonzero entry of the signal is close to the average signal energy per nonzero entry or (ii) the signal-to-noise ratio in the measurement system is not too high. Finally, two other key contributions of the paper are that (i) it provides bounds on the average coherence of Gaussian matrices and Gabor frames, and (ii) it extends the results on model selection using OST to low-complexity, model-order agnostic recovery of sparse signals with arbitrary nonzero entries. In particular, this part of the analysis in the paper implies that an Alltop Gabor frame together with OST can successfully carry out model selection and recovery of sparse signals irrespective of the phases of the nonzero entries even if the number of nonzero entries scales almost linearly with the number of rows of the Alltop Gabor frame.

• Spatial Information Research
• /
• 제8권2호
• /
• pp.233-241
• /
• 2000

The objective of this study were to develop landscape scale ecosystem assessment model, and apply the model for the assessment of the state and change of ecosystem of the study area, Yongin, Korea. Since natural ecosystem of the site has been deteriorated significantly during recent extensive residential development, it is essential to correctly assess ecosystem of the study site. Traditional ecosystem assessment mainly utilizing intensive field survey requires high cost, but the outcome rarely represents spatial pattern of the regional ecosystems. Ecosystem assesment of landscape scale based on landscape ecology can resolve most of the shortfalls of the traditional approach. The research method can be summarized as follows. First, extensive literature review on such topics as spatial pattern of ecosystem, ecosystem assessment of landscape scale, ecological analysis was carried out. Second, a model for the ecosystem assessment of landscape scale emphasizing spatial pattern of ecosystem was developed. This model evaluates three indicators; ecological integrity and biological diversity, watershed integrity, and landscape resilience of 11 watersheds in the study area. Finally, ecological assessment utilizing two sets of indicators, enhancement of and disturbance of ecosystem stability, was carried out. This assessment method is based on Environmental Monitoring and Assessment Program´s Landscape component(EMAP-L) of EPA(1994). The results of this study are as follows. First, the ecosystem assessment of landscape scale of the study area of Yongin, Korea, showed that escosystems of Tanchun01 and Chungmichun01 watersheds had the worst state in the study site in 1991. On the other hand, the ecosystems of Jinwechun01, Kyunganchun02, and Bokhachun01 watersheds had the most stable ecosystem in 1991. Second, ecosystems of Tanchun01, Shingal reservoir, and Kyunganchun01 watersheds were evaluated to be the worst state in the study site in 1996. And, ecosystems of Jinwechun01 and Gosam reservoir watersheds had the most stable ecosystem. Third, ecosystem of Tanchun01 watershed which incudes Suji residential development project site changed the most drastically between 1991 and 1996. The ecosystem of the watershed the most drastically deteriorated due to it´s proximity to Seoul and Bundang new town.

• Journal of Power Electronics
• /
• 제9권5호
• /
• pp.757-771
• /
• 2009

This paper proposes a systematic approach to the modeling of the small-signal characteristics of three-phase bridge boost rectifiers under non-sinusoidal conditions. The main obstacle to the conventional synchronous d-q frame modeling approach is that it is unable to identify a steady-state under non-sinusoidal conditions. However, for most applications under non-sinusoidal conditions, the current loops of boost rectifiers are designed to have a bandwidth that is much higher than typical harmonics frequencies in order to achieve good current control for these harmonic components. Therefore a quasi-static method is applied to the proposed modeling approach. The converter small-signal characteristics developed from conventional synchronous frame modeling under different operating points are investigated and a worst case point is then located for the current loop design. Both qualitative and quantitative analyses are presented. It is observed that operating points influence the converter low frequency characteristics but hardly affect the dominant poles. The relationship between power stage parameters, system poles and zeroes is also presented which offers good support for the system design. Both the simulation and experimental results verified the analysis and proposed modeling approach. Finally, the practical case of a parallel active power filter is studied to present the modeling approach and the resultant regulator design procedure. The system performance further verifies the whole analysis.