• Title/Summary/Keyword: 대입

검색결과 728건 처리시간 0.025초

항추가 및 보정을 적용한 대입에 의한 논리식 간략화 (Logic Substitution Using Addition and Revision of Terms)

  • 권오형
    • 한국산학기술학회논문지
    • /
    • 제18권8호
    • /
    • pp.361-366
    • /
    • 2017
  • 2개 논리식에 대해서 어떤 논리식 F의 일부가 다른 논리식 G 전체를 포함하고 있을 때, 논리식 F의 일부분을 논리식 G로 대치한 식을 대입식이라고 한다. 논리식 사이에 대입 관계가 성립되면 전체 논리식에 사용된 리터럴 개수를 대폭 줄일 수 있는 장점이 있으나, 대입 관계가 성립하지 않는 경우 대입식으로부터 얻을 수 있는 간략화 효과가 없게 되어 상대적으로 리터럴 개수를 줄이는 효과가 줄어들게 된다. 지금까지의 연구들이 주어진 논리식들 자체에 대해서 논리식들 사이의 대입 관계를 찾고, 대입이 가능하면 대입식을 산출하기 위한 방법을 제안하였는데, 본 논문에서는 논리식들 사이에 대입식이 만들어지도록 필요한 항을 추가하고, 다시 추가된 항들에 대한 보정을 통해 대입식을 산출하는 논리합성 방법을 제안한다. 최적화하고자 하는 2개의 논리식들로부터 항추가를 위한 행렬을 만들고, 행렬에서 항이 추가 가능한 묶음 찾고 추가된 항에 대해 보정을 하여 대입식이 완성된다. 실험결과 여러 벤치마크 회로에 대하여 제안한 방법이 기존 합성도구보다 리터럴 개수를 줄일 수 있음을 보였다.

대입열용접 특성 (Characteristics of High Heat Input Welding)

  • 김희진;유회수
    • 대한용접접합학회:학술대회논문집
    • /
    • 대한용접접합학회 2010년도 춘계학술발표대회 초록집
    • /
    • pp.13-17
    • /
    • 2010
  • 용접입열 (heat input)은 용접시에 외부로부터 가해지는 열량으로 정의되기 때문에, 대입열용접은 용접입열량이 높은 용접이라고 정의할 수 있다. 통상적으로는 기존에 사용하던 용접기법보다 입열량이 높은 경우에 이를 대입열 용접기법이라고 부르게 되는데, 최근에는 편면 SAW 및 EGW기법 등이 대입열 용접기법으로 통칭되고 있다. 이들 기법의 공통된 특징은 one-pass 용접이라는 것과 용접열영향부에서의 열전달이 2차원적이라는 것이다. 본 연구에서는 Rosenthal의 해석식을 이용하여 이들 두 기법의 열전달 특성을 fusion line 위치에서 분석하여 보았는데, 두께에 따른 열전달 특성에 있어서 커다란 차이를 보여 주게 됨을 확인하였다. 편면 SAW에서는 열이력이 두께의 영향을 받아 두께(입열)가 증가함에 따라 고온에서의 유지시간은 증가하고 냉각속도는 느려지게 된다. 그러나 EGW에서는 입열과 두께가 일차함수적인 관계를 가지고 있기 때문에 열이력에 미치는 두께(입열)의 영향이 없다는 결과가 도출되었다. 이러한 차이로 인하여 편면 SAW에서는 강판 두께가 증가함에 따라 fusion line에서의 충격인성은 저하할 것으로 예상되는 반면에 EGW에서는 두께의 영향을 받지 않을 것으로 예상되었다. 그럼으로 EGW용 대입열용접용 강재의 '대입열 용접성'을 정량적으로 평가할 목적으로 '적용 가능한 최대입열 수준' 또는 '적용 가능한 최대 강판두께' 등으로 평가하는 것은 의미가 없는 것이다. 단지 강판의 두께에 따라 강재의 화학조성이나 제조공정에 있어 차이가 있다면, 이로 인한 'EGW 용접성'의 차이는 있을 수 있다.

  • PDF

대입경 혼합물의 역학적 특성 평가 (Evaluation of the Mechanical Characteristics of the Large Stone Asphalt Mixtures)

  • 박태순;김주원;김용주
    • 한국도로학회논문집
    • /
    • 제2권2호
    • /
    • pp.129-138
    • /
    • 2000
  • 본 연구는 대입경 혼합물의 배합설계와 소성변형 및 균열특성에 관련된 역학적 특성에 관한 연구결과이다. 대입경 혼합물은 1989년 미국 아스팔트기술쎈타의 Kandhal에 의해서 연구되었으며, 일본 및 아랍의 여러 국가에서 포장건설에 사용하고 있다. 이들의 경험과 연구결과에 의하면 대입경 혼합물을 구성하고 있는 골재의 구성은 결합력이 견고하고 바인더가 고온에서 영향을 받지 않아 소성변형에 큰 저항성을 보이는 것으로 알려져 있으나, 실제로 증명할 수 있는 역학적인 시험을 수행한 자료는 없는 실정이다. 본 연구에서는 크리프시험, 회복탄성계수시험, 휠 트래킹시험 및 라벨링 시험을 실시하여 대입경 혼합물의 특성을 분석하였으며 시험 결과를 일반 혼합물 및 개질아스팔트 혼합물과 비교한 결과 대입경 혼합물의 소성변형에 대한 저항성은 매우 우수한 것으로 나타났다.

  • PDF

