• 한국컴퓨터정보학회논문지
• /
• 제13권2호
• /
• pp.19-29
• /
• 2008

단위 시험은 모듈의 소스 코드를 면밀히 검토하면서 논리적 오류나 문장 오류 등이 있는지 분석하는 화이트박스 시험이 가능하다. 반면 시스템 수준의 기능 시험은 규모가 크기 때문에 시험 데이터를 입력한 후 출력된 결과가 예상 결과와 같은지 비교하는 블랙박스 시험이 주를 이룬다. 이러한 시스템 시험 단계에서 사용하는 블랙박스시험은 오류를 발견하더라고 수정을 위해 소스 코드를 추적하기 어려운 문제점이 있다. 뿐만 아니라 시스템 시험 단계에 화이트박스 시험을 사용하는 것은 시험 대상의 추상 수준 달라 쉽지 않다. 이에 본 논문에서는 시스템의 기능처럼 높은 추상 수준을 시험 대상으로 하되 소스 코드 수준까지 화이트박스 스타일로 시험할 수 있는 현실적이고 통합된 시스템 수준의 수직적 시험에 대해 제안한다. 그리고 어떻게 수직적 시험을 적용하는지 UML명세 모델에서 소스코드까지 오류를 추적하는 방법을 사례를 통해 설명하고 더불어 오류 추적의 효과성을 보였다.

• 한국표면공학회지
• /
• 제29권5호
• /
• pp.345-349
• /
• 1996

The wetting property of polymer surfaces is very important for practical applications. Plasma source ion implantation technique was used to improve the wetting properties of polymer surfaces. Poly(ethylene terephtalate) and other polymer sheets were mounted on the target stage and an RF plasma was generated by means of an antenna located inside the vacuum chamber. High voltage pulses of up to -10kV, 10 $\mu$sec, and up to 1 kHz were applied to the stage. The samples were implanted for 5 minutes with using Ar, $N_2,O_2,CH_4,CF_4$ and their mixture as source gases. A contact angle meter was used to measure the water contact angles of the implanted samples and of the samples stored in ambient conditions after implantation. The modified surfaces were analysed with Time-Of-Flight Mass Spectrometer (TOF-SIMS) and Auger Electron Spectroscopy (AES). The oxygen-implanted samples showed extremely low water contact angles of $3^{\circ}C$ compared to $79^{\circ}C$ of unimplanted ones. Furthermore, the modified surfaces were relatively stable with respect to aging in ambient conditions, which is one of the major concerns of the other surface treatment techniques. From TOF-SIMS analysis it was found that oxygen-containing functional groups had been formed on the implanted surfaces. On the other hand, the $CF_4$-implanted samples turned out to be more hydro-phobic than unimplanted ones, giving water contact angles exceeding $100^{\circ}C$ . The experiment showed that plasma source ion implantation is a very promising technique for polymer surface modification especially for large area treatment.

• 한국산학기술학회논문지
• /
• 제20권1호
• /
• pp.284-289
• /
• 2019

접이식 대피통로는 철도터널 및 대공간 화재시 임시 피난로를 확보하기 위한 피난지원 시스템으로 화재시 구조물 상부에 거치되어 있던 차연 스크린이 펼쳐지며 피난로를 확보하는 시스템이다. 차연 스크린은 적절한 내화성능을 갖추어야 될 뿐 아니라 밀폐성을 확보하여 외부의 연기를 최대한 막을 수 있는 시스템이 요구된다. 이를 위해 접이식 대피통로 시스템에는 피난로 내부에 양압 조건을 유지해 주기 위한 제연설비가 필요하며, 제연 설비의 설계 및 용량 산정을 위해서는 화원에서 거리별 온도 분포 및 압력 해석이 필요하다. 본 연구에서는 신형전동차의 화재 현상을 모사하여 터널 길이방향별 온도 및 압력 분포를 해석하였다. 차연 스크린 설치 위치에서는 길이방향으로 20미터 이상일 경우에는 차연 스크린 내열온도인 200도를 넘지 않는 것으로 해석되었으며, 압력 또한 거리 증가에 따라 감소하며, 최대 14 Pa, 평균 6 Pa 정도를 보이는 것으로 해석되었다. 또한 상부 보단 하부에서의 압력이 낮기 때문에 실제 양압조건은 이보다 낮을 것으로 보인다. 따라서 접이식 대피통로 설치를 위해서는 차연 스크린내 양압조건을 6 Pa 내외로 유지할 수 있는 제연설비가 필요할 것으로 예측된다.

• 자원환경지질
• /
• 제51권6호
• /
• pp.595-606
• /
• 2018

