• 제목/요약/키워드: CNF

검색결과 132건 처리시간 0.032초

SAT 처리기를 위한 수도쿠 퍼즐의 최적화된 인코딩 (Optimized Encoding of Sudoku Puzzle for SAT Solvers)

  • 권기현
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제34권7호
    • /
    • pp.616-624
    • /
    • 2007
  • SAT을 이용해서 수도쿠 퍼즐을 풀기 위해서는 수도쿠를 SAT 처리기의 표준 입력 언어인 CNF 논리식으로 인코딩 해야 한다. 기존에 제시된 인코딩 알고리즘으로 크기가 큰 수도쿠를 인코딩하면 현재 SAT 처리기의 처리 수준을 넘을 정도로 많은 논리식이 생성된다. 본 논문에서는 크기가 큰 수도쿠를 다루기 위해서 수도쿠의 고정 셀을 이용하여 최적화된 CNF 논리식을 생성하는 방법을 제시한다. 고정 셀에 배정된 숫자는 불변이기 때문에 이를 이용해서 일부 변수의 값을 인코딩 단계에서 미리 결정할 수 있고, 이들 변수의 값을 이용해서 SAT 처리에 영향을 주지 않는 절과 리터럴을 인코딩 단계에서 제거할 수 있다. 다양한 크기의 수도쿠 퍼즐에 적용한 결과 기존 인코딩 알고리즘에 비해서 우수한 성능을 보였다.

나노셀룰로오스가 시멘트복합체의 역학적 특성 및 자기수축 특성에 미치는 영향 (Effect of Nanocellulose on the Mechanical and Self-shrinkage Properties of Cement Composites)

  • 김선우;윤병태
    • 공업화학
    • /
    • 제27권4호
    • /
    • pp.380-385
    • /
    • 2016
  • 최근 셀룰로오스 나노피브릴과 셀룰로오스나노크리스탈과 같은 나노셀룰로오스는 관심의 초점이 되고 있다. 나노셀룰로오스의 표면에 있는 수산기는 고분자복합체의 보강재로 사용함에 있어서 적합한 기능을 소유하고 있기 때문이다. 본 연구에서 나노셀룰로오스를 시멘트복합체 제조에 있어서 보강재로서 사용하였다. 나노셀룰로오스는 TEMPO 산화에 의한 전처리과정을 거친 후, 균질화 및 초음파처리에 의해서 제조되었고, 투과전자현미경으로 나노셀룰로오스를 분석한 결과 직경이 10에서 15 nm 범위로 나타났다. 0.5% 나노셀룰로오스가 함유된 시멘트복합체의 압축강도를 기존 시멘트복합체와 비교하였으며 특히, 인장강도와 휨강도가 기존 시멘트복합체에 비해서 각각 49.7%와 38.8% 개선되었다. 그리고 나노셀룰로오스가 혼합된 시멘트복합체의 자기수축률은 타설 후 1일 경과 시 18.9%, 28일 경과 시 5.9%의 저감효과가 나타났다.

전기영동법에 의한 탄소나노튜브 및 탄소나노섬유 강화 탄소섬유 하이브리드 복합재료 (CNT and CNF reinforced carbon fiber hybrid composites by electrophoresis deposition)

  • 최오영;이원오;이상복;이진우;김진봉;최현성;변준형
    • Composites Research
    • /
    • 제23권3호
    • /
    • pp.7-12
    • /
    • 2010
  • 탄소섬유 복합재료의 전기전도도와 기계적 강도를 높이기 위하여 음극 및 양극 전기영동법을 이용하여 탄소나노튜브(MWCNT)와 탄소나노섬유(CNF)를 탄소섬유직물에 부착하였다. 양극 전기영동에서는 MWCNT와 CNF의 탄소나노 입자들만이 탄소 섬유에 부착되었으나, 음극 전기영동에서는 MWCNT와 CNF 및 나노 크기의 구리 입자가 동시에 탄소섬유직물에 부착되었고 이에 따라 부착 밀도 및 복합재료 물성의 증대라는 시너지 효과를 거둘 수 있었다. 특히 나노 크기의 탄소나노입자 및 마이크로 크기의 탄소 섬유가 혼합된 멀티스케일 복합재료의 제조를 통해 두께 방향 전기전도도의 높은 향상을 얻었다. 또한 MWCNT와 CNF를 동시에 멀티스케일 복합재료에 적용하였을 경우, 각각을 적용한 경우보다 두께 방향 전기전도도가 높게 나타났다.

