• The KIPS Transactions:PartC
• /
• v.19C no.1
• /
• pp.39-46
• /
• 2012

In this paper, we propose a key distribution scheme for flexible chipset pairing conditional access system. Chipset pairing conditional access system is the implementation of CA (Conditional Access) module by using both embedded secure chip in a Set-Top Box(STB) and smartcard, and the secure chip embedded in a STB forms a secure channel between the smartcard and the STB. In short, it is the system that a smartcard outputs encrypted CW (Control Word) to the STB, and the STB decrypts an encrypted CW by using the embedded secure chip. The drawback of this chipset pairing conditional access system is that one smartcard is able to be used for only one specified STB since it is the system using the STB bound to a smartcard. However, the key distribution scheme proposed in this paper overcomes a drawback of current chipset pairing conditional access system by using Chinese Remainder Theorem(CRT). To be specific, with this scheme, one smartcard can be used for multiple, not single, STBs, and applied to current chipset pairing without great changes.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.32 no.3
• /
• pp.280-289
• /
• 2008

This paper presents design of the quantitative feedback control system of the three axes hydraulic road simulator with respect to the dummy wheel for uncertain multiple input-output(MIMO) feedback systems. This simulator has the uncertain parameters such as fluid compressibility, fluid leakage, electrical servo components and nonlinear mechanical connections. This works have reproduced the random input signal to implement the real road vibration's data in the lab. The replaced $m^2$ MISO equivalent control systems satisfied the design specifications of the original $m^*m$ MIMO control system and developed the mathematical method using quantitative feedback theory based on schauder's fixed point theorem. This control system illustrates a tracking performance of the closed-loop controller with low order transfer function G(s) and pre-filter F(s) having the minimum bandwidth for parameters of uncertain plant. The efficacy of the designed controller is verified through the dynamic simulation with combined hydraulic model and Adams simulator model. The Matlab simulation results to connect with Adams simulator model show that the proposed control technique works well under uncertain hydraulic plant system. The designed control system has satisfied robust performance with stability bounds, tracking bounds and disturbance. The Hydraulic road simulator consists of the specimen, hydraulic pump, servo valve, hydraulic actuator and its control equipments

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.67 no.11
• /
• pp.1562-1569
• /
• 2018

Sensor readings always have a certain degree of randomness and fuzziness due to its intrinsic property, other electronic devices in the circuitry, wires and the rapidly changing environment. In an electrical control system, such readings will bring instability in the system and other undesired events especially if the signal hovers around the threshold. This paper proposes a Gaussian-based statistical approach in stabilizing the output through sampling the sensor data and automatic tuning the threshold to the range of multiple standard deviations. It takes advantage of the Central limit theorem and its properties assuming that a large number of sensor data samples will eventually converge to a Gaussian distribution. Experimental results demonstrate the effectiveness of the proposed algorithm in completely stabilizing the outputs over known filtering algorithms like Exponential smoothing and Kalman Filter.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.37 no.9
• /
• pp.1141-1149
• /
• 2013

Dimensional analysis is an important tool for developing mathematical models of physical phenomena in order to understand the effects of laser shock peening(LSP) process parameters. By using the Bucking ${\prod}$ theorem, we proposed an applicable dimensional analysis method to verify the effects of LSP process parameters on the residual stresses. Furthermore, by using finite element analysis, we proposed a finite element method of LSP and discussed various parameters, such as peak pressure, pressure pulse duration, laser spot size, and multiple LSPs.

• Journal of Sensor Science and Technology
• /
• v.21 no.5
• /
• pp.352-358
• /
• 2012

A sensor network system can be an efficient tool for healthcare telemetry for multiple users due to its power efficiency. One drawback is its limited data size. This paper proposed a real-time application of data compression/decompression method in u-Health monitoring system in order to improve the network efficiency. Our high priority was given to maintain a high quality of signal reconstruction since it is important to receive undistorted waveform. Our method consisted of down sampling coding and differential Huffman coding. Down sampling was applied based on the Nyquist-Shannon sampling theorem and signal amplitude was taken into account to increase compression rate in the differential Huffman coding. Our method was successfully tested in a ZigBee and WLAN dual network. Electrocardiogram (ECG) had an average compression ratio of 3.99 : 1 with 0.24% percentage root mean square difference (PRD). Photoplethysmogram (PPG) showed an average CR of 37.99 : 1 with 0.16% PRD. Our method produced an outstanding PRD compared to other previous reports.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2019.05a
• /
• pp.254-256
• /
• 2019

