• 천문학회지
• /
• 제29권spc1호
• /
• pp.245-246
• /
• 1996

The extensive close binary research program earring out at High Altitude Maydanak Observatory (Uzbekistan) by means of the UBVR photoelectric photometry on 1.0 m and 0.6 m Zeiss telescopes is described. It includes more than 240 close binary systems (CBS) in 89 different stellar aggregates. Lightcurves of CBS as well as their orbital elements derived by us are presented.

• 정보보호학회논문지
• /
• 제31권4호
• /
• pp.687-699
• /
• 2021

프로그램에서 취약점이 발생하면 그에 대한 정보가 문서화되어 공개된다. 그러나 일부 취약점의 경우 발생한 원인과 그 소스코드를 공개하지 않는다. 이러한 정보가 없는 상황에서 취약점을 찾기 위해서는 바이너리 수준에서 코드를 분석해야 한다. 본 논문에서는 Out-of-bounds Read 취약점 유형을 바이너리 수준에서 찾는 것을 목표로 한다. 바이너리에서 취약점을 탐지하는 기존의 연구는 주로 동적 분석을 이용한 도구로 발표되었다. 동적 분석의 경우 프로그램 실행 정보를 바탕으로 취약점을 정확하게 탐지할 수 있지만, 모든 실행 경로를 탐지하지 못할 가능성이 있다. 모든 프로그램 경로를 분석하기 위해서는 정적 분석을 사용해야 한다. 기존의 정적 도구의 경우 소스코드 기반의 도구들이며, 바이너리에 수준의 정적 도구는 찾기 어렵다. 본 논문에서는 바이너리 정적 분석을 통해 취약점을 탐지하며, 메모리 구조를 모델링하는 방법으로 Heap, Stack, Global 영역의 취약점을 탐지한다. 실험 결과 기존의 탐지도구인 BAP_toolkit과 비교하였을 때 탐지 정확도 및 분석 시간에서 의미 있는 결과를 얻었다.

• East Asian mathematical journal
• /
• 제28권3호
• /
• pp.333-337
• /
• 2012

Finiteness of regular normal binary Hermitian lattices are known in several articles. In this article, we point out that there are infinitely many imaginary quadratic fields that admit a regular subnormal binary Hermitian lattice.

• 천문학회보
• /
• 제42권2호
• /
• pp.63.3-64
• /
• 2017

KIC6118779 is an over-contact binary system having a short orbital period of about 0.36 days. The photometric data for this system are acquired by the observations of Kepler mission in the long cadence mode having a time resolution of about 30 minutes. It means that the Kepler light curves of the system may be strongly affected by phase smearing effect and the analysis of them without consideration of the phase smearing effect may result in wrong stellar properties. Additionally, this system also shows dynamical variation of light curve resulting from spot activity. For all those reasons, it is difficult to investigate KIC6118779, and the investigation should be carried out carefully. In this presentation, we introduce the phase smearing effect and carry out the light curve modeling with the 2015 version of the Wilson-Devinney binary code considering the phase smearing effect. Our results show that the system is a deep over contact binary system and has extremely low mass ratio of about 0.12. Moreover our spot modeling implies the cyclic migration of a big cool spot on the massive component.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 통신소사이어티 추계학술대회논문집
• /
• pp.297-301
• /
• 2003

The binary clipping PW/CDMA system is considered. This system can be constructed with effective cost. leading to reduce the influence of the non-linear amplifier because of converting multi-level signals into constant envelope signals. In addition, the clipping method which is to clip out signal amplitude at some level when multi-level signals are converted into constant envelope signals is used. The multi-level signals are clipped at 1 and -1 to limit the extension of bandwidth and to maintain the bandwidth after clipping. In this paper, the performance of the binary clipping PW/CDMA system with the non-linear amplifier analyzed by simulation over AWGN and flat fading channels respectively. The binary clipping PW/CDMA system with the non-linear amplifier is 2.2dB and 0.9dB better than conventional DS/CDMA system over the flat fading channels when the number of users are 9 and 17 respectively.

• 한국해양공학회:학술대회논문집
• /
• 한국해양공학회 2006년 창립20주년기념 정기학술대회 및 국제워크샵
• /
• pp.407-410
• /
• 2006