Nano-structured Carbon Support for Pt/C Anode Catalyst in Direct Methanol Fuel Cell

  • Choi Jae-Sik;Kwon Heock-Hoi;Chung Won Seob;Lee Ho-In
    • 한국분말재료학회지
    • /
    • 제12권2호
    • /
    • pp.117-121
    • /
    • 2005
  • Platinum catalysts for the DMFC (Direct Methanol Fuel Cell) were impregnated on several carbon supports and their catalytic activities were evaluated with cyclic voltammograms of methanol electro-oxidation. To increase the activities of the Pt/C catalyst, carbon supports with high electric conductivity such as mesoporous carbon, carbon nanofiber, and carbon nanotube were employed. The Pt/e-CNF (etched carbon nanofiber) catalyst showed higher maximum current density of $70 mA cm^{-2}$ and lower on-set voltage of 0.54 V vs. NHE than the Pt/Vulcan XC-72 in methanol oxidation. Although the carbon named by CNT (carbon nanotube) series turned out to have larger BET surface area than the carbon named by CNF (carbon nanofiber) series, the Pt catalysts supported on the CNT series were less active than those on the CNF series due to their lower electric conductivity and lower availability of pores for Pt loading. Considering that the BET surface area and electric conductivity of the e-CNF were similar to those of the Vulcan XC-72, smaller Pt particle size of the Pt/e-CNF catalyst and stronger metal-support interaction were believed to be the main reason for its higher catalytic activity.

산소환원반응을 위한 탄화철이 내재된 질소 도핑된 탄소의 제조 (Synthesis of Fe3C-Embedded Nitrogen Doped Carbon for Oxygen Reduction Reaction)

  • 이영근;안건형;안효진
    • 한국재료학회지
    • /
    • 제28권11호
    • /
    • pp.640-645
    • /
    • 2018
  • The design of non-precious electrocatalysts with low-cost, good stability, and an improved oxygen reduction reaction(ORR) to replace the platinium-based electrocatalyst is significant for application of fuel cells and metal-air batteries with high energy density. In this study, we synthesize iron-carbide($Fe_3C$) embedded nitrogen(N) doped carbon nanofiber(CNF) as electrocatalysts for ORRs using electrospinning, precursor deposition, and carbonization. To optimize electrochemical performance, we study the three stages according to different amounts of iron precursor. Among them, $Fe_3C$-embedded N doped CNF-1 exhibits the most improved electrochemical performance with a high onset potential of -0.18 V, a high $E_{1/2}$ of -0.29 V, and a nearly four-electron pathway (n = 3.77). In addition, $Fe_3C$-embedded N doped CNF-1 displays exellent long-term stabillity with the lowest ${\Delta}E_{1/2}=8mV$ compared to the other electrocatalysts. The improved electrochemical properties are attributed to synergestic effect of N-doping and well-dispersed iron carbide embedded in CNF. Consequently, $Fe_3C$-embedded N doped CNF is a promising candidate for non-precious electrocatalysts for high-performance ORRs.

폐수 처리를 위한 박테리아 셀룰로오스 막: 리뷰 (Bacterial Cellulose Membrane for Wastewater Treatment: A Review)

  • 장은조;라즈쿠마 파텔
    • 멤브레인
    • /
    • 제31권6호
    • /
    • pp.384-392
    • /
    • 2021
  • 현재 우리 산업의 가속화된 발전으로 인해 다양하고 많은 양의 오염이 만들어지기 시작하고 있다. 특히 폐수의 경우 석유, 금속 및 유기물로 오염되는 강과 바다가 늘고 있으며, 빠른 조치가 필요해 보인다. 이러한 오염에 대응하기 위해 폐수에서 분리막을 이용한 깨끗한 물의 여과가 비용적으로 유리하고 친환경적인 기술로 떠오르고 있다. 재생 자원으로 만들어진 막여과 기법들이 환경오염의 원인 중 하나인 합성고분자 분리막들을 대체하기 위해 많이 사용되고 있다. 박테리아 셀룰로오스(Bacterial Cellulose / BC)는 순수하고 뚜렷한 형태의 셀룰로오스 나노섬유(Cellulose nanofibrils / CNF)이다. CNF에서 제조된 나노페이퍼는 각기 다른 용도로 한외여과막과 나노여과막으로 사용된다. BC의 높은 결정성으로 인해 폐수 처리 막의 필수 기준인 우수한 기계적 성질을 가질 수 있다. 본 리뷰 논문에서는 염료, 오일 및 중금속 등 폐수의 오염물질들을 걸러내기 위해 사용될 수 있는 BC 기반 분리막들에 대해 논의한다.

