• 정보보호학회논문지
• /
• 제32권6호
• /
• pp.1045-1057
• /
• 2022

최근 양자 내성 암호 표준화 사업을 진행 중인 미국의 국립표준기술연구소는 표준화가 확정된 4개의 알고리즘을 발표하였다. 본 논문에서는 PKE/KEM 분야에서 표준화가 확정된 CRYSTALS-KYBER 알고리즘의 복호화 과정 중 비프로파일링 기반 전력 분석 공격인 CPA(Correlation Power Analysis)와 DDLA(Differential Deep Learning Analysis)에 의해 개인 키가 노출될 수 있음을 보이고자 한다. 실험 결과 개인 키의 일차 다항식 계수복구에 성공하였으며, 특히 DDLA에서는 중간 값의 해밍 웨이트(Hamming Weight)를 라벨로 사용하는 모델에서 평가 기법인 NMM(Normalized Maximum Margin)의 값이 13.0으로 가장 높은 값을 가져 개인 키를 복구할 수 있는 것을 확인하였다. 또한, 복호화 과정 중 암호문을 랜덤하게 분할하고 계수별 곱셈 연산의 시작 지점을 랜덤화하는 방어 기법을 적용하면 상기한 공격을 방어하는 것을 확인하였다.

• 인터넷정보학회논문지
• /
• 제9권5호
• /
• pp.185-193
• /
• 2008

대규모 병렬 시스템의 MTBF(moon time between failures)는 아주 짧아 겨우 수 시간 단위에 불과하여 장시간의 연산 도중 연산 실패로 끝나 소중한 계산 시간이 낭비되는 경우가 많다. 그러나 현재의 MPI(Message Passing Interface) 표준은 이에 대한 대안을 제시하지 않고 있다. 본 논문에서는, 비표준의 결함 내성 MPI 라이브러리가 아닌 MPI 표준 함수들만을 사용하여, 일반적인 동기 병렬 연산에 적용할 수 있는 응용 수준의 결함 내성 연산 시스템을 제안한다.

• 한국산학기술학회논문지
• /
• 제13권11호
• /
• pp.5379-5388
• /
• 2012

비선형 공정에 대한 퍼지 모델링에서, 퍼지 규칙은 일반적으로 입력 변수 선택, 공간 분할 수 및 소속 함수에 의해 형성된다. 비선형 공정에 대한 퍼지 규칙의 생성은 차원이 증가할수록 규칙의 수가 지수적으로 증가하는 문제를 가지고 있다. 이를 해결하기 위해, 입력 공간의 퍼지 분할에 의한 퍼지 규칙을 생성함으로써 복잡한 비선형 공정을 모델링 할 수 있다. 따라서 본 논문에서는 HCM 클러스터링 알고리즘을 이용하여 입력 공간을 분산 형태로 분할함으로써 비퍼지 추론 시스템의 규칙을 생성한다. 규칙의 전반부 파라미터는 HCM 클러스터링 알고리즘에 의한 소속행렬로 결정된다. 규칙의 후반부는 다항식 함수의 형태로 표현되며, 각 규칙의 후반부 파라미터들은 표준 최소자승법에 의해 동정된다. 마지막으로, 비선형 공정으로는 널리 이용되는 데이터를 이용하여 비선형 특성 및 성능을 평가한다. 본 실험을 통해 고차원의 비선형 시스템은 매우 적은 수의 규칙을 가지고 모델링할 수 있었다.

• 한국시뮬레이션학회논문지
• /
• 제19권4호
• /
• pp.43-50
• /
• 2010

최근 인터넷 전화는 기존 유선 전화에 비해 적은 비용으로 통화를 할 수 있다는 장점으로 인해 많은 인터넷 사용자들에 의해 사용되어지고 있다. Session Initiation Protocol(SIP)은 인터넷 전화의 세션 설정 및 해제를 위한 응용계층 프로토콜 표준이다. SIP는 주로 전송을 위해 UDP를 사용하고 있다. 따라서 INVITE 요청 메시지가 유실되는 경우, UDP 메시지의 신뢰성 있는 전송을 위하여 그 메시지는 적절한 타이머에 의해 재전송된다. 재전송은 사용자에 의해 보내진 메시지의 신뢰성 보장을 위해 유용할 지라도, SIP 프록시(Proxy) 서버의 과부하를 초래하는 원인이 되기도 한다. SIP 프록시 서버의 과부하로 인하여 입력되는 메시지가 많이 유실될 수 있다. 본 논문에서는 프록시 서버의 과부하를 효율적으로 해결하기 위한 비선형 과부하 제어 알고리즘을 제안한다. 제안된 알고리즘은 ns-2 시뮬레이터를 이용하여 성능을 시뮬레이션하였다. 시뮬레이션 결과는 기존의 선형 과부하 제어 알고리즘에 비해 제안된 알고리즘의 프록시 서버의 처리율이 약 12%정도 향상됨을 알 수 있었다.

• 한국경영과학회지
• /
• 제25권3호
• /
• pp.17-33
• /
• 2000

