The Picone identity: A device to get optimal uniqueness results and global dynamics in Population Dynamics

This paper infers from a generalized Picone identity the uniqueness of the stable positive solution for a class of semilinear equations of superlinear indefinite type, as well as the uniqueness and global attractivity of the coexistence state in two generalized diffusive prototypes of the symbiotic and competing species models of Lotka–Volterra. The optimality of these uniqueness theorems reveals the tremendous strength of the Picone identity.     

国外图书馆科研支持服务研究

介绍了图书馆科研支持服务的背景,分析了国外图书馆科研支持服务的种类,举例说明了国外图书馆科研支持服务的具体实践.     

从三个角度考察柯西不等式

柯西不等式是高等数学中的重要不等式,它在解析几何、数学分析与高等代数这3门数学专业主干基础课程中均有渗透.从这3门课程的角度,分别给出柯西不等式的不同形式和证明过程,并简要地阐述它们的联系,最后做出小结.     

Theoretical Design of Biodegradable Phthalic Acid Ester Derivatives in Marine and Freshwater Environments

The biodegradability of phtalic acid esters in marine and freshwater environments was characterized by their binding free energy with corresponding degrading enzymes. According to comprehensive biodegradation effects weights, the binding free energy values were converted into dimensionless efficacy coefficient using ratio normalization method. Then, considering comprehensive dual biodegradation effects value and the structural parameters of PAEs in both marine and freshwater environments, a 3D-QSAR pharmacophore model was constructed, five PAE derivatives (DBP−COOH, DBP−CHO, DBP−OH, DINP−NH₂, and DINP−NO₂) were screened out based on their environmental friendliness, functionality and stability. The prediction of biodegradation effects on five PAE derivatives by biodegradation models in marine and freshwater environment increased by 15.90 %, 15.84 %, 27.21 %, 12.33 %, and 8.32 %, and 21.57 %, 15.21 %, 20.99 %, 15.10 %, and 9.74 %, respectively. By simulating the photodegradation path of the PAE derivative molecular, it was found that DBP−OH can generate ^.OH and provides free radicals for the photodegradation of microplastics in the environment.     

公理化局部有限空间中映射连续性的扩展

用公理化方法研究了局部有限空间中的连续映射及其扩张问题。给出了局部有限空间的公理化定义方法;利用邻近关系研究了局部有限空间中的连续映射、同胚和局部同胚等问题;通过对局部有限空间变形的研究,定义了局部有限空间的一种特殊收缩核,有效地解决了局部有限空间中连续映射的扩张问题。     

高校图书馆服务与MOOC融合发展研究

介绍了MOOC的基本概念及其发展情况，探讨了MOOC时代高校图书馆的角色定位，分析了MOOC时代高校图书馆的独特优势，指出高校图书馆只有与MOOC融合发展，才能适应信息化社会的需要。     

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

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