A nullstellensatz and a positivstellensatz for ordered differential fields

We use the model completeness and axiomatisation of the theory of closed ordered differential fields to give a differential version of Dubois, Krivine and Risler's nullstellensatz and Stengle's positivstellensatz for ordered fields.     

Preliminary study of a niobium quarter-wave prototype cavity for a heavy-ion superconducting linac

Superconducting quarter-wave resonators,due to their compactness and their convenient shape for tuning and coupling,are very attractive for low-β beam acceleration.In this paper,two types of cavities with different geometry have been numerically simulated the first type with larger capacitive load in the beam line and the second type of lollipop-shape for 100 MHz,β=0.06 beams then the relative electromagnetic parameters and geometric sizes have been compared.It is found that the second type,whose structural design is optimized with the conical stem and shaping drift-tube,can support the better accelerating performance.At the end of the paper,some structural deformation effects on frequency shifts and appropriate solutions have been discussed.     

有序Banach空间中非线性二阶周期边值问题的正解

讨论了有序Banach空间E中的非线性二阶周期边值问题-u″(t)+bu′(t)+cu(t)=f(t,u(t)),0≤t ≤ ω,u(0)=u(ω),u′(0)=u′(ω)正解的存在性,其中b,c∈R且c＞0,f:[0,ω]×P→P连续,P为E中的正元锥.本文通过新的非紧性测度的估计技巧与凝聚映射的不动点指数理论,获得了该问题正解的存在性结果.     

非时齐扩散模型中时变参数的局部线性估计

本文主要研究非时齐扩散模型中时变的漂移参数和扩散参数的局部线性估计。基于非时齐扩散模型的离散观测样本,首先得到了漂移参数的局部线性估计及其标准误差。然后,考虑到扩散参数的非负性,本文利用局部对数线性拟合的方法得到了扩散参数的核函数加权估计,并讨论了扩散项估计的渐近偏差、渐近方差和渐近正态性。最后,通过模拟研究表明所得局部估计有很好的拟合效果。     

双参数 C-半群

引入单参数C-半群和双参数C0-半群,给出了更一般的双参数C-半群和无穷小生成元的定义,应用双参数半群与单参数半群的关系和双参数半群的性质,给出了双参数C-半群的阶全微分,偏微分,指数有界性,和双参数C-半群是由C、A1和A2唯一确定的闭稠定线性算子的一个充分条件.     

Cartesian Closed Categories of F Z-domains

A subset systemZassigns to each partially ordered setPa certain collectionZ(P) of subsets. In this paper, a new kind of subset systems called directable subset systems is introduced. For a directable subset system Z, the concepts of F Z-way-below relation and F Z-domain are introduced. The well-known Scott topology is naturally generalized to the Z-level and the resulting topology is calledF Z-Scott topology, and the continuous functions with respect to this topology are characterized by preserving the suprema of directed Z-sets. Then, we mainly consider a generalization of the cartesian closedness of the categories DCPO of directed complete posets, BF of bifinite domains and FS ofF Sdomains to the Z-level. Corresponding to them, it is proved that, for a suitable subset system Z, the categories FZCPO ofZ-complete posets,FSFZ of finitely separated FZ-domains andBFFZ of bifiniteF Z-domains are all cartesian closed. Some examples of these categories are given.     

激磁电感对直线变压器输出波形顶降的影响

 从理论上分析了激磁电感对直线变压器驱动源输出脉冲波形顶降的影响,使用Pspice软件对理论计算结果进行了模拟验证。理论计算和模拟分析的结果均表明：激磁电感越小,输出脉冲波形的顶降越明显。设计了50 A的偏磁电路并进行了实验,在重复频率为20 Hz时直线变压器驱动源工作稳定,输出脉冲波形前沿约35 ns,平顶约130 ns,幅值约125 kV。与未加偏磁电路的实验结果相比,顶降明显减小（小于5%）,实验结果与理论计算和模拟分析结果基本一致。     

Nonsmooth nonconvex optimization approach to clusterwise linear regression problems

Clusterwise regression consists of finding a number of regression functions each approximating a subset of the data. In this paper, a new approach for solving the clusterwise linear regression problems is proposed based on a nonsmooth nonconvex formulation. We present an algorithm for minimizing this nonsmooth nonconvex function. This algorithm incrementally divides the whole data set into groups which can be easily approximated by one linear regression function. A special procedure is introduced to generate a good starting point for solving global optimization problems at each iteration of the incremental algorithm. Such an approach allows one to find global or near global solution to the problem when the data sets are sufficiently dense. The algorithm is compared with the multistart Späth algorithm on several publicly available data sets for regression analysis.     

The trigonometric triangle

A procedure is presented by which the integration of a function such as cos ⁿ (x) or sin ⁿ (x) with n = 1, 2, 3, 4 … is facilitated.     

半导体超常媒质矩形谐振腔(英文)

设计并研究了两个有不同各向异性参数的半导体超常媒质矩形谐振腔,其中填充了部分右手半导体超常媒质和部分左手半导体超常媒质。通过作图法研究了充满非色散的右手半导体超常媒质和色散的左手半导体超常媒质的谐振腔中谐振模式的解。结果显示,谐振腔的谐振模式取决于半导体超常媒质的色散关系。讨论了每种谐振腔中包含的六种情况,分别表示两个区域的传播常数为实数和虚数的不同的组合,并且揭示了构建具有无相差特性的谐振腔的几何参数要求。