• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.64-67
• /
• 2011

최근 개인 프라이버시 보호에 대한 중요성이 제기되면서, 보안에 대한 관심이 증가하게 되었다. 본 논문에서는 한국 산업규격 KS 표준 블록 암호 알고리즘인 ARIA의 핵심논리를 유지하면서, 동종 경쟁 알고리즘(AES, Camellia 등)과의 차별성으로 강조되어온 16 ${\times}16$ 이진 행렬을 이용한 확산 계층을$ (4{\times}4){\times}4$의 이진 행렬 형태로 수정한 개선 ARIA를 구현하였다. 개선 설계된 ARIA를 검증하기 위해, 파일 암.복호화 시스템을 적용하였고, 보안 영상 시스템을 개발하였다. 기존의 ARIA의 장점을 유지하기 때문에, 초경량 환경이나 많은 데이터를 초고속으로 처리에 필요한 응용에 더 효과적으로 적용될 수 있다.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.41 no.4
• /
• pp.29-37
• /
• 2004

This paper provides a reliable H$_{\infty}$ state feedback controller design method for delayed singular systems with actuator failures occurred within the prescribed subset. The sufficient condition for the existence of a reliable H$_{\infty}$ controller and the controller design method are presented by linear matrix inequality(LMI), singular value decomposition, Schur complements, and changes of variables. The proposed controller guarantees not only asymptotic stability but also H$_{\infty}$ norm bound in spite of existence of actuator failures. Since the obtained sufficient condition can be expressed as an LMI fen all variables can be calculated simultaneously. Moreover, the controller design method can be extended to the problem of robust reliable H$_{\infty}$ controller design method for singular systems with parameter uncertainties, time-varying delay, and actuator failures. A numerical example is given to illustrate the validity of the result.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.49 no.10
• /
• pp.181-186
• /
• 2012

In this paper, we describe the synthesis of robust and non-fragile Kalman filter design for a class of uncertain linear system with polytopic uncertainties and filter gain variations. The sufficient condition of filter existence, the design method of robust non-fragile filter, and the measure of non-fragility in filter are presented via LMIs(Linear Matrix Inequality) technique. And the obtained sufficient condition can be represented as PLMIs(parameterized linear matrix inequalities) that is, coefficients of LMIs are functions of a parameter confined to a compact set. Since PLMIs generate infinite LMIs, we use relaxation technique, find the finite solution for robust non-fragile filter, and show that the resulting filter guarantees the asymptotic stability with parameter uncertainties and filter fragility. Finally, a numerical example will be shown.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.26 no.8
• /
• pp.730-739
• /
• 2015

In this paper, a wideband circular polarizer operating in the frequency range of 6~18 GHz is designed and fabricated using a multilayer structure with meanderlines. A T matrix expression for the unit structure, which consists of meanderline, dielectric substrate and spacer, was derived using the boundary value solution. A proposed meanderline structure was modeled as an array of unit meanderline cell in order to apply the waveguide model with PEC and PMC boundary conditions. The calculation procedures to obtain an equivalent susceptance of the unit meanderline cell using HFSS was also suggested. Using a hybrid method, which combines the T matrix with the HFSS results, and cut-and-try method, a wideband circular polarizer with low insertion loss and good AR performance was designed. The fabricated polarizer has the return loss less than -10 dB within 92 % bandwidth, the average insertion loss less than -0.24 dB, and the average AR below 2.6 dB for full 3:1 bandwidth.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.25 no.5
• /
• pp.451-456
• /
• 2015

In this paper, an observer-based decentralized fuzzy controller is designed for discrete-time interconnected fuzzy systems. Based on the fuzzy subsystem of the interconnected fuzzy system, the observer-based decentralized fuzzy controller is considered. By using the fuzzy subsystem and the observer-based decentralized fuzzy controller, the closed-loop system is obtained. From the closed-loop system, the stability condition with the maximum interconnection bound is developed, and its sufficient condition is represented as the linear matrix inequality (LMI). Finally, the numerical example is provided to verify the effectiveness of the proposed technique.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.42 no.6
• /
• pp.9-14
• /
• 2005