We consider the Steiner tree packing problem. For a given undirected graph G =(V, E) with positive integer capacities and non-negative weights on its edges, and a list of node sets(nets), the problem is to find a connection of nets which satisfies the edge capacity limits and minimizes the total weights. We focus on the switchbox routing problem in knock-knee model and formulate this problem as an integer programming using Steiner tree variables. The model contains exponential number of variables, but the problem can be solved using a polynomial time column generation procedure. We test the algorithm on some standard test instances and compare the performances with the results using cutting plane approach. Computational results show that our algorithm is competitive to the cutting plane algorithm presented by Grotschel et al. and can be used to solve practically sized problems.

• Journal of Electrical Engineering and Technology
• /
• 제12권4호
• /
• pp.1348-1356
• /
• 2017

Integration of wind generators with the conventional power plants will raise operational challenges to the electric power utilities due to the uncertainty of wind availability. Thus, the Generation Scheduling (GS) among the online generating units has become crucial. This process can be formulated mathematically as an optimization problem. The GS problem of wind integrated power system is inherently complex because the formulation involves non-linear operational characteristics of generating units, system and operational constraints. As the robust tool is viable to address the chosen problem, the modern bio-inspired algorithm namely, Grey Wolf Optimization (GWO) algorithm is chosen as the main optimization tool. The intended algorithm is implemented on the standard test systems and the attained numerical results are compared with the earlier reports. The comparison clearly indicates the intended tool is robust and a promising alternative for solving GS problems.

• 한국지능시스템학회논문지
• /
• 제15권6호
• /
• pp.748-753
• /
• 2005

When the maneuver occurs, the performance of the standard Kalman filter has been degraded because mismatches between the modeled target dynamics and the actual target dynamics. To solve this problem, the unknown acceleration is determined by using the fuzzy logic based on genetic algorithm(GA) method. This algorithm is the method to estimate the increment of acceleration by a fuzzy system using th relation between maneuver filler residual and non-maneuvering one. To optimize this system, a GA is utilized. And then, the modified filter is corrected by the new update equation method which is a fuzzy system using the relation between the filter residual and its variation. To shows the feasibility of the suggested method with only one filter, the computer simulations system are provided, this method is compared with multiple model method.

• Steel and Composite Structures
• /
• 제7권3호
• /
• pp.201-217
• /
• 2007

Two combinatorial optimization algorithms, tabu search and simulated annealing, are presented for the minimum-weight design of geometrically non-linear steel plane frames. The design algorithms obtain minimum weight frames by selecting suitable sections from a standard set of steel sections such as American Institute of Steel Construction (AISC) wide-flange (W) shapes. Stress constraints of AISC Load and Resistance Factor Design (LRFD) specification, maximum and interstorey drift constraints and size constraints for columns were imposed on frames. The stress constraints of AISC Allowable Stress Design (ASD) were also mounted in the two algorithms. The comparisons between AISC-LRFD and AISC-ASD specifications were also made while tabu search and simulated annealing were used separately. The algorithms were applied to the optimum design of three frame structures. The designs obtained using tabu search were compared to those where simulated annealing was considered. The comparisons showed that the tabu search algorithm yielded better designs with AISC-LRFD code specification.

• 대한임베디드공학회논문지
• /
• 제8권5호
• /
• pp.235-242
• /
• 2013

Recently, the number of automotive electrical and electronic system has been increased because the requirements for the convenience and safety of the drivers and passengers are raised. In most cases, the data for controlling the various sensors and automotive electrical and electronic system used in runtime should be stored on the internal or external non-volatile memory of the ECU(Electronic Control Units). However, the non-volatile memory has a constraint with write limitation due to the hardware characteristics. The limitation causes fatal accidents or unexpected results if the non-volatile memory is not managed. In this paper, we propose a management scheme for using non-volatile memory to prolong the writing times based on AUTOSAR(AUTOmotive Open System Architecture) platform. Our proposal is implemented on the CDD(Complex Device Driver) and uses an algorithm which swaps a frequently modified block for a least modified block. Through the development of the prototype, the proposed scheme extends the lifetime of non-volatile memory about 1.08 to 2.48 times than simply using the AUTOSAR standard.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2010년도 추계학술대회 논문집
• /
• pp.324-329
• /
• 2010

Vibrations caused by automobile engine are absorbed mostly by a passive-type engine mount. However, user specifications for automobile vibrations require more stringent conditions and higher standard. Hence, active-type engine mount have been developed to cope with such specifications. The active-type engine mount consists of sensor, actuator and controller where a control algorithm is implemented. The performance of the active engine mount depends on the control algorithm if the sensor and actuator satisfies the specification. The control algorithm should be able to suppress persistent vibrations caused by the engine which are related to engine revolution. In this study, three control algorithms are considered for suppressing persistent vibrations, which are the positive position feedback control algorithm, the strain-rate feedback control algorithm, and the modified higher harmonic control algorithm. Experimental results show that all the control algorithms considered in this study are effective in suppressing resonant vibrations but the modified higher harmonic controller is the most effective controller for non-resonant vibrations.