非线性不适定问题一种双循环的牛顿型迭代格式

本文研究非线性算子方程F(x)=y的解,结合最速下降法,Newton-Landweber迭代格式及正则化思想,在F满足适当的条件下,构造出新的双循环迭代格式。本文对格式的收敛性进行了严格论证,并估计出迭代格式的收敛精度。     

Observation on meta-stability of thulium nitrate crystal by using electric measurements

Frequency dependence of ac conductivity from 1 to 10⁵ Hz and time series of the conductivity at 2 kHz were measured along c-axis of thulium nitrate crystal, Tm(NO₃)₃6H₂O at temperatures from 203.15 to 293.15 K. The meta-stability was observed. The frequency spectra of the conductivity were similar to those in disorder system. Aging effect was observed. Non-periodic instability (burst) was found. Non-linear dynamical property was characterized by 1/f noise spectrum, limit cycle in return map and dependence of correlation exponent on embedding dimension.     

2MeV注入器脉冲电子束时间分辨能谱诊断研究

 介绍了利用磁分析器和电子束产生的契伦科夫辐射光诊断直线感应加速器脉冲电子束时间分辨能谱的原理、方法及诊断系统，对中物院2MeV感应叠加型注入器的2kA强流脉冲电子束时间分辨能谱进行实验诊断，并与二极管电压进行对比分析。测得能量约2.2MeV，60ns内最大能量变化为4%。     

Hille and Nehari type criteria for third-order dynamic equations

In this paper, we extend the oscillation criteria that have been established by Hille [E. Hille, Non-oscillation theorems, Trans. Amer. Math. Soc. 64 (1948) 234-252] and Nehari [Z. Nehari, Oscillation criteria for second-order linear differential equations, Trans. Amer. Math. Soc. 85 (1957) 428-445] for second-order differential equations to third-order dynamic equations on an arbitrary time scale T, which is unbounded above. Our results are essentially new even for third-order differential and difference equations, i.e., when T=R and T=N. We consider several examples to illustrate our results.     

教学质量的时齐马尔可夫链评估法

本文研究了教学质量评估中的一种定量分析方法──时齐马尔可夫链评估法．阐明了这种方法的理论依据及其实施程序、并指出它较之其他教学质量评估法更显合理．     

Asymptotic behavior of solutions for a class of predator-prey reaction-diffusion systems with time delays

The aim of this paper is to investigate the asymptotic behavior of solutions for a class of three-species predator-prey reaction-diffusion systems with time delays under homogeneous Neumann boundary condition. Some simple and easily verifiable conditions are given to the rate constants of the reaction functions to ensure the convergence of the time-dependent solution to a constant steady-state solution. The conditions for the convergence are independent of diffusion coefficients and time delays, and the conclusions are directly applicable to the corresponding parabolic-ordinary differential system and to the corresponding system without time delays.     

The Laplace transform on time scales revisited

In this work, we reexamine the time scale Laplace transform as defined by Bohner and Peterson [M. Bohner, A. Peterson, Dynamic Equations on Time Scales: An Introduction with Applications, Birkhäuser, Boston, 2001; M. Bohner, A. Peterson, Laplace transform and Z-transform: Unification and extension, Methods Appl. Anal. 9 (1) (2002) 155-162]. In particular, we give conditions on the class of functions which have a transform, develop an inversion formula for the transform, and further, we provide a convolution for the transform. The notion of convolution leads to considering its algebraic structure—in particular the existence of an identity element—motivating the development of the Dirac delta functional on time scales. Applications and examples of these concepts are given.     

OSCILLATION FOR NONAUTONOMOUS NEUTRAL DYNAMIC DELAY EQUATIONS ON TIME SCALES

The article is concerned with oscillation of nonautonomous neutral dynamic delay equations on time scales. Sufficient conditions are established for the existence of bounded positive solutions and for oscillation of all solutions of this equation. Some results extend known results for difference equations when the time scale is the set Z of positive integers and for differential equations when the time scale is the set R of real numbers.     

Practical stopping criteria for validating safety-critical software by estimating impartial reliability

In this research, we investigate stopping rules for software testing and propose two stopping rules from the aspect of software reliability testing based on the impartial reliability model. The impartial reliability difference (IRD-MP) rule considers the difference between the impartial transition-probability reliabilities estimated for both software developer and consumers at their predetermined prior information levels. The empirical–impartial reliability difference (EIRD-MP) rule suggests stopping a software test when the computed empirical transition reliability is tending to its estimated impartial transition reliability. To insure the high-standard requirement for safety-critical software, both rules take the maximum probability (MP) of untested paths into account.     

一类具有阶段结构和时滞的捕食系统的持续生存和稳定性

我们提出和研究一类带有阶段结构和时滞的捕食模型,得到了种群持续生存的充分条件.研究了阶段结构和时滞对系统稳定性的影响,获得了系统发生Hopf分支和稳定性的条件以及轨道渐进稳定的周期解的存在性.