Approaching theoretical strengths by synergistic internal and external size refinement

Refinement of the internal grain size leads to strengthening by retarding dislocation motion. There have also been recent reports that a reduction in external diameter enhances the strength of single crystal pillars. Here we show, in a hitherto unexplored domain, a synergistic increase in strength by a combined reduction in internal (0.5 mu m) and external (20-50 mu m) dimensions, with strengths at failure approaching the theoretical value. (c) 2012 Acta Materialia Inc. Published by Elsevier Ltd. All rights reserved.

Petri net based performance modeling for effective DVFS for multithreaded programs

Dynamic Voltage and Frequency Scaling (DVFS) is a very effective tool for designing trade-offs between energy and performance. In this paper, we use a formal Petri net based program performance model that directly captures both the application and system properties, to find energy efficient DVFS settings for CMP systems, that satisfy a given performance constraint, for SPMD multithreaded programs. Experimental evaluation shows that we achieve significant energy savings, while meeting the performance constraints.

Evaluation of dynamic voltage and frequency scaling for stream programs

Dynamic Voltage and Frequency Scaling (DVFS) offers a huge potential for designing trade-offs involving energy, power, temperature and performance of computing systems. In this paper, we evaluate three different DVFS schemes - our enhancement of a Petri net performance model based DVFS method for sequential programs to stream programs, a simple profile based Linear Scaling method, and an existing hardware based DVFS method for multithreaded applications - using multithreaded stream applications, in a full system Chip Multiprocessor (CMP) simulator. From our evaluation, we find that the software based methods achieve significant Energy/Throughput2(ET−2) improvements. The hardware based scheme degrades performance heavily and suffers ET−2 loss. Our results indicate that the simple profile based scheme achieves the benefits of the complex Petri net based scheme for stream programs, and present a strong case for the need for independent voltage/frequency control for different cores of CMPs, which is lacking in most of the state-of-the-art CMPs. This is in contrast to the conclusions of a recent evaluation of per-core DVFS schemes for multithreaded applications for CMPs.

Incentive Compatible Influence Maximization in Social Networks with Application to Viral Marketing

Information diffusion and influence maximization are important and extensively studied problems in social networks. Various models and algorithms have been proposed in the literature in the context of the influence maximization problem. A crucial assumption in all these studies is that the influence probabilities are known to the social planner. This assumption is unrealistic since the influence probabilities are usually private information of the individual agents and strategic agents may not reveal them truthfully. Moreover, the influence probabilities could vary significantly with the type of the information flowing in the network and the time at which the information is propagating in the network. In this paper, we use a mechanism design approach to elicit influence probabilities truthfully from the agents. Our main contribution is to design a scoring rule based mechanism in the context of the influencer-influencee model. In particular, we show the incentive compatibility of the mechanisms and propose a reverse weighted scoring rule based mechanism as an appropriate mechanism to use.

A Hybrid Multilevel Inverter System Based on Dodecagonal Space Vectors for Medium Voltage IM Drives

Dodecagonal (12-sided) space vector pulsewidth modulation (PWM) schemes are characterized by the complete absence of (6n +/- 1)th-order harmonics (for odd n) in the phase voltages, within the linear modulation range and beyond, including over-modulation. This paper presents a new topology suitable for the realization of such multilevel inverter schemes for induction motor (IM) drives, by cascading two-level inverters with flying-capacitor-inverter fed floating H-bridge cells. Now, any standard IM may be used to get the dodecagonal operation which hitherto was possible only with open-end winding IM. To minimize the current total harmonic distortion (THD), a strategy for synchronous PWM is also proposed. It is shown that the proposed method is capable of obtaining better THD figures, compared to conventional dodecagonal schemes. The topology and the PWM strategy are validated through analysis and subsequently verified experimentally.

Dataflow analysis for data-race free programs

Memory models for shared-memory concurrent programming languages typically guarantee sequential consistency (SC) semantics for datarace-free (DRF) programs, while providing very weak or no guarantees for non-DRF programs. In effect programmers are expected to write only DRF programs, which are then executed with SC semantics. With this in mind, we propose a novel scalable solution for dataflow analysis of concurrent programs, which is proved to be sound for DRF programs with SC semantics. We use the synchronization structure of the program to propagate dataflow information among threads without requiring to consider all interleavings explicitly. Given a dataflow analysis that is sound for sequential programs and meets certain criteria, our technique automatically converts it to an analysis for concurrent programs.

Dual Role of Acetate as a Nucleophile and as an Internal Base in Cycloplatination Reaction of sym-N,N `,N `'-Triarylguanidines

