• 한국군사과학기술학회지
• /
• 제20권5호
• /
• pp.688-699
• /
• 2017

Model-based test, a well-known method of the black box tests, is consisted of the following four steps : model construction using requirement, test case generation from the model, execution of a SUT (software under test) and detection failures. Among models constructed in the first step, state-based models such as UML standard State Machine are commonly used to design event-based embedded systems (e.g., weapon control systems). To generate test cases from state-based models in the next step, coverage-based techniques such as state coverage and transition coverage are used. Round-trip path coverage technique using W-Method, one of coverage-based techniques, is known as more effective method than others. However it has a limitation of low failure observability because the W-Method technique terminates a testing process when arrivals meet states already visited and it is hard to decide the current state is completely same or not with the previous in the case like the GUI environment. In other words, there can exist unrevealed faults. Therefore, this study suggests a Extended W-Method. The Extended W-Method extends the round-trip path to a final state to improve failure observability. In this paper, we compare effectiveness and efficiency with requirement-item-based technique, W-Method and our Extended W-Method. The result shows that our technique can detect five and two more faults respectively and has the performance of 28 % and 42 % higher failure detection probability than the requirement-item-based and W-Method techniques, respectively.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2013년도 춘계학술대회 논문집
• /
• pp.311-312
• /
• 2013

• Earthquakes and Structures
• /
• 제10권6호
• /
• pp.1253-1272
• /
• 2016

For a nonlinear control system, there are many uncertainties, such as the structural model, controlled parameters and external loads. Although the significant progress has been achieved on the robust control of nonlinear systems through some researches on this issue, there are still some limitations, for instance, the complicated solving process, weak conservatism of system, involuted structures and high order of controllers. In this study, the computational structural mechanics and optimal control theory are adopted to address above problems. The induced norm is the eigenvalue problem in structural mechanics, i.e., the elastic stable Euler critical force or eigenfrequency of structural system. The segment mixed energy is introduced with a precise integration and an extended Wittrick-Williams (W-W) induced norm calculation method. This is then incorporated in the market-based control (MBC) theory and combined with the force analogy method (FAM) to solve the MBC robust strategy (R-MBC) of nonlinear systems. Finally, a single-degree-of-freedom (SDOF) system and a 9-stories steel frame structure are analyzed. The results are compared with those calculated by the $H{\infty}$-robust (R-$H{\infty}$) algorithm, and show the induced norm leads to the infinite control output as soon as it reaches the critical value. The R-MBC strategy has a better control effect than the R-$H{\infty}$ algorithm and has the advantage of strong strain capacity and short online computation time. Thus, it can be applied to large complex structures.

• 한국전자파학회논문지
• /
• 제19권11호
• /
• pp.1254-1264
• /
• 2008

본 논문에서는 RF 전력 증폭기의 메모리 효과 모델링의 정확성을 향상시키기 위한 확장된 메모리 다항식 모델을 제안하고 검증하였다. 볼테라 커널 중에서 대각행렬의 성분만을 고려하는 기본적인 메모리 다항식 기반의 모델의 정확성을 향상시키기 위하여 지연차수가 다른 성분들에 의한 교차항을 추가하여 확장 모델을 구성하였다. 제안된 확장 메모리 다항식의 복잡성을 메모리리스 모델, 메모리 다항식 모델과 비교하였다. 확장된 모델을 이용하여 비선형 관계식을 행렬식으로 표현한 후, 최소 자승법(least square method)을 이용하여 변수를 추출하는 모델링 기법을 제시하였다. 또한, 제안된 기법과 간접 학습 방식을 이용하여 디지털 사전 왜곡기를 구현하기 위한 디지털 사전 왜곡부 구현 방안 및 디지털 신호 처리(DSP) 방식을 제시하였다. 제안된 모델의 성능을 검증하기 위하여 2.3 GHz 대역의 WiBro 신호를 인가한 10 W급 GaN HEMT 전력 증폭기와 30W급 LDMOS 전력 증폭기에 대하여 모델의 정확도를 비교 검토하였으며, 10W GaN HEMT 전력 증폭기에 대하여 제안된 모델을 이용하는 간접 학습 방식에 기반한 디지털 사전 왜곡기를 적용하여 인접 채널 간섭비(ACPR) 성능을 검증하였다. 제안한 모델은 메모리 다항식에 비하여 모델의 정확성을 향상시키고 10 W GaN HEMT에 대하여 디지털 사전 왜곡기 적용시 기존 방식에 비하여 3차 비선형 영역에서 평균 3 dB의 ACPR 성능 향상을 보여주었다.

• 한국CDE학회논문집
• /
• 제10권1호
• /
• pp.27-39
• /
• 2005

