Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems

Hybrid systems are dynamical systems with interacting discrete computation and continuous physical processes, which have become more common, more indispensable, and more complicated in our modern life. Particularly, many of them are safety-critical, and therefore are required to meet a critical safety standard. Invariant generation plays a central role in the verification and synthesis of hybrid systems. In the previous work, the fourth author and his coauthors gave a necessary and sufficient condition for a semi-algebraic set being an invariant of a polynomial autonomous dynamical system, which gave a confirmative answer to the open problem. In addition, based on which a complete algorithm for generating all semi-algebraic invariants of a given polynomial autonomous hybrid system with the given shape was proposed. This paper considers how to extend their work to non-autonomous dynamical and hybrid systems. Non-autonomous dynamical and hybrid systems are with inputs, which are very common in practice; in contrast, autonomous ones are without inputs. Furthermore, the authors present a sound and complete algorithm to verify semi-algebraic invariants for non-autonomous polynomial hybrid systems. Based on which, the authors propose a sound and complete algorithm to generate all invariants with a pre-defined template.     

基于二阶锥规划的峰值旁瓣抑制滤波器设计

针对相位编码信号的高旁瓣问题,提出一种基于二阶锥规化的峰值旁瓣抑制滤波器设计方法。将最大增益处理损失约束下的最小峰值旁瓣滤波器设计转化为二阶锥规化问题,采用内点法进行高效求解。与已有方法相比,所提方法可以兼顾峰值旁瓣、处理增益损失和滤波器长度三方面的指标,具有设计灵活、精度高和收敛性好的优点。最后仿真和实测数据结果验证了方法的有效性。     

基于飞行体间精确测距的动态相对定位方法

飞行体间的精确相对定位是实现飞行体协同工作的重要技术基础。提出了一种将飞行体惯导信息与相对距离测量信息相结合、实现两飞行体间精确动态相对定位的算法。首先利用较为精确的相对距离测量信息对两飞行体惯导系统的相对误差进行单次修正,提高了两飞行体间的单次相对定位精度。然后,利用相对距离信息进行相对机动状态的检测,并根据检测结果对状态滤波模型进行选择和切换,实现飞行体间的动态相对定位。仿真结果表明,本算法具有较高的相对定位精度和稳定性。     

变形Chua混沌系统及其同步问题的研究

混沌系统及其同步是混沌保密通信中的关键问题。提出了一种基于双曲正切非线性函数的变形Chua电路,分析了参数在不同取值时系统的吸引子特性,讨论了该系统的功率谱密度特性、分岔特性和旁加莱映射,并通过线性状态反馈实现了两个变形Chua系统的同步。不仅如此,还通过调整非线性函数,将该系统进一步拓展,产生了更复杂的多涡卷混沌吸引子,以更利于实际应用。仿真结果表明了本方法的有效性。     

三元DNA编码法与扩元DNA编码法

DNA编码是DNA计算中初始数据库的寡核苷酸序列的设计问题,合理的DNA编码可以提高试验的成功率,从而确保DNA计算的稳定性和正确性。提出了更为合理的DNA编码改进Hamming距离与用于DNA编码的DNA码矩阵;给出设计优码字的三元DNA编码法以及扩元DNA编码法并对算法的复杂性进行了分析;结合算例给出算法设计DNA码字的优点。     

Secure and efficient elliptic curve cryptography resists side-channel attacks

An embedded cryptosystem needs higher reconfiguration capability and security. After analyzing the newly emerging side-channel attacks on elliptic curve cryptosystem (ECC), an efficient fractional width-w NAF (FWNAF) algorithm is proposed to secure ECC scalar multiplication from these attacks. This algorithm adopts the fractional window method and probabilistic SPA scheme to recondigure the pre-computed table, and it allows designers to make a dynamic configuration on pre-computed table. And then, it is enhanced to resist SPA, DPA, RPA and ZPA attacks by using the random masking method. Compared with the WBRIP and EBRIP methods, our proposals has the lowest total computation cost and reduce the shake phenomenon due to sharp fluctuation on computation performance.     

基于直线检测的宽带信源个数估计新方法

为了快速有效地估计复杂条件下的宽带信源个数,提出了一种基于直线检测的宽带信源个数估计新方法.该方法通过对宽带信号的阵列采样输出分段并进行FFT变换,得到多个频率点上的窄带采样协方差矩阵,再利用盖氏圆技术和校正技术得到修正的盖氏半径.最后通过直线检测的方法快速有效地分离信号圆盘和噪声圆盘,从而估计出宽带信源个数.在低信噪比、色噪声环境下通过计算机仿真表明了该算法的正确性和有效性.     

改进的加权复杂网络节点重要度评估的收缩方法

分析了加权复杂网络的结构特点,综合考虑了边权对节点重要度评估的影响,给出了加权节点重要度的新定义,并提出了改进的适用于加权网络的节点收缩方法.该方法认为最重要的节点就是收缩后加权网络凝聚度最大的节点,其算法的时间复杂度为O(n³).该方法有助于更准确地发现复杂网络中的关键节点.最后的实验分析验证了方法的有效性和可行性.     

减量化生产模式下绿色供应链效率比较

绿色供应链是供应链概念的拓展和延伸,它是以减少自然资源消耗和保护环境为概念的新型供应链,减量化生产是绿色供应链的基本特征.为了研究2种不同市场结构下的绿色供应链效率,应用博弈论分析了单一制造商和单一供应商组成的绿色供应链减量化生产效率问题,得到了合作和非合作博弈的均衡解.比较了2种博弈情况下的供应商、制造商的努力水平和供应链总利润的优劣.     

基于节点通信度的信息加权一致性滤波

协同目标跟踪是无人机集群等多传感器网络的典型应用。在分布式传感器网络目标跟踪过程中,目标状态估计的一致性直接影响到跟踪有效性。针对目标跟踪过程中网络节点之间一致性迭代次数受限的问题,提出了一种基于节点通信度的信息加权一致性滤波算法,设计了用节点通信度来充分衡量传感器节点在网络中的通信拓扑状况,并构建了非对称一致性权值的选取机制,可在复杂拓扑结构网络中实现快速一致性跟踪。典型目标跟踪场景仿真验证表明,所提算法相比经典的信息加权一致性滤波算法,目标跟踪的不一致程度降低了20%以上,有效提升了分布式跟踪的一致性速度。