基于Hamiltonian马氏链蒙特卡罗方法的突变运动跟踪

在计算机视觉领域,由镜头切换、目标动力学突变、低帧率视频等引起的突变运动存在极大的不确定性,使得突变运动跟踪成为该领域的挑战性课题.以贝叶斯滤波框架为基础,提出一种基于有序超松弛Hamiltonian马氏链蒙特卡罗方法的突变运动跟踪算法.该算法将Hamiltonian动力学融入MCMC（Markov chain Monte Carlo）算法,目标状态被扩张为原始目标状态变量与一个动量项的组合.在提议阶段,为抑制由Gibbs采样带来的随机游动行为,提出采用有序超松弛迭代方法来抽取目标动量项.同时,提出自适应步长的Hamiltonian动力学实现方法,在跟踪过程中自适应地调整步长,以减少模拟误差.提出的跟踪算法可以避免传统的基于随机游动的MCMC跟踪算法所存在的局部最优问题,提高了跟踪的准确性而不需要额外的计算时间.实验结果表明,该算法在处理多种类型的突变运动时表现出出色的处理能力.     

求解背包问题的病毒协同进化粒子群算法

为提高粒子群算法的搜索性能,提出一种基于病毒进化理论的改进离散粒子群算法:病毒协同进化粒子群算法.在粒子群中引入生物病毒机制和宿主与病毒基于感染操作的思想,病毒采用与粒子等长的编码方式,执行反向代换、结合等操作,利用病毒的水平感染和垂直传播能力较好地维持个体的多样性和对解空间的局部搜索能力.通过解决背包问题对算法进行验证,仿真表明所提算法搜索性能优于遗传算法、模拟退火及标准粒子群等其他算法.该算法能有效求解背包问题等NP难题.     

丹皮酚结构改造研究进展

丹皮酚是传统中药牡丹皮的有效成分,具有广泛的生物活性,如抗菌消炎、镇痛、抗肿瘤和预防心血管系统疾病等.近年来,随着对丹皮酚作用及机制研究的不断拓展和深入,对其结构修饰和改造也开展了大量的工作,合成出一系列的丹皮酚衍生物,对丹皮酚结构改造的研究现状进行了系统的综述.     

面向容错计算机的仲裁系统的设计与实现*

为了解决传统仲裁机制故障覆盖率和故障诊断成功率低的问题,针对容错计算机,提出了一种基于仲裁处理器的仲裁机制,并设计了仲裁系统和仲裁算法.其中仲裁处理器使用三模冗余系统和芯片级的容错设计技术,仲裁算法采用分级方式,同时采用自检测和心跳监测相结合的故障监测机制,有效地解决了单点故障和检测成功率低的问题.最后通过故障注入方式验证了仲裁系统的可用性.     

石门坎水电站门机栈桥混凝土桥墩拆除

石门坎大坝坝后汽车栈桥桥墩拆除环境复杂,周边有主要的建筑物和设备,爆破作业必须要确保建筑物和设备安全,对桥墩倒向、飞石控制极为严格。通过科学的爆破设计,精心组织施工,严格控制工艺,爆破达到预期效果。     

随机多孔碳纤维纸的非线性面外压缩本构模型

多孔碳纤维纸由随机分布的碳纤维构成,常用于燃料电池、发热材料等先进结构,其主要服役状态为面外压缩。碳纤维纸的压缩应变对其力学、热学、电学性能均有显著影响,因此迫切需要揭示其面外压缩本构关系。该文针对碳纤维纸微结构随机多孔的特点,提出了2种非线性面外压缩本构模型,分别是考虑赫兹接触影响的对数型模型和考虑孔隙率和单胞尺寸的幂函数型模型。基于3种商品化碳纤维纸的应力-应变实验数据,将该文提出的两种模型与传统的线性模型进行分析对比,并讨论了有、无额外有机物对碳纤维纸力学性能的影响。结果表明：碳纤维纸中的额外有机物对其应力-应变关系有比较明显的影响,全面考虑接触变形、弯曲变形与孔隙率变化的对数型本构模型具有较好的鲁棒性,适用范围较广;幂函数型本构模型能够较准确地预测有机物含量较低的碳纤维纸的应力-应变关系;传统的线性本构模型对各种碳纤维纸的预测均有较大的误差,该文提出的两种非线性本构模型对碳纤维纸具有较好的适用性,可以反映碳纤维纸的非线性应力-应变关系。     

基于机制设计理论的自组网节点合作协议

在移动自组网中,如何激励自私节点,使之参与网络合作,是当前研究的热点问题.文中提出了LMOCP协议,采用VCG机制计算转发节点的支付.通过引入邻居发现机制,并改进路由发现过程,使网络中控制消息的数量从O(n3)减少到O(n2).对协议的正确性进行了分析,并证明了LMOCP协议是事后纳什可实施的,在所有节点都是理性的这一共同知识的假定下,每个节点的最优策略是诚实地报告自己的转发价格.通过ms-2对协议进行了验证,仿真结果显示,与现有的几种重要协议相比,LMOCP协议具有更低的消息负载和网络延迟.     

带不确定噪声方差保性能鲁棒集中式融合Kalman 预报器

对于带不确定噪声方差的多传感器系统, 基于极大极小鲁棒估计原理, 提出保证估计性能的集中式融合鲁棒稳态Kalman 预报器. 对于预置的估计精度偏差指标, 利用Lagrange 乘数法求得相应噪声方差的最大扰动域, 使该域中所有可容许的噪声扰动, 其实际精度对鲁棒精度的偏差被保证在预置范围内, 并给出精度偏差的最大下界和最小上界. 应用Lyapunov 方程方法证明了保证估计性能能够被满足. 仿真分析表明了所得结果的正确性和有效性.

     

考虑组件复制的SA软件部署可靠性研究

复制软件组件能提高服务的可靠性和系统可靠性,然而,复制额外的软件组件需要消耗系统可用系统资源.为了充分利用系统可用资源,得到更高的可靠性优化值,设计了启发式的贪婪复制算法,该算法根据单位带宽的可靠性优化值增量OB和单位内存的可靠性优化值增量OM,利用贪婪思想选择出将被复制的两个软件组件集合,其中具有更高可靠性优化值的集合是该算法确定的将被复制的软件组件集合.实验结果表明:当给定有限的系统可用资源时,与贪婪复制算法相比,该算法能得到更高的可靠性优化值和更高的服务可靠性.     

集成架构风格的SA软件部署可靠性

已有的架构风格可靠性研究主要针对单一软件架构风格,为研究软件部署阶段的多种架构风格的 系统可靠性,设计用连接器的方式来建模部署阶段的集成架构风格系统和软件组件可靠性．实验结果表明, 随着系统运行时间的增加,集成架构风格的系统可靠性和组件可靠性主要依赖于处于执行状态的软件组件 数目和软件组件处于执行状态的时间．通过对集成架构风格系统可靠性和软件组件可靠性的分析,有利于选 择合适的时间通过系统重部署或者软件组件复制来提高系统可靠性