改进多目标帝王蝶算法

帝王蝶优化算法结构简单,能够较好的完成寻优搜索要求,但在多目标问题上,算法的精度和非支配解的分布性较差.针对以上不足之处,本文提出一种改进型多目标帝王蝶算法(Improved multi-objective monarch butterfly algorithm,IMOMBO),对非支配解进行拥挤度排序,所有非支配解个体都以当前最优个体为中心点映射镜像点,并朝向镜像点奔袭,以此增加个体在Pareto前沿上的收敛性和算法精度.在算法迭代后期,对部分较优个体进行Logistic混沌映射,以改善个体在Pareto前沿上的分布性.随机选用ZDT和DTLZ测试函数集中的函数进行算法性能验证,实验结果证明,本算法可以很好地保证非支配解个体的收敛特性和分布特性.     

Video super-resolution reconstruction method based on deep Back projection and motion feature fusion

How to effectively utilize inter-frame redundancies is the key to improve the accuracy and speed of video super-resolution reconstruction methods. Previous methods usually process every frame in the whole video in the same way, and do not make full use of redundant information between frames, resulting in low accuracy or long reconstruction time. In this paper, we propose the idea of reconstructing key frames and non-key frames respectively, and give a video super-resolution reconstruction method based on deep back projection and motion feature fusion. Key-frame reconstruction subnet can obtain key frame features and reconstruction results with high accuracy. For non-key frames, key frame features can be reused by fusing them and motion features, so as to obtain accurate non-key frame features and reconstruction results quickly. Experiments on several public datasets show that the proposed method performs better than the state-of-the-art methods, and has good robustness.

     

Adaptive Safety Motion Control for Underactuated Hovercraft Using Improved Integral Barrier Lyapunov Function

International Journal of Control, Automation and Systems - In this paper, we investigate the problem of safety motion control for an underactuated hovercraft from subject to safety constraint on...     

基于Huffman树的密文索引构建方案

为实现安全高效的云端数据密文检索,提出基于Huffman树的密文索引构建及检索方案。将Huffman树形结构及其编码的思想引入密文索引结构的构建方案中,改进基于知识理解的中文分词算法提取明文关键词,通过改进的TF-IDF规则对检索结果集进行排序以返回最符合用户需求的Top-K个结果,并增加伪造的索引结点以增强索引结构的抗统计分析攻击能力。通过实验测试和性能对比分析可得出结论：方案在保证密文和索引信息安全性的同时,可以提高密文检索的效率。     

基于解析解的四阶PDE曲面裁剪方法

该文提出了一种可以广泛应用于四阶PDE曲面的裁剪方法。利用PDE的参数域内的曲线在曲面上投影,得到所求裁剪曲面的边界曲线,然后通过边界曲线的导矢与曲面在边界曲线处的法向量得到边界曲线处的跨界导矢,最后以求得的裁剪曲面的边界曲线以及裁剪曲面在边界曲线处的跨界导矢为PDE曲面的边界条件,用四阶的PDE曲面方程求得PDE裁剪曲面。     

TiCp/Al预制块在Mg中熔化过程研究

将TiCp／Al预制块以不同的工艺加入到Mg液中进行熔化试验。结果表明，未搅拌时TiCp／Al预制块在800℃的Mg液中保温60min后仍不熔化，采用合适的搅拌工艺可使TiCp／Al预制块熔化，并且使TiC粒子在熔体中均匀分布。TiCp／Al预制块在Mg液中的熔化过程机理为：基体Al通过熔化和对淹扩散进入到Mg液中，TiC粒子间的结合力需通过搅拌产生的剪切力才能破坏，并随Mg液流动进入到Mg液中，机械搅拌可使TiC粒子Mg液中均匀分布。     

Model checking dynamic pushdown networks

A dynamic pushdown network (DPN) is a set of pushdown systems (PDSs) where each process can dynamically create new instances of PDSs. DPNs are a natural model of multi-threaded programs with (possibly recursive) procedure calls and thread creation. Thus, it is important to have model checking algorithms for DPNs. We consider in this work model checking DPNs against single-indexed LTL and CTL properties of the form \({\bigwedge f_i}\) such that f _i is a LTL/CTL formula over the PDS i. We consider the model checking problems w.r.t. simple valuations (i.e., whether a configuration satisfies an atomic proposition depends only on its control location) and w.r.t. regular valuations (i.e., the set of the configurations satisfying an atomic proposition is a regular set of configurations). We show that these model checking problems are decidable. We propose automata-based approaches for computing the set of configurations of a DPN that satisfy the corresponding single-indexed LTL/CTL formula.     

Finding logos in real-world images with point-context representation-based region search

Finding logos in the real-world images is a challenging task due to their small size, simple shape, less texture and clutter background. In this paper, through visual logo analysis with different types of features, we propose a novel framework for finding visual logos in the real-world images. First, we exploit the contextual shape and patch information around feature points, merge them into a combined feature representation (point-context). Considering the characteristics of logos, this kind of fusion is an effective enhancement for the discriminability of single point features. Second, to eliminate the interference of the complex and noisy background, we transfer the logo recognition to a region-to-image search problem by segmenting real-world images into region trees. A weak geometric constraint based on regions is encoded into an inverted file structure to accelerate the search process. Third, we apply global features to refine initial results in the re-ranking stage. Finally, we combine each region score both in max-response and accumulate-response mode to obtain the final results. Performances of the proposed approach are evaluated on both our CASIA-LOGO dataset and the standard Flickr logos 27 dataset. Experiments and comparisons show that our approach is superior to the state-of-the-art approaches.     

基于逻辑回归模型的木片和树皮的图像识别

为了提高木片生物能的利用率,需要除去木片中的树皮杂质。识别木片和树皮的图像对于实现二者分离具有重要作用。提出一种基于逻辑回归模型来对木片和树皮进行图像识别的算法。算法流程包括计算各种可以描述木片和树皮纹理的参数,利用SAS统计分析出最佳参数,将最佳参数计算所得的样本数据用于SAS LOGISTIC过程得到预测方程,再将预测方程用于逻辑回归模型来实现木片和树皮的图像识别。通过实验可知,最佳参数为灰度方差,该图像识别算法的正确率能达到97.4%。     

基于WMSNs的图像数据传输系统设计与实现

无线多媒体传感器网络（ WMSNs）节点存在功耗大、体积大和抗损毁性差等问题,且不适合大规模使用。该研究围绕WMSNs节点的关键技术展开研究,设计并实现了一个图像数据无线传输的低功耗、高效率的系统,该系统采用三层网络结构进行图像数据无线传输,构造了性能优化、结构优良的WMSNs,以此解决了WMSNs的图像传输关键问题。在搭建的开发与测试环境中,完成了节点通信距离的测试和节点功耗测试。测试结果表明：该测试平台性能良好,能够实现图像数据的可靠传输。该研究为WMSNs图像数据传输系统设计提供研究基础和思路。