• 한국정보전자통신기술학회논문지
• /
• 제11권5호
• /
• pp.572-578
• /
• 2018

본 논문은 조합 문제의 하나로써 그룹검사(Group Testing)의 성능 하한치를 유도한다. 그룹검사는 2차 세계대전 동안 군인들의 매독 감염을 검진하기 위해 시작되었고 지금까지 오랫동안 학문적 기초를 마련하였다. 최근 들어 그룹검사의 활용가치가 증대되어 재발견됨으로써 학계에서 큰 관심을 받고 있다. 그룹검사는 다수의 샘플 중에서 극소수의 결함 샘플을 찾는 문제와 동일하며, 이것은 압축센싱(Compressed Sensing)의 선형 역문제(inverse problem)와 유사하다. 본 논문에서는 그룹검사가 무엇인지 살펴보고 그룹검사의 관련 연구내용을 알아본다. 정보이론에서 사용한 조건부 엔트로피와 에러율 간의 관계를 밝히는 정리를 이용하여 결함 샘플을 찾기 위해 필요한 검사 수에 대한 최소 에러율의 경계값을 도출할 뿐만 아니라 기존 연구와 어떠한 차이점이 있는지 살펴본다.

• 정보보호학회논문지
• /
• 제26권5호
• /
• pp.1121-1130
• /
• 2016

RSA 암호 시스템은 가장 널리 사용되는 공개키 암호 알고리즘 중 하나이며, RSA 암호 시스템의 안전성은 큰 수의 인수분해의 어려움에 기반을 둔다. 따라서 RSA 암호 시스템의 합성수 n을 인수분해하려는 시도는 계속 진행 중에 있다. General Number Field Sieve는 현재까지 알려진 가장 빠른 인수분해 방법이고, RSA-704를 인수분해 하는데 사용된 소프트웨어인 CADO-NFS도 GNFS를 기반으로 설계되어 있다. 그러나 CADO-NFS는 다항식 선택 과정에서 입력된 변수로부터 항상 최적의 다항식을 선택하지 못하는 문제점이 있다. 본 논문에서는 CADO-NFS의 다항식 선택 단계를 분석하고 중국인의 나머지 정리와 유클리드 거리를 사용하여 다항식을 선택하는 방법을 제안한다. 제안된 방법을 이용하면 기존의 방법보다 좋은 다항식이 매번 선택되며, RSA-1024를 인수분해 하는데 적용할 수 있을 것으로 기대한다.

• 정보보호학회논문지
• /
• 제27권6호
• /
• pp.1295-1305
• /
• 2017

국내 블록암호표준(안)으로는 SEED암호가 있다. 이 암호는 한국정보보호진흥원(KISA)이 1998년 10월에 초안을 설계하고 같은 해 12월에 공개검증과정을 거쳐 안전성과 성능이 개선된 최종 수정안을 발표하였다. DES와는 달리 128비트 블록암호로서 여러 과정을 거쳐 2005년에 국제표준으로 확정되었다. DES와 같은 페이스텔 구조를 가진 블록암호로서 다만 입력비트블록이 DES의 두 배인 128비트로 늘어났다는 것이다. 본 논문에서는 첫째, SEED 암호의 일반적인 알고리즘을 소개하고 F-함수에서 적용되는 열쇠 값의 생성원리를 수학적으로 분석해 보았다. 둘째, S-함수의 8비트 입력 값에 대응되는 원시원소 ${\alpha}$ 의 멱승 값을 계산하는 표를 도출해 보았으며 마지막으로 G-함수 내에 설계되어져 있는 S-함수의 계산 원리를 수학적인 방법으로 새로운 정리와 예제를 통해 분석해 보는 것으로 한정하였다. 이러한 과정을 통하여 현재 알려져 있는 SEED암호의 취약점을 보완할 수 있는 새로운 암호체계를 개발하는데 필요한 아이디어와 이론적인 근거를 제공하는 데 어느 정도 도움이 되고자 한다.

• 한국항해학회지
• /
• 제5권2호
• /
• pp.49-58
• /
• 1981

