CONSTRUCTIVE KISSING NUMBERS IN HIGH-DIMENSIONAL SPACES

In the present paper, we focus on constructive spherical codes. By employing algebraic geometry codes, we give an explicit construction of spherical code sequences. By making use of the idea involved in the proof of the Gilbert-Varshamov bound in coding theory, we construct a spherical code sequence in exponential time which meets the best-known asymptotic bound by Shamsiev and Wyner.     

基于异步动态的多机器人系统的一致性

研究通过无线网络进行通信的多机器人系统的一致性问题。多机器人系统在固定通信拓扑下可建模为特定的网络控制系统,考虑信道噪声、不确定短时延和数据包丢失等因素的影响时,其可进一步视作由丢包率约束的异步动态系统。通过构造李雅普诺夫(Lyapunov)函数,运用线性矩阵不等式(linear matrix inequality, LMI)方法,得到了该系统指数稳定的充分条件。为实现多机器人系统的运动一致性,设计了控制器;讨论了不同的指数收敛率对多机器人系统收敛速度的影响,并进行了相应的理论证明和仿真验证。     

Discovering non-terminating inputs for multi-path polynomial programs

This paper investigates the termination problems of multi-path polynomial programs （MPPs） with equational loop guards. To establish sufficient conditions for termination and nontermination simultaneously, the authors propose the notion of strong/weak non-termination which under/over- approximates non-termination. Based on polynomial ideal theory, the authors show that the set of all strong non-terminating inputs （SNTI） and weak non-terminating inputs （WNTI） both correspond to tile real varieties of certain polynomial ideals. Furthermore, the authors prove that the variety of SNTI is computable, and under some sufficient conditions the variety of WNTI is also computable. Then by checking the computed SNTI and WNTI varieties in parallel, termination properties of a consid- ered MPP can be asserted. As a consequence, the authors establish a new framework for termination analysis of MPPs.     

Polynomial-rooting based fourth-order MUSIC for direction-of-arrival estimation of noncircular signals

A polynomial-rooting based fourth-order cumulant algorithm is presented for direction-of-arrival（DOA） estimation of second-order fully noncircular source signals, using a uniform linear array（ULA）. This algorithm inherits all merits of its spectralsearching counterpart except for the applicability to arbitrary array geometry, while reducing considerably the computation cost.Simulation results show that the proposed algorithm outperforms the previously developed closed-form second-order noncircular ESPRIT method, in terms of processing capacity and DOA estimation accuracy, especially in the presence of spatially colored noise.     

黄粉虫对血清总胆固醇及甘油二酯的作用

利用黄粉虫的幼虫含较多亚油酸成分，喂正常迪卡公鸡，并对它的血清总胆固醇及甘油三酯的作用进行研究．试验动物随机分成３组，Ｉ组为对照组，Ⅱ组为黄粉虫幼虫组，６ｇ／ｄ，Ⅲ组为复方亚油酸乙酯丸组，１丸（含亚油酸乙酯３００ｍｇ）／ｄ，实验期１８ｄ．结果表明，血清总胆固醇，Ⅱ组为（２．７３±０．２６）ｍｍｏｌ／Ｌ，Ⅲ组为（２．８３±０．３１）ｍｍｏｌ／Ｌ，均明显低于对照组（３．４０±０．６）ｍｍｏｌ／Ｌ，Ｐ＜０．０１）．血清甘油三酯，Ⅱ组为（０．４０±０．１３）ｍｍｏｌ／Ｌ，Ⅲ组为（０．３６±０．１１）ｍｍｏｌ／Ｌ，均明显低于对照组（（０．９±０．３）ｍｍｏｌ／Ｌ，Ｐ＜０．０１）．试验说明用黄粉虫的幼虫喂迪卡公鸡有显著降低血清总胆固醇和甘油三酯作用．     

基于区域形状的静脉图像特征提取与匹配

为了准确地对人的身份进行识别,提出了一种基于区域形状的静脉图像特征提取与匹配算法.静脉图像经预处理后得到二值图像,该算法首先对二值图像进行细化处理,得到了静脉的骨架信息;然后,标注4连通区域并寻找到与连通区域相连接的端点与交叉点;再利用最小距离法将连通区域的边缘逼近成若干条线段,将线段角度作为特征;最后,利用改进的最长公共子序列算法,进行了局部区域匹配,并利用改进的豪斯多夫距离算法进行整幅图像的匹配.实验表明,该算法获得的图像特征具有较高的区分度,识别效果受采集静脉图像中信息缺失的影响较小,正确识别率可达到96%以上.     

液压弯辊控制系统的建模及辨识

通过分析液压弯辊控制系统的结构,给出了系统各个环节的传递函数,建立了液压弯辊控制系统的传递函数．针对理论模型中参数难以确定的问题,以某四辊冷轧机为对象设计了系统辨识方案,采用自回归历遍（autoregressiveexogenous,ARx）模型辨识出液压弯辊控制系统模型．辨识的输入和输出数据分别为弯辊闭环系统的弯辊油压给定值和弯辊油压实际值,模型参数估计采用最小二乘法．通过残差分析检验了模型的有效性,结果表明：辨识模型的输出响应能很好地反映实际系统的动态输出特性,并具有较高的精度,证明ARX辨识算法对于弯辊系统的辨识是可行的。     

鸟类起源研究取得重大进展

鸟类起源于兽脚类恐龙的假说得到了广泛承认,但鸟类起源研究方向依然存在许多薄弱环节,主要包括鸟类手指同源问题、兽脚类分异时间框架问题以及羽毛起源和早期演化的一些问题。我们近年来在这些问题上取得了一系列重要进展。化石资料显示,兽脚类恐龙在向鸟类进化当中,其外侧两指退化;而现代发育学证据表明,鸟类手指是两侧退化,保留了中间3指。我们通过研究新疆侏罗系地层中发现的泥潭龙,提出了一种外侧和两侧退化模式结合的新假说。该假说可以解释古生物学与发育学资料之间的矛盾。我们报道的一件产自辽宁中上侏罗统髫髻山组的近鸟龙化石,代表了早于始祖鸟的带羽毛的物种,我们提出了包括鸟类在内的主要兽脚类恐龙类群出现于中侏罗世的一个快速演化事件,解决了有关鸟类兽脚类恐龙起源假说的时间悖论问题。我们报道了在北票龙化石中发现的一种新的原始羽毛类型,给出了发育学解释,推测羽毛起源的时间可能在三叠纪中期,对于羽毛起源和早期演化研究具有重要意义。     

正交约束PARAFAC的DS-CDMA盲接收机

根据平行因子(PABAFAC)模型,研究多用户DS-CDMA系统的盲检测算法.利用DS-CDMA系统中扩频码正交或近似正交的性质,提出了一种基于正交约束PARAFAC(OC-PARAFAC)的DS-CDMA盲接收机,给出了正交约束情况下三线性分解的克拉美-罗界的解析表达式.实验表明正交约束三线性最小二乘(OCTALS)算法在处理DS-CDMA信号时比传统的TALS算法具有更低的克拉美-罗界.与传统的PARAFAC接收机相比,OC-PARAFAC接收机改善了误码率性能,具有更快的收敛速度.     

基于提升小波变换的图像可听化方法

传统的图像可听化方法多是在空间域选择映射特征,且声音编码维度比较单一,使得盲人学习和使用这种声音的难度较大.针对这一问题,提出了一种基于变换域的图像可听化方法,即对图像小波变换低频系数进行映射,使用频率和音长进行声音编码,将图像表示为电子音乐.实验表明,盲人对这种方法表示的图像具有较高的识别率,并且声音的听感优美,长时...