소수체 GF(p)와 이진체 $GF(2^m)$ 상의 다중 타원곡선을 지원하는 듀얼 필드 ECC (DF-ECC) 프로세서를 설계하였다. DF-ECC 프로세서의 저면적 설와 다양한 타원곡선의 지원이 가능하도록 워드 기반 몽고메리 곱셈 알고리듬을 적용한 유한체 곱셈기를 저면적으로 설계하였으며, 페르마의 소정리(Fermat's little theorem)를 유한체 곱셈기에 적용하여 유한체 나눗셈을 구현하였다. 설계된 DF-ECC 프로세서는 스칼라 곱셈과 점 연산, 그리고 모듈러 연산 기능을 가져 다양한 공개키 암호 프로토콜에 응용이 가능하며, 유한체 및 모듈러 연산에 적용되는 파라미터를 내부 연산으로 생성하여 다양한 표준의 타원곡선을 지원하도록 하였다. 설계된 DF-ECC는 FPGA 구현을 하드웨어 동작을 검증하였으며, 0.18-um CMOS 셀 라이브러리로 합성한 결과 22,262 GEs (gate equivalences)와 11 kbit RAM으로 구현되었으며, 최대 100 MHz의 동작 주파수를 갖는다. 설계된 DF-ECC 프로세서의 연산성능은 B-163 Koblitz 타원곡선의 경우 스칼라 곱셈 연산에 885,044 클록 사이클이 소요되며, B-571 슈도랜덤 타원곡선의 스칼라 곱셈에는 25,040,625 사이클이 소요된다.

• Korean Journal of Biological Psychiatry
• /
• v.29 no.1
• /
• pp.1-8
• /
• 2022

Objectives In regard to the social competition hypothesis, depression is viewed as an involuntary defeat strategy. A previous study has demonstrated that adaptation in microenvironments can result in a wide range of behavioural patterns including defense activation disorders. Using a simulation model with evolutionary ecological agents, we explore how the fitness of various defence activation traits has changed over time in different environments with high and low social mobility. Methods The Evolutionary Ecological Model of Defence Activation Disorder, which is based on the Marginal Value Theorem, was used to examine changes in relative fitness for individuals with defensive activation disorders after adjusting for social mobility. Results Our study examined the effects of social mobility on fitness by varying the d-values, a measure of depression in the model. With a decline in social mobility, the level of fitness of individuals with high levels of defense activation decreased. We gained insight into the evolutionary influence of varying levels of social mobility on individuals' degrees of depression. In the context of a highly stratified society, the results support a mismatch hypothesis which states that high levels of defence are detrimental. Conclusions Despite the fact that niche specialization in habitats composed of multiple microenvironments can result in diverse levels of defensive activation being evolutionary strategies for stability, decreased social mobility may lead to a decrease in fitness of individuals with highly activated defence modules. There may be a reason behind the epidemic of depression in modern society.

• Nuclear Medicine and Molecular Imaging
• /
• v.42 no.1
• /
• pp.52-60
• /
• 2008

Purpose: To establish the methods for sinogram formation and correction in order to appropriately apply the filtered backprojection (FBP) reconstruction algorithm to the data acquired using PET scanner with multiple scintillation crystal layers. Materials and Methods: Formation for raw PET data storage and conversion methods from listmode data to histogram and sinogram were optimized. To solve the various problems occurred while the raw histogram was converted into sinogram, optimal sampling strategy and sampling efficiency correction method were investigated. Gap compensation methods that is unique in this system were also investigated. All the sinogram data were reconstructed using 20 filtered backprojection algorithm and compared to estimate the improvements by the correction algorithms. Results: Optimal radial sampling interval and number of angular samples in terms of the sampling theorem and sampling efficiency correction algorithm were pitch/2 and 120, respectively. By applying the sampling efficiency correction and gap compensation, artifacts and background noise on the reconstructed image could be reduced. Conclusion: Conversion method from the histogram to sinogram was investigated for the FBP reconstruction of data acquired using multiple scintillation crystal layers. This method will be useful for the fast 20 reconstruction of multiple crystal layer PET data.

• Journal of Digital Convergence
• /
• v.12 no.9
• /
• pp.219-223
• /
• 2014

In line with the advanced wireless communication technology, M2M (Machine-to-Machine) communication has drawn attention in industry. M2M communication features are installed and operated in the fields where human accessibility is highly limited such as disaster, safety, construction, health and welfare, climate, environment, logistics, culture, defense, medical care, agriculture and stockbreeding. In M2M communication, machine replaces people for automatic communication and countermeasures as part of unmanned information management and machine operation. Wireless M2M inter-device communication is likely to be exposed to intruders' attacks, causing security issues, which warrants proper security measures including cross-authentication of whether devices are legitimate. Therefore, research on multiple security protocols has been conducted. The present study applied SessionKey, HashFunction and Nonce to address security issues in M2M communication and proposed a safe protocol with reinforced security properties. Notably, unlike most previous studies arguing for the security of certain protocols based on mathematical theorem proving, the present study used the formal verification with Casper/FDR to prove the safety of the proposed protocol. In short, the proposed protocol was found to be safe and secure.

• Smart Structures and Systems
• /
• v.25 no.2
• /
• pp.155-167
• /
• 2020

This paper demonstrates a real-time hybrid substructuring (RTHS) shake table test to evaluate the seismic performance of a base isolated building. Since RTHS involves a feedback loop in the test implementation, the frequency dependent magnitude and inherent time delay of the actuator dynamics can introduce inaccuracy and instability. The paper presents a robust stability and performance analysis method for the RTHS test. The robust stability method involves casting the actuator dynamics as a multiplicative uncertainty and applying the small gain theorem to derive the sufficient conditions for robust stability and performance. The attractive feature of this robust stability and performance analysis method is that it accommodates linearized modeled or measured frequency response functions for both the physical substructure and actuator dynamics. Significant experimental research has been conducted on base isolators and dampers toward developing high fidelity numerical models. Shake table testing, where the building superstructure is tested while the isolation layer is numerically modeled, can allow for a range of isolation strategies to be examined for a single shake table experiment. Further, recent concerns in base isolation for long period, long duration earthquakes necessitate adding damping at the isolation layer, which can allow higher frequency energy to be transmitted into the superstructure and can result in damage to structural and nonstructural components that can be difficult to numerically model and accurately predict. As such, physical testing of the superstructure while numerically modeling the isolation layer may be desired. The RTHS approach has been previously proposed for base isolated buildings, however, to date it has not been conducted on a base isolated structure isolated at the ground level and where the isolation layer itself is numerically simulated. This configuration provides multiple challenges in the RTHS stability associated with higher physical substructure frequencies and a low numerical to physical mass ratio. This paper demonstrates a base isolated RTHS test and the robust stability and performance analysis necessary to ensure the stability and accuracy. The tests consist of a scaled idealized 4-story superstructure building model placed directly onto a shake table and the isolation layer simulated in MATLAB/Simulink using a dSpace real-time controller.