One of the main purposes of the marine gyrocompass follow-up system is to preserve the sensitive part from the wandering error due to the frictional or torsional torque around the vertical axis. This error can be diminished through the rapid follow-up action, which minimizes the relative azimuthal angular displacement between the sensitive and follow-up parts and shortens the duration of the same displacement. But an excessive rapidity of the follow-up action would result in a sustained oscillation to the system. Therefore, to design a new type of the follow-up system, the theoretical annlysis of the problems concerned should be studied systematically by introducing the control theory. This paper suggest a concrete procedure for the optimal adjustment of the gyrocompass follow-up system, utilizing the mathematic model and the stability informations formerly investiaged by the author. For theoptimal determination of the adjustable paramfter K, the performance index(P.I.), ITSE(Intergral of the Time multiplied by the Squared Error) is proposed, namely, P.I. = $\int_{0}^{\infty} t \cdot e^{2}(t)dt$ where t is time and e(t) means control error. Then, the optimal parameter minimizing the performance index is calculated by means of Parseval's theorem and numerical computation, and the validity of the obtained optimal value of the parameter Ka is examined and confirmed through the simulations and experiments. By using, the proposed method, the optimal adjustment can be performed deterministically. But, this can not be expected in the conventional frequency domain analysis. While the Mps of the original system vary to the extent of from 0.98 to 46.27, Mp of the optimal system is evaluated as 1.1 which satisfies the generally accepted frequency domain specification.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제8권1호
• /
• pp.46-61
• /
• 2002

소프트웨어의 개발 단계 중 품질을 결정하는 주요 단계는 요구 명세 단계로 알려져 있다. 따라서, 소프트웨어 개발 업체는 소프트웨어 요구명세서의 분석을 가장 중요한 단계 중 하나로 취급하고 있고, 특히 안전성이 중요한 시스템의 경우에는 시스템을 운영하기 위하여 국내와 국제적인 규제 기관에서는 요구 명세의 분석을 통한 안전성의 입증을 요구한다. 소프트웨어의 요구 명세 분석을 위한 방법 중 인스펙션과 정형 검증이 가장 효과적인 방법으로 알려져 있다. 본 논문에서는 SCR-style의 요구 명세를 정리 증명기인 PVS를 이용하여 정형 검증을 수행하는 방법을 제안하였다. 그리고, 논문에서 제안된 방법으로 실제 월성 원자력 발전소의 정지 시스템의 검증을 수행하였다. 이 시스템은 인스펙션으로 검증된 적은 있으나 정형 검증 방법으로는 증명된 적이 없고, 국내에서 실제 운영되는 산업계시스템에 정형 검증 방법이 적용된 사례는 매우 드물기 때문에 차후 정형 검증 방법을 적용하기 위한 평가로서도 이와 같은 실험적인 적용이 매우 중요하다.

• 정보처리학회논문지C
• /
• 제19C권1호
• /
• pp.39-46
• /
• 2012

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

• 한국정보과학회논문지:정보통신
• /
• 제29권2호
• /
• pp.147-155
• /
• 2002

인터넷을 통해 사용자 정보가 여러 망을 거치는 동안 연동지점에서의 처리 지연은 고속 전송에 큰 부담이 되며 종단간의 심리스 연결이 가능하다면 좋은 해결책이 될 것이다. 이 논문에서는 ATM-LAN에 유력한 MPOA 망과 백본 기술로 적용이 검토되고 있는 MPLS 망을 심리스 연결하기 위한 방안을 제시한다. 두 망의 특징을 비교하고, 연동에 필요한 요구사항을 제시하며, 적용 가능한 세가지 연동 방안을 기술한다. 제시된 연동방안은 LER에서 ATM VC와 LSP를 심리스 연결함으로써 IP 룩업에 소요되는 처리 지연을 최소화하고 종단간 전송 지연을 줄인다. 각 연동 방안들의 세부 동작 절차와 특징을 기술하고, 잭슨망 이론을 이용하여 제시된 연동 방안들의 종단간 전송지연을 분석하고 그 결과를 비교한다.

• Earthquakes and Structures
• /
• 제12권4호
• /
• pp.425-436
• /
• 2017

