• International Journal of Aeronautical and Space Sciences
• /
• 제16권2호
• /
• pp.177-189
• /
• 2015

This paper presents an all-direct domain decomposition approach for large-scale structural analysis. The proposed approach achieves computational robustness and efficiency by enforcing the compatibility of the displacement field across the sub-domain boundaries via local Lagrange multipliers and augmented Lagrangian formulation (ALF). The proposed domain decomposition approach was compared to the existing FETI approach in terms of the computational time and memory usage. The parallel implementation of the proposed algorithm was described in detail. Finally, a preliminary validation was attempted for the proposed approach, and the numerical results of two- and three-dimensional problems were compared to those obtained through a dual-primal FETI approach. The results indicate an improvement in the performance as a result of the implementing the proposed approach.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1993년도 한국자동제어학술회의논문집(국제학술편); Seoul National University, Seoul; 20-22 Oct. 1993
• /
• pp.100-104
• /
• 1993

In Part 1, we derived robust stability conditions for an LTI interconnected to time-varying nonlinear perturbations belonging to several classes of nonlinearities. These conditions were presented in terms of positive definite solutions to LMI. In this paper we address a problem of synthesizing feedback controllers for linear time-invariant systems under structured time-varying uncertainties, combined with a worst-case H$_{2}$ performance. This problem is introduced in [7, 8, 15, 35] in case of time-invariant uncertainties, where the necessary conditions involve highly coupled linear and nonlinear matrix equations. Such coupled equations are in general difficult to solve. A convex optimization approach will be employed in this synthesis problem in order to avoid solving highly coupled nonlinear matrix equations that commonly arises in multiobjective synthesis problem. Using LMI formulation, this convex optimization problem can in turn be cast as generalized eigenvalue minimization problem, where an attractive algorithm based on the method of centers has been recently introduced to find its solution [30, 361. In the present paper we will restrict our discussion to state feedback case with Popov multipliers. A more general case of output feedback and other types of multipliers will be addressed in a future paper.

• 한국산업정보학회논문지
• /
• 제10권3호
• /
• pp.57-63
• /
• 2005

Kim과 Fenn등은 LFSR 구조를 이용한 두 가지 구조의 효율적인 모듈러 AB 곱셈기를 구현하였다. 그들의 구조는 기약다항식으로 모든 계수가 1인 속성의 AOP를 이용함으로서 기존의 곱셈기들보다 효율적인 구조복잡도를 가졌다. 본 논문에서는 Kim의 곱셈기보다 효율적인 공간 복잡도를 가진 LFSR(Linear Feedback Shift Register) 구조 기반의 모듈러 $AB^2$ 곱셈기와 모듈러 지수승기를 제안한다. 본 논문에서 제안한 구조도 Kim의 구조에서와 같이 기약다항식으로 AOP를 사용한다. 시뮬레이션 결과 본 논문에서 제안한 $AB^2$ 곱셈기가 구조복잡도 면에서 Kim의 구조보다 XOR와 AND 게이트의 개수를 약 $50\%$ 정도 줄일 수 있었다. 제안한 구조는 공개키 암호화 시스템을 위한 기본구조로 사용될 수 있을 것이다.

• 한국멀티미디어학회논문지
• /
• 제9권12호
• /
• pp.1607-1616
• /
• 2006

The growing market of multimedia and digital signal processing requires significant data-path portions of SoCs. However, the common models for verification are not suitable for SoCs. A novel model--WGL (Weighted Generalized List) is proposed, which is based on the general-list decomposition of polynomials, with three different weights and manipulation rules introduced to effect node sharing and the canonicity. Timing parameters and operations on them are also considered. Examples show the word-level WGL is the only model to linearly represent the common word-level functions and the bit-level WGL is especially suitable for arithmetic intensive circuits. The model is proved to be a uniform and efficient model for both bit-level and word-level functions. Then Based on the WGL model, a backward-construction logic-verification approach is presented, which reduces time and space complexity for multipliers to polynomial complexity(time complexity is less than $O(n^{3.6})$ and space complexity is less than $O(n^{1.5})$) without hierarchical partitioning. Finally, a construction methodology of word-level polynomials is also presented in order to implement complex high-level verification, which combines order computation and coefficient solving, and adopts an efficient backward approach. The construction complexity is much less than the existing ones, e.g. the construction time for multipliers grows at the power of less than 1.6 in the size of the input word without increasing the maximal space required. The WGL model and the verification methods based on WGL show their theoretical and applicable significance in SoC design.

• ETRI Journal
• /
• 제27권2호
• /
• pp.206-218
• /
• 2005

We measure and compare externalities of IT and R&D capital stocks in different Korean industry sectors using inter-industry input-output tables of 1985, 1990, 1995 and 2000. We also compute the multiplier effects that relate to the directions of future economic effects. The key findings are as follows. First, we observed continuous capital deepening in all nine industries over the period of 1985 to 2000. Second, the backward multipliers of IT capital were the highest in the manufacturing industry. As for inter-industry externalities, the indirect backward multipliers, which exclude intra-industry backward multiplier effects within the industry, were also the highest in the manufacturing industry. Third, the forward multiplier effects of IT capital stock were the most substantial in the construction industry during the 1980s and in the manufacturing industry thereafter. Finally, using the transition multiplier matrix reflecting the backward effects of the two capitals in the past, the economic backward effects, especially the external economic effects, are predicted to increase through 2010 among all industries. The above findings suggest that, in order to maximize the forward and backward effects of the ever-increasing IT capital, we need to formulate an industry policy reducing the cost of capital accumulation in the manufacturing industry through improvement in productivity of the IT industry.

• 한국통신학회논문지
• /
• 제24권8A호
• /
• pp.1238-1244
• /
• 1999

본 논문에서는 오류정정 능력이 비교적 작은 경우에 매우 효과적인 직접복호법을 이용하여 기존의 복호기에 비해 하드웨어적으로 매우 간단한 새로운 3중 오류정정 Reed-Solomon 복호기의 설계 방법을 제안한다. 본 논문에서 설계한 3중 오류정정 Reed-Solomon 복호기는 오류위치다항식 및 오류평가다항식의 계산에 GF(2m) 상의 곱셈기가 9개만 사용되어, 기존의 복호기가 약24개가 소요되는데 비해 매우 간단한 하드웨어로 구현할 수 있는 장점을 가지고 있다. 또한 제어회로도 매우 간단하고, 복호지연도 오증계산에 걸리는 한 블록만큼만 소요되므로 수신 시퀀스를 저장하는 버퍼 메모리를 절약할 수 있다.

• 대한임베디드공학회논문지
• /
• 제14권6호
• /
• pp.313-319
• /
• 2019

Finite field operations have played an important role in error correcting codes and cryptosystems. Recently, the necessity of efficient computation processing is increasing for security in cyber physics systems. Therefore, efficient implementation of finite field arithmetics is more urgently needed. These operations include addition, multiplication, division and inversion. Addition is very simple and can be implemented with XOR operation. The others are somewhat more complicated than addition. Among these operations, multiplication is the most important, since time-consuming operations, such as exponentiation, division, and computing multiplicative inverse, can be performed through iterative multiplications. In this paper, we propose a multiplexer based parallel computation algorithm that performs Montgomery multiplication over finite field using redundant basis. Then we propose an efficient multiplexer based semi-systolic multiplier over finite field using redundant basis. The proposed multiplier has less area-time (AT) complexity than related multipliers. In detail, the AT complexity of the proposed multiplier is improved by approximately 19% and 65% compared to the multipliers of Kim-Han and Choi-Lee, respectively. Therefore, our multiplier is suitable for VLSI implementation and can be easily applied as the basic building block for various applications.

• 전자공학회논문지SC
• /
• 제37권4호
• /
• pp.35-41
• /
• 2000

본 논문에서는 유한체 GF(2/sup m/)상에서 두 다항식의 승산 알고리즘을 제시하였다. 이 알고리즘은 반복적인 배열로 병렬 승산을 효과적으로 실현하며, 동일한 시간에 고속 동작을 실현한다. 제시된 승산기는 승산연산부와 mod연산부, 원시 기약다항식연산부로 구성하였다. 승산연산부는 멀티플렉서, X-OR게이트, AND게이트, MUX로 구성하였으며, mod연산부는 AND게이트, X-OR게이트로 구성하였다. 또한 본 논문에서 제시한 승산에는 효과적인 파이프형을 도입하였다. 도출된 모든 승산기는 고속 동작하며, 회로 복잡성이 감소한다. 셀들의 내부결선도는 VLSI 실현에 적합하도록 규칙적으로 구성되었다.

• 한국전자파학회논문지
• /
• 제22권11호
• /
• pp.1137-1140
• /
• 2011

본 논문은 RF 전력증폭기용 트랜지스터의 주파수 체배기 활용을 위한 최대 효율 조건에 대해 분석하고, 고효율 달성을 위한 출력 정합 회로에서의 고조파 임피던스와 기생 성분에 의한 부정합 영향에 대해 고찰하였다. 이를 바탕으로 능동 주파수 체배기의 설계에 있어 입력 바이어스 제어를 통해 고조파 전류를 발생시키는 경우의 이론적인 고조파 전력을 예상하였으며, class-F 구조를 기반으로 하여 주파수 3체배기를 설계하고, 트랜지스터의 비선형 파라미터로써 정규화된 3차 고조파 전력을 예상하였다. 위의 분석 결과를 바탕으로 2.475 GHz에서 주파수 3체배기를 설계하였으며, 시뮬레이션 효율 약 19.5 % 및 측정 효율 22.9 %, 최대 변환 이득 9.5 dB의 결과를 얻을 수 있었다.

• Structural Engineering and Mechanics
• /
• 제65권4호
• /
• pp.369-380
• /
• 2018

In this paper, a multi-layered finite element model for laminated glass plates is introduced. A layer-wise theory is applied to the analysis of laminated glass due to the combination of stiff and soft layers; the independent layers are connected via Lagrange multipliers. The von $K{\acute{a}}rm{\acute{a}}n$ large deflection plate theory and the constant Poisson ratio for constitutive equations are assumed to capture the possible effects of geometric nonlinearity and the time/temperature-dependent response of the plastic foil. The linear viscoelastic behavior of a polymer foil is included by the generalized Maxwell model. The proposed layer-wise model was implemented into the MATLAB code and verified against detailed three-dimensional models in ADINA solver using different hexahedral finite elements. The effects of temperature, load duration, and creep/relaxation are demonstrated by examples.