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.     

巴斯德研究所

巴斯德研究所是一家拥有120多年悠久历史的科学研究机构。在这百余年的科学征途上,它始终站在世界微生物学的前沿。     

衰老现象:生命科学的探究

正健康与长寿是人类永恒的主题。生命科学在揭示衰老机理和干预衰老进程上取得不少进展,也留下许多有待探索的课题。综合多种指标与多重途径的探讨思路,是今后取得防病抗衰老进展之关键。     

加强领导干部"八小时"外监督的思考

针对新形势下对领导干部的监督工作创造性提出了"八小时"之外的监督机制.对其监督的途径做了简单介绍.     

规范公路工程招标投标的思考及对策

随着招投标机制的引入,公路工程施工建设逐渐走向了市场.但是从近年来运行的情况来看,依然存在很多问题.本文从招投标实践出发,总结了目前公路工程招投标领域存在的一些问题,并提出了相应的改进措施和对策,对进一步规范公路工程招投标进行了积极的思考和探索.     

科学与理性

编者按:本栏摘登了由青年学者刘华杰博士主持的关于"敬畏自然"话题讨论的部分内容.这个话题,自从印度洋海啸发生之后引起了我国学术界人士的普遍关注,并在某些报刊上展开了热烈的讨论.这里刊发的是四位青年学者从文化层面对"敬畏自然相关问题"发表的意见,供读者参阅.     

IEEE802.16标准加密子层认证机制的研究

介绍了IEEE802.16的安全机制,详细分析了安全机制中的认证过程,并指出了认证机制所存在的严重漏洞,提出了几种解决方案,还对移动环境中的认发证作了展望。     

规范公路工程招标投标的思考及对策

随着招投标机制的引入,公路工程施工建设逐渐走向了市场。但是从近年来运行的情况来看,依然存在很多问题。本文从招投标实践出发,总结了目前公路工程招投标领域存在的一些问题,并提出了相应的改进措施和对策,对进一步规范公路工程招投标进行了积极的思考和探索。     

直齿圆柱齿轮的齿根应力分析

文章利用ANSYS软件对齿轮进行齿根应力分析并最终和理论值进行比较分析,通过实例证明该方法为齿轮齿根应力的准确分析提供了一种有效途径.