• ETRI Journal
• /
• 제32권2호
• /
• pp.184-194
• /
• 2010

Ethernet ring protection (ERP) technology, which is defined in ITU-T Recommendation G.8032, has been developed to provide carrier grade recovery for Ethernet ring networks. However, the filtering database (FDB) flush method adopted in the current ERP standard has the drawback of introducing a large amount of transient traffic overshoot caused by flooded Ethernet frames right after protection switching. This traffic overshooting is especially critical when a ring provides services to a large number of clients. According to our experimental results, the traditional FDB flush requires a link capacity about sixteen times greater than the steady state traffic bandwidth. This paper introduces four flush optimization schemes to resolve this issue and investigates how the proposed schemes deal with the transient traffic overshoot on a multi-ring network under failure conditions. With a network simulator, we evaluate the performance of the proposed schemes and compare them to the conventional FDB flush scheme. Among the proposed methods, the extended FDB advertisement method shows the fastest and most stable protection switching performance.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제14권9호
• /
• pp.3885-3906
• /
• 2020

Hybrid fuzzing which combines fuzzing and concolic execution, has proved its ability to achieve higher code coverage and therefore find more bugs. However, current hybrid fuzzers usually suffer from inefficiency and poor scalability when applied to complex, real-world program testing. We observed that the performance bottleneck is the inefficient cooperation between the fuzzer and concolic executor and the slow symbolic emulation. In this paper, we propose a novel solution named EPfuzzer to improve hybrid fuzzing. EPfuzzer implements two key ideas: 1) only the hardest-to-reach branch will be prioritized for concolic execution to avoid generating uninteresting inputs; and 2) only input bytes relevant to the target branch to be flipped will be symbolized to reduce the overhead of the symbolic emulation. With these optimizations, EPfuzzer can be efficiently targeted to the hardest-to-reach branch. We evaluated EPfuzzer with three sets of programs: five real-world applications and two popular benchmarks (LAVA-M and the Google Fuzzer Test Suite). The evaluation results showed that EPfuzzer was much more efficient and scalable than the state-of-the-art concolic execution engine (QSYM). EPfuzzer was able to find more bugs and achieve better code coverage. In addition, we discovered seven previously unknown security bugs in five real-world programs and reported them to the vendors.

• 전산구조공학
• /
• 제1권1호
• /
• pp.87-94
• /
• 1988

반복 비선형 계획법의 하나인 선형화 기법을 절대수렴의 전제아래 합성 구조물의 최적 설계에 응용한다. 선형화 기법은 설계문제의 제약조건을 선형화된 등가 제약조건으로 변형시키며 active-set 정책을 구사한다. 결과, 매 설계단계에서 풀어야 할 상태 및 수반 방정식의 수를 줄임으로써 실질적인 계산의 절감을 기한다. 기둥으로 받쳐진 판-보 구조물은 최적화 기법의 능력을 시험키 위한 합성구조물의 좋은 예로서, 설계결과 선형화 기법은 만족할만한 수렴치로써 최적해를 산출함을 알 수 있고 나아가 이 방법은 모든 종류의 최적화 문제에 적용될 수 있을 것으로 보인다.

• 설비공학논문집
• /
• 제29권6호
• /
• pp.289-296
• /
• 2017

This study aimed to analyze the deck floor heating system of an outdoor swimming pool in terms of the thermal capacity/output and the surface temperature distribution based on the outdoor temperature, to design for anti-freezing during winter. Through the transient heat transfer simulation with PHYSIBEL and theoretical equations, the surface temperature distribution of the floor heating system at two outdoor conditions in Jeju, were calculated and evaluated. The results indicate that the specific thermal output required for maintaining $4^{\circ}C$ surface temperature at the design outdoor temperature of $0.1^{\circ}C$, was about $90W/m^2$. This performance analysis can be applied for future design criteria, including optimizations of system capacity and size.

• Biomaterials and Biomechanics in Bioengineering
• /
• 제2권4호
• /
• pp.207-223
• /
• 2015

In this paper a method for simultaneous swift non-linear analysis and optimal design/posture of mechanical/biomechanical systems is presented. The method is developed to get advantages of iterations in non-linear analysis and/or generations in genetic algorithm (GA) for the purpose of efficient analysis within the optimal design/posture. The method is applicable for both size and geometry optimizations wherein material and geometry non-linearity are present. In addition to established mechanical systems, the method can solve biomechanical models of human musculoskeletal system. Optimization-based procedures are popular methods for resolving the redundancy at joints wherein the number of unknown muscle forces is far more than the number of equilibrium equations. These procedures involve optimization of a cost function(s) which is assumed to be consistent with the central nervous system's strategy when activating muscles to assure equilibrium. However, because of the complexity of biomechanical problems (i.e., due to non-linear biomaterial, large deformation, redundancy of the problem and so on) efficient analysis are required within optimization procedures as suggested in this paper.

• 대한전기학회논문지:전력기술부문A
• /
• 제52권7호
• /
• pp.401-406
• /
• 2003

