唐代试律诗诗题用典与唐代祥瑞尚奇文化

唐代试律诗诗题对有关祥瑞及灵异之类典故的大量选用,不但体现了唐代统治者借祥瑞文化维护自身统治的治国策略,也表明了尚奇之风在唐代的盛行。     

What is the form of muscimol from fly agaric mushroom (Amanita muscaria) in water? An insight from NMR experiment supported by molecular modeling

The biologically active alkaloid muscimol is present in fly agaric mushroom (Amanita muscaria), and its structure and action is related to human neurotransmitter _γ-aminobutyric acid (GABA). The current study reports on determination of muscimol form present in water solution using multinuclear ¹H and ¹³C nuclear magnetic resonance (NMR) experiments supported by density functional theory molecular modeling. The structures of three forms of free muscimol molecule both in the gas phase and in the presence of water solvent, modeled by polarized continuous model, and nuclear magnetic isotropic shieldings, the corresponding chemical shifts, and indirect spin–spin coupling constants were calculated. Several J-couplings observed in proton and carbon NMR spectra, not available before, are reported. The obtained experimental spectra, supported by theoretical calculations, favor the zwitterion form of muscimol in water. This structure differs from NH isomer, previously determined in dimethyl sulfoxide (DMSO) solution. In addition, positions of signals C3 and C5 are reversed in both solvents.     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

Sobolev Stability of Plane Wave Solutions to the Nonlinear Schrödinger Equation

This article explores the questions of long time orbital stability in high order Sobolev norms of plane wave solutions to the NLSE in the defocusing case.     

Semilinear wave models with friction and viscoelastic damping

In this paper, we study the global (in time) existence of small data solutions to the Cauchy problem for the semilinear wave equation with friction, viscoelastic damping, and a power nonlinearity. We are interested in the connection between regularity assumptions for the data and the admissible range of exponents p in the power nonlinearity.     

共产主义实现过程的数学刻画

指出了极限蕴含着理想与现实的统一,以此刻画了共产主义的实现过程——人类社会可以无限地趋近共产主义.把人类社会视为一个系统,提出了它的两条基本公理.借助于公理法,利用逻辑推理论证了劳动将逐渐成为人们的第一需要、劳动创造财富、人类的思想觉悟可以逐渐达到共产主义人生观等重要结论.     

基于课外学习的高职学生英语应用能力实证研究

以建构主义教学观为视角，研究课外学习对提高学生英语语言应用能力的有效性。实验结果表明，课外学习是构建英语语言学习环境的有效手段，对高职英语课堂教学有很大的促进作用，对提高学生的英语语言应用能力有明显作用。