Reaction of cis-Cl2Pt(S(O)Me-2)(2)] with 1 equiv of sym-N,N',N `'-triarylguanidines, ArN=C(NHAr)(2) (sym = symmetrical; Ar = 2-MeC6H4 (LH22-tolyl), 2-(MeO)C6H4 (LH22-anisyl), 4-MeC6H4 (LH24-tolyl), 2,5-Me2C6H3 (LH22,5-xylyl), and 2,6-Me2C6H3 (LH22,6-xylyl)) in toluene under reflux condition for 3 h afforded cis- or trans-Cl2Pt(S(O)Me-2)(ArN=C(NHAr)(2))] (Ar = 2-MeC6H4 (1), 2-(MeO)C6H4 (2), 4-MeC6H4 (3), 2,5-h Me2C6H3 (4), and 2,6-Me2C6H3 (5), respectively) in 83-96% yield. Reaction of cis-Cl2Pt(S(O)Me-2)(2)] with 1 equiv of LH22-tolyl and LH24-tolyl in the presence of 1 equiv of NaOAc in methanol under reflux condition for 3 h afforded acetate-substituted products, cis-(AcO)ClPt(S(O)Me-2)(ArN=C(NHAr)(2))] (Ar = 2-MeC6H4 (6) and 4-MeC6H4 (7)) in 83% and 84% yields, respectively. Reaction of cis-Cl2Pt(S(O)Me-2)(2)] with 1 equiv of LH22-anisyl and LH22-tolyl in the presence of 1 equiv of NaOAc in methanol under reflux condition for 3 and 12 h afforded six-membered C,N] platinacycles, Pt{kappa(2)(C,N)-C6H3R-3(NHC(NHAr)(=NAr))-2}Cl(S(O)Me-2)] (Ar = 2-RC6H4; R = OMe (8) and Me (9)), in 92% and 79% yields, respectively. The new complexes have been characterized by analytical and spectroscopic techniques, and further the molecular structures of 1, 2, 4, 5, 6, and 8 have been determined by single-crystal X-ray diffraction. The platinum atom in 1, 4, and 5 exhibited the trans configuration, while that in 2, 6, and 8 exhibited the cis configuration. Complex 6 is shown to be the precursor for 9, and the former is suggested to transform to the latter possibly via an intramolecular C-H activation followed by elimination of AcOH. The solution behavior of new complexes has been studied by multinuclear NMR (H-1, Pt-195, and C-13) spectroscopy. The new complexes exist exclusively as a single isomer (trans (1 and 5) and cis (6 and 7)), a mixture of cis and trans isomers with the former isomer being predominant in the case of 2 and the latter isomer being predominant in the case of 3. Complex 5 in the trans form revealed the presence of one isomer at 0.007 mM concentration and two isomers in about 1.00:0.12 ratio at 0.154 mM concentration as revealed by H-1 NMR spectroscopy, and this has been ascribed to the restricted Pt-S bond rotation at higher concentration. Platinacycle 8 exists as one isomer, while 9 exists as a mixture of seven isomers in solution. The influence of steric factor, pi-acceptor property of the guanidine, subtle solid-state packing forces upon the configuration of the platinum atom, and the number of isomers in solution have been outlined. Factors that accelerate or slow down the cycloplatination reaction, the role of NaOAc, and a plausible mechanism of this reaction have been discussed.

Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors

MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typical MATLAB programs have abundant data parallelism. These programs also have control flow dominated scalar regions that have an impact on the program's execution time. Today's computer systems have tremendous computing power in the form of traditional CPU cores and throughput oriented accelerators such as graphics processing units(GPUs). Thus, an approach that maps the control flow dominated regions to the CPU and the data parallel regions to the GPU can significantly improve program performance. In this paper, we present the design and implementation of MEGHA, a compiler that automatically compiles MATLAB programs to enable synergistic execution on heterogeneous processors. Our solution is fully automated and does not require programmer input for identifying data parallel regions. We propose a set of compiler optimizations tailored for MATLAB. Our compiler identifies data parallel regions of the program and composes them into kernels. The problem of combining statements into kernels is formulated as a constrained graph clustering problem. Heuristics are presented to map identified kernels to either the CPU or GPU so that kernel execution on the CPU and the GPU happens synergistically and the amount of data transfer needed is minimized. In order to ensure required data movement for dependencies across basic blocks, we propose a data flow analysis and edge splitting strategy. Thus our compiler automatically handles composition of kernels, mapping of kernels to CPU and GPU, scheduling and insertion of required data transfer. The proposed compiler was implemented and experimental evaluation using a set of MATLAB benchmarks shows that our approach achieves a geometric mean speedup of 19.8X for data parallel benchmarks over native execution of MATLAB.

Poincare invariant quantum field theories with twisted internal symmetries

Following up the work of 1] on deformed algebras, we present a class of Poincare invariant quantum field theories with particles having deformed internal symmetries. The twisted quantum fields discussed in this work satisfy commutation relations different from the usual bosonic/fermionic commutation relations. Such twisted fields by construction are nonlocal in nature. Despite this nonlocality we show that it is possible to construct interaction Hamiltonians which satisfy cluster decomposition principle and are Lorentz invariant. We further illustrate these ideas by considering global SU(N) symmetries. Specifically we show that twisted internal symmetries can provide a natural-framework for the discussion of the marginal deformations (beta-deformations) of the N = 4 SUSY theories.

