Detecting multiphase linear ranking functions for single-path linear-constraint loops

International Journal on Software Tools for Technology Transfer - Single-path linear-constraint loops are important since many analyses in different fields can be reduced to termination proof...     

小波包变换在火箭发动机脉动压力分析中的应用

在火箭发动机试验中,燃烧室脉动压力数据是考察推进剂燃烧状态的重要依据.通过对脉动压力数据特征分析,利用小波包变换多分辨分析的特点,以信噪比作为衡量标准,采用小波包自选阈值法对脉动压力数据进行去噪.通过与稳态参数数据的对比验证了去噪结果的准确性.采用Wicherhauser树状分解和Shannon信息熵基波选择标准等方法对脉动压力数据进行分频段分析.根据结果中各频段内的系数特征能够直观分析脉动压力在各频带中的能量分布.通过对脉动压力数据和相应振动测点数据的频谱分析,验证了分析结果的有效性.该方法在其他型号发动机和组合件试验脉动压力数据分析中有重要的应用和推广价值.     

基于核保持嵌入的子空间学习

子空间学习是特征提取领域中的一个重要研究方向,其通过一种线性或非线性的变换将原始数据映射到低维子空间中,并在该子空间中尽可能地保留原始数据的几何结构和有用信息.子空间学习的性能提升主要取决于相似性关系的衡量方式和特征嵌入的图构建手段.文中针对子空间学习中的相似性度量与图构建两大问题进行研究,提出了一种基于核保持嵌入的子空间学习算法(Kernel-preserving Embedding based Subspace Learning,KESL),该算法通过自表示技术自适应地学习数据间的相似性信息和基于核保持的构图.首先针对传统降维方法无法挖掘高维非线性数据的内部结构问题,引入核函数并最小化样本的重构误差来约束最优的表示系数,以期挖掘出有利于分类的数据结构关系.然后,针对现有基于图的子空间学习方法大都只考虑类内样本相似性信息的问题,利用学习到的相似性矩阵分别构建类内和类间图,使得在投影子空间中同类样本的核保持关系得到加强,不同类样本间的核保持关系被进一步抑制.最后,通过核保持矩阵与图嵌入的联合优化,动态地求解出最优表示下的子空间投影.在多个数据集上的实验结果表明,所提算法在分类任务中的性能优于主流的子空间学习算法.     

IB网上CPU-GPU异构超算平台容器性能评估及优化

为了实现资源和系统环境的隔离,近年来新兴了多种虚拟化工具,容器便是其中之一。在超算资源上运行的问题通常是由软件配置引起的。容器的一个作用就是将依赖打包进轻量级可移植的环境中,这样可以提高超算应用程序的部署效率。为了解基于IB网的CPU-GPU异构超算平台上容器虚拟化技术的性能特征,使用标准基准测试工具对Docker容器进行了全面的性能评估。该方法能够评估容器在虚拟化宿主机过程中产生的性能开销,包括文件系统访问性能、并行通信性能及GPU计算性能。结果表明,容器具备近乎原生宿主机的性能,文件系统I/O开销及GPU计算开销与原生宿主机差别不大。随着网络负载的增大,容器的并行通信开销也相应增大。根据评估结果,提出了一种能够发挥超算平台容器性能的方法,为使用者有针对性地进行系统配置、合理设计应用程序提供依据。     

基于STM32的植物补光调控系统设计

光照是植物生长和发育的重要环境因子之一,在植物组织培养过程中,为了更好地利用LED光源对组培室内植物进行补光,节约能源和提高补光效率,设计了一种基于STM32的植物补光调控系统;系统采用STM32作为微控制器,设计植物补光总控中心和补光调控节点电路,补光总控中心通过RS485通信模块与安装在组培室内的多个补光调控节点进行指令和数据的通信,补光调控节点根据补光总控中心的任务指令和补光参数,协调补光调控节点的各个电路模块之间相互工作,实现按时、按量对组培室内的植物进行补光;经过实验测试结果表明,该系统环保、易操作且性能稳定可靠,能够实现补光的同时节约能源,进而减少了组培室的育苗成本,为在植物组培室内实现植物的补光提供参考。     

Design of a Sliding Mode Controller with Fuzzy Rules for a 4-DoF Service Robot

