Coal and coal-shales tend to undergo spontaneous combustion under favourable atmospheric conditions. Spontaneous combustion liability index and intrinsic properties of coals and coal-shales varies between （above and ...Coal and coal-shales tend to undergo spontaneous combustion under favourable atmospheric conditions. Spontaneous combustion liability index and intrinsic properties of coals and coal-shales varies between （above and below） coal seams. The spontaneous combustion liability index （obtained from the Wits-Ehac Index） and intrinsic properties （obtained from proximate, ultimate, and petrographic analysis） of fourteen samples representative of in situ coal （bituminous） and fourteen coal-shales obtained in Witbank coalfield, South Africa were experimentally studied. Comparative analysis of the relationships between the spontaneous combustion liability index and intrinsic properties of coals and coalshales were established to evaluate their effects on self-heating potential. The intrinsic properties show linear relationship with spontaneous combustion liability and therefore, identifies the factors affecting spontaneous combustion of these materials. The influence of coal-shales intrinsic properties towards spontaneous combustion liability shows higher correlation coefficients than the coals. Both coals and coal-shales show inertinite maceral as major constituents than the vitrinite and liptinite macerals, hence the reactivity of inertinite macerals may show greater influence on spontaneous combustion liability. A definite positive or negative trends exists between the intrinsic properties and spontaneous combustion liability index. This research is part of a larger project which is considering the influence of intrinsic properties of coals and coal-shales on spontaneous combustion liability.展开更多
In lightweight cryptographic primitives, round functions with only simple operations XOR, modular addition and rotation are widely used nowadays. This kind of ciphers is called ARX ciphers. For ARX ciphers, impossible...In lightweight cryptographic primitives, round functions with only simple operations XOR, modular addition and rotation are widely used nowadays. This kind of ciphers is called ARX ciphers. For ARX ciphers, impossible differential cryptanalysis and zero-correlation linear cryptanalysis are among the most powerful attacks, and the key problems for these two attacks are discovering more and longer impossible differentials(IDs) and zero-correlation linear hulls(ZCLHs). However, finding new IDs and ZCLHs for ARX ciphers has been a manual work for a long time, which has been an obstacle in improving these two attacks. This paper proposes an automatic search method to improve the efficiency of finding new IDs and ZCLHs for ARX ciphers. In order to prove the efficiency of this new tool, we take HIGHT, LEA, SPECK three typical ARX algorithms as examples to explore their longer and new impossible differentials and zero-correlation linear hulls. To the best of our knowledge, this is the first application of automatic search method for ARX ciphers on finding new IDs and ZCLHs. For HIGHT, we find more 17 round IDs and multiple 17 round ZCLHs. This is the first discovery of 17 round ZCLHs for HIGHT. For LEA, we find extra four 10 round IDs and several 9 round ZCLHs. In the specification of LEA, the designers just identified three 10 round IDs and one 7round ZCLH. For SPECK, we find thousands of 6 round IDs and forty-four 6 round ZCLHs. Neither IDs nor ZCLHs of SPECK has been proposed before. The successful application of our new tool shows great potential in improving the impossible differential cryptanalysis and zero-correlation linear cryptanalysis on ARX ciphers..展开更多
文摘Coal and coal-shales tend to undergo spontaneous combustion under favourable atmospheric conditions. Spontaneous combustion liability index and intrinsic properties of coals and coal-shales varies between （above and below） coal seams. The spontaneous combustion liability index （obtained from the Wits-Ehac Index） and intrinsic properties （obtained from proximate, ultimate, and petrographic analysis） of fourteen samples representative of in situ coal （bituminous） and fourteen coal-shales obtained in Witbank coalfield, South Africa were experimentally studied. Comparative analysis of the relationships between the spontaneous combustion liability index and intrinsic properties of coals and coalshales were established to evaluate their effects on self-heating potential. The intrinsic properties show linear relationship with spontaneous combustion liability and therefore, identifies the factors affecting spontaneous combustion of these materials. The influence of coal-shales intrinsic properties towards spontaneous combustion liability shows higher correlation coefficients than the coals. Both coals and coal-shales show inertinite maceral as major constituents than the vitrinite and liptinite macerals, hence the reactivity of inertinite macerals may show greater influence on spontaneous combustion liability. A definite positive or negative trends exists between the intrinsic properties and spontaneous combustion liability index. This research is part of a larger project which is considering the influence of intrinsic properties of coals and coal-shales on spontaneous combustion liability.
基金supported by the National Natural Science Foundation of China under Grant No. 61572516, 61402523, 61202491, 61272041 and 61272488
文摘In lightweight cryptographic primitives, round functions with only simple operations XOR, modular addition and rotation are widely used nowadays. This kind of ciphers is called ARX ciphers. For ARX ciphers, impossible differential cryptanalysis and zero-correlation linear cryptanalysis are among the most powerful attacks, and the key problems for these two attacks are discovering more and longer impossible differentials(IDs) and zero-correlation linear hulls(ZCLHs). However, finding new IDs and ZCLHs for ARX ciphers has been a manual work for a long time, which has been an obstacle in improving these two attacks. This paper proposes an automatic search method to improve the efficiency of finding new IDs and ZCLHs for ARX ciphers. In order to prove the efficiency of this new tool, we take HIGHT, LEA, SPECK three typical ARX algorithms as examples to explore their longer and new impossible differentials and zero-correlation linear hulls. To the best of our knowledge, this is the first application of automatic search method for ARX ciphers on finding new IDs and ZCLHs. For HIGHT, we find more 17 round IDs and multiple 17 round ZCLHs. This is the first discovery of 17 round ZCLHs for HIGHT. For LEA, we find extra four 10 round IDs and several 9 round ZCLHs. In the specification of LEA, the designers just identified three 10 round IDs and one 7round ZCLH. For SPECK, we find thousands of 6 round IDs and forty-four 6 round ZCLHs. Neither IDs nor ZCLHs of SPECK has been proposed before. The successful application of our new tool shows great potential in improving the impossible differential cryptanalysis and zero-correlation linear cryptanalysis on ARX ciphers..