Internal defect and process parameter analysis during friction stir welding of Al 6061 sheets

Welding parameters like welding speed, rotation speed, plunge depth, shoulder diameter etc., influence the weld zone properties, microstructure of friction stir welds, and forming behavior of welded sheets in a synergistic fashion. The main aims of the present work are to (1) analyze the effect of welding speed, rotation speed, plunge depth, and shoulder diameter on the formation of internal defects during friction stir welding (FSW), (2) study the effect on axial force and torque during welding, (c) optimize the welding parameters for producing internal defect-free welds, and (d) propose and validate a simple criterion to identify defect-free weld formation. The base material used for FSW throughout the work is Al 6061T6 having a thickness value of 2.1 mm. Only butt welding of sheets is aimed in the present work. It is observed from the present analysis that higher welding speed, higher rotation speed, and higher plunge depth are preferred for producing a weld without internal defects. All the shoulder diameters used for FSW in the present work produced defect-free welds. The axial force and torque are not constant and a large variation is seen with respect to FSW parameters that produced defective welds. In the case of defect-free weld formation, the axial force and torque are relatively constant. A simple criterion, (a,tau/a,p)(defective) > (a,tau/a,p)(defect free) and (a,F/a,p)(defective) > (a,F/a,p)(defect free), is proposed with this observation for identifying the onset of defect-free weld formation. Here F is axial force, tau is torque, and p is welding speed or tool rotation speed or plunge depth. The same criterion is validated with respect to Al 5xxx base material. Even in this case, the axial force and torque remained constant while producing defect-free welds.

Total internal reflection (TIR) Raman tribometer: a new tool for in situ study of friction-induced material transfer

The sliding history in friction-induced material transfer of dry 2H-MoS2 particles in a sheared contact was studied. Video images in contact showed fragmentation of lubricant particles and build-up of a transfer film, and were used to measure the speed of fragmented particles in the contact region. Total internal reflection (TIR) Raman spectroscopy was used to follow the build-up of the MoS2 transfer film. A combination of in situ and ex situ analysis of the mating bodies revealed the thickness of the transfer film at steady state to be of the order of 35 nm on the ball surface and 15 nm on the flat substrate. Insights into the mechanism of formation of the transfer film in the early stages of sliding contact are deduced.

X-ray photoelectron spectroscopy: a unique tool to determine the internal heterostructure of nanoparticles

We review the existing literature on the application of X-ray photoelectron spectroscopy in the study of nanocrystals. The unique ability of this technique to provide quantitative and reliable descriptions of highly complex internal structures of a variety of nanocrystals has been discussed in detail. We show that an accurate description of the nanocrystal internal structure is crucial and a prerequisite to understand many different properties, particularly optical properties, of such nanocrystal systems. We also discuss limitations and future outlook of this technique.

Facile synthesis of isochromanones and isoquinolones by AuCl3 catalyzed cascade triggered by an internal nucleophile

Synthesis of isochromanones and isoquinolones comprising a quaternary center with high diastereoselectivity was realized via a AuCl3 catalyzed tandem intramolecular exo-dig heterocyclization/enol isomerization/Claisen rearrangement sequence in excellent yields. The reaction is general and amenable for the synthesis of structurally diverse analogues.

Exact internal controllability for a hyperbolic problem in a domain with highly oscillating boundary

In this paper, by using the Hilbert Uniqueness Method (HUM), we study the exact controllability problem described by the wave equation in a three-dimensional horizontal domain bounded at the bottom by a smooth wall and at the top by a rough wall. The latter is assumed to consist in a plane wall covered with periodically distributed asperities whose size depends on a small parameter epsilon > 0, and with a fixed height. Our aim is to obtain the exact controllability for the homogenized equation. In the process, we study the asymptotic analysis of wave equation in two setups, namely solution by standard weak formulation and solution by transposition method.

TCP: thread contention predictor for parallel programs

With proliferation of chip multicores (CMPs) on desktops and embedded platforms, multi-threaded programs have become ubiquitous. Existence of multiple threads may cause resource contention, such as, in on-chip shared cache and interconnects, depending upon how they access resources. Hence, we propose a tool - Thread Contention Predictor (TCP) to help quantify the number of threads sharing data and their sharing pattern. We demonstrate its use to predict a more profitable shared, last level on-chip cache (LLC) access policy on CMPs. Our cache configuration predictor is 2.2 times faster compared to the cycle-accurate simulations. We also demonstrate its use for identifying hot data structures in a program which may cause performance degradation due to false data sharing. We fix layout of such data structures and show up-to 10% and 18% improvement in execution time and energy-delay product (EDP), respectively.