On loop transformations for generalized cycle shrinking

This paper describes several loop transformation techniques for extracting parallelism from nested loop structures. Nested loops can then be scheduled to run in parallel so that execution time is minimized. One technique is called selective cycle shrinking, and the other is called true dependence cycle shrinking. It is shown how selective shrinking is related to linear scheduling of nested loops and how true dependence shrinking is related to conflict-free mappings of higher dimensional algorithms into lower dimensional processor arrays. Methods are proposed in this paper to find the selective and true dependence shrinkings with minimum total execution time by applying the techniques of finding optimal linear schedules and optimal and conflict-free mappings proposed by W. Shang and A.B. Fortes     

NexGen的Nx586－Pentium的又一个挑战者

本文简单介绍ＮｅｘＧｅｎ公司最新设计出的Ｎｘ５８６ＣＰＵ。它是一种８０×８６兼容的处理器，文中介绍了它的微体系结构，ＲＩＳＣ８６指令等。     

传爆管用聚奥99炸药研究

介绍了具有高煤轰感度和耐热特性的聚奥99炸药的配方、制备工艺、性能以及装入传爆管后产品的性能和应用状况。     

《无机及分析化学》在多媒体教学的应用及思考

对多媒体技术在无机及分析化学教学的应用进行了，阐述和分析，指出使用多媒体教学应注意的问题。     

RLINK: Deep reinforcement learning for user identity linkage

World Wide Web - User identity linkage is a task of recognizing the identities of the same user across different social networks (SN). Previous works tackle this problem via estimating the pairwise...     

Dispersion Constraint Based Non-negative Sparse Coding Model

Based on advantages of basic non-negative sparse coding (NNSC) model, and considered the prior class constraint of image features, a novel NNSC model is discussed here. In this NNSC model, the sparseness criteria is selected as a two-parameter density estimation model and the dispersion ratio of within-class and between-class is used as the class constraint. Utilizing this NNSC model, image features can be extracted successfully. Further, the feature recognition task by using different classifiers can be implemented well. Simulation results prove that our NNSC model proposed is indeed effective in extracting image features and recognition task in application.     

Adaptive prescribed time control for quadrotor formation with stochastic links failure

The formation control for multiple quadrotors subject to maintaining the formation configuration and collision avoidance in the situation of stochastic links failure is investigated in this paper. First, the distributed formation controller is designed, the position controller is developed to manage the desired formation of position, and the attitude controller is developed to control the translation and rotation movements of the quadrotor. Then, in order to avoid the collisions between multiple quadrotors and the obstacles, a potential energy function method is introduced into the quadrotor formation control combined with the nest adaptive control. Inspired by the design of event trigger controller, a communication compensation controller is designed to ensure the stability of quadrotor formation under the condition of random communication interruption and recovery. Moreover, a prescribed time function is designed, which means the convergence time of the formation system can be set in advance. The prescribed time stability of the formation control system is proved by Lyapunov theory. Finally, the simulation results verify the effectiveness and superiority of this method.     

Epitaxial growth and thermal-conductivity limit of single-crystalline Bi2Se3/In2Se3 superlattices on mica

Nano Research - Thermal transport in superlattices is governed by various phonon-scattering processes. For extracting the phonon-scattering contribution of hetero-interfaces in chalcogenide...