• 제목/요약/키워드: Multiple theorem

검색결과 107건 처리시간 0.024초

칩셋 페어링 접근제한시스템 환경에서 다중 셋톱박스를 지원하는 키 분배 기법 (Key Distribution Scheme for Supporting Multiple Set-Top Box in Chipset Pairing Conditional Access System)

  • 이훈정;손정갑;오희국
    • 정보처리학회논문지C
    • /
    • 제19C권1호
    • /
    • pp.39-46
    • /
    • 2012
  • 본 논문에서는 유연한 칩셋 페어링 접근제한시스템을 위한 새로운 키 분배 기법을 제안하였다. 칩셋 페어링 접근제한시스템은 셋톱박스에 내장된 보안 칩과 스마트카드를 함께 사용해 CA(Conditional Access) 모듈을 구현한 것으로, 셋톱박스에 내장된 보안 칩은 스마트카드와 셋톱박스 사이에 보안 채널을 형성한다. 즉, 스마트카드는 암호화된 제어단어를 셋톱박스로 출력하고, 셋톱박스는 내장된 보안 칩을 이용해 암호화된 제어단어를 복호화하는 시스템이다. 이 방식은 셋톱박스와 스마트카드를 바인딩 하는 방식으로 하나의 스마트카드는 정해진 하나의 셋톱박스에서만 사용이 가능하다는 단점을 가진다. 제안하는 키 분배 기법은 중국인의 나머지 정리를 이용하여 기존의 칩셋 페어링 접근제한시스템이 가지는 문제를 해결하였다. 우리의 키 분배 기법은 하나의 스마트카드를 다수의 셋톱박스에서 사용하는 것이 가능하며, 큰 변경 없이 현재의 칩셋 페어링 접근제한시스템에 적용이 가능하다는 장점을 가진다.

3축 유압 도로 시뮬레이터의 정량적 피드백 제어 시스템 설계 (Design of Quantitative Feedback Control System for the Three Axes Hydraulic Road Simulator)

  • 김진완;현동길;김영배
    • 대한기계학회논문집A
    • /
    • 제32권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

전기제어 설비의 출력 안정화를 위한 가우시안 접근법 (A Gaussian Approach in Stabilizing Outputs of Electrical Control Systems)

  • 바스넷버룬;방준호;유인호;김태형
    • 전기학회논문지
    • /
    • 제67권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.

무차원 변수 해석을 이용한 LSP 공정변수 영향 분석 (Study on Effect of LSP Process Parameters Using Dimensionless Analysis)

  • 김주희;김태양;김윤재
    • 대한기계학회논문집A
    • /
    • 제37권9호
    • /
    • pp.1141-1149
    • /
    • 2013
  • 복잡한 물리적 현상에 대한 수학적 모델을 만들기 위해 적용되는 차원해석은 LSP 공정변수의 영향을 이해하는데 중요한 도구가 된다. 본 연구에서는 버킹검(Buckingham) ${\prod}$이론을 이용한 차원해석을 통해 레이저 충격 피닝의 잔류응력 결과에 영향을 미치는 변수를 확인하고, 유한요소법을 이용하여 LSP 공정변수인 최대압력파, 압력파 지속시간, 레이저 샷 크기 및 다중 LSP 에 대한 잔류응력 결과를 확인하였다.

u-헬스 센서 네트워크 시스템의 생체신호 압축 처리 (Application of Biosignal Data Compression for u-Health Sensor Network System)

  • 이용규;박지호;윤길원
    • 센서학회지
    • /
    • 제21권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.

GF(p)와 GF(2m) 상의 다중 타원곡선을 지원하는 면적 효율적인 ECC 프로세서 설계 (An Area-efficient Design of ECC Processor Supporting Multiple Elliptic Curves over GF(p) and GF(2m))

  • 이상현;신경욱
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국정보통신학회 2019년도 춘계학술대회
    • /
    • 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 사이클이 소요된다.

  • PDF

