A Movable-Cavity Cold Atom Space Clock

We present an experimental scheme of a cold atom space clock with a movable cavity. By using a single microwave cavity, we find that the clock has a significant advantage, i.e. the longitudinal cavity phase shift is eliminated. A theoretical analysis has been carried out in terms of the relation between the atomic transition probability and the velocity of the moving cavity by taking into account the velocity distribution of cold atoms. The requirements for the microwave power and its stability for atomic π/2 excitation at different moving velocities of the cavity lead to the determination of the proper working parameters of the rubidium clock in frequency accuracy 10^-17. Finally, the mechanical stability for the scheme is analysed and the ways of solving the possible mechanical instability of the device are proposed.     

束流线性耦合效应的初步研究

在储存环的束流传输系统中,斜四极场和纵向螺线管场是引起束流线性耦合的主要原因.由于这种耦合,使得束流的幅度和发射度发生交换,引起束流横向包络的增大,严重的将造成束流损失.从Betatron运动方程出发研究了斜四极场和螺线管场存在时束流的幅度耦合效应,分析了斜四极场存在时束流发射度的变化.     

红外单站被动定位技术速度更新算法研究

针对红外单站被动定位技术中空中机动目标的运动速度不断变化这一实际情况,提出了一种基于红外相机运动特性的对目标的运动速度进行实时更新的校正算法.该算法克服了大多基于匀速直线运动这一空间模型的红外单站被动定位方案目标速度不变的缺点,客观地反映了空中机动目标的实际运动状况,不仅能对目标的运动速度进行实时准确的更新校正,而且可推演出一种新的红外单站被动定位算法,对推动红外单站被动定位技术的工程实用化进程具有重要的意义.     

不等式组与变分不等式的极大熵函数方法

利用极大熵函数方法将不等式组及变分不等式的求解问题转化为近似可微优化问题，给出了不等式组及变分不等式问题近似解的可微优化方法，得到了不等式组和变分不等式问题的解集合的示性函数．     

单件小批生产系统下模糊优化的动态随机投入产出模型

本文针对单件小批量生产系统 ,建立了模糊优化的动态随机投入产出模型 ,同时给出了该模型的递推解法 ,并用此模型对某单件小批企业在生产计划期的商品量进行了规划     

普物教学中如何讲述电磁场变换

从洛伦兹力公式和运动电荷磁场出发，导出了两惯性系间电磁场的变换关系．     

角域上的调和函数与条件Brown运动

设中的角域．该文绘出了A上正调和函数的Martin表示，讨论了极小调和函数与条件Brown运动的一个0—1律之间的关系，并给出了A上极小调和函数的表现形式，     

非线性最优化的广义梯度投影法

梯度投影法已有许多有效算法,但这些算法还存在三个问题:1)为了保证算法的收敛性,在算法的每一迭代步,需要选取δ-主动约束集,计算量较大.2)在迭代过程中,需要跟踪主动约束集.3)只能处理非线性不等式约束问题.本文讨论非线性等式与不等式约束的优化问题,给出了一个广义梯度投影法,证明了算法的收敛性并且完满地解决了上述三个问题.本文算法结构简单且其处理技巧有普遍意义.     

求解无线传感器网络路由问题的蚁群最优化算法及其收敛性

首先将无线传感器网络的路由问题转化成求解最小Steiner树问题,然后给出了求解无线传感器网络路由的蚁群优化算法,并对算法的收敛性进行了证明．最后对找到最优解后信息素值的变化进行了分析．即在限制信息素取值的条件下,当迭代次数充分大时,该算法能以任意接近于1的概率找到最优解,并且当最优解找到后,最优树边上的信息素单调增加,而最优解以外边上的信息素在有限步达到最小值．