탄소나노섬유/코발트산화물 복합전극의 케폐시턴스 특성 (Capacitance Property for a Carbon-nanofiber/Cobalt Oxide Composite Electrode)

  • 윤여일;고장면
    • 한국세라믹학회지
    • /
    • 제45권8호
    • /
    • pp.482-485
    • /
    • 2008
  • Composite electrode consisting of carbon nanofiber (CNF) and cobalt oxide was prepared for supercapacitor electrode, and its electrochemical property was investigated by means of cyclic voltammetry. Cyclic voltammetric results for the composite electrode showed it had specific capacitance value of 420 F/g at 5 mV/s, which was higher than capacitance value of 180 F/g for the bare CNF. It is concluded that the capacitive property of CNF can be improved by coating cobalt oxide on it to increase the surface area of cobalt oxide.

Carbon Nanofibers with Controlled Size and Morphology Synthesized with a Ni-MgO Catalyst Treated by Mechnochemical Process

  • Fangli, Yuan;Ryu, Ho Jin
    • 한국반도체및디스플레이장비학회:학술대회논문집
    • /
    • 한국반도체및디스플레이장비학회 2003년도 추계학술대회 발표 논문집
    • /
    • pp.94-98
    • /
    • 2003
  • Carbon nanofibers (CNF) with uniform diameter and controlled size could be prepared from catalytic decomposition of $C_2H_2$ with the catalyst treated by mechnochemical(MC) process. The distribution and size of Ni catalyst can be governed by tuning grinding time using MC process. As a result, size and structure of CNF can be controlled. The effect of grinding time to the as-grown CNF was checked. CNFs with diameter from 10-70nm can be synthesized. CNFs with bundle formation sharing one tip were found for MC treated catalyst.

  • PDF

나노섬유 분산과 섬유 배향성에 따른 탄소섬유 나노 복합재료의 기계적 특성 (Mechanical Properties of Carbon Fiber Nano Composites for Nano-fiber Additives and Fabric Orientation)

  • 송준희;최준용;김연직
    • 대한금속재료학회지
    • /
    • 제50권2호
    • /
    • pp.93-99
    • /
    • 2012
  • The mechanical properties of nano composites were evaluated for structural performance in order to enhance their applicability to the car and machine industrial fields. Carbon fiber reinforced plastics (CFRP) and GFRP were manufactured by vacuum-assisted resin transfer molding (VARTM) process with good mechanical properties. Tensile test was conducted to obtain the process factor of each composite. Also, carbon nano fiber (CNF) was dispersed in the composites and the relationship between the mechanical property and the CNF fraction was compared. The tensile strength and stiffness of 0/90 laminated CFRP were the best. CFRP/CNF (0.5 wt.%) was confirmed to be an excellent material for its elasticity and tensile strength.

SAT 사례 연구: 루빅 큐브 (A Case Study on Satisfiability : Rubik's Cube)

  • 임형주;권기현
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2008년도 춘계학술발표대회
    • /
    • pp.378-381
    • /
    • 2008
  • 최근 정형 검증 분야에서 만족가능성 처리기를 사용한 연구가 많아지면서 이를 적용한 사례들이 많이 나타나고 있다. 만족가능성 처리기를 사용하기 위해서는 검증 되어야 할 시스템을 CNF식으로 변환해야 한다. 우리는 루빅 큐브를 만족가능성 처리기를 통해 풀어보기 위해 이를 CNF식으로 변환해 보았다. 루빅 큐브는 정육면체로 이루어진 퍼즐의 일종으로 모든 면이 각각 한가지 색으로만 채워져야 하는 문제이다. 우리는 본 논문에서 만족가능성 처리기를 사용한 사례 중에 아직 적용한적이 없는 루빅 큐브를 CNF식으로 변환해 풀었음을 보여준다.