一种非正交对称条带束流位置监测器设计

介绍了一种条带束流位置监测器(BPM)的设计与仿真方法。在国家同步辐射实验室"太赫兹近场高通量材料物性测试系统"工程项目中,针对波荡器出口处真空室非正交对称性的问题,设计了矩形真空室和跑道形真空室下的两种非正交对称性条带BPM,并与传统的圆形真空室下条带BPM进行对比。基于边界元法,利用MATLAB软件分别对三种真空室下的条带BPM进行建模和仿真。仿真结果表明:相对于传统的圆形真空室下条带BPM,矩形和跑道形真空室下条带BPM灵敏度提高了30%,阻抗匹配误差相对降低了20%,束流位置拟合误差降低了80%。考虑加工精度,矩形真空室下的条带BPM更适用于该工程。     

Contingent derivatives and regularization for noncoercive inverse problems

Abstract

We study the inverse problem of parameter identification in noncoercive variational problems that commonly appear in applied models. We examine the differentiability of the set-valued parameter-to-solution map using the first-order and the second-order contingent derivatives. We explore the inverse problem using the output least-squares and the modified output least-squares objectives. By regularizing the noncoercive variational problem, we obtain a single-valued regularized parameter-to-solution map and investigate its smoothness and boundedness. We also consider optimization problems using the output least-squares and the modified output least-squares objectives for the regularized variational problem. We give a complete convergence analysis showing that for the output least-squares and the modified output least-squares, the regularized minimization problems approximate the original optimization problems suitably. We also provide the first-order and the second-order adjoint method for the computation of the first-order and the second-order derivatives of the output least-squares objective. We provide discrete formulas for the gradient and the Hessian calculation and present numerical results.     

一类变号(k,n-k)共轭边值问题正解的存在性

通过构造一个特殊的锥,利用范数形式的锥拉伸锥压缩不动点定理,在允许非线性项变号无下界且没有任何单调性假设的条件下,得出了一类高阶(k,n-k)共轭两点边值问题方程组正解的存在性结论.     

Goos-Hänchen and Imbert-Fedorov shifts in tilted Weyl semimetals

We establish the beam models of Goos-Hänchen (GH) and Imbert-Fedorov (IF) effects in tilted Weyl semimetals (WSMs), and systematically study the influences of Weyl cone tilting and chemical potential on the GH and IF shifts at a certain photon energy 1.96 eV. It is found that the GH and IF shifts in tilted type-I and type-Ⅱ WSMs are both almost symmetric about the Weyl cone tilting. Meanwhile, the GH and IF shifts in type-I WSMs almost do not change with the tilt degree of Weyl cones, while those in type-Ⅱ WSMs are extremely dependent on tilt degree. These trends are mainly due to the nearly symmetric distribution of WSMs conductivities, where the conductivities keep stable in type-I WSMs and gradually decrease with tilt degree in type-Ⅱ WSMs. By adjusting the chemical potential, the boundary between type-I and type-Ⅱ WSMs widens, and the dependence of the beam shifts on the tilt degree can be manipulated. Furthermore, by extending the relevant discussions to a wider frequency band, the peak fluctuation of GH shifts and the decrease of IF shifts occur gradually as the frequency increases, and the performance of beam shifts at photon energy 1.96 eV is equally suitable for other photon frequencies. The above findings provide a new reference for revisiting the beam shifts in tilted WSMs and determining the types of WSMs.     

Exact separation theorem for closed sets in Asplund spaces

In this paper, in terms of the Fréchet normal cone, we establish exact separation results for finitely many disjoint closed sets in an Asplund space, which supplement the extremal principle and some fuzzy separation theorems. As an application, we provide a new optimality condition for a constraint optimization problem in terms of Fréchet subdifferential and Fréchet normal cone.     

抽象空间中非线性算子方程变号解的存在性研究

利用Banach空间中的锥理论和不动点定理讨论了非线性算子方程变号解的存在性,给出了E_u_0空间下非线性算子方程变号解至少有一个变号解、一个正解和一个负解的条件,并讨论了仅通过一个上解条件得出非线性算子方程变号解的存在性定理.     

卫星运动预测及规避的建模与求解

近年来,随着各国侦查卫星系统的不断完善,有效根据观测数据预测卫星的轨迹,同时建立适当的规避防范措施变得尤为重要·通过研究地面监测站监测的卫星数据及地理信息,提出了一种基于三维坐标系变换的卫星轨迹求解模型,具体建立模型的方法为:建立4种不同的坐标系,通过卫星坐标在4种坐标系中的变换,将地面检测站检测到的卫星数据进行处理,拟合出卫星的六个运动参数,得出卫星运动轨迹方程,并较为精准的预测卫星被观测站观测到的情况,以及任意时刻星下点的经纬度坐标.针对卫星的运动情况,为满足我方军事目标的运动需求,根据新疆地图建立军队行军路线的有向图,然后,在考虑卫星规避的情况下对每条路线进行模拟分析,最终,通过每条路线模拟分析的结果进行比对,得出最优的行军路线.     

小样本定数截尾场合下威布尔和对数正态分布的拟合检验

本文给出了小样本定数截尾场合下两参数威布尔分布和对数正态分布的拟合检验方法,该方法还适用于一般的位置-刻度参数族分布,论文还通过实际算例说明方法的可行性。     

Quadratic cone cutting surfaces for quadratic programs with on–off constraints

We study the convex hull of a set arising as a relaxation of difficult convex mixed integer quadratic programs (MIQP). We characterize the extreme points of the convex hull of the set and the extreme points of its continuous relaxation. We derive four quadratic cutting surfaces that improve the strength of the continuous relaxation. Each of the cutting surfaces is second-order-cone representable. Via a shooting experiment, we provide empirical evidence as to the importance of each inequality type in improving the relaxation. Computational results that employ the new cutting surfaces to strengthen the relaxation for MIQPs arising from portfolio optimization applications are promising.     

A complete characterization of disjunctive conic cuts for mixed integer second order cone optimization

We study the convex hull of the intersection of a disjunctive set defined by parallel hyperplanes and the feasible set of a mixed integer second order cone optimization (MISOCO) problem. We extend our prior work on disjunctive conic cuts (DCCs), which has thus far been restricted to the case in which the intersection of the hyperplanes and the feasible set is bounded. Using a similar technique, we show that one can extend our previous results to the case in which that intersection is unbounded. We provide a complete characterization in closed form of the conic inequalities required to describe the convex hull when the hyperplanes defining the disjunction are parallel.