Journal of the Korea Academia-Industrial cooperation Society
/
v.18
no.8
/
pp.361-366
/
2017
For two given logical expressions and, when expression contains the same part of the logical expression as expression, substituting for that part of expression is called a substituted logic expression. If a substituted relation is established between the logical expressions, there is an advantage in that the number of literals used in the whole logical expression can be greatly reduced. However, if the substituted relation is not established, there is no simplification effect obtained from the substituted expression. Previous methods proposed a way to find substituted relations between logical expressions for the given logical expressions themselves, and to calculate substituted expressions if only substitution is possible. In this paper, a new method for performing substitution with addition and revision of logic terms is proposed in order to perform substitution, even though there is no substituted relation between two logic expressions. The proposed method is efficiently implemented using a matrix that finds terms to be added. Then, by covering the matrix that has added terms, substituted logic expressions are found. Experiment results show that the proposed method for several benchmark circuits can reduce the number of literals, compared to existing synthesis tools.
용접입열 (heat input)은 용접시에 외부로부터 가해지는 열량으로 정의되기 때문에, 대입열용접은 용접입열량이 높은 용접이라고 정의할 수 있다. 통상적으로는 기존에 사용하던 용접기법보다 입열량이 높은 경우에 이를 대입열 용접기법이라고 부르게 되는데, 최근에는 편면 SAW 및 EGW기법 등이 대입열 용접기법으로 통칭되고 있다. 이들 기법의 공통된 특징은 one-pass 용접이라는 것과 용접열영향부에서의 열전달이 2차원적이라는 것이다. 본 연구에서는 Rosenthal의 해석식을 이용하여 이들 두 기법의 열전달 특성을 fusion line 위치에서 분석하여 보았는데, 두께에 따른 열전달 특성에 있어서 커다란 차이를 보여 주게 됨을 확인하였다. 편면 SAW에서는 열이력이 두께의 영향을 받아 두께(입열)가 증가함에 따라 고온에서의 유지시간은 증가하고 냉각속도는 느려지게 된다. 그러나 EGW에서는 입열과 두께가 일차함수적인 관계를 가지고 있기 때문에 열이력에 미치는 두께(입열)의 영향이 없다는 결과가 도출되었다. 이러한 차이로 인하여 편면 SAW에서는 강판 두께가 증가함에 따라 fusion line에서의 충격인성은 저하할 것으로 예상되는 반면에 EGW에서는 두께의 영향을 받지 않을 것으로 예상되었다. 그럼으로 EGW용 대입열용접용 강재의 '대입열 용접성'을 정량적으로 평가할 목적으로 '적용 가능한 최대입열 수준' 또는 '적용 가능한 최대 강판두께' 등으로 평가하는 것은 의미가 없는 것이다. 단지 강판의 두께에 따라 강재의 화학조성이나 제조공정에 있어 차이가 있다면, 이로 인한 'EGW 용접성'의 차이는 있을 수 있다.
This study presents the mechanical characteristics, such as the permanent deformation and the crack, of the large stone asphalt mixtures. The large stone mixture was studied by Kandhal at NCAT(National Center for Asphalt Technology) in 1989. Japan and Arabian countries adopted the large stone mixture for the pavement construction. The experience and the study results showed that the interlocking of the aggregate system of the large stone mixtures is stable and less dependent on the binder characteristics in high temperature. These properties are known as the rutting resistant parameters. However, the mechanical test results should be supported to prove the benefits of the large stone mixtures. The creep test, resilient modulus tests on three different temperature, wheel tracking test and ravelling tests were conducted to evaluate the performance of the large stone mixtures in this study. The test results were compared with the conventional mixtures and modified asphalt concrete mixtures. The large stone mixtures showed better rutting resistance performance.
용접능률의 향상을 위한 대입열용접법의 적용은 과도한 입열량으로 인하여 용접부의 인성이 저 하한다는 점에서 그 적용에 주의를 요한다. 본 보에서는 대입열용접시 열영향부의 인성 저하의 원인과 그 대책을 강재의 측면에서 검토하였다. 고장력강을 용접하면 입열량이 증가함에 따라 오스테나이트 결정립이 조대화되고 상부 베이나이트와 도상 마르텐사이트가 생성되어 인성이 저하한다. 그 대책으로서는 용접 열싸이클과정중 안정한 질화물, 산화물등을 모재에 미세분산시켜 오스테나이트 결정립 성장을 억제하고, 페라이트, 펄라이트 변태를 촉진시킨다. 이러한 석출물의 형성을 위해서는 주로 Ti, Ca, REM, B등의 합금원소가 이용된다. 소입성이 높은 주질고장력 강에서는 석출물의 분산에 의한 페라이트의 변태 촉진 보다는 Mn, Ni, Cr, Mo, V등의 합금원 소를 첨가하여 소입성을 높여 인성이 우수한 하부 베이나이트 조직을 형성하든가, 탄소량을 저 감시켜 도상 마르텐사이트의 생성을 억제하므로서 인성을 확보한다. 현재 국내에서 제조되고 있는 대입열용접용강중 인장강도 50kgf/mm$^{2}$급강은 기본적으로 용접부 인성이 우수한 TMCP법으로 제조되며, Ti등을 첨가하여 석출물의 효과를 이용하고 N을 억제하여 기지의 인 성을 향상시키는 등의 방법을 병용하고 있다. 인장강도 60kgf/mm$^{2}$ 급강은 조질처리에 의하여 제조되며, 50kgf/mm$^{2}$급강과 같이 Ti, B등의 첨가에 의한 석출물의 효과를 이용 하고 있다.
Journal of the Korea Society of Computer and Information
/
v.18
no.10
/
pp.129-139
/
2013
Java bytecodes are executed not on target machine but on the Java virtual machines. Since this bytecodes use a higher level representation than binary code, it is possible to decompile most bytecodes back to Java source. Obfuscation is the technique of obscuring code and it makes program difficult to understand. However, most of the obfuscation techniques make the code size and the performance of obfuscated program bigger and slower than original program. In this paper, we proposed an effective Java obfuscation techniques using assignment statements merging that make the source program difficult to understand. The basic approach is to merge assignments statements to append side effects of statement. An additional benefit is that the size of the bytecode is reduced.
영상 융합은 센서의 자료 저장 능력과 센서에 들어오는 방사에너지 감지의 한계를 해결하고 고해상도의 멀티스펙트럴 영상을 생성할 수 있다는 측면에서 중요한 의의를 지닌다. 특히, 성분대입(component-substitution) 기반의 영상융합 기법은 대용량의 자료를 빠르게 처리할 수 있고, 융합된 영상의 분광왜곡이 적다는 장점을 지니고 있다. 본 연구에서는 최적화기법 중의 하나인 담금질 모사기법(Simulated Annealing, SA)을 이용하여 다양한 성분대입 기반 영상융합 알고리즘들을 분석 및 평가하였다. 담금질 모사기법은 원하는 목적함수가 지역적 최소값이 아닌 광역적 최소값에 수렴이 가능하도록 하는 기법으로 다양한 분야에서의 광역 최적화 기법에 사용된다. 융합 기법의 최적화된 변수를 추출하기 위하여 인위적으로 공간해상도를 낮춘 위성영상을 입력자료로, 원 멀티스펙트럴영상을 참조자료로 사용하였으며, 두 영상간의 분광유사 척도를 담금질 모사 기법의 목적 함수로 구성하였다. 이를 통해 해당 목적함수의 광역적 최소값을 추출하고, 최종적으로 해당 영상에 융합 기법 별 최적화된 변수를 결정하였다. 제안된 최적화 변수의 평가를 위하여 IKONOS 위성영상에 융합을 적용하고, 알고리즘별 분광왜곡량을 비교하였으며 이를 통하여 고해상도 위성영상에 가장 적합한 성분대입 기반 영상융합 기법 및 그에 따른 최적화 변수를 도출할 수 있었다.
Seo, Jun-Seok;Lee, Chang-Hee;Ryoo, Hoi-Soo;Kim, Hee-Jin
Proceedings of the KWS Conference
/
2010.05a
/
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 시험을 하였다. 용착금속의 저온인성은 미세조직과, 산소량에 따라 변화 할 수 있기 때문에 용착금속 위치를 달리하여 미세조직과 산소량도 각각 분석하였다. 용착금속의 저온인성을 향상시킬 수 있는 침상형페라이트와 비금속개재물의 상관관계에 관해 검토 하였다.
Large and small starch granules were isolated and characterized from kernels of Hiproly barley. Average size of large granules were $28-30{\mu}m$ and that of small granules were $6{\mu}m$. The small granules consist of 95% of total starch granules. Large granules contained more amylose than small granules. Distribution of isoamylase-debranched starch components, X-ray diffraction patterns, gelatinization characteristics by differential scanning calorimetry, and starch-granule susceptibility to acid were investigated. Large granules contained more long B chains of amylopectin and had the lower ratios of Fr. III to Fr. II , which represent one of the structural characteristics of amylopectin, than those of small granules. Small granules had higher conclusion temperature and smaller heat of gelatinization than those of large granules by D.S.C.. Both granules had A-type pattern of X-ray diffractopgrams, but hydrolysis of granules with acid showed different A-type patterns between large and small granules.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 2004년 10월 1일]
이용약관
제 1 장 총칙
제 1 조 (목적)
이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
제 2 조 (용어의 정의)
① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을
말합니다.
② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여
받은 자를 말합니다.
③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을
말합니다.
④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
제 3 조 (이용약관의 효력 및 변경)
① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다.
② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의
초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을
변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전
내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
제 4 조(약관 외 준칙)
① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다.
② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
제 2 장 이용계약의 체결
제 5 조 (이용계약의 성립 등)
① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한
온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다.
② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을
포함합니다.
제 6 조 (회원가입)
서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
제 7 조 (개인정보의 보호 및 사용)
당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
제 8 조 (이용 신청의 승낙과 제한)
① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다.
② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다.
- 이용계약 신청서의 내용을 허위로 기재한 경우
- 기타 규정한 제반사항을 위반하며 신청하는 경우
제 9 조 (회원 ID 부여 및 변경 등)
① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다.
② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를
해지하고 재가입해야 합니다.
③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
제 3 장 계약 당사자의 의무
제 10 조 (KISTI의 의무)
① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록
하여야 합니다.
② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다.
③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를
거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야
합니다.
제 11 조 (회원의 의무)
① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며,
허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다.
② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된
ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다.
③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
제 4 장 서비스의 이용
제 12 조 (서비스 이용 시간)
① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을
원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에
서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를
통해 사전에 공지합니다.
② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만
이 경우 그 내용을 공지합니다.
제 13 조 (홈페이지 저작권)
① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고
있습니다.
② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을
받아야 합니다.
③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에
합치되게 인용할 수 있습니다.
④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우
저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
제 14 조 (유료서비스)
① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에
당 사이트 홈페이지를 통하여 회원에게 공지합니다.
② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
제 5 장 계약 해지 및 이용 제한
제 15 조 (계약 해지)
회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
제 16 조 (서비스 이용제한)
① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는
경우 서비스 이용을 제한할 수 있습니다.
- 2년 이상 서비스를 이용한 적이 없는 경우
- 기타 정상적인 서비스 운영에 방해가 될 경우
② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의
일시정지, 이용계약 해지 할 수 있습니다.
제 17 조 (전자우편주소 수집 금지)
회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
제 6 장 손해배상 및 기타사항
제 18 조 (손해배상)
당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
제 19 조 (관할 법원)
서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
[부 칙]
1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.