• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.1
• /
• pp.15-24
• /
• 2018

In this paper, we explain a method of appproximating the differentials probability using a SAT solver. It is possible to increase the probability by constructing the differential characteristic which already known to differentials with a SAT solver. We apply our method to SPECK32 and SPECK48. As a result, we introduced a SPECK32's 10-round differentials with a probability of$2^{-30.39}$, and SPECK48's 12-round differentials with probability of $2^{-46.8}$. Both differentials are new and longer round and higher probability than previous ones. Using the differentials presented in this paper, we improved attacks of SPECK32/64 to 15 round, SPECK48/72 to 16 round, SPECK48/96 to 17 round, which attack 1 more rounds of previous works.

• Environmental and Resource Economics Review
• /
• v.31 no.2
• /
• pp.141-163
• /
• 2022

This paper empirically analyzes the effect of renewable electricity generation on the System Marginal Price (SMP) in Korea. Using an ARX-GARCHX model with hourly data from 2016 to 2020, we evaluate SMP determinants and merit order effects. As a result, we find that solar and wind power, as well as gas price and total load, play a critical role in the SMP. In particular, solar power reduces the SMP level but raises volatility during peak and off-peak periods. This result implies that SMP may fall as renewable electricity generation increases, leading to a decrease in the profitability of existing power plants and investment in renewables. On the other hand, even if the subsidy of renewable energy increases the burden on the SMP, it can be offset by the merit order effect, which lowers the SMP.

• Journal of KIISE:Software and Applications
• /
• v.28 no.2
• /
• pp.113-123
• /
• 2001

본 논문에서는 CAN 기반 분산 제어 시스템을 위한 환경 명세 CORBA인 CAN-CORBA를 설계한다. CAN-CORBA의 ORB core는 다음과 같은 특성을 지닌다. (1) 기존의 접속 지향 점대점 통신뿐만 아니라 가입 기반(subscription-based)의 그룹 통신을 지워난다. 이를 통해, 결과적으로 전형적인 제어 시스템의 데이터 멀티캐스팅(multicasting) 요구를 한층 충족시킨다. (2) CORBA 메소드(method) 호출에 필요한 메시지 전송량을 크게 감소시킨다. CAN 같은 저속 브로드케스트(broadcast) 버스에서도 CORBA 메소트 호출의 오버헤드를 감당 할 수 있게 한다. 자연스럽게 두 종류의 통신 방법을 본 논문에서 제안한 매우 작은 크기의 ORB에 통합하기 위하여, 최대 4가지의 상위 통신규약을 지원할 수 있는 CAN의 전송층(Transport layer) 통신규약을 설계한다. 또한 서울대학교에서 이미 개발된 mArx라는 실시간 운영체제 환경에서 CAN-CORBA를 구현하였다. 성능 평가를 통하여 매우 제한적인 자원을 지니는 분산 내장형 제어 시스템 개발에 CORBA를 사용하는 것이 매우 적합하다는 결과를 보인다.

• Journal of information and communication convergence engineering
• /
• v.12 no.4
• /
• pp.252-256
• /
• 2014

Traditional block cipher Advanced Encryption Standard (AES) is widely used in the field of network security, but it has high overhead on each operation. In the 15th international workshop on information security applications, a novel lightweight and low-power encryption algorithm named low-power encryption algorithm (LEA) was released. This algorithm has certain useful features for hardware and software implementations, that is, simple addition, rotation, exclusive-or (ARX) operations, non-Substitute-BOX architecture, and 32-bit word size. In this study, we further improve the LEA encryptions for cloud computing. The Web-based implementations include JavaScript and assembly codes. Unlike normal implementation, JavaScript does not support unsigned integer and rotation operations; therefore, we present several techniques for resolving this issue. Furthermore, the proposed method yields a speed-optimized result and shows high performance enhancements. Each implementation is tested using various Web browsers, such as Google Chrome, Internet Explorer, and Mozilla Firefox, and on various devices including personal computers and mobile devices. These results extend the use of LEA encryption to any circumstance.