Electric power industries in several countries are currently undergoing major changes, mainly represented by the privatizations of the power plants and distribution systems. Reliable operations of the power plants directly contribute to the revenue increases of the generation companies in such competitive environments. Strategic optimizations should be performed between the levels of the reliabilities to be maintained and the various preventive maintenance costs, which require the accurate estimations of the power plant reliabilities. However, accurate estimations of the power plant reliabilities are often limited by the lack of accurate power plant failure data. A power plant is not supposed to be failed that often. And if it fails, its impact upon the power system stability is quite substantial in most cases, setting aside the significant revenue losses and lowered company images. Reliability assessment is also important for Independent System Operators(ISO) or Market Operators to properly assess the level of needed compensations for the installed capacity based on the availability of the generation plants. In this paper, we present a power plant reliability estimation technique that can be applied when the failure data is insufficient. Median rank and Weibull distribution are used to accommodate such insufficiency. The Median rank is utilized to derive the cumulative failure probability for each ordered failure. The Weibull distribution is used because of its flexibility of accommodating several different distribution types based on the shape parameter values. The proposed method is applied to small size failure data and its application potential is demonstrated.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제14권1호
• /
• pp.201-220
• /
• 2020

Trackers, especially long-term (LT) trackers, now have a more complex structure and more intensive computation for nowadays' endless pursuit of high accuracy and robustness. However, computing efficiency of LT trackers cannot meet the real-time requirement in various real application scenarios. Considering heterogeneous CPU-GPU platforms have been more popular than ever, it is a challenge to exploit the computing capacity of heterogeneous platform to improve the efficiency of LT trackers for real-time requirement. This paper focuses on TLD, which is the first LT tracking framework, and proposes an efficient parallel implementation based on OpenCL. In this paper, we firstly make an analysis of the TLD tracker and then optimize the computing intensive kernels, including Fern Feature Extraction, Fern Classification, NCC Calculation, Overlaps Calculation, Positive and Negative Samples Extraction. Experimental results demonstrate that our efficient parallel TLD tracker outperforms the original TLD, achieving the 3.92 speedup on CPU and GPU. Moreover, the parallel TLD tracker can run 52.9 frames per second and meet the real-time requirement.

• 한국유체기계학회 논문집
• /
• 제7권3호
• /
• pp.32-38
• /
• 2004

Shape of a multi-blades centrifugal fan is optimized by response surface method based on three-dimensional Navier-Stokes analysis. For numerical analysis, Reynolds-averaged Navier-Stokes equations with standard $k-{epsilon}$ turbulence model are transformed into non-orthogonal curvilinear coordinate system, and are discretized with finite volume approximations. Due to the large number of blades in this centrifugal fan, the flow inside of the fan is regarded as steady flow by introducing the impeller force models for economic calculations. Optimizations with and without constraints are carried out. Design variables, location of cur off, radius of cut off, expansion angle of scroll and width of impeller were selected to optimize the shapes of scroll and blades. Data points for response evaluations were selected by D-optimal design, and linear programming method was used for the optimization on the response surface. As a main result of the optimization, the efficiency was successfully improved. The correlation of efficiency with relative size of inactive zone at the exit of impeller is discussed as well as with average momentum fluxes in the scroll.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2004년도 추계학술대회 논문집
• /
• pp.1256-1261
• /
• 2004

Nonlinear Response Optimization using Equivalent Static Loads (NROESL) method/algorithm is proposed to perform optimization of non-linear response structures. It is more expensive to carry out nonlinear response optimization than linear response optimization. The conventional method spends most of the total design time on nonlinear analysis. Thus, the NROESL algorithm makes the equivalent static load cases for each response and repeatedly performs linear response optimization and uses them as multiple loading conditions. The equivalent static loads are defined as the loads in the linear analysis, which generates the same response field as those in non-linear analysis. The algorithm is validated for the convergence and the optimality. The function satisfies the descent condition at each cycle and the NROESL algorithm converges. It is mathematically validated that the solution of the algorithm satisfies the Karush-Kuhn-Tucker necessary condition of the original nonlinear response optimization problem. The NROESL algorithm is applied to two structural problems. Conventional optimization with sensitivity analysis using the finite difference method is also applied to the same examples. The results of the optimizations are compared. The proposed method is very efficient and derives good solutions.

• Journal of Power Electronics
• /
• 제16권4호
• /
• pp.1396-1406
• /
• 2016

A novel controller design is presented for the recently proposed electric springs (ESs). The dynamic modeling is analyzed first, and the initial Bode diagram is derived from the s-domain transfer function in the open loop. The design objective is set according to the characteristics of a minimum phase system. Step-by-step optimizations of the Bode diagram are provided to illustrate the proposed controller, the design of which is different from the classical multistage leading/lagging design. The final controller is the accumulation of the transfer function at each step. With the controller and the recently proposed δ control, the critical load voltage can be regulated to follow the desired waveform precisely while the fluctuations and distortions of the input voltage are passed to the non-critical loads. Frequency responses at any point can be modified in the Bode diagram. The results of the modeling and controller design are validated via simulations. Hardware and software designs are provided. A digital phase locked loop is realized with the platform of a digital signal processor. The effectiveness of the proposed control is also validated by experimental results.