区间代数与区间段代数在定性时态推理中的联合运用

详细讨论了从Allen代数演化为INDU代数的思路和INDU代数的几何表示.研究指出,INDU是Allen代数中原子关系的细分和可采纳域的细化,对于路径一致性计算它是比Allen更为准确的方法;但是在约束网络推理计算中由于INDU的合成运算表过于庞大,仍可使用Allen代数合成运算表.将Allen代数与INDU代数结合使用是时态约束网络定性推理的较好方法.     

人体三维运动影像解析环节角的概念与计算方法

人体三维运动是由身体环节绕环节质心转动组成的,因此人体环节转动角度的概念和计算显得十分重要。本研究定义了‘环节角’的概念并采用三维摄影解析得到的人体测量点坐标对全身各个环节给出了全面严格的计算环节角和环节绝对角速度的方法。应用FORTRAN77和Visual C＋＋6.0语言开发编制了该方法的计算软件,应用该软件在体操跳马侧手翻直体侧空翻转体990°躯干动作进行了测定,真实清楚地给出了躯干三维瞬时转动数据,该计算方法从根本上解决了三维摄影解析中计算人体各环节多轴转动的问题。     

抛物型方程的一族高精度恒稳格式

对二阶抛物型方程ｕｔ＝ｕｘｘ,构造了一族新的三层隐式差分格式（在特殊情况下是两层）,它们含有非负参数ａ１,ａ２和ａ３,其截断误差至少可达Ｏ（△ｔ）＾２＋（△ｘ）＾４）,对三层格式,在条件ａ１≥ａ２≥０,ａ２≤１／２及ａ１＋ａ２＋ａ３＝１之下绝对稳定,特别地,在条件ａ１＝０,ａ２＝ａ３或ａ１＝ａ２,ａ３＝０之下成为两层不含参数的隐式格式,且也是绝对稳定的。这些格式均可用追赶法求解,在该格式中,选取适     

一类具有时滞的不确定控制系统的绝对稳定性

用Lyapunov泛函法研究了一类具有时滞的不确定控制系统的绝对稳定性问题,给出了系统鲁棒绝对稳定的时滞相关准则．与现有的结果相比,研究所得结果具有较小的保守性．     

江西吉水话的“里”探微

江西吉水话的“里”不同于普通话的用法 :它可充当时态助词、语气助词 ,可作词缀或构成某些重叠式 ,并可与“花”组成“花里” ,与“来”组成“来里” ,表达特定意味     

具有不同时滞反馈项的Lurie系统的绝对稳定性

讨论了一类直接控制系统的稳定性问题 ,利用Lyapunov泛函方法得到了具有不同时滞反馈控制项的Lurie型直接控制系统绝对稳定的充分条件。     

任意项无穷乘积的敛散性

依据无穷乘积与级数的关系以及有关级数理论,对任意项无穷乘积的敛散性包括绝对收敛、条件收敛进行讨论,并给出了几种敛散性判别法．     

完全右F-纯幺半群

本文引入了绝对F-纯S -系的概念 ,将完全右内射幺半群推广到完全右F-纯幺半群 ,讨论了绝对F-纯S-系的性质 ,得到了完全右F -纯幺半群的“理想 -同余”刻划 .     

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

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

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

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