대입열용접 열영향부의 조직과 인성 (HAZ Microstructure and Toughness in High Heat Input Welding)

  • 방국수;이종봉;장래웅
    • Journal of Welding and Joining
    • /
    • 제10권1호
    • /
    • pp.12-19
    • /
    • 1992
  • 용접능률의 향상을 위한 대입열용접법의 적용은 과도한 입열량으로 인하여 용접부의 인성이 저 하한다는 점에서 그 적용에 주의를 요한다. 본 보에서는 대입열용접시 열영향부의 인성 저하의 원인과 그 대책을 강재의 측면에서 검토하였다. 고장력강을 용접하면 입열량이 증가함에 따라 오스테나이트 결정립이 조대화되고 상부 베이나이트와 도상 마르텐사이트가 생성되어 인성이 저하한다. 그 대책으로서는 용접 열싸이클과정중 안정한 질화물, 산화물등을 모재에 미세분산시켜 오스테나이트 결정립 성장을 억제하고, 페라이트, 펄라이트 변태를 촉진시킨다. 이러한 석출물의 형성을 위해서는 주로 Ti, Ca, REM, B등의 합금원소가 이용된다. 소입성이 높은 주질고장력 강에서는 석출물의 분산에 의한 페라이트의 변태 촉진 보다는 Mn, Ni, Cr, Mo, V등의 합금원 소를 첨가하여 소입성을 높여 인성이 우수한 하부 베이나이트 조직을 형성하든가, 탄소량을 저 감시켜 도상 마르텐사이트의 생성을 억제하므로서 인성을 확보한다. 현재 국내에서 제조되고 있는 대입열용접용강중 인장강도 50kgf/mm$^{2}$급강은 기본적으로 용접부 인성이 우수한 TMCP법으로 제조되며, Ti등을 첨가하여 석출물의 효과를 이용하고 N을 억제하여 기지의 인 성을 향상시키는 등의 방법을 병용하고 있다. 인장강도 60kgf/mm$^{2}$ 급강은 조질처리에 의하여 제조되며, 50kgf/mm$^{2}$급강과 같이 Ti, B등의 첨가에 의한 석출물의 효과를 이용 하고 있다.

  • PDF

대입문 병합을 이용한 효율적인 자바 난독화 기법 (An Effective Java Obfuscation Technique Using Assignment Statements Merging)

  • 이경호;박희완
    • 한국컴퓨터정보학회논문지
    • /
    • 제18권10호
    • /
    • pp.129-139
    • /
    • 2013
  • 자바 바이트코드는 타겟 머신이 아닌 자바 가상머신 상에서 동작된다. 이러한 자바 바이트코드는 바이너리 코드보다 고수준 표현을 사용하고 있어서 대부분의 자바 바이트 코드는 다시 자바 소스 파일로 바꿀 수도 있다. 난독화란 기본적으로 코드를 이해하기 어렵게 만드는 기술을 의미한다. 자바 코드의 보호를 위해서는 난독화가 사용될 수 있다. 그러나 프로그램을 복잡하게 만드는 난독화 기법은 대부분 프로그램의 크기를 증가시키고 실행 속도 또한 느려지게 만드는 원인이 된다. 본 논문에서는 대입문 병합 기법을 이용한 효율적인 자바 난독화 기법을 새롭게 제안한다. 대입문 병합 기법이 적용되면 대입문에 부작용(side effects)이 추가되어 대입문을 이해하기 어렵게 된다. 추가적으로 바이트코드의 크기가 줄어드는 장점도 있다.

