• 한국통신학회논문지
• /
• 제35권12C호
• /
• pp.995-1003
• /
• 2010

영상, 동영상 및 3D 모델의 인증 및 복사방지를 위한 콘텐츠 기반 해쉬 함수는 강인성 및 보안성의 성질을 만족하여야 한다. 이들 중 해쉬의 보안성을 분석하기 위한 방법으로 미분 엔트로피 방법이 제시되었으나, 이는 영상 해쉬 추출에서만 적용되었다. 따라서 본 논문에서는 미분 엔트로피 기반의 3D 모델 해쉬 특징 추출의 보안성을 분석하기 위한 모델링을 제안한다. 제안한 보안성 분석 모델링에서는 3D 모델 해싱 기법 중 가장 일반적인 두 가지 형태의 특정 추출 방법을 제시한 다음, 이들 방법들을 미분 엔트로피 기반으로 보안성을 분석하였다. 과로부터 해쉬 추출 방법에 대한 보안성을 분석하고 보안성과 강인성과의 상호보완관계에 대하여 논하였다.

• 정보과학회 논문지
• /
• 제42권11호
• /
• pp.1404-1409
• /
• 2015

본 논문에서는 벤치마크용이 아닌 실제 자바스크립트 프로그램을 효과적으로 분석하기 위해서 정확도와 확장성을 조절하는 정적 분석 프레임워크를 제시한다. 본 논문에서 제안하는 방식은 전분석과 본분석의 두 단계로 구성된다. 전분석은 분석 대상을 조절해서 분석의 정확도를 결정하기 위한 분석 대상의 윤곽을 계산한다. 본분석은 주어진 분석 대상의 윤곽 안에서 실행 의미를 빠뜨리지 않고 안전하게 분석한다. 두 단계 분석 기법을 소개한 후, 전분석에서 분석 대상의 윤곽을 조절하여 본분석의 정확도와 확장성을 조절할 수 있음을 보이고 그 방식의 올바름을 증명한다.

• Nuclear Engineering and Technology
• /
• 제40권5호
• /
• pp.365-374
• /
• 2008

Dependability-critical systems, such as digital instrumentation and control systems in nuclear power plants, necessitate engineering techniques and tools to provide assurances of their safety and reliability. Determining system reliability at the architectural design phase is important since it may guide design decisions and provide crucial information for trade-off analysis and estimating system cost. Despite this, reliability and system engineering remain separate disciplines and engineering processes by which the dependability analysis results may not represent the designed system. In this article we provide an overview and application of our approach to build architecture-based, dynamic system models for dependability-critical systems and then automatically generate dynamic fault trees (DFT) for comprehensive, tool-supported reliability analysis. Specifically, we use the Architectural Analysis and Design Language (AADL) to model the structural, behavioral and failure aspects of the system in a composite architecture model. From the AADL model, we seek to derive the DFT(s) and use Galileo's automated reliability analyses to estimate system reliability. This approach alleviates the dependability engineering - systems engineering knowledge expertise gap, integrates the dependability and system engineering design and development processes and enables a more formal, automated and consistent DFT construction. We illustrate this work using an example based on a dynamic digital feed-water control system for a nuclear reactor.

• 한국항공우주학회지
• /
• 제32권5호
• /
• pp.1-9
• /
• 2004

수직이착륙과 고속수평비행이 기능한 스마트 무인기 개발의 일환으로 초기개념설계용 성능예측 프로그램을 작성하였다. 스마트 무인기가 요구하는 설계조건을 기반으로 각 임무 단계 수행과정에서의 연료소모중량을 반복계산하여 전체 중량을 예측하고, 동시에 무인기의 주요형상변수, 추진성능, 수직이착륙성능, 수평비행성능 등의 계산을 통해 성능예측 및 설계요구조건 만족여부 판단, 경향성 분석을 수행할 수 있다. 동 프로그램은 수직이착륙 무인항공기 비행체의 초기개념설계단계에서 비행체의 경향성 분석, 비행성능 예측 및 설계 요구조건 검증 등을 손쉽고 간편하게 수행 할 수 있는 도구도서 사용할 수 있다.

