被外国学者誉为“中国17世纪的工业百科全书”的是《________________》；魏源以“师夷长技以制夷”为目的而编写的书是《________________》。