Vibration control using a tuned mass damper (TMD) is an effective technique that has been verified using analytical methods and experiments. It has been applied in mechanical, automotive, and structural applications. However, the damping of a TMD cannot be adjusted in real time. An excessive mass damper stroke may be introduced when the mass damper is subjected to a seismic excitation whose frequency content is within its operation range. The semi-active tuned mass damper (SATMD) has been proposed to solve this problem. The parameters of an SATMD can be adjusted in real time based on the measured structural responses and an appropriate control law. In this study, a stiffness-controllable TMD, called a leverage-type stiffness-controllable mass damper (LSCMD), is proposed and fabricated to verify its feasibility. The LSCMD contains a simple leverage mechanism and its stiffness can be altered by adjusting the pivot position. To determine the pivot position of the LSCMD in real time, a discrete-time direct output-feedback active control law that considers delay time is implemented. Moreover, an identification test for the transfer function of the pivot driving and control systems is proposed. The identification results demonstrate the target displacement can be achieved by the pivot displacement in 0-2 Hz range and the control delay time is about 0.1 s. A shaking-table test has been conducted to verify the theory and feasibility of the LSCMD. The comparisons of experimental and theoretical results of the LSCMD system show good consistency. It is shown that dynamic behavior of the LSCMD can be simulated correctly by the theoretical model and that the stiffness can be properly adjusted by the pivot position. Comparisons of experimental results of the LSCMD and passive TMD show the LSCMD with less demand on the mass damper stroke than that for the passive TMD.

• 방사선산업학회지
• /
• 제5권4호
• /
• pp.325-330
• /
• 2011

To predict the details of flow in industrial process unit, single photon emission computed tomography (SPECT) is a promising technique. Recently, industrial SPECT based on medical system has developed by researchers of the Korea Atomic Energy Research Institute (KAERI) and Hanyang University. In the present study, to confirm the effect of the number of detectors on image quality, and determine the optimal number of detectors in industrial SPECT, industrial SPECT system with various geometries were evaluated by the Monte Carlo simulation. CsI(Tl) detectors ($12mm{\times}12mm{\times}20mm$) with collimators (the geometric resolution of collimator $R_g$ was 4 cm at the center of the 30 cm diameter cylindrical vessel object) were modeled in a hexagonal array, and the point sources of $^{99m}Tc$, $^{68}Ga$, and $^{137}Cs$ were simulated at the center of the cylindrical vessel object using the MCNPX code. Then, the reconstruction images of each geometry were reconstructed using the expectation maximization (EM) algorithm. In this study, the reciprocity theorem was used to improve computation time required for system matrix of the EM algorithm. The result shows that the resolution of the reconstructed image was significantly improved by increasing the number of detectors in industrial SPECT system and more than 60 detectors will be required for the resolution of the reconstructed image.

• Coupled systems mechanics
• /
• 제4권4호
• /
• pp.279-295
• /
• 2015

The article presents a theoretical-experimental approach developed for modeling the coefficient of sliding friction in the dynamic system tool-workpiece in slide diamond burnishing of low-alloy unhardened steels. The experimental setup, implemented on conventional lathe, includes a specially designed device, with a straight cantilever beam as body. The beam is simultaneously loaded by bending (from transverse slide friction force) and compression (from longitudinal burnishing force), which is a reason for geometrical nonlinearity. A method, based on the idea of separation of the variables (time and metric) before establishing the differential equation of motion, has been applied for dynamic modeling of the beam elastic curve. Between the longitudinal (burnishing force) and transverse (slide friction force) forces exists a correlation defined by Coulomb's law of sliding friction. On this basis, an analytical relationship between the beam deflection and the sought friction coefficient has been obtained. In order to measure the deflection of the beam, strain gauges connected in a "full bridge" type of circuit are used. A flexible adhesive is selected, which provides an opportunity for dynamic measurements through the constructed measuring system. The signal is proportional to the beam deflection and is fed to the analog input of USB DAQ board, from where the signal enters in a purposely created virtual instrument which is developed by means of Labview. The basic characteristic of the virtual instrument is the ability to record and visualize in a real time the measured deflection. The signal sampling frequency is chosen in accordance with Nyquist-Shannon sampling theorem. In order to obtain a regression model of the friction coefficient with the participation of the diamond burnishing process parameters, an experimental design with 55 experimental points is synthesized. A regression analysis and analysis of variance have been carried out. The influence of the factors on the friction coefficient is established using sections of the hyper-surface of the friction coefficient model with the hyper-planes.