Selective Catalytic Isomerization of β-Pinene Oxide to Perillyl Alcohol Enhanced by Protic Tetraimidazolium Nitrate

A series of tetraimidazolium salts with different anions was prepared and applied in the isomerization of β-pinene oxide. After examining the activity of different catalysts, a remarkable enhancement of the selectivity of perillyl alcohol (47 %) was obtained over [PEimi][HNO₃]₄ under mild reaction conditions and using DMSO as the solvent. Furthermore, noncovalent interactions between solvent molecules and the catalyst were found by FT-IR spectroscopy and confirmed by computational chemistry. The homogeneous catalyst showed excellent stability and was reused up to six times without significant loss.     

Polyvinylpyrrolidone and graphene-modified hematite nanoparticles for efficient electrocatalytic oxidation of p-nitrophenol

Journal of Solid State Electrochemistry - Polyvinylpyrrolidone (PVP) and graphene (G)-modified iron oxides (Fe2O3-PVP-G) are prepared by a simple hydrothermal reaction. Their morphology and...     

The dual form of Beck type identities

The Ramanujan Journal - Inspired by Andrews and Merca’s recent work on the number of even parts over all partitions into distinct parts, we introduce a new kind of Beck type identities, which...     

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.     

Additive Hermitian idempotent preservers between operator algebras

Let L be an additive map between (real or complex) matrix algebras sending $n\times n$ Hermitian idempotent matrices to $m\times m$ Hermitian idempotent matrices. We show that there are nonnegative integers $p,q$ with $n(p+q)=r\le m$ and an $m\times m$ unitary matrix U such that$L(A)=U[(I_p?A)\oplus (I_q?A^t)\oplus 0_{m?r}]U^{?},\text{for any}n\times n\text{Hermitian}A\text{with rational trace}.$ We also extend this result to the (complex) von Neumann algebra setting, and provide a supplement to the Dye-Bunce-Wright Theorem asserting that every additive map of Hermitian idempotents extends to a Jordan ?-homomorphism.     

Portfolio Selection and Risk Control for an Insurer With Uncertain Time Horizon and Partial Information in an Anticipating Environment

Methodology and Computing in Applied Probability - This paper is devoted to the study of an optimal investment and risk control problem for an insurer. The risky asset process and the insurance...     

Theoretical study of (e,2e) triple differential cross sections of pyrimidine and tetrahydrofurfuryl alcohol molecules using multi-center distorted-wave method

We report theoretical studies of electron impact triple differential cross sections of two bio-molecules,pyrimidine and tetrahydrofurfuryl alcohol,in the coplanar asymmetric kinematic conditions with the impact energy of 250 eV and ejected electron energy of 20 eV at three scattering angles of-5°,-10°,and-15°.Present multi-center distorted-wave method well describes the experimental data,which was obtained by performing(e,2e)experiment.The calculations show that the secondary electron produced by the primary impact electron is strongly influenced by the molecular ionic multi-center potential,which must be considered when the low energy electron interacts with DNA analogues.