담금질 모사기법을 이용한 성분대입기반 영상융합 알고리즘의 평가 (The comparative analysis of component-substitution based image fusion algorithm by simulated annealing)

  • 최재완;김혜진;김용일
    • 대한원격탐사학회:학술대회논문집
    • /
    • 대한원격탐사학회 2008년도 춘계학술대회 논문집
    • /
    • pp.74-79
    • /
    • 2008
  • 영상 융합은 센서의 자료 저장 능력과 센서에 들어오는 방사에너지 감지의 한계를 해결하고 고해상도의 멀티스펙트럴 영상을 생성할 수 있다는 측면에서 중요한 의의를 지닌다. 특히, 성분대입(component-substitution) 기반의 영상융합 기법은 대용량의 자료를 빠르게 처리할 수 있고, 융합된 영상의 분광왜곡이 적다는 장점을 지니고 있다. 본 연구에서는 최적화기법 중의 하나인 담금질 모사기법(Simulated Annealing, SA)을 이용하여 다양한 성분대입 기반 영상융합 알고리즘들을 분석 및 평가하였다. 담금질 모사기법은 원하는 목적함수가 지역적 최소값이 아닌 광역적 최소값에 수렴이 가능하도록 하는 기법으로 다양한 분야에서의 광역 최적화 기법에 사용된다. 융합 기법의 최적화된 변수를 추출하기 위하여 인위적으로 공간해상도를 낮춘 위성영상을 입력자료로, 원 멀티스펙트럴영상을 참조자료로 사용하였으며, 두 영상간의 분광유사 척도를 담금질 모사 기법의 목적 함수로 구성하였다. 이를 통해 해당 목적함수의 광역적 최소값을 추출하고, 최종적으로 해당 영상에 융합 기법 별 최적화된 변수를 결정하였다. 제안된 최적화 변수의 평가를 위하여 IKONOS 위성영상에 융합을 적용하고, 알고리즘별 분광왜곡량을 비교하였으며 이를 통하여 고해상도 위성영상에 가장 적합한 성분대입 기반 영상융합 기법 및 그에 따른 최적화 변수를 도출할 수 있었다.

  • PDF

EGW 용착금속의 저온인성 특성 (Characteristics of Low Temperature Toughness on EGW Weld Metal)

  • 서준석;이창희;유회수;김희진
    • 대한용접접합학회:학술대회논문집
    • /
    • 대한용접접합학회 2010년도 춘계학술발표대회 초록집
    • /
    • pp.18-18
    • /
    • 2010
  • 최근에 건조되는 선박이나 구조물들은 점차 대형화 되어가고, 이에 사용되는 판재들은 점차 고강도 극후판재화 되어가고 있다. 극후판재의 용접성을 향상시키기 위해서는 대입열 용접이 주로 적용되고 있는 실정인데, 30 mmt 이상의 후판을 1 pass로 용접하기 위해서는 EGW(Electro-gas welding) 기법을 사용한다. 대입열 용접은 용접입열(heat input)이 매우 높아 용착금속과 열영향부의 냉각속도가 매우 느려 용접열영향부에서 특히 fusion line 근처의 열영향부는 결정립 조대화 및 취약한 미세조직을 형성함으로서 저온인성을 크게 저하시키고, 연화 현상(softening effect)을 발생시켜 강도가 저하되는 문제점이 주로 발생하였다. 하지만 이런 문제점을 해결하기 위해 대입열용접에 사용된는 강재의 미세조직을 제어하여 AlN, TiN, $TiO_2$ 등의 석출물을 이용한 용접열영향부의 저온인성을 향상시켰다. 이러한 문제점이 발생하는 대입열용접에서 저온인성 시험은 주로 fuison line + 1, 2mm에서 수행한다. 하지만 대입열 용접시 용착금속의 냉각속도도 매우 느리기 때문에 용착금속의 위치에 따라 저온 인성 특성이 다르게 나타날 수 있다. 본 연구에서는 EGW 용착금속의 위치에 따른 저온인성 특성을 평가하기 위해 EH-36N, 40mmt 판재를 사용하여 1pole EG 용접 하였다. 용착금속의 저온인성 특성을 평가하기위해 충격 시편의 노치 위치가 fusion line - 2mm와 용접부 중앙을 기준으로 4곳을 선정하여 충격시험을 수행하였다. 또한 용착금속의 경도 분포를 알아보기 위해 micro vickers hardness tester(mitutoyo UR-501)을 사용해 hardness mapping 시험을 하였다. 용착금속의 저온인성은 미세조직과, 산소량에 따라 변화 할 수 있기 때문에 용착금속 위치를 달리하여 미세조직과 산소량도 각각 분석하였다. 용착금속의 저온인성을 향상시킬 수 있는 침상형페라이트와 비금속개재물의 상관관계에 관해 검토 하였다.

  • PDF

보리 전분의 대.소입자에 관한 연구 (Some Physicochemical Properties of Large and Small Starch Granules of Barley)

  • 강미영
    • 한국식품과학회지
    • /
    • 제21권1호
    • /
    • pp.52-57
    • /
    • 1989
  • 보리 전분입을 구성하는 대입자와 소입자의 물리, 화학적 차이에 관해서 비교하였다. 대입자의 직경은 약 $28-30{\mu}m$이고. 소입자는 약 $6{\mu}m$ 이었으며, Hiproly 전분 입자의 수에 대한 소입자의 수는 95%정도 이었다. 아밀로오즈의 함량은 대입자가 소입자 보다 높게 나타났다. 아밀로오즈의 분자 형태에 관한 대입자 소입자 전분의 고찰로써, iso-amylase처리 전분의 구성성분의 차이, X선 회절도의 차이, 호화특성, 산분해성 등의 검토에 의하면, 아밀로펙틴의 미세결정 구조인 망상구조상에 있어서 대입자와 소입자가 서로 다른 구조를 하고 있으리라 예측된다.

  • PDF