具有多重非线性的非牛顿多方渗流方程的整体存在性与非存在性

考虑了一个具有多重非线性的抛物模型中,非线性扩散项、非线性反应项和非线性边界流三种非线性机制之间的相互作用.通过构造自相似上解和自相似下解,获得了临界整体存在性曲线和临界Fujita曲线.     

微分方程解的存在区间的确定

从六个方面说明了确定一阶微分方程解的存在区间的方法.     

(+)‐(2R,3S)‐3‐Bromo‐2‐chloro‐N,N‐diiso­propyl‐3‐phenyl­propan­amide and (+)‐(2R,3S)‐3‐bromo‐2‐chloro‐N‐(4‐nitro­phenyl)‐3‐phenyl­propan­amide

The stereochemistries at positions 2 and 3 of the title compounds, C₁₅H₂₁BrClNO, (I), and C₁₅H₁₂BrClN₂O₃, (II), have been confirmed by X‐ray structural analysis. The halogen atoms adopt an antiperiplanar arrangement in each case.     

(R)-乙基-2-吡啶亚砜与(4R,5R)-TADDOL包结晶体 [C7H9NOS·C31H30O4]的晶体结构分析

（Ｒ）－乙基－２－吡啶亚砜与（４Ｒ，５Ｒ）－二（羟基－二苯基－甲基）－２，２－二甲基－１，３－二氧戊环（ＴＡＤ－ＤＯＬ）可以形成物质的量比为１∶１的手性包结晶体，Ｘ射线衍射分析确定该晶体属单钭晶系，Ｐ２１空间群，ａ＝０．９７０１（２）ｎｍ，ｂ＝０．９９５３（２）ｎｍ，ｃ＝１．７３９２（２）ｎｍ；β＝９２．０７９°（１４），Ｖ＝１．６７８１（５）ｎｍ３，Ｚ＝２，Ｄｃ＝１．２３０ｇ／ｃｍ３，分子式Ｃ３８Ｈ３９ＮＯ５Ｓ，Ｍｒ＝６２１．７６，最终偏离因子Ｒ＝０．０３５１，ＲＷ２＝０．０７７２，Ｆｌａｃｋ值为０．１（２）．结构分析表明，主客体存在分子间氢键．光学纯的ＴＡＤＤＯＬ与消旋的乙基吡啶亚砜（１）作用时，ＴＡＤＤＯＬ对１具有很好的手性识别能力，选择性地与１的一个对映体形成氢键，长成晶体．参照晶体结构确定了１的两个对映体的绝对构型     

非水溶液滴定法测定普卢利沙星的含量

以0.1mol.L-1高氯酸为滴定液,结晶紫为指示剂,用非水滴定法测定普卢利沙星。重复测定普卢利沙星含量平均值为99.4%(n=6),相对标准偏差为0.1%。该方法准确简便、重复性好,可作为普卢利沙星含量测定的有效方法。     

Preparation of vinylphenols from 2- and 4-hydroxybenzaldehydes

A straightforward, high-yielding procedure has been developed for the manufacture of substituted vinylphenols from 2- and 4-hydroxybenzaldehydes utilising classical Knoevenagel condensation reaction conditions.     

Computer Theorem Proving in Mathematics

We give an overview of issues surrounding computer-verified theorem proving in the standard pure-mathematical context. This includes the basic reasons why it should be interesting to pure mathematicians, some history, natural desiderata for a useful system, viewpoints on what kind of logic to use, a short explanation of how things work, an overview of different options for encoding sets, and perspectives on future developments.