自全国各地100多位理事Road Machinery Branch of China Highway and Transportation Society He

In this paper, a three dimensional ratio-dependent chemostat model with periodically pulsed input is considered. By using the discrete dynamical system determined by the stroboscopic map and Floquet theorem, an exact periodic solution with positive concentrations of substrate and predator in the absence of prey is obtained. When β is less than some critical value the boundary periodic solution (xs(t), 0, zs(t)) is locally stable, and when β is larger than the critical value there are periodic oscillations in substrate, prey and predator. Increasing the impulsive period τ, the system undergoes a series of period-doubling bifurcation leading to chaos, which implies that the dynamical behaviors of the periodically pulsed ratio-dependent predator-prey ecosystem are very complex.     

高酸位多级孔超稳Y型沸石的制备及催化性能

以表面活性剂十六烷基三甲基溴化铵(CTABr)为模板剂,在水热体系对水蒸气处理后的超稳Y型(USY)沸石进行晶化处理,获得高酸量和高水热稳定性的USY-c-w样品。利用X射线衍射、扫描电子显微镜、透射电子显微镜、固态核磁共振、N₂吸附-脱附、NH₃-程序升温脱附、傅里叶变换红外光谱及吡啶红外对所制备催化剂的物化性质进行详细表征。选用1,3,5-三异丙苯(TIPB)催化裂化作为探针反应,研究制备的催化剂的催化性能,并与工业USY沸石进行对比。结果表明,再次水热晶化后,样品的硅铝骨架局部重构,非骨架铝重新进入沸石骨架,合成样品的硅铝比(n_Si/n_Al)由10降至3.0;再晶化后的USY沸石,不仅具有丰富的介孔结构,并且具有更多的弱酸和中强酸位点。在TIPB裂解反应中,再晶化后的USY沸石表现出比原样品更优异的催化性能。     

平均非扩张映射的公共不动点性质

研究了平均非扩张型映射T:‖Tx-Ty‖≤a‖x-y‖+b‖x-Tx‖+c‖x-Ty‖,(x,y∈K,a,b,c≥0,a+b+c≤1)的公共不动点的存在性和唯一性.得到平均非扩张型映射T1和T2满足T1T2=T2T1,则T1T2存在唯一的不动点,并且T1和T2存在唯一的公共不动点.本文结果是近期相关文献结果的推广.     

一类具无穷时滞中立型积分微分方程周期解

考虑如下周期系统x′(t)=A(t)x(t)+t∫-∞C(t,s)x(s)ds+t∫-∞D(t,s)x′(s)ds+b(t)的周期解存在性与稳定性问题,给出其周期解存在的充分条件.     

ANiN(A=Li,Na,Mg,Ca)的结构、热力学、弹性和电子性质的第一性原理研究

三元过渡金属氮化物ANiN(A=Li,Na,Mg,Ca)是潜在的可充放电池的电极材料.物理性质,比如热稳定性、电子能隙以及弹性稳定性等,对于这些材料的电池应用都是非常重要的.本文使用第一原理方法,对比研究了 ANiN这些材料的结构、动力学、弹性和电子结构性质.对状态方程和声子谱的计算被用来确定体系的稳定结构.对最稳定结...     

太阳能溴化锂吸收式制冷循环的改进

由于单效溴化锂吸收制冷循环受太阳能热源温度较低的限制,需要采用适当的辅助手段.本文对增压辅助型太阳能溴冷机循环流程提出了在冷凝器前加装隔离阀的改进方案,该方案可降低发生压力,以充分利用低温热源,并可有效回收压缩功.通过计算分析了改进循环的热力系数COP与热源温度和循环溶液质量分数差的关系.给出了在不同的热源温度下对应的最佳发生压力的调整范围.     

Numerical Approximation and Error Analysis for the Timoshenko Beam Equations with Boundary Feedback

In this paper,the numerical approximation of a Timoshenko beam with bound- ary feedback is considered.We derived a linearized three-level difference scheme on uniform meshes by the method of reduction of order for a Timoshenko beam with boundary feedback.It is proved that the scheme is uniquely solvable,unconditionally stable and second order convergent in L_∞norm by using the discrete energy method. A numerical example is presented to verify the theoretical results.     

Thermally induced structural transformation of polytriazoleimide to polyindoleimide

A new kind of polytriazoleimide containing bisphenyl-l,2,3-triazole（BPT） was synthesized by copper-catalyzed 1,3-dipolar cycloaddition of azides and alkynes（CuAAC） and polycondensation.The thermal stability and degradation mechanism of the polytriazoleimide were investigated.The results show that the structure of BPT in polytriazoleimide transforms to phenylindole after thermal treatment,accompanying the release of N₂.     

Stability analysis and classification of Runge–Kutta methods for index 1 stochastic differential-algebraic equations with scalar noise

The problem of solving stochastic differential-algebraic equations (SDAEs) of index 1 with a scalar driving Wiener process is considered. Recently, the authors have proposed a class of stiffly accurate stochastic Runge–Kutta (SRK) methods that do not involve any pseudo-inverses or projectors for the numerical solution of the problem. Based on this class of approximation methods, classifications for the coefficients of stiffly accurate SRK methods attaining strong order 0.5 as well as strong order 1.0 are calculated. Further, the mean-square stability of the considered class of SRK methods is analyzed. As the main result, families of A-stable efficient order 0.5 and 1.0 stiffly accurate SRK methods with a minimal number of stages for SDEs as well as for SDAEs are presented.     

Topological structure preserving numerical simulations of dynamical models

This paper brings together two methods producing numerical solutions with a statement of their quality — the nonstandard finite difference method and the method of validated computing. It deals with the construction and the analysis of reliable numerical discretizations of dynamical systems by employing these two techniques. An epidemiological model is used as a model example for their combined application.