离散型二维竞争系统中某群体消亡的条件

研究了离散型二维竞争系统的渐近稳定性,得到了这类竞争系统中各类平衡点的坐标及其性质,获得了系统在边界上的平衡点处渐近稳定的一系列充分条件.这些条件等价于该系统中的某个群体在竞争过程中消亡或被淘汰的相应条件.     

Experimental and numerical analysis of cylindrical turbulators in a double pipe heat exchanger under turbulent flow conditions

In the present work, the use of cylindrical turbulators in a double pipe heat exchanger has been investigated. Cylindrical fin type of turbulators has been placed circumferentially separated by 90° on the outer side of an inner pipe at a regular pitch. Experimental studies were undertaken for different air flow rates in a turbulent regime whose Reynolds number range between 2500 and 10000. Heat transfer characteristics like Nu and friction factor have been experimentally determined. Parametric studies were conducted by changing the pitch and also the orientation of the turbulators. Nu and friction factor were found to increase as the pitch is reduced. A model with alternatively changed orientation outperformed others by exhibiting highest Nu and reduced friction factor.     

Validated Stability-Indicating GC-MS Method for Characterization of Forced Degradation Products of Trans-Caffeic Acid and Trans-Ferulic Acid

When dealing with simple phenols such as caffeic acid (CA) and ferulic acid (FA), found in a variety of plants, it is very important to have control over the most important factors that accelerate their degradation reactions. This is the first report in which the stabilities of these two compounds have been systematically tested by exposure to various different factors. Forced degradation studies were performed on pure standards (trans-CA and trans-FA), dissolved in different solvents and exposed to different oxidative, photolytic and thermal stress conditions. Additionally, a rapid, sensitive, and selective stability-indicating gas chromatographic-mass spectrometric method was developed and validated for determination of trans-CA and trans-FA in the presence of their degradation products. Cis-CA and cis-FA were confirmed as the only degradation products in all the experiments performed. All the compounds were perfectly separated by gas chromatography (GC) and identified using mass spectrometry (MS), a method that additionally elucidated their structures. In general, more protic solvents, higher temperatures, UV radiation and longer storage times led to more significant degradation (isomerization) of both trans-isomers. The most progressive isomerization of both compounds (up to 43%) was observed when the polar solutions were exposed to daylight at room temperature for 1 month. The method was validated for linearity, precision as repeatability, limit of detection (LOD) and limit of quantitation (LOQ). The method was confirmed as linear over tested concentration ranges from 1−100 mg L⁻¹ (r²s were above 0.999). The LOD and LOQ for trans-FA were 0.15 mg L⁻¹ and 0.50 mg L⁻¹, respectively. The LOD and LOQ for trans-CA were 0.23 mg L⁻¹ and 0.77 mg L⁻¹, respectively.     

A self-penetrating and chemically stable zinc (ii)-organic framework as multi-responsive chemo-sensor to detect pesticide and antibiotics in water

Guided by the self-penetrating features can improve the stability of metal organic frameworks (MOFs), an unprecedented 3D self-penetrated framework, {[Zn (tptc)_0.5(bimb)]·H₂O}_n ( NUC-6 , here NUC corresponding to North University of China), with 3D (4,4)-c {8⁶} net, was designed. Benefit from the high chemical stability and excellent luminescent property, NUC-6 can be act as an efficient multi-response chemo-sensor in detecting dichloronitroaniline pesticide and nitrofuran antibiotics in water with the detection limits are 116 ppb for DCN pesticide, 16 ppb for NFT antibiotic, and 12 ppb for NTZ antibiotic. Besides, the mechanisms of luminescence quenching were revealed from the viewpoint of internal filter effect (IFE) and photo-induced electron transfer (PET), implied by the optical spectroscopy and quantum chemical calculation. This work provides a promising strategy to design stable MOFs by improving the self-penetrating features and to expand their practical applications in the detection of organic pollutants in aqueous medium.     

Finite‐size corrections at the hard edge for the Laguerre β ensemble

A fundamental question in random matrix theory is to quantify the optimal rate of convergence to universal laws. We take up this problem for the Laguerre β ensemble, characterized by the Dyson parameter β, and the Laguerre weight , in the hard edge limit. The latter relates to the eigenvalues in the vicinity of the origin in the scaled variable . Previous work has established the corresponding functional form of various statistical quantities—for example, the distribution of the smallest eigenvalue, provided that . We show, using the theory of multidimensional hypergeometric functions based on Jack polynomials, that with the modified hard edge scaling , the rate of convergence to the limiting distribution is , which is optimal. In the case , general the explicit functional form of the distribution of the smallest eigenvalue at this order can be computed, as it can for and general . An iterative scheme is presented to numerically approximate the functional form for general .     

Two-dimensional vortex sheets for the nonisentropic Euler equations: Nonlinear stability

We show the short-time existence and nonlinear stability of vortex sheets for the nonisentropic compressible Euler equations in two spatial dimensions, based on the weakly linear stability result of Morando and Trebeschi (2008) [20]. The missing normal derivatives are compensated through the equations of the linearized vorticity and entropy when deriving higher-order energy estimates. The proof of the resolution for this nonlinear problem follows from certain a priori tame estimates on the effective linear problem in the usual Sobolev spaces and a suitable Nash–Moser iteration scheme.     

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

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

数控仿真中切削面计算的并行化研究

针对高离散精度模型与刀具包围体进行切削计算的情况,由于三维图像重建的计算量大,基于传统CPU实现的数控加工仿真系统不能满足实时性的三维绘制。本文利用GPU的并行性特点,提出并行方式数控仿真切削面显示算法:通过线程并行处理基于MC算法的实体构造模型中体素与刀具包围体的切削计算,根据切削后体素角点信息和边的状态查找建立的构型索引表和交点数目索引表,加速数控仿真切削面的提取,从而提高三维图像的绘制速度,满足实时性显示要求。     

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.