• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.997-1000
• /
• 2004

Boolean Satisfiability (SAT)는 전산학의 중요한 문제로서 SAT problem을 풀기 위한 많은 알고리즘과 도구들이 제안되어 왔다. 특히, 지난 몇 년 간 많은 발전을 이루어왔고, 하드웨어 검증과 모델 체킹 등의 분야에서 많이 적용되어 왔다. 여러 문제들을 Conjunctive Normal Form (CNF)로 표현하여 CNF의 특성을 이용하여 SAT 알고리즘이 발전되어 왔다. 그런데, 회로를 CNF로 표현할 때 몇 가지 문제점이 발생하는데 특히 CNF는 회로의 structural information 을 잃어버린다는 것이 큰 문제점이다. 이를 보완하기 위하여 회로의 structural information을 이용하기 위한 많은 연구가 진행되어 왔다. 이러한 대부분의 연구는 회로의 정보를 가지고 있다는 경우에 한정된다. 그러나, 하드웨어 검증에서 회로의 정보 없이 검증해야 하는 경우들도 발생한다. 이 논문은 회로의 정보를 가지고 있지 않을 때 CNF 만으로 회로의 structural information을 추론하는 방법을 제시한다.

• Journal of KIISE:Software and Applications
• /
• v.35 no.11
• /
• pp.661-670
• /
• 2008

In some applications of software engineering such as the verification of software model or embedded program, SAT solver is used. To practical use a SAT solver, a problem is encoded to a CNF formula, but because the formula has lower expressiveness than software models or source codes, optimal CNF encoding is required. In this paper, we propose optimal encoding techniques for the problem of "Selecting adjacent $k{\leq}n$ among n objects," Through experimental results we show the proposed constraint is efficient and correct to solve Japanese puzzle. As we know, this paper is the first study about CNF encoding for adjacency in BCC.

• Journal of the Korean Wood Science and Technology
• /
• v.42 no.2
• /
• pp.119-129
• /
• 2014

This work undertook to prepare nanofibers of cellulose nanofibrils (CNF)/polyvinyl alcohol (PVA) composite by electrospinning, and characterize the electrospun composite nanofibers. Different contents of CNFs isolated from hardwood bleached kraft pulp (HW-BKP) by 2,2,6,6-tetramethylpiperidine-1-oxy radical (TEMPO)-mediated oxidation were suspended in aqueous polyvinyl alcohol (PVA) solution, and then electrospun into CNF/PVA composite nanofibers. The morphology and dimension of CNFs were characterized by transmission electron microscopy (TEM), which revealed that CNFs were fibrillated form with the diameter of about $7.07{\pm}0.99$ nm. Morphology of the electrospun nanofiber observed by field-emission scanning electron microscopy (FE-SEM) showed that uniform CNF/PVA composite nanofibers were manufactured at 1~3% CNF contents while many beads were observed at 5% CNF level. Both the viscosity of CNF/PVA solution and diameter of the electrospun nanofiber decreased with an increase in CNF content. The diameter and its distribution of the electrospun nanofibers helped explain the differences observed in their morphology. These results show that the electrospinning method was successful in preparing uniform CNF/PVA nanofibers, indicating a great potential for manufacturing consistent and reliable cellulose-based nanofibrils for scaffolds in future applications.

• Journal of KIISE:Software and Applications
• /
• v.35 no.2
• /
• pp.81-90
• /
• 2008

BCC(Boolean Cardinality Constraint) is to select one boolean variable from n different variables. It is widely used in many areas including software engineering. Thus, many efficient encoding techniques of BCC into CNF have been studied extensively In this paper we analyze some representative encodings with respect to flexibility as well as efficiency. In addition we use a visualization tool to draw the CNF clauses generated from each encodings. Visualizing the clauses exposes a hidden structure in encodings and makes to compare each encodings on the structure level, which is one of the prominent achievement in our work compared to other works. And we apply our analysis on the pigeon-hole problems to have confidence. In our experimental settings, the commander encoding shows the best performance.

• Applied Chemistry for Engineering
• /
• v.32 no.1
• /
• pp.110-116
• /
• 2021

In this work, the surface of hydrophilic cellulose nanofibrils (CNFs) was modified precisely by varying amounts of cetyltrimethylammonium bromide (CTAB) to produce CNF-based particle surfactants. We found that a critical CTAB density was required to generate amphiphilic CTAB-grafted CNF (CNF-CTAB). Compared to pristine CNF, CNF-CTAB was highly efficient at stabilizing oil-in-water Pickering emulsions. To evaluate their effectiveness as particle surfactants, the surface coverage of oil-in-water emulsion droplets was determined by changing the CNF-CTAB concentration in the aqueous phase. Furthermore, styrene-in-water stabilized by CNF-CTAB surfactants was thermally polymerized to produce CNF-stabilized polystyrene (PS) particles, offering a great potential for various applications including pharmaceuticals, cosmetics, and petrochemicals.

• Advances in aircraft and spacecraft science
• /
• v.4 no.6
• /
• pp.729-744
• /
• 2017