Evolutionary Model of Depression as an Adaptation for Blocked Social Mobility

  • Park, Hanson;Pak, Sunyoung
    • 생물정신의학
    • /
    • 제29권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.

다중 섬광결정을 이용한 고해상도 PET의 불균일/불완전 데이터 보정기법 연구 (Compensation Methods for Non-uniform and Incomplete Data Sampling in High Resolution PET with Multiple Scintillation Crystal Layers)

  • 이재성;김수미;이건송;심광숙;이준택;박광석;이동수;홍성종
    • Nuclear Medicine and Molecular Imaging
    • /
    • 제42권1호
    • /
    • pp.52-60
    • /
    • 2008
  • 목적: 다중섬광결정 PET으로 얻은 데이터에 대한 여과후역투사 영상재구성 적용을 위한 사이노그램 저장과 보정 방법을 확립하고자 한다. 대상 및 방법: 검출된 PET 데이터에 대한 저장기법에 대한 연구를 수행하여 효율적 영상재구성을 위한 사이노그램 방식을 확립하였다. 히스토그램에서 사이노그램으로 데이터를 변환할 때 생기는 제반 문제들을 해결하기 위하여 데이터 표본의 최적화와 표본 불균일성 보정기법에 관한 연구를 수행하였으며, PMT간 틈새 보정을 위 한 연구를 수행하였다. 모든 데이터는 2차원 여과후역투사 알고리즘을 이용하여 재구성하였으며 보정에 따른 영상질의 향상을 평가하였다. 결과: 표본이론에 의해서 추정된 최소 표본수와 표본 불균일성 보정기법의 적용을 위한 수월성 등을 고려할 때 방사방향 표본간격이 pitch/2, 각 표본수가 120개 정도가 적절하였으며, 불균일성 보정과 틈새보정을 적용함으로서 영상왜곡과 배경잡음을 줄일 수 있었다. 결론: 다층섬광결정 PET의 FBP 영상재구성을 위하여 히스토그램 데이터를 사이노그램으로 변환하는 기법에 대한 연구가 이루어졌으며 이를 통한 고속의 2D 영상재구성이 가능할 것으로 보인다.

M2M 환경에서 장치간 상호 인증 및 정형검증 (Inter-device Mutual authentication and Formal Verification in M2M Environment)

  • 배우식
    • 디지털융복합연구
    • /
    • 제12권9호
    • /
    • pp.219-223
    • /
    • 2014
  • 최근 무선통신 시스템의 기술이 발전함으로 M2M(Machine-to-Machine)이 산업분야에서 관심이 되고 있다. 기기간 통신인 M2M은 재난, 안전, 건설, 보건복지, 기상, 환경, 물류, 문화, 국방, 의료, 농.축산 등 사람의 접근이 어려운 공간 등에 설치되어 운용된다. 이는 사람을 대신해 장비들이 자동으로 상황에 맞추어 통신을 하고 어느 정도의 조치는 자동으로 취해지도록 함으로써 사람을 대신한 정보 관리 및 장비 운영을 할 수 있다. M2M이 디바이스간 통신이 무선으로 이루어지는 경우 공격자의 공격에 노출되어 운영되는 보안적 문제로 정당한 장치인지 상호인증 등 적절한 보안이 필요하다. 관련하여 최근 보안적으로 안전한 많은 프로토콜이 연구 되고 있으며 본 논문에서는 M2M 보안문제를 해결하기 위하여 SessionKey, HashFunction, 및 Nonce 를 적용하였으며 보안취약성을 보완한 안전한 프로토콜을 제안한다. 제안프로토콜을 기존의 대부분의 연구처럼 수학적 정리증명으로 안전함을 주장하지 않고 Casper/FDR을 이용하여 정형검증 하였으며 실험결과 제안프로토콜이 안전함이 확인되었다.

Real-time hybrid substructuring of a base isolated building considering robust stability and performance analysis

  • Avci, Muammer;Botelho, Rui M.;Christenson, Richard
    • Smart Structures and Systems
    • /
    • 제25권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.