• 한국수학사학회지
• /
• 제23권3호
• /
• pp.45-56
• /
• 2010

순차식 연산은 겐첸이 자연연역을 1934년 대칭적 버전으로 재구성한 것으로서, 여기에서 그는 '주정리' 를 소개한다. 이 논문에서 우리는 절단의 유용성에도 불구하고 증명이론에서 왜 절단정리가 이토록 중요한 위상을 차지하는지 검토할 것이다. 이어서 커리-하우어드 대응의 역동적 측면, 즉 절단 제거와 단순히 유형화된 람다-연산에서 ${\beta}$-환원의 대응이 연구될 것이다. 이러한 대응의 중요성은 프로그램의 세계와 수학 증명의 세계를 마주보게 함으로써 프로그램의 정확성을 보증해준다는 데에 있다.

• 한국산학기술학회논문지
• /
• 제15권10호
• /
• pp.5919-5924
• /
• 2014

절단 정반에 드로스가 과도하게 부착되면 강판의 수평 레벨에 차이가 발생하게 되어 절단 정도가 저하되며 절단 과정에서 발생하는 비산먼지, 분진, 흄 등의 집진 효율이 저하되어 작업 환경이 악화된다. 또한, 절단 과정에서 발생하는 철 용융물들이 정반 위로 비산되어 장비 및 제품의 손상이 발생할 수도 있다. 본 연구에서는 절단 정반에 부착되는 드로스의 제어를 통해 절단 정도 향상, 작업 환경 개선, 장비와 제품의 손상 방지, 절단 정반의 잦은 교체 비용 및 인력과 장비의 유휴시간 절감 등 생산성 향상에 기여하고자 하였다. 연구 방법으로는 우선, 강판 절단 시 발생하는 철 용융물로 인한 드로스가 정반에 부착되는 특성을 파악하기 위해 일련의 절단 실험을 수행하였다. 실험 결과를 토대로 절단 정반에 부착된 드로스를 효과적으로 제거하기 위한 장비의 개념 설계를 수행하고 사전 테스트를 통해 적용 가능성을 검토하였다. 최종적으로, 상세 설계를 통해 드로스 제거 시스템 및 운용 알고리즘을 개발하였으며 대형 플라즈마 아크 절단 장비에 설치 및 장기간의 현장 테스트를 통해 그 유용성을 확인하였다.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2013년도 제44회 동계 정기학술대회 초록집
• /
• 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) 생산에 응용이 가능하리라 기대한다.

• 한국콘텐츠학회논문지
• /
• 제11권5호
• /
• pp.15-24
• /
• 2011

현재 VK(Visible Korean) 프로젝트의 인체 연속절단 영상을 이용한 해부학 분야의 다양한 연구가 진행중이다. 이러한 관점에서 VK 영상 데이터의 정확한 인체 정보 재현이 날로 중요해지고 있다. 이와 관련하여 VK 영상의 시상면 및 관상면에 존재하는 절단무늬 제거를 위한 연구들이 있었다. 하지만, 진행 과정에서 급격한 주파수 변화에 따른 울림 현상이 공통으로 발생하였다. 또한, 절단무늬가 제거되지 않은 원본영상과의 병합으로 절단무늬가 다시 재현되는 문제가 있었다. 따라서 본 논문에서는 먼저 FFT 및 놋치필터 적용에 효과적인 색공간을 찾고자 하였다. 이를 위해, RGB, LAB, CMYK, HSV, HSL 색공간을 이용하였다. 다음으로, 놋치 필터 개선을 통해 울림 현상을 제거 및 완화하고자 하였다. 이를 검증하기 위해 원본 영상을 대상으로 하여 선행 연구와 제안 방법을 가시적인 접근과 객관적인 수치를 통해 비교하였다. 이러한 연구를 통해 더욱 실제 인체 정보를 유지한 데이터를 재현할 수 있어서 앞으로 VK 관련 연구에 긍정적으로 작용할 것으로 기대한다.

• 한국전기전자재료학회:학술대회논문집
• /
• 한국전기전자재료학회 2009년도 하계학술대회 논문집
• /
• pp.162-163
• /
• 2009

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

• 화약ㆍ발파
• /
• 제37권4호
• /
• pp.17-25
• /
• 2019

도폭선과 수평분리판을 이용한 현장타설 말뚝 두부를 제거하는 방법을 제안하였다. 무근 콘크리트 블록을 제작하였고, 콘크리트 블록 발파실험을 통하여 말뚝 두부 절단에 필요한 도폭선 약량과 최소저항선을 확인하였다. AUTODYN 2D를 이용하여 두부 절단 후 콘크리트 블록의 손상 정도를 확인하였다. 실험결과 10g/m 도폭선과 수평분리판을 이용한 콘크리트 블록 절단을 확인하였고, 수평분리판을 사용하여 블록의 방향성 절단과 도폭선에 의한 블록 손상이 저감됨을 확인하였다.

• Journal of Welding and Joining
• /
• 제12권2호
• /
• pp.1-10
• /
• 1994

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

• 한국농업기계학회:학술대회논문집
• /
• 한국농업기계학회 2002년도 동계 학술대회 논문집
• /
• pp.573-578
• /
• 2002

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

• 대한기계학회논문집B
• /
• 제35권2호
• /
• pp.153-160
• /
• 2011

레이저가공에서 가공부위의 용융물질을 제거하는 보조가스의 역할을 살펴보기 위하여, 절단경사면에 충돌하는 초음속 동축/탈축노즐 유동의 특성이 실험적으로 관찰되었다. 보조가스의 압력, 노즐과 절단면과의 사이거리, 절단폭, 그리고 탈축노즐의 위치 등 다양한 관계변수의 변화에 대하여, 수백 개의 고해상도의 쉴러린 영상이 획득되었다. 그 결과, 단순한 보조가스의 증가가 절단면 하부에서 발생하는 유동박리를 제거하는데 효율적이지 않음이 관찰되었고, 절단폭의 증가와 탈축노즐의 운용으로 절단면에서의 박리현상을 경감시킬 수 있음이 확인되었다. 또한 음속노즐에 비하여 초음속노즐의 경우는 노즐출구와 가공면 사이의 사이거리가 절단면에서의 박리현상에 큰 영향을 미치지 않음이 관찰되었다.

• 대한기계학회논문집A
• /
• 제39권7호
• /
• pp.707-712
• /
• 2015

용접변형은 용접 시 구조물 내에서의 불균일한 온도분포특성으로 인하여 필연적으로 유발되는 현상이다. 또한 용접변형이 발생된 용접구조물의 일부를 제거하는 과정에서 구조물내의 용접잔류응력과 강성의 연속적인 변화에 따라 추가적인 변형이 발생하여 변형의 재분포가 이루어진다. 특히, 이러한 현상은 선박의 제조과정 중 대형블럭을 옮기기 위해 설치된 러그의 절단과정에서 살펴볼 수 있다. 용접구조물의 부분 제거 시 발생되는 변형의 재분포는 절단공구의 파손 등의 문제를 야기하기도 한다. 본 논문은 실험을 통하여 용접구조물의 부분 제거에 따른 용접변형의 재분포가 어떠한 양상으로 발생되는지 연구하기 위한 것이다. 실험을 위해 필릿용접을 실시하였고, 용접된 리브의 일부를 제거함에 따라 발생되는 종굽힘과 각변형을 측정하여 비교 및 분석하였다.