A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form

The satisfiability (SAT) problem is a core problem in computer science. Existing studies have shown that most industrial SAT instances can be effectively solved by modern SAT solvers while random SAT instances cannot. It is believed that the structural characteristics of different SAT formula classes are the reasons behind this difference. In this paper, we study the structural properties of propositional formulas in conjunctive normal form (CNF) by the principle of structural entropy of formulas. First, we used structural entropy to measure the complex structure of a formula and found that the difficulty solving the formula is related to the structural entropy of the formula. The smaller the compressing information of a formula, the more difficult it is to solve the formula. Secondly, we proposed a λ-approximation strategy to approximate the structural entropy of large formulas. The experimental results showed that the proposed strategy can effectively approximate the structural entropy of the original formula and that the approximation ratio is more than 92%. Finally, we analyzed the structural properties of a formula in the solution process and found that a local search solver tends to select variables in different communities to perform the next round of searches during a search and that the structural entropy of a variable affects the probability of the variable being flipped. By using these conclusions, we also proposed an initial candidate solution generation strategy for a local search for SAT, and the experimental results showed that this strategy effectively improves the performance of the solvers CCAsat and Sparrow2011 when incorporated into these two solvers.     

Microwave‐assisted polycondensation of 4‐octylaniline with dibromoarylene

The Pd‐catalyzed polycondensation of 4‐octylaniline with various dibromoarylenes was carried out under microwave heating. Microwave heating led to a decrease in the reaction time and an increase in the molecular weight of the polymers as compared to conventional heating. Microwave heating also allowed the catalyst loading to be reduced to 1 mol %, yielding polymerization results that were comparable to those under conventional heating and 5 mol % catalyst. Investigations regarding field‐effect transistors and organic photovoltaic cells using the obtained poly(arylamine) with azobenzene units revealed that increasing the molecular weight of the polymer led to improved device performance, including hole mobility and power conversion efficiency. © 2014 Wiley Periodicals, Inc. J. Polym. Sci., Part A: Polym. Chem. 2015 , 53, 536–542     

Synthesis of diisocyanides with phenolic groups and their polymerization to helically chiral poly(quinoxaline‐2,3‐diyl)s

The development of synthetic routes which lead to five new diisocyanide monomers with one or two phenolic groups is described. Their polymerization behavior is studied with Pd‐ and Ni‐based initiators, as well as under microwave irradiation. The polymerizability is mainly dominated by steric effects as is concluded from experiments using different protecting groups. Chiroptical properties of these new polymers are studied by CD‐spectroscopy. After deprotection, helically chiral poly(quinoxalin‐2,3‐diyl)s are obtained which display a Brønsted function attached to a stereolabile biaryl axis whose configuration should be influenced by the chiral polymer backbone. © 2015 Wiley Periodicals, Inc. J. Polym. Sci., Part A: Polym. Chem. 2015 , 53, 1320–1329     

Highly dispersed palladium nanoclusters incorporated in amino‐functionalized silica spheres for the selective hydrogenation of succinic acid to γ‐butyrolactone

Highly dispersed palladium nanoclusters incorporated on amino‐functionalized silica sphere surfaces (Pd/SiO₂‐NH₂) were fabricated by a simple one‐pot synthesis utilizing 3‐(2‐aminoethylamino)propyltrimethoxysilane (AAPTS) as coordinating agent. Uniform palladium nanoclusters with an average size of 1.1 nm can be obtained during the co‐condensation of tetraethyl orthosilicate and AAPTS owing to the strong interaction between palladium species and amino groups in AAPTS. The palladium particle size can be controlled by addition of AAPTS and plays a significant role in the catalytic performance. The Pd/SiO₂‐NH₂ catalyst exhibits high catalytic activity for succinic acid hydrogenation with 100% conversion and 94% selectivity towards γ‐butyrolactone using 1,4‐dioxane as solvent at 240°C and 60 bar for 4 h. Moreover, the Pd/SiO₂‐NH₂ catalyst is robust and readily reusable without loss of its catalytic activity. Copyright © 2015 John Wiley & Sons, Ltd.     

Synthesis and characterization of indium and thallium immobilized on isonicotinamide‐functionalized mesoporous MCM‐41: Two novel and highly active heterogeneous catalysts for selective oxidation of sulfides and thiols to their corresponding sulfoxides and disulfides

Two highly ordered isonicotinamide (INA)‐functionalized mesoporous MCM‐41 materials supporting indium and thallium (MCM‐41‐INA‐In and MCM‐41‐INA‐Tl) have been developed using a covalent grafting method. A surface functionalization method has been applied to prepare Cl‐modified mesoporous MCM‐41 material. Condensation of this Cl‐functionalized MCM‐41 with INA leads to the formation of MCM‐41‐INA. The reaction of MCM‐41‐INA with In(NO₃)₃ or Tl(NO₃)₃ leads to the formation of MCM‐41‐INA‐In and MCM‐41‐INA‐Tl catalysts. The resulting materials were characterized using various techniques. These MCM‐41‐INA‐In and MCM‐41‐INA‐Tl catalysts show excellent catalytic performance in the selective oxidation of sulfides and thiols to their corresponding sulfoxides and disulfides. Finally, it is found that the anchored indium and thallium do not leach out from the surface of the mesoporous catalysts during reaction and the catalysts can be reused for seven repeat reaction runs without considerable loss of catalytic performance.     

Polymer nanoparticles with a sensitive CO2‐responsive hydrophilic/hydrophobic surface

Poly(methyl methacrylate) (PMMA) nanoparticles with a sensitive CO₂‐responsive hydrophilic/hydrophobic surface that confers controlled dispersion and aggregation in water were prepared by emulsion polymerization at 50 °C under CO₂ bubbling using amphiphilic diblock copolymers of 2‐dimethylaminoethyl methacrylate (DMAEMA) and N‐isopropyl acrylamide (NIPAAm) as an emulsifier. The amphiphilicity of the hydrophobic–hydrophilic diblock copolymer at 50 °C was triggered by CO₂ bubbling in water and enabled the copolymer to serve as an emulsifier. The resulting PMMA nanoparticles were spherical, approximately 100 nm in diameter and exhibited sensitive CO₂/N₂‐responsive dispersion/aggregation in water. Using copolymers with a longer PNIPAAm block length as an emulsifier resulted in smaller particles. A higher concentration of copolymer emulsifier led to particles with a stickier surface. Given its simple preparation and reversible CO₂‐triggered amphiphilic behavior, this newly developed block copolymer emulsifier offers a highly efficient route toward the fabrication of sensitive CO₂‐stimuli responsive polymeric nanoparticle dispersions. © 2019 Wiley Periodicals, Inc. J. Polym. Sci., Part A: Polym. Chem. 2019, 57, 2149–2156     

Meshless acoustic analysis using a weakly singular Burton-Miller boundary integral formulation

The Burton-Miller boundary integral formulation is solved by a complex variable boundary element-free method (CVBEFM) for the boundary-only meshless analysis of acoustic problems with arbitrary wavenumbers. To regularize both strongly singular and hypersingular integrals and to avoid the computation of the solid angle and its normal derivative, a weakly singular Burton-Miller formulation is derived by considering the normal derivative of the solid angle and adopting the singularity subtraction procedures. To facilitate the implementation of the CVBEFM and the approximation of gradients of the boundary variables, a stabilized complex variable moving least-square approximation is selected in the meshless discretization procedure. The results show the accuracy and efficiency of the present CVBEFM and reveal that the method can produce satisfactory results for all wavenumbers, even for extremely large wavenumbers such as k = 10 000.