离散型细菌觅食算法求解TSP

旅行商问题(TSP)是组合优化问题的典型代表,针对TSP的求解提出一种离散型细菌觅食(DBFO)算法.该算法通过结合2-opt算法设计了一种适合处理离散型变量的趋化算子,将细菌觅食算法推广到了离散情形.同时,结合TSP的特点,在迁徙算子中引入基因库的思想来指导新个体的生成,提高了算法的搜索效率.通过对TSPLIB标准库中22个实例进行仿真实验.实验结果表明,该算法能够有效求解城市规模500以下的TSP,与混合蚁群算法和离散型萤火虫群算法相比,具有更好的全局收敛性和稳定性.     

无双线性对的无证书安全签密方案

已有的无双线性对的无证书签密方案,大都存在着机密性漏洞和签名选择性伪造问题。针对此问题,基于有限乘法交换群上的离散对数难题,提出一种无双线性对的无证书签密方案,并进行了安全分析和证明。指出采用随机预言模型的证明方法可能忽略不解决DL难题时对签密方案的攻击,不能证明破解签密方案的难度与解决DL难题相等价。通过对参数的数学分析,证明了破解本签密方案的必要条件是解决DL难题,不存在不解决DL难题攻击本签密方案的多项式时间算法。与已知所有方案相比,所提方案安全性更高。     

非仿射非线性离散系统的数据驱动二阶滑模解耦控制

针对传统二阶离散滑模变结构控制方法很难应用于模型未知系统的问题,提出了一种数据驱动二阶滑模解耦控制算法.该控制算法采用数据驱动的策略,运用系统的I/O数据,实时计算二阶离散滑模控制(2–DSMC)律.同时,运用观测器的思想,在控制器设计中引入离散扩张状态观测器(DESO),在线估计系统各回路间耦合、不确定性和外部扰动,进一步实现系统的解耦,改善控制品质.最后的理论分析和仿真结果表明,所提出的方法对于一般带有扰动和不确定性的非仿射非线性离散多入多出(MIMO)系统具有较好的解耦效果、渐进收敛的稳定性和较强的鲁棒性.     

基于改进离散粒子群禁忌算法的并行测试任务调度

针对并行测试任务调度问题特点,提出了一种解决并行测试任务调度的离散粒子群禁忌算法,设计了符合并行测试任务调度特点的粒子初始化编码方式、粒子位置转移公式以及禁忌搜索邻域。通过与禁忌搜索相结合,避免了离散粒子群算法早熟问题。通过实验以及算法对比,表明提出的算法是快速有效的,能够很好地解决并行测试任务调度问题,求得测试总时间最短的任务调度序列。     

可证明安全的有向传递签名方案

2002年,Micali和Rivest首次提出了传递签名的概念,构造了第一个无向传递签名方案,并把构造有向传递签名方案作为公开问题。为了解决上述问题,提出了一个方向状态函数的概念,用于表示有向图节点之间的方向关系,使传递签名的明文空间扩展到任意的复杂有向图。结合节点签名范例,利用节点秘密值,构造了一个基于离散对数困难问题的有向传递签名方案,并在随机预言模型下证明了该方案在自适应选择消息攻击下是安全的。     

非饱和黏性土直剪强度特性及其修正分析

为研究非饱和黏性土的直剪强度特性,采用非膨胀土及两种不同干密度的弱膨胀土进行了包含低应力状态下8种不同上覆压力的直剪试验。试验结果表明,随着上覆压力的增大,最大剪应力及所对应的剪切位移逐渐增大,试验中低应力状态下测定的土体凝聚力小于高应力状态,且试验中的上覆压力对膨胀性土凝聚力的影响大于非膨胀性黏土;而低应力状态下测定的土体内摩擦角大于高应力状态。对直剪试验中上下盒接触面积减小对抗剪强度参数测定的影响进行了分析,分析表明,接触面积减小对抗剪指标有影响,但极其微小。提出对膨胀土边坡浅层破坏进行稳定性分析时应采用低应力下的抗剪强度参数。     

基于DEM的碎屑流运动特性数值模拟

采用颗粒离散元法建立了碎屑流三维数值模型,分别从整体和局部对碎屑流运动特性进行深入分析。结果表明:碎屑流的运动过程可分为启动加速、高速滑动和减速堆积3个阶段;边坡底面平整时,堆积体中大颗粒堆积在表面,而细小颗粒位于中下部位;碎屑流运动速度和能量损失受颗粒间的接触碰撞影响大;碎屑流不同部位运动速度最大值相同,达到速度峰值的时间与颗粒的初始水平位置有关,与深度无关;堆积体分区明显,堆积体中的颗粒按初始水平位置依次排布;坡脚位置堆积深度最大,往两侧逐渐减小;碎屑流在运动初期和末期横向运动明显,扩大了灾害影响范围。     

Stochastically resilient extended Kalman filtering for discrete-time nonlinear systems with sensor failures

Missing sensor data is a common problem, which severely influences the overall performance of modern data-intensive control and computing applications. In order to address this important issue, a novel resilient extended Kalman filter is proposed for discrete-time nonlinear stochastic systems with sensor failures and random observer gain perturbations. The failure mechanisms of multiple sensors are assumed to be independent of each other with different failure rates. The locally unbiased robust minimum mean square filter is designed for state estimation under these conditions. The performance of the proposed estimation method is verified by means of numerical Monte Carlo simulation of two different nonlinear stochastic systems, involving a sinusoidal system and a Lorenz oscillator system.     

Methodology to resolve the transport equation with the discrete ordinates code TORT into the IPEN/MB-01 reactor

Resolution of the steady-state Neutron Transport Equation in a nuclear pool reactor is usually achieved by means of two different numerical methods: Monte Carlo (stochastic) and Discrete Ordinates (deterministic). The Discrete Ordinates method solves the Neutron Transport Equation for a set of selected directions, obtaining a set of directional equations and solutions for each equation which are the angular flux. In order to deal with the energy dependence, an energy multi-group approximation is commonly performed, obtaining a set of equations depending on the number of energy groups. In addition, spatial discretization is also required and the problem is solved by sweeping the geometry mesh. However, special cross-sections are required due to the energy and directional discretization, thus a methodology based on NJOY99 code capabilities has been used. Finally, in order to demonstrate the capability of this method, the 3D discrete ordinates code TORT has been applied to resolve the IPEN/MB-01 reactor.     

Stability analysis and controller synthesis for discrete uncertain singular fuzzy systems with distinct difference matrices in the rules

This paper mainly studies an extended discrete singular fuzzy model incorporating the multiple difference matrices in the rules and discusses its stability and design issues. By embracing additional algebraic constraint, traditional discrete Takagi-Sugeno (T-S) fuzzy model can be extended to a generalised discrete singular Takagi-Sugeno (GDST-S) model with individual difference matrices E_i in the locally singular models, where it can describe a larger class of physical or non-linear systems. Based on the linear matrix inequality (LMI) approach, we focus on deriving some explicit stability and design criteria expressed by the LMIs for the regarded system. Thus, the stability verification and controller synthesis can be performed by the current LMI tools. Finally, some illustrative examples are given to illustrate the effectiveness and validity of the proposed approach.