This study describes a simulation of two-dimensional bubble forming and motion by the Lattice Boltzmann Method with the phase field equation. The free energy model is used to treat the interfacial force and deformation of binary fluids system, drawn into a T-junction the micro channel. A numerical simulation of a binary flow in a cross-junction channel is carried out by using the parallel computation method. The aim in this investigation is to examine the applicability of LBM to numerical analysis of binary fluid separation and motion in the micro channel.

• Journal of the Optical Society of Korea
• /
• 제16권3호
• /
• pp.263-269
• /
• 2012

In this paper, we propose a new dual optical encryption method for binary data and secret key based on 2-step phase-shifting digital holography for a cryptographic system. Schematically, the proposed optical setup contains two Mach-Zehnder type interferometers. The inner interferometer is used for encrypting the secret key with the common key, while the outer interferometer is used for encrypting the binary data with the same secret key. 2-step phase-shifting digital holograms, which result in the encrypted data, are acquired by moving the PZT mirror with phase step of 0 or ${\pi}/2$ in the reference beam path of the Mach-Zehnder type interferometer. The digital hologram with the encrypted information is a Fourier transform hologram and is recorded on CCD with 256 gray level quantized intensities. Computer experiments show the results to be encryption and decryption carried out with the proposed method. The decryption of binary secret key image and data image is performed successfully.

• 한국환경과학회지
• /
• 제16권10호
• /
• pp.1197-1202
• /
• 2007

Adsorption experiments of binary mixed gases composed of acetone/methylethylketone (MEK), MEK/benzene, MEK/toluene, and benzene/toluene were carried out on activated carbon fixed-bed. The variations of equilibrium adsorption capacity according to type and fraction of binary gas were investigated. In case of binary gases composed of acetone/MEK and benzene/toluene, equilibrium adsorption capacities of MEK and toluene were increased according to the increase of fraction of MEK and toluene, but equilibrium adsorption capacities of acetone and benzene were decreased. In case of binary gases composed of MEK/benzene and MEK/toluene, equilibrium adsorption capacities of benzene and toluene were increased according to the increase of fraction of benzene and toluene, but equilibrium adsorption capacities of MEK was decreased.

• 대한전자공학회논문지
• /
• 제12권4호
• /
• pp.21-27
• /
• 1975

본 논문에서는 분기가 있는 일반조합논리회로의 다중결함을 검출할 수 있는 테스트집합을 구하는 절차를 유도하였다. 일반논리회로를 우선 내부분기점을 전후하여 이를 분기가 없는 부분회로로 분리하고 각 부분회로에 대한 최소테스트집합을 구한다. 다음에 각 부분테스트를 최대한으로 병립시켜 합성테스트를 구하여 종합적인 일차입력벡터를 정한다. 이러날 수 있는 모든 결함을 빠짐없이 피복할 수 있는 최소테스트집합을 구해가는 과정에 대해서는 각 를 들어 상세히 설명하였다. In this paper, a procedure for deriving of multiple fault detection test sets is presented for fan-out reconvergent combinational logic networks. A fan-out network is decomposed into a set of fan-out free subnetworks by breaking the internal fan-out points, and the minimal detecting test sets for each subnetwork are found separately. And then, the compatible tests amonng each test set are combined maximally into composite tests to generate primary input binary vectors. The technique for generating minimal test experiments which cover all the possible faults is illustrated in detail by examples.

• 대한전자공학회논문지TC
• /
• 제48권9호
• /
• pp.65-72
• /
• 2011

이진누적기법은 여러 개의 펄스반복주파수가 사용되는 레이더 시스템에서 n번의 탐지시도에서 m번의 탐지가 이루어졌는지를 식별하여 탐지여부를 판단하는 부 최적 펄스누적기법이다. 본 논문에서는 m의 최적값이 아닌 그 근사값으로 이진누적기법을 적용한 부 최적 이진누적기법 구현시 발생되는 방위각 오차를 감소시킬 수 있는 표적 측정오차 감소기법을 제안하고, 그 결과를 실제 레이더의 시험결과를 기반으로 분석하여 검증한다.