이 연구에서는 김천 제석리 석곽묘 구성암석의 암석학적 특성 분석과 공급지를 해석하였다. 석곽묘는 총 11종의 다양한 암석들로 구성되어 있으며, 반화강암(34.5%), 우백질화강암(26.9%), 편상화강암(24.4%)에서 높은 점유율을 보였다. 추정산지 탐색 결과, 유적 남쪽의 제석산 계곡 일대에서 동일 암종 및 유사한 변성도의 석재들이 확인되었다. 따라서 이 석곽묘의 석재는 제석산 계곡의 상류 및 제석리 마을과 1.7km 정도 떨어진 곳에서 조달했을 것으로 해석하였다. 이 결과는 당시 장례문화의 고고지질학적 해석과 매장문화재 보존의 자료로 활용할 수 있을 것이다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제8권7호
• /
• pp.275-288
• /
• 2019

본 논문에서는 네트워크에서 충분히 많은 노드가 루머를 들었을 때 그 근원이 어디서부터 시작 되었는지를 추론하는 문제를 고려한다. 이것은 신기술의 확산, 인터넷에서의 컴퓨터 바이러스/스팸 감염, 인기 있는 주제의 tweeting 및 retweeting과 같은 많은 실제 환경에서 네트워크의 정보 확산이 빠르게 진행되고, 이 정보 중 일부는 다른 노드에게 악영향을 미칠 수 있기 때문에 매우 중요한 문제이다. 이 문제는 선행연구에 의해 감염된 노드의 수가 충분히 많으면 정규 트리의 경우에도 탐지 확률이 31%를 초과 할 수 없다는 것이 입증되었다. 이를 바탕으로 네트워크에 감염된 후보 노드에게 몇 가지 추가 질의를 하는 방법에 대해 조사하고 네트워크 관리자가 한정된 자산을 가지고 있을 때 각 노드에 대한 질의의 수를 어떻게 분배하는지에 대한 자산 할당 알고리즘을 제안한다. 마지막으로 제안한 방법에 대하여 다양한 시뮬레이션을 수행하였고 기존 선행 연구보다 우수한 성능을 확인하였다.

• 비파괴검사학회지
• /
• 제24권3호
• /
• pp.259-267
• /
• 2004

탄성매질에서 레이저 여기에 의한 열탄성 영역에서의 초음파 발생 현상과 표면 균열과의 상호작용을 유한요소법으로 모델링하였다. 반무한 탄성체 표면에 집속된 레이저 선원을 전단 쌍극자(shear dipole)로 모델링하고, 2차원 평면 변형율 유한요소법을 사용하였다. 발생된 표면파의 변위와 종파 및 횡파의 지향성을 관찰함으로써 전단 쌍극자-유한요소 모델의 타당성을 조사하였다. 표면파와 균열(기계가공된 2차원 홈)과의 상호작용을 관찰하기 위하여 2가지 경우를 고려하였다 먼저 레이저 소스와 수신 위치가 균열에 대하여 모두 고정되어 있는 경우, 다음으로 수신자가 고정되어 있고 소스가 시험체 표면 위를 이동하는 주사형의 경우이다. 첫 번째 경우에 균열 깊이 $0.3-5.0mm ({\lambda}_R/d=0.21{\sim}3.45)$에 대하여 균열 상단과 하단에서 각각 반사된 파의 변위로부터 균열깊이를 측정할 수 있음을 보였고, 두 번째 경우에 레이저 소스가 결함 위를 주사할 때 발생하는 반사파의 큰 진폭 변화를 통하여 파장보다 한 차원 낮은 깊이의 균열을 탐지할 수 있음을 보였다.

• 정보처리학회논문지D
• /
• 제15D권6호
• /
• pp.793-802
• /
• 2008

소프트웨어의 품질, 개발 속도 및 비용 등 기존 소프트웨어 개발의 한계점을 해결하기 위한 새로운 대안으로써 오픈소스 소프트웨어를 활용한 개발 방법이 시도되고 있다. 특히, 중소기업들이 소프트웨어를 개발할 경우 대규모 개발 방법론 적용에 어려움을 겪고 있어 소규모 개발 방법에 대한 요구가 증가하고 있는 상황에서, 오픈소스를 활용한 소프트웨어 개발 방식은 비용을 절감하고 개발 기간을 단축시킬 수 있는 효율적인 방법이 될 수 있다. 이에 따라, 오픈소스 소프트웨어에 대한 다양한 분석들이 이루어졌지만 아직까지 산업현장에서 소프트웨어 개발에 오픈소스를 활용하기 위한 구체적인 절차나 방법이 없다. 본 연구에서는 이러한 문제들을 해결하기 위해 기존 연구에 대한 종합과 개발 프로젝트의 경험을 토대로 하여, 오픈소스의 식별과 선정을 위한 효과적인 절차와 방법을 제시하였다. 오픈소스 소프트웨어 선정을 위해서는 개발될 소프트웨어에 대한 정확한 요구사항을 식별하고, 요구사항과 일치하는 오픈소스를 조사하여 후보 목록을 추출하고, 평가기준을 수립하여, 이에 따라 활용 대상 오픈소스 소프트웨어를 선정하는 방법을 제시하였다. 또한 실제 프로젝트의 적용 실험과 평가를 통해 각 활동의 유효성과 개선점을 도출하였다.

