PolyMage: Automatic Optimization for Image Processing Pipelines

This paper presents the design and implementation of PolyMage, a domain-specific language and compiler for image processing pipelines. An image processing pipeline can be viewed as a graph of interconnected stages which process images successively. Each stage typically performs one of point-wise, stencil, reduction or data-dependent operations on image pixels. Individual stages in a pipeline typically exhibit abundant data parallelism that can be exploited with relative ease. However, the stages also require high memory bandwidth preventing effective utilization of parallelism available on modern architectures. For applications that demand high performance, the traditional options are to use optimized libraries like OpenCV or to optimize manually. While using libraries precludes optimization across library routines, manual optimization accounting for both parallelism and locality is very tedious. The focus of our system, PolyMage, is on automatically generating high-performance implementations of image processing pipelines expressed in a high-level declarative language. Our optimization approach primarily relies on the transformation and code generation capabilities of the polyhedral compiler framework. To the best of our knowledge, this is the first model-driven compiler for image processing pipelines that performs complex fusion, tiling, and storage optimization automatically. Experimental results on a modern multicore system show that the performance achieved by our automatic approach is up to 1.81x better than that achieved through manual tuning in Halide, a state-of-the-art language and compiler for image processing pipelines. For a camera raw image processing pipeline, our performance is comparable to that of a hand-tuned implementation.

Dynamical generation of flavour

We propose the generation of Standard Model fermion hierarchy by the extension of renormalizable SO(10) GUT with O(N (g) ) family gauge symmetry. In this scenario, Higgs representations of SO(10) also carry family indices and are called Yukawons. Vacuum expectation values of these Yukawon fields break GUT and family symmetry and generate MSSM Yukawa couplings dynamically. We have demonstrated this idea using Higgs irrep, ignoring the contribution of 1 2 0-plet which is, however, required for complete fitting of fermion mass-mixing data. The effective MSSM matter fermion couplings to the light Higgs pair are determined by the null eigenvectors of the MSSM-type Higgs doublet superfield mass matrix . A consistency condition on the doublet (1,2,+/- 1]) mass matrix ( 0) is required to keep one pair of Higgs doublets light in the effective MSSM. We show that the Yukawa structure generated by null eigenvectors of are of generic kind required by the MSSM. A hidden sector with a pair of (S (a b) ; I center dot (a b) ) fields breaks supersymmetry and facilitates 0. SUSY breaking is communicated via supergravity. In this scenario, matter fermion Yukawa couplings are reduced from 15 to just 3 parameters in MSGUT with three generations.

Application of Similarity Theory to the Characterization of Non-Transferred Laminar Plasma Jet Generation

Laminar-flow non-transferred DC plasma jets were generated by a torch with an inter-electrode insert by which the arc column was limited to a length of about 20 mm. Current–voltage characteristics, thermal efficiency and jet length, a parameter which changes greatly with the generating parameters in contrast with the almost unchangeable jet length of the turbulent plasma, were investigated systematically, by using the similarity theory combined with the corresponding experimental examination. Formulae in non-dimensional forms were derived for predicting the characteristics of the laminar plasma jet generation, within the parameter ranges where no transfer to turbulent flow occurs. Mean arc temperature in the torch channel and mean jet-flow temperature at the torch exit were obtained, and the results indicate that the thermal conductivity feature of the working gas seems to be an important factor affecting thermal efficiency of laminar plasma generation.

Generation of large-scale vortex dislocations in a three-dimensional wake-type flow

Numerical study of three-dimensional evolution of wake-type flow and vortex dislocations is performed by using a compact finite diffenence-Fourier spectral method to solve 3-D incompressible Navier-Stokes equations. A local spanwise nonuniformity in momentum defect is imposed on the incoming wake-type flow. The present numerical results have shown that the flow instability leads to three-dimensional vortex streets, whose frequency, phase as well as the strength vary with the span caused by the local nonuniformity. The vortex dislocations are generated in the nonuniform region and the large-scale chain-like vortex linkage structures in the dislocations are shown. The generation and the characteristics of the vortex dislocations are described in detail.

Experimental Study on the Generation and Characteristics of Plasma Jets

报道热等离子体射流产生及射流特性的实验研究结果。。采用同一个直流等离子体发生器，工作气体流量小时产生出层流等离子体长射流，射流长度随气体流量或弧电流的增加而明显增加；工作气体流量大时则产生出湍流等离子体短射流，此时射流长度几乎与工作气体流量或弧电流无关；在层流与湍流等离子体射流工况之间，存在一个流动状况不稳定的过渡区，此时等离子体射流的平均长度随气流量的加大而减小，但随弧电流的加大而明显加大。层流等离子体长射流有相当好的刚性。

Experimental Study on the Thermal Argon Plasma Generation and Jet Length Change Characteristics at Atmospheric Pressure

The generation, jet length and flow-regime change characteristics of argon plasma issuing into ambient air have been experimentally examined. Different torch structures have been used in the tests. Laminar plasma jets can be generated within a rather wide range of working-gas flow rates, and an unsteady transitional flow state exists between the laminar and turbulent flow regimes. The high-temperature region length of the laminar plasma jet can be over an order longer than that of the turbulent plasma jet and increases with increasing argon flow rate or arc current, while the jet length of the turbulent plasma is less influenced by the generating parameters. The flow field of the plasma jet has very high radial gradients of plasma parameters, and a Reynolds number alone calculated in the ordinary manner may not adequately serve as a criterion for transition. The laminar plasma jet can have a higher velocity than that of an unsteady or turbulent jet. The long laminar plasma jet has good stiffness to withstand the impact of laterally injected cold gas and particulate matter. It could be used as a rather ideal object for fundamental studies and be applied to novel materials processing due to its attractive stable and adjustable properties.

Generation of long, laminar plasma jets at atmospheric pressure and effects of flow turbulence

Long, laminar plasma jets at atmospheric pressure of pure argon and a mixture of argon and nitrogen with jet length up to 45 fi,Hes its diameter could be generated with a DC are torch by! restricting the movement of arc root in the torch channel. Effects of torch structure, gas feeding, and characteristics of power supply on the length of plasma jets were experimentally examined. Plasma jets of considerable length and excellent stability could be obtained by regulating the generating parameters, including are channel geometry gas flow I ate, and feeding methods, etc. Influence of flow turbulence at the torch,nozzle exit on the temperature distribution of plasma jets was numerically simulated. The analysis indicated that laminar flow plasma with very low initial turbulent kinetic energy will produce a long jet, with low axial temperature gradient. This kind of long laminar plasma jet could greatly improve the controllability for materials processing, compared with a short turbulent are let.