• Journal for History of Mathematics
• /
• v.23 no.3
• /
• pp.45-56
• /
• 2010

Sequent Calculus is a symmetrical version of the Natural Deduction which Gentzen restructured in 1934, where he presents 'Hauptsatz'. In this thesis, we will examine why the Cut-Elimination Theorem has such an important status in Proof Theory despite of the efficiency of the Cut Rule. Subsequently, the dynamic side of Curry-Howard correspondence which interprets the system of Natural Deduction as 'Simply typed $\lambda$-calculus', so to speak the correspondence of Cut-Elimination and $\beta$-reduction in $\lambda$-calculus, will also be studied. The importance of this correspondence lies in matching the world of program and the world of mathematical proof. Also it guarantees the accuracy of program.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.10
• /
• pp.5919-5924
• /
• 2014

Accumulated dross adhered to the cutting support degrades the cutting accuracy and aggravates the working environment by reducing the efficiency of the dust collector. Furthermore, the cutting machine and product can be damaged by the scattering of molten metal. In this study, an attempt was made to increase the productivity of steel cutting process and improve the working environment by dross control. The dross adhesion characteristics were invested by a cutting experiment and the design concept for a dross removal machine was devised. Finally, a cutting support cleaning system and its operating algorithm were developed. The applicability of the developed system was examined and verified by a long-term field test after installation of the plasma arc cutting system of a shipyard.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2013.02a
• /
• pp.449-449
• /
• 2013

최근 반도체 소자의 집적회로는 점점 복잡해지고 있는 반면, 소자의 크기는 작아지고 있으며 그로 인해 패드의 크기가 작아지고 패드사이의 간격 또한 협소해지고 있다. 따라서 웨이퍼 단계에서 제조된 집적회로의 불량여부를 판단하기위한 검사 장비인 프로브카드(Probe Card)의 높은 집적도가 요구되고 있다. 하지만 기존의 MEMS 공법으로 제작되는 프로브 빔은 복잡한 제조 공정과 높은 생산비용, 낮은 집적도의 문제점을 가지고 있다. 본 연구에서는 이러한 문제점을 해결하기 위하여 간단한 제조 공정과 낮은 생산비용, 높은 집적도를 가지는 프로브 빔을 개발하기 위하여 절연절단 방식으로 BeCu (Beryllium-Copper) 프로브 빔을 제작하였다. 낮은 소비 전력으로 우수한 프로브 빔 어레이를 제작하기 위해서 가장 고려해야할 대상은 프로브 빔의 재료와 구조(형상)이다. 절연전단 방식으로 프로브 빔을 형성할 때 요구되는 Fusing current는 프로브 빔의 구조(형상)에 크게 영향을 받는다. 낮은 Fusing current는 소비 전력을 줄여주고, 절연절단으로 형성되는 프로브 빔의 단면(끝)을 날카롭게 하여 프로브 빔과 집적회로의 패드 간의 접촉 저항을 감소시킨다. 프로브 빔의 제작은 BeCu 박판을 빔 형태로 식각하여 제작하였으며, 실리콘 비아 홀(Via hole) 구조의 기판위에 정렬하여 soldering 공정을 통해 실리콘 기판과 BeCu 박판을 접합시켰다. 접합된 프로브 빔의 끝부분을 들어 올린 상태로 전류를 인가하여 stress free 상태로 만들어 내부 응력을 제거하였으며, BeCu 박판에 fusing current를 인가하여 BeCu 박판 프레임으로부터 제거를 하였다. 제작된 프로브 빔의 길이는 1.7 mm, 폭은 $50{\mu}m$, 두께는 $15{\mu}m$, 절단부의 단면적은 1$50{\mu}m^2$로 제작되었다. 그리고 프로브 빔의 절단부의 길이는 $50{\mu}m$ 부터 $90{\mu}m$까지 $10{\mu}m$ 증가시켜 제작되었다. 이후에 절연절단 공정에 요구되는 Fusing current를 측정하였고, 절연절단 후의 절단면의 형상을 SEM (Scanning Electron Microscope)장비를 통하여 확인하였다. 절단부의 길이가 $50{\mu}m$일 때 5.98A의 fusing current를 얻었으며, 절연절단 후 절단부 상태 또한 가장 우수했다. 본 연구에서 제안된 프로브 빔 제작 방법은 프로브카드 및 테스트 소켓(Test socket) 생산에 응용이 가능하리라 기대한다.

• The Journal of the Korea Contents Association
• /
• v.11 no.5
• /
• pp.15-24
• /
• 2011

Recently various anatomic researches by using serially sectioned images in VK(Visible Korean) project are in progress. In that sense, it is very important and necessary to represent images which keep information of the original anatomic images. In this regard, there are some studies to get rid of slice patterns in coronal and sagittal images. However, according to the rapid spatial frequency changes, the ringing effect occurred in common. In addition, because of merge with the original images which have splice patterns, those patterns appeared again. Therefore, in this study we found effective color space to apply to FFT(Fast Fourier Transform) and notch filter in getting rid of the slice patterns. To verify this, we used RGB, LAB, CMYK, HSV and HSL color space. Secondly we got rid of and alleviated the ringing effect by improving notch filter. To verify this, we compared proposed method with previous study on the basis of original images by visual method and objective values. These result images are expected to contribute to anatomy research in relation to VK project.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 2009.06a
• /
• pp.162-163
• /
• 2009