• Journal of Magnetics
• /
• 제7권3호
• /
• pp.63-71
• /
• 2002

Three fabrication techniques for forming thin barrier layer with uniform thickness and large barrier height in magnetic tunnel junction (MTJ) are discussed. First, the effect of immiscible element addition to Cu layer, a high conducting layer generally placed under the MTJ, is investigated in order to reduce the surface roughness of the bottom ferromagnetic layer, on which the barrier is formed. The Ag addition to the Cu layer successfully realizes the smooth surface of the ferromagnetic layer because of the suppression of the grain growth of Cu. Second, a new plasma source, characterized as low electron energy of 1 eV and high density of $10^{12}$ $cm^{-3}$, is introduced to the Al oxidation process in MTJ fabrication in order to reduce damages to the barrier layer by the ion-bombardment. The magnetotransport properties of the MTJs are investigated as a function of the annealing temperature. As a peculiar feature, the monotonous decrease of resistance area product (RA) is observed with increasing the annealing temperature. The decrease of the RA is due to the decrease of the effective barrier width. Third, the influence of the mixed inert gas species for plasma oxidization process of metallic Al layer on the tunnel magnetoresistance (TMR) was investigated. By the use of Kr-O$_2$ plasma for Al oxidation process, a 58.8 % of MR ratio was obtained at room temperature after annealing the junction at $300{^{\circ}C}$, while the achieved TMR ratio of the MTJ fabricated with usual Ar-$0_2$ plasma remained 48.4%. A faster oxidization rate of the Al layer by using Kr-O$_2$ plasma is a possible cause to prevent the over oxidization of Al layer and to realize a large magnetoresistance.

• 전기학회논문지P
• /
• 제55권3호
• /
• pp.141-145
• /
• 2006

The line current problem(2-dimensional space : point source) is not easy to analyze the magnetic field using the standard finite element method(FEM), such as overhead trolley line or transmission line. To supplement such a defect this paper is proposed the coupling scheme of analytical solution and FEM. In analysis of the magnetic field using the standard FEM. If the current region is a relatively small compared to the whole region. Therefore the current region must be finely divided using a large number of elements. And the large number of elements increase the number of unknown variables and the use of computer memories. In this paper, an analytical solution is suggested to supplement this weak points. When source is line current and the part of interest is far from line current, the analytical solution can be coupling with FEM at the boundary. Analytical solution can be described by the multiplication of two functions. One is power function of radius, the other is a trigonometric function of angle in the cylindrical coordinate system. There are integral constants of two types which can be established by fourier series expansion. Also fourier series is represented as the factor to apply the continuity of the magnetic vector potential and magnetic field intensity with tangential component at the boundary. To verify the proposed algorithm, we chose simplified model existing magnetic material in FE region. The results are compared with standard FE solution. And it is good agreed by increasing harmonic order.

• 천문학논총
• /
• 제15권1호
• /
• pp.15-19
• /
• 2000

The lens mass determined from the photometrically obtained Einstein time scale suffers from large uncertainty due to the lens parameter degeneracy. The uncertainty can be substantially reduced if the mass is determined from the lens proper motion obtained from astrometric measurements of the source image centroid shifts, ${\delta}{\theta}_c$, by using high precision interferometers from space-based platform such as the Space Interferometry Mission (SIM), and ground-based interferometers soon available on several 8-10m class telescopes. However, for the complete resolution of the lens parameter degeneracy it is required to determine the lens parallax by measuring the parallax-induced deviations in the centroid shifts trajectory, ${\Delta}{\delta}{\theta}_c$ aloe. In this paper, we investigate the detectabilities of ${\delta}{\theta}_c$ and ${\Delta}{\delta}{\theta}_c$ by determining the distributions of the maximum centroid shifts, $f({\delta}{\theta}_{c,max})$, and the average maximum deviations, $(<{\Delta}{\delta}_{c,max}>)$, for different types of Galactic microlensing events caused by various masses. From this investigation, we find that as long as source stars are bright enough for astrometric observations it is expected that $f({\delta}{\theta}_c)$ for most events caused by lenses with masses greater than 0.1 $M_\bigodot$ regardless of the event types can be easily detected from observations by using not only the SIM (with a detection threshold but also the ${\delta}{\theta}_{th}\;\~3{\mu}as)$ but also the ground-based interferometers $(with\;{\delta}{\theta}_{th}\;\~3{\mu}as)$. However, from ground-based observations, it will be difficult to detect ${\Delta}{\delta}{\theta}_c$ for most Galactic bulge self-lensing events, and the detection will be restricted only for small fractions of disk-bulge and halo-LMC events for which the deviations are relatively large. From observations by using the SIM, on the other hand, detecting ${\Delta}{\delta}{\theta}_c$ will be possible for majority of disk and halo events and for a substantial fraction of bulge self-lensing events. For the complete resolution of the lens parameter degeneracy, therefore, SIM observations will be essential.