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.     

Aryl Boronic Acid Catalysed Dehydrative Substitution of Benzylic Alcohols for C−O Bond Formation

A combination of pentafluorophenylboronic acid and oxalic acid catalyses the dehydrative substitution of benzylic alcohols with a second alcohol to form new C−O bonds. This method has been applied to the intermolecular substitution of benzylic alcohols to form symmetrical ethers, intramolecular cyclisations of diols to form aryl-substituted tetrahydrofuran and tetrahydropyran derivatives, and intermolecular crossed-etherification reactions between two different alcohols. Mechanistic control experiments have identified a potential catalytic intermediate formed between the aryl boronic acid and oxalic acid.     

Dimeric Manganese-Catalyzed Hydroarylation and Hydroalkenylation of Unsaturated Amides

An unprecedented Mn(I)-catalyzed selective hydroarylation and hydroalkenylation of unsaturated amides with commercially available organic boronic acids is reported. Alkenyl boronic acids have been successfully employed for the first time in Mn(I)-catalyzed carbon–carbon bond formation. A wide array of β-alkenylated amide products can be obtained in moderate to good yields, which offers practical access to five- and six-membered lactams. This protocol has predictable regio- and chemoselectivity, excellent functional group compatibility and ease of operation in air, representing a significant step-forward towards manganese-catalyzed C−C coupling.     

Rank 2 Ample Vector Bundles on Some Smooth Rational Surfaces

Several classification results for ample vector bundles of rank 2 on Hirzebruch surfaces, and on Del Pezzo surfaces, are obtained. In particular, we classify rank 2 ample vector bundles with _c2 less than seven on Hirzebruch surfaces, and with _c2 less than four on Del Pezzo surfaces.     

Clifford分析中无界域上正则函数的边值问题

在引入修正Cauchy核的基础上,讨论了无界域上正则函数的带共轭值的边值问题：a(t)Φ (t) b(t)Φ (t) c(t)Φ-(t) d(t)Φ=g(t)．首先给出了无界域上正则函数的Plemelj公式,然后利用积分方程方法和压缩不动点原理证明了问题解的存在唯一性．     

具有某种断面的半群的研究进展

本文综述了几类具有特殊断面的半群的近期研究结果。在介绍逆半群和正则半群的一般结构之后，概述了具有逆断面的正则半群的结构和同余格的研究成果。总结了作为逆断面的推广的可裂断面，纯正断面，正则^*－断面和恰当断面。提出了可以进一步研究的重要的问题。     

Calibrating software reliability models when the test environment does not match the user environment

Software failures have become the major factor that brings the system down or causes a degradation in the quality of service. For many applications, estimating the software failure rate from a user's perspective helps the development team evaluate the reliability of the software and determine the release time properly. Traditionally, software reliability growth models are applied to system test data with the hope of estimating the software failure rate in the field. Given the aggressive nature by which the software is exercised during system test, as well as unavoidable differences between the test environment and the field environment, the resulting estimate of the failure rate will not typically reflect the user‐perceived failure rate in the field. The goal of this work is to quantify the mismatch between the system test environment and the field environment. A calibration factor is proposed to map the failure rate estimated from the system test data to the failure rate that will be observed in the field. Non‐homogeneous Poisson process models are utilized to estimate the software failure rate in both the system test phase and the field. For projects that have only system test data, use of the calibration factor provides an estimate of the field failure rate that would otherwise be unavailable. For projects that have both system test data and previous field data, the calibration factor can be explicitly evaluated and used to estimate the field failure rate of future releases as their system test data becomes available. Copyright © 2002 John Wiley & Sons, Ltd.     

Banach空间中渐近正则半群的不动点定理

设X是p一致凸Banach空间,具有弱一致正规结构与非严格的Opial性质.又设C是X的非空凸弱紧子集.在适当的条件下,证明了C上每个渐近正则半群T={T(t):t∈S}都有不动点进一步,在类似的条件下,也讨论了一致凸Banach空间中渐近正则半群的不动点的存在性.