supported by the Natural Sciences and Engineering Research Council of Canada(NSERC)Discovery(No239080-2010), the project of Shandong science and technology development plan(No2014GGX103035),China
Maximum satisfiability (MAX SAT) problem is an optimization version of the satisfiability (SAT) problem. This problem arises in certain applications in expert s
A modal nonmonotonic logic is presented based on an experiential modal semantics on typicality and exception.The syntactic and semantics of modal nonmonotonic l
The break of PKCY is reduced to a break of the related equi-effect cryptosystem, and a method for obtaining the equi-effect secret key by solving matrix equatio
The effects of Sb and Sr on the modification and refinement of Mg17Al12and Mg2Si phases in Mg-12Al-0.7Si alloy were investigated and compared. The microstructur
The electrode configuration determines the thermophysical field during the electroslag remelting(ESR) process and affects the final microstructure of the ingot.
High-quality solidification microstructure during directional solidification relies on precise temperature gradient control, so accurate calculation of the temp
Wet reclamation of waste sodium silicate-bonded sand produces much alkaline sewage and causes pollution. Recycling water glass from wet reclamation sewage of th
Based on the field measurements of the reflected radiation distribution on sunlit crown surface and crown structure, the analytical approximation model of path-scattering of light in a homogeneous lay