In this paper, we consider the synthesis of non-fragile $H_{\infty}$ state feedback controllers for singular systems and static state feedback controller with multiplicative uncertainty. The sufficient condition of controller existence, the design method of non-fragile $H_{\infty}$ controller, and the measure of non-fragility in controller are presented via LMI(linear matrix inequality) technique. Also, the sufficient condition can be rewritten as LMI form in terms of transformed variables through singular value decomposition, some changes of variables, and Schur complements. Therefore, the obtained non-fragile $H_{\infty}$ controller guarantees the asymptotic stability and disturbance attenuation of the closed loop singular systems within a prescribed degree. Moreover, the controller design method can be extended to the problem of robust and non-fragile $H_{\infty}$ controller design method for singular systems with parameter uncertainties. Finally, a numerical example is given to illustrate the design method.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.16 no.2
• /
• pp.138-143
• /
• 2006

This paper presents intelligent digital redesign method for hybrid state space fuzzy-model-based controllers. For effectiveness and stabilization of continuous-time uncertain nonlinear systems under discrete-time controller, Takagi-Sugeno(TS) fuzzy model is used to represent the complex system. And global approach design problems viewed as a convex optimization problem that we minimize the error of the norm bounds between nonlinearly interpolated linear operators to be matched. Also, by using the bilinear and inverse bilinear approximation method, we analyzed nonlinear system's uncertain parts more precisely. When a sampling period is sufficiently small, the conversion of a continuous-time structured uncertain nonlinear system to an equivalent discrete-time system have proper reason. Sufficiently conditions for the global state-matching of the digitally controlled system are formulated in terms of linear matrix inequalities (LMIs). Finally, a TS fuzzy model for the chaotic Lorentz system is used as an . example to guarantee the stability and effectiveness of the proposed method.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10b
• /
• pp.339-341
• /
• 1999

본 논문에서는 연상 메모리 기능을 수행하는 셀룰라 신경망(Cellular Neural Netowork)의 설계를 위한 새로운 방법론을 제안한다. 먼저, 셀룰라 신경망 모델의 기본적 특성들을 소개한 후, 최적 성능을 가지고 이진 원형 패턴들을 저장할 수 있는 셀룰라 신경망 모델의 설계 방법을 제약 조건이 가해진 최적화 문제로 공식화한다. 다음으로 이 문제의 제약 조건을 선형 행렬 부등식(Linear Matrix Inequalities)을 포함하는 부등식의 형태로 변환시킬 수 있음을 관찰한다. 마지막으로 셀룰라 신경망 최적 설계 문제를 내부점 방법(interior point method)에 의해 효율적으로 풀릴 수 있는 일반화된 교유값 문제(Generalized Eigen Value Problem)로 변환하고 설계 예제를 통해 제안된 방법의 유효성을 검증한다.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2004.10a
• /
• pp.82-86
• /
• 2004

To cope with the challenge from global market characterized by frequent changes in requirements, manufacturing enterprise should be able to promptly adjust its manufacturing system accordingly. Therefore, it is important to provide manufacturing system designer with an appropriate methodology to (re-)design a manufacturing system subject to requirements change. Axiomatic design theory focuses design activity mainly on functional consideration rather than physical, and has been known as effective especially in the conceptual design phase. This paper introduces an approach to apply the axiomatic design principle to manufacturing system design. It is shown that a new design solution can be reached quickly by finding design parameters for the added or revised functional requirements and thus achieving a set of functional requirements as well as design parameters that satisfy the independence axiom. Some illustrative examples are also given.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10c
• /
• pp.37-39
• /
• 2001

본 논문은 여러 가지 데이터 압축 표준에서 채택하고 있는 이차원 이산 여현 변환과 그 역 변환 (DCT/IDCT)를 위한 효율적인 비동기식 행렬 벡터 곱셈기를 설계하였다. 본 논문에서 제안되어진 곱셈기는 일반적으로 DCT/IDCT의 입력 데이터가 대부분 zero입력이거나 또는 작은 비트수로 표현 가능하다는 점을 이용하여 저전력 고성능 동작을 구현할 수 있도록 설계하였다. 비동기식 설계 방식을 채택하여 Zero입력일 경우 곱셈과정을 생략하고, 정적 회로에 기초한 특정 계산 완료 인지 방식(Speculative Completion Sensing)와 비트 분할된 곱셈기를 이용하여 입력 비트 슬라이스에 대해 동적으로 회로의 계산부분을 활성화/비활성화를 동작을 할 수 있도록 설계되어졌다.