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.     

单晶硅晶格间距的测量技术进展及应用

单晶硅晶格间距是许多重要物理常数测量的基础。本文介绍了硅晶格间距测量技术的发展历程,包括X射线干涉仪直接测量和晶格比较仪间接测量两种方法,以及影响测量结果不确定度的关键因素。得益于晶格间距测量的进展,在纳米尺度,硅晶格间距被国际计量局(BIPM)批准成为新的米定义复现形式。最后介绍了硅晶格在计量学中的应用,以及基于硅晶格实现纳米几何量测量的溯源体系的研究趋势。     

Finite-time stabilization with extended dissipativity via a mixed control strategy for MJSs with hierarchical sensor failures

Nonlinear Dynamics - Based on a mixed control strategy, this study addresses the finite-time stabilization with extended dissipativity for Markov jump systems (MJSs) with unreliable...     

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...     

Uniform local well-posedness and inviscid limit for the Benjamin-Ono-Burgers equation

In this paper, we study the Cauchy problem for the Benjamin-Ono-Burgers equation \({\partial _t}u - \epsilon \partial _x^2u + {\cal H}\partial _x^2u + u{u_x} = 0\), where \({\cal H}\) denotes the Hilbert transform operator. We obtain that it is uniformly locally well-posed for small data in the refined Sobolev space \({\tilde H^\sigma }(\mathbb{R})\,\,(\sigma \geqslant 0)\), which is a subspace of L²(ℝ). It is worth noting that the low-frequency part of \({\tilde H^\sigma }(\mathbb{R})\) is scaling critical, and thus the small data is necessary. The high-frequency part of \({\tilde H^\sigma }(\mathbb{R})\) is equal to the Sobolev space H^σ (ℝ) (σ ⩾ 0) and reduces to L²(ℝ). Furthermore, we also obtain its inviscid limit behavior in \({\tilde H^\sigma }(\mathbb{R})\) (σ ⩾ 0).

     

Investigations in the recrystallization of evolved gases from pyrolysis process of melamine

Journal of Thermal Analysis and Calorimetry - A complete analysis of the thermal process about melamine was presented, in which different methods were applied to determine the characteristic of the...     

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.     

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...     

蛋白质-多糖复合体系在活性物质传递中的应用

蛋白质-多糖复合体系作为生物活性物质传递系统的壁材,有着人工合成聚合物或无机物等其他材料不可比拟的多重优势。本文就蛋白质和多糖之间的连接方式及蛋白质-多糖复合体系形成传递系统的多种形式进行了综述,以及对此领域的发展趋势进行了展望。结合蛋白质和多糖的结构特点,二者之间的链接方式分为非共价结合的物理共聚,和共价结合的美拉德偶联、化学交联、酶催化交联等方式,文中分别对各种连接方式的原理和机理,以及其影响因素做了深入阐述。以蛋白质-多糖复合体系为壁材对活性物质的传递形式大体上分成乳化系统、胶束、纳米凝胶、分子复合物以及壳核结构等系统。不同的活性物质的特征和传递需求,可针对性地选择合适结构的蛋白质和多糖种类以及二者的连接方式和传递系统的形式。并且,随着研究的逐步发展和推进,此领域的发展趋势朝着智能化和靶向性的方向进行。目前活性物质的蛋白质-多糖复合体系的传递系统,还依然面临着系统设计、评价和应用等多方面的挑战,这就要求我们在更全面更深入了解认识其对活性物质影响和功效的基础上,安全合理地设计和深入细致地评价活性成分的传递系统。     

Photodegradation mechanisms of acyclovir in water and the toxicity of photoproducts

Journal of Radioanalytical and Nuclear Chemistry - In the present work the final products of coumarin radiation chemical transformation are investigated by chromatography. During radiolysis of...