본 연구에서는 초음파 진동자를 적용한 초극세사 자동 절단 시스템을 개발 하였다. 초극세사 자동 절단 시스템은 공진 주파수 28kHz를 가지는 초음파 진동자, 구동회로부, 원단 이송장치, 초음파 진동자 이송장치, 초극세사 원단과 에어실린더 사이의 정전기 발생을 방지하기 위한 정전기 제거장치, 구동모터, 및 절단 크기와 절단 속도 등을 조절하기 위한 전기제어 판넬로 구성하여 제작하였다. 또한, 개발한 절단 시스템을 이용하여 초극세사 클리너 시제품을 제작하여 절단면을 전자현미경으로 관찰하였고, 절단 시스템의 소음진동 특성을 평가하였다.

• Explosives and Blasting
• /
• v.37 no.4
• /
• pp.17-25
• /
• 2019

The method to remove the head of the cast-in-place pile using the detonating cord and horizontal separation plate was proposed in this paper. Plain concrete block was fabricated. Through the blasting test of the concrete block, the charge weight and the burden required for cutting the pile head were identified. The degree of damage of concrete blocks after cutting the head was checked using AUTODYN 2D. As a result of the experiment, it was found that the concrete block was cut using the 10 g/m detonating cord and horizontal separation plate, and the directional cutting of the block using the horizontal separation plate and the block damage caused by the detonating cord were reduced.

• Journal of Welding and Joining
• /
• v.12 no.2
• /
• pp.1-10
• /
• 1994

노즐에서 분사되는 제트의 거동에 대해 전반적으로 고찰해보고, 실제 후판의 레이저 절단성 실험 을 통해 노즐의 영향 및 혼합가스의 절단면 질 향상효과 등을 살펴보았다. 간략히 요약하면 다음 과 같다. 아음속제트는 노즐압력을 증가함에 따라 절단압력도 증가하지만 노즐과 재료사이의 거 리를 가능한 작게 유지하여야 하는 제약이 있다. 따라서 사용중에 손상이 가기 쉽다. 이를 해결하 고자 초음속제트의 사용이 연구되고 있지만 shock의 형성으로 인해 노즐압과 절단압은 매우 비선 형적인 관계를 갖는다. 따라서 (i)고압에서도 MSD가 형성되지 않고 주기적인 압력 재상승이 나 타나도록 하거나, (ii)Laval노즐을 이용해 shock구조가 형성되지 않고 큰 절단거리를 얻도록 하는 방법이 제시되고 있다. 초음속노즐의 후판 절단 적용 가능성을 분석해 본 결과 유동 박리 현상으 로 인해 후판보다는 박판의 향상을 위해서는 적절한 조성의 혼합가스를 사용하는 것이 아주 효과 적이었으며, 보조 가수 제트를 채용해 slag제거를 효율적으로 수행 할 수 있음을 확인하였다.

• Proceedings of the Korean Society for Agricultural Machinery Conference
• /
• 2002.02a
• /
• pp.573-578
• /
• 2002

양파박피기 개발을 목적으로 수행된 본 연구에서는 공정상 필요한 뿌리절단장치에 관하여 시험 분석하였다. 뿌리를 절단, 제거하는 데 적합한 칼날의 종류, 회전속도와 이송속도, 및 소요동력 등 제 특성을 구명하여 적절한 회전칼날을 제작 사용함으로써 능률 높은 양파박피기를 개발하고자 수행한 결과를 요약하면 다음과 같다. 1. 양날형, 축날형, 원추형, 및 원통형 등 직경 30 mm의 칼날을 제작하여 실험하였던 바, 양파의 뿌리절단에는 구부린 칼날로 파내기를 하고 수직칼날로 금긋기를 동시에 할 수 있는 양날형이 가장 좋은 것으로 나타났다. 2. 양파의 뿌리부가 100% 절단이 되고 소요동력이 낮으면서 절단시간을 단축할 수 있는 최적의 작동조건은 칼날의 무부하 회전수 630 rpm, 이송속도 0.08 m/s인 것으로 나타났고, 그때의 최대토크는 5.25 kg·cm이었으며 최대소요동력은 33W로 나타났다.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.35 no.2
• /
• pp.153-160
• /
• 2011

The characteristics of supersonic coaxial/off-axis jet impingements on a slanted kerf surface were experimentally studied, to investigate the role of the assist gas that removes molten materials from cut zone formed by laser machining. In this parametric study, hundreds of high-resolution schlieren images were obtained for various gas pressures, distances between nozzle exit and kerf surface, kerf widths, and alignments of off-axis nozzle. It was noticed that simply increasing the assist gas pressure was not effective in eliminating the flow separation that occurs downstream of the kerf surface. However, it was also observed that by increasing the kerf width and utilizing off-axis nozzles, the separation of the assist gas on the kerf surface can be weakened. The effect of the distance between the nozzle exit and the kerf surface on the characteristics of separation occurring on the kerf surface was found to be lower in the case of supersonic nozzles than that in the case of sonic nozzles.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.39 no.7
• /
• pp.707-712
• /
• 2015

During the welding process, welding distortion is caused by the non-uniformity of the temperature distribution in the weldment. Welding distortion is redistributed because the residual stress and rigidity change according to the removal of the welded structure. In shipbuilding in particular, this phenomenon may be observed during the cutting process of lugs that are attached to blocks for transfer. The redistribution of welding distortion also causes problems, such as damage to the cutting tool. The aim of this study is to experimentally analyze the redistribution of welding distortion because of the partial removal of the welded structure. In the experiments conducted in this study, fillet welding and cutting were performed, and longitudinal bending and angular distortion in the welded structures were then investigated and analyzed.