铟离子5s21S0-5s5p3P0参考用跃迁频率的精密测量

报道了建立铟单离子(¹¹⁵In⁺)光频标实验系统的实验进展。单个离子囚禁在Paul-Straubel型离子阱中,利用激光边带冷却技术将其冷却至最低振动能态。为了探测和测量铟离子参考用跃迁5s²¹S₀-5s5p³P₀的频率,使用一台Hz量级超窄线宽激光作为探测激光,用以获得量子跳跃信号。用一台以商用铯原子钟为基准的飞秒光频梳作为测量工具,对其频率进行了20次的精密测量,相对不确定度为5.0×10^-14。     

一种免控制点的近景影像绝对定向算法

在摄影测量绝对定向算法中要确定七个绝对定向元素,因此需要布设足够多的物方控制点。当近景摄影测量不需要确定被摄对象在空间的绝对位置时,采用传统的绝对定向方法就会增加像片控制测量工作量,从而降低工作效率的问题。提出了一种无控制点的近景摄影测量绝对定向算法。该方法对有铅垂方向的被摄物体,只需现场量测被摄物体上任一沿被测对象走向线段的长度和被摄物体的走向,即可确定像对构建模型的空间相对方位。实验结果表明,该算法可达到厘米级的定向精度。     

具有时滞的脉冲型Lurie控制系统的绝对稳定性

利用李亚普诺夫函数和线性矩阵不等式方法,研究具有时滞的脉冲型Lurie控制系统的绝对稳定性,给出了系统绝对稳定的若干充分条件,这些条件与时滞无关且对脉冲的限制较宽松．有些条件要求系统矩阵A为赫尔维茨矩阵,另一些条件不要求A为赫尔维茨矩阵,这表明脉冲的存在能使系统的特性发生改变,同时也说明了具有时滞的脉冲型Lurie控制系统的动态特性比具有时滞的Lurie控制系统的动态特性更复杂．     

单目标选址问题的研究

对有关文献中关于选址问题的算法,做了概述和利弊分析．研究解决不带约束的单目标绝对值距离选址问题,建立该问题的数学模型,引入适当的变换,转化为一个线性规划模型,利用单纯形法对其进行求解,计算实例表明这种方法简单有效。     

绝对豁免主义和限制豁免主义的比较分析

针对国际法中的一项基本原则即国家豁免原则,在二战出现的两种树立的理论和实践进行了比较分析,从不同的角度具体阐述了绝对豁免主义,限制豁免主义的合理性因素及其不足之处,提出了解决绝对豁免主义和限制豁免主义分歧的办法和途径。     

Windows环境下操作系统的多任务类模拟实验的开发

探讨了如何在Windows环境下实现操作系统的多任务类模拟实验 ,并使用C++Builder实现了处理机调度和进程同步互斥两个实验     

最大速度恒定的连续Petri网(CCPN)的性质及判定方法

最大速度恒定的连续Ｐｅｔｒｉ网是由Ｄａｖｉｄ等最早提出的一类时延连续Ｐｅｔｒｉ网模型,但并未对其性质给出确切的定义及相应的判定方法。文「１」中给出了ＣＣＰＮ的演变图及其构造算法,本文在给出ＣＣＰＮ以对扬系统进行性能分析。     

吸引和排斥与生命物质运动：吸引和排斥是遗传和变异的动力

从染色体,分子,原子水平探讨了吸引和排斥与生命物质的关系。遗传和变异是生物界最基本的运动形式,它们的运动与吸引相互作用密切相关。吸引和排斥的相互作用生物大分子存在的基石,是细胞分裂,维持细胞结构和细胞内各种运动所必需的。同时,吸引排斥的作用还有基因调控,ＤＮＡ重组,突变和修复以及遗传工程中得到体现。     

超短余弦-高斯脉冲的能量分析

研究了超短余弦-高斯脉冲的能量与绝对相位以及余弦函数的参数之间的关系,给出了余弦-高斯脉冲能量的解析表达式.研究结果表明,当脉冲宽度较小时,绝对相位对脉冲能量有很大影响;余弦函数的参数Ω在一定取值范围内对脉冲能量也有很大影响,它会导致脉冲宽度大于一个光学振荡周期的几周期余弦-高斯脉冲能量有较大的变化.     

具多个执行机构的一般Lurie控制系统的鲁棒绝对稳定性

用区间矩阵分析和Lyapunov函数族方法讨论了一般区间Lurie型直接控制系统的鲁棒绝对稳定性,得到了一些绝对稳定的充分条件,推广和改进了前人的一些结果。