Implicit surfaces are geometric shapes which are defined by implicit functions and exist in three-dimensional space. Recently, implicit surfaces have received much attention in solid modeling applications because they are easy to represent the location of points and to use boolean operations. However, it is difficult to chart points on implicit surfaces for rendering. As efficient rendering method of implicit surfaces, the original Adaptively Sampled Distance Fields (ADFs) $method^{[1]}$ is to use sampled distance fields which subdivide the three dimensional space of implicit surfaces into many cells with high sampling rates in regions where the distance field contains fine detail and low sampling rates where the field varies smoothly. In this paper, in order to maintain the sharp features efficiently with small number of cells, an extended ADFs method is proposed, applying the Dual/Primal mesh optimization $method^{[2]}$ to the original ADFs method. The Dual/Primal mesh optimization method maintains sharp features, moving the vertices to tangent plane of implicit surfaces and reconstructing the vertices by applying a curvature-weighted factor. The proposed extended ADFs method is applied to several examples of implicit surfaces to evaluate the efficiency of the rendering performance.

• 정보처리학회논문지D
• /
• 제14D권1호
• /
• pp.83-88
• /
• 2007

본 논문에서는 MDA(Model Driven Architecture) 기반의 임베디드 소프트웨어 컴포넌트 개발 방법을 소개한다. 이 방법은 이종의 임베디드 시스템에서 소프트웨어의 재사용성에 관한 문제점을 해결하고자 MDA기법을 임베디드 소프트웨어 개발에 적응한 것이다. 제안한 방법을 통해 하나의 메타 모델(Target Independent Model)을 각각의 다른 도메인에 맞는 타겟 종속적 모델(Target Specific Model)들을 만들고, 그에 따른 소스 코드(Target Dependent Code)를 개발하는 것이다. 이때 기 개발된 메타모델은 이종의 임베디드 시스템 개발에 재사용하려는 것이 목적이다. 우리는 이 방법에 따른 도구에 기존 xUML의 동적 모델링에서 표현되지 못하는 부분(병렬성, 실시간 등)을 보완하기 위해 확장하여 채택하였다. 확장된 xUML 노테이션을 기반으로 구현한 모델링 도구를 소개한다. 이는 임베디드 또는 병렬/실시간 소프트웨어의 모델링이 가능하다. 제안한 방법의 적응사례로서 이종 임베디드 시스템의 모델링을 통한 필드 개발을 보여준다.

• Journal of Power Electronics
• /
• 제19권1호
• /
• pp.34-43
• /
• 2019

An improved half-bridge LLC converter with a magamp auxiliary post-regulator is proposed in this paper. The function of the magamp is bypassed when the converter works within the low input-voltage range. Meanwhile, it operates as an auxiliary post-regulator when the input voltage is high. By changing the blocking time of the magamp, the dc gain of the converter can be extended. Hence, the input voltage range of the converter is extended. The realization of proposed topology does not require a complicated circuit. The controller of the magamp can be easily implemented using only passive components, transistors and an OP amp. The generalized operational principle is analyzed and the design criterion for the magamp is presented. Finally, a 25V output, 400W experimental prototype was built and tested for a 160-300V input-voltage range to verify the feasibility of the proposed method.

• 대한수학회보
• /
• 제42권1호
• /
• pp.179-188
• /
• 2005

We give a method to derive partial differential equations for the product of any two classical orthogonal polynomials in one variable and thus find several new differential equations. We also explain with an example that our method can be extended to a more general case such as product of two sets of orthogonal functions.

• 대한전자공학회논문지SD
• /
• 제42권10호
• /
• pp.29-34
• /
• 2005

최대 양자화 오차는 W 비트 입력으로부터 W 비트의 곱을 출력하는 고정길이 곱셈기의 성능에 많은 영향을 준다. 본 논문에서는 고정길이 modified Booth 곱셈기의 오차범위를 분석한 후 최대오차를 줄이기 위해 추가해야 하는 칼럼 수를 결정하는 방법을 제안한다. 또한, 오차범위 분석방법이 reduced-width 곱셈기 디자인 시에도 적용할 수 있음을 보인다. 시뮬레이션을 통해 제안한 오차분석 방법이 고정길이 modified Booth 곱셈기의 실제 디자인에 유용하게 사용될 수 있음을 보인다.

• Structural Engineering and Mechanics
• /
• 제24권2호
• /
• pp.213-225
• /
• 2006

The propagation of non-uniformly modulated, evolutionary random waves in viscoelastic, transversely isotropic, stratified materials is investigated. The theory is developed in the context of a multi-layered soil medium overlying bedrock, where the material properties of the bedrock are considered to be much stiffer than those of the soil and the power spectral density of the random excitation is assumed to be known at the bedrock. The governing differential equations are first derived in the frequency/wave-number domain so that the displacement response of the ground may be computed. The eigen-solution expansion method is then used to solve for the responses of the layers. This utilizes the precise integration method, in combination with the extended Wittrick-Williams algorithm, to obtain all the eigen-solutions of the ordinary differential equation. The recently developed pseudo-excitation method for structural random vibration is then used to determine the solution of the layered soil responses.