• Journal of the Korean Data and Information Science Society
• /
• 제19권2호
• /
• pp.475-485
• /
• 2008

One of main issues in watermarking is to resolve the strength of watermark for solving the problem of trade-off between fidelity and robustness of watermarking. In the previous research, the strength of watermark has been resolved fixed value generally without considering local image characteristics such as image brightness, contrast, and edge. This paper proposes a new model to predict the strength of watermark considering local image characteristics such as image brightness, contrast, and edge for digital wavelet transform(DWT)-based image watermarking. For the study, psychological experiment was fulfilled to measure the human image perception and regression analysis showed the proposed model was statistically significant at the level of ${\alpha}\;=\;0.01$. Also the model is practically validated on fidelity and robustness of watermarking.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (1)
• /
• pp.919-921
• /
• 2005

임베디드 시스템 특히 실시간 시스템에서 응용프로그램들은 이식성이 굉장히 낮다. 따라서 실시간 운영체제와 다른 실시간 운영체제 기반의 응용프로그램들 사이에는 이식성이 문제가 된다. 이는 응용프로그램과 실시간 운영체제의 활용과 개발의 한계를 가져오며 이러한 이식성의 문제는 미들웨어의 구현으로 해결 할 수 있다. 하지만 미들웨어의 구현은 Time-latency 와 같은 오버헤드를 발생시킬 수 있다. 본 논문에서는 미들웨어의 추가에 따른 Time-latency 를 측정하고 비교함으로써 이러한 오버헤드와 이식성 사이의 trade-off를 알아보았다.

• Structural Engineering and Mechanics
• /
• 제37권4호
• /
• pp.351-365
• /
• 2011

This study proposes an inverse estimation method for the input forces of a fixed beam structural system. The estimator includes the fuzzy Kalman Filter (FKF) technology and the fuzzy weighted recursive least square method (FWRLSM). In the estimation method, the effective estimator are accelerated and weighted by the fuzzy accelerating and weighting factors proposed based on the fuzzy logic inference system. By directly synthesizing the robust filter technology with the estimator, this study presents an efficient robust forgetting zone, which is capable of providing a reasonable trade-off between the tracking capability and the flexibility against noises. The period input of the fixed beam structure system can be effectively estimated by using this method to promote the reliability of the dynamic performance analysis. The simulation results are compared by alternating between the constant and adaptive and fuzzy weighting factors. The results demonstrate that the application of the presented method to the fixed beam structure system is successful.

• 시스템엔지니어링학술지
• /
• 제8권1호
• /
• pp.63-75
• /
• 2012

For the definition of development project, this paper proposes an integrated design model for the project 3P's(Products, Process, and People) architecture solutions balancing the originating requirements as well as the design targets of product, process, and IPDT. The model is suggested to develop the integrated design method with trade-off analysis and alternatives evaluation of products, processes, and IPDT using QFD.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.1537-1541
• /
• 2003

In this paper, presented is a feedback control performance of vibratory gyroscope at various vacuum levels. Micro gyroscope, whose operation is based on the vibrating motion at the vacuum conditions, is highly influenced by the vacuum level of the operating circumstances. In general, we apply the feedback control scheme to the gyroscope in order to improve the performances of the sensor. And control performances of the gyroscope are related to those vacuum levels. So we need investigate the performances of the closed loop control at various vacuum conditions comparing with those of the open loop. The experimental results show that the sensitivity of the closed loop is less than that of the open loop especially in low vacuum conditions. Therefore, there should be trade-off between sensitivity and other sensor performances such as linearity, bandwidth when we apply feedback control to the gyroscope.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -1
• /
• pp.231-234
• /
• 2002

A transceiver for ADSL systems contains an interpolated combfilter, halfband filters, oversampling sigma delta modulator, a current steering DAC and an analog filler. The circuit complexity of the architecture makes it necessary to use behavioral models to determine the system features. For this reason, we need a specific behavioral simulation environment using the Matlab program. The Matlab is crucial for these circuits to be rapidly incorporated in larger systems, in particular in the context of mixed-signal-test schemes. Design trade-off among the blocks has also been discussed. The design methodology is based on behavioral design and CMOS process.