In this study, a novel control strategy that combines a fuzzy system and the sliding mode controller is proposed for improving stability and achieving high-accuracy control in service robots. Based on the kinematic and dynamic models of a 4-degrees of freedom manipulator, and the observed tracking error using a low-cost inertial sensor, the proposed fuzzy sliding mode controller (FSMC(IMU)) is designed to generate appropriate torques at robot joints. The FSMC(IMU) controller parameters are adjusted through a fuzzy rule that determines the state of the system. The error in trajectory tracking is reduced through this. The gain value K can be finely adjusted by fuzzy control by observing the degree of vibration after entering the sliding mode surface. The larger the observed vibration value, the faster the fuzzy controller follows the given input trajectory by selecting a smaller gain value K and reducing jitter due to the sliding mode control’s discontinuous switch characteristics. When the degree of error is small, it achieves faster and more accurate control performance than when the observer is not used. The stability of the FSMC(IMU) system is verified via disturbance experiments. The experimental data are compared with the conventional sliding mode controller and proportional-derivative control. The experimental results demonstrate that the proposed FSMC(IMU) controller is stable, fast, and highly accurate in controlling service robots.

     

基于Tx-Rx探头的异种金属焊缝缺陷检测及定量分析

异种金属焊接结构在使用过程中容易产生损伤,因此需对其进行检测;脉冲涡流一发一收式非同轴(Transmitter Receiver,Tx-Rx)探头可应用于异种金属焊缝缺陷检测;然而,考虑到异种金属焊接构件成分多样、结构复杂的特点,需对Tx-Rx探头的摆放位置进行了优化;首先,建立仿真模型,讨论了激励线圈的摆放位置对试件中涡流及涡流扰动的影响,结果表明,当激励线圈位于带堆焊的合金钢上方时,其表面涡流强度及涡流扰动强度较大;其次,建立实验平台,实验表明,当激励线圈放置在带堆焊的合金钢上方时,其检测信号幅值和差分信号幅值最大;最后利用差分信号的峰值对焊缝缺陷的定量展开分析;脉冲涡流Tx-Rx探头的研究可为其在异种金属焊缝缺陷的应用提供参考.     

A novel ADRC‑based design for a kind of fexible aerocraft

The paper presents a novel control design, which is based on the idea of active disturbance rejection control (ADRC), for a kind of fexible aerocraft whose controlled variable cannot be measured directly. Since the original frame of ADRC cannot be directly applied, the paper puts forward a new extended state observer (ESO) and the corresponding ADRC law. In order to assign the poles of the closed-loop system to ideal positions such that the vibration can be quickly suppressed, an elastic damping term is added into feedback law. The advantages of the new ESO for efectively estimating both the rigid mode and elastic mode from the measurements are discussed. Moreover, the analysis on the stability, the relative stability and the steady state of the closed-loop system is given. Finally, the efectiveness and robustness of the proposed ADRC are verifed by simulations.     

Python爬虫在导购系统中的应用

近年来,随着互联网的发展,出现了网上购物这种全新的购物方式。网上购物已经成为年轻人购物的主要方式。但网上的商品琳琅满目,如何挑选物美价廉的商品成为需要解决的问题,由此设计了一个基于Python爬虫的优惠券型导购系统。将淘宝、天猫、京东三大电商网站作为数据源,使用Python的requests、selenium等模块结合IP代理反反爬虫技术将商品信息与优惠券信息爬取下来,对信息进行数据清洗并存入mongo DB数据库中,由后台服务器程序整理数据,并在基于HTML5的安卓端APP展示出来供用户查看与选择。该系统简单高效,可以改善用户的购物体验,具有较高的实用价值。     

面向多区域防洪的长江上游水库群协同调度模型

长江上游水库群是长江流域防洪工程体系的重要组成部分,承担着水库所在河流、川渝河段以及长江中下游的防洪任务。长江流域面积广大,水系众多,洪水地区组成与遭遇十分复杂,防洪需求众多,防洪对象分散,且要兼顾发电、航运、供水、生态、库区安全等多种因素,水库群防洪调度面临大规模、多区域、多层次等协同调度技术难题。以长江上游25座控制性水库为研究对象,基于防洪格局和防洪任务将水库群防洪调度划分为核心、骨干和群组水库,阐明了水库群多区域协调防洪的调度节点和角色定位,提出了兼顾"时-空-量-序-效"多维属性的模型功能结构,构建了长江上游水库群多区域协同防洪调度模型,并在长江流域防洪调度形成示范应用,以挖掘长江上游水库群防洪调度潜力,进而提升长江流域防洪调度管理水平。