This investigation highlights rationale of electrically conductive nano adhesives for its essential application for Electromagnetic Interference (EMI) Shielding in satellites and Lightning Strike Protection in aircrafts. Carbon Nano Fibres (CNF) were functionalized by electroless process using Tollen's reagent and by Plasma Enhanced Chemical Vapour Deposition (PECVD) process by depositing silver on CNF. Different weight percentage of CNF and silver coated CNF were reinforced into the epoxy resin hardener system. Scanning Electron Microscopy (SEM) micrographs clearly show the presence of CNF in the epoxy matrix, thus giving enough evidence to show that dispersion is uniform. Transmission Electron Microscopy (TEM) studies reveal that there is uniform deposition of silver on CNF resulting in significant improvement in interfacial adhesion with epoxy matrix. There is a considerable increase in thermal stability of the conductive nano adhesive demonstrated by Differential Scanning Calorimetry (DSC) and Thermogravimetric Analysis (TGA). Four probe conductivity meters clearly shows a substantial increase in the electrical conductivity of silver coated CNF-epoxy composite compared to non-coated CNF-epoxy composite. Tensile test results clearly show that there is a significant increase in the tensile strength of silver coated CNF-composites compared to non-coated CNF-epoxy composites. Consequently, this technology is highly desirable for satellites and EMI Shielding and will open a new dimension in space research.

• Applied Chemistry for Engineering
• /
• v.28 no.2
• /
• pp.257-262
• /
• 2017

In this study, CNF (carbon nanofiber) was prepared with different process variables of electrospinning method. Morphology of CNF was observed by SEM, and main parameters to form the CNF were applied voltage, TCD, polymer concentration and heat treatment condition. Comparison of toluene removal efficiency, as applying the prepared CNF to electrodes of an electrolysis process, showed the direct effect of cathode on electrolysis as well as anode.

• Microbiology and Biotechnology Letters
• /
• v.50 no.2
• /
• pp.283-292
• /
• 2022

Colibactins (clb) and Cytotoxic Necrotizing Factors (cnf) are virulence factors that impact cell cycle through cellular differentiation, proliferation, and apoptosis. Urinary tract infections (UTIs) are the most common among type of infection among outpatients, with a lifetime incidence of about 60-65% in adult females. Here, we sought to isolate uropathogenic Escherichia coli (UPCE) from urine specimens and investigates the prevalence of clb A, B and cnf 1, 2 genes among these isolates. A total of 110 E. coli isolates were collected from patients with UTIs. All the isolates were examined for their hemolytic activity and only 46 isolates showed a halo zone of hemolysis on blood agar. The collected UPEC isolates were screened for the existence of clb A, B and cnf genes. The results revealed that out of 110 isolates, 28 harbored the clbA gene, 40 harbored clb B, and 24 isolates harboured cnf1. 13 isolates harbored clbA, clbB, and cnf1 genes, while no cnf2 gene was detected among isolates. The molecular detection revealed that 8 out of 28 hemolytic isolates carrying the clbA, 11 out of 40 were carrying clbB, 1 out of 24 were carrying cnf 1, and 5 out of 9 carrying clbA+clbB. Furthermore, 7 out of 13 isolates were hemolytic and carrying clbA, clbB, and cnf1 genes. Finally, we investigated the cytotoxicity of E. coli harboring clb and cnf genes, eukaryotic REF cells were exposed to E. coli producing colibactin, which induces DNA damage and leads to cell cycle arrest, senescence and death.

• Journal of Korea Technical Association of The Pulp and Paper Industry
• /
• v.48 no.2
• /
• pp.91-98
• /
• 2016

Cellulose nanofibrils (CNF) was made from oil palm trunk (OPT) with soda-anthraquinone pulping, chlorine dioxide bleaching, carboxymethylation, followed by mechanical grinding. Size of this CNF was 16-40 nm of width confirmed by TEM. To evaluate CNF from OPT as cosmetics raw materials for moisturizing component, water holding properties was compared with hyaluronic acid and collagen. CNF from OPT had better water holding property than collagen or hyaluronic acid whether phenoxyethanol was added as antiseptic or without additive.

• International Journal of Industrial Entomology and Biomaterials
• /
• v.26 no.2
• /
• pp.81-88
• /
• 2013

Wet-spun silk fibers have attracted the attention of many researchers because of 1) the unique properties of silk as a biomaterial, including good biocompatibility and cyto-compatability and 2) the various methods available to control the structure and properties of the fiber. Cellulose nanofibrils (CNFs) have typically been used as a reinforcing material for natural and synthetic polymers. In this study, CNF-embedded silk fibroin (SF) nanocomposite fibers were prepared for the first time. The effects of CNF content on the rheology of the dope solution and the characteristics of wet-spun CNF/SF composite fibers were also examined. A 5% SF formic acid solution that contained no CNFs showed nearly Newtonian fluid behavior, with slight shear thinning. However, after the addition of 1% CNFs, the viscosity of the dope solution increased significantly, and apparent shear thinning was observed. The maximum draw ratio of the CNF/SF composite fibers decreased as the CNF content increased. Interestingly, the crystallinity index for the silk in the CNF/SF fibers was sequentially reduced as the CNF content was increased. This phenomenon may be due to the fact that the CNFs prevent ${\beta}$-sheet crystallization of the SF by elimination of formic acid from the dope solution during the coagulation process. The CNF/SF composite fibers displayed a relatively smooth surface with stripes, at low magnification (${\times}500$). However, a rugged nanoscale surface was observed at high magnification (${\times}10,000$), and the surface roughness increased with the CNF content.