• Proceedings of the KIPE Conference
• /
• 2016.07a
• /
• pp.309-310
• /
• 2016

Sealed flooded lead acid batteries are becoming popular in the industry because of their low cost as compared to their counterparts. State of Charge (SOC) estimation has always been an important factor in battery management systems. For the accurate SOC estimation, open circuit voltage (OCV) hysteresis should be modelled accurately. The hysteresis phenomenon of the sealed flooded lead acid battery is discussed in detail and its ultimate modeling is proposed based on the conventional parallelogram method. The SOC estimation is performed by using Unscented Kalman Filter (UKF) while the parameters of the battery are estimated using Auto Regressive with external input (ARX) method. The validity of the proposed method is verified by the experimental results. The SOC estimation error by the proposed method is less than 3 % all wing the 125hr test.

• International Journal of Aeronautical and Space Sciences
• /
• v.13 no.4
• /
• pp.428-434
• /
• 2012

Missiles suffer from flight instability problems at high angles of attack, since vortex flow over a fuselage cause lateral force to the body. To overcome this problem at a high angle of attack, the development of a real time vortex controller is needed. In this paper, Proper Orthogonal Decomposition (POD) and feedback controllers are developed for real time vortex control. The POD method is one of the most well known techniques for modeling low order models that represent the original full-order model. An adaptive control algorithm is used for real time control.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2001.10a
• /
• pp.330-335
• /
• 2001

Characteristics of the present world market include demanding and sophisticated customers, requirement of high quality and innovative products, greater product diversity, increasing labour and products costs, availability of diverse alternatives to the customers and smaller batch sizes to satisfy a variety of customer profiles. To fulfil these characteristics, manufacturing companies need to be flexible adaptable, proactive and able to produce variety of products in short time at low cost. The aim of the study is to develop a computer-aided design system for water-gate on AutoCAD R2000 system. The developed system has been written in AutoCAD and VisualLISP with a personal computer, and is composed four modules which are the gate-lifter input module, guide-frame input module, and upgrade module. Based on knowledge-based rules, the system is designed by considering several factors, such as width and height of a water-gate, material, object of product and maximum depth of water.

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10a
• /
• pp.20-25
• /
• 1993

The control of the motion of a mobile robot is studied. The driving and steering motor assembly is located in the front of the mobile robot. The position of the mobile robot is determined by the steering angle and driving distance. For the controller design, a time-series multivariate model of the autogressive exogenous (ARX) type is used to describe the input-output relation. The discounted least square method is used to estimate parameters of the time-series model. A self-tuning controller is so designed that the position of the center of the mobile robot track the given trajectory. Simulation result controlled by a self-tuning controller is presented to illustrate the approach.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2004.10a
• /
• pp.371-376
• /
• 2004

This study presents a way to generate and manage engineering information by applying steel bridge information model with 3D shape to existing application program. ACIS solid modeling kernel is used to visualize 3D geometric shape of steel bridge on the AutoCAD program. The shape information of 3D solid model can be connected to structural design information of steel bridge by an application module based on information model. The application module for manipulating steel bridge information can be easily developed by ObjectARX programming library supporting functional expansion of AutoCAD program. End-users can use the application module without any additional environmental setup on the AutoCAD. Thus this study facilitates information management of steel bridge by using ACIS solid modeler and ISO/STEP methodology.

• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• pp.161.1-161
• /
• 2001

Tire roller is one of the most useful machines for the road constructions site. In this research, we are trying to develop tire roller which is operated by hydraulic transmission system instead of mechanical one. Now, we are trying to design the controller of tire roller in order to improve performance. Our present system model is somewhat different from the actual experimental results. Therefore we would like to develop new accurate modeling through ARX model by system identification method with random inputs. In this paper, we applied it to the steering system only. Later we will apply it to the traction system and expand to the whole tire roller system.