Search

SUMMARY Because of its high precision as a flow-insensitive pointer analysis, Andersen's analysis has been deployed in some modern optimising compilers. To obtain improved precision, we describe how to add context sensitivity on top of Andersen's analysis. The resulting analysis, called ICON, is efficient to analyse large programs while being sufficiently precise to drive compiler optimisations. Its novelty lies in summarising the side effects of a procedure by using one transfer function on virtual variables that represent fully parameterised locations accessed via its formal parameters. As a result, a good balance between efficiency and precision is made, resulting in ICON that is more powerful than a 1-callsite-sensitive analysis and less so than a call-path-sensitive analysis (when the recursion cycles in a program are collapsed in all cases). We have compared ICON with FULCRA, a state of the art Andersen's analysis that is context sensitive by acyclic call paths, in Open64 (with recursion cycles collapsed in both cases) using the 16 C/C++ benchmarks in SPEC2000 (totalling 600 KLOC) and 5 C applications (totalling 2.1 MLOC). Our results demonstrate scalability of ICON and lack of scalability of FULCRA. FULCRA spends over 2 h in analysing SPEC2000 and fails to run to completion within 5 h for two of the five applications tested. In contrast, ICON spends just under 7 min on the 16 benchmarks in SPEC2000 and just under 26 min on the same two applications. For the 19 benchmarks analysable by FULCRA, ICON is nearly as accurate as FULCRA in terms of the quality of the built Static Single Assignment (SSA) form and the precision of the discovered alias information. Copyright © 2013 John Wiley & Sons, Ltd. [ABSTRACT FROM AUTHOR]

• Nanoporous Na 2 Fe 1- x Mn x PO 4 F/C composites are synthesized by spray drying method. • Na 2 Fe 0.6 Mn 0.4 PO 4 F/C cathode shows much enhanced sodium storage performance. • Reaction kinetics of Na 2 Fe 0.6 Mn 0.4 PO 4 F/C is revealed by EIS for the first time. • Strategies to enhance the properties of Na 2 Fe 0.6 Mn 0.4 PO 4 F/C are concluded. It is a challenge to develop a facile and scaleable approach to boost the application of high-energy fluorinated iron/manganese phosphate cathode materials for sodium-ions batteries. In this study, for the first time, the porous Na 2 Fe 1- x Mn x PO 4 F/C (x = 0.2, 0.4, 0.6, 0.8) nanocomposites are successfully designed via spray drying, following in-situ pyrolytic carbonization process. To examine this synergetic design, the rate capability, cycling stability, and reaction kinetics of the cathode materials are investigated in detail. It is found that the solid solution Na 2 Fe 0.6 Mn 0.4 PO 4 F/C cathode delivers the high discharge capacities of 94.8 and 30.0 mAh g−1 at 0.05 C and 1.0 C, respectively, and a reversible capacity of 51.0 mAh g−1 after 100 cycles at 0.2 C with a capacity retention of 89.3%. Particularly, the cycling stability as well as rate capability of Na 2 Fe 0.6 Mn 0.4 PO 4 F/C are superior to those of the other Na 2 Fe 1- x Mn x PO 4 F/C solid solutions and the two-phase mixture of Na 2 MnPO 4 F/C and Na 2 FePO 4 F/C. Furthermore, the potential strategies to further improve the electrochemical performance of Na 2 Fe 0.6 Mn 0.4 PO 4 F/C cathode are proposed based on the kinetics analysis of its electrochemical impedance spectroscopy spectra at various charge/discharge depths. It is expected that our research strategies and findings can be extended to other electrode materials in Li+/Na+ storage and beyond. [ABSTRACT FROM AUTHOR]