A comprehensive thermodynamic model, which combined the Helgeson Kirkham-Flowers （HKF） equation of state for standard-state thermodynamic properties of all species with realistic activity coefficient model developed...A comprehensive thermodynamic model, which combined the Helgeson Kirkham-Flowers （HKF） equation of state for standard-state thermodynamic properties of all species with realistic activity coefficient model developed by BROMLEY, was used to calculate the thermodynamic equilibrium, and a graphical method was developed to construct predominance existence diagrams （PED） for copper-ammonia-chloride in the presence of realistically modeled aqueous solutions. The existence of the different predominant chemical species for Cu（lI） predicted by the diagrams was corroborated by spectrophotometrical studies and X-ray diffractometry. The simulated and experimental results indicate that the predominance of a given species in solution strongly depends on the pH value in this system. More quantitative information on real copper hydrometallurgy in the presence of ammonia and chloride can be obtained from these diagrams compared with the conventional predominance existence diagrams.展开更多
VerifyRealRoots is a Matlab package for computing and verifying real solutions of polynomial systems of equations and inequalities.It calls Bertini or MMCRSolver for finding approximate real solutions and then applies...VerifyRealRoots is a Matlab package for computing and verifying real solutions of polynomial systems of equations and inequalities.It calls Bertini or MMCRSolver for finding approximate real solutions and then applies AINLSS to verify the existence of a regular solution of a polynomial system or applies AINLSS2(AIVISS)to verify the existence of a double solution(a singular solution of an arbitrary multiplicity)of a slightly perturbed polynomial system.展开更多
I. The Current Situation ofOur Real Estate Industry According to the findings of a nationalsurvey in urban housing conducted in 1985,the total urban floor area of the whole coun-try has reached 4.676 billion square me...I. The Current Situation ofOur Real Estate Industry According to the findings of a nationalsurvey in urban housing conducted in 1985,the total urban floor area of the whole coun-try has reached 4.676 billion square meters,among which industrial buildings occupied1.353 billion square meters, commercialbuildings 0.388 billion, cultural and educa-展开更多
A complete solution classification of the perspective-three-point(P3P) problem is given by using the Gr?bner basis method. The structure of the solution space of the polynomial system deduced by the P3P problem can be...A complete solution classification of the perspective-three-point(P3P) problem is given by using the Gr?bner basis method. The structure of the solution space of the polynomial system deduced by the P3P problem can be obtained by computing a comprehensive Gr?bner system. Combining with properties of the generalized discriminant sequences, the authors give the explicit conditions to determine the number of distinct real positive solutions of the P3P problem. Several examples are provided to illustrate the effectiveness of the proposed conditions.展开更多
基金Project(2007CB613601) supported by the National Basic Research Program of China
文摘A comprehensive thermodynamic model, which combined the Helgeson Kirkham-Flowers （HKF） equation of state for standard-state thermodynamic properties of all species with realistic activity coefficient model developed by BROMLEY, was used to calculate the thermodynamic equilibrium, and a graphical method was developed to construct predominance existence diagrams （PED） for copper-ammonia-chloride in the presence of realistically modeled aqueous solutions. The existence of the different predominant chemical species for Cu（lI） predicted by the diagrams was corroborated by spectrophotometrical studies and X-ray diffractometry. The simulated and experimental results indicate that the predominance of a given species in solution strongly depends on the pH value in this system. More quantitative information on real copper hydrometallurgy in the presence of ammonia and chloride can be obtained from these diagrams compared with the conventional predominance existence diagrams.
基金supported by the National Key Research Project of China under Grant No.2018YFA0306702the National Natural Science Foundation of China under Grant Nos.12171159,12071467 and 61772203Shanghai Trusted Industry Internet Software Collaborative Innovation Center。
文摘VerifyRealRoots is a Matlab package for computing and verifying real solutions of polynomial systems of equations and inequalities.It calls Bertini or MMCRSolver for finding approximate real solutions and then applies AINLSS to verify the existence of a regular solution of a polynomial system or applies AINLSS2(AIVISS)to verify the existence of a double solution(a singular solution of an arbitrary multiplicity)of a slightly perturbed polynomial system.
文摘I. The Current Situation ofOur Real Estate Industry According to the findings of a nationalsurvey in urban housing conducted in 1985,the total urban floor area of the whole coun-try has reached 4.676 billion square meters,among which industrial buildings occupied1.353 billion square meters, commercialbuildings 0.388 billion, cultural and educa-
基金supported by the National Nature Science Foundation of China under Grant Nos.11371356 and 61121062
文摘A complete solution classification of the perspective-three-point(P3P) problem is given by using the Gr?bner basis method. The structure of the solution space of the polynomial system deduced by the P3P problem can be obtained by computing a comprehensive Gr?bner system. Combining with properties of the generalized discriminant sequences, the authors give the explicit conditions to determine the number of distinct real positive solutions of the P3P problem. Several examples are provided to illustrate the effectiveness of the proposed conditions.
