Relative attitude formation control of multi‐agent systems

This paper investigates the relative attitude formation control problem for a group of rigid‐body agents using relative attitude information on SO(3). On the basis of the gradient of a potential function, a family of distributed angular velocity control laws, which differ in the sense of a geodesic distance dependent function, is proposed. With directed and switching interaction topologies, the desired relative attitude formation is showed to be achieved asymptotically provided that the topology is jointly quasi‐strongly connected. Moreover, several sufficient conditions for the desired formation to be achieved exponentially and almost globally are given. Additionally, numerical examples are provided to illustrate the effectiveness of the proposed distributed control laws. Copyright © 2017 John Wiley & Sons, Ltd.     

Image encryption based on random projection partition and chaotic system

Multimedia Tools and Applications - Image encryption is a useful technique of multimedia security and has been widely used in content protection, image authentication, data hiding, and so on. In...     

Reversible data hiding in encrypted images based on multi-level encryption and block histogram modification

Multimedia Tools and Applications - In recent years there has been significant interest in reversible data hiding, and also in particular, reversible data hiding in encrypted images (RDH-EI). This...     

Pricing ad slots with consecutive multi-unit demand

We consider the optimal pricing problem for a model of the rich media advertisement market, that has other related applications. Our model differs from traditional position auctions in that we consider buyers whose demand might be multiple consecutive slots, which is motivated by modeling buyers who may require these to display a large size ad. We study three major pricing mechanisms, the Bayesian pricing model, the maximum revenue market equilibrium model and an envy-free solution model. Under the Bayesian model, we design a polynomial-time computable truthful mechanism that optimizes the revenue. For the market equilibrium paradigm, we find a polynomial-time algorithm to obtain the maximum revenue market equilibrium solution. In the envy-free setting, an optimal solution is presented for the case where the buyers have the same demand for the number of consecutive slots. We present results of a simulation that compares the revenues from the above schemes.     

Twitter summarization with social-temporal context

Twitter is one of the most popular social media platforms for online users to create and share information. Tweets are short, informal, and large-scale, which makes it difficult for online users to find reliable and useful information, arising the problem of Twitter summarization. On the one hand, tweets are short and highly unstructured, which makes traditional document summarization methods difficult to handle Twitter data. On the other hand, Twitter provides rich social-temporal context beyond texts, bringing about new opportunities. In this paper, we investigate how to exploit social-temporal context for Twitter summarization. In particular, we provide a methodology to model temporal context globally and locally, and propose a novel unsupervised summarization framework with social-temporal context for Twitter data. To assess the proposed framework, we manually label a real-world Twitter dataset. Experimental results from the dataset demonstrate the importance of social-temporal context in Twitter summarization.     

Time-variant global reliability sensitivity analysis of structures with both input random variables and stochastic processes

Structural and Multidisciplinary Optimization - The ubiquitous uncertainties presented in the input factors (e.g., material properties and loads) commonly lead to occasional failure of mechanical...     

遗传算法在跨超声速风洞总压控制中的应用

总压作为风洞控制中的重要流场参数,其调节性能是风洞控制系统能否满足试验要求的重要指标,为提高跨超声速风洞的总压控制水平,需对总压控制策略进行设计。针对某跨超声速风洞对总压控制系统提出的快速性和精确性要求,提出串级控制、智能PID控制和总压分段控制等方法,并利用MATLAB系统辨识工具箱对流场调节阶段的总压系统模型进行了辨识。提出将遗传算法应用于风洞流场调节阶段的PID控制器参数整定中,重点对基于遗传算法的PID控制原理和参数整定步骤进行介绍,并针对遗传算法的遗传算子进行了设计。系统仿真和风洞实际运行情况表明：该方法较常规PID参数整定与优化方法,具有更好的控制性能指标,满足总压控制系统精确性、快速性、鲁棒性等要求,为后续风洞建设和设备改造提供了新方法。     

一种非侵入的GUI自动化测试系统设计

针对嵌入式GUI软件自动化测试,提出一种非侵入的GUI自动化测试系统设计方案,能够使用Python格式的测试脚本灵活描述测试用例的执行步骤,能够自动化执行测试脚本;系统将人机交互步骤转成鼠标键盘模拟设备的控制命令,实现对被测软件鼠标键盘的控制,从而输入需要的人机交互信息,实现测试用例的自动执行;同时以不干扰被测系统为原则,直接采集被测系统输出到显示器中的视频数据,通过对图像数据的处理进行图像对比、图像查找和文字识别,根据测试用例预期输出自动判断用例的执行结果;该测试系统解决了嵌入式软件GUI自动化测试的难题,提高了测试效率。     

基于改进CAPSO的原油管道调合多性质优化方法

在仔细研究原油管道调合工艺基础上,提出一种基于改进有约束自适应粒子群优化(CAPSO)算法的原油管道调合多性质优化方法;首先,基于原油调合规则库、优化预处理及设备实际工作能力约束,建立了多原油多性质优化模型;然后,根据原油调合目标,通过CAPSO算法对优化模型进行快速、准确的优化计算,获得多种组分原油的最优配比;投运效果表明,系统能够自动、高效计算出原油调合的最优配比,避免人工计算所造成的一致性差,计算效率低并且不易获得最佳配比的问题,有效提高了加工设备的生产效率。     

IBI and CA Model based Extraction of Urban Built\|up Areaand Its Application：A Case Study in Shanghai

At present,the automatic extraction of urban built\|up area is still a problem.Taking Shanghai city as an example,this research uses the binary image,which was derived from an IBI(index\|based built\|up index)image,as the geographical cellular automaton initial input data.This was then imported to the extended cellular automata model for further processing.After a series of processing such as thresholding,corrosion and connectivity test,the urban built\|up area was simulated and can be extracted.Based on this method,the urban built\|up area of Shanghai in five different years between 1987 and 2015 was extracted using multi\|temporal Landsat images of Shanghai.In addition,the urban growth intensity index,the concentric buffers analysis and radar chart analysis were calculated and used to analysis spatiotemporal pattern of Shanghai urban expansion in the 28 study years.The result shows that the built\|up area of Shanghai was expanded from 195 km² in 1987 to 1759 km² in 2015,which is eight times as large as that in 1987.In the period between 1987 and 2002,the urban built\|up area expanded mainly along the North\|South axis of the Huangpu River.However,after 2002 the expansion rate was increased more quickly,and the direction of the expansion was shifted to an east to west direction.Generally speaking,Shanghai has experienced a rapid urban expansion in the recent three decades.