When species in the solution undergo multiple chemical reactions, the solution may be treated as a solution of all species actually present or as a hypothetical solution composed of elemental species. Based on the fu...When species in the solution undergo multiple chemical reactions, the solution may be treated as a solution of all species actually present or as a hypothetical solution composed of elemental species. Based on the fundamental thermodynamic principle, the relationships of mole numbers, molar fractions, thermodynamic properties, partial molar properties, potential and fugacity between the hypothetical solution of elemental species and the equilibrated solution of actual species were derived. The hypothetical elemental solution provides a way of reducing the dimensionality of problem, simplifying the analysis and visualizing the phase behavior.展开更多
How to keep cloud data intact and available to users is a problem to be solved. Authenticated skip list is an important data structure used in cloud data integrity verification. How to get the membership proof of the ...How to keep cloud data intact and available to users is a problem to be solved. Authenticated skip list is an important data structure used in cloud data integrity verification. How to get the membership proof of the element in authenticated skip list efficiently is an important part of authentication. Kaouthar Blibech and Alban Gabillon proposed a head proof and a tail proof algorithms for the membership proof of elements in the authenticated skip list. However, the proposed algorithms are uncorrelated each other and need plateau function. We propose a new algorithm for computing the membership proof for elements in the authenticated skip list by using two stacks, one is for storing traversal chain of leaf node, the other is for storing authentication path for the leaf. The proposed algorithm is simple and effective without needing plateau function. It can also be applicable for other similar binary hash trees.展开更多
基金Supported by the National Natural Science Foundation of China (No. 29976035) and the Natural Science Foundation of Zhejiang and Fujian Province.
文摘When species in the solution undergo multiple chemical reactions, the solution may be treated as a solution of all species actually present or as a hypothetical solution composed of elemental species. Based on the fundamental thermodynamic principle, the relationships of mole numbers, molar fractions, thermodynamic properties, partial molar properties, potential and fugacity between the hypothetical solution of elemental species and the equilibrated solution of actual species were derived. The hypothetical elemental solution provides a way of reducing the dimensionality of problem, simplifying the analysis and visualizing the phase behavior.
基金partially supported by the Fundamental Research Funds for the Central Universities of China under Grant No.2015JBM034the China Scholarship Council Funds under File No.201407095023
文摘How to keep cloud data intact and available to users is a problem to be solved. Authenticated skip list is an important data structure used in cloud data integrity verification. How to get the membership proof of the element in authenticated skip list efficiently is an important part of authentication. Kaouthar Blibech and Alban Gabillon proposed a head proof and a tail proof algorithms for the membership proof of elements in the authenticated skip list. However, the proposed algorithms are uncorrelated each other and need plateau function. We propose a new algorithm for computing the membership proof for elements in the authenticated skip list by using two stacks, one is for storing traversal chain of leaf node, the other is for storing authentication path for the leaf. The proposed algorithm is simple and effective without needing plateau function. It can